title: High Noise Scheduling is a Must

abstract: Consistency models possess high capabilities for image generation, advancing sampling steps to a single step through their advanced techniques. Current advancements move one step forward consistency training techniques and eliminates the limitation of distillation training. Even though the proposed curriculum and noise scheduling in improved training techniques yield better results than basic consistency models, it lacks well balanced noise distribution and its consistency between curriculum. In this study, it is investigated the balance between high and low noise levels in noise distribution and offered polynomial noise distribution to maintain the stability. This proposed polynomial noise distribution is also supported with a predefined Karras noises to prevent unique noise levels arises with Karras noise generation algorithm. Furthermore, by elimination of learned noisy steps with a curriculum based on sinusoidal function increase the performance of the model in denoising. To make a fair comparison with the latest released consistency model training techniques, experiments are conducted with same hyper-parameters except curriculum and noise distribution. The models utilized during experiments are determined with low depth to prove the robustness of our proposed technique. The results show that the polynomial noise distribution outperforms the model trained with log-normal noise distribution, yielding a 33.54 FID score after 100,000 training steps with constant discretization steps. Additionally, the implementation of a sinusoidal-based curriculum enhances denoising performance, resulting in a FID score of 30.48.


title: On harmonic maps from the complex plane to hyperbolic 3-space

abstract: For any twisted ideal polygon in $\mathbb{H}^3$, we construct a harmonic map from $\mathbb{C}$ to $\mathbb{H}^3$ with a polynomial Hopf differential, that is asymptotic to the given polygon, and is a bounded distance from a pleated plane. Our proof uses the harmonic map heat flow. We also show that such a harmonic map is unique once we prescribe the principal part of its Hopf differential.


title: Magnon transmission across $\nu=1|-1|1$ mono-layer graphene junction as a probe of electronic structure

abstract: We study magnon transmission across gate-controlled junctions in the $n=0$ manifold of Landau levels in monolayer graphene, allowing for both spin and valley Zeeman fields. We show that by tuning the external perpendicular magnetic field, the phase in the intermediate region of a $1|\nu_m|1$ sandwich geometry can be changed, due to which the magnon transmission can be switched between fully transmitting and fully blocked. Our analysis, along with the experimental measurements, can be used to determine the anisotropic couplings in the sample.


title: Policy-Guided Diffusion

abstract: In many real-world settings, agents must learn from an offline dataset gathered by some prior behavior policy. Such a setting naturally leads to distribution shift between the behavior policy and the target policy being trained - requiring policy conservatism to avoid instability and overestimation bias. Autoregressive world models offer a different solution to this by generating synthetic, on-policy experience. However, in practice, model rollouts must be severely truncated to avoid compounding error. As an alternative, we propose policy-guided diffusion. Our method uses diffusion models to generate entire trajectories under the behavior distribution, applying guidance from the target policy to move synthetic experience further on-policy. We show that policy-guided diffusion models a regularized form of the target distribution that balances action likelihood under both the target and behavior policies, leading to plausible trajectories with high target policy probability, while retaining a lower dynamics error than an offline world model baseline. Using synthetic experience from policy-guided diffusion as a drop-in substitute for real data, we demonstrate significant improvements in performance across a range of standard offline reinforcement learning algorithms and environments. Our approach provides an effective alternative to autoregressive offline world models, opening the door to the controllable generation of synthetic training data.


title: Generalizable Sarcasm Detection Is Just Around The Corner, Of Course!

abstract: We tested the robustness of sarcasm detection models by examining their behavior when fine-tuned on four sarcasm datasets containing varying characteristics of sarcasm: label source (authors vs. third-party), domain (social media/online vs. offline conversations/dialogues), style (aggressive vs. humorous mocking). We tested their prediction performance on the same dataset (intra-dataset) and across different datasets (cross-dataset). For intra-dataset predictions, models consistently performed better when fine-tuned with third-party labels rather than with author labels. For cross-dataset predictions, most models failed to generalize well to the other datasets, implying that one type of dataset cannot represent all sorts of sarcasm with different styles and domains. Compared to the existing datasets, models fine-tuned on the new dataset we release in this work showed the highest generalizability to other datasets. With a manual inspection of the datasets and post-hoc analysis, we attributed the difficulty in generalization to the fact that sarcasm actually comes in different domains and styles. We argue that future sarcasm research should take the broad scope of sarcasm into account.


title: Elements with unique length factorization of a numerical semigroup generated by three consecutive numbers

abstract: Let $S$ be the numerical semigroup generated by three consecutive numbers $a,a+1,a+2$, where $a\in\mathbb{N}$, $a\geq 3$. We describe the elements of $S$ whose factorizations have all the same length, as well as the set of factorizations of each of these elements. We give natural partitions of this subset of $S$ in terms of the length and the denumerant. By using Ap\'ery sets and Betti elements we are able to extend some results, first obtained by elementary means.


title: Towards Practical Meshlet Compression

abstract: We propose a codec specifically designed for meshlet compression, optimized for rapid data-parallel GPU decompression within a mesh shader. Our compression strategy orders triangles in optimal generalized triangle strips (GTSs), which we generate by formulating the creation as a mixed integer linear program (MILP). Our method achieves index buffer compression rates of 16:1 compared to the vertex pipeline and crack-free vertex attribute quantization based on user preference. The 15.5 million triangles of our teaser image decompress and render in 0.59 ms on an AMD Radeon RX 7900 XTX.


title: Circular chromatic number of Cartesian product of signed graphs

abstract: This paper studies the circular coloring of signed graphs. A signed graph is a graph with a signature that assigns a sign to each edge, either positive or negative. This paper studies circular coloring and a circular chromatic number of Type 1 and Type Cartesian products. We shall prove the following results: The circular chromatic number of Cartesian product Type 1 $(G,\sigma)\Box (H,\tau)$ is $\chi_{c}(G \Box H,\sigma\Box\tau)=\max\{\chi_{c}(G,\sigma),\chi_{c}(H,\tau)\}$ and the circular chromatic number of Cartesian product Type 2 $(G,\sigma)\Box' (H,\tau)$ satisfies $\chi_{c}(G \Box' H,\sigma\Box' \tau)\leq 2\max\{\chi_{c}(G),\chi_{c}(H)\}$.


title: Meaningfulness and Genericity in a Subsuming Framework

abstract: This paper studies the notion of meaningfulness for a unifying framework called dBang-calculus, which subsumes both call-by-name (dCbN) and call-by-value (dCbV). We first characterize meaningfulness in dBang by means of typability and inhabitation in an associated non-idempotent intersection type system previously proposed in the literature. We validate the proposed notion of meaningfulness by showing two properties (1) consistency of the theory $\mathcal{H}$ equating meaningless terms and (2) genericity, stating that meaningless subterms have no bearing on the significance of meaningful terms. The theory $\mathcal{H}$ is also shown to have a unique consistent and maximal extension. Last but not least, we show that the notions of meaningfulness and genericity in the literature for dCbN and dCbV are subsumed by the respectively ones proposed here for the dBang-calculus.


title: Test-Time Adaptation with SaLIP: A Cascade of SAM and CLIP for Zero shot Medical Image Segmentation

abstract: The Segment Anything Model (SAM) and CLIP are remarkable vision foundation models (VFMs). SAM, a prompt driven segmentation model, excels in segmentation tasks across diverse domains, while CLIP is renowned for its zero shot recognition capabilities. However, their unified potential has not yet been explored in medical image segmentation. To adapt SAM to medical imaging, existing methods primarily rely on tuning strategies that require extensive data or prior prompts tailored to the specific task, making it particularly challenging when only a limited number of data samples are available. This work presents an in depth exploration of integrating SAM and CLIP into a unified framework for medical image segmentation. Specifically, we propose a simple unified framework, SaLIP, for organ segmentation. Initially, SAM is used for part based segmentation within the image, followed by CLIP to retrieve the mask corresponding to the region of interest (ROI) from the pool of SAM generated masks. Finally, SAM is prompted by the retrieved ROI to segment a specific organ. Thus, SaLIP is training and fine tuning free and does not rely on domain expertise or labeled data for prompt engineering. Our method shows substantial enhancements in zero shot segmentation, showcasing notable improvements in DICE scores across diverse segmentation tasks like brain (63.46%), lung (50.11%), and fetal head (30.82%), when compared to un prompted SAM. Code and text prompts are available at: https://github.com/aleemsidra/SaLIP.


title: Minimizing the determinant of the graph Laplacian

abstract: In this paper, we study extremal values for the determinant of the weighted graph Laplacian under simple nondegeneracy conditions on the weights. We derive necessary and sufficient conditions for the determinant of the Laplacian to be bounded away from zero and for the existence of a minimizing set of weights. These conditions are given both in terms of properties of random spanning trees and in terms of a type of density on graphs. These results generalize and extend the work of [7].


title: SurveyAgent: A Conversational System for Personalized and Efficient Research Survey

abstract: In the rapidly advancing research fields such as AI, managing and staying abreast of the latest scientific literature has become a significant challenge for researchers. Although previous efforts have leveraged AI to assist with literature searches, paper recommendations, and question-answering, a comprehensive support system that addresses the holistic needs of researchers has been lacking. This paper introduces SurveyAgent, a novel conversational system designed to provide personalized and efficient research survey assistance to researchers. SurveyAgent integrates three key modules: Knowledge Management for organizing papers, Recommendation for discovering relevant literature, and Query Answering for engaging with content on a deeper level. This system stands out by offering a unified platform that supports researchers through various stages of their literature review process, facilitated by a conversational interface that prioritizes user interaction and personalization. Our evaluation demonstrates SurveyAgent's effectiveness in streamlining research activities, showcasing its capability to facilitate how researchers interact with scientific literature.


abstract: Facial expression recognition (FER) is vital for human-computer interaction and emotion analysis, yet recognizing expressions in low-resolution images remains challenging. This paper introduces a practical method called Dynamic Resolution Guidance for Facial Expression Recognition (DRGFER) to effectively recognize facial expressions in images with varying resolutions without compromising FER model accuracy. Our framework comprises two main components: the Resolution Recognition Network (RRN) and the Multi-Resolution Adaptation Facial Expression Recognition Network (MRAFER). The RRN determines image resolution, outputs a binary vector, and the MRAFER assigns images to suitable facial expression recognition networks based on resolution. We evaluated DRGFER on widely-used datasets RAFDB and FERPlus, demonstrating that our method retains optimal model performance at each resolution and outperforms alternative resolution approaches. The proposed framework exhibits robustness against resolution variations and facial expressions, offering a promising solution for real-world applications.


title: Did Louis de Broglie miss the discovery of the Schr\"odinger equation?

abstract: In this note, we discuss a historical point regarding Schr\"odinger's discovery of the famous quantum wave equation in 1926 following de Broglie's fundamental works published in 1923-1925 regarding the introduction of matter waves. Drawing on the work of historians and personal analysis, we show that de Broglie was very close to the discovery of the Schr\"odinger equation (at least for the stationary one-electron problem).


title: ClinLinker: Medical Entity Linking of Clinical Concept Mentions in Spanish

abstract: Advances in natural language processing techniques, such as named entity recognition and normalization to widely used standardized terminologies like UMLS or SNOMED-CT, along with the digitalization of electronic health records, have significantly advanced clinical text analysis. This study presents ClinLinker, a novel approach employing a two-phase pipeline for medical entity linking that leverages the potential of in-domain adapted language models for biomedical text mining: initial candidate retrieval using a SapBERT-based bi-encoder and subsequent re-ranking with a cross-encoder, trained by following a contrastive-learning strategy to be tailored to medical concepts in Spanish. This methodology, focused initially on content in Spanish, substantially outperforming multilingual language models designed for the same purpose. This is true even for complex scenarios involving heterogeneous medical terminologies and being trained on a subset of the original data. Our results, evaluated using top-k accuracy at 25 and other top-k metrics, demonstrate our approach's performance on two distinct clinical entity linking Gold Standard corpora, DisTEMIST (diseases) and MedProcNER (clinical procedures), outperforming previous benchmarks by 40 points in DisTEMIST and 43 points in MedProcNER, both normalized to SNOMED-CT codes. These findings highlight our approach's ability to address language-specific nuances and set a new benchmark in entity linking, offering a potent tool for enhancing the utility of digital medical records. The resulting system is of practical value, both for large scale automatic generation of structured data derived from clinical records, as well as for exhaustive extraction and harmonization of predefined clinical variables of interest.


title: Replacing bar-like resolutions in a simplicial setting

abstract: It is well known that the bar resolution can be replaced with any projective resolution of the corresponding algebra when computing the Hochschild (co)homology of that algebra. This is, in fact, a feature of its construction via derived functors. For generalizations and extensions of the Hochschild (co)homology, one uses a bar-like resolution in a simplicial setting in order to accommodate the changing module structures in every dimension. In this note, we present a method in order to replace these bar-like resolutions.


title: VISION2UI: A Real-World Dataset with Layout for Code Generation from UI Designs

abstract: Automatically generating UI code from webpage design visions can significantly alleviate the burden of developers, enabling beginner developers or designers to directly generate Web pages from design diagrams. Currently, prior research has accomplished the objective of generating UI code from rudimentary design visions or sketches through designing deep neural networks. Inspired by the groundbreaking advancements achieved by Multimodal Large Language Models (MLLMs), the automatic generation of UI code from high-fidelity design images is now emerging as a viable possibility. Nevertheless, our investigation reveals that existing MLLMs are hampered by the scarcity of authentic, high-quality, and large-scale datasets, leading to unsatisfactory performance in automated UI code generation. To mitigate this gap, we present a novel dataset, termed VISION2UI, extracted from real-world scenarios, augmented with comprehensive layout information, tailored specifically for finetuning MLLMs in UI code generation. Specifically, this dataset is derived through a series of operations, encompassing collecting, cleaning, and filtering of the open-source Common Crawl dataset. In order to uphold its quality, a neural scorer trained on labeled samples is utilized to refine the data, retaining higher-quality instances. Ultimately, this process yields a dataset comprising 2,000 (Much more is coming soon) parallel samples encompassing design visions and UI code. The dataset is available at https://huggingface.co/datasets/xcodemind/vision2ui.


title: Enhancing Decision Analysis with a Large Language Model: pyDecision a Comprehensive Library of MCDA Methods in Python

abstract: Purpose: Multicriteria decision analysis (MCDA) has become increasingly essential for decision-making in complex environments. In response to this need, the pyDecision library, implemented in Python and available at https://bit.ly/3tLFGtH, has been developed to provide a comprehensive and accessible collection of MCDA methods. Methods: The pyDecision offers 70 MCDA methods, including AHP, TOPSIS, and the PROMETHEE and ELECTRE families. Beyond offering a vast range of techniques, the library provides visualization tools for more intuitive results interpretation. In addition to these features, pyDecision has integrated ChatGPT, an advanced Large Language Model, where decision-makers can use ChatGPT to discuss and compare the outcomes of different methods, providing a more interactive and intuitive understanding of the solutions. Findings: Large Language Models are undeniably potent but can sometimes be a double-edged sword. Its answers may be misleading without rigorous verification of its outputs, especially for researchers lacking deep domain expertise. It's imperative to approach its insights with a discerning eye and a solid foundation in the relevant field. Originality: With the integration of MCDA methods and ChatGPT, pyDecision is a significant contribution to the scientific community, as it is an invaluable resource for researchers, practitioners, and decision-makers navigating complex decision-making problems and seeking the most appropriate solutions based on MCDA methods.


title: Model Generation from Requirements with LLMs: an Exploratory Study

abstract: Complementing natural language (NL) requirements with graphical models can improve stakeholders' communication and provide directions for system design. However, creating models from requirements involves manual effort. The advent of generative large language models (LLMs), ChatGPT being a notable example, offers promising avenues for automated assistance in model generation. This paper investigates the capability of ChatGPT to generate a specific type of model, i.e., UML sequence diagrams, from NL requirements. We conduct a qualitative study in which we examine the sequence diagrams generated by ChatGPT for 28 requirements documents of various types and from different domains. Observations from the analysis of the generated diagrams have systematically been captured through evaluation logs, and categorized through thematic analysis. Our results indicate that, although the models generally conform to the standard and exhibit a reasonable level of understandability, their completeness and correctness with respect to the specified requirements often present challenges. This issue is particularly pronounced in the presence of requirements smells, such as ambiguity and inconsistency. The insights derived from this study can influence the practical utilization of LLMs in the RE process, and open the door to novel RE-specific prompting strategies targeting effective model generation.


title: ABP estimate and comparison principle for cone degenerate quasilinear elliptic equations

abstract: In this paper, we study the cone degenerate quasilinear elliptic equations. We provide the existence of the viscosity solutions by proving Alexandrov-Bakelman-Pucci and H\"older estimates. Further more, we give the comparison principle by an equivalent transformation.


title: Enhancing Pharmaceutical Cold Supply Chain: Integrating Medication Synchronization and Diverse Delivery Modes

abstract: The significance of last-mile logistics in the healthcare supply chain is growing steadily, especially in pharmacies where the growing prevalence of medication delivery to patients' homes is remarkable. This paper proposes a novel mathematical model for the last-mile logistics of the pharmaceutical supply chain and optimizes a pharmacy's logistical financial outcome while considering medication synchronization, different delivery modes, and temperature requirements of medicines. We propose a mathematical formulation of the problem using Mixed Integer Linear Programming (MILP) evolved from the actual problem of an outpatient pharmacy of a Dutch hospital. We create a case study by gathering, preparing, processing, and analyzing the associated data. We find the optimal solution, using Python MIP package and the Gurobi solver, which indicates the number of order batches, the composition of these batches, and the number of staff related to the preparation of the order batches. Our results show that our optimal solution increases the pharmacy's logistical financial outcome by 34 percent. Moreover, we propose other model variations and perform extensive scenario analysis to provide managerial insights applicable to other pharmacies and distributors in the last step of cold supply chains. Based on our scenario analysis, we conclude that improving medication synchronization can significantly enhance the pharmacy's logistical financial outcome.


title: Synchronization in Modern Heterogeneous Power Networks with Inverter-Based Resources

abstract: Synchronized operation of generators in a power network is paramount to the stability and reliability of energy delivery. In this paper, we address the synchronization problem in a heterogeneous power grid, consisting of both synchronous generators and inverter-based generators, and derive the necessary and sufficient condition guaranteeing the existence of a unique locally stable synchronized mode. Further, our results have implications for utilizing grid-following inverters versus grid-forming inverters in order to enhance network stability. This work is of particular importance as power grids around the world are undergoing a transition from being predominantly composed of synchronous generators towards a grid consisting of a preponderance of inverter based generators.


title: Emergent Modified Gravity

abstract: A complete canonical formulation of general covariance makes it possible to construct new modified theories of gravity that are not of higher-curvature form, as shown here in a spherically symmetric setting. The usual uniqueness theorems are evaded by using a crucial and novel ingredient, allowing for fundamental fields of gravity distinct from an emergent space-time metric that provides a geometrical structure to all solutions. As specific examples, there are new expansion-shear couplings in cosmological models, a form of modified Newtonian dynamics (MOND) can appear in a space-time covariant theory without introducing extra fields, and related effects help to make effective models of canonical quantum gravity fully consistent with general covariance.


title: Rainbow ortho-convex 4-sets in k-colored point sets

abstract: Let $P$ be a $k$-colored set of $n$ points in the plane, $4 \leq k \leq n$. We study the problem of deciding if $P$ contains a subset of four points of different colors such that its Rectilinear Convex Hull has positive area. We provide an $O(n \log n)$-time algorithm for this problem, where the hidden constant does not depend on $k$; then, we prove that this problem has time complexity $\Omega(n \log n)$ in the algebraic computation tree model. No general position assumptions for $P$ are required.


title: Experimental study of second sound quench detection for superconducting cavities

abstract: Superconducting RF cavities are used in particle accelerators to provide energy to the particle beam. Such cavities are mostly fabricated in niobium and often operated in superfluid helium. One of their limits of operation is the appearance of a local quench, initiated by a local field enhancement due to a defect, which leads to a normal conducting transition of the cavity. Localizing the quench area can be achieved with temperature mapping systems. Another method is the use of second sound wave propagation in superfluid helium. Measuring the time of propagation of these waves from quench location to special sensors, called Oscillating Superleak Transducers (OSTs), and using their well-known velocity should allow trilateration. However, most of experimental measurements on cavities show "premature signals", i.e. the second sound signals arrive earlier on the OSTs than expected. This paper presents several quench experiments on cavities equipped with OSTs and temperature mapping quench detection systems. Two hypotheses can explain the observed premature signals. The first one assesses faster propagation in helium. An experimental setup has been developed for testing this hypothesis, where second sound is created by a localized heater in a controlled environment up to 4.3 kW/cm2 and 2.8 J. Premature signals could not be verified in this setup. A second hypothesis based on a simple model including several processes in niobium and second sound propagation in helium is discussed. The model improves significantly the prediction of the times of arrival of the second sound waves. The overall study shows that the processes in niobium play a prominent role in the second sound detection for superconducting cavities.


title: Analyzing the Atmospheric Dispersion Correction of the Gemini Planet Imager: residual dispersion above design requirements

abstract: The Atmospheric Dispersion Corrector (ADC) of the Gemini Planet Imager (GPI) corrects the chromatic dispersion caused by differential atmospheric refraction (DAR), making it an important optic for exoplanet observation. Despite requiring less than 5 mas of residual DAR to avoid potentially affecting the coronagraph, the GPI ADC averages $\sim7$ and $\sim11$ mas of residual DAR in $H$ and $J$ band respectively. We analyzed GPI data in those bands to find explanations for the underperformance. We found the model GPI uses to predict DAR underestimates humidity's impact on incident DAR, causing on average a 0.54 mas increase in $H$ band residual DAR. Additionally, the GPI ADC consistently undercorrects in $H$ band by about 7 mas, causing almost all the $H$ band residual DAR. $J$ band does not have such an offset. Perpendicular dispersion induced by the GPI ADC, potentially from a misalignment in the prisms' relative orientation, causes 86% of the residual DAR in $J$ band. Correcting these issues could reduce residual DAR, thereby improving exoplanet detection. We also made a new approximation for the index of refraction of air from 0.7 microns to 1.36 microns that more accurately accounts for the effects of humidity.


title: Disarray, reduced words, and 321-avoidance in George groups

abstract: Previous work has shown that the disarray (or displacement) of an (affine) (signed) permutation is bounded in terms of its Coxeter length. Here, we characterize the permutations for which the bound is sharp in two ways: in terms of a natural property of their reduced words, and by ``globally'' avoiding the pattern 321.


title: Asymptotic-preserving finite difference method for partially dissipative hyperbolic systems

abstract: In this paper, we analyze the preservation of asymptotic properties of partially dissipative hyperbolic systems when switching to a discrete setting. We prove that one of the simplest consistent and unconditionally stable numerical methods - the central finite difference scheme - preserves both the asymptotic behaviour and the parabolic relaxation limit of one-dimensional partially dissipative hyperbolic systems which satisfy the Kalman rank condition. The large time asymptotic-preserving property is achieved by conceiving time-weighted perturbed energy functionals in the spirit of the hypocoercivity theory. For the relaxation-preserving property, drawing inspiration from the observation that solutions in the continuous case exhibit distinct behaviours in low and high frequencies, we introduce a novel discrete Littlewood-Paley theory tailored to the central finite difference scheme. This allows us to prove Bernstein-type estimates for discrete differential operators and leads to a new relaxation result: the strong convergence of the discrete linearized compressible Euler system with damping towards the discrete heat equation, uniformly with respect to the mesh parameter.


title: Causal third-order viscous hydrodynamics within relaxation-time approximation

abstract: In the present work, we derive a linearly stable and causal theory of relativistic third-order viscous hydrodynamics from the Boltzmann equation with relaxation-time approximation. We employ viscous correction to the distribution function obtained using a Chapman-Enskog like iterative solution of the Boltzmann equation. Our derivation highlights the necessity of incorporating a new dynamical degree of freedom, specifically an irreducible tensors of rank three, within this framework. This differs from the recent formulation of causal third-order theory from the method of moments which requires two dynamical degrees of freedom: an irreducible third-rank and a fourth-rank tensor. We verify the linear stability and causality of the proposed formulation by examining perturbations around a global equilibrium state.


title: Traffic Signal Control and Speed Offset Coordination Using Q-Learning for Arterial Road Networks

abstract: Arterial traffic interacts with freeway traffic, yet the two are controlled independently. Arterial traffic signals do not take into account freeway traffic and how ramps control ingress traffic and have no control over egress traffic from the freeway. This often results in long queues in either direction that block ramps and spill over to arterial streets or freeway lanes. In this paper, we propose an adaptive arterial traffic control strategy that combines traffic signal control (TSC) and dynamic speed offset (DSO) coordination using a Q-learning algorithm for a traffic network that involves a freeway segment and adjacent arterial streets. The TSC agent computes the signal cycle length and split based on observed intersection demands and adjacent freeway off-ramp queues. The DSO agent computes the relative offset and the recommended speeds of both ways between consecutive intersections based on their physical distance, intersection queues, and signal cycles. We evaluate the performance of the proposed arterial traffic control strategy using microscopic traffic simulations of an arterial corridor with seven intersections near the I-710 freeway. The proposed QL-based control significantly outperforms a fixed-time control and MAXBAND in terms of the travel time and the number of stops under low or moderate demands. In high-demand scenarios, the travel-time benefit provided by the QL-based control is reduced as it mitigates off-ramp and intersection queues, which is a necessary trade-off in our perspective. In addition, mutual benefit is obtained by implementing freeway and arterial traffic control simultaneously.


title: Maximum Degree in Random Hyperbolic Graphs

abstract: The random hyperbolic graph, introduced in 2010 by Krioukov, Papadopoulos, Kitsak, Vahdat and Bogu\~{n}\'a, is a graph model suitable for modelling a large class of real-world networks, known as complex networks. Gugelmann, Panagiotou and Peter proved that for curvature parameter $\alpha > 1/2$, the degree sequence of the random hyperbolic graph follows a power-law distribution with controllable exponent up to the maximum degree. To achieve this, they showed, among other results, that with high probability, the maximum degree is $n^{\frac{1}{2\alpha} + o(1)}$, where $n$ is the number of nodes. In this paper, we refine this estimate of the maximum degree, and we extend it to the case $\alpha \leq 1/2$: we first show that, with high probability, the node with the maximum degree is eventually the one that is the closest to the origin of the underlying hyperbolic space. From this, we get the convergence in distribution of the renormalised maximum degree. Except for the critical case $\alpha = 1/2$, the limit distribution belongs to the extreme value distribution family (Weibull distribution in the case $\alpha < 1/2$ and Fr\'echet distribution in the case $\alpha > 1/2$).


title: Master symmetries of non-linear systems

abstract: We explore new symmetries in two-component third-order Burgers' type systems in (1+1)-dimension using Wang's O-scheme. We also find a master symmetry for a (2+1)-dimensional Davey-Stewartson type system. These results shed light on the behavior of these equations and help us understand their integrability properties. Our approach offers a practical method for identifying symmetries, contributing to the study of integrable systems in mathematics and physics.


title: Toward Reliable Dipole Moments without Single Excitations: The Role of Orbital Rotations and Dynamical Correlation

abstract: The dipole moment is a crucial molecular property linked to a molecular system's bond polarity and overall electronic structure. To that end, the electronic dipole moment, which results from the electron density of a system, is often used to assess the accuracy and reliability of new electronic structure methods. This work analyses electronic dipole moments computed with the pair coupled cluster doubles (pCCD) ansatz and its linearized coupled cluster (pCCD-LCC) corrections using the canonical Hartree--Fock and pCCD-optimized (localized) orbital bases. The accuracy of pCCD-based dipole moments is assessed against experimental and CCSD(T) reference values using relaxed and unrelaxed density matrices and different basis set sizes. Our test set comprises molecules of various bonding patterns and electronic structures, exposing pCCD-based methods to a wide range of electron correlation effects. Additionally, we investigate the performance of pCCD-in-DFT dipole moments of some model complexes. Finally, our work indicates the importance of orbital relaxation in the pCCD model and shows the limitations of the linearized couple cluster corrections in predicting electronic dipole moments of multiple-bonded systems. Most importantly, pCCD with a linearized CCD correction can reproduce the dipole moment surfaces in singly-bonded molecules, which are comparable to the multi-reference ones.


title: Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements

abstract: Context and Motivation Attack-Defense Trees (ADTs) are a graphical notation used to model and assess security requirements. ADTs are widely popular, as they can facilitate communication between different stakeholders involved in system security evaluation, and they are formal enough to be verified, e.g., with model checkers. Question/Problem While the quality of this notation has been primarily assessed quantitatively, its understandability has never been evaluated despite being mentioned as a key factor for its success. Principal idea/Results In this paper, we conduct an experiment with 25 human subjects to assess the understandability and user acceptance of the ADT notation. The study focuses on performance-based variables and perception-based variables, with the aim of evaluating the relationship between these measures and how they might impact the practical use of the notation. The results confirm a good level of understandability of ADTs. Participants consider them useful, and they show intention to use them. Contribution This is the first study empirically supporting the understandability of ADTs, thereby contributing to the theory of security requirements engineering.


title: The Power in Communication: Power Regularization of Communication for Autonomy in Cooperative Multi-Agent Reinforcement Learning

abstract: Communication plays a vital role for coordination in Multi-Agent Reinforcement Learning (MARL) systems. However, misaligned agents can exploit other agents' trust and delegated power to the communication medium. In this paper, we propose power regularization as a method to limit the adverse effects of communication by misaligned agents, specifically communication which impairs the performance of cooperative agents. Power is a measure of the influence one agent's actions have over another agent's policy. By introducing power regularization, we aim to allow designers to control or reduce agents' dependency on communication when appropriate, and make them more resilient to performance deterioration due to misuses of communication. We investigate several environments in which power regularization can be a valuable capability for learning different policies that reduce the effect of power dynamics between agents during communication.


title: Detection of twice-punctured tori in hyperbolic knot complements

abstract: We extend the methods of the author's previous paper to show that certain families of essential twice-punctured tori are detected by an ideal point on the character variety, and that the limiting character at these ideal points is irreducible. This completes the proof that all punctured tori in two-bridge knots are detected by an ideal point in the $SL_2(\mathbb{C})$ character variety and initiates the study of punctured tori in pretzel knots.


title: Raster Forge: Interactive Raster Manipulation Library and GUI for Python

abstract: Raster Forge is a Python library and graphical user interface for raster data manipulation and analysis. The tool is focused on remote sensing applications, particularly in wildfire management. It allows users to import, visualize, and process raster layers for tasks such as image compositing or topographical analysis. For wildfire management, it generates fuel maps using predefined models. Its impact extends from disaster management to hydrological modeling, agriculture, and environmental monitoring. Raster Forge can be a valuable asset for geoscientists and researchers who rely on raster data analysis, enhancing geospatial data processing and visualization across various disciplines.


title: Latent Distance Guided Alignment Training for Large Language Models

abstract: Ensuring alignment with human preferences is a crucial characteristic of large language models (LLMs). Presently, the primary alignment methods, RLHF and DPO, require extensive human annotation, which is expensive despite their efficacy. The significant expenses associated with current alignment techniques motivate researchers to investigate the development of annotation-free alignment training methods. In pursuit of improved alignment without relying on external annotation, we introduce Latent Distance Guided Alignment Training (LD-Align). This approach seeks to align the model with a high-quality supervised fine-tune dataset using guidance from a latent space. The latent space is generated through sample reconstruction, akin to auto-encoding. Consequently, we utilize the distance between sample pairs in the latent space to guide DPO-based alignment training. Extensive experimentation and evaluation show the efficacy of our proposed method in achieving notable alignment.


title: Exploring Neural Network Landscapes: Star-Shaped and Geodesic Connectivity

abstract: One of the most intriguing findings in the structure of neural network landscape is the phenomenon of mode connectivity: For two typical global minima, there exists a path connecting them without barrier. This concept of mode connectivity has played a crucial role in understanding important phenomena in deep learning. In this paper, we conduct a fine-grained analysis of this connectivity phenomenon. First, we demonstrate that in the overparameterized case, the connecting path can be as simple as a two-piece linear path, and the path length can be nearly equal to the Euclidean distance. This finding suggests that the landscape should be nearly convex in a certain sense. Second, we uncover a surprising star-shaped connectivity: For a finite number of typical minima, there exists a center on minima manifold that connects all of them simultaneously via linear paths. These results are provably valid for linear networks and two-layer ReLU networks under a teacher-student setup, and are empirically supported by models trained on MNIST and CIFAR-10.


title: Event Extraction in Basque: Typologically motivated Cross-Lingual Transfer-Learning Analysis

abstract: Cross-lingual transfer-learning is widely used in Event Extraction for low-resource languages and involves a Multilingual Language Model that is trained in a source language and applied to the target language. This paper studies whether the typological similarity between source and target languages impacts the performance of cross-lingual transfer, an under-explored topic. We first focus on Basque as the target language, which is an ideal target language because it is typologically different from surrounding languages. Our experiments on three Event Extraction tasks show that the shared linguistic characteristic between source and target languages does have an impact on transfer quality. Further analysis of 72 language pairs reveals that for tasks that involve token classification such as entity and event trigger identification, common writing script and morphological features produce higher quality cross-lingual transfer. In contrast, for tasks involving structural prediction like argument extraction, common word order is the most relevant feature. In addition, we show that when increasing the training size, not all the languages scale in the same way in the cross-lingual setting. To perform the experiments we introduce EusIE, an event extraction dataset for Basque, which follows the Multilingual Event Extraction dataset (MEE). The dataset and code are publicly available.


title: MuPT: A Generative Symbolic Music Pretrained Transformer

abstract: In this paper, we explore the application of Large Language Models (LLMs) to the pre-training of music. While the prevalent use of MIDI in music modeling is well-established, our findings suggest that LLMs are inherently more compatible with ABC Notation, which aligns more closely with their design and strengths, thereby enhancing the model's performance in musical composition. To address the challenges associated with misaligned measures from different tracks during generation, we propose the development of a Synchronized Multi-Track ABC Notation (SMT-ABC Notation), which aims to preserve coherence across multiple musical tracks. Our contributions include a series of models capable of handling up to 8192 tokens, covering 90% of the symbolic music data in our training set. Furthermore, we explore the implications of the Symbolic Music Scaling Law (SMS Law) on model performance. The results indicate a promising direction for future research in music generation, offering extensive resources for community-led research through our open-source contributions.


title: On the minimal memory set of cellular automata

abstract: For a group $G$ and a finite set $A$, a cellular automaton (CA) is a transformation $\tau : A^G \to A^G$ defined via a finite memory set $S \subseteq G$ and a local map $\mu : A^S \to A$. Although memory sets are not unique, every CA admits a unique minimal memory set, which consists on all the essential elements of $S$ that affect the behavior of the local map. In this paper, we study the links between the minimal memory set and the generating patterns $\mathcal{P}$ of $\mu$; these are the patterns in $A^S$ that are not fixed when the cellular automaton is applied. In particular, we show that when $\vert S \vert \geq 2$ and $\vert \mathcal{P} \vert$ is not a multiple of $\vert A \vert$, then the minimal memory set must be $S$ itself. Moreover, when $\vert \mathcal{P} \vert = \vert A \vert$, $\vert S \vert \geq 3$, and the restriction of $\mu$ to these patterns is well-behaved, then the minimal memory set must be $S$ or $S \setminus \{s\}$, for some $s \in S \setminus \{e\}$. These are some of the first general theoretical results on the minimal memory set of a cellular automaton.


title: MiniCPM: Unveiling the Potential of Small Language Models with Scalable Training Strategies

abstract: The burgeoning interest in developing Large Language Models (LLMs) with up to trillion parameters has been met with concerns regarding resource efficiency and practical expense, particularly given the immense cost of experimentation. This scenario underscores the importance of exploring the potential of Small Language Models (SLMs) as a resource-efficient alternative. In this context, we introduce MiniCPM, specifically the 1.2B and 2.4B non-embedding parameter variants, not only excel in their respective categories but also demonstrate capabilities on par with 7B-13B LLMs. While focusing on SLMs, our approach exhibits scalability in both model and data dimensions for future LLM research. Regarding model scaling, we employ extensive model wind tunnel experiments for stable and optimal scaling. For data scaling, we introduce a Warmup-Stable-Decay (WSD) learning rate scheduler (LRS), conducive to continuous training and domain adaptation. We present an in-depth analysis of the intriguing training dynamics that occurred in the WSD LRS. With WSD LRS, we are now able to efficiently study data-model scaling law without extensive retraining experiments on both axes of model and data, from which we derive the much higher compute optimal data-model ratio than Chinchilla Optimal. Additionally, we introduce MiniCPM family, including MiniCPM-DPO, MiniCPM-MoE and MiniCPM-128K, whose excellent performance further cementing MiniCPM's foundation in diverse SLM applications. MiniCPM models are available publicly at https://github.com/OpenBMB/MiniCPM .


title: Reconciling $S_8$: Insights from Interacting Dark Sectors

abstract: We do a careful investigation of the prospects of dark energy (DE) interacting with cold dark matter (CDM) in alleviating the $S_8$ clustering tension. To this end, we consider various well-known parametrizations of the DE equation of state (EoS), and consider perturbations in both the dark sectors, along with an interaction term. Moreover, we perform a separate study for the phantom and non-phantom regimes. Using CMB, BAO and SNIa datasets, the constraints on the model parameters for each case have been obtained and a generic reduction in the $H_0-\sigma_{8,0}$ correlation has been observed, both for constant and dynamical DE EoS. This reduction, coupled with a significant negative correlation between the interaction term and $\sigma_{8,0}$, contributes to easing the clustering tension by lowering $\sigma_{8,0}$ to somewhere in between the early CMB and late-time clustering measurements for the phantom regime, for almost all the models under consideration. In addition, this is achieved without exacerbating the Hubble tension. In this regard, the CPL and JBP models perform the best in relaxing the $S_8$ tension to $<1\sigma$. However, for the non-phantom regime the $\sigma_{8,0}$ tension tends to have worsened, which reassures the merits of phantom dark energy from latest data. We further do an investigation of the role of RSD datasets and find an overall reduction in tension, with a value of $\sigma_{8,0}$ relatively closer to the CMB value. We finally check if further extensions of this scenario, like the inclusion of the sound speed of dark energy and warm dark matter interacting with DE, can have some effects.


title: New Contributions to $b \to s \gamma $ in Minimal G2HDM

abstract: We study the flavor-changing bottom quark radiative decay $b \to s \gamma$ induced at one-loop level within the minimal gauged two-Higgs-doublet model (G2HDM). Among the three new contributions to this rare process in G2HDM, we find that only the charged Higgs $\mathcal{H^\pm}$ contribution can be constrained by the current global fit data in $B$-physics. Other two contributions from the complex vectorial dark matter $\mathcal{W}$ and dark Higgs $\mathcal{D}$ are not sensitive to the current data. Combining with theoretical constraints imposed on the scalar potential and electroweak precision data for the oblique parameters, we exclude mass regions $m_{\mathcal{H}^\pm} \lesssim 250$ GeV and $m_{\mathcal{D}} \lesssim 100$ GeV at the 95\% confidence level.


title: Integrated electro-optics on thin-film lithium niobate

abstract: Electro-optics serves as the crucial bridge between electronics and photonics, unlocking a wide array of applications ranging from communications and computing to sensing and quantum information. Integrated electro-optics approaches in particular enable essential electronic high-speed control for photonics while offering substantial photonic parallelism for electronics. Recent strides in thin-film lithium niobate photonics have ushered revolutionary advancements in electro-optics. This technology not only offers the requisite strong electro-optic coupling but also boasts ultra-low optical loss and high microwave bandwidth. Further, its tight confinement and compatibility with nanofabrication allow for unprecedented reconfigurability and scalability, facilitating the creation of novel and intricate devices and systems that were once deemed nearly impossible in bulk systems. Building upon this platform, the field has witnessed the emergence of various groundbreaking electro-optic devices surpassing the current state of the art, and introducing functionalities that were previously non-existent. This technological leap forward provides a unique framework to explore various realms of physics as well, including photonic non-Hermitian synthetic dimensions, active topological physics, and quantum electro-optics. In this review, we present the fundamental principles of electro-optics, drawing connections between fundamental science and the forefront of technology. We discuss the accomplishments and future prospects of integrated electro-optics, enabled by thin-film lithium niobate platform.


title: Three ways to decipher the nature of exotic hadrons: multiplets, three-body hadronic molecules, and correlation functions

abstract: In the past two decades, a plethora of hadronic states beyond the conventional quark model of $q\bar{q}$ mesons and $qqq$ baryons have been observed experimentally, which motivated extensive studies to understand their nature and the non-perturbative strong interaction. Since most of these exotic states are near the mass thresholds of a pair of conventional hadrons, the prevailing picture is that they are primarily hadronic molecules. In principle, one can verify the molecular nature of these states by thoroughly comparing their masses, decay widths, and production rates in a particular picture with experimental data. However, this is difficult or impossible. First, quantum mechanics allows for the mixing of configurations allowed by symmetries and quantum numbers. Second, data are relatively scarce because of their small production rates and the many difficulties in the experimental measurements. As a result, other alternatives need to be explored. This review summarizes three such approaches that can help disentangle the nature of the many exotic hadrons discovered. In the first approach, based on the molecular interpretations for some exotic states, we study the likely existence of multiplets of hadronic molecules related by various symmetries, such as isospin symmetry, SU(3)-flavor symmetry, heavy quark spin/flavor symmetry, and heavy antiquark diquark symmetry. In the second approach, starting from some hadronic molecular candidates, one can derive the underlying hadron-hadron interactions. With these interactions, one can study related three-body systems and check whether three-body bound states/resonances exist. In the third approach, one can turn to the femtoscopy technique to derive the hadron-hadron interactions, hence inaccessible. This technique provided an unprecedented opportunity to understand the interactions between unstable hadrons.


title: Dynamic Deep Learning Based Super-Resolution For The Shallow Water Equations

abstract: Using the nonlinear shallow water equations as benchmark, we demonstrate that a simulation with the ICON-O ocean model with a 20km resolution that is frequently corrected by a U-net-type neural network can achieve discretization errors of a simulation with 10km resolution. The network, originally developed for image-based super-resolution in post-processing, is trained to compute the difference between solutions on both meshes and is used to correct the coarse mesh every 12h. Our setup is the Galewsky test case, modeling transition of a barotropic instability into turbulent flow. We show that the ML-corrected coarse resolution run correctly maintains a balance flow and captures the transition to turbulence in line with the higher resolution simulation. After 8 day of simulation, the $L_2$-error of the corrected run is similar to a simulation run on the finer mesh. While mass is conserved in the corrected runs, we observe some spurious generation of kinetic energy.


title: Bounded Edit Distance: Optimal Static and Dynamic Algorithms for Small Integer Weights

abstract: The edit distance of two strings is the minimum number of insertions, deletions, and substitutions needed to transform one string into the other. The textbook algorithm determines the edit distance of length-$n$ strings in $O(n^2)$ time, which is optimal up to subpolynomial factors under Orthogonal Vectors Hypothesis. In the bounded version of the problem, parameterized by the edit distance $k$, the algorithm of Landau and Vishkin [JCSS'88] achieves $O(n+k^2)$ time, which is optimal as a function of $n$ and $k$. The dynamic version of the problem asks to maintain the edit distance of two strings that change dynamically, with each update modeled as an edit. A folklore approach supports updates in $\tilde O(k^2)$ time, where $\tilde O(\cdot)$ hides polylogarithmic factors. Recently, Charalampopoulos, Kociumaka, and Mozes [CPM'20] showed an algorithm with update time $\tilde O(n)$, which is optimal under OVH in terms of $n$. The update time of $\tilde O(\min\{n,k^2\})$ raised an exciting open question of whether $\tilde O(k)$ is possible; we answer it affirmatively. Our solution relies on tools originating from weighted edit distance, where the weight of each edit depends on the edit type and the characters involved. The textbook algorithm supports weights, but the Landau-Vishkin approach does not, and a simple $O(nk)$-time procedure long remained the fastest for bounded weighted edit distance. Only recently, Das et al. [STOC'23] provided an $O(n+k^5)$-time algorithm, whereas Cassis, Kociumaka, and Wellnitz [FOCS'23] presented an $\tilde O(n+\sqrt{nk^3})$-time solution and a matching conditional lower bound. In this paper, we show that, for integer edit weights between $0$ and $W$, weighted edit distance can be computed in $\tilde O(n+Wk^2)$ time and maintained dynamically in $\tilde O(W^2k)$ time per update. Our static algorithm can also be implemented in $\tilde O(n+k^{2.5})$ time.


title: Radiation Tolerance of the LHCb Outer Tracker: in the Lab and in the Forward Region at the LHC

abstract: During the detector construction phase between 2004 and 2006, it was discovered that the LHCb Outer Tracker (OT) detector suffered from gain loss after irradiation in the laboratory at moderate intensities. Under irradiation an insulating layer was formed on the anode wire. The aging was caused by contamination of the counting gas due to outgassing of the glue used in construction namely araldite AY103-1. The gain loss was concentrated upstream the gas flow, and at moderate irradiation intensity only. The aging rate was reduced by longterm flushing and by the addition of a few percent of O2 to the gas mixture. Furthermore, applying a large positive high voltage (beyond the amplification regime) has shown to remove the insulating deposits without damaging the wire surface. This paper presents the history of the developments together with the characteristics and the culprit of the aging phenomenon and the resulting detector performance in situ.


title: Online Learning of Decision Trees with Thompson Sampling

abstract: Decision Trees are prominent prediction models for interpretable Machine Learning. They have been thoroughly researched, mostly in the batch setting with a fixed labelled dataset, leading to popular algorithms such as C4.5, ID3 and CART. Unfortunately, these methods are of heuristic nature, they rely on greedy splits offering no guarantees of global optimality and often leading to unnecessarily complex and hard-to-interpret Decision Trees. Recent breakthroughs addressed this suboptimality issue in the batch setting, but no such work has considered the online setting with data arriving in a stream. To this end, we devise a new Monte Carlo Tree Search algorithm, Thompson Sampling Decision Trees (TSDT), able to produce optimal Decision Trees in an online setting. We analyse our algorithm and prove its almost sure convergence to the optimal tree. Furthermore, we conduct extensive experiments to validate our findings empirically. The proposed TSDT outperforms existing algorithms on several benchmarks, all while presenting the practical advantage of being tailored to the online setting.


title: Apprentices to Research Assistants: Advancing Research with Large Language Models

abstract: Large Language Models (LLMs) have emerged as powerful tools in various research domains. This article examines their potential through a literature review and firsthand experimentation. While LLMs offer benefits like cost-effectiveness and efficiency, challenges such as prompt tuning, biases, and subjectivity must be addressed. The study presents insights from experiments utilizing LLMs for qualitative analysis, highlighting successes and limitations. Additionally, it discusses strategies for mitigating challenges, such as prompt optimization techniques and leveraging human expertise. This study aligns with the 'LLMs as Research Tools' workshop's focus on integrating LLMs into HCI data work critically and ethically. By addressing both opportunities and challenges, our work contributes to the ongoing dialogue on their responsible application in research.


title: Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry

abstract: Proving geometric theorems constitutes a hallmark of visual reasoning combining both intuitive and logical skills. Therefore, automated theorem proving of Olympiad-level geometry problems is considered a notable milestone in human-level automated reasoning. The introduction of AlphaGeometry, a neuro-symbolic model trained with 100 million synthetic samples, marked a major breakthrough. It solved 25 of 30 International Mathematical Olympiad (IMO) problems whereas the reported baseline based on Wu's method solved only ten. In this note, we revisit the IMO-AG-30 Challenge introduced with AlphaGeometry, and find that Wu's method is surprisingly strong. Wu's method alone can solve 15 problems, and some of them are not solved by any of the other methods. This leads to two key findings: (i) Combining Wu's method with the classic synthetic methods of deductive databases and angle, ratio, and distance chasing solves 21 out of 30 methods by just using a CPU-only laptop with a time limit of 5 minutes per problem. Essentially, this classic method solves just 4 problems less than AlphaGeometry and establishes the first fully symbolic baseline strong enough to rival the performance of an IMO silver medalist. (ii) Wu's method even solves 2 of the 5 problems that AlphaGeometry failed to solve. Thus, by combining AlphaGeometry with Wu's method we set a new state-of-the-art for automated theorem proving on IMO-AG-30, solving 27 out of 30 problems, the first AI method which outperforms an IMO gold medalist.


title: Emergent Dynamics in Neural Cellular Automata

abstract: Neural Cellular Automata (NCA) models are trainable variations of traditional Cellular Automata (CA). Emergent motion in the patterns created by NCA has been successfully applied to synthesize dynamic textures. However, the conditions required for an NCA to display dynamic patterns remain unexplored. Here, we investigate the relationship between the NCA architecture and the emergent dynamics of the trained models. Specifically, we vary the number of channels in the cell state and the number of hidden neurons in the MultiLayer Perceptron (MLP), and draw a relationship between the combination of these two variables and the motion strength between successive frames. Our analysis reveals that the disparity and proportionality between these two variables have a strong correlation with the emergent dynamics in the NCA output. We thus propose a design principle for creating dynamic NCA.


title: Rethinking How to Evaluate Language Model Jailbreak

abstract: Large language models (LLMs) have become increasingly integrated with various applications. To ensure that LLMs do not generate unsafe responses, they are aligned with safeguards that specify what content is restricted. However, such alignment can be bypassed to produce prohibited content using a technique commonly referred to as jailbreak. Different systems have been proposed to perform the jailbreak automatically. These systems rely on evaluation methods to determine whether a jailbreak attempt is successful. However, our analysis reveals that current jailbreak evaluation methods have two limitations. (1) Their objectives lack clarity and do not align with the goal of identifying unsafe responses. (2) They oversimplify the jailbreak result as a binary outcome, successful or not. In this paper, we propose three metrics, safeguard violation, informativeness, and relative truthfulness, to evaluate language model jailbreak. Additionally, we demonstrate how these metrics correlate with the goal of different malicious actors. To compute these metrics, we introduce a multifaceted approach that extends the natural language generation evaluation method after preprocessing the response. We evaluate our metrics on a benchmark dataset produced from three malicious intent datasets and three jailbreak systems. The benchmark dataset is labeled by three annotators. We compare our multifaceted approach with three existing jailbreak evaluation methods. Experiments demonstrate that our multifaceted evaluation outperforms existing methods, with F1 scores improving on average by 17% compared to existing baselines. Our findings motivate the need to move away from the binary view of the jailbreak problem and incorporate a more comprehensive evaluation to ensure the safety of the language model.


title: Module Categories As Spans

abstract: We realize module functors and module natural transforms as spans of monoidal categories. We also discuss the generalizations to algebras and modules within an arbitrary monoidal 2-category, including $\mathbf{2Vect}$, $\mathbf{2Rep}(G)$, $\mathbf{2Vect}^\pi_G$, $\mathbf{Mod}(\mathcal{B})$, $\mathbf{MCat}$ and $\mathbf{BrCat}$.


title: Helium Reionization from Empirical Quasar Luminosity Functions before and after JWST

abstract: Recently, models of the quasar luminosity function (QLF) rooted on large observational compilations have been produced that, unlike their predecessors, feature a smooth evolution with time. This bypasses the need to assume an ionizing emissivity evolution when simulating helium reionization with observations-based QLF, thus yielding more robust constraints. We combine one such QLF with a cosmological hydrodynamical simulation and 3D multi-frequency radiative transfer. The simulated reionization history is consistently delayed in comparison to most other models in the literature. The predicted intergalactic medium temperature is larger than the observed one at $z \lesssim 3$. Through forward modeling of the He II Lyman-$\alpha$ forest, we show that our model produces an extended helium reionization and successfully matches the bulk of the observed effective optical depth distribution, although it over-ionizes the Universe at $z\lesssim2.8$ as the effect of small-scale Lyman Limit Systems not being resolved. We thoroughly characterize transmission regions and dark gaps in He II Lyman-$\alpha$ forest sightlines. We quantify their sensitivity to the helium reionization, opening a new avenue for further observational studies of this epoch. Finally, we explore the implications for helium reionization of the large number of active galactic nuclei revealed at $z\gtrsim5$ by JWST. We find that such modifications do not affect any observable at $z\leq4$, except in our most extreme model, indicating that the observed abundance of high-$z$ AGNs does not bear consequences for helium reionization.


title: The maximum degree of the $r$th power of a sparse random graph

abstract: Let $G^r_{n,p}$ denote the $r$th power of the random graph $G_{n,p}$, where $p=c/n$ for a positive constant $c$. We prove that w.h.p. the maximum degree $\Delta\left(G^r_{n,p}\right)\sim \frac{\log n}{\log_{(r+1)}n}$. Here $\log_{(k)}n$ indicates the repeated application of the log-function $k$ times. So, for example, $\log_{(3)}n=\log\log\log n$.


title: AgentQuest: A Modular Benchmark Framework to Measure Progress and Improve LLM Agents

abstract: The advances made by Large Language Models (LLMs) have led to the pursuit of LLM agents that can solve intricate, multi-step reasoning tasks. As with any research pursuit, benchmarking and evaluation are key corner stones to efficient and reliable progress. However, existing benchmarks are often narrow and simply compute overall task success. To face these issues, we propose AgentQuest -- a framework where (i) both benchmarks and metrics are modular and easily extensible through well documented and easy-to-use APIs; (ii) we offer two new evaluation metrics that can reliably track LLM agent progress while solving a task. We exemplify the utility of the metrics on two use cases wherein we identify common failure points and refine the agent architecture to obtain a significant performance increase. Together with the research community, we hope to extend AgentQuest further and therefore we make it available under https://github.com/nec-research/agentquest.


title: Gravitational wave seismology of charged strange stars in the Cowling approximation: the fluid pulsation modes

abstract: In this work we study, within the framework of Cowling approximation, the effect of the electric charge on the gravitational wave frequency of fluid oscillation modes of strange quark stars. For this purpose, the dense matter of the stellar fluid is described by the MIT bag model equation of state (EoS), while for the electric charge profile, we consider that the electric charge density is proportional to the energy density. We find that the gravitational wave frequencies change with the increment of electric charge; these effects are more noticeable at higher total mass values. We obtain that the $f$-mode is very sensitive to the change in the electric charge of the star. Furthermore, in the case of the $p_1$ mode, the effect of the electric charge is not very significant. Our results reveal that the study of the fundamental pulsation mode of an electrically charged compact star is very important to distinguish whether compact stars could contain electric charge.


title: Large Language Models to the Rescue: Deadlock Resolution in Multi-Robot Systems

abstract: Multi-agent robotic systems are prone to deadlocks in an obstacle environment where the system can get stuck away from its desired location under a smooth low-level control policy. Without an external intervention, often in terms of a high-level command, it is not possible to guarantee that just a low-level control policy can resolve such deadlocks. Utilizing the generalizability and low data requirements of large language models (LLMs), this paper explores the possibility of using LLMs for deadlock resolution. We propose a hierarchical control framework where an LLM resolves deadlocks by assigning a leader and direction for the leader to move along. A graph neural network (GNN) based low-level distributed control policy executes the assigned plan. We systematically study various prompting techniques to improve LLM's performance in resolving deadlocks. In particular, as part of prompt engineering, we provide in-context examples for LLMs. We conducted extensive experiments on various multi-robot environments with up to 15 agents and 40 obstacles. Our results demonstrate that LLM-based high-level planners are effective in resolving deadlocks in MRS.


title: Constraints on the black-hole charges of M87* and Sagittarius A* by changing rates of photon spheres can be relaxed

abstract: Event Horizon Telescope (EHT) collaboration observed ring images called the shadows of M87* and Sagittarius A* (Sgr A*), which are supermassive objects in M87 and our galaxy, respectively, and their general relativistic magnetohydrodynamic simulations of black holes imply that the observed rings are formed by the gravitational lensing of synchrotron radiations from a hot plasma near outside of supermassive black holes. EHT collaboration gave constrains on the electrical or alternative charges of M87* and Sgr A* under an assumption that the radius of the observed ring should be proportional to the changing rates of photon spheres by the charges. Since the validness of this assumption is not sure, it is worth to checking the same constraints under another assumption. On this paper, we consider the changing rates of not only the photon spheres but also lensing rings in a simple model and we test whether aforementioned constrain is robust. We conclude that EHT collaboration's constraints based on the changing rates of the photon spheres can be relaxed compared to that based on the changing rate of the lensing rings while we do not claim that the observed rings are formed by the photon spheres and the lensing rings in our simple model. We concentrate on Reissner-Nordstr\"{o}m black hole spacetimes in this paper, but our result implies the relaxation of the bound of the charge parameters on other black hole spacetimes.


title: Quasi-Particle Self-Consistent $GW$ for Molecules

abstract: We present the formalism and implementation of quasi-particle self-consistent GW (qsGW) and eigenvalue only quasi-particle self-consistent GW (evGW) adapted to standard quantum chemistry packages. Our implementation is benchmarked against high-level quantum chemistry computations (coupled-cluster theory) and experimental results using a representative set of molecules. Furthermore, we compare the qsGW approach for five molecules relevant for organic photovoltaics to self-consistent GW results (scGW) and analyze the effects of the self-consistency on the ground state density by comparing calculated dipole moments to their experimental values. We show that qsGW makes a significant improvement over conventional G0W0 and that partially self-consistent flavors (in particular evGW) can be excellent alternatives.


title: Existence and uniqueness theorems for one class of Hammerstein-type nonlinear integral equations

abstract: The class of nonlinear integral equations on the positive half-line with a monotone operator of Hammerstein type is studied. With various partial representations of the corresponding kernel and nonlinearity, this class of equations has applications in the dynamic theory of $p$-adic strings, in the kinetic theory of gases, in the theory of radiation transfer and in the mathematical theory of the geographical spread of epidemic diseases. A constructive theorem for the existence of a nontrivial bounded solution is proved. The asymptotic behavior of the constructed solution at infinity is studied. We also prove a theorem for the uniqueness of a solution in the class of nonnegative nontrivial and bounded functions. At the end of the work, specific particular examples of the kernel and nonlinearity of this class of equations are given, which are of independent interest.


title: Radon-Hurwitz Grassmannian codes

abstract: Every equi-isoclinic tight fusion frame (EITFF) is a type of optimal code in a Grassmannian, consisting of subspaces of a finite-dimensional Hilbert space for which the smallest principal angle between any pair of them is as large as possible. EITFFs yield dictionaries with minimal block coherence and so are ideal for certain types of compressed sensing. By refining classical arguments of Lemmens and Seidel that rely upon Radon-Hurwitz theory, we fully characterize EITFFs in the special case where the dimension of the subspaces is exactly one-half of that of the ambient space. We moreover show that each such "Radon-Hurwitz EITFF" is highly symmetric.


title: Studying the Impact of Latent Representations in Implicit Neural Networks for Scientific Continuous Field Reconstruction

abstract: Learning a continuous and reliable representation of physical fields from sparse sampling is challenging and it affects diverse scientific disciplines. In a recent work, we present a novel model called MMGN (Multiplicative and Modulated Gabor Network) with implicit neural networks. In this work, we design additional studies leveraging explainability methods to complement the previous experiments and further enhance the understanding of latent representations generated by the model. The adopted methods are general enough to be leveraged for any latent space inspection. Preliminary results demonstrate the contextual information incorporated in the latent representations and their impact on the model performance. As a work in progress, we will continue to verify our findings and develop novel explainability approaches.


title: Exploring Four Fermion Contact Couplings of a Dark Fermion and an Electron at Hadron Colliders and Direct Detection Experiments

abstract: Both the collider searches and direct detections are promising approaches to probe a fermionic dark matter. In this paper we study signatures of the four fermion contact operators involving a dark fermion, an electron and a quark pair. We show that the mono-electron production channel at hadron collider can provide strong constraints. Associated productions of a charged electron with a photon/jet with missing energy are also studied. Using the current LHC data at $\sqrt{s} = 13$\,TeV, the lower bound on the energy scale of the (axial-)vector operator can reach to $12$\,TeV for a massless dark fermion. It can be further improved to about $24$\,TeV at the HE-LHC with $\sqrt{s} = 25$\,TeV and a total luminosity $20\,{\rm ab}^{-1}$. For the direct detections, the signal operators can generate induced $\beta^\pm$ decays. For the induced $\beta^-$ decay, we show that the constraints are weaker than the ones from the collider searches in almost all of the parameter space, and the accessible parameter space is already excluded by the current LHC data. In case of a relative heavy dark fermion (a few MeV), the induced $\beta^+$ decay is more sensitive than the collider search. Despite the advantage of the collider search that a much wider range of the dark fermion mass can be investigated, it can also provide a complementarity to the detect detections.


title: Reconfigurable Multiple-Valued Logic Function and Sequential Circuit Realizations via Threshold Logic Gates

abstract: In this paper, we present a general reconfigurable multiple-valued logic circuit. The proposed architecture is based on threshold logic gate and is compatible with binary logic, which allows a designer to easily integrate multiple valued logic with binary logic. We also present a methodology to design sequential circuits.


title: Efficient Training of Probabilistic Neural Networks for Survival Analysis

abstract: Variational Inference (VI) is a commonly used technique for approximate Bayesian inference and uncertainty estimation in deep learning models, yet it comes at a computational cost, as it doubles the number of trainable parameters to represent uncertainty. This rapidly becomes challenging in high-dimensional settings and motivates the use of alternative techniques for inference, such as Monte Carlo Dropout (MCD) or Spectral-normalized Neural Gaussian Process (SNGP). However, such methods have seen little adoption in survival analysis, and VI remains the prevalent approach for training probabilistic neural networks. In this paper, we investigate how to train deep probabilistic survival models in large datasets without introducing additional overhead in model complexity. To achieve this, we adopt three probabilistic approaches, namely VI, MCD, and SNGP, and evaluate them in terms of their prediction performance, calibration performance, and model complexity. In the context of probabilistic survival analysis, we investigate whether non-VI techniques can offer comparable or possibly improved prediction performance and uncertainty calibration compared to VI. In the MIMIC-IV dataset, we find that MCD aligns with VI in terms of the concordance index (0.748 vs. 0.743) and mean absolute error (254.9 vs. 254.7) using hinge loss, while providing C-calibrated uncertainty estimates. Moreover, our SNGP implementation provides D-calibrated survival functions in all datasets compared to VI (4/4 vs. 2/4, respectively). Our work encourages the use of techniques alternative to VI for survival analysis in high-dimensional datasets, where computational efficiency and overhead are of concern.


title: Echo Chambers in the Age of Algorithms: An Audit of Twitter's Friend Recommender System

abstract: The presence of political misinformation and ideological echo chambers on social media platforms is concerning given the important role that these sites play in the public's exposure to news and current events. Algorithmic systems employed on these platforms are presumed to play a role in these phenomena, but little is known about their mechanisms and effects. In this work, we conduct an algorithmic audit of Twitter's Who-To-Follow friend recommendation system, the first empirical audit that investigates the impact of this algorithm in-situ. We create automated Twitter accounts that initially follow left and right affiliated U.S. politicians during the 2022 U.S. midterm elections and then grow their information networks using the platform's recommender system. We pair the experiment with an observational study of Twitter users who already follow the same politicians. Broadly, we find that while following the recommendation algorithm leads accounts into dense and reciprocal neighborhoods that structurally resemble echo chambers, the recommender also results in less political homogeneity of a user's network compared to accounts growing their networks through social endorsement. Furthermore, accounts that exclusively followed users recommended by the algorithm had fewer opportunities to encounter content centered on false or misleading election narratives compared to choosing friends based on social endorsement.


title: Deep Reinforcement Learning-Based Approach for a Single Vehicle Persistent Surveillance Problem with Fuel Constraints

abstract: This article presents a deep reinforcement learning-based approach to tackle a persistent surveillance mission requiring a single unmanned aerial vehicle initially stationed at a depot with fuel or time-of-flight constraints to repeatedly visit a set of targets with equal priority. Owing to the vehicle's fuel or time-of-flight constraints, the vehicle must be regularly refueled, or its battery must be recharged at the depot. The objective of the problem is to determine an optimal sequence of visits to the targets that minimizes the maximum time elapsed between successive visits to any target while ensuring that the vehicle never runs out of fuel or charge. We present a deep reinforcement learning algorithm to solve this problem and present the results of numerical experiments that corroborate the effectiveness of this approach in comparison with common-sense greedy heuristics.


title: Detection of Contact Binary Candidates Observed By TESS Using Autoencoder Neural Network

abstract: Contact binary may be the progenitor of a red nova that eventually produces a merger event and have a cut-off period around 0.2 days. Therefore, a large number of contact binaries is needed to search for the progenitor of red novae and to study the characteristics of short-period contact binaries. In this paper, we employ the Phoebe program to generate a large number of light curves based on the fundamental parameters of contact binaries. Using these light curves as samples, an autoencoder model is trained, which can reconstruct the light curves of contact binaries very well. When the error between the output light curve from the model and the input light curve is large, it may be due to other types of variable stars. The goodness of fit (R2) between the output light curve from the model and the input light curve is calculated. Based on the thresholds for global goodness of fit (R2), period, range magnitude, and local goodness of fit (R2), a total of 1322 target candidates were obtained.


title: ZeST: Zero-Shot Material Transfer from a Single Image

abstract: We propose ZeST, a method for zero-shot material transfer to an object in the input image given a material exemplar image. ZeST leverages existing diffusion adapters to extract implicit material representation from the exemplar image. This representation is used to transfer the material using pre-trained inpainting diffusion model on the object in the input image using depth estimates as geometry cue and grayscale object shading as illumination cues. The method works on real images without any training resulting a zero-shot approach. Both qualitative and quantitative results on real and synthetic datasets demonstrate that ZeST outputs photorealistic images with transferred materials. We also show the application of ZeST to perform multiple edits and robust material assignment under different illuminations. Project Page: https://ttchengab.github.io/zest


title: Quantum stochastic thermodynamics in the mesoscopic-leads formulation

abstract: We introduce a numerical method to sample the distributions of charge, heat, and entropy production in open quantum systems coupled strongly to macroscopic reservoirs, with both temporal and energy resolution and beyond the linear-response regime. Our method exploits the mesoscopic-leads formulation, where macroscopic reservoirs are modeled by a finite collection of modes that are continuously damped toward thermal equilibrium by an appropriate Gorini-Kossakowski-Sudarshan-Lindblad master equation. Focussing on non-interacting fermionic systems, we access the time-resolved full counting statistics through a trajectory unraveling of the master equation. We show that the integral fluctuation theorems for the total entropy production, as well as the martingale and uncertainty entropy production, hold. Furthermore, we investigate the fluctuations of the dissipated heat in finite-time information erasure. Conceptually, our approach extends the continuous-time trajectory description of quantum stochastic thermodynamics beyond the regime of weak system-environment coupling.


title: A universal sequence of tensors for the asymptotic rank conjecture

abstract: The exponent $\sigma(T)$ of a tensor $T\in\mathbb{F}^d\otimes\mathbb{F}^d\otimes\mathbb{F}^d$ over a field $\mathbb{F}$ captures the base of the exponential growth rate of the tensor rank of $T$ under Kronecker powers. Tensor exponents are fundamental from the standpoint of algorithms and computational complexity theory; for example, the exponent $\omega$ of matrix multiplication can be characterized as $\omega=2\sigma(\mathrm{MM}_2)$, where $\mathrm{MM}_2\in\mathbb{F}^4\otimes\mathbb{F}^4\otimes\mathbb{F}^4$ is the tensor that represents $2\times 2$ matrix multiplication. Our main result is an explicit construction of a sequence $\mathcal{U}_d$ of zero-one-valued tensors that is universal for the worst-case tensor exponent; more precisely, we show that $\sigma(\mathcal{U}_d)=\sigma(d)$ where $\sigma(d)=\sup_{T\in\mathbb{F}^d\otimes\mathbb{F}^d\otimes\mathbb{F}^d}\sigma(T)$. We also supply an explicit universal sequence $\mathcal{U}_\Delta$ localised to capture the worst-case exponent $\sigma(\Delta)$ of tensors with support contained in $\Delta\subseteq [d]\times[d]\times [d]$; by combining such sequences, we obtain a universal sequence $\mathcal{T}_d$ such that $\sigma(\mathcal{T}_d)=1$ holds if and only if Strassen's asymptotic rank conjecture [Progr. Math. 120 (1994)] holds for $d$. Finally, we show that the limit $\lim_{d\rightarrow\infty}\sigma(d)$ exists and can be captured as $\lim_{d\rightarrow\infty} \sigma(D_d)$ for an explicit sequence $(D_d)_{d=1}^\infty$ of tensors obtained by diagonalisation of the sequences $\mathcal{U}_d$. As our second result we relate the absence of polynomials of fixed degree vanishing on tensors of low rank, or more generally asymptotic rank, with upper bounds on the exponent $\sigma(d)$. Using this technique, one may bound asymptotic rank for all tensors of a given format, knowing enough specific tensors of low asymptotic rank.


title: Maximality and Cauchy developments of Lorentzian length spaces

abstract: This article suggests the definition of 'Lorentzian space' weakening the notion of Lorentzian length space just as much that it allows for a functor from the category of causally continuous Lorentzian manifolds to the corresponding category of Lorentzian spaces, and considers three problems in the context of maximal Cauchy developments of Lorentzian length spaces (LLSs): The first is to define pointed Gromov-Hausdorff metrics for spatially and temporally noncompact LLSs, the second to present an explicit non-spacetime example of a maximal vacuum Cauchy development in the LLS category, the third to define canonical representatives for developments. A certain regularity property for geodesics plays a key role in each of the problems.


title: Magic-Boost: Boost 3D Generation with Mutli-View Conditioned Diffusion

abstract: Benefiting from the rapid development of 2D diffusion models, 3D content creation has made significant progress recently. One promising solution involves the fine-tuning of pre-trained 2D diffusion models to harness their capacity for producing multi-view images, which are then lifted into accurate 3D models via methods like fast-NeRFs or large reconstruction models. However, as inconsistency still exists and limited generated resolution, the generation results of such methods still lack intricate textures and complex geometries. To solve this problem, we propose Magic-Boost, a multi-view conditioned diffusion model that significantly refines coarse generative results through a brief period of SDS optimization ($\sim15$min). Compared to the previous text or single image based diffusion models, Magic-Boost exhibits a robust capability to generate images with high consistency from pseudo synthesized multi-view images. It provides precise SDS guidance that well aligns with the identity of the input images, enriching the local detail in both geometry and texture of the initial generative results. Extensive experiments show Magic-Boost greatly enhances the coarse inputs and generates high-quality 3D assets with rich geometric and textural details. (Project Page: https://magic-research.github.io/magic-boost/)


title: pfl-research: simulation framework for accelerating research in Private Federated Learning

abstract: Federated learning (FL) is an emerging machine learning (ML) training paradigm where clients own their data and collaborate to train a global model, without revealing any data to the server and other participants. Researchers commonly perform experiments in a simulation environment to quickly iterate on ideas. However, existing open-source tools do not offer the efficiency required to simulate FL on larger and more realistic FL datasets. We introduce pfl-research, a fast, modular, and easy-to-use Python framework for simulating FL. It supports TensorFlow, PyTorch, and non-neural network models, and is tightly integrated with state-of-the-art privacy algorithms. We study the speed of open-source FL frameworks and show that pfl-research is 7-72$\times$ faster than alternative open-source frameworks on common cross-device setups. Such speedup will significantly boost the productivity of the FL research community and enable testing hypotheses on realistic FL datasets that were previously too resource intensive. We release a suite of benchmarks that evaluates an algorithm's overall performance on a diverse set of realistic scenarios. The code is available on GitHub at https://github.com/apple/pfl-research.


title: Alfven Wave Mode Conversion in Neutron Star Magnetospheres: A Semi-analytic Approach

abstract: We write down the force-free electrodynamics (FFE) equations in dipole coordinates, and solve for normal modes corresponding to Alfv\'enic perturbations in the magnetosphere of a neutron star. We show that a single Alfv\'en wave propagating on dipole field lines spontaneously sources a fast magnetosonic (fms) wave at the next order in the perturbation expansion, without needing 3-wave interaction. The frequency of the sourced fms wave is twice the original Alfv\'en wave frequency, and the wave propagates spherically outwards. The properties of the outgoing fms wave can be computed exactly using the usual devices of classical electrodynamics. We extend the calculation to the closed zone of a rotating neutron star magnetosphere, and show that the Alfv\'en wave also sources a spherical fms wave but at the same frequency as the primary Alfv\'en wave.


title: Missing Pieces: How Framing Uncertainty Impacts Longitudinal Trust in AI Decision Aids -- A Gig Driver Case Study

abstract: Decision aids based on artificial intelligence (AI) are becoming increasingly common. When such systems are deployed in environments with inherent uncertainty, following AI-recommended decisions may lead to a wide range of outcomes. In this work, we investigate how the framing of uncertainty in outcomes impacts users' longitudinal trust in AI decision aids, which is crucial to ensuring that these systems achieve their intended purposes. More specifically, we use gig driving as a representative domain to address the question: how does exposing uncertainty at different levels of granularity affect the evolution of users' trust and their willingness to rely on recommended decisions? We report on a longitudinal mixed-methods study $(n = 51)$ where we measured the trust of gig drivers as they interacted with an AI-based schedule recommendation tool. Statistically significant quantitative results indicate that participants' trust in and willingness to rely on the tool for planning depended on the perceived accuracy of the tool's estimates; that providing ranged estimates improved trust; and that increasing prediction granularity and using hedging language improved willingness to rely on the tool even when trust was low. Additionally, we report on interviews with participants which revealed a diversity of experiences with the tool, suggesting that AI systems must build trust by going beyond general designs to calibrate the expectations of individual users.


title: A New Hotplug Coded Caching Scheme Using PDAs

abstract: In the original coded caching model introduced by Maddah-Ali and Niesen in 2014, the server starts broadcasting only after it receives demands from all the users. So, all the users must be active during the delivery phase. In this work, we consider a coded caching model called hotplug coded caching in which some of the users are offline during the delivery phase. This model was first introduced by Ma and Tuninetti (``On Coded Caching Systems with Offline Users," 2022 IEEE International Symposium on Information Theory). The concept of Hotplug Placement Delivery Arrays (HpPDAs) for the hotplug coded caching systems was introduced in (``Improved Hotplug Caching Schemes Using PDAs and $t$-Designs," \emph{arXiv:2311.02856}, 2024), in which the authors have constructed HpPDAs from $t$-designs. This work provides a new hotplug coded caching scheme from the existing HpPDAs. The performance comparison of the proposed scheme with the existing schemes is presented. When applied for HpPDAs from $t$-designs, our scheme outperforms the baseline scheme by Ma and Tuninetti, and the Improved $t$-scheme by Rajput and Rajan in some memory regimes.


title: Quantum Graph Optimization Algorithm

abstract: Quadratic unconstrained binary optimization (QUBO) tasks are very important in chemistry, finance, job scheduling, and so on, which can be represented using graph structures, with the variables as nodes and the interaction between them as edges. Variational quantum algorithms, especially the Quantum Approximate Optimization Algorithm (QAOA) and its variants, present a promising way, potentially exceeding the capabilities of classical algorithms, for addressing QUBO tasks. However, the possibility of using message-passing machines, inspired by classical graph neural networks, to enhance the power and performance of these quantum algorithms for QUBO tasks was not investigated. This study introduces a novel variational quantum graph optimization algorithm that integrates the message-passing mechanism, which demonstrates significant improvements in performance for solving QUBO problems in terms of resource efficiency and solution precision, compared to QAOA, its variants, and other quantum graph neural networks. Furthermore, in terms of scalability on QUBO tasks, our algorithm shows superior performance compared to QAOA, presenting a substantial advancement in the field of quantum approximate optimization.


title: Software-based Security Framework for Edge and Mobile IoT

abstract: With the proliferation of Internet of Things (IoT) devices, ensuring secure communications has become imperative. Due to their low cost and embedded nature, many of these devices operate with computational and energy constraints, neglecting the potential security vulnerabilities that they may bring. This work-in-progress is focused on designing secure communication among remote servers and embedded IoT devices to balance security robustness and energy efficiency. The proposed approach uses lightweight cryptography, optimizing device performance and security without overburdening their limited resources. Our architecture stands out for integrating Edge servers and a central Name Server, allowing secure and decentralized authentication and efficient connection transitions between different Edge servers. This architecture enhances the scalability of the IoT network and reduces the load on each server, distributing the responsibility for authentication and key management.


title: Perspective on Physical Interpretations of R\'enyi Entropy in Statistical Mechanics

abstract: R\'enyi entropy is a one-parameter generalization of Shannon entropy, which has been used in various fields of physics. Despite its wide applicability, the physical interpretations of the R\'enyi entropy are not widely known. In this paper, we discuss some basic properties of the R\'enyi entropy relevant to physics, in particular statistical mechanics, and its physical interpretations using free energy, replicas, work, and large deviation.


title: Seasonal Fire Prediction using Spatio-Temporal Deep Neural Networks

abstract: With climate change expected to exacerbate fire weather conditions, the accurate anticipation of wildfires on a global scale becomes increasingly crucial for disaster mitigation. In this study, we utilize SeasFire, a comprehensive global wildfire dataset with climate, vegetation, oceanic indices, and human-related variables, to enable seasonal wildfire forecasting with machine learning. For the predictive analysis, we train deep learning models with different architectures that capture the spatio-temporal context leading to wildfires. Our investigation focuses on assessing the effectiveness of these models in predicting the presence of burned areas at varying forecasting time horizons globally, extending up to six months into the future, and on how different spatial or/and temporal context affects the performance of the models. Our findings demonstrate the great potential of deep learning models in seasonal fire forecasting; longer input time-series leads to more robust predictions across varying forecasting horizons, while integrating spatial information to capture wildfire spatio-temporal dynamics boosts performance. Finally, our results hint that in order to enhance performance at longer forecasting horizons, a larger receptive field spatially needs to be considered.


title: Non-Gaussian state teleportation with a nonlinear feedforward

abstract: Measurement-induced quantum computation with continuous-variable cluster states utilizes teleportation propagating the states through the cluster accompanied by non-Gaussian measurements and feedforward control. We analyze such propagation of a quantum non-Gaussian state with nonlinear squeezing through a small cluster state and show that when a nonlinear feedforward is involved in the teleportation protocol, higher nonlinear squeezing can be transferred. In a probabilistic regime, the improvement can be manifested even with current experimental resources. Better processing of non-Gaussian states can bring us closer to the necessary interplay between cluster states and non-Gaussianity required by quantum computing.