title: LLbezpeky: Leveraging Large Language Models for Vulnerability Detection

abstract: Despite the continued research and progress in building secure systems, Android applications continue to be ridden with vulnerabilities, necessitating effective detection methods. Current strategies involving static and dynamic analysis tools come with limitations like overwhelming number of false positives and limited scope of analysis which make either difficult to adopt. Over the past years, machine learning based approaches have been extensively explored for vulnerability detection, but its real-world applicability is constrained by data requirements and feature engineering challenges. Large Language Models (LLMs), with their vast parameters, have shown tremendous potential in understanding semnatics in human as well as programming languages. We dive into the efficacy of LLMs for detecting vulnerabilities in the context of Android security. We focus on building an AI-driven workflow to assist developers in identifying and rectifying vulnerabilities. Our experiments show that LLMs outperform our expectations in finding issues within applications correctly flagging insecure apps in 91.67% of cases in the Ghera benchmark. We use inferences from our experiments towards building a robust and actionable vulnerability detection system and demonstrate its effectiveness. Our experiments also shed light on how different various simple configurations can affect the True Positive (TP) and False Positive (FP) rates.


title: Optimal Rates of Kernel Ridge Regression under Source Condition in Large Dimensions

abstract: Motivated by the studies of neural networks (e.g.,the neural tangent kernel theory), we perform a study on the large-dimensional behavior of kernel ridge regression (KRR) where the sample size $n \asymp d^{\gamma}$ for some $\gamma > 0$. Given an RKHS $\mathcal{H}$ associated with an inner product kernel defined on the sphere $\mathbb{S}^{d}$, we suppose that the true function $f_{\rho}^{*} \in [\mathcal{H}]^{s}$, the interpolation space of $\mathcal{H}$ with source condition $s>0$. We first determined the exact order (both upper and lower bound) of the generalization error of kernel ridge regression for the optimally chosen regularization parameter $\lambda$. We then further showed that when $0<s\le1$, KRR is minimax optimal; and when $s>1$, KRR is not minimax optimal (a.k.a. he saturation effect). Our results illustrate that the curves of rate varying along $\gamma$ exhibit the periodic plateau behavior and the multiple descent behavior and show how the curves evolve with $s>0$. Interestingly, our work provides a unified viewpoint of several recent works on kernel regression in the large-dimensional setting, which correspond to $s=0$ and $s=1$ respectively.


title: On the Engulfment of Antifreeze Proteins by Ice

abstract: Antifreeze proteins (AFPs) are remarkable biomolecules that suppress ice formation at trace concentrations. To inhibit ice growth, AFPs must not only bind to ice crystals, but also resist engulfment by ice. The highest supercooling, $\Delta T^{*}$, for which AFPs are able to resist engulfment is widely believed to scale as the inverse of the separation, $L$, between bound AFPs, whereas its dependence on the molecular characteristics of the AFP remains poorly understood. By using specialized molecular simulations and interfacial thermodynamics, here we show that in contrast with conventional wisdom, $\Delta T^{*}$ scales as $L^{-2}$ and not as $L^{-1}$. We further show that $\Delta T^{*}$ is proportional to AFP size and that diverse naturally occurring AFPs are optimal at resisting engulfment by ice. By facilitating the development of AFP structure-function relationships, we hope that our findings will pave the way for the rational design of novel AFPs.


title: MOC-RVQ: Multilevel Codebook-assisted Digital Generative Semantic Communication

abstract: Vector quantization-based image semantic communication systems have successfully boosted transmission efficiency, but face a challenge with conflicting requirements between codebook design and digital constellation modulation. Traditional codebooks need a wide index range, while modulation favors few discrete states. To address this, we propose a multilevel generative semantic communication system with a two-stage training framework. In the first stage, we train a high-quality codebook, using a multi-head octonary codebook (MOC) to compress the index range. We also integrate a residual vector quantization (RVQ) mechanism for effective multilevel communication. In the second stage, a noise reduction block (NRB) based on Swin Transformer is introduced, coupled with the multilevel codebook from the first stage, serving as a high-quality semantic knowledge base (SKB) for generative feature restoration. Experimental results highlight MOC-RVQ's superior performance over methods like BPG or JPEG, even without channel error correction coding.


title: Learning-based agricultural management in partially observable environments subject to climate variability

abstract: Agricultural management, with a particular focus on fertilization strategies, holds a central role in shaping crop yield, economic profitability, and environmental sustainability. While conventional guidelines offer valuable insights, their efficacy diminishes when confronted with extreme weather conditions, such as heatwaves and droughts. In this study, we introduce an innovative framework that integrates Deep Reinforcement Learning (DRL) with Recurrent Neural Networks (RNNs). Leveraging the Gym-DSSAT simulator, we train an intelligent agent to master optimal nitrogen fertilization management. Through a series of simulation experiments conducted on corn crops in Iowa, we compare Partially Observable Markov Decision Process (POMDP) models with Markov Decision Process (MDP) models. Our research underscores the advantages of utilizing sequential observations in developing more efficient nitrogen input policies. Additionally, we explore the impact of climate variability, particularly during extreme weather events, on agricultural outcomes and management. Our findings demonstrate the adaptability of fertilization policies to varying climate conditions. Notably, a fixed policy exhibits resilience in the face of minor climate fluctuations, leading to commendable corn yields, cost-effectiveness, and environmental conservation. However, our study illuminates the need for agent retraining to acquire new optimal policies under extreme weather events. This research charts a promising course toward adaptable fertilization strategies that can seamlessly align with dynamic climate scenarios, ultimately contributing to the optimization of crop management practices.


title: On the Ramsey number of the double star

abstract: The double star $S(m_1,m_2)$ is obtained from joining the centres of a star with $m_1$ leaves and a star with $m_2$ leaves. We give a short proof of a new upper bound on the two-colour Ramsey number of $S(m_1,m_2)$, for positive $m_1,m_2$ fulfilling $(\sqrt 5+1)m_2/2 < m_1 < 3m_2$. Our result implies that for all positive $m$, the Ramsey number of the double star $S(2m,m)$ is at most $4.275m$.


title: CharacterEval: A Chinese Benchmark for Role-Playing Conversational Agent Evaluation

abstract: Recently, the advent of large language models (LLMs) has revolutionized generative agents. Among them, Role-Playing Conversational Agents (RPCAs) attract considerable attention due to their ability to emotionally engage users. However, the absence of a comprehensive benchmark impedes progress in this field. To bridge this gap, we introduce CharacterEval, a Chinese benchmark for comprehensive RPCA assessment, complemented by a tailored high-quality dataset. The dataset comprises 1,785 multi-turn role-playing dialogues, encompassing 23,020 examples and featuring 77 characters derived from Chinese novels and scripts. It was carefully constructed, beginning with initial dialogue extraction via GPT-4, followed by rigorous human-led quality control, and enhanced with in-depth character profiles sourced from Baidu Baike. CharacterEval employs a multifaceted evaluation approach, encompassing thirteen targeted metrics on four dimensions. Comprehensive experiments on CharacterEval demonstrate that Chinese LLMs exhibit more promising capabilities than GPT-4 in Chinese role-playing conversation. Source code, data source and reward model will be publicly accessible at https://github.com/morecry/CharacterEval.


title: Building Three-Dimensional Differentiable Manifolds Numerically II: Limitations

abstract: Methods were developed in Ref. [1] for constructing reference metrics (and from them differentiable structures) on three-dimensional manifolds with topologies specified by suitable triangulations. This note generalizes those methods by expanding the class of suitable triangulations, significantly increasing the number of manifolds to which these methods apply. These new results show that this expanded class of triangulations is still a small subset of all possible triangulations. This demonstrates that fundamental changes to these methods are needed to further expand the collection of manifolds on which differentiable structures can be constructed numerically.


title: Interaction dominated transport in 2D conductors: from degenerate to partially-degenerate regime

abstract: In this study, we investigate the conductivity of a two-dimensional (2D) system in HgTe quantum well comprising two types of carriers with linear and quadratic spectra, respectively. The interactions between the two-dimensional Dirac holes and the heavy holes lead to the breakdown of Galilean invariance, resulting in interaction-limited resistivity. Our exploration of the transport properties spans from low temperatures, where both subsystems are fully degenerate, to higher temperatures, where the Dirac holes remain degenerate while the heavy holes follow Boltzmann statistics, creating a partially degenerate regime. Through a developed theory, we successfully predict the behavior of resistivity as $\rho\sim T^2$ and $\rho\sim T^{3}$ for the fully degenerate and partially degenerate regimes, respectively, which is in reasonable agreement with experimental observations. Notably, at elevated temperatures, the interaction-limited resistivity surpasses the resistivity caused by impurity scattering by a factor of 5-6. These findings imply that the investigated system serves as a versatile experimental platform for exploring various interaction-limited transport regimes in two component plasma.


title: Discovery of a circularly symmetric extended diffuse radio emission around an elliptical galaxy with the VLA FIRST survey

abstract: We identify a source (J1507+3013) with an extended diffuse radio emission around an elliptical galaxy from the Very Large Array (VLA) Faint Images of Radio Sky at Twenty-cm (FIRST) survey. J1507+3013 possesses a morphology similar to the recently identified circular, low-surface-brightness, edge-brightened radio sources commonly known as odd radio circles (ORCs). Such diffuse emissions, as reported in this paper, are also found in mini-haloes and fossil radio galaxies, but the results presented here do not match the properties of mini-haloes or of fossil radio galaxies. The extended emission observed in J1507+3013 around an elliptical galaxy is a very rare class of diffuse emission that is unlike any previously known class of diffuse emission. The extended diffuse emission of J1507+3013 is also detected in the Low Frequency Array (LOFAR) at 144 MHz. J1507+3013 is hosted by an optical galaxy near the geometrical centre of the structure with a photometric redshift of $z=0.079$. The physical extent of J1507+3013 is approximately 68 kpc, with a peak-to-peak angular size of 44 arcsec. It shows a significantly higher flux density compared with previously discovered ORCs. The spectral index of J1507+3013 varies between -0.90 and -1.4 in different regions of the diffuse structure, which is comparable to the case for previously discovered ORCs but less steep than for mini-haloes and fossil radio galaxies. If we consider J1507+3013 as a candidate ORC, then this would be the closest and most luminous ORC discovered so far. This paper describes the radio, spectral, and optical/IR properties of J1507+3013 in order to study the nature of this source.


title: An Out-of-Equilibrium 1D Particle System Undergoing Perfectly Plastic Collisions

abstract: At time zero, there are $N$ identical point particles in the line (1D) which are characterized by their positions and velocities. Both values are given randomly and independently from each other, with arbitrary probability densities. Each particle evolves at constant velocity until eventually they meet. When this happens, a perfectly-plastic collision is produced, resulting in a new particle composed by the sum of their masses and the weighted average velocity. The merged particles evolve indistinguishably from the non-merged ones, i.e. they move at constant velocity until a new plastic collision eventually happens. As in any open system, the particles are not confined to any region or reservoir, so as time progresses, they go on to infinity. From this non-equilibrium process, the number of (now, non-identical) final particles, $\tilde{X}_N$, the distribution of masses of these final particles and the kinetic energy loss from all plastic collisions, is studied. The principal findings shown in this paper are outlined as follows: (1) A method has been developed to determine the number and mass of the final particles based solely on the initial conditions, eliminating the need to evolve the particle system. (2) A similar model of merging particles, with a universal number of final particles, $\tilde{Z}_N$, is introduced. (3) Strong evidence that $\tilde{X}_N$ is also universal and has the same law of probability as $\tilde{Z}_N$ is presented. (4) An accurate approximation of the energy loss is presented. (5) Results for $\tilde{X}_N$ for an explosive-like initial condition are analyzed.


title: GEqO: ML-Accelerated Semantic Equivalence Detection

abstract: Large scale analytics engines have become a core dependency for modern data-driven enterprises to derive business insights and drive actions. These engines support a large number of analytic jobs processing huge volumes of data on a daily basis, and workloads are often inundated with overlapping computations across multiple jobs. Reusing common computation is crucial for efficient cluster resource utilization and reducing job execution time. Detecting common computation is the first and key step for reducing this computational redundancy. However, detecting equivalence on large-scale analytics engines requires efficient and scalable solutions that are fully automated. In addition, to maximize computation reuse, equivalence needs to be detected at the semantic level instead of just the syntactic level (i.e., the ability to detect semantic equivalence of seemingly different-looking queries). Unfortunately, existing solutions fall short of satisfying these requirements. In this paper, we take a major step towards filling this gap by proposing GEqO, a portable and lightweight machine-learning-based framework for efficiently identifying semantically equivalent computations at scale. GEqO introduces two machine-learning-based filters that quickly prune out nonequivalent subexpressions and employs a semi-supervised learning feedback loop to iteratively improve its model with an intelligent sampling mechanism. Further, with its novel database-agnostic featurization method, GEqO can transfer the learning from one workload and database to another. Our extensive empirical evaluation shows that, on TPC-DS-like queries, GEqO yields significant performance gains-up to 200x faster than automated verifiers-and finds up to 2x more equivalences than optimizer and signature-based equivalence detection approaches.


title: Influence of scanning plane on Human Spinal Cord functional Magnetic Resonance echo planar imaging

abstract: BACKGROUND: Functional Magnetic Resonance Imaging (fMRI) is based on the Blood Oxygenation Level Dependent contrast and has been exploited for the indirect study of the neuronal activity within both the brain and the spinal cord. However, the interpretation of spinal cord fMRI (scfMRI) is still controversial and its diffusion is rather limited because of technical limitations. Overcoming these limitations would have a beneficial effect for the assessment and follow-up of spinal injuries and neurodegenerative diseases. PURPOSE: This study was aimed at systematically verify whether sagittal scanning in scfMRI using EPI readout is a viable alternative to the more common axial scanning, and at optimizing a pipeline for EPI-based scfMRI data analysis, based on Spinal Cord Toolbox (SCT). METHODS: Forty-five healthy subjects underwent MRI acquisition in a Philips Achieva 3T MRI scanner. T2*-weighted fMRI data were acquired using a GE-EPI sequence along sagittal and axial planes during an isometric motor task. Differences on benchmarks were assessed via paired two-sample t-test at p=0.05. RESULTS: We investigated the impact of the acquisition strategy by means of various metrics such as Temporal Signal to Noise Ratio (tSNR), Dice Coefficient to assess geometric distortions, Reproducibility and Sensitivity. tSNR was higher in axial than in sagittal scans, as well as reproducibility within the whole cord mask (t=7.4, p<0.01) and within the GM mask (t=4.2, p<0.01). The other benchmarks, associated with distortion and functional response, showed no difference between images obtained along the axial and sagittal planes. CONCLUSIONS: Quantitative metrics of data quality suggest that axial scanning would be the optimal choice. We conclude that axial acquisition is advantageous specially to mitigate the effects of physiological noise and to minimize inter-subject variance.


title: Hilbert Poincar\'e series and kernels for products of $L$-functions

abstract: We study Hilbert Poincar\'e series associated to general seed functions and construct Cohen's kernels and double Eisenstein series as series of Hilbert Poincar\'e series. Then we calculate the Rankin-Cohen brackets of Hilbert Poincar\'e series and Hilbert modular forms and extend Zagier's kernel formula to totally real number fields. Finally, we show that the Rankin-Cohen brackets of two different types of Eisenstein series are special values of double Eisenstein series up to a constant.


title: Quality and Quantity of Machine Translation References for Automatic Metrics

abstract: Automatic machine translation metrics typically rely on human translations to determine the quality of system translations. Common wisdom in the field dictates that the human references should be of very high quality. However, there are no cost-benefit analyses that could be used to guide practitioners who plan to collect references for machine translation evaluation. We find that higher-quality references lead to better metric correlations with humans at the segment-level. Having up to 7 references per segment and taking their average (or maximum) helps all metrics. Interestingly, the references from vendors of different qualities can be mixed together and improve metric success. Higher quality references, however, cost more to create and we frame this as an optimization problem: given a specific budget, what references should be collected to maximize metric success. These findings can be used by evaluators of shared tasks when references need to be created under a certain budget.


title: Visualizing Magnetic Order in Self-Assembly of Superparamagnetic Nanoparticles

abstract: We use soft x-ray vector-ptychographic tomography to determine the three-dimensional magnetization field in superparamagnetic nanoparticles self-assembled at the liquid-liquid interface and reveal the magnetic order induced by layered structure. The spins in individual nanoparticles become more aligned with increasing number of layers, resulting in a larger net magnetization. Our experimental results show a magnetic short-range order in the monolayer due to the proliferation of thermally induced magnetic vortices and a magnetic long-range order in the bilayer and trilayer, stemming from the strengthened dipolar interactions that effectively suppress thermal fluctuations. We also observe a screening effect of magnetic vortices and the attractive interaction between the magnetic vortices with opposite topological charges. Our work demonstrates the crucial role of layered structure in shaping the magnetization of nanoparticle assemblies, providing new opportunities to modulate these properties through strategic layer engineering.


title: Socially Responsible Computing in an Introductory Course

abstract: Given the potential for technology to inflict harm and injustice on society, it is imperative that we cultivate a sense of social responsibility among our students as they progress through the Computer Science (CS) curriculum. Our students need to be able to examine the social complexities in which technology development and use are situated. Also, aligning students' personal goals and their ability to achieve them in their field of study is important for promoting motivation and a sense of belonging. Promoting communal goals while learning computing can help broaden participation, particularly among groups who have been historically marginalized in computing. Keeping these considerations in mind, we piloted an introductory Java programming course in which activities engaging students in ethical and socially responsible considerations were integrated across modules. Rather than adding social on top of the technical content, our curricular approach seeks to weave them together. The data from the class suggests that the students found the inclusion of the social context in the technical assignments to be more motivating and expressed greater agency in realizing social change. We share our approach to designing this new introductory socially responsible computing course and the students' reflections. We also highlight seven considerations for educators seeking to incorporate socially responsible computing.


title: A Comprehensive Study of Knowledge Editing for Large Language Models

abstract: Large Language Models (LLMs) have shown extraordinary capabilities in understanding and generating text that closely mirrors human communication. However, a primary limitation lies in the significant computational demands during training, arising from their extensive parameterization. This challenge is further intensified by the dynamic nature of the world, necessitating frequent updates to LLMs to correct outdated information or integrate new knowledge, thereby ensuring their continued relevance. Note that many applications demand continual model adjustments post-training to address deficiencies or undesirable behaviors. There is an increasing interest in efficient, lightweight methods for on-the-fly model modifications. To this end, recent years have seen a burgeoning in the techniques of knowledge editing for LLMs, which aim to efficiently modify LLMs' behaviors within specific domains while preserving overall performance across various inputs. In this paper, we first define the knowledge editing problem and then provide a comprehensive review of cutting-edge approaches. Drawing inspiration from educational and cognitive research theories, we propose a unified categorization criterion that classifies knowledge editing methods into three groups: resorting to external knowledge, merging knowledge into the model, and editing intrinsic knowledge. Furthermore, we introduce a new benchmark, KnowEdit, for a comprehensive empirical evaluation of representative knowledge editing approaches. Additionally, we provide an in-depth analysis of knowledge location, which can give a deeper understanding of the knowledge structures inherent within LLMs. Finally, we discuss several potential applications of knowledge editing, outlining its broad and impactful implications.


title: To Wedge Or Not To Wedge, Wedges and operator reconstructability in toy models of AdS/CFT

abstract: The AdS/CFT correspondence is an explicit realization of the holographic principle relating a theory of gravity in a volume of space to a lower dimensional quantum field theory on its boundary. By exploiting elements of quantum error correction, qubit toy models of this correspondence have been constructed for which the bulk logical operators are representable by operators acting on the boundary. Given a boundary subregion, wedges in the volume space are used to enclose the bulk qubits for which logical operators are reconstructable on that boundary subregion. In this thesis a number of different wedges, such as the causal wedge, greedy entanglement wedge and minimum entanglement wedge, are examined. More specifically, Monte-Carlo simulations of boundary erasure are performed with various toy models to study the differences between wedges and the effect on these wedge by the type of the model, non-uniform boundaries and stacking of models. It has been found that the minimum entanglement wedge is the best approximate for the true geometric wedge. This is illustrated by an example toy model for which an operator beyond the greedy entanglement wedge was also reconstructed. In addition, by calculating the entropy of these subregions, the viability of a mutual information wedge is rejected. Only for particular connected boundary subregions was the inclusion of the central tensor by the geometric wedge associated to a rise in mutual information.


title: Physics-informed Generalizable Wireless Channel Modeling with Segmentation and Deep Learning: Fundamentals, Methodologies, and Challenges

abstract: Channel modeling is fundamental in advancing wireless systems and has thus attracted considerable research focus. Recent trends have seen a growing reliance on data-driven techniques to facilitate the modeling process and yield accurate channel predictions. In this work, we first provide a concise overview of data-driven channel modeling methods, highlighting their limitations. Subsequently, we introduce the concept and advantages of physics-informed neural network (PINN)-based modeling and a summary of recent contributions in this area. Our findings demonstrate that PINN-based approaches in channel modeling exhibit promising attributes such as generalizability, interpretability, and robustness. We offer a comprehensive architecture for PINN methodology, designed to inform and inspire future model development. A case-study of our recent work on precise indoor channel prediction with semantic segmentation and deep learning is presented. The study concludes by addressing the challenges faced and suggesting potential research directions in this field.


title: Competitive Searching over Terrains

abstract: We study a variant of the searching problem where the environment consists of a known terrain and the goal is to obtain visibility of an unknown target point on the surface of the terrain. The searcher starts on the surface of the terrain and is allowed to fly above the terrain. The goal is to devise a searching strategy that minimizes the competitive ratio, that is, the worst-case ratio between the distance traveled by the searching strategy and the minimum travel distance needed to detect the target. For $1.5$D terrains we show that any searching strategy has a competitive ratio of at least $\sqrt{82}$ and we present a nearly-optimal searching strategy that achieves a competitive ratio of $3\sqrt{19/2} \approx \sqrt{82} + 0.19$. This strategy extends directly to the case where the searcher has no knowledge of the terrain beforehand. For $2.5$D terrains we show that the optimal competitive ratio depends on the maximum slope $\lambda$ of the terrain, and is hence unbounded in general. Specifically, we provide a lower bound on the competitive ratio of $\Omega(\sqrt{\lambda})$. Finally, we complement the lower bound with a searching strategy based on the maximum slope of the known terrain, which achieves a competitive ratio of $O(\sqrt{\lambda})$.


title: Data-driven model reduction via non-intrusive optimization of projection operators and reduced-order dynamics

abstract: Computing reduced-order models using non-intrusive methods is particularly attractive for systems that are simulated using black-box solvers. However, obtaining accurate data-driven models can be challenging, especially if the underlying systems exhibit large-amplitude transient growth. Although these systems may evolve near a low-dimensional subspace that can be easily identified using standard techniques such as Proper Orthogonal Decomposition (POD), computing accurate models often requires projecting the state onto this subspace via a non-orthogonal projection. While appropriate oblique projection operators can be computed using intrusive techniques that leverage the form of the underlying governing equations, purely data-driven methods currently tend to achieve dimensionality reduction via orthogonal projections, and this can lead to models with poor predictive accuracy. In this paper, we address this issue by introducing a non-intrusive framework designed to simultaneously identify oblique projection operators and reduced-order dynamics. In particular, given training trajectories and assuming reduced-order dynamics of polynomial form, we fit a reduced-order model by solving an optimization problem over the product manifold of a Grassmann manifold, a Stiefel manifold, and several linear spaces (as many as the tensors that define the low-order dynamics). Furthermore, we show that the gradient of the cost function with respect to the optimization parameters can be conveniently written in closed-form, so that there is no need for automatic differentiation. We compare our formulation with state-of-the-art methods on three examples: a three-dimensional system of ordinary differential equations, the complex Ginzburg-Landau (CGL) equation, and a two-dimensional lid-driven cavity flow at Reynolds number Re = 8300.


title: Generative AI is already widespread in the public sector

abstract: Generative AI has the potential to transform how public services are delivered by enhancing productivity and reducing time spent on bureaucracy. Furthermore, unlike other types of artificial intelligence, it is a technology that has quickly become widely available for bottom-up adoption: essentially anyone can decide to make use of it in their day to day work. But to what extent is generative AI already in use in the public sector? Our survey of 938 public service professionals within the UK (covering education, health, social work and emergency services) seeks to answer this question. We find that use of generative AI systems is already widespread: 45% of respondents were aware of generative AI usage within their area of work, while 22% actively use a generative AI system. Public sector professionals were positive about both current use of the technology and its potential to enhance their efficiency and reduce bureaucratic workload in the future. For example, those working in the NHS thought that time spent on bureaucracy could drop from 50% to 30% if generative AI was properly exploited, an equivalent of one day per week (an enormous potential impact). Our survey also found a high amount of trust (61%) around generative AI outputs, and a low fear of replacement (16%). While respondents were optimistic overall, areas of concern included feeling like the UK is missing out on opportunities to use AI to improve public services (76%), and only a minority of respondents (32%) felt like there was clear guidance on generative AI usage in their workplaces. In other words, it is clear that generative AI is already transforming the public sector, but uptake is happening in a disorganised fashion without clear guidelines. The UK's public sector urgently needs to develop more systematic methods for taking advantage of the technology.


title: Solving Fokker-Planck equations using the zeros of Fokker-Planck operators and the Feynman-Kac formula

abstract: First we show that physics-informed neural networks are not suitable for a large class of parabolic partial differential equations including the Fokker-Planck equation. Then we devise an algorithm to compute solutions of the Fokker-Planck equation using the zeros of Fokker-Planck operator and the Feynman-Kac formula. The resulting algorithm is mesh-free, highly parallelizable and able to compute solutions pointwise, thus mitigating the curse of dimensionality in a practical sense. We analyze various nuances of this algorithm that are determined by the drift term in the Fokker-Planck equation. We work with problems ranging in dimensions from 2 to 10. We demonstrate that this algorithm requires orders of magnitude fewer trajectories for each point in space when compared to Monte-Carlo. We also prove that under suitable conditions the error that is caused by letting some trajectories (associated with the Feynman-Kac expectation) escape our domain of knowledge is proportional to the fraction of trajectories that escape.


title: Bounds on the number of squares in recurrence sequences

abstract: We investigate the number of squares in a very broad family of binary recurrence sequences with $u_{0}=1$. We show that there are at most two distinct squares in such sequences (the best possible result), except under such very special conditions where we prove there are at most three such squares.


title: Efficient Sparse Least Absolute Deviation Regression with Differential Privacy

abstract: In recent years, privacy-preserving machine learning algorithms have attracted increasing attention because of their important applications in many scientific fields. However, in the literature, most privacy-preserving algorithms demand learning objectives to be strongly convex and Lipschitz smooth, which thus cannot cover a wide class of robust loss functions (e.g., quantile/least absolute loss). In this work, we aim to develop a fast privacy-preserving learning solution for a sparse robust regression problem. Our learning loss consists of a robust least absolute loss and an $\ell_1$ sparse penalty term. To fast solve the non-smooth loss under a given privacy budget, we develop a Fast Robust And Privacy-Preserving Estimation (FRAPPE) algorithm for least absolute deviation regression. Our algorithm achieves a fast estimation by reformulating the sparse LAD problem as a penalized least square estimation problem and adopts a three-stage noise injection to guarantee the $(\epsilon,\delta)$-differential privacy. We show that our algorithm can achieve better privacy and statistical accuracy trade-off compared with the state-of-the-art privacy-preserving regression algorithms. In the end, we conduct experiments to verify the efficiency of our proposed FRAPPE algorithm.


title: An algebra structure for reproducing kernel Hilbert spaces

abstract: Reproducing kernel Hilbert spaces (RKHSs) are Hilbert spaces of functions where pointwise evaluation is continuous. There are known examples of RKHSs that are Banach algebras under pointwise multiplication. These examples are built from weights on the dual of a locally compact abelian group. In this paper we define an algebra structure on an RKHS that is equivalent to subconvolutivity of the weight for known examples (referred to as reproducing kernel Hilbert algebras, or RKHAs). We show that the class of RKHAs is closed under the Hilbert space tensor product and the pullback construction on the category of RKHSs. The subcategory of RKHAs becomes a monoidal category with the spectrum as a monoidal functor to the category of topological spaces. The image of this functor is shown to contain all compact subspaces of $\mathbb R^n$ for $n>0$.


title: Comment on `Index-free Heat Kernel Coefficients'

abstract: The article by Anton E. M. van de Ven, Class. Quantum Grav. \textbf{15} (1998), is one of the fundamental references for higher-order heat kernel coefficients in curved backgrounds and with non-abelian gauge connections. In this manuscript, we point out two errors and ambiguities in the $\mathsf{a}_5$ coefficient, which may also affect the higher-order ones.


title: Flow-based sampling for lattice field theories

abstract: Critical slowing down and topological freezing severely hinder Monte Carlo sampling of lattice field theories as the continuum limit is approached. Recently, significant progress has been made in applying a class of generative machine learning models, known as "flow-based" samplers, to combat these issues. These generative samplers also enable promising practical improvements in Monte Carlo sampling, such as fully parallelized configuration generation. These proceedings review the progress towards this goal and future prospects of the method.


title: Ascending the attractor flow in the D1-D5 system

abstract: We study maximally supersymmetric irrelevant deformations of the D1-D5 CFT that correspond to following the attractor flow in reverse in the dual half-BPS black string solutions of type IIB supergravity on K3. When a single, quadratic condition is imposed on the parameters of the 22 such irrelevant deformations, the asymptotics of the solution degenerate to a linear dilaton like spacetime. We identify each such degeneration limit with a known decoupling limit of string theory, which yields little string theory or deformations thereof (the so-called open brane LST, or ODp theories), compactified to two dimensions. This suggests that a 21-parameter family of the above deformations leads to UV-complete theories, which are string theories decoupled from gravity that are continuously connected to each other. All these theories have been argued to display Hagedorn behaviour; we show that including the F1 strings leads to an additional Cardy term. The resulting entropy formula closely resembles that of single-trace $T\bar T$-deformed CFTs, whose generalisations could provide possibly tractable effective two-dimensional descriptions of the above web of theories. We also consider the asymptotically flat black strings. At fixed temperature, the partition function is dominated by thermodynamically stable, small black string solutions, similar to the ones in the decoupled backgrounds. We show that certain asymptotic symmetries of these black strings bear a striking resemblance with the state-dependent symmetries of single-trace $T\bar T$, and break down precisely when the background solution reaches the large black string threshold. This suggests that small, asymptotically flat black strings may also admit a $T\bar T$ - like effective description.


title: Chordal graphs, even-hole-free graphs and sparse obstructions to bounded treewidth

abstract: We present and study the following conjecture: for an integer $t\geq 4$ and a graph $H$, every even-hole-free graph of large enough treewidth has an induced subgraph isomorphic to either $K_t$ or $H$, if (and only if) $H$ is a $K_4$-free chordal graph. The ``only if'' part follows from the properties of the so-called layered wheels due to Sintiari and Trotignon. Alecu, Chudnovsky, Spirkl and the author recently proved the conjecture in two special cases: (a) when $t=4$; and (b) when $H=cone (F)$ for some forest $F$; that is, $H$ is obtained from $F$ by adding a universal vertex. Our first result is a common strengthening: for an integer $t\geq 4$ and graphs $F$ and $H$, (even-hole, $cone(cone (F))$, $H$, $K_t$)-free graphs have bounded treewidth if and only if $F$ is a forest and $H$ is a $K_4$-free chordal graph. For general $t\geq 4$, we push the current state of the art further than (b) by settling the conjecture for the smallest choices of $H$ that are not coned forests. This follows from our second result: we prove the conjecture when $H$ is a crystal; that is, a graph obtained from several coned double stars by gluing them together along the middle edges of the double stars. We also propose another conjecture motivated by the following observation: except for complete graphs and complete bipartite graphs, all the constructions of graphs with unbounded treewidth which have been discovered so far are $2$-degenerate. Specifically, we conjecture that for every $t\geq 1$, every graph of sufficiently large treewidth has an induced subgraph of treewidth $t$ which is either complete, complete bipartite, or $2$-degenerate. This conjecture is the first to predict a grid-type theorem for induced subgraphs, and what makes it even more relevant is somewhat serendipitous: if true, it would imply our former conjecture by reducing it to (a).


title: Engineering the strain and interlayer excitons of 2D materials via lithographically engraved hexagonal boron nitride

abstract: Strain engineering has quickly emerged as a viable option to modify the electronic, optical and magnetic properties of 2D materials. However, it remains challenging to arbitrarily control the strain. Here we show that by creating atomically-flat surface nanostructures in hexagonal boron nitride, we achieve an arbitrary on-chip control of both the strain distribution and magnitude on high-quality molybdenum disulfide. The phonon and exciton emissions are shown to vary in accordance with our strain field designs, enabling us to write and draw any photoluminescence color image in a single chip. Moreover, our strain engineering offers a powerful means to significantly and controllably alter the strengths and energies of interlayer excitons at room temperature. This method can be easily extended to other material systems and offers a promise for functional excitonic devices.


title: Large Legal Fictions: Profiling Legal Hallucinations in Large Language Models

abstract: Do large language models (LLMs) know the law? These models are increasingly being used to augment legal practice, education, and research, yet their revolutionary potential is threatened by the presence of hallucinations -- textual output that is not consistent with legal facts. We present the first systematic evidence of these hallucinations, documenting LLMs' varying performance across jurisdictions, courts, time periods, and cases. Our work makes four key contributions. First, we develop a typology of legal hallucinations, providing a conceptual framework for future research in this area. Second, we find that legal hallucinations are alarmingly prevalent, occurring between 58% of the time with ChatGPT 4 and 88% with Llama 2, when these models are asked specific, verifiable questions about random federal court cases. Third, we illustrate that LLMs often fail to correct a user's incorrect legal assumptions in a contra-factual question setup. Fourth, we provide evidence that LLMs cannot always predict, or do not always know, when they are producing legal hallucinations. Taken together, our findings caution against the rapid and unsupervised integration of popular LLMs into legal tasks. Even experienced lawyers must remain wary of legal hallucinations, and the risks are highest for those who stand to benefit from LLMs the most -- pro se litigants or those without access to traditional legal resources.


title: On the uniqueness and computation of commuting extensions

abstract: A tuple (Z_1,...,Z_p) of matrices of size r is said to be a commuting extension of a tuple (A_1,...,A_p) of matrices of size n <r if the Z_i pairwise commute and each A_i sits in the upper left corner of a block decomposition of Z_i. This notion was discovered and rediscovered in several contexts including algebraic complexity theory (in Strassen's work on tensor rank), in numerical analysis for the construction of cubature formulas and in quantum mechanics for the study of computational methods and the study of the so-called "quantum Zeno dynamics." Commuting extensions have also attracted the attention of the linear algebra community. In this paper we present 3 types of results: (i) Theorems on the uniqueness of commuting extensions for three matrices or more. (ii) Algorithms for the computation of commuting extensions of minimal size. These algorithms work under the same assumptions as our uniqueness theorems. They are applicable up to r=4n/3, and are apparently the first provably efficient algorithms for this problem applicable beyond r=n+1. (iii) A genericity theorem showing that our algorithms and uniqueness theorems can be applied to a wide range of input matrices.


title: Integrating Edges into U-Net Models with Explainable Activation Maps for Brain Tumor Segmentation using MR Images

abstract: Manual delineation of tumor regions from magnetic resonance (MR) images is time-consuming, requires an expert, and is prone to human error. In recent years, deep learning models have been the go-to approach for the segmentation of brain tumors. U-Net and its' variants for semantic segmentation of medical images have achieved good results in the literature. However, U-Net and its' variants tend to over-segment tumor regions and may not accurately segment the tumor edges. The edges of the tumor are as important as the tumor regions for accurate diagnosis, surgical precision, and treatment planning. In the proposed work, the authors aim to extract edges from the ground truth using a derivative-like filter followed by edge reconstruction to obtain an edge ground truth in addition to the brain tumor ground truth. Utilizing both ground truths, the author studies several U-Net and its' variant architectures with and without tumor edges ground truth as a target along with the tumor ground truth for brain tumor segmentation. The author used the BraTS2020 benchmark dataset to perform the study and the results are tabulated for the dice and Hausdorff95 metrics. The mean and median metrics are calculated for the whole tumor (WT), tumor core (TC), and enhancing tumor (ET) regions. Compared to the baseline U-Net and its variants, the models that learned edges along with the tumor regions performed well in core tumor regions in both training and validation datasets. The improved performance of edge-trained models trained on baseline models like U-Net and V-Net achieved performance similar to baseline state-of-the-art models like Swin U-Net and hybrid MR-U-Net. The edge-target trained models are capable of generating edge maps that can be useful for treatment planning. Additionally, for further explainability of the results, the activation map generated by the hybrid MR-U-Net has been studied.


title: Experimental Validation of Sensor Fusion-based GNSS Spoofing Attack Detection Framework for Autonomous Vehicles

abstract: In this paper, we validate the performance of the a sensor fusion-based Global Navigation Satellite System (GNSS) spoofing attack detection framework for Autonomous Vehicles (AVs). To collect data, a vehicle equipped with a GNSS receiver, along with Inertial Measurement Unit (IMU) is used. The detection framework incorporates two strategies: The first strategy involves comparing the predicted location shift, which is the distance traveled between two consecutive timestamps, with the inertial sensor-based location shift. For this purpose, data from low-cost in-vehicle inertial sensors such as the accelerometer and gyroscope sensor are fused and fed into a long short-term memory (LSTM) neural network. The second strategy employs a Random-Forest supervised machine learning model to detect and classify turns, distinguishing between left and right turns using the output from the steering angle sensor. In experiments, two types of spoofing attack models: turn-by-turn and wrong turn are simulated. These spoofing attacks are modeled as SQL injection attacks, where, upon successful implementation, the navigation system perceives injected spoofed location information as legitimate while being unable to detect legitimate GNSS signals. Importantly, the IMU data remains uncompromised throughout the spoofing attack. To test the effectiveness of the detection framework, experiments are conducted in Tuscaloosa, AL, mimicking urban road structures. The results demonstrate the framework's ability to detect various sophisticated GNSS spoofing attacks, even including slow position drifting attacks. Overall, the experimental results showcase the robustness and efficacy of the sensor fusion-based spoofing attack detection approach in safeguarding AVs against GNSS spoofing threats.


title: Application of the Cartier Operator in Coding Theory

abstract: The $a$-number is an invariant of the isomorphism class of the $p$-torsion group scheme. We use the Cartier operator on $H^0(\mathcal{A}_2,\Omega^1)$ to find a closed formula for the $a$-number of the form $\mathcal{A}_2 = v(Y^{\sqrt{q}}+Y-x^{\frac{\sqrt{q}+1}{2}})$ where $q=p^s$ over the finite field $\mathbb{F}_{q^2}$. The application of the computed $a$-number in coding theory is illustrated by the relationship between the algebraic properties of the curve and the parameters of codes that are supported by it.


title: Learning solutions to some toy constrained optimization problems in infinite dimensional Hilbert spaces

abstract: In this work we present deep learning implementations of two popular theoretical constrained optimization algorithms in infinite dimensional Hilbert spaces, namely, the penalty and the augmented Lagrangian methods. We test these algorithms on some toy problems originating in either calculus of variations or physics. We demonstrate that both methods are able to produce decent approximations for the test problems and are comparable in terms of different errors produced. Leveraging the common occurrence of the Lagrange multiplier update rule being computationally less expensive than solving subproblems in the penalty method, we achieve significant speedups in cases when the output of the constraint function is itself a function.


title: Restart uncertainty relation for monitored quantum dynamics

abstract: We introduce a novel time-energy uncertainty relationship within the context of restarts in monitored quantum dynamics. Initially, we investigate the concept of ``first hitting time'' in quantum systems using an IBM quantum computer and a three-site ring graph as our starting point. Previous studies have established that the mean recurrence time, which represents the time taken to return to the initial state, is quantized as an integer multiple of the sampling time, displaying pointwise discontinuous transitions at resonances. Our findings demonstrate that, the natural utilization of the restart mechanism in laboratory experiments, driven by finite data collection time spans, leads to a broadening effect on the transitions of the mean recurrence time. Our newly proposed uncertainty relation captures the underlying essence of these phenomena, by connecting the broadening of the mean hitting time near resonances, to the intrinsic energies of the quantum system and to the fluctuations of recurrence time. This work not only contributes to our understanding of fundamental aspects related to quantum measurements and dynamics, but also offers practical insights for the design of efficient quantum algorithms with mid-circuit measurements.


title: Hamiltonian Learning in Quantum Field Theories

abstract: We discuss Hamiltonian learning in quantum field theories as a protocol for systematically extracting the operator content and coupling constants of effective field theory Hamiltonians from experimental data. Learning the Hamiltonian for varying spatial measurement resolutions gives access to field theories at different energy scales, and allows to learn a flow of Hamiltonians reminiscent of the renormalization group. Our method, which we demonstrate in both theoretical studies and available data from a quantum gas experiment, promises new ways of addressing the emergence of quantum field theories in quantum simulation experiments.


title: Effective size of a parity-time symmetric dimer

abstract: Parity-time (PT) symmetric dimers were introduced to highlight the unusual properties of non-Hermitian systems that are invariant after a combined parity and time reversal operation. They are also the building blocks of a variety of symmetry and topologically protected structures, especially on integrated photonic platforms. As the name suggests, it consists of two coupled oscillators, which can be optical, mechanical, electronic, and so on in nature. In this article, we show that its effective size, defined by the number of lattice sites inversely proportional to the lattice momentum, is surprisingly three instead of two from the perspective of energy quantization. More specifically, we show analytically that the complex energy levels of a one-dimensional concatenated chain with $N$ PT-dimers are determined by a system size of $1+2N$, which reduces to three in the case of a single PT-dimer. We note that while energy quantization conditions were established in various non-Hermitian systems, exact and explicitly quantized complex energies as reported here are still scarce. In connection, we also discuss the other symmetries of a PT-dimer and concatenated PT-dimer chain, including non-Hermitian particle-hole symmetry and chiral symmetry.


title: Emergence of unstable avoided crossing in the collective excitations of spin-1 spin-orbit coupled Bose-Einstein condensates

abstract: We present the analytical and numerical results on the collective excitation spectrum of quasi-one-dimensional spin-orbit (SO) coupled spin-1 Bose-Einstein condensates. The collective excitation spectrum, using Bogoliubov-de-Gennes theory, reveals the existence of a diverse range of phases in the SO and Rabi ($k_L-\Omega$) coupling plane. Based on eigenvalue of the excitation spectrum, we categorize the $k_L-\Omega$ plane into three distinct regions. In region I, a stable mode with phonon-like excitations is observed. In region IIa, single and multi-band instabilities are noted with a gapped mode, while multi-band instability accompanied by a gapless mode between low-lying and first excited states is realized in region IIb, which also provides evidence of unstable avoided crossing between low-lying and first excited modes The gap between low-lying and first-excited states increases upon increasing the Rabi coupling while decreases upon increase of SO coupling. Using eigenvector analysis, we confirm the presence of the spin-dipole mode in the spin-like modes in Region II. We corroborate the nature of the collective excitation through real-time dynamical evolution of the ground state perturbed with the quench of the trap using the mean-field Gross-Pitaevskii model. This analysis suggests the presence of dynamical instability leading to the disappearance of the $0$-th component of the condensate. In Region III, mainly encompassing $\Omega \sim 0$ and finite $k_L$, we observe phonon-like excitations in both the first excited and the low-lying state. The eigenvectors in this region reveal alternative in- and out-of-phase behaviours of the spin components. Numerical analysis reveals the presence of a super stripe phase for small Rabi coupling in this region, wherein the eigenvector indicates the presence of more complicated spin-like-density mixed modes.


title: Procrustean entanglement concentration in quantum-classical networking

abstract: The success of a future quantum internet will rest in part on the ability of quantum and classical signals to coexist in the same optical fiber infrastructure, a challenging endeavor given the orders of magnitude differences in flux of single-photon-level quantum fields and bright classical traffic. We theoretically describe and experimentally implement Procrustean entanglement concentration for polarization-entangled states contaminated with classical light, showing significant mitigation of crosstalk noise in dense wavelength-division multiplexing. Our approach leverages a pair of polarization-dependent loss emulators to attenuate highly polarized crosstalk that results from imperfect isolation of conventional signals copropagating on shared fiber links. We demonstrate our technique both on the tabletop and over a deployed quantum local area network, finding a substantial improvement of two-qubit entangled state fidelity from approximately 75\% to over 92\%. This local filtering technique could be used as a preliminary step to reduce asymmetric errors, potentially improving the overall efficiency when combined with more complex error mitigation techniques in future quantum repeater networks.


title: LLM Harmony: Multi-Agent Communication for Problem Solving

abstract: Large Language Models (LLMs) have revolutionized Natural Language Processing but exhibit limitations, particularly in autonomously addressing novel challenges such as reasoning and problem-solving. Traditional techniques like chain-of-thought prompting necessitate explicit human guidance. This paper introduces a novel multi-agent communication framework, inspired by the CAMEL model, to enhance LLMs' autonomous problem-solving capabilities. The framework employs multiple LLM agents, each with a distinct persona, engaged in role-playing communication, offering a nuanced and adaptable approach to diverse problem scenarios. Extensive experimentation demonstrates the framework's superior performance and adaptability, providing valuable insights into the collaborative potential of multiple agents in overcoming the limitations of individual models.


title: A Comprehensive Survey of Hallucination Mitigation Techniques in Large Language Models

abstract: As Large Language Models (LLMs) continue to advance in their ability to write human-like text, a key challenge remains around their tendency to hallucinate generating content that appears factual but is ungrounded. This issue of hallucination is arguably the biggest hindrance to safely deploying these powerful LLMs into real-world production systems that impact people's lives. The journey toward widespread adoption of LLMs in practical settings heavily relies on addressing and mitigating hallucinations. Unlike traditional AI systems focused on limited tasks, LLMs have been exposed to vast amounts of online text data during training. While this allows them to display impressive language fluency, it also means they are capable of extrapolating information from the biases in training data, misinterpreting ambiguous prompts, or modifying the information to align superficially with the input. This becomes hugely alarming when we rely on language generation capabilities for sensitive applications, such as summarizing medical records, financial analysis reports, etc. This paper presents a comprehensive survey of over 32 techniques developed to mitigate hallucination in LLMs. Notable among these are Retrieval Augmented Generation (Lewis et al, 2021), Knowledge Retrieval (Varshney et al,2023), CoNLI (Lei et al, 2023), and CoVe (Dhuliawala et al, 2023). Furthermore, we introduce a detailed taxonomy categorizing these methods based on various parameters, such as dataset utilization, common tasks, feedback mechanisms, and retriever types. This classification helps distinguish the diverse approaches specifically designed to tackle hallucination issues in LLMs. Additionally, we analyze the challenges and limitations inherent in these techniques, providing a solid foundation for future research in addressing hallucinations and related phenomena within the realm of LLMs.


title: Classifying Words with 3-sort Automata

abstract: Grammatical inference consists in learning a language or a grammar from data. In this paper, we consider a number of models for inferring a non-deterministic finite automaton (NFA) with 3 sorts of states, that must accept some words, and reject some other words from a given sample. We then propose a transformation from this 3-sort NFA into weighted-frequency and probabilistic NFA, and we apply the latter to a classification task. The experimental evaluation of our approach shows that the probabilistic NFAs can be successfully applied for classification tasks on both real-life and superficial benchmark data sets.


title: Fundamental groups, coregularity, and low dimensional klt Calabi-Yau pairs

abstract: In this article, we study how the absolute coregularity of a projective log pair reflects on its fundamental group. More precisely, we conjecture that for a projective klt log pair $(X,D)$ of absolute coregularity $c$ (and arbitrary dimension) the fundamental group $\pi_1^{\rm reg}(X,D)$ admits a normal abelian subgroup of finite index and rank at most $2c$. We prove this conjecture in the cases $0 \leq c \leq 3$, building on the almost abelianity of the fundamental groups of klt Calabi-Yau pairs of dimension $\leq 3$. In the cases $c \in \{0,1,2\}$ and fixed dimension, we can furthermore bound the index of a solvable normal subgroup. In dimension three, we are able to prove almost abelianity of the fundamental group of the regular locus for projective klt Calabi-Yau pairs.


title: Silicon Photomultipliers for Detection of Photon Bunching Signatures

abstract: In this work, photon bunching from LED light was observed for the first time using SiPMs. The bunching signature was observed with a significance of $7.3~\sigma$ using 97~hs of data. The light was spectrally filtered using a 1~nm bandpass filter and an Etalon filter to ensure temporal coherence of the field and its coherence time was measured to be $\tau_C = (19 \pm 2)$~ps. The impact of SiPM non-idealities in these kinds of measurements is explored, and we describe the methodology to process SiPM analog waveforms and the event selection used to mitigate these non-idealities.


title: On the evolution of a twisted thin accretion disc in eccentric inclined supermassive binary black holes

abstract: We propose a model of a twisted accretion disc around a Kerr black hole interacting with a secondary black hole of a smaller mass on an inclined eccentric orbit. We use parameters of the system, which may be appropriate for the so-called 'precessing massive' model of OJ 287. We calculate expressions for torque exerted on the disc by the secondary and a contribution of the secondary to the apsidal precession of disc elements by a double averaging procedure over the periods of the secondary and the disc elements. These expressions are used at all scales of interest, including the ones inside the binary orbit. We calculate numerically the evolution of the disc tilt and twist assuming a flat initial configuration. We consider the disc aspect ratio $h/r=10^{-3}$, a rather large viscosity parameter $\alpha=0.1$ and several values of the primary rotational parameter, $\chi$. We find that, after a few periods of Lense-Thirring precession of the orbit, the disc relaxes to a quasi-stationary configuration in the precessing frame with a non-trivial distribution of the disc inclination angle, $\beta$, over the radial scale. We propose an analytic model for this configuration. We show that the presence of the twisted disc leads to multiple crossings of the disc by the secondary per one orbital period, with time periods between the crossings being different from the flat disc model. Our results should be taken into account in the modelling of OJ 287. They can also be applied to similar sources.


title: Changing CO Bands in Near-IR Spectra of CP Cephei

abstract: We present time-series near-infrared (NIR) spectra for the classical Cepheid, CP Cephei, from the Astrophysical Research Consortium 3.5-m telescope and NIR spectrograph, TripleSpec, at Apache Point Observatory, NM, USA. Spectral observations were made at three points on the ascending portion of the visible phase diagram for the star. Carbon monoxide (CO) was detected in absorption in the 2.3-micron band head for each observation. We observed that the equivalent width of the 3-1 transition of the CO band head decreased by half from our first observation to the second, or slightly over one day out of the 17.867-day period. Our third observation occurred 54 days after the first (slightly over three periods for the star) and showed similar CO levels to the first observation, suggesting that the CO is in the stellar atmosphere and varies with pulsation.


title: Some aspects of quantum correlations and decoherence in the cosmological spacetimes

abstract: This thesis presents a theoretical investigation into the quantum field theoretic aspects of quantum correlations and decoherence in the cosmological spacetimes. We shall focus on the inflationary or dark energy dominated phase of the universe, and we shall take the spacetime background to be de Sitter. The primary objective of this thesis is to study the physics of the very early universe and to gain insight into the interesting interplay among quantum correlations, entanglement and decoherence which can affect the evolution of our universe.


title: Separable homology of graphs and the Whitehead complex

abstract: We introduce the Whitehead complex, a one-complex associated to a finite regular cover of the rose and show that it is connected if and only if the fundamental group of the associated cover is generated by its intersection with the set of elements in proper free factors of $\mathbf{F}_n$. The Whitehead complex admits an action of $\mathrm{Out}(\mathbf{F}_n)$ by isometries if the associated cover corresponds to a characteristic subgroup of $\mathbf{F}_n$. We prove that the Whitehead complex of the rose has infinite diameter and is nonhyperbolic, implying it is not quasi-isometric to the free splitting complex or the free factor complex.


title: Neutron Stars in modified $f(R,T)$ gravity framework with $\mathcal{O}(T, T^2)$ terms

abstract: We study the equilibrium configurations of relativistic Neutron Stars(NS) with a polytropic model in a $f(R,T)=R+2\lambda T+\xi T^{2}$ gravity.We investigate the neutron star properties and their dependence on $\lambda$ and $\xi$ corresponding to different central densities ($\rho_c$) of the NS. For $\lambda = 0,-1,-3,-5$ with $\xi=0$ and $\rho_c=1.5\times10^{18}~\rm{kg~m^{-3}}$, we find the maximum mass of the NS as $M = 1.06 M_\odot$, $1.19 M_\odot$ $1.61 M_\odot$ and $2.47~M_\odot$ corresponding to the radius($R$) $10.409$ km, $10.737$ km, $11.461$ km and $12.119$ km. This higher value of NS mass can be compared with gravitational wave data(GW170817). For given $\lambda =-6$ and $\xi = 0$, we find that as $\rho_c$ increases from $\rho_c=1.1 to 1.6 \times 10^{18}~\rm{kg~m^{-3}}$, the maximum mass of the NS decreases from $4.19 M_\odot$ to $3.23 M_\odot$ while it's radius $R$ decreases $13.86 \rm{km}$ to $11.54 \rm{km}$. With the fixed value of $\xi = 10^{-27}$ and $\lambda = 0,-1,-3,-5$, we find the maximum mass $M =1.06 M_\odot$,$1.34 M_\odot$,$1.89 M_\odot$ and $3.39~M_\odot$ corresponding to the radius $R = 10.409$ km, $10.843$ km, $11.549$ km and $11.680$ km. respectively. Taking our observational constraints i.e. GW170817 (BNS Merger) mass - radius data, observed pulsars PSRJ1614-2230, PSRJ0348+0432 maximum mass - radius data; we found that posterior distribution plot of mass $\&$ radius gives good result and the corner plot of modified gravity parameters $\lambda$ and $\xi$ are giving very good posterior results. So, for a range of values of $\lambda$ with $\xi=0 (\neq 0)$, we found that the mass $M$ and the radius $R$ of the NS lie within the range given by the GW170817 gravitational wave data given by LIGO, Pulsars $\&$ Millisecond Pulsars data and the NICER (Neutron star Interior Composition ExploreR) mass-radius data given by NASA.


title: A Knowledge Compilation Map for Quantum Information

abstract: Quantum computing is finding promising applications in optimization, machine learning and physics, leading to the development of various models for representing quantum information. Because these representations are often studied in different contexts (many-body physics, machine learning, formal verification, simulation), little is known about fundamental trade-offs between their succinctness and the runtime of operations to update them. We therefore analytically investigate three widely-used quantum state representations: matrix product states (MPS), decision diagrams (DDs), and restricted Boltzmann machines (RBMs). We map the relative succinctness of these data structures and provide the complexity for relevant query and manipulation operations. Further, to chart the balance between succinctness and operation efficiency, we extend the concept of rapidity with support for the non-canonical data structures studied in this work, showing in particular that MPS is at least as rapid as some DDs. By providing a knowledge compilation map for quantum state representations, this paper contributes to the understanding of the inherent time and space efficiency trade-offs in this area.


title: Mixed QCD-EW corrections to $W$-pair production at electron-positron colliders

abstract: The discrepancy between the CDF measurement and the Standard Model theoretical predictions for the $W$-boson mass underscores the importance of conducting high-precision studies on the $W$ boson, which is one of the predominant objectives of proposed future $e^+e^-$ colliders. We investigate in detail the production of $W$-boson pair at $e^+e^-$ colliders and calculate the mixed QCD-EW corrections at the next-to-next-to-leading order. By employing the method of differential equations, we analytically compute the two-loop master integrals for the mixed QCD-EW corrections to $e^+e^- \rightarrow W^+W^-$. By utilizing the Magnus transformation, we derive a canonical set of master integrals for each integral family. This canonical basis fulfills a system of differential equations where the dependence on the dimensional regulator, $\epsilon$, is linearly factorized from the kinematics. Finally, these canonical master integrals are given as Taylor series in $\epsilon$ up to $\epsilon^4$, with coefficients written as combinations of Goncharov polylogarithms up to weight four. Upon applying our analytic expressions of these master integrals to the phenomenological analysis on $W$-pair production, we find that the $\mathcal{O}(\alpha\alpha_s)$ corrections hold substantial significance in the $\alpha(0)$ scheme, especially in the vicinity of the top-pair resonance ($\sqrt{s} = 2\, m_t$) induced by top-loop integrals. However, these corrections can be heavily suppressed by adopting the $G_{\mu}$ scheme.


title: Lower Bounds on Cardinality of Reducts for Decision Tables from Closed Classes

abstract: In this paper, we consider classes of decision tables closed under removal of attributes (columns) and changing of decisions attached to rows. For decision tables from closed classes, we study lower bounds on the minimum cardinality of reducts, which are minimal sets of attributes that allow us to recognize, for a given row, the decision attached to it. We assume that the number of rows in decision tables from the closed class is not bounded from above by a constant. We divide the set of such closed classes into two families. In one family, only standard lower bounds $\Omega (\log $ ${\rm cl}(T))$ on the minimum cardinality of reducts for decision tables hold, where ${\rm cl}(T)$ is the number of decision classes in the table $T$. In another family, these bounds can be essentially tightened up to $\Omega ({\rm cl}(T)^{1/q})$ for some natural $q$.


title: LLM Maybe LongLM: Self-Extend LLM Context Window Without Tuning

abstract: It is well known that LLMs cannot generalize well to long contexts whose lengths are larger than the training sequence length. This poses challenges when employing LLMs for processing long input sequences during inference. In this work, we argue that LLMs themselves have inherent capabilities to handle long contexts without fine-tuning. To achieve this goal, we propose SelfExtend to extend the context window of LLMs by constructing bi-level attention information: the grouped attention and the neighbor attention. The grouped attention captures the dependencies among tokens that are far apart, while neighbor attention captures dependencies among adjacent tokens within a specified range. The two-level attentions are computed based on the original model's self-attention mechanism during inference. With minor code modification, our SelfExtend can effortlessly extend existing LLMs' context window without any fine-tuning. We conduct comprehensive experiments on multiple benchmarks and the results show that our SelfExtend can effectively extend existing LLMs' context window length. The code can be found at \url{https://github.com/datamllab/LongLM}.


title: An Autoregressive Text-to-Graph Framework for Joint Entity and Relation Extraction

abstract: In this paper, we propose a novel method for joint entity and relation extraction from unstructured text by framing it as a conditional sequence generation problem. In contrast to conventional generative information extraction models that are left-to-right token-level generators, our approach is \textit{span-based}. It generates a linearized graph where nodes represent text spans and edges represent relation triplets. Our method employs a transformer encoder-decoder architecture with pointing mechanism on a dynamic vocabulary of spans and relation types. Our model can capture the structural characteristics and boundaries of entities and relations through span representations while simultaneously grounding the generated output in the original text thanks to the pointing mechanism. Evaluation on benchmark datasets validates the effectiveness of our approach, demonstrating competitive results. Code is available at https://github.com/urchade/ATG.


title: The $r$-matrix structure of Hitchin systems via loop group uniformization

abstract: In this work, the description of the moduli space of principal $G$-bundles as double quotient of loop groups is used to construct an \'etale local $r$-matrix for the Hitchin integrable system.


title: Subgroups of bounded rank in hyperbolic 3-manifold groups

abstract: We prove a finiteness theorem for subgroups of bounded rank in hyperbolic $3$-manifold groups. As a consequence, we show that every bounded rank covering tower of closed hyperbolic $3$-manifolds is a tower of finite covers associated to a fibration over a $1$-orbifold.


title: Self-Supervised Millimeter Wave Indoor Localization using Tiny Neural Networks

abstract: The quasi-optical propagation of millimeter-wave signals enables high-accuracy localization algorithms that employ geometric approaches or machine learning models. However, most algorithms require information on the indoor environment, may entail the collection of large training datasets, or bear an infeasible computational burden for commercial off-the-shelf (COTS) devices. In this work, we propose to use tiny neural networks (NNs) to learn the relationship between angle difference-of-arrival (ADoA) measurements and locations of a receiver in an indoor environment. To relieve training data collection efforts, we resort to a self-supervised approach by bootstrapping the training of our neural network through location estimates obtained from a state-of-the-art localization algorithm. We evaluate our scheme via mmWave measurements from indoor 60-GHz double-directional channel sounding. We process the measurements to yield dominant multipath components, use the corresponding angles to compute ADoA values, and finally obtain location fixes. Results show that the tiny NN achieves sub-meter errors in 74\% of the cases, thus performing as good as or even better than the state-of-the-art algorithm, with significantly lower computational complexity.


title: TREC iKAT 2023: The Interactive Knowledge Assistance Track Overview

abstract: Conversational Information Seeking has evolved rapidly in the last few years with the development of Large Language Models providing the basis for interpreting and responding in a naturalistic manner to user requests. iKAT emphasizes the creation and research of conversational search agents that adapt responses based on the user's prior interactions and present context. This means that the same question might yield varied answers, contingent on the user's profile and preferences. The challenge lies in enabling Conversational Search Agents (CSA) to incorporate personalized context to effectively guide users through the relevant information to them. iKAT's first year attracted seven teams and a total of 24 runs. Most of the runs leveraged Large Language Models (LLMs) in their pipelines, with a few focusing on a generate-then-retrieve approach.


title: Lattice realization of the axial $U(1)$ noninvertible symmetry

abstract: In $U(1)$ lattice gauge theory with compact $U(1)$ variables, we construct the symmetry operator, i.e.\ the topological defect, for the axial $U(1)$ noninvertible symmetry. This requires a lattice formulation of chiral gauge theory with an anomalous matter content and we employ the lattice formulation on the basis of the Ginsparg--Wilson relation. The invariance of the symmetry operator under the gauge transformation of the gauge field on the defect is realized, imitating the prescription by Karasik in continuum theory, by integrating the lattice Chern--Simons term on the defect over \emph{smooth\/} lattice gauge transformations. The projection operator for allowed magnetic fluxes on the defect then emerges with lattice regularization. The resulting symmetry operator is manifestly invariant under lattice gauge transformations. In an appendix, we give another way of constructing the symmetry operator on the basis of a 3D $\mathbb{Z}_N$ topological quantum field theory, the level-$N$ BF theory on the lattice.


title: List-Coloring Packing and Correspondence-Coloring Packing of Planar Graphs

abstract: For a graph $G$ and a list assignment $L$ with $|L(v)|=k$ for all $v$, an $L$-packing consists of $L$-colorings $\varphi_1,\cdots,\varphi_k$ such that $\varphi_i(v)\ne\varphi_j(v)$ for all $v$ and all distinct $i,j\in\{1,\ldots,k\}$. Let $\chi^{\star}_{\ell}(G)$ denote the smallest $k$ such that $G$ has an $L$-packing for every $L$ with $|L(v)|=k$ for all $v$. Let $\mathcal{P}_k$ denote the set of all planar graphs with girth at least $k$. We show that (i) $\chi^{\star}_{\ell}(G)\le 8$ for all $G\in \mathcal{P}_3$ and (ii) $\chi^{\star}_{\ell}(G)\le 5$ for all $G\in \mathcal{P}_4$ and (iii) $\chi^{\star}_{\ell}(G)\le 4$ for all $G\in \mathcal{P}_5$. Part (i) makes progress on a problem of Cambie, Cames van Batenburg, Davies, and Kang. We also construct outerplanar graphs $G$ such that $\chi^{\star}_{\ell}(G)=4$, which matches the known upper bound $\chi^{\star}_{\ell}(G)\le 4$ for all outerplanar graphs. Finally, we consider the analogue of $\chi^{\star}_{\ell}$ for correspondence coloring, $\chi^{\star}_c$. In fact, all bounds stated above for $\chi^{\star}_{\ell}$ also hold for $\chi^{\star}_c$.


title: Emulated nuclear spin gyroscope with $^{15}$NV centers in diamond

abstract: Nuclear spins in solid-state platforms are promising for building rotation sensors due to their long coherence times. Among these platforms, nitrogen-vacancy centers have attracted considerable attention with ambient operating conditions. However, the current performance of NV gyroscopes remains limited by the degraded coherence when operating with large spin ensembles. Protecting the coherence of these systems requires a systematic study of the coherence decay mechanism. Here we present the use of nitrogen-15 nuclear spins of NV centers in building gyroscopes, benefiting from its simpler energy structure and vanishing nuclear quadrupole term compared with nitrogen-14 nuclear spins, though suffering from different challenges in coherence protection. We systematically reveal the coherence decay mechanism of the nuclear spin in different NV electronic spin manifolds and further develop a robust coherence protection protocol based on controlling the NV electronic spin only, achieving a 15-fold dephasing time improvement. With the developed coherence protection, we demonstrate an emulated gyroscope by measuring a designed rotation rate pattern, showing an order-of-magnitude sensitivity improvement.


title: Hyperfine-enhanced gyroscope based on solid-state spins

abstract: Solid-state platforms based on electro-nuclear spin systems are attractive candidates for rotation sensing due to their excellent sensitivity, stability, and compact size, compatible with industrial applications. Conventional spin-based gyroscopes measure the accumulated phase of a nuclear spin superposition state to extract the rotation rate and thus suffer from spin dephasing. Here, we propose a gyroscope protocol based on a two-spin system that includes a spin intrinsically tied to the host material, while the other spin is isolated. The rotation rate is then extracted by measuring the relative rotation angle between the two spins starting from their population states, robust against spin dephasing. In particular, the relative rotation rate between the two spins can be enhanced by their hyperfine coupling by more than an order of magnitude, further boosting the achievable sensitivity. The ultimate sensitivity of the gyroscope is limited by the lifetime of the spin system and compatible with a broad dynamic range, even in the presence of magnetic noises or control errors due to initialization and qubit manipulations. Our result enables precise measurement of slow rotations and exploration of fundamental physics.


title: Self-Play Fine-Tuning Converts Weak Language Models to Strong Language Models

abstract: Harnessing the power of human-annotated data through Supervised Fine-Tuning (SFT) is pivotal for advancing Large Language Models (LLMs). In this paper, we delve into the prospect of growing a strong LLM out of a weak one without the need for acquiring additional human-annotated data. We propose a new fine-tuning method called Self-Play fIne-tuNing (SPIN), which starts from a supervised fine-tuned model. At the heart of SPIN lies a self-play mechanism, where the LLM refines its capability by playing against instances of itself. More specifically, the LLM generates its own training data from its previous iterations, refining its policy by discerning these self-generated responses from those obtained from human-annotated data. Our method progressively elevates the LLM from a nascent model to a formidable one, unlocking the full potential of human-annotated demonstration data for SFT. Theoretically, we prove that the global optimum to the training objective function of our method is achieved only when the LLM policy aligns with the target data distribution. Empirically, we evaluate our method on several benchmark datasets including the HuggingFace Open LLM Leaderboard, MT-Bench, and datasets from Big-Bench. Our results show that SPIN can significantly improve the LLM's performance across a variety of benchmarks and even outperform models trained through direct preference optimization (DPO) supplemented with extra GPT-4 preference data. This sheds light on the promise of self-play, enabling the achievement of human-level performance in LLMs without the need for expert opponents. Codes are available at https://github.com/uclaml/SPIN.


title: Metastability of stratified magnetohydrostatic equilibria and their relaxation

abstract: Motivated by explosive releases of energy in fusion, space and astrophysical plasmas, we consider the nonlinear stability of stratified magnetohydrodynamic (MHD) equilibria against interchanges of straight magnetic-flux tubes. We demonstrate that in MHD (unlike in hydrodynamics) linear stability does not guarantee nonlinear stability, even in this simple case. We show that the minimum-energy configurations attainable by metastable equilibria under non-diffusive 2D dynamics can be determined by solving a combinatorial optimization problem. These minimum-energy states are, to good approximation, the final states reached by simulations of destabilized metastable equilibria where turbulent mixing is suppressed by viscosity. For the case of fully turbulent relaxation, we construct a statistical mechanical theory based on the maximization of Boltzmann's mixing entropy. This theory is analogous to the Lynden-Bell statistical mechanics of stellar systems and collisionless plasmas and to the Robert-Sommeria-Miller (RSM) theory of 2D vortex turbulence. Our theory reproduces well the results of our numerical simulations for sufficiently large perturbations to the metastable equilibrium.


title: Diagonal Gaussian Mixture Models and Higher Order Tensor Decompositions

abstract: This paper studies how to recover parameters in diagonal Gaussian mixture models using tensors. High-order moments of the Gaussian mixture model are estimated from samples. They form incomplete symmetric tensors generated by hidden parameters in the model. We propose to use generating polynomials to compute incomplete symmetric tensor approximations. The obtained decomposition is utilized to recover parameters in the model. We prove that our recovered parameters are accurate when the estimated moments are accurate. Using high-order moments enables our algorithm to learn Gaussian mixtures with more components. For a given model dimension and order, we provide an upper bound of the number of components in the Gaussian mixture model that our algorithm can compute.


title: Equivariant Morse theory for Lie algebra actions on Riemannian foliations

abstract: Consider the transverse isometric action of a finite dimensional Lie algebra g on a Riemannian foliation. This paper studies the equivariant Morse-Bott theory on the leaf space of the Riemannian foliations in this setting. Among other things, we establish a foliated version of the Morse-Bott lemma for a g-invariant basic Morse-Bott function, and a foliated version of the usual handle presentation theorem. In the non-equivariant case, we apply these results to present a new proof of the Morse inequalities on Riemannian foliations. In the equivariant case, we apply these results to study Hamiltonian action of an abelian Lie algebra on a presymplectic manifold whose underlying foliation is also Riemannian, and extend the Kirwan surjectivity and injectivity theorem in equivariant symplectic geometry to this situation. Among other things, this implies the Kirwan surjectivity and injectivity hold for Hamiltonian torus actions on symplectic orbifolds.


title: Street Gaussians for Modeling Dynamic Urban Scenes

abstract: This paper aims to tackle the problem of modeling dynamic urban street scenes from monocular videos. Recent methods extend NeRF by incorporating tracked vehicle poses to animate vehicles, enabling photo-realistic view synthesis of dynamic urban street scenes. However, significant limitations are their slow training and rendering speed, coupled with the critical need for high precision in tracked vehicle poses. We introduce Street Gaussians, a new explicit scene representation that tackles all these limitations. Specifically, the dynamic urban street is represented as a set of point clouds equipped with semantic logits and 3D Gaussians, each associated with either a foreground vehicle or the background. To model the dynamics of foreground object vehicles, each object point cloud is optimized with optimizable tracked poses, along with a dynamic spherical harmonics model for the dynamic appearance. The explicit representation allows easy composition of object vehicles and background, which in turn allows for scene editing operations and rendering at 133 FPS (1066$\times$1600 resolution) within half an hour of training. The proposed method is evaluated on multiple challenging benchmarks, including KITTI and Waymo Open datasets. Experiments show that the proposed method consistently outperforms state-of-the-art methods across all datasets. Furthermore, the proposed representation delivers performance on par with that achieved using precise ground-truth poses, despite relying only on poses from an off-the-shelf tracker. The code is available at https://zju3dv.github.io/street_gaussians/.


title: Unification of the MWI formalism and Bohmian mechanics for the ensembles of event universes in Minkowski-like space

abstract: Diversity of interpretations of quantum mechanics is often considered as a sign of foundational crisis. In this note we proceed towards unification the relational quantum mechanics of Rovelli, Bohmian mechanics, and many worlds interpretation on the basis so called Dendrogramic Holographic Theory (DHT). DHT is based on the representation of observed events by dendrograms (finite trees) presenting observers subjective image of universe. Dendrograms encode the relational hierarchy between events, in applications they are generated by clustering algorithms; an algorithm with the branching index p >1 generate p-adic trees. The infinite p-adic tree represents the ontic event universe. We consider an ensemble of observers performing observations on each other and representing them by p-adic trees. In such observers universe we introduce a kind of Minkowski space structure, which is statistical by its nature. This model unites the observer/system discrepancy. Measurements are performed by observers on observers. Such observers universe is dynamically changing and is background independent since the space itself is emergent. And within this model, we unify the aforementioned interpretations.


title: ATLASv2: ATLAS Attack Engagements, Version 2

abstract: ATLASv2 is based on a previously generated dataset included in "ATLAS: A Sequence-based Learning Approach for Attack Investigation." The original ATLAS dataset is comprised of Windows Security Auditing system logs, Firefox logs, and DNS logs via WireShark. In ATLASv2, we aim to enrich the ATLAS dataset with higher quality background noise and additional logging vantage points. This work replicates the ten attack scenarios described in ATLAS, but extends the logging to include Sysmon logs and events tracked through VMware Carbon Black Cloud. The main contribution of ATLASv2 is to improve the quality of the benign system activity and the integration of the attack scenarios. Instead of relying on automated scripts to generate activity, we had two researchers use the victim machines as their primary work stations throughout the course of the engagement. This allowed us to capture system logs on actual user behavior. Additionally, the researchers conducted the attacks in a lab setup allowing the integration of the attack into the work flow of the victim user. This allows the ATLASv2 dataset to provide realistic system logs that mirror the system log activity generated in real-world attacks.


title: Securing the Digital World: Protecting smart infrastructures and digital industries with Artificial Intelligence (AI)-enabled malware and intrusion detection

abstract: The last decades have been characterized by unprecedented technological advances, many of them powered by modern technologies such as Artificial Intelligence (AI) and Machine Learning (ML). The world has become more digitally connected than ever, but we face major challenges. One of the most significant is cybercrime, which has emerged as a global threat to governments, businesses, and civil societies. The pervasiveness of digital technologies combined with a constantly shifting technological foundation has created a complex and powerful playground for cybercriminals, which triggered a surge in demand for intelligent threat detection systems based on machine and deep learning. This paper investigates AI-based cyber threat detection to protect our modern digital ecosystems. The primary focus is on evaluating ML-based classifiers and ensembles for anomaly-based malware detection and network intrusion detection and how to integrate those models in the context of network security, mobile security, and IoT security. The discussion highlights the challenges when deploying and integrating AI-enabled cybersecurity solutions into existing enterprise systems and IT infrastructures, including options to overcome those challenges. Finally, the paper provides future research directions to further increase the security and resilience of our modern digital industries, infrastructures, and ecosystems.


title: IoTGeM: Generalizable Models for Behaviour-Based IoT Attack Detection

abstract: Previous research on behaviour-based attack detection on networks of IoT devices has resulted in machine learning models whose ability to adapt to unseen data is limited, and often not demonstrated. In this paper we present an approach for modelling IoT network attacks that focuses on generalizability, yet also leads to better detection and performance. First, we present an improved rolling window approach for feature extraction, and introduce a multi-step feature selection process that reduces overfitting. Second, we build and test models using isolated train and test datasets, thereby avoiding common data leaks that have limited the generalizability of previous models. Third, we rigorously evaluate our methodology using a diverse portfolio of machine learning models, evaluation metrics and datasets. Finally, we build confidence in the models by using explainable AI techniques, allowing us to identify the features that underlie accurate detection of attacks.


title: SD-WAN over MPLS: A Comprehensive Performance Analysis and Security with Insights into the Future of SD-WAN

abstract: Software-defined wide area network (SD-WAN) enhances network traffic management, while Multiprotocol Label Switching (MPLS) offers efficient data transmission. This paper analyzes SD-WAN over MPLS in the Housing Bank, a major Algerian financial institution. We deploy FortiGate for the SD-WAN solution, comparing it to traditional MPLS and direct internet access across metrics like bandwidth, latency, jitter, packet loss, throughput, and quality of service (QoS). Security measures include encryption, firewall, intrusion prevention, web filtering, antivirus, and addressing threats like spoofing, DoS attacks, and unauthorized access. We explore future trends such as SASE architecture, AI/ML integration, and emerging transport methods. SD-WAN over MPLS proves advantageous, offering enhanced performance, security, and flexibility. Recommendations include ongoing performance monitoring and research.


title: A Synthetic Modal Generation of Additive Manufacturing Roughness Surfaces from Images

abstract: A method to infer and synthetically extrapolate roughness fields from electron microscope scans of additively manufactured surfaces using an adaptation of Rogallo's synthetic turbulence method [R. S. Rogallo, NASA Technical Memorandum 81315, 1981] based on Fourier modes is presented. The resulting synthetic roughness fields are smooth and are compatible with grid generators in computational fluid dynamics or other numerical simulations. Unlike machine learning methods, which can require over twenty scans of surface roughness for training, the Fourier mode based method can extrapolate homogeneous synthetic roughness fields using a single physical roughness scan to any desired size and range. Five types of synthetic roughness fields are generated using an electron microscope roughness image from literature. A comparison of their spectral energy and two-point correlation spectra show that the synthetic fields closely approximate the roughness structures and spectral energy of the scan.


title: Modeling Opinion Toroidal Polarization: Insights from Bounding Confidence Beyond, Distance Matters

abstract: Deterministic dynamics is a mathematical model used to describe the temporal evolution of a system, generally expressed as dx/dt = F(x), where x represents the system's state, and F(x) determines its dynamics. It is employed to understand long-term system behavior, including opinion formation and polarization in online communities. Opinion dynamics models, like the Katz model and the logistic map, help analyze how individual opinions are influenced within social networks and exhibit chaotic behavior. These models are crucial for studying opinion formation and collective behavior on social media, especially in conjunction with branching theory. For instance, Galam's Ising model applies principles from physics to social sciences, representing individual opinions as "spins" and illustrating how local interactions influence consensus formation. The Bounding Confidence model considers opinions within a confidence interval, showing how opinions converge or polarize. These models effectively analyze opinion dynamics in online communities, aiding in understanding trends and viral phenomena on social media. This research aims to analyze discourse flow and opinion evolution, predicting future trends in online communities and decoding digital-age human interaction dynamics. Combining branching theory with opinion dynamics models enhances our understanding of digital communication. In the modified opinion dynamics model, the weight parameter h for distance introduces distance-based interaction terms. The update equation is adjusted to control interaction strength based on distance, with hij calculated from the distance dij. This customization allows for a more accurate representation of opinion dynamics in specific scenarios, forming the basis for discussions in this paper.