title: Future Trends in the Design of Memetic Algorithms: the Case of the Linear Ordering Problem

abstract: The way heuristic optimizers are designed has evolved over the decades, as computing power has increased. Initially, trajectory metaheuristics used to shape the state of the art in many problems, whereas today, population-based mechanisms tend to be more effective.Such has been the case for the Linear Ordering Problem (LOP), a field in which strategies such as Iterated Local Search and Variable Neighborhood Search led the way during the 1990s, but which have now been surpassed by evolutionary and memetic schemes. This paper focuses on understanding how the design of LOP optimizers will change in the future, as computing power continues to increase, yielding two main contributions. On the one hand, a metaheuristic was designed that is capable of effectively exploiting a large amount of computational resources, specifically, computing power equivalent to what a recent core can output during runs lasting over four months. Our analysis of this aspect relied on parallelization, and allowed us to conclude that as the power of the computational resources increases, it will be necessary to boost the capacities of the intensification methods applied in the memetic algorithms to keep the population from stagnating. And on the other, the best-known results for today's most challenging set of instances (xLOLIB2) were significantly outperformed. Instances with sizes ranging from 300 to 1000 were analyzed, and new bounds were established that provide a frame of reference for future research.


title: Plaquette Models, Cellular Automata, and Measurement-induced Criticality

abstract: We present a class of two-dimensional randomized plaquette models, where the multi-spin interaction term, referred to as the plaquette term, is replaced by a single-site spin term with a probability of $1-p$. By varying $p$, we observe a ground state phase transition, or equivalently, a phase transition of the symmetry operator. We find that as we vary $p$, the symmetry operator changes from being extensive to being localized in space. These models can be equivalently understood as 1+1D randomized cellular automaton dynamics, allowing the 2D transition to be interpreted as a 1+1D dynamical absorbing phase transition. In this paper, our primary focus is on the plaquette term with three or five-body interactions, where we explore the universality classes of the transitions. Specifically, for the model with five-body interaction, we demonstrate that it belongs to the same universality class as the measurement-induced entanglement phase transition observed in 1+1D Clifford dynamics, as well as the boundary entanglement transition of the 2D cluster state induced by random bulk Pauli measurements. This work establishes a connection between transitions in classical spin models, cellular automata, and hybrid random circuits.


title: Bulk-like Mott-Transition in ultrathin Cr-doped V2O3 films and the influence of its variability on scaled devices

abstract: The pressure driven Mott-transition in Chromium doped V2O3 films is investigated by direct electrical measurements on polycrystalline films with thicknesses down to 10 nm, and doping concentrations of 2%, 5% and 15%. A change in resistivity of nearly two orders of magnitude is found for 2% doping. A simulation model based on a scaling law description of the phase transition and percolative behavior in a resistor lattice is developed. This is used to show that despite significant deviations in the film structure from single crystals, the transition behavior is very similar. Finally, the influence of the variability between grains on the characteristics of scaled devices is investigated and found to allow for scaling down to at least 50 nm device width.


title: Orthogonal Delay-Doppler Division Multiplexing Modulation with Tomlinson-Harashima Precoding

abstract: The orthogonal delay-Doppler (DD) division multiplexing(ODDM) modulation has been recently proposed as a promising modulation scheme for next-generation communication systems with high mobility. Despite its benefits, ODDM modulation and other DD domain modulation schemes face the challenge of excessive equalization complexity. To address this challenge, we propose time domain Tomlinson-Harashima precoding (THP) for the ODDM transmitter, to make the DD domain single-tap equalizer feasible, thereby reducing the equalization complexity. In our design, we first pre-cancel the inter-symbolinterference (ISI) using the linear time-varying (LTV) channel information. Second, different from classical THP designs, we introduce a modified modulo operation with an adaptive modulus, by which the joint DD domain data multiplexing and timedomain ISI pre-cancellation can be realized without excessively increasing the bit errors. We then analytically study the losses encountered in this design, namely the power loss, the modulo noise loss, and the modulo signal loss. Based on this analysis, BER lower bounds of the ODDM system with time domain THP are derived when 4-QAM or 16-QAM modulations are adopted for symbol mapping in the DD domain. Finally, through numerical results, we validate our analysis and then demonstrate that the ODDM system with time domain THP is a promising solution to realize better BER performance over LTV channels compared to orthogonal frequency division multiplexing systems with single-tap equalizer and ODDM systems with maximum ratio combining.


title: Exploring Equilibrium Strategies in Network Games with Generative AI

abstract: Game theory offers a powerful framework for analyzing strategic interactions among decision-makers, providing tools to model, analyze, and predict their behavior. However, implementing game theory can be challenging due to difficulties in deriving solutions, understanding interactions, and ensuring optimal performance. Traditional non-AI and discriminative AI approaches have made valuable contributions but struggle with limitations in handling large-scale games and dynamic scenarios. In this context, generative AI emerges as a promising solution because of its superior data analysis and generation capabilities. This paper comprehensively summarizes the challenges, solutions, and outlooks of combining generative AI with game theory. We start with reviewing the limitations of traditional non-AI and discriminative AI approaches in employing game theory, and then highlight the necessity and advantages of integrating generative AI. Next, we explore the applications of generative AI in various stages of the game theory lifecycle, including model formulation, solution derivation, and strategy improvement. Additionally, from game theory viewpoint, we propose a generative AI-enabled framework for optimizing machine learning model performance against false data injection attacks, supported by a case study to demonstrate its effectiveness. Finally, we outline future research directions for generative AI-enabled game theory, paving the way for its further advancements and development.


title: MCMC using $\textit{bouncy}$ Hamiltonian dynamics: A unifying framework for Hamiltonian Monte Carlo and piecewise deterministic Markov process samplers

abstract: Piecewise-deterministic Markov process (PDMP) samplers constitute a state of the art Markov chain Monte Carlo (MCMC) paradigm in Bayesian computation, with examples including the zig-zag and bouncy particle sampler (BPS). Recent work on the zig-zag has indicated its connection to Hamiltonian Monte Carlo, a version of the Metropolis algorithm that exploits Hamiltonian dynamics. Here we establish that, in fact, the connection between the paradigms extends far beyond the specific instance. The key lies in (1) the fact that any time-reversible deterministic dynamics provides a valid Metropolis proposal and (2) how PDMPs' characteristic velocity changes constitute an alternative to the usual acceptance-rejection. We turn this observation into a rigorous framework for constructing rejection-free Metropolis proposals based on bouncy Hamiltonian dynamics which simultaneously possess Hamiltonian-like properties and generate discontinuous trajectories similar in appearance to PDMPs. When combined with periodic refreshment of the inertia, the dynamics converge strongly to PDMP equivalents in the limit of increasingly frequent refreshment. We demonstrate the practical implications of this new paradigm, with a sampler based on a bouncy Hamiltonian dynamics closely related to the BPS. The resulting sampler exhibits competitive performance on challenging real-data posteriors involving tens of thousands of parameters.


title: Lie Rota--Baxter operators on the Sweedler algebra $H_4$

abstract: If $A$ is an associative algebra, then we can define the adjoint Lie algebra $A^{(-)}$ and Jordan algebra $A^{(+)}$. It is easy to see that any associative Rota--Baxter operator on $A$ induces a Lie and Jordan Rota--Baxter operator on $A^{(-)}$ and $A^{(+)}$ respectively. Are there Lie (Jordan) Rota--Baxter operators, which are not associative Rota--Baxter operators? In the present article we are studying these questions for the Sweedler algebra $H_4$, that is a 4-dimension non-commutative Hopf algebra. More precisely, we describe the Rota--Baxter operators on Lie algebra on the adjoint Lie algebra $H_4^{(-)}$.


title: Hybrid Event-Frame Neural Spike Detector for Neuromorphic Implantable BMI

abstract: This work introduces two novel neural spike detection schemes intended for use in next-generation neuromorphic brain-machine interfaces (iBMIs). The first, an Event-based Spike Detector (Ev-SPD) which examines the temporal neighborhood of a neural event for spike detection, is designed for in-vivo processing and offers high sensitivity and decent accuracy (94-97%). The second, Neural Network-based Spike Detector (NN-SPD) which operates on hybrid temporal event frames, provides an off-implant solution using shallow neural networks with impressive detection accuracy (96-99%) and minimal false detections. These methods are evaluated using a synthetic dataset with varying noise levels and validated through comparison with ground truth data. The results highlight their potential in next-gen neuromorphic iBMI systems and emphasize the need to explore this direction further to understand their resource-efficient and high-performance capabilities for practical iBMI settings.


title: Airport Delay Prediction with Temporal Fusion Transformers

abstract: Since flight delay hurts passengers, airlines, and airports, its prediction becomes crucial for the decision-making of all stakeholders in the aviation industry and thus has been attempted by various previous research. However, previous delay predictions are often categorical and at a highly aggregated level. To improve that, this study proposes to apply the novel Temporal Fusion Transformer model and predict numerical airport arrival delays at quarter hour level for U.S. top 30 airports. Inputs to our model include airport demand and capacity forecasts, historic airport operation efficiency information, airport wind and visibility conditions, as well as enroute weather and traffic conditions. The results show that our model achieves satisfactory performance measured by small prediction errors on the test set. In addition, the interpretability analysis of the model outputs identifies the important input factors for delay prediction.


title: Tension-compression asymmetry in superelasticity of SrNi2P2 single crystals and the influence of low temperatures

abstract: ThCr2Si2-type intermetallic compounds are known to exhibit superelasticity associated with structural transitions through lattice collapse and expansion. These transitions occur via the formation and breaking of Si-type bonds, respectively, under uniaxial loading along the [0 0 1] direction. Unlike most ThCr2Si2-type intermetallic compounds, which have either an uncollapsed tetragonal structure or a collapsed tetragonal structure, SrNi2P2 possesses a third type of collapsed structured: a one-third orthorhombic structure, for which one expects the occurrence of unique structural transitions and superelastic behavior. In this study, uniaxial compression and tension tests were conducted on micron-sized SrNi2P2 single crystalline columns at room temperature, 200K, and 100K, to investigate the influence of loading direction and temperature on the superelasticity of SrNi2P2. Experimental data and density functional theory calculations revealed the presence of tension-compression asymmetry in the structural transitions and superelasticity, as well as an asymmetry in their temperature dependence, due to the opposite superelastic process associated with compression (forming P-P bonds) and tension (breaking P-P bonds). Additionally, following thermodynamics, the observations suggest that this asymmetric superelasticity could lead to an opposite elastocaloric effect between compression and tension, which could be beneficial potentially in obtaining large temperature changes compared to conventional superelastic solids that show the same elastocaloric effect regardless of loading direction. These results provide an important fundamental insight into the structural transitions, superelasticity processes, and potential elastocaloric effects in SrNi2P2.


title: SpeechVerse: A Large-scale Generalizable Audio Language Model

abstract: Large language models (LLMs) have shown incredible proficiency in performing tasks that require semantic understanding of natural language instructions. Recently, many works have further expanded this capability to perceive multimodal audio and text inputs, but their capabilities are often limited to specific fine-tuned tasks such as automatic speech recognition and translation. We therefore develop SpeechVerse, a robust multi-task training and curriculum learning framework that combines pre-trained speech and text foundation models via a small set of learnable parameters, while keeping the pre-trained models frozen during training. The models are instruction finetuned using continuous latent representations extracted from the speech foundation model to achieve optimal zero-shot performance on a diverse range of speech processing tasks using natural language instructions. We perform extensive benchmarking that includes comparing our model performance against traditional baselines across several datasets and tasks. Furthermore, we evaluate the model's capability for generalized instruction following by testing on out-of-domain datasets, novel prompts, and unseen tasks. Our empirical experiments reveal that our multi-task SpeechVerse model is even superior to conventional task-specific baselines on 9 out of the 11 tasks.


title: Area-Preserving Anisotropic Mean Curvature Flow in Two Dimensions

abstract: We study the motion of sets by anisotropic curvature under a volume constraint in the plane. We establish the exponential convergence of the area-preserving anisotropic flat flow to a disjoint union of Wulff shapes of equal area, the critical point of the anisotropic perimeter functional. This is an anisotropic analogue of the results in the isotropic case studied in \cite{julin2022}. The novelty of our approach is in using the Cahn-Hoffman map to parametrize boundary components as small perturbations of the Wulff shape. In addition, we show that certain reflection comparison symmetries are preserved by the flat flow, which lets us obtain uniform bounds on the distance between the convergent profile and the initial data.


title: Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation

abstract: The uses of machine learning (ML) have snowballed in recent years. In many cases, ML models are highly complex, and their operation is beyond the understanding of human decision-makers. Nevertheless, some uses of ML models involve high-stakes and safety-critical applications. Explainable artificial intelligence (XAI) aims to help human decision-makers in understanding the operation of such complex ML models, thus eliciting trust in their operation. Unfortunately, the majority of past XAI work is based on informal approaches, that offer no guarantees of rigor. Unsurprisingly, there exists comprehensive experimental and theoretical evidence confirming that informal methods of XAI can provide human-decision makers with erroneous information. Logic-based XAI represents a rigorous approach to explainability; it is model-based and offers the strongest guarantees of rigor of computed explanations. However, a well-known drawback of logic-based XAI is the complexity of logic reasoning, especially for highly complex ML models. Recent work proposed distance-restricted explanations, i.e. explanations that are rigorous provided the distance to a given input is small enough. Distance-restricted explainability is tightly related with adversarial robustness, and it has been shown to scale for moderately complex ML models, but the number of inputs still represents a key limiting factor. This paper investigates novel algorithms for scaling up the performance of logic-based explainers when computing and enumerating ML model explanations with a large number of inputs.


title: Deep Reinforcement Learning for Real-Time Ground Delay Program Revision and Corresponding Flight Delay Assignments

abstract: This paper explores the optimization of Ground Delay Programs (GDP), a prevalent Traffic Management Initiative used in Air Traffic Management (ATM) to reconcile capacity and demand discrepancies at airports. Employing Reinforcement Learning (RL) to manage the inherent uncertainties in the national airspace system-such as weather variability, fluctuating flight demands, and airport arrival rates-we developed two RL models: Behavioral Cloning (BC) and Conservative Q-Learning (CQL). These models are designed to enhance GDP efficiency by utilizing a sophisticated reward function that integrates ground and airborne delays and terminal area congestion. We constructed a simulated single-airport environment, SAGDP_ENV, which incorporates real operational data along with predicted uncertainties to facilitate realistic decision-making scenarios. Utilizing the whole year 2019 data from Newark Liberty International Airport (EWR), our models aimed to preemptively set airport program rates. Despite thorough modeling and simulation, initial outcomes indicated that the models struggled to learn effectively, attributed potentially to oversimplified environmental assumptions. This paper discusses the challenges encountered, evaluates the models' performance against actual operational data, and outlines future directions to refine RL applications in ATM.


title: Differentially Private Federated Learning: A Systematic Review

abstract: In recent years, privacy and security concerns in machine learning have promoted trusted federated learning to the forefront of research. Differential privacy has emerged as the de facto standard for privacy protection in federated learning due to its rigorous mathematical foundation and provable guarantee. Despite extensive research on algorithms that incorporate differential privacy within federated learning, there remains an evident deficiency in systematic reviews that categorize and synthesize these studies. Our work presents a systematic overview of the differentially private federated learning. Existing taxonomies have not adequately considered objects and level of privacy protection provided by various differential privacy models in federated learning. To rectify this gap, we propose a new taxonomy of differentially private federated learning based on definition and guarantee of various differential privacy models and federated scenarios. Our classification allows for a clear delineation of the protected objects across various differential privacy models and their respective neighborhood levels within federated learning environments. Furthermore, we explore the applications of differential privacy in federated learning scenarios. Our work provide valuable insights into privacy-preserving federated learning and suggest practical directions for future research.


title: Vector-Symbolic Architecture for Event-Based Optical Flow

abstract: From a perspective of feature matching, optical flow estimation for event cameras involves identifying event correspondences by comparing feature similarity across accompanying event frames. In this work, we introduces an effective and robust high-dimensional (HD) feature descriptor for event frames, utilizing Vector Symbolic Architectures (VSA). The topological similarity among neighboring variables within VSA contributes to the enhanced representation similarity of feature descriptors for flow-matching points, while its structured symbolic representation capacity facilitates feature fusion from both event polarities and multiple spatial scales. Based on this HD feature descriptor, we propose a novel feature matching framework for event-based optical flow, encompassing both model-based (VSA-Flow) and self-supervised learning (VSA-SM) methods. In VSA-Flow, accurate optical flow estimation validates the effectiveness of HD feature descriptors. In VSA-SM, a novel similarity maximization method based on the HD feature descriptor is proposed to learn optical flow in a self-supervised way from events alone, eliminating the need for auxiliary grayscale images. Evaluation results demonstrate that our VSA-based method achieves superior accuracy in comparison to both model-based and self-supervised learning methods on the DSEC benchmark, while remains competitive among both methods on the MVSEC benchmark. This contribution marks a significant advancement in event-based optical flow within the feature matching methodology.


title: Coded Downlink Massive Random Access and a Finite de Finetti Theorem

abstract: This paper considers a massive connectivity setting in which a base-station (BS) aims to communicate sources $(X_1,\cdots,X_k)$ to a randomly activated subset of $k$ users, among a large pool of $n$ users, via a common downlink message. Although the identities of the $k$ active users are assumed to be known at the BS, each active user only knows whether itself is active and does not know the identities of the other active users. A naive coding strategy is to transmit the sources alongside the identities of the users for which the source information is intended, which would require $H(X_1,\cdots,X_k) + k\log(n)$ bits, because the cost of specifying the identity of a user is $\log(n)$ bits. For large $n$, this overhead can be significant. This paper shows that it is possible to develop coding techniques that eliminate the dependency of the overhead on $n$, if the source distribution follows certain symmetry. Specifically, if the source distribution is independent and identically distributed (i.i.d.) then the overhead can be reduced to at most $O(\log(k))$ bits, and in case of uniform i.i.d. sources, the overhead can be further reduced to $O(1)$ bits. For sources that follow a more general exchangeable distribution, the overhead is at most $O(k)$ bits, and in case of finite-alphabet exchangeable sources, the overhead can be further reduced to $O(\log(k))$ bits. The downlink massive random access problem is closely connected to the study of finite exchangeable sequences. The proposed coding strategy allows bounds on the relative entropy distance between finite exchangeable distributions and i.i.d. mixture distributions to be developed, and gives a new relative entropy version of the finite de Finetti theorem which is scaling optimal.


title: Designing Adaptive User Interfaces for mHealth applications targeting chronic disease: A User-Centric Approach

abstract: mHealth interventions show significant potential to help in the self-management of chronic diseases, but their under use remains a problem. Considering the substantial diversity among individuals dealing with chronic diseases, tailored strategies are essential. \emph{Adaptive User Interfaces} (AUIs) may help address the diverse and evolving needs of this demographic. To investigate this approach, we developed an AUI prototype informed by existing literature findings. We then used this prototype as the basis for focus group discussions and interview studies with 22 participants managing various chronic diseases, and follow-up surveys of all participants. Through these investigations, we pinpointed key challenges related to the use of AUIs, strategies to improve adaptation design, and potential trade-offs between these challenges and strategies. Concurrently, a quantitative survey was conducted to extract preferences for AUIs in chronic disease-related applications with 90 further participants. This uncovered participants' preferences for various adaptations, data types, collection methods, and involvement levels. Finally, we synthesised these insights and categories, aligning them with existing guidelines and design considerations for mHealth app adaptation design. This resulted in nine guidelines that we refined by a final feedback survey conducted with 20 participants.


title: Second-Order Bi-Scalar-Tensor Field Equations in a Space of Four-Dimensions

abstract: Lagrange scalar densities which are concomitants of two scalar fields, a pseudo-Riemannian metric tensor, and their derivatives of arbitrary differential order are investigated in a space of four-dimensions. The most general second-order Euler-Lagrange tensor densities derivable from such a Lagrangian are constructed. It is demonstrated that these second-order Euler-Lagrange tensor densities can be derived from a set of four Lagrangians which are at most of second-order. These Lagrangians will have a total of six scalar coefficients, each of which is a concomitant of five variables: the two scalar fields, and the three inner products of the gradients of the two scalar fields. Of these six coefficient functions only one is arbitrary, while the other five must satisfy linear partial differential equations. These non-arbitrary scalar functions break up into three groups: two groups of two, and one single function, with different groups appearing in different Lagrangians. Surprisingly each of these five functions give rise to solutions to the wave equation in three-dimensional Minkowski space.


title: Computational Thought Experiments for a More Rigorous Philosophy and Science of the Mind

abstract: We offer philosophical motivations for a method we call Virtual World Cognitive Science (VW CogSci), in which researchers use virtual embodied agents that are embedded in virtual worlds to explore questions in the field of Cognitive Science. We focus on questions about mental and linguistic representation and the ways that such computational modeling can add rigor to philosophical thought experiments, as well as the terminology used in the scientific study of such representations. We find that this method forces researchers to take a god's-eye view when describing dynamical relationships between entities in minds and entities in an environment in a way that eliminates the need for problematic talk of belief and concept types, such as the belief that cats are silly, and the concept CAT, while preserving belief and concept tokens in individual cognizers' minds. We conclude with some further key advantages of VW CogSci for the scientific study of mental and linguistic representation and for Cognitive Science more broadly.


title: Collateral Portfolio Optimization in Crypto-Backed Stablecoins

abstract: Stablecoins - crypto tokens whose value is pegged to a real-world asset such as the US Dollar - are an important component of the DeFi ecosystem as they mitigate the impact of token price volatility. In crypto-backed stablecoins, the peg is founded on the guarantee that in case of system shutdown, each stablecoin can be exchanged for a basket of other crypto tokens worth approximately its nominal value. However, price fluctuations that affect the collateral tokens may cause this guarantee to be invalidated. In this work, we investigate the impact of the collateral portfolio's composition on the resilience to this type of catastrophic event. For stablecoins whose developers maintain a significant portion of the collateral (e.g., MakerDAO's Dai), we propose two portfolio optimization methods, based on convex optimization and (semi)variance minimization, that account for the correlation between the various token prices. We compare the optimal portfolios to the historical evolution of Dai's collateral portfolio, and to aid reproducibility, we have made our data and code publicly available.


title: Flight Path Optimization with Optimal Control Method

abstract: This paper is based on a crucial issue in the aviation world: how to optimize the trajectory and controls given to the aircraft in order to optimize flight time and fuel consumption. This study aims to provide elements of a response to this problem and to define, under certain simplifying assumptions, an optimal response, using Constrained Finite Time Optimal Control(CFTOC). The first step is to define the dynamic model of the aircraft in accordance with the controllable inputs and wind disturbances. Then we will identify a precise objective in terms of optimization and implement an optimization program to solve it under the circumstances of simulated real flight situation. Finally, the optimization result is validated and discussed by different scenarios.


title: Sequential Maximal Updated Density Parameter Estimation for Dynamical Systems with Parameter Drift

abstract: We present a novel method for generating sequential parameter estimates and quantifying epistemic uncertainty in dynamical systems within a data-consistent (DC) framework. The DC framework differs from traditional Bayesian approaches due to the incorporation of the push-forward of an initial density, which performs selective regularization in parameter directions not informed by the data in the resulting updated density. This extends a previous study that included the linear Gaussian theory within the DC framework and introduced the maximal updated density (MUD) estimate as an alternative to both least squares and maximum a posterior (MAP) estimates. In this work, we introduce algorithms for operational settings of MUD estimation in real or near-real time where spatio-temporal datasets arrive in packets to provide updated estimates of parameters and identify potential parameter drift. Computational diagnostics within the DC framework prove critical for evaluating (1) the quality of the DC update and MUD estimate and (2) the detection of parameter value drift. The algorithms are applied to estimate (1) wind drag parameters in a high-fidelity storm surge model, (2) thermal diffusivity field for a heat conductivity problem, and (3) changing infection and incubation rates of an epidemiological model.


title: Online Test-time Adaptation for Interatomic Potentials

abstract: Machine learning interatomic potentials (MLIPs) enable more efficient molecular dynamics (MD) simulations with ab initio accuracy, which have been used in various domains of physical science. However, distribution shift between training and test data causes deterioration of the test performance of MLIPs, and even leads to collapse of MD simulations. In this work, we propose an online Test-time Adaptation Interatomic Potential (TAIP) framework to improve the generalization on test data. Specifically, we design a dual-level self-supervised learning approach that leverages global structure and atomic local environment information to align the model with the test data. Extensive experiments demonstrate TAIP's capability to bridge the domain gap between training and test dataset without additional data. TAIP enhances the test performance on various benchmarks, from small molecule datasets to complex periodic molecular systems with various types of elements. Remarkably, it also enables stable MD simulations where the corresponding baseline models collapse.


title: Neutral test particle dynamics around the Bardeen-AdS black hole surrounded by quintessence dark energy

abstract: Dynamics of neutral test particles in the spacetime of a Bardeen AdS black hole surrounded by quintessence dark energy is studied. First, we analyze the properties of the black hole and possible values of the monopole charge and quintessential parameters that allows the existence of the event horizon. The effects of the parameters on the effective potential and the innermost stable circular orbit radius are also studied. For the neutral test particles motion, it is shown that as the quintessential parameters increase, the radius of ISCO be increased. We have analyzed the dynamical behaviors of the neutral test particles by applying techniques including Poincar'e sections, power density and bifurcation diagram. It is shown that the presence of a quintessence parameter creates the chaotic phenomenon for the motion of neutral particle in a Bardeen AdS black hole spacetime. The amplification of chaos typically occurs as the energy increases under appropriate circumstances.


title: Cross-Category Functional Grasp Tansfer

abstract: Generating grasps for a dexterous hand often requires numerous grasping annotations. However, annotating high DoF dexterous hand poses is quite challenging. Especially for functional grasps, the grasp pose must be convenient for subsequent manipulation tasks. This prompt us to explore how people achieve manipulations on new objects based on past grasp experiences. We find that when grasping new items, people are adept at discovering and leveraging various similarities between objects, including shape, layout, and grasp type. Considering this, we analyze and collect grasp-related similarity relationships among 51 common tool-like object categories and annotate semantic grasp representation for 1768 objects. These objects are connected through similarities to form a knowledge graph, which helps infer our proposed cross-category functional grasp synthesis. Through extensive experiments, we demonstrate that the grasp-related knowledge indeed contributed to achieving functional grasp transfer across unknown or entirely new categories of objects. We will publicly release the dataset and code to facilitate future research.


title: A Decoupling and Aggregating Framework for Joint Extraction of Entities and Relations

abstract: Named Entity Recognition and Relation Extraction are two crucial and challenging subtasks in the field of Information Extraction. Despite the successes achieved by the traditional approaches, fundamental research questions remain open. First, most recent studies use parameter sharing for a single subtask or shared features for both two subtasks, ignoring their semantic differences. Second, information interaction mainly focuses on the two subtasks, leaving the fine-grained informtion interaction among the subtask-specific features of encoding subjects, relations, and objects unexplored. Motivated by the aforementioned limitations, we propose a novel model to jointly extract entities and relations. The main novelties are as follows: (1) We propose to decouple the feature encoding process into three parts, namely encoding subjects, encoding objects, and encoding relations. Thanks to this, we are able to use fine-grained subtask-specific features. (2) We propose novel inter-aggregation and intra-aggregation strategies to enhance the information interaction and construct individual fine-grained subtask-specific features, respectively. The experimental results demonstrate that our model outperforms several previous state-of-the-art models. Extensive additional experiments further confirm the effectiveness of our model.


title: Rotation and Abundances of the Benchmark Brown Dwarf HD 33632 Ab from Keck/KPIC High-resolution Spectroscopy

abstract: We present the projected rotational velocity and molecular abundances for HD 33632 Ab obtained via Keck Planet Imager and Characterizer high-resolution spectroscopy. HD 33632 Ab is a nearby benchmark brown dwarf companion at a separation of $\sim$20 au that straddles the L/T transition. Using a forward-modeling framework with on-axis host star spectra, self-consistent substellar atmospheric and retrieval models for HD 33632 Ab, we derive a projected rotational velocity of 53 $\pm$ 3 km/s and carbon/water mass fractions of log CO = $-$2.3 $\pm$ 0.3 and log H$_2$O = $-$2.7 $\pm$ 0.2. The inferred carbon-to-oxygen ratio (C/O = 0.58 $\pm$ 0.14), molecular abundances, and metallicity ([C/H] = 0.0 $\pm$ 0.2 dex) of HD 33632 Ab are consistent with its host star. Although detectable methane opacities are expected in L/T transition objects, we did not recover methane in our KPIC spectra, partly due to the high $v\sin{i}$ and to disequilibrium chemistry at the pressures we are sensitive to. We parameterize the spin as the ratio of rotation over break-up velocity, and compare HD 33632 Ab to a compilation of >200 very low-mass objects (M$\lesssim$0.1 M$_{\odot}$) that have spin measurements in the literature. There appears to be no clear trend for the isolated field low-mass objects versus mass, but a tentative trend is identified for low-mass companions and directly imaged exoplanets, similar to previous findings. A larger sample of close-in gas giant exoplanets and brown dwarfs will critically examine our understanding of their formation and evolution through rotation and chemical abundance measurements.


title: Establishing Heuristics for Improving the Usability of GUI Machine Learning Tools for Novice Users

abstract: Machine learning (ML) tools with graphical user interfaces (GUI) are facing demand from novice users who do not have the background of their underlying concepts. These tools are frequently complex and pose unique challenges in terms of interaction and comprehension by novice users. There is yet to be an established set of usability heuristics to guide and assess GUI ML tool design. To address this gap, in this paper, we extend Nielsen's heuristics for evaluating GUI ML Tools through a set of empirical evaluations. To validate the proposed heuristics, user testing was conducted by novice users on a prototype that reflects those heuristics. Based on the results of the evaluations, our new heuristics set improves upon existing heuristics in the context of ML tools. It can serve as a resource for practitioners designing and evaluating these tools.


title: Probing the impact of radio-mode feedback on the properties of the cool circumgalactic medium

abstract: We explore the influence of radio-mode feedback on the properties of the cool circumgalactic medium (CGM). To this end, we assemble a statistical sample of approximately 30,000 radio galaxies with background quasars by combining optical spectroscopic measurements of luminous red galaxies (LRGs) and quasars from the year 1 dataset of Dark Energy Spectroscopic Instrument (DESI) and radio sources from the LOw-Frequency ARray Two-metre Sky Survey (LoTSS) DR2 catalog and the Very Large Array Sky Survey (VLASS) quick look catalog. Galaxies with similar optical properties but with no radio counterparts in LoTSS and VLASS are selected as the control group. We measure the cool CGM properties of radio galaxies and their control samples traced by MgII absorption lines, including covering fraction, rest equivalent width, and gas kinematics. Our results show no significant difference in the properties of gas around radio galaxies and their control sample, indicating that the operating radio-mode feedback of massive galaxies does not produce detectable effects on the properties of the cool CGM. Finally, we show that the CGM of radio galaxies contain a non-negligible amount of cool gas with approximately 10^10 solar masses. This abundance can place a stringent constraint on the radio-mode feedback models.


title: Independent Range Sampling on Interval Data (Longer Version)

abstract: Many applications require efficient management of large sets of intervals because many objects are associated with intervals (e.g., time and price intervals). In such interval management systems, range search is a primitive operator for retrieving and analysis tasks. As dataset sizes are growing nowadays, range search results are also becoming larger, which may overwhelm users and incur long computation time. Because applications are usually satisfied with a subset of the result set, it is desirable to efficiently obtain only small samples from the result set.We therefore address the problem of independent range sampling on interval data, which outputs $s$ random samples that overlap a given query interval and are independent of the samples of all previous queries. To efficiently solve this problem theoretically and practically, we propose a variant of an interval tree, namely the augmented interval tree (or AIT), and we show that there exists an exact algorithm that needs $O(n \log n)$ space and $O(\log^{2} n + s)$ time, where $n$ is the dataset size. The simple structure of an AIT provides flexible extensions: (i) its time and space complexities respectively become $O(\log^{2} n + s)$ expected and $O(n)$ by bucketing intervals and (ii) it can deal with weighted intervals and outputs $s$ weighted random samples in $O(\log^{2} n+s\log n)$ time. We conduct extensive experiments on real datasets, and the results demonstrate that our algorithms significantly outperform competitors.


title: Moduli stabilization in finite modular symmetric models

abstract: We study vacua of moduli potential consisting of multiple contribution of modular forms in a finite modular symmetry. If the potential is given by a single modular form, the Minkowski vacuum is realized at the fixed point of the modular symmetry. We show that de Sitter vacuum is realized with a multiple modular form case and obtain a non-trivial vacuum which is away from the fixed point, i.e. a large modulus vacuum expectation value, depending on the choice of the weight and representation of the modular forms. We study these vacua by a numerical and analytically. It is also found that vacua obtained in this paper preserve CP symmetry.


title: SpeechGuard: Exploring the Adversarial Robustness of Multimodal Large Language Models

abstract: Integrated Speech and Large Language Models (SLMs) that can follow speech instructions and generate relevant text responses have gained popularity lately. However, the safety and robustness of these models remains largely unclear. In this work, we investigate the potential vulnerabilities of such instruction-following speech-language models to adversarial attacks and jailbreaking. Specifically, we design algorithms that can generate adversarial examples to jailbreak SLMs in both white-box and black-box attack settings without human involvement. Additionally, we propose countermeasures to thwart such jailbreaking attacks. Our models, trained on dialog data with speech instructions, achieve state-of-the-art performance on spoken question-answering task, scoring over 80% on both safety and helpfulness metrics. Despite safety guardrails, experiments on jailbreaking demonstrate the vulnerability of SLMs to adversarial perturbations and transfer attacks, with average attack success rates of 90% and 10% respectively when evaluated on a dataset of carefully designed harmful questions spanning 12 different toxic categories. However, we demonstrate that our proposed countermeasures reduce the attack success significantly.


title: No-Regret Learning of Nash Equilibrium for Black-Box Games via Gaussian Processes

abstract: This paper investigates the challenge of learning in black-box games, where the underlying utility function is unknown to any of the agents. While there is an extensive body of literature on the theoretical analysis of algorithms for computing the Nash equilibrium with complete information about the game, studies on Nash equilibrium in black-box games are less common. In this paper, we focus on learning the Nash equilibrium when the only available information about an agent's payoff comes in the form of empirical queries. We provide a no-regret learning algorithm that utilizes Gaussian processes to identify the equilibrium in such games. Our approach not only ensures a theoretical convergence rate but also demonstrates effectiveness across a variety collection of games through experimental validation.


title: Measurement-based quantum machine learning

abstract: A quantum neural network (QNN) is an object that extends the notion of a classical neural network to quantum models for quantum data. We can create a QNN by parametrizing a quantum process and then using it to model unknown relations between quantum states. In this paper, we explore how to use measurement-based quantum computation for quantum machine learning problems and propose a universal QNN in this framework which we call the multiple-triangle ansatz (MuTA). Using the proposed QNN, we solve several tasks, including learning a universal set of gates, optimizing measurement with post-processing, learning a quantum instrument, and the classification of classical data. Finally, we discuss how to train an ansatz under the hardware constraints imposed by photonic Gottesman-Kitaev-Preskill qubits. Our work demonstrates the feasibility of using measurement-based quantum computation as a framework for quantum machine learning algorithms.


title: Strain-induced long-range charge-density wave order in the optimally doped Bi$_2$Sr$_{2-x}$La$_x$CuO$_{6}$ superconductor

abstract: The mechanism of high-temperature superconductivity in copper oxides (cuprate) remains elusive, with the pseudogap phase considered a potential factor. Recent attention has focused on a long-range symmetry-broken charge-density wave (CDW) order in the underdoped regime, induced by strong magnetic fields. Here by $^{63,65}$Cu-nuclear magnetic resonance, we report the discovery of a long-range CDW order in the optimally doped Bi$_2$Sr$_{2-x}$La$_x$CuO$_6$ superconductor, induced by in-plane strain exceeding $|$$\varepsilon$$|$ = 0.15 %, which deliberately breaks the crystal symmetry of the CuO$_2$ plane. We find that compressive/tensile strains reduce superconductivity but enhance CDW, leaving superconductivity to coexist with CDW. The findings show that a long-range CDW order is an underlying hidden order in the pseudogap state, not limited to the underdoped regime, becoming apparent under strain. Our result sheds light on the intertwining of various orders in the cuprates.


title: Fine residual stress distribution measurement of steel materials by SOI pixel detector with synchrotron X-rays

abstract: Residual stress is an important factor governing evaluating and controlling the quality of metal materials in industrial products. X-ray measurements provide one of the most effective means of evaluating residual stress without destruction. In such measurements, the effects of residual stress on the crystal structure can be observed through the Debye ring deformation. In previous studies, we developed a residual stress measurement system based on the $cos \alpha$ method, using a two-dimensional (2D) silicon-on-insulator pixel (SOIPIX) detector known as INTPIX4. In a typical laboratory setup, this system requires only 1 second to measure a specified point. This is drastically faster than the conventional system based on the $sin^{2} \psi$ method, which requires more than 10 min, and the $cos \alpha$-based system using an imaging plate, which requires 1 min. Compared to other systems, it can evaluate the 2D distribution of residual stress faster and provide more detailed information for evaluating materials. We first attempted to measure the 2D distribution in a laboratory setup with a Cr X-ray tube (Cr K$\alpha$ 5.4 keV) and obtained satisfactory results. We subsequently took measurements using synchrotron monochromatic X-rays to determine the fine accuracy and fine sampling pitch distribution. In this paper, we report the results of the initial synchrotron experiment, including the residual stress distribution of the standard specimen obtained by the first prototype setup. Furthermore, we compare the synchrotron measurements with those from the laboratory.


title: StraightPCF: Straight Point Cloud Filtering

abstract: Point cloud filtering is a fundamental 3D vision task, which aims to remove noise while recovering the underlying clean surfaces. State-of-the-art methods remove noise by moving noisy points along stochastic trajectories to the clean surfaces. These methods often require regularization within the training objective and/or during post-processing, to ensure fidelity. In this paper, we introduce StraightPCF, a new deep learning based method for point cloud filtering. It works by moving noisy points along straight paths, thus reducing discretization errors while ensuring faster convergence to the clean surfaces. We model noisy patches as intermediate states between high noise patch variants and their clean counterparts, and design the VelocityModule to infer a constant flow velocity from the former to the latter. This constant flow leads to straight filtering trajectories. In addition, we introduce a DistanceModule that scales the straight trajectory using an estimated distance scalar to attain convergence near the clean surface. Our network is lightweight and only has $\sim530K$ parameters, being 17% of IterativePFN (a most recent point cloud filtering network). Extensive experiments on both synthetic and real-world data show our method achieves state-of-the-art results. Our method also demonstrates nice distributions of filtered points without the need for regularization. The implementation code can be found at: https://github.com/ddsediri/StraightPCF.


title: Field Dispersion and Strong Coupling of Nuclear-Electron Spin Excitation in MnCO$_3$

abstract: Hybridized nuclear and electron spin excitation in a MnCO$_3$ crystal, a weakly-anisotropic antiferromagnet, has been investigated. In this material, the hyperfine interaction is strong enough to form a nuclear spin wave. We measure the microwave absorption by a bulk MnCO$_3$ and observe the dispersion representing strong frequency repulsion between electron and nuclear modes due to their hybridization, the signature of nuclear spin wave. Additionally, we observe that the nuclear spin resonance enters a nonlinear regime above a certain excitation power, attributed to the excitation of finite wavenumber nuclear spin waves.


title: Sufficient conditions, lower bounds and trade-off relations for quantumness in Kirkwood-Dirac quasiprobability

abstract: Kirkwood-Dirac (KD) quasiprobability is a quantum analog of classical phase space probability. It offers an informationally complete representation of quantum state wherein the quantumness associated with quantum noncommutativity manifests in its nonclassical values, i.e., the nonreal and/or negative values of the real part. This naturally raises a question: how does such form of quantumness comply with the uncertainty principle which also arise from quantum noncommutativity? Here, first, we obtain sufficient conditions for the KD quasiprobability defined relative to a pair of PVM (projection-valued measure) bases to have nonclassical values. Using these nonclassical values, we then introduce two quantities which capture the amount of KD quantumness in a quantum state relative to a single PVM basis. They are defined respectively as the nonreality, and the classicality which captures both the nonreality and negativity, of the associated KD quasiprobability over the PVM basis of interest, and another PVM basis, and maximized over all possible choices of the latter. We obtain their lower bounds, and derive trade-off relations respectively reminiscent of the Robertson and Robertson-Schr\"odinger uncertainty relations but with lower bounds maximized over the convex sets of Hermitian operators whose complete sets of eigenprojectors are given by the PVM bases. We discuss their measurement using weak value measurement and classical optimization, and suggest information theoretical and operational interpretations in terms of optimal estimation of the PVM basis and state disturbance.


title: Centers of Universal Enveloping Algebras

abstract: The universal enveloping algebra $U(\mathfrak{g} )$ of a current (super)algebra or loop (super)algebra $\mathfrak{g} $ is considered over an algebraically closed field $\mathbb{K} $ with characteristic $p\ge 0$. This paper focuses on the structure of the center $Z(\mathfrak{g} )$ of $U(\mathfrak{g} )$. In the case of zero characteristic, $Z(\mathfrak{g} )$ is generated by the centers of $\mathfrak{g} $. In the case of prime characteristic, $Z(\mathfrak{g} )$ is generated by the centers of $\mathfrak{g} $ and the $p$-centers of $U(\mathfrak{g} )$. We also study the structure of $Z(\mathfrak{g} )$ in the semisimple Lie (super)algebra.


title: Periodic Activities of Fast Radio Burst Repeaters from Precessing Magnetars with Evolving Obliquity

abstract: Fast radio bursts (FRBs) are cosmological radio transients with millisecond durations and extremely high brightness temperatures. One FRB repeater, FRB 180916.J0158+65 (FRB 180916B), was confirmed to appear 16.35-day periodic activities with 5-day activity window. Another FRB repeater, FRB 121102, and two soft gamma-ray repeaters (SGRs), SGR 1935+2154 and SGR 1806-20, also show possible periodic activities. These periodicities might originate from the precession process of young magnetars due to the anisotropic pressure from the inner magnetic fields as proposed in the literature. In this work, we analyze a self-consistent model for the rotation evolution of magnetars and obtain the evolutions of magnetar precession and obliquity. We find that if the FRB repeaters and the SGRs with (possible) periodic activities originate from the magnetar precession, their ages would be constrained to be hundreds to tens of thousands of years, which is consistent with the typical ages of magnetars. Assuming that the FRB emission is beaming in the magnetosphere as proposed in the literature, we calculate the evolution of the observable probability and the duty cycle of the active window period. We find that for a given magnetar the observable probability increases with the magnetar age in the early stage and decreases with the magnetar age in the later stage, meanwhile, there are one or two active windows in one precession period if the emission is not perfectly axisymmetric with respect to the deformation axis of a magnetar, which could be tested by the future observation for repeating FRB sources.


title: Multiband Simultaneous Photometry of Type II SN 2023ixf with Mephisto and the Twin 50-cm Telescopes

abstract: SN 2023ixf, recently reported in the nearby galaxy M101 at a distance of $6.85~{\rm Mpc}$, was one of the closest and brightest core-collapse supernovae (CCSNe) in the last decade. In this work, we present multi-wavelength photometric observation of SN 2023ixf with the Multi-channel Photometric Survey Telescope (Mephisto) in $uvgr$ bands and with the twin 50-cm telescopes in $griz$ bands. We find that the bolometric luminosity reached the maximum value of $3\times10^{43}~{\rm erg~s^{-1}}$ at 3.9 days after the explosion and fully settled onto the radioactive tail at $\sim90$ days. The effective temperature decreased from $3.2\times10^4~{\rm K}$ at the first observation and approached to a constant of $\sim(3000-4000)~{\rm K}$ after the first two months. The evolution of the photospheric radius is consistent with a homologous expansion with a velocity of $8700~{\rm km~s^{-1}}$ in the first two months, and it shrunk subsequently. Based on the radioactive tail, the initial nickel mass is about $M_{\rm Ni}\sim 0.098M_\odot$. The explosion energy and the ejecta mass are estimated to be $E\simeq(1.0-5.7)\times10^{51}~{\rm erg}$ and $M_{\rm ej}\simeq(3.8-16)M_\odot$, respectively. The peak bolometric luminosity is proposed to be contributed by the interaction between the ejecta and the circumstellar medium (CSM). We find a shocked CSM mass of $M_{\rm CSM}\sim0.013M_\odot$, a CSM density of $\rho_{\rm CSM}\sim2.5\times10^{-13}~{\rm g~cm^{-3}}$ and a mass loss rate of the progenitor of $\dot M\sim0.022M_\odot~{\rm yr^{-1}}$.


title: Towards Multi-Task Generative-AI Edge Services with an Attention-based Diffusion DRL Approach

abstract: As an emerging paradigm of content creation, AI-Generated Content (AIGC) has been widely adopted by a large number of edge end users. However, the requests for generated content from AIGC users have obvious diversity, and there remains a notable lack of research addressing the variance in user demands for AIGC services. This gap underscores a critical need for suitable AIGC service selection mechanisms satisfying various AIGC user requirements under resource-constrained edge environments. To address this challenge, this paper proposes a novel Attention-based Diffusion Soft Actor-Critic (ADSAC) algorithm to select the appropriate AIGC model in response to heterogeneous AIGC user requests. Specifically, the ADSAC algorithm integrates a diffusion model as the policy network in the off-policy reinforcement learning (RL) framework, to capture the intricate relationships between the characteristics of AIGC tasks and the integrated edge network states. Furthermore, an attention mechanism is utilized to harness the contextual long-range dependencies present in state feature vectors, enhancing the decision-making process. Extensive experiments validate the effectiveness of our algorithm in enhancing the overall user utility and reducing the crash rate of servers. Compared to the existing methods, the proposed ADSAC algorithm outperforms existing methods, reducing the overall user utility loss and the server crash rate by at least 58.3% and 58.4%, respectively. These results demonstrate our ADSAC algorithm is a robust solution to the challenges of diverse and dynamic user requirements in edge-based AIGC application environments.


title: Cross-Dataset Generalization For Retinal Lesions Segmentation

abstract: Identifying lesions in fundus images is an important milestone toward an automated and interpretable diagnosis of retinal diseases. To support research in this direction, multiple datasets have been released, proposing groundtruth maps for different lesions. However, important discrepancies exist between the annotations and raise the question of generalization across datasets. This study characterizes several known datasets and compares different techniques that have been proposed to enhance the generalisation performance of a model, such as stochastic weight averaging, model soups and ensembles. Our results provide insights into how to combine coarsely labelled data with a finely-grained dataset in order to improve the lesions segmentation.


title: X-ray imaging camera using INTPIX4NA SOIPIX detector with SiTCP-XG 10GbE based high-speed readout system

abstract: The silicon-on-insulator pixel (SOIPIX) detector is a unique monolithic-structure imaging device currently being developed by the SOIPIX group led by the High Energy Accelerator Research Organization (KEK). The detector team at KEK Photon Factory (PF) is also developing an X-ray camera using INTPIX4NA with a 14.1 $\times$ 8.7 $\mathsf{mm^2}$ sensitive area and 425,984 (832 column $\times$ 512 row matrix) pixels, with a pixel size of 17 $\times$ 17 $\mathsf{\mu m^2}$. The detector has high resolution and sensitivity for low-intensity X-rays, making it suitable for imaging in optical systems with lower X-ray intensities, such as an X-ray zooming microscope using two Fresnel zone plates (FZPs), which is also under development at PF. To enable imaging under such conditions, we developed a detector cooling system using a Peltier element to support longer exposure time (~0.5 seconds per frame). Additionally, we developed a new readout system using DAQ boards developed by PF, equipped with SiTCP-XG (network controller implemented on field-programmable gate array) that supports 10 Gbps Ethernet for high-frame-rate imaging at several hundred hertz. The new X-ray camera was tested at the PF BL-14A, BL-14B, and AR-NE1A experimental stations, and the resolution and sensitivity characteristics were confirmed. Given these confirmed characteristics, this X-ray camera is suitable for X-ray imaging using 5--20 keV X-rays under low-intensity, low-contrast conditions. These conditions are ideal for capturing soft tissues with poor contrast, objects with fine structures, and specimens vulnerable to radiation damage.


title: Are Generics and Negativity about Social Groups Common on Social Media? A Comparative Analysis of Twitter (X) Data

abstract: Generics (unquantified generalizations) are thought to be pervasive in communication and when they are about social groups, this may offend and polarize people because generics gloss over variations between individuals. Generics about social groups might be particularly common on Twitter (X). This remains unexplored, however. Using machine learning (ML) techniques, we therefore developed an automatic classifier for social generics, applied it to more than a million tweets about people, and analyzed the tweets. We found that most tweets (78%) about people contained no generics. However, tweets with social generics received more 'likes' and retweets. Furthermore, while recent psychological research may lead to the prediction that tweets with generics about political groups are more common than tweets with generics about ethnic groups, we found the opposite. However, consistent with recent claims that political animosity is less constrained by social norms than animosity against gender and ethnic groups, negative tweets with generics about political groups were significantly more prevalent and retweeted than negative tweets about ethnic groups. Our study provides the first ML-based insights into the use and impact of social generics on Twitter.


title: Parameter estimation and long-range dependence of the fractional binomial process

abstract: In 1990, Jakeman (see \cite{jakeman1990statistics}) defined the binomial process as a special case of the classical birth-death process, where the probability of birth is proportional to the difference between a fixed number and the number of individuals present. Later, a fractional generalization of the binomial process was studied by Cahoy and Polito (2012) (see \cite{cahoy2012fractional}) and called it as fractional binomial process (FBP). In this paper, we study second-order properties of the FBP and the long-range behavior of the FBP and its noise process. We also estimate the parameters of the FBP using the method of moments procedure. Finally, we present the simulated sample paths and its algorithm for the FBP.


title: Polyakov-loop phase, Roberge-Weiss periodicity and thermodynamics

abstract: We discuss the role of Roberge-Weiss periodicity in the thermodynamics of quantum chromodynamics at moderately high temperature, where the semi-quark-gluon plasma is expected. From the construction of the grand canonical partition function at zero and also at finite density via the canonical approach, we can discuss the relation between contributions of the Polyakov-loop phase and Roberge-Weiss periodicity. Then, we can conclude that the existence of Roberge-Weiss periodicity is a necessary condition to reproduce exact results at moderately high temperature.


title: Could Chemical LLMs benefit from Message Passing

abstract: Pretrained language models (LMs) showcase significant capabilities in processing molecular text, while concurrently, message passing neural networks (MPNNs) demonstrate resilience and versatility in the domain of molecular science. Despite these advancements, we find there are limited studies investigating the bidirectional interactions between molecular structures and their corresponding textual representations. Therefore, in this paper, we propose two strategies to evaluate whether an information integration can enhance the performance: contrast learning, which involves utilizing an MPNN to supervise the training of the LM, and fusion, which exploits information from both models. Our empirical analysis reveals that the integration approaches exhibit superior performance compared to baselines when applied to smaller molecular graphs, while these integration approaches do not yield performance enhancements on large scale graphs.


title: A Comparative Study of Shadows of Magnetized and Non-Magnetized Singularities

abstract: The recent observations of the galactic center of the M87 galaxy have made the field of observing black holes and calculating its shadow much more intriguing. Approaching the question of calculating shadows, many approximations are made in order to simplify the equations which makes the considered case less realistic. Understanding the shadow of different singularities under the influence of magnetic field is of more importance astrophysically as the accreting matter around the singularity would generate electromagnetic fields as it would be in plasma state due to the high tidal effects. Here, we use Ernst technique to immerse spacetimes in uniform, sourceless and asymptotic magnetic field. Later, we compare the effective potential of null geodesics in magnetized and non-magnetized cases. This study would be helpful in understanding the M87 shadow and the forthcoming image of shadow of SagA*.


title: Impact of Surface Adsorbates and Dimensionality on Templating of Halide Perovskites

abstract: Two-dimensional (2D) halide perovskites (HPs) are promising materials for various optoelectronic applications, yet a comprehensive understanding of their dynamics is still elusive. Here, we offer insight into the dynamics of prototypical 2D HPs based on MAPbI$_3$ as a function of linker molecule and the number of perovskite layers using atomic scale simulations. We show that the layers closest to the linker undergo transitions that are distinct from those of the interior layers. These transitions can take place anywhere between a few tens of Kelvin below to more than 100 K above the cubic-tetragonal transition of bulk MAPbI$_3$. In combination with the thickness of the perovskite layer this enables one to template phase transitions and tune the dynamics over a wide temperature range. Our results thereby reveal the details of an important and generalizable design mechanism for tuning the properties of these materials.


title: Perivascular space Identification Nnunet for Generalised Usage (PINGU)

abstract: Perivascular spaces(PVSs) form a central component of the brain\'s waste clearance system, the glymphatic system. These structures are visible on MRI images, and their morphology is associated with aging and neurological disease. Manual quantification of PVS is time consuming and subjective. Numerous deep learning methods for PVS segmentation have been developed, however the majority have been developed and evaluated on homogenous datasets and high resolution scans, perhaps limiting their applicability for the wide range of image qualities acquired in clinic and research. In this work we train a nnUNet, a top-performing biomedical image segmentation algorithm, on a heterogenous training sample of manually segmented MRI images of a range of different qualities and resolutions from 6 different datasets. These are compared to publicly available deep learning methods for 3D segmentation of PVS. The resulting model, PINGU (Perivascular space Identification Nnunet for Generalised Usage), achieved voxel and cluster level dice scores of 0.50(SD=0.15), 0.63(0.17) in the white matter(WM), and 0.54(0.11), 0.66(0.17) in the basal ganglia(BG). Performance on data from unseen sites was substantially lower for both PINGU(0.20-0.38(WM, voxel), 0.29-0.58(WM, cluster), 0.22-0.36(BG, voxel), 0.46-0.60(BG, cluster)) and the publicly available algorithms(0.18-0.30(WM, voxel), 0.29-0.38(WM cluster), 0.10-0.20(BG, voxel), 0.15-0.37(BG, cluster)), but PINGU strongly outperformed the publicly available algorithms, particularly in the BG. Finally, training PINGU on manual segmentations from a single site with homogenous scan properties gave marginally lower performances on internal cross-validation, but in some cases gave higher performance on external validation. PINGU stands out as broad-use PVS segmentation tool, with particular strength in the BG, an area of PVS related to vascular disease and pathology.


title: Homogeneous CR-manifold in $\mathbb{C}^4$

abstract: In this paper we study holomorphically homogeneous model submanifolds CR-type (1, 3) complex space $\mathbb C^4$. One finds moduli space of five-dimensional model surfaces Bloom-Graham type ((2, 1), (3, 1), (4, 1)). It is shown that there exists unique model surface of this type with property of holomorphical homogeneous, which is equivalent to tube surface $\mathcal C$ with affin homogeneous base. One describes and classifies with respect to model surfaces the orbits relative to the group of holomorhical automorphisms of $\mathcal C$


title: Automatic adjustment of undulator optics for FELs

abstract: In this paper, we describe a way to automatically adjust the quadrupole focusing along the undulator to avoid the instabilities, taking into account energy change and undulator focusing. The procedure is more generalized and applicable to any strongly focusing (planar) undulator.


title: Achieving Resolution-Agnostic DNN-based Image Watermarking:A Novel Perspective of Implicit Neural Representation

abstract: DNN-based watermarking methods are rapidly developing and delivering impressive performances. Recent advances achieve resolution-agnostic image watermarking by reducing the variant resolution watermarking problem to a fixed resolution watermarking problem. However, such a reduction process can potentially introduce artifacts and low robustness. To address this issue, we propose the first, to the best of our knowledge, Resolution-Agnostic Image WaterMarking (RAIMark) framework by watermarking the implicit neural representation (INR) of image. Unlike previous methods, our method does not rely on the previous reduction process by directly watermarking the continuous signal instead of image pixels, thus achieving resolution-agnostic watermarking. Precisely, given an arbitrary-resolution image, we fit an INR for the target image. As a continuous signal, such an INR can be sampled to obtain images with variant resolutions. Then, we quickly fine-tune the fitted INR to get a watermarked INR conditioned on a binary secret message. A pre-trained watermark decoder extracts the hidden message from any sampled images with arbitrary resolutions. By directly watermarking INR, we achieve resolution-agnostic watermarking with increased robustness. Extensive experiments show that our method outperforms previous methods with significant improvements: averagely improved bit accuracy by 7%$\sim$29%. Notably, we observe that previous methods are vulnerable to at least one watermarking attack (e.g. JPEG, crop, resize), while ours are robust against all watermarking attacks.


title: On approximation to a real number by algebraic numbers of bounded degree

abstract: In his seminal 1961 paper, Wirsing studied how well a given transcendental real number $\xi$ can be approximated by algebraic numbers $\alpha$ of degree at most $n$ for a given positive integer $n$, in terms of the so-called naive height $H(\alpha)$ of $\alpha$. He showed that the infimum $\omega^*_n(\xi)$ of all $\omega$ for which infinitely many such $\alpha$ have $|\xi-\alpha| \le H(\alpha)^{-\omega-1}$ is at least $(n+1)/2$. He also asked if we could even have $\omega^*_n(\xi) \ge n$ as it is generally expected. Since then, all improvements on Wirsing's lower bound were of the form $n/2+\mathcal{O}(1)$ until Badziahin and Schleischitz showed in 2021 that $\omega^*_n(\xi) \ge an$ for each $n\ge 4$, with $a=1/\sqrt{3}\simeq 0.577$. In this paper, we use a different approach partly inspired by parametric geometry of numbers and show that $\omega^*_n(\xi) \ge an$ for each $n\ge 2$, with $a=1/(2-\log 2)\simeq 0.765$.


title: Abnormal Respiratory Sound Identification Using Audio-Spectrogram Vision Transformer

abstract: Respiratory disease, the third leading cause of deaths globally, is considered a high-priority ailment requiring significant research on identification and treatment. Stethoscope-recorded lung sounds and artificial intelligence-powered devices have been used to identify lung disorders and aid specialists in making accurate diagnoses. In this study, audio-spectrogram vision transformer (AS-ViT), a new approach for identifying abnormal respiration sounds, was developed. The sounds of the lungs are converted into visual representations called spectrograms using a technique called short-time Fourier transform (STFT). These images are then analyzed using a model called vision transformer to identify different types of respiratory sounds. The classification was carried out using the ICBHI 2017 database, which includes various types of lung sounds with different frequencies, noise levels, and backgrounds. The proposed AS-ViT method was evaluated using three metrics and achieved 79.1% and 59.8% for 60:40 split ratio and 86.4% and 69.3% for 80:20 split ratio in terms of unweighted average recall and overall scores respectively for respiratory sound detection, surpassing previous state-of-the-art results.


title: Accuracy Evaluation of a Lightweight Analytic Vehicle Dynamics Model for Maneuver Planning

abstract: Models for vehicle dynamics play an important role in maneuver planning for automated driving. They are used to derive trajectories from given control inputs, or to evaluate a given trajectory in terms of constraint violation or optimality criteria such as safety, comfort or ecology. Depending on the computation process, models with different assumptions and levels of detail are used; since maneuver planning usually has strong requirements for computation speed at a potentially high number of trajectory evaluations per planning cycle, most of the applied models aim to reduce complexity by implicitly or explicitly introducing simplifying assumptions. While evaluations show that these assumptions may be sufficiently valid under typical conditions, their effect has yet to be studied conclusively. We propose a model for vehicle dynamics that is convenient for maneuver planning by supporting both an analytic approach of extracting parameters from a given trajectory, and a generative approach of establishing a trajectory from given control inputs. Both applications of the model are evaluated in real-world test drives under dynamic conditions, both on a closed-off test track and on public roads, and effects arising from the simplifying assumptions are analyzed.


title: No Time to Waste: Squeeze Time into Channel for Mobile Video Understanding

abstract: Current architectures for video understanding mainly build upon 3D convolutional blocks or 2D convolutions with additional operations for temporal modeling. However, these methods all regard the temporal axis as a separate dimension of the video sequence, which requires large computation and memory budgets and thus limits their usage on mobile devices. In this paper, we propose to squeeze the time axis of a video sequence into the channel dimension and present a lightweight video recognition network, term as \textit{SqueezeTime}, for mobile video understanding. To enhance the temporal modeling capability of the proposed network, we design a Channel-Time Learning (CTL) Block to capture temporal dynamics of the sequence. This module has two complementary branches, in which one branch is for temporal importance learning and another branch with temporal position restoring capability is to enhance inter-temporal object modeling ability. The proposed SqueezeTime is much lightweight and fast with high accuracies for mobile video understanding. Extensive experiments on various video recognition and action detection benchmarks, i.e., Kinetics400, Kinetics600, HMDB51, AVA2.1 and THUMOS14, demonstrate the superiority of our model. For example, our SqueezeTime achieves $+1.2\%$ accuracy and $+80\%$ GPU throughput gain on Kinetics400 than prior methods. Codes are publicly available at https://github.com/xinghaochen/SqueezeTime and https://github.com/mindspore-lab/models/tree/master/research/huawei-noah/SqueezeTime.


title: Multi-Robot Rendezvous in Unknown Environment with Limited Communication

abstract: Rendezvous aims at gathering all robots at a specific location, which is an important collaborative behavior for multirobot systems. However, in an unknown environment, it is challenging to achieve rendezvous. Previous researches mainly focus on special scenarios where communication is not allowed and each robot executes a random searching strategy, which is highly time-consuming, especially in large-scale environments. In this work, we focus on rendezvous in unknown environments where communication is available. We divide this task into two steps: rendezvous based environment exploration with relative pose (RP) estimation and rendezvous point election. A new strategy called partitioned and incomplete exploration for rendezvous (PIER) is proposed to efficiently explore the unknown environment, where lightweight topological maps are constructed and shared among robots for RP estimation with very few communications. Then, a rendezvous point selection algorithm based on the merged topological map is proposed for efficient rendezvous for multi-robot systems. The effectiveness of the proposed methods is validated in both simulations and real-world experiments.


title: An infinite dimensional balanced embedding problem III: Asymptotics near infinity

abstract: We continue our study on the logarithmic balanced model metric initiated in our previous work. By a non-trivial refinement of the set of tools developed in our previous work, we are able to confirm partially a conjecture we made in our previous work on the asymptotic behavior of the balanced metric near infinity.


title: Tree walks and the spectrum of random graphs

abstract: It is a classic result in spectral theory that the limit distribution of the spectral measure of random graphs G(n, p) converges to the semicircle law in case np tends to infinity with n. The spectral measure for random graphs G(n, c/n) however is less understood. In this work, we combine and extend two combinatorial approaches by Bauer and Golinelli (2001) and Enriquez and Menard (2016) and approximate the moments of the spectral measure by counting walks that span trees.


title: Foundational Verification of Smart Contracts through Verified Compilation

abstract: Programs executed on a blockchain - smart contracts - have high financial stakes; their correctness is crucial. We argue, that this correctness needs to be foundational: correctness needs to be based on the operational semantics of their execution environment. In this work we present a foundational system - the DeepSEA system - targeting the Ethereum blockchain as the largest smart contract platform. The DeepSEA system has a small but sufficiently rich programming language amenable for verification, the DeepSEA language, and a verified DeepSEA compiler. Together they enable true end-to-end verification for smart contracts. We demonstrate usability through two case studies: a realistic contract for Decentralized Finance and contract for crowdfunding.


title: Model-Free Unsupervised Anomaly detection framework in multivariate time-series of industrial dynamical systems

abstract: In this paper, a new model-free anomaly detection framework is proposed for time-series induced by industrial dynamical systems. The framework lies in the category of conventional approaches which enable appealing features such as, a fast learning with reduced amount of learning data, a reduced memory, a high potential for explainability as well as easiness of incremental learning mechanism to incorporate operator feedback after an alarm is raised an analyzed. All these are crucial features towards acceptance of data-driven solution by industry but they are rarely considered in the comparisons between competing methods which generally exclusively focus on performance metrics. Moreover, the features engineering step involved in the proposed framework is inspired by the time-series being implicitly governed by physical laws as it is generally the case in industrial time-series. Two examples are given to assess the efficiency of the proposed approach.


title: Laser-driven shock compression and equation of state of Fe$_2$O$_3$ up to 700 GPa

abstract: We report here the first equation of state measurements of Fe$_2$O$_3$ obtained with laser-driven shock compression. The data are in excellent agreement with previous dynamic and static compression measurements at low pressure, and extend the known Hugoniot up to 700 GPa. We observe a large volume drop of $\sim$10% at 86 GPa, which could be associated, according to static compression observations, with the iron spin transition. Our measurements also suggest a change of the Hugoniot curve between 150 and 250 GPa. Above 250 GPa and within our error bars, we do not observe significant modifications up to the maximum pressure of 700 GPa reached in our experiment.


title: KG-EmpiRE: A Community-Maintainable Knowledge Graph for a Sustainable Literature Review on the State and Evolution of Empirical Research in Requirements Engineering

abstract: In the last two decades, several researchers provided snapshots of the "current" state and evolution of empirical research in requirements engineering (RE) through literature reviews. However, these literature reviews were not sustainable, as none built on or updated previous works due to the unavailability of the extracted and analyzed data. KG-EmpiRE is a Knowledge Graph (KG) of empirical research in RE based on scientific data extracted from currently 680 papers published in the IEEE International Requirements Engineering Conference (1994-2022). KG-EmpiRE is maintained in the Open Research Knowledge Graph (ORKG), making all data openly and long-term available according to the FAIR data principles. Our long-term goal is to constantly maintain KG-EmpiRE with the research community to synthesize a comprehensive, up-to-date, and long-term available overview of the state and evolution of empirical research in RE. Besides KG-EmpiRE, we provide its analysis with all supplementary materials in a repository. This repository contains all files with instructions for replicating and (re-)using the analysis locally or via executable environments and for repeating the research approach. Since its first release based on 199 papers (2014-2022), KG-EmpiRE and its analysis have been updated twice, currently covering over 650 papers. KG-EmpiRE and its analysis demonstrate how innovative infrastructures, such as the ORKG, can be leveraged to make data from literature reviews FAIR, openly available, and maintainable for the research community in the long term. In this way, we can enable replicable, (re-)usable, and thus sustainable literature reviews to ensure the quality, reliability, and timeliness of their research results.


title: Sibson's $\alpha$-Mutual Information and its Variational Representations

abstract: Information measures can be constructed from R\'enyi divergences much like mutual information from Kullback-Leibler divergence. One such information measure is known as Sibson's $\alpha$-mutual information and has received renewed attention recently in several contexts: concentration of measure under dependence, statistical learning, hypothesis testing, and estimation theory. In this paper, we survey and extend the state of the art. In particular, we introduce variational representations for Sibson's $\alpha$-mutual information and employ them in each of the contexts just described to derive novel results. Namely, we produce generalized Transportation-Cost inequalities and Fano-type inequalities. We also present an overview of known applications, spanning from learning theory and Bayesian risk to universal prediction.


title: Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric

abstract: Abstractions of dynamical systems enable their verification and the design of feedback controllers using simpler, usually discrete, models. In this paper, we propose a data-driven abstraction mechanism based on a novel metric between Markov models. Our approach is based purely on observing output labels of the underlying dynamics, thus opening the road for a fully data-driven approach to construct abstractions. Another feature of the proposed approach is the use of memory to better represent the dynamics in a given region of the state space. We show through numerical examples the usefulness of the proposed methodology.


title: Fuzzy Dark Matter Less-complex Wormhole Structures in Extended Theories of Gravity

abstract: Fuzzy dark matter wormhole solutions coupled with anisotropic matter distribution are explored in 4D Einstein-Gauss-Bonnet and $f(R)$ gravity, where $R$ is the Ricci scalar. We derive the shape function for fuzzy wormholes and explore their possible stability. We study the embedding diagrams of the active gravitational mass associated with fuzzy dark matter wormholes by taking a certain shape function. Aiming to highlight the role of Einstein-Gauss-Bonnet and $f(R)$ gravity in the modeling of less complex fuzzy wormhole structures, we evaluate the complexity factor, the conservation equation, and null energy conditions. Our study reinforces more importance of uniformly distributed pressure effects throughout the less complex region than to the emergence of energy density homogeneity in the stability of fuzzy wormholes. It is shown that the active gravitational mass of the fuzzy wormhole structures varies inversely with the radial distance thereby suggesting the breaching of energy conditions at some arena of Einasto index. Furthermore, it is revealed that stable fuzzy dark matter wormhole structures exist in nature in the surroundings of cold dark matter halos and galactic bulges. The important physics understood from our analysis is that in both four-dimensional Einstein-Gauss-Bonnet and $f(R)$ gravity, feasible geometries of fuzzy dark matter wormholes exist naturally in the environments of different galactic haloes.


title: Seal-Tools: Self-Instruct Tool Learning Dataset for Agent Tuning and Detailed Benchmark

abstract: This paper presents a new tool learning dataset Seal-Tools, which contains self-instruct API-like tools. Seal-Tools not only offers a large number of tools, but also includes instances which demonstrate the practical application of tools. Seeking to generate data on a large scale while ensuring reliability, we propose a self-instruct method to generate tools and instances, allowing precise control over the process. Moreover, our Seal-Tools contains hard instances that call multiple tools to complete the job, among which some are nested tool callings. For precise and comprehensive evaluation, we use strict format control and design three metrics from different dimensions. Therefore, Seal-Tools can serve as a new benchmark to evaluate the tool-calling ability of LLMs. Finally, we evaluate several prevalent LLMs and our finetuned model on Seal-Tools. The results show that current systems are far from perfect. The code, data and experiment results are available at https://github.com/fairyshine/Seal-Tools .


title: A Model-oriented Reasoning Framework for Privacy Analysis of Complex Systems

abstract: This paper proposes a reasoning framework for privacy properties of systems and their environments that can capture any knowledge leaks on different logical levels of the system to answer the question: which entity can learn what? With the term knowledge we refer to any kind of data, meta-data or interpretation of those that might be relevant. To achieve this, we present a modeling framework that forces the developers to explicitly describe which knowledge is available at which entity, which knowledge flows between entities and which knowledge can be inferred from other knowledge. In addition, privacy requirements are specified as rules describing forbidden knowledge for entities. Our modeling approach is incremental, starting from an abstract view of the system and adding details through well-defined transformations. This work is intended to complement existing approaches and introduces steps towards more formal foundations for privacy oriented analyses while keeping them as accessible as possible. It is designed to be extensible through schemata and vocabulary to enable compatibility with external requirements and standards.


title: A new ferromagnetic semiconductor system of Eu$_{1-x}$Sr$_x$AgP $(x = 0.0-0.6)$ compounds: Crystallographic, magnetic, and magneto-resistive properties

abstract: Adjusting chemical pressure through doping is a highly effective method for customizing the chemical and physical properties of materials, along with their respective phase diagrams, thereby uncovering novel quantum phenomena. Here, we successfully synthesized Sr-doped Eu$_{1-x}$Sr$_x$AgP $(x = 0.0-0.6)$ and conducted a comprehensive investigation involving crystallography, magnetization, heat capacity, and magnetoresistance. Utilizing X-ray diffraction and PPMS DynaCool measurements, we studied Eu$_{1-x}$Sr$_x$AgP in detail. The hexagonal structure of parent EuAgP at room temperature, with the $P6_3/mmc$ space group, remains unaltered, while the lattice constants expand. The magnetic phase transition from paramagnetism to ferromagnetism, as temperature decreases, is suppressed through the gradual introduction of strontium doping. Heat capacity measurements reveal a shift from magnon-dominated to predominantly phonon and electron contributions near the ferromagnetic phase with increasing doping levels. The resistivity-temperature relationship displays distinct characteristics, emphasizing the impact of Sr doping on modifying charge transport. Magnetoresistance measurements uncover novel phenomena, illustrating the adjustability of magnetoresistance through Sr doping. Notably, Sr doping results in both positive magnetoresistance (up to 20\%) and negative magnetoresistance (approximately -60\%). The resistivity and magnetic phase diagram were established for the first time, revealing the pronounced feasibility of Sr doping in modulating EuAgP's resistivity. This study has provided valuable insights into the intricate interplay between structural modifications and diverse physical properties. The potential for technological advancements and the exploration of novel quantum states make Sr-doped Eu$_{1-x}$Sr$_x$AgP a compelling subject for continued research in the field of applied physics.


abstract: We provide a characterization of Carleson measures on locally finite trees. This characterization establishes the connection between Carleson measures and the boundedness of a suitable Poisson integral between $L^p$-spaces. Additionally, when the tree has bounded degree, we investigate the relationship between Carleson measures and BMO functions defined on the boundary of the tree.


title: GPS-IDS: An Anomaly-based GPS Spoofing Attack Detection Framework for Autonomous Vehicles

abstract: Autonomous Vehicles (AVs) heavily rely on sensors and communication networks like Global Positioning System (GPS) to navigate autonomously. Prior research has indicated that networks like GPS are vulnerable to cyber-attacks such as spoofing and jamming, thus posing serious risks like navigation errors and system failures. These threats are expected to intensify with the widespread deployment of AVs, making it crucial to detect and mitigate such attacks. This paper proposes GPS Intrusion Detection System, or GPS-IDS, an Anomaly Behavior Analysis (ABA)-based intrusion detection framework to detect GPS spoofing attacks on AVs. The framework uses a novel physics-based vehicle behavior model where a GPS navigation model is integrated into the conventional dynamic bicycle model for accurate AV behavior representation. Temporal features derived from this behavior model are analyzed using machine learning to detect normal and abnormal navigation behavior. The performance of the GPS-IDS framework is evaluated on the AV-GPS-Dataset - a real-world dataset collected by the team using an AV testbed. The dataset has been publicly released for the global research community. To the best of our knowledge, this dataset is the first of its kind and will serve as a useful resource to address such security challenges.


title: A Local discontinuous Galerkin method for the Benajamin-Ono equation

abstract: The main purpose of this paper is to design a local discontinuous Galerkin (LDG) method for the Benjamin-Ono equation. We analyze the stability and error estimates for the semi-discrete LDG scheme. We prove that the scheme is $L^2$-stable and it converges at a rate $\mathcal{O}(h^{k+1/2})$ for general nonlinear flux. Furthermore, we develop a fully discrete LDG scheme using the four-stage fourth order Runge-Kutta method and ensure the devised scheme is strongly stable in case of linear flux using two-step and three-step stability approach under an appropriate time step constraint. Numerical examples are provided to validate the efficiency and accuracy of the method.


title: A Representability Theorem for Stacks in Derived Geometry Contexts

abstract: The representability theorem for stacks, due to Artin in the underived setting and Lurie in the derived setting, gives conditions under which a stack is representable by an $n$-geometric stack. In recent work of Ben-Bassat, Kelly, and Kremnizer, a new theory of derived analytic geometry has been proposed as geometry relative to the $(\infty,1)$-category of simplicial commutative Ind-Banach $R$-modules, for $R$ a Banach ring. In this paper, we prove a representability theorem which holds in a very general context, which we call a representability context, encompassing both the derived algebraic geometry context of To\"en and Vezzosi and these new derived analytic geometry contexts. The representability theorem gives natural and easily verifiable conditions for checking that derived stacks in these contexts are $n$-geometric, such as having an $n$-geometric truncation, being nilcomplete, and having an obstruction theory. Future work will explore representability of certain moduli stacks arising in derived analytic geometry, for example moduli stacks of Galois representations.


title: Multiband strain balanced superlattice material system for third generation infrared detectors

abstract: Recent increasing interest in strain balanced Type-II superlattices material causing close attention from industry. Tremendous investment was drawn toward establishing strain balanced superlattice (SLS) as new alternative for infrared photodetectors across the broad range of infrared spectrum. In recent years, SLS material system has shown capability in particular specifications to compete with mature and standard mercury cadmium telluride for mid-wavelength and long-wavelength infrared detection. It has been great interest in SLS material system for applications aligned with the standard of third generation of infrared detectors. In that level, photodetectors with multi-color detection capabilities based on SLS material system are highly desired. In this presentation, some recent progress in three color infrared photodetectors based on SLS material system will be presented.


title: UnMarker: A Universal Attack on Defensive Watermarking

abstract: Reports regarding the misuse of $\textit{Generative AI}$ ($\textit{GenAI}$) to create harmful deepfakes are emerging daily. Recently, defensive watermarking, which enables $\textit{GenAI}$ providers to hide fingerprints in their images to later use for deepfake detection, has been on the rise. Yet, its potential has not been fully explored. We present $\textit{UnMarker}$ -- the first practical $\textit{universal}$ attack on defensive watermarking. Unlike existing attacks, $\textit{UnMarker}$ requires no detector feedback, no unrealistic knowledge of the scheme or similar models, and no advanced denoising pipelines that may not be available. Instead, being the product of an in-depth analysis of the watermarking paradigm revealing that robust schemes must construct their watermarks in the spectral amplitudes, $\textit{UnMarker}$ employs two novel adversarial optimizations to disrupt the spectra of watermarked images, erasing the watermarks. Evaluations against the $\textit{SOTA}$ prove its effectiveness, not only defeating traditional schemes while retaining superior quality compared to existing attacks but also breaking $\textit{semantic}$ watermarks that alter the image's structure, reducing the best detection rate to $43\%$ and rendering them useless. To our knowledge, $\textit{UnMarker}$ is the first practical attack on $\textit{semantic}$ watermarks, which have been deemed the future of robust watermarking. $\textit{UnMarker}$ casts doubts on the very penitential of this countermeasure and exposes its paradoxical nature as designing schemes for robustness inevitably compromises other robustness aspects.


title: Is addition definable from multiplication and successor?

abstract: A map $f\colon R\to S$ between (associative, unital, but not necessarily commutative) rings is a \emph{brachymorphism} if $f(x+1)=f(x)+1$ and $f(xy)=f(x)f(y)$ whenever $x,y\in R$.We tackle the problem whether every brachymorphism is additive (i.e., $f(x+y)=f(x)+f(y)$), showing that in many contexts, including the following, the answer is positive: $\bullet$ $R$ is finite (or, more generally, $R$ is left or right Artinian); $\bullet$ $R$ is any ring of $2\times2$ matrices over a commutative ring; $\bullet$ $R$ is Engelian; $\bullet$ every element of $R$ is a sum of $\pi$-regular and central elements (this applies to $\pi$-regular rings, Banach algebras, and power series rings); $\bullet$ $R$ is the full matrix ring of order greater than 1 over any ring; $\bullet$ $R$ is the monoid ring $K[M]$ for a commutative ring $K$ and a $\pi$-regular monoid $M$; $\bullet$ $R$ is the Weyl algebra $A_1(K)$ over a commutative ring $K$ with positive characteristic; $\bullet$ $f$ is the power function $x\mapsto x^n$ over any ring; $\bullet$ $f$ is the determinant function over any ring $R$ of $n\times n$ matrices, with $n\geq3$, over a commutative ring, such that if $n>3$ then $R$ contains $n$ scalar matrices with invertible differences. We leave open the problem whether every brachymorphism is additive.