title: Efficient Frameworks for Generalized Low-Rank Matrix Bandit Problems

abstract: In the stochastic contextual low-rank matrix bandit problem, the expected reward of an action is given by the inner product between the action's feature matrix and some fixed, but initially unknown $d_1$ by $d_2$ matrix $\Theta^*$ with rank $r \ll \{d_1, d_2\}$, and an agent sequentially takes actions based on past experience to maximize the cumulative reward. In this paper, we study the generalized low-rank matrix bandit problem, which has been recently proposed in \cite{lu2021low} under the Generalized Linear Model (GLM) framework. To overcome the computational infeasibility and theoretical restrain of existing algorithms on this problem, we first propose the G-ESTT framework that modifies the idea from \cite{jun2019bilinear} by using Stein's method on the subspace estimation and then leverage the estimated subspaces via a regularization idea. Furthermore, we remarkably improve the efficiency of G-ESTT by using a novel exclusion idea on the estimated subspace instead, and propose the G-ESTS framework. We also show that G-ESTT can achieve the $\tilde{O}(\sqrt{(d_1+d_2)MrT})$ bound of regret while G-ESTS can achineve the $\tilde{O}(\sqrt{(d_1+d_2)^{3/2}Mr^{3/2}T})$ bound of regret under mild assumption up to logarithm terms, where $M$ is some problem dependent value. Under a reasonable assumption that $M = O((d_1+d_2)^2)$ in our problem setting, the regret of G-ESTT is consistent with the current best regret of $\tilde{O}((d_1+d_2)^{3/2} \sqrt{rT}/D_{rr})$~\citep{lu2021low} ($D_{rr}$ will be defined later). For completeness, we conduct experiments to illustrate that our proposed algorithms, especially G-ESTS, are also computationally tractable and consistently outperform other state-of-the-art (generalized) linear matrix bandit methods based on a suite of simulations.


title: Embezzlement of entanglement, quantum fields, and the classification of von Neumann algebras

abstract: We study the quantum information theoretic task of embezzlement of entanglement in the setting of von Neumann algebras. Given a shared entangled resource state, this task asks to produce arbitrary entangled states using local operations without communication while perturbing the resource arbitrarily little. We quantify the performance of a given resource state by the worst-case error. States for which the latter vanishes are 'embezzling states' as they allow to embezzle arbitrary entangled states with arbitrarily small error. The best and worst performance among all states defines two algebraic invariants for von Neumann algebras. The first invariant takes only two values. Either it vanishes and embezzling states exist, which can only happen in type III, or no state allows for nontrivial embezzlement. In the case of factors not of finite type I, the second invariant equals the diameter of the state space. This provides a quantitative operational interpretation of Connes' classification of type III factors within quantum information theory. Type III$_1$ factors are 'universal embezzlers' where every state is embezzling. Our findings have implications for relativistic quantum field theory, where type III algebras naturally appear. For instance, they explain the maximal violation of Bell inequalities in the vacuum. Our results follow from a one-to-one correspondence between embezzling states and invariant probability measures on the flow of weights. We also establish that universally embezzling ITPFI factors are of type III$_1$ by elementary arguments.


title: Multi-Physics Model Bias Correction with Data-Driven Reduced Order Modelling Techniques: Application to Nuclear Case Studies

abstract: Nowadays, interest in combining mathematical knowledge about phenomena and data from the physical system is growing. Past research was devoted to developing so-called high-fidelity models, intending to make them able to catch most of the physical phenomena occurring in the system. Nevertheless, models will always be affected by uncertainties related, for example, to the parameters and inevitably limited by the underlying simplifying hypotheses on, for example, geometry and mathematical equations; thus, in a way, there exists an upper threshold of model performance. Now, research in many engineering sectors also focuses on the so-called data-driven modelling, which aims at extracting information from available data to combine it with the mathematical model. Focusing on the nuclear field, interest in this approach is also related to the Multi-Physics modelling of nuclear reactors. Due to the multiple physics involved and their mutual and complex interactions, developing accurate and stable models both from the physical and numerical point of view remains a challenging task despite the advancements in computational hardware and software, and combining the available mathematical model with data can further improve the performance and the accuracy of the former. This work investigates this aspect by applying two Data-Driven Reduced Order Modelling (DDROM) techniques, the Generalised Empirical Interpolation Method and the Parametrised-Background Data-Weak formulation, to literature benchmark nuclear case studies. The main goal of this work is to assess the possibility of using data to perform model bias correction, that is, verifying the reliability of DDROM approaches in improving the model performance and accuracy through the information provided by the data. The obtained numerical results are promising, foreseeing further investigation of the DDROM approach to nuclear industrial cases.


title: Small Language Model Can Self-correct

abstract: Generative Language Models (LMs) such as ChatGPT have exhibited remarkable performance across various downstream tasks. Nevertheless, one of their most prominent drawbacks is generating inaccurate or false information with a confident tone. Previous studies have devised sophisticated pipelines and prompts to induce large LMs to exhibit the capability for self-correction. However, large LMs are explicitly prompted to verify and modify its answers separately rather than completing all steps spontaneously like humans. Moreover, these complex prompts are extremely challenging for small LMs to follow. In this paper, we introduce the \underline{I}ntrinsic \underline{S}elf-\underline{C}orrection (ISC) in generative language models, aiming to correct the initial output of LMs in a self-triggered manner, even for those small LMs with 6 billion parameters. Specifically, we devise a pipeline for constructing self-correction data and propose Partial Answer Masking (PAM), aiming to endow the model with the capability for intrinsic self-correction through fine-tuning. We conduct experiments using LMs with parameters sizes ranging from 6 billion to 13 billion in two tasks, including commonsense reasoning and factual knowledge reasoning. Our experiments demonstrate that the outputs generated using ISC outperform those generated without self-correction. We believe that the output quality of even small LMs can be further improved by empowering them with the ability to intrinsic self-correct.


title: Quantum information processing with superconducting circuits: realizing and characterizing quantum gates and algorithms in open quantum systems

abstract: This thesis focuses on quantum information processing using the superconducting device, especially, on realizing quantum gates and algorithms in open quantum systems. Such a device is constructed by transmon-type superconducting qubits coupled to a superconducting resonator. For the realization of quantum gates and algorithms, a one-step approach is used. We suggest faster and more efficient schemes for realizing $X$-rotation and entangling gates for two and three qubits. During these operations, the resonator photon number is canceled owing to the strong microwave field added. They do not require the resonator to be initially prepared in the vacuum state and the scheme is insensitive to resonator decay. Furthermore, the robustness of these operations is demonstrated by including the effect of the decoherence of transmon systems and the resonator decay in a master equation, and as a result, high fidelity will be achieved in quantum simulation. In addition, using the implemented x-rotation gates as well as the phase gates, we present an alternative way for implementing Grover's algorithm for two and three qubits, which does not require a series of single gates. As well, we also demonstrate by a numerical simulation the use of quantum process tomography to fully characterize the performance of a single-shot entangling gate for two and three qubits and obtain process fidelities greater than 0.93. These gates are used to create Bell and Greenberger-Horne-Zeilinger (GHZ) entangled states.


title: On extensions of the Jacobson-Morozov theorem to even characteristic

abstract: Let G be a simple algebraic group over an algebraically closed field k of characteristic 2. We consider analogues of the Jacobson-Morozov theorem in this setting. More precisely, we classify those nilpotent elements with a simple 3-dimensional Lie overalgebra in $\mathfrak{g} := \text{Lie}(G)$ and also those with overalgebras isomorphic to the algebras $\text{Lie}(\text{SL}_2)$ and $\text{Lie}(\text{PGL}_2)$. This leads us to calculate the dimension of Lie automiser $\mathfrak{n}_\mathfrak{g}(k\cdot e)/\mathfrak{c}_\mathfrak{g}(e)$ for all nilpotent orbits; in even characteristic this quantity is very sensitive to isogeny.


title: Training Custom Light Curve Models of SN Ia Sub-Populations Selected According to Host Galaxy Properties

abstract: Type Ia supernova (SN Ia) cosmology analyses include a luminosity step function in their distance standardization process to account for an observed yet unexplained difference in the post-standardization luminosities of SNe Ia originating from different host galaxy populations (e.g., high-mass ($M \gtrsim 10^{10} M_{\odot}$) versus low-mass galaxies). We present a novel method for including host-mass correlations in the SALT3 light curve model used for standardising SN Ia distances. We split the SALT3 training sample according to host-mass, training independent models for the low- and high-host-mass samples. Our models indicate that there are different average Si II spectral feature strengths between the two populations, and that the average SED of SNe from low-mass galaxies is bluer than the high-mass counterpart. We then use our trained models to perform a SN cosmology analysis on the 3-year spectroscopically confirmed Dark Energy Survey SN sample, treating SNe from low- and high-mass host galaxies as separate populations throughout. We find that our mass-split models reduce the Hubble residual scatter in the sample, albeit at a low statistical significance. We do find a reduction in the mass-correlated luminosity step but conclude that this arises from the model-dependent re-definition of the fiducial SN absolute magnitude rather than the models themselves. Our results stress the importance of adopting a standard definition of the SN parameters ($x_0, x_1, c$) in order to extract the most value out of the light curve modelling tools that are currently available and to correctly interpret results that are fit with different models.


title: Detecting Service Slowdown using Observational Data

abstract: Being able to detect service slowdowns is crucial to many operational problems. We study how to use observational congestion data to detect service slowdown in a multi-server system, and in particular, the statistical implications of running adaptive congestion control mechanisms in such settings. We show that a commonly used summary statistic that relies on the marginal congestion measured at individual servers can be highly inaccurate in the presence of adaptive congestion control. We propose a new statistic based on potential routing actions, and show it provides a much more robust signal for server slowdown in these settings. Unlike the marginal statistic, potential action aims to detect changes in the routing actions, and is able to uncover slowdowns even when they do not reflect in marginal congestion. Our work highlights the complexity in performing observational statistical analysis for service systems in the presence of adaptive congestion control. Our results also suggest that practitioners may want to combine multiple, orthogonal statistics to achieve reliable slowdown detection.


title: Interaction between forced and natural convection in a thin cylindrical fluid layer at low Prandtl number

abstract: Motivated by nuclear safety issues, we study the heat transfers in a thin cylindrical fluid layer with imposed fluxes at the bottom and top surfaces (not necessarily equal) and a fixed temperature on the sides. We combine direct numerical simulations and a theoretical approach to derive scaling laws for the mean temperature and for the temperature difference between the top and bottom of the system. We find two asymptotic scaling laws depending on the flux ratio between the upper and lower boundaries. The first one is controlled by heat transfer to the side, for which we recover scaling laws characteristic of natural convection. The second one is driven by vertical heat transfers analogous to Rayleigh Benard convection. We show that the system is inherently inhomogeneous, and that the heat transfer results from a superposition of both asymptotic regimes. Keeping in mind nuclear safety models, we also derive a one-dimensional model of the radial temperature profile based on a detailed analysis of the flow structure, hence providing a way to relate this profile to the imposed boundary conditions.


title: Introduction to Loop Quantum Gravity. The Holst's action and the covariant formalism

abstract: We review Holst formalism and we discuss dynamical equivalence with standard GR (in dimension 4). Holst formalism is written for a spin coframe field $e^I_\mu$ and a $Spin(3,1)$-connection $\omega^{IJ}_\mu$ on spacetime $M$ and it depends on the Holst parameter $\gamma\in \mathbb{R}-\{0\}$. We show the model is dynamically equivalent to standard GR, in the sense that up to a pointwise $Spin(3,1)$-gauge transformation acting on frame indices, solutions of the two models are in one-to-one correspondence. Hence the two models are classically equivalent. One can also introduce new variables by splitting the spin connection into a pair of a $Spin(3)$-connection $A^i_\mu$ and a $Spin(3)$-valued 1-form $k^i_\mu$. The construction of these new variables relies on a particular algebraic structure, called a reductive splitting. A reductive splitting is a weaker structure than requiring that the gauge group splits as the products of two sub-groups, as it happens in Euclidean signature in the selfdual formulation originally introduced in this context by Ashtekar, and it still allows to deal with the Lorentzian signature without resorting to complexifications. The reductive splitting of $SL(2, \mathbb{C})$ is not unique and it is parameterized by a real parameter $\beta$, called the Immirzi parameter. The splitting is here done on spacetime, not on space, to obtain a $Spin(3)$-connection $A^i_\mu$, which is called the Barbero-Immirzi connection on spacetime. One obtains a covariant model depending on the fields $(e^I_\mu, A^i_\mu, k^i_\mu)$ which is again dynamically equivalent to standard GR (as well as the Holst action). Usually, in the literature one sets $\beta=\gamma$ for the sake of simplicity. Here we keep the Holst and Immirzi parameters distinct to show that eventually, only $\beta$ will survive in boundary field equations.


title: Structured Acyclic Nets

abstract: The concept of structured occurrence nets is an extension of that of occurrence nets which are directed acyclic graphs that represent causality and concurrency information concerning a single execution of a distributed system. The formalism of structured occurrence nets has been introduced to facilitate the portrayal and analysis of the behaviours, and in particular failures, of complex evolving systems. Such systems are composed of a large number of sub-systems which may proceed concurrently and interact with each other and with the external environment while their behaviour is subject to modification by other systems. The purpose of this paper is to provide an extension of structured occurrence nets to include models built up of acyclic nets rather than occurrence nets.


title: Nearly homogeneous and isotropic turbulence generated by the interaction of supersonic jets

abstract: This study reports the development and characterization of a multiple-supersonic-jet wind tunnel designed to investigate the decay of nearly homogeneous and isotropic turbulence in a compressible regime. The interaction of 36 supersonic jets generates turbulence that decays in the streamwise direction. The velocity field is measured with particle image velocimetry by seeding tracer particles with ethanol condensation. Various velocity statistics are evaluated to diagnose decaying turbulence generated by the supersonic jet interaction. The flow is initially inhomogeneous and anisotropic and possesses intermittent large-scale velocity fluctuations. The flow evolves into a statistically homogeneous and isotropic state as the mean velocity profile becomes uniform. In the nearly homogeneous and isotropic region, the ratio of root-mean-squared velocity fluctuations in the streamwise and vertical directions is about 1.08, the longitudinal integral scales are also similar in these directions, and the large-scale intermittency becomes insignificant. The turbulent kinetic energy per unit mass decays according to a power law with an exponent of about 2, larger than those reported for incompressible grid turbulence. The energy spectra in the inertial subrange agree well with other turbulent flows when normalized by the dissipation rate and kinematic viscosity. The non-dimensional dissipation rate is within a range of 0.51--0.87, which is also consistent with incompressible grid turbulence. These results demonstrate that the multiple-supersonic-jet wind tunnel is helpful in the investigation of decaying homogeneous isotropic turbulence whose generation process is strongly influenced by fluid compressibility.


title: Harnessing Large Language Models Over Transformer Models for Detecting Bengali Depressive Social Media Text: A Comprehensive Study

abstract: In an era where the silent struggle of underdiagnosed depression pervades globally, our research delves into the crucial link between mental health and social media. This work focuses on early detection of depression, particularly in extroverted social media users, using LLMs such as GPT 3.5, GPT 4 and our proposed GPT 3.5 fine-tuned model DepGPT, as well as advanced Deep learning models(LSTM, Bi-LSTM, GRU, BiGRU) and Transformer models(BERT, BanglaBERT, SahajBERT, BanglaBERT-Base). The study categorized Reddit and X datasets into "Depressive" and "Non-Depressive" segments, translated into Bengali by native speakers with expertise in mental health, resulting in the creation of the Bengali Social Media Depressive Dataset (BSMDD). Our work provides full architecture details for each model and a methodical way to assess their performance in Bengali depressive text categorization using zero-shot and few-shot learning techniques. Our work demonstrates the superiority of SahajBERT and Bi-LSTM with FastText embeddings in their respective domains also tackles explainability issues with transformer models and emphasizes the effectiveness of LLMs, especially DepGPT, demonstrating flexibility and competence in a range of learning contexts. According to the experiment results, the proposed model, DepGPT, outperformed not only Alpaca Lora 7B in zero-shot and few-shot scenarios but also every other model, achieving a near-perfect accuracy of 0.9796 and an F1-score of 0.9804, high recall, and exceptional precision. Although competitive, GPT-3.5 Turbo and Alpaca Lora 7B show relatively poorer effectiveness in zero-shot and few-shot situations. The work emphasizes the effectiveness and flexibility of LLMs in a variety of linguistic circumstances, providing insightful information about the complex field of depression detection models.


title: Effective Dielectric Response of Dense Ferroelectric Nanocomposites

abstract: We measured the temperature dependences of the capacity and dielectric losses of the tape-casted dense ferroelectric composites consisting of 28 vol.% BaTiO3 nanoparticles (average size 24 nm) in the polyvinyl butyral polymer and 35 vol.% BaTiO3 microparticles (0.5-0.7 {\mu}m) dispersed in the ethyl-cellulose, as well as the ceramics made from the nanoparticles using the annealing at 1250oC. The composite films were covered with Ag electrodes and the measurements were performed in a wide frequency range. Using the Lichtenecker effective media approximation, we analysed the effective dielectric response of the dense ferroelectric composites. To establish the phase state of the nanoparticles, we analysed the static 137Ba NMR spectra of BaTiO3 nanoparticles in a wide temperature range from 200 to 400 K. Obtained results revealed that the ferroelectric properties of the nanoparticles contribute to the effective dielectric response of the composites in a significantly different way than predicted by the effective media model. This counterintuitive conclusion indicates on the strong crosstalk effects in the dense ferroelectric nanocomposites, which can be very promising for their applications in nanoelectronics and energy storage.


title: Understanding Nonlinear Collaboration between Human and AI Agents: A Co-design Framework for Creative Design

abstract: Creative design is a nonlinear process where designers generate diverse ideas in the pursuit of an open-ended goal and converge towards consensus through iterative remixing. In contrast, AI-powered design tools often employ a linear sequence of incremental and precise instructions to approximate design objectives. Such operations violate customary creative design practices and thus hinder AI agents' ability to complete creative design tasks. To explore better human-AI co-design tools, we first summarize human designers' practices through a formative study with 12 design experts. Taking graphic design as a representative scenario, we formulate a nonlinear human-AI co-design framework and develop a proof-of-concept prototype, OptiMuse. We evaluate OptiMuse and validate the nonlinear framework through a comparative study. We notice a subconscious change in people's attitudes towards AI agents, shifting from perceiving them as mere executors to regarding them as opinionated colleagues. This shift effectively fostered the exploration and reflection processes of individual designers.


title: Score-matching neural networks for improved multi-band source separation

abstract: We present the implementation of a score-matching neural network that represents a data-driven prior for non-parametric galaxy morphologies. The gradients of this prior can be included in the optimization routine of the recently developed multi-band modeling framework Scarlet2, a redesign of the Scarlet method currently employed as deblender in the pipelines of the HyperSuprimeCam survey and the Rubin Observatory. The addition of the prior avoids the requirement of nondifferentiable constraints, which can lead to convergence failures we discovered in Scarlet. We present the architecture and training details of our score-matching neural network and show with simulated Rubin-like observations that Scarlet2 outperforms Scarlet in accuracy of total flux and morphology estimates, while maintaining excellent performance for colors. We also demonstrate significant improvements in the robustness to inaccurate initializations. Scarlet2 is written in python, extendend by JAX and equinox, and is fully GPU compatible. The implementation and data package of the score model are publicly available at https://github.com/pmelchior/scarlet2.


title: MapGPT: Map-Guided Prompting with Adaptive Path Planning for Vision-and-Language Navigation

abstract: Embodied agents equipped with GPT as their brains have exhibited extraordinary decision-making and generalization abilities across various tasks. However, existing zero-shot agents for vision-and-language navigation (VLN) only prompt GPT-4 to select potential locations within localized environments, without constructing an effective "global-view" for the agent to understand the overall environment. In this work, we present a novel map-guided GPT-based agent, dubbed MapGPT, which introduces an online linguistic-formed map to encourage global exploration. Specifically, we build an online map and incorporate it into the prompts that include node information and topological relationships, to help GPT understand the spatial environment. Benefiting from this design, we further propose an adaptive planning mechanism to assist the agent in performing multi-step path planning based on a map, systematically exploring multiple candidate nodes or sub-goals step by step. Extensive experiments demonstrate that our MapGPT is applicable to both GPT-4 and GPT-4V, achieving state-of-the-art zero-shot performance on R2R and REVERIE simultaneously (~10% and ~12% improvements in SR), and showcasing the newly emergent global thinking and path planning abilities of the GPT.


title: Ultrasensitive piezoelectric sensor based on two-dimensional Na2Cl crystals with periodic atom vacancies

abstract: Pursuing ultrasensitivity of pressure sensors has been a long-standing goal. Here, we report a piezoelectric sensor that exhibits supreme pressure-sensing performance, including a peak sensitivity up to 3.5*10^6 kPa^-1 in the pressure range of 1-100 mPa and a detection limit of less than 1 mPa, superior to the current state-of-the-art pressure sensors. These properties are attributed to the high percentage of periodic atom vacancies in the two-dimensional Na2Cl crystals formed within multilayered graphene oxide membrane in the sensor, which provides giant polarization with high stability. The sensor can even clearly detect the airflow fluctuations surrounding a flapping butterfly, which have long been the elusive tiny signals in the famous "butterfly effect". The finding represents a step towards next-generation pressure sensors for various precision applications.


title: Finding Privacy-relevant Source Code

abstract: Privacy code review is a critical process that enables developers and legal experts to ensure compliance with data protection regulations. However, the task is challenging due to resource constraints. To address this, we introduce the concept of privacy-relevant methods - specific methods in code that are directly involved in the processing of personal data. We then present an automated approach to assist in code review by identifying and categorizing these privacy-relevant methods in source code. Using static analysis, we identify a set of methods based on their occurrences in 50 commonly used libraries. We then rank these methods according to their frequency of invocation with actual personal data in the top 30 GitHub applications. The highest-ranked methods are the ones we designate as privacy-relevant in practice. For our evaluation, we examined 100 open-source applications and found that our approach identifies fewer than 5% of the methods as privacy-relevant for personal data processing. This reduces the time required for code reviews. Case studies on Signal Desktop and Cal.com further validate the effectiveness of our approach in aiding code reviewers to produce enhanced reports that facilitate compliance with privacy regulations.


title: Remarks on some Limit Geometric Properties related to an Idempotent and Non-Associative Algebraic Structure

abstract: This paper analyses the geometric properties of an idempotent and non-associative algebraic structure which extends the Max-Times semi-ring. This algebraic structure is useful for analyzing systems of Max-Times and Max-Plus equations (using an appropriate notion of non-associative determinant). We consider a related ultrametric distance and show that it implies, among other things, an analogue of the Pythagorean relation. To that end, we propose a suitable notion of right angle between two vectors and analyse a trigonometric like concept related to the Tshebishev unit ball. Along this line, we study the possible implications of these properties for the complex plane. We give the algebraic definition of a line passing through two points which turns out to be the Painlev\'e-Peano-Kuratowski limit on a sequence of generalized lines. We show that this definition implies some particular geometric properties; in particular two distinct parallel lines can have an infinite number of points in common.


title: Isospin splitting of the Dirac mass probed by the relativistic Brueckner-Hartree-Fock theory in the full Dirac space

abstract: The isospin splitting of the Dirac mass obtained with the relativistic Brueckner-Hartree-Fock (RBHF) theory is thoroughly investigated. From the perspective in the full Dirac space, the long-standing controversy between the momentum-independence approximation (MIA) method and the projection method on the isospin splitting of the Dirac mass in asymmetric nuclear matter (ANM) is analyzed in detail. We find that, the \textit{assumption procedure} of the MIA method, which assumes that the single-particle potentials are momentum independent, is not a sufficient condition that directly leads to the wrong sign of the isospin splitting of the Dirac mass, while the \textit{extraction procedure} of the MIA method, which extracts the single-particle potentials from the single-particle potential energy, leads to the wrong sign. By approximately solving the set of equations involved in the \textit{extraction procedure}, a formal expression of the Dirac mass is obtained. The wrong isospin splitting of the Dirac mass is mainly caused by that the \textit{extraction procedure} forcely assumes the momentum dependence of the single-particle potential energy to be a quadratic form where the strength is solely determined by the constant scalar potential.


title: The MacWilliams Identity for Krawtchouk Association Schemes

abstract: The MacWilliams Identity is a well established theorem relating the weight enumerator of a code to the weight enumerator of its dual. The ability to use a known weight enumerator to generate the weight enumerator of another through a simple transform proved highly effective and efficient. An equivalent relation was also developed by Delsarte which linked the eigenvalues of any association scheme to the eigenvalues of it's dual association scheme but this was less practical to use in reality. A functional transform was developed for some specific association schemes including those based on the rank metric, the skew rank metric and Hermitian matrices. In this paper those results are unified into a single consistent theory applied to these "Krawtchouk association schemes" using a $b$-algebra. The derivatives formed using the $b$-algebra have also been applied to derive the moments of the weight distribution for any code within these association schemes.


title: Massive Red Spiral Galaxies in SDSS-IV MaNGA Survey

abstract: Massive red spiral galaxies (MRSGs) are supposed to be the possible progenitors of lenticular galaxies (S0s). We select a large sample of MRSGs ($M_*>10^{10.5}\rm M_{\odot}$) from MaNGA DR17 using the $g-r$ color vs. stellar mass diagram, along with control samples of blue spirals and S0s. Our main results are as follows: (1) After comparing the S$\rm \acute{e}$rsic index, concentration parameter, asymmetry parameter distribution, size-mass relation and $\Sigma_1$ (stellar mass surface density within the central 1 kpc)-mass relation, we find MRSGs are similar to S0s and have more compact and symmetric structures than blue spirals. MRSGs also resemble S0s in Dn4000, metallicity, Mgb/$\rm \left \langle Fe \right \rangle$ and $V/\sigma$ radial profile. (2) By using MaNGA 2D spectra data, we separate the spatial regions into inner (R < 0.8$R_{\rm e}$) and outer (0.8$R_{\rm e}$ < R < 1.5$R_{\rm e}$) regions, and detect residual star formation in the outer regions of MRSGs. (3) When we select a sub-sample of MRSGs with NUV$-r$ > 5, we find that they are completely star-formation quenched in both inner and outer regions. Compared to optically selected MRSGs, NUV$-r$ selected MRSGs appear to be more concentrated and have more massive dark matter halos. The similarities between S0s and MRSGs suggest the possible evolutionary trend between MRSGs and S0s.


title: On the moments of averages of Ramanujan sums

abstract: Chan and Kumchev studied averages of the first and second moments of Ramanujan sums. In this article, we extend this investigation by estimating the higher moments of averages of Ramanujan sums using the Br\`eteche Tauberian theorem. We also give a result for the moments of averages of Cohen-Ramanujan sums.


title: RSUD20K: A Dataset for Road Scene Understanding In Autonomous Driving

abstract: Road scene understanding is crucial in autonomous driving, enabling machines to perceive the visual environment. However, recent object detectors tailored for learning on datasets collected from certain geographical locations struggle to generalize across different locations. In this paper, we present RSUD20K, a new dataset for road scene understanding, comprised of over 20K high-resolution images from the driving perspective on Bangladesh roads, and includes 130K bounding box annotations for 13 objects. This challenging dataset encompasses diverse road scenes, narrow streets and highways, featuring objects from different viewpoints and scenes from crowded environments with densely cluttered objects and various weather conditions. Our work significantly improves upon previous efforts, providing detailed annotations and increased object complexity. We thoroughly examine the dataset, benchmarking various state-of-the-art object detectors and exploring large vision models as image annotators.


title: MapNeXt: Revisiting Training and Scaling Practices for Online Vectorized HD Map Construction

abstract: High-Definition (HD) maps are pivotal to autopilot navigation. Integrating the capability of lightweight HD map construction at runtime into a self-driving system recently emerges as a promising direction. In this surge, vision-only perception stands out, as a camera rig can still perceive the stereo information, let alone its appealing signature of portability and economy. The latest MapTR architecture solves the online HD map construction task in an end-to-end fashion but its potential is yet to be explored. In this work, we present a full-scale upgrade of MapTR and propose MapNeXt, the next generation of HD map learning architecture, delivering major contributions from the model training and scaling perspectives. After shedding light on the training dynamics of MapTR and exploiting the supervision from map elements thoroughly, MapNeXt-Tiny raises the mAP of MapTR-Tiny from 49.0% to 54.8%, without any architectural modifications. Enjoying the fruit of map segmentation pre-training, MapNeXt-Base further lifts the mAP up to 63.9% that has already outperformed the prior art, a multi-modality MapTR, by 1.4% while being $\sim1.8\times$ faster. Towards pushing the performance frontier to the next level, we draw two conclusions on practical model scaling: increased query favors a larger decoder network for adequate digestion; a large backbone steadily promotes the final accuracy without bells and whistles. Building upon these two rules of thumb, MapNeXt-Huge achieves state-of-the-art performance on the challenging nuScenes benchmark. Specifically, we push the mapless vision-only single-model performance to be over 78% for the first time, exceeding the best model from existing methods by 16%.


title: Small LLMs Are Weak Tool Learners: A Multi-LLM Agent

abstract: Large Language Model (LLM) agents significantly extend the capabilities of standalone LLMs, empowering them to interact with external tools (e.g., APIs, functions) and complete various tasks in a self-directed fashion. The challenge of tool use demands that LLMs not only understand user queries and generate answers accurately but also excel in task planning, tool invocation, and result summarization. While traditional works focus on training a single LLM with all these capabilities, performance limitations become apparent, particularly with smaller models. To overcome these challenges, we propose a novel approach that decomposes the aforementioned capabilities into a planner, caller, and summarizer. Each component is implemented by a single LLM that focuses on a specific capability and collaborates with others to accomplish the task. This modular framework facilitates individual updates and the potential use of smaller LLMs for building each capability. To effectively train this framework, we introduce a two-stage training paradigm. First, we fine-tune a backbone LLM on the entire dataset without discriminating sub-tasks, providing the model with a comprehensive understanding of the task. Second, the fine-tuned LLM is used to instantiate the planner, caller, and summarizer respectively, which are continually fine-tuned on respective sub-tasks. Evaluation across various tool-use benchmarks illustrates that our proposed multi-LLM framework surpasses the traditional single-LLM approach, highlighting its efficacy and advantages in tool learning.


title: Randomly Pruning the Sachdev-Ye-Kitaev model

abstract: The Sachdev-Ye-Kitaev model (SYK) is renowned for its short-time chaotic behavior, which plays a fundamental role in its application to various fields such as quantum gravity and holography. The Thouless energy, representing the energy scale at which the universal chaotic behavior in the energy spectrum ceases, can be determined from the spectrum itself. When simulating the SYK model on classical or quantum computers, it is advantageous to minimize the number of terms in the Hamiltonian by randomly pruning the couplings. In this paper, we demonstrate that even with a significant pruning, eliminating a large number of couplings, the chaotic behavior persists up to short time scales This is true even when only a fraction of the original $O(L^4)$ couplings in the fully connected SYK model, specifically $O(KL)$, is retained. Here, $L$ represents the number of sites, and $K\sim 10$. The properties of the long-range energy scales, corresponding to short time scales, are verified through numerical singular value decomposition (SVD) and level number variance calculations.

categories: cond-mat.str-el cond-mat.dis-nn nlin.CD quant-ph


title: Beyond Traditional Approaches: Multi-Task Network for Breast Ultrasound Diagnosis

abstract: Breast Ultrasound plays a vital role in cancer diagnosis as a non-invasive approach with cost-effective. In recent years, with the development of deep learning, many CNN-based approaches have been widely researched in both tumor localization and cancer classification tasks. Even though previous single models achieved great performance in both tasks, these methods have some limitations in inference time, GPU requirement, and separate fine-tuning for each model. In this study, we aim to redesign and build end-to-end multi-task architecture to conduct both segmentation and classification. With our proposed approach, we achieved outstanding performance and time efficiency, with 79.8% and 86.4% in DeepLabV3+ architecture in the segmentation task.


title: Progress toward detection of individual TLS in nanomechanical resonators

abstract: The low temperature properties of amorphous solids are usually explained in terms of atomic-scale tunneling two level systems (TLS). For almost 20 years, individual TLS have been probed in insulating layers of superconducting quantum circuits. Detecting individual TLS in mechanical systems has been proposed but not definitively demonstrated. We describe an optomechanical system that is appropriate for this goal and describe our progress toward achieving it. In particular, we show that the expected coupling between the mechanical mode and a resonant TLS is strong enough for high visibility of a TLS given the linewidth of the mechanical mode. Furthermore, the electronic noise level of our measurement system is low enough and the anomalous force noise observed in other nanomechanical devices is absent.


abstract: The non-decreasing condition on g-vectors is introduced. Our study shows that this condition is both necessary and sufficient to ensure that the generically indecomposable direct summands of a given g-vector are linearly independent. Additionally, we prove that for any finite dimensional algebra $\Lambda$, under the non-decreasing condition, the number of generically indecomposable irreducible components that appear in the decomposition of a given generically $\tau$-reduced component is lower than or equal to $|\Lambda|$. This solves the conjecture concerning the cardinality of component clusters by Cerulli-Labardini-Schr\"oer, in a reasonable generality. Lastly, we study numerical criteria to check the wildness of g-vectors.


title: Attention-based UNet enabled Lightweight Image Semantic Communication System over Internet of Things

abstract: This paper studies the problem of the lightweight image semantic communication system that is deployed on Internet of Things (IoT) devices. In the considered system model, devices must use semantic communication techniques to support user behavior recognition in ultimate video service with high data transmission efficiency. However, it is computationally expensive for IoT devices to deploy semantic codecs due to the complex calculation processes of deep learning (DL) based codec training and inference. To make it affordable for IoT devices to deploy semantic communication systems, we propose an attention-based UNet enabled lightweight image semantic communication (LSSC) system, which achieves low computational complexity and small model size. In particular, we first let the LSSC system train the codec at the edge server to reduce the training computation load on IoT devices. Then, we introduce the convolutional block attention module (CBAM) to extract the image semantic features and decrease the number of downsampling layers thus reducing the floating-point operations (FLOPs). Finally, we experimentally adjust the structure of the codec and find out the optimal number of downsampling layers. Simulation results show that the proposed LSSC system can reduce the semantic codec FLOPs by 14%, and reduce the model size by 55%, with a sacrifice of 3% accuracy, compared to the baseline. Moreover, the proposed scheme can achieve a higher transmission accuracy than the traditional communication scheme in the low channel signal-to-noise (SNR) region.


title: The evolution of continuum polarization in Type II supernovae as a diagnostic of ejecta morphology

abstract: Linear polarization of the optical continuum of type II supernovae (SNe), together with its temporal evolution, is a promising source of information on the large-scale geometry of their ejecta. To help tap this information we have undertaken 2D polarized radiative transfer calculations to map out the possible landscape of type II SN continuum polarization (Pcont) from 20 to 300d after explosion. Our simulations are based on crafted 2D, axisymmetric ejecta constructed from 1D nonlocal thermodynamic equilibrium time-dependent radiative transfer calculations for a red-supergiant star explosion. Following the approach used in our previous work on SN2012aw, we consider a variety of bipolar explosions in which spherical symmetry is broken by the presence, within ~30deg of the poles, of material with a higher kinetic energy (up to a factor of two) and higher 56Ni abundance (up to a factor of about five, with allowance for 56Ni at high velocity). Our set of eight 2D ejecta configurations produces considerable diversity in Pcont (~7000A), although its maximum of 1-4% occurs systematically around the transition to the nebular phase. Before and after that transition, Pcont may be null, constant, rising, or decreasing, which results from the complex geometry of the depth-dependent density and ionization as well as from optical depth effects. Our modest angle-dependent explosion energy can yield Pcont of 0.5-1% at early times. Residual optical-depth effects can yield an angle-dependent SN brightness and constant polarization at nebular times. Observed values of Pcont tend to be lower than obtained here, suggesting more complicated geometries with competing large-scale structures causing polarization cancellation. Extreme asymmetries seem to be excluded.


title: Rapid Estimation of Left Ventricular Contractility with a Physics-Informed Neural Network Inverse Modeling Approach

abstract: Physics-based computer models based on numerical solution of the governing equations generally cannot make rapid predictions, which in turn, limits their applications in the clinic. To address this issue, we developed a physics-informed neural network (PINN) model that encodes the physics of a closed-loop blood circulation system embedding a left ventricle (LV). The PINN model is trained to satisfy a system of ordinary differential equations (ODEs) associated with a lumped parameter description of the circulatory system. The model predictions have a maximum error of less than 5% when compared to those obtained by solving the ODEs numerically. An inverse modeling approach using the PINN model is also developed to rapidly estimate model parameters (in $\sim$ 3 mins) from single-beat LV pressure and volume waveforms. Using synthetic LV pressure and volume waveforms generated by the PINN model with different model parameter values, we show that the inverse modeling approach can recover the corresponding ground truth values, which suggests that the model parameters are unique. The PINN inverse modeling approach is then applied to estimate LV contractility indexed by the end-systolic elastance $E_{es}$ using waveforms acquired from 11 swine models, including waveforms acquired before and after administration of dobutamine (an inotropic agent) in 3 animals. The estimated $E_{es}$ is about 58% to 284% higher for the data associated with dobutamine compared to those without, which implies that this approach can be used to estimate LV contractility using single-beat measurements. The PINN inverse modeling can potentially be used in the clinic to simultaneously estimate LV contractility and other physiological parameters from single-beat measurements.


title: Non-isochronicity on piecewise Hamiltonian differential systems with homogeneous nonlinearities

abstract: In this paper we prove the non-isochronicity of $\Sigma$-centers for a class of planar piecewise smooth differential systems with a straight switching line, whose two sub-systems are Hamiltonian differential systems with a non-degenerated center and only homogeneous nonlinearities.


title: ELLA-V: Stable Neural Codec Language Modeling with Alignment-guided Sequence Reordering

abstract: The language model (LM) approach based on acoustic and linguistic prompts, such as VALL-E, has achieved remarkable progress in the field of zero-shot audio generation. However, existing methods still have some limitations: 1) repetitions, transpositions, and omissions in the output synthesized speech due to limited alignment constraints between audio and phoneme tokens; 2) challenges of fine-grained control over the synthesized speech with autoregressive (AR) language model; 3) infinite silence generation due to the nature of AR-based decoding, especially under the greedy strategy. To alleviate these issues, we propose ELLA-V, a simple but efficient LM-based zero-shot text-to-speech (TTS) framework, which enables fine-grained control over synthesized audio at the phoneme level. The key to ELLA-V is interleaving sequences of acoustic and phoneme tokens, where phoneme tokens appear ahead of the corresponding acoustic tokens. The experimental findings reveal that our model outperforms VALL-E in terms of accuracy and delivers more stable results using both greedy and sampling-based decoding strategies. The code of ELLA-V will be open-sourced after cleanups. Audio samples are available at https://ereboas.github.io/ELLAV/.


title: Connections between Central Intensity Ratio and hot gas properties of early-type galaxies

abstract: We report strong connections between central intensity ratio (CIR) and hot gas properties of Early-type galaxies (ETGs) in the nearby ($\rm D<30 Mpc$) Universe. We find new strong correlations between (optical) CIR and X-ray gas luminosity ($\rm L_{\rm X,GAS}$) as well as X-ray gas temperature ($\rm T_{GAS}$). These correlations suggest that higher the central gas temperature lower will be the (central) star formation process in ETGs. Correlations of CIR separately with K-band magnitude and age of the sample galaxies, further support suppression of star formation in the central region of ETGs as they grow in mass and age. The systematic and tight variation of CIR with $\rm L_{\rm X,GAS}$ not only shows its remarkable potential to estimate $\rm L_{\rm X,GAS}$ from simple photometry but also helps in transforming the core-coreless dichotomy into a gradual one.


title: On the maximum age resolution achievable through stellar population synthesis models

abstract: As the reconstruction of the star-formation histories (SFH) of galaxies from spectroscopic data becomes increasingly popular, we explore the best age resolution achievable with stellar population synthesis (SPS) models, relying on different constraints: broad-band colours, absorption indices, a combination of the two, and the full spectrum. We perform idealized experiments on SPS models and show that the minimum resolvable relative duration of a star-formation episode (time difference between 10% and 90% of the stellar mass formed divided by the median age) is never better than 0.4, even when using spectra with signal-to-noise ratio (SNR) larger than 100 per AA. Typically, the best relative age resolution ranges between 0.4 and 0.7 over most of the age-metallicity plane, corresponding to minimum bin sizes for SFH sampling between 0.15 and 0.25 dex. This resolution makes the spectroscopic exploration of distant galaxies mandatory in order to reconstruct the early phases of galaxies' SFHs. We show that spectroscopy with SNR $\gtrsim$ 2/AA is essential for good age resolution. Remarkably, using the full spectrum does not prove significantly more effective than relying on absorption indices, especially at SNR $\lesssim$ 20/AA. We discuss the physical origins of the age resolution trends as a function of age and metallicity, and identify the presence of maxima in age resolution (i.e. minima in measurable relative time duration) at the characteristic ages that correspond to quick time variations in spectral absorption features. We connect these maxima to bumps commonly observed in reconstructed SFHs.


title: Construction and Evaluation of Mandarin Multimodal Emotional Speech Database

abstract: A multi-modal emotional speech Mandarin database including articulatory kinematics, acoustics, glottal and facial micro-expressions is designed and established, which is described in detail from the aspects of corpus design, subject selection, recording details and data processing. Where signals are labeled with discrete emotion labels (neutral, happy, pleasant, indifferent, angry, sad, grief) and dimensional emotion labels (pleasure, arousal, dominance). In this paper, the validity of dimension annotation is verified by statistical analysis of dimension annotation data. The SCL-90 scale data of annotators are verified and combined with PAD annotation data for analysis, so as to explore the internal relationship between the outlier phenomenon in annotation and the psychological state of annotators. In order to verify the speech quality and emotion discrimination of the database, this paper uses 3 basic models of SVM, CNN and DNN to calculate the recognition rate of these seven emotions. The results show that the average recognition rate of seven emotions is about 82% when using acoustic data alone. When using glottal data alone, the average recognition rate is about 72%. Using kinematics data alone, the average recognition rate also reaches 55.7%. Therefore, the database is of high quality and can be used as an important source for speech analysis research, especially for the task of multimodal emotional speech analysis.


title: Individual and Collective Welfare in Risk Sharing with Many States

abstract: We investigate the effects of a large (but finite) state space on models of efficient risk sharing. A group of risk-averse agents agree on a risk-sharing agreement in an economy without aggregate risk. The economy is subject to a perturbation, or shock, that prompts a renegotiation of the agreement. If agents insist on an $\ep$-utility improvement to accept a new agreement, then the probability of a post-shock acceptable agreement vanishes exponentially to zero as the number of states grows. We use similar arguments to consider a model where agents have multiple prior preferences, and show that the existence of an $\ep$-Pareto improving trade requires that some sets of priors have vanishingly small measure. Our results hinge on the "shape does not matter" message of high dimensional isoperimetric inequalities.


title: The Pauli group as Galois group of pure polynomials over Q

abstract: We realize the Pauli group $P$ as Galois group of polynomials over the rational numbers. It is shown by construction that it is possible to find \textit{pure} polynomials of the form $X^8+k^2$ for $k\neq \lambda^2, 2\lambda^2; k,\lambda \in \mathbb{N}$, that provide an infinite family of such Galois extensions. This form is also proven to be a necessary condition for a realization of $P$ by an irreducible \textit{pure} polynomial of degree 8. It automatically provides a realization of the quaternion group $Q_8$ by pure polynomials over a quadratic extension of $\mathbb{Q}$, whereas it is shown to be impossible to realize $Q_8$ over $\mathbb{Q}$ by any pure polynomial of degree 8. We link the results to Witt's theory of embedding criteria for the quaternion group via ternary quadratic forms over $\mathbb{Q}$. This provides for a connection to general realizability criteria for embeddings of some finite groups into the Pauli group, and the interesting subtleties therein, via the equivalence of certain quaternion algebras. We thus show how to extend Witt's result of 1936 to an embedding of $Q_8$ into the Pauli group.


title: CodeAgent: Enhancing Code Generation with Tool-Integrated Agent Systems for Real-World Repo-level Coding Challenges

abstract: Large Language Models (LLMs) have shown promise in automated code generation but typically excel only in simpler tasks such as generating standalone code units. Real-world software development, however, often involves complex code repositories (named repo) with complex dependencies and extensive documentation. To fill this gap, our research pivots towards evaluating LLMs in a more realistic setting -- real-world repo-level code generation. We introduce CodeAgentBench, a manually curated benchmark for repo-level code generation. This benchmark comprises five high-quality Python projects, encompassing a total of 101 samples. We assess nine leading LLMs on repo-level tasks and observe a decline in their performance. To tackle this, we present CodeAgent, a novel LLM-based agent framework that employs external tools for effective repo-level code generation. CodeAgent integrates five programming tools, enabling interaction with software artifacts for information retrieval, code symbol navigation, and code testing. We implement four agent strategies to optimize these tools' usage. Our experiments on CodeAgentBench show that CodeAgent enhances LLM performance significantly, with improvements ranging from 18.1\% to 250\%. Further tests on the HumanEval benchmark confirm CodeAgent's adaptability and efficacy across various code generation tasks. Notably, CodeAgent outperforms commercial products like Github Copilot, showcasing superior accuracy and efficiency. These results demonstrate CodeAgent's robust capabilities in code generation, highlighting its potential for real-world repo-level coding challenges.


title: The Afterlives of Shakespeare and Company in Online Social Readership

abstract: The growth of social reading platforms such as Goodreads and LibraryThing enables us to analyze reading activity at very large scale and in remarkable detail. But twenty-first century systems give us a perspective only on contemporary readers. Meanwhile, the digitization of the lending library records of Shakespeare and Company provides a window into the reading activity of an earlier, smaller community in interwar Paris. In this article, we explore the extent to which we can make comparisons between the Shakespeare and Company and Goodreads communities. By quantifying similarities and differences, we can identify patterns in how works have risen or fallen in popularity across these datasets. We can also measure differences in how works are received by measuring similarities and differences in co-reading patterns. Finally, by examining the complete networks of co-readership, we can observe changes in the overall structures of literary reception.


title: Binary weights spanning trees and the $k$-red spanning tree problem in linear time

abstract: We address here spanning tree problems on a graph with binary edge weights. For a general weighted graph the minimum spanning tree is solved in super-linear running time, even when the edges of the graph are pre-sorted. A related problem, of finding a spanning tree with a pre-specified sum of weights, is NP-hard. In contrast, for a graph with binary weights associated with the edges, it is shown that the minimum spanning tree and finding a spanning tree with a given total sum, are solvable in linear time with simple algorithms.


title: Who Said What? An Automated Approach to Analyzing Speech in Preschool Classrooms

abstract: Young children spend substantial portions of their waking hours in noisy preschool classrooms. In these environments, children's vocal interactions with teachers are critical contributors to their language outcomes, but manually transcribing these interactions is prohibitive. Using audio from child- and teacher-worn recorders, we propose an automated framework that uses open source software both to classify speakers (ALICE) and to transcribe their utterances (Whisper). We compare results from our framework to those from a human expert for 110 minutes of classroom recordings, including 85 minutes from child-word microphones (n=4 children) and 25 minutes from teacher-worn microphones (n=2 teachers). The overall proportion of agreement, that is, the proportion of correctly classified teacher and child utterances, was .76, with an error-corrected kappa of .50 and a weighted F1 of .76. The word error rate for both teacher and child transcriptions was .15, meaning that 15% of words would need to be deleted, added, or changed to equate the Whisper and expert transcriptions. Moreover, speech features such as the mean length of utterances in words, the proportion of teacher and child utterances that were questions, and the proportion of utterances that were responded to within 2.5 seconds were similar when calculated separately from expert and automated transcriptions. The results suggest substantial progress in analyzing classroom speech that may support children's language development. Future research using natural language processing is under way to improve speaker classification and to analyze results from the application of the automated framework to a larger dataset containing classroom recordings from 13 children and 3 teachers observed on 17 occasions over one year.


title: Privacy-Preserving Intrusion Detection in Software-defined VANET using Federated Learning with BERT

abstract: The absence of robust security protocols renders the VANET (Vehicle ad-hoc Networks) network open to cyber threats by compromising passengers and road safety. Intrusion Detection Systems (IDS) are widely employed to detect network security threats. With vehicles' high mobility on the road and diverse environments, VANETs devise ever-changing network topologies, lack privacy and security, and have limited bandwidth efficiency. The absence of privacy precautions, End-to-End Encryption methods, and Local Data Processing systems in VANET also present many privacy and security difficulties. So, assessing whether a novel real-time processing IDS approach can be utilized for this emerging technology is crucial. The present study introduces a novel approach for intrusion detection using Federated Learning (FL) capabilities in conjunction with the BERT model for sequence classification (FL-BERT). The significance of data privacy is duly recognized. According to FL methodology, each client has its own local model and dataset. They train their models locally and then send the model's weights to the server. After aggregation, the server aggregates the weights from all clients to update a global model. After aggregation, the global model's weights are shared with the clients. This practice guarantees the secure storage of sensitive raw data on individual clients' devices, effectively protecting privacy. After conducting the federated learning procedure, we assessed our models' performance using a separate test dataset. The FL-BERT technique has yielded promising results, opening avenues for further investigation in this particular area of research. We reached the result of our approaches by comparing existing research works and found that FL-BERT is more effective for privacy and security concerns. Our results suggest that FL-BERT is a promising technique for enhancing attack detection.


title: Robust Genomic Prediction and Heritability Estimation using Density Power Divergence

abstract: This manuscript delves into the intersection of genomics and phenotypic prediction, focusing on the statistical innovation required to navigate the complexities introduced by noisy covariates and confounders. The primary emphasis is on the development of advanced robust statistical models tailored for genomic prediction from single nucleotide polymorphism (SNP) data collected from genome-wide association studies (GWAS) in plant and animal breeding and multi-field trials. The manuscript explores the limitations of traditional marker-assisted recurrent selection, highlighting the significance of incorporating all estimated effects of marker loci into the statistical framework and aiming to reduce the high dimensionality of GWAS data while preserving critical information. This paper introduces a new robust statistical framework for genomic prediction, employing one-stage and two-stage linear mixed model analyses along with utilizing the popular robust minimum density power divergence estimator (MDPDE) to estimate genetic effects on phenotypic traits. The study illustrates the superior performance of the proposed MDPDE-based genomic prediction and associated heritability estimation procedures over existing competitors through extensive empirical experiments on artificial datasets and application to a real-life maize breeding dataset. The results showcase the robustness and accuracy of the proposed MDPDE-based approaches, especially in the presence of data contamination, emphasizing their potential applications in improving breeding programs and advancing genomic prediction of phenotyping traits.


title: Learning to be Homo Economicus: Can an LLM Learn Preferences from Choice

abstract: This paper explores the use of Large Language Models (LLMs) as decision aids, with a focus on their ability to learn preferences and provide personalized recommendations. To establish a baseline, we replicate standard economic experiments on choice under risk (Choi et al., 2007) with GPT, one of the most prominent LLMs, prompted to respond as (i) a human decision maker or (ii) a recommendation system for customers. With these baselines established, GPT is provided with a sample set of choices and prompted to make recommendations based on the provided data. From the data generated by GPT, we identify its (revealed) preferences and explore its ability to learn from data. Our analysis yields three results. First, GPT's choices are consistent with (expected) utility maximization theory. Second, GPT can align its recommendations with people's risk aversion, by recommending less risky portfolios to more risk-averse decision makers, highlighting GPT's potential as a personalized decision aid. Third, however, GPT demonstrates limited alignment when it comes to disappointment aversion.


title: Intuitive but Non-Rigorous Explanations of Infinite Numbers

abstract: The mathematical study of infinity seems to have the ability to transport the mind to lofty and unusual realms. Decades ago, I was transported in this way by Rudy Rucker's book Infinity and the Mind. Despite much subsequent learning and teaching of mathematics in the service of physics and astronomy, there remained quite a few aspects of the "higher infinities" that I was still far from comprehending. Thus, I wanted to dive back in to understand those ideas and to find good ways to explain them to other non-specialists. These notes are an attempt to do this. They begin by discussing huge (but still describable) finite numbers, then they proceed to the concepts of fixed points, Cantor's countably infinite ordinals, transfinite cardinals and the continuum hypothesis, and then to more recent attempts to define still-larger infinities called large cardinals. I should warn the reader that the author is an astrophysicist, so these pedagogic explanations may not be satisfying (or anywhere nearly sufficiently rigorous) to a mathematician. Still, I hope these explanations provide some intuitive insights about concepts that are too large to fit in the physical universe.


title: Neutrino-antineutrino Asymmetry of C$\nu$B on the Surface of the Round Earth

abstract: It has been claimed that the coherent scattering of relic neutrinos with the Earth will result in a neutrino-antineutrino asymmetry of $\mathcal{O}(10^{-4})$ on the Earth surface, which is five orders of magnitude larger than the naive model expectation. In this work we show that this overdensity was overestimated for the perfectly round Earth by solving the exact solution with partial waves. The maximal asymmetry after summing over all the angular modes is only around $10^{-8}$ above the ground. To achieve the proposed asymmetry of $\mathcal{O}(10^{-4})$, a special geography may be needed as the experimental site.


title: Generative AI in EU Law: Liability, Privacy, Intellectual Property, and Cybersecurity

abstract: The advent of Generative AI, particularly through Large Language Models (LLMs) like ChatGPT and its successors, marks a paradigm shift in the AI landscape. Advanced LLMs exhibit multimodality, handling diverse data formats, thereby broadening their application scope. However, the complexity and emergent autonomy of these models introduce challenges in predictability and legal compliance. This paper delves into the legal and regulatory implications of Generative AI and LLMs in the European Union context, analyzing aspects of liability, privacy, intellectual property, and cybersecurity. It critically examines the adequacy of the existing and proposed EU legislation, including the Artificial Intelligence Act (AIA) draft, in addressing the unique challenges posed by Generative AI in general and LLMs in particular. The paper identifies potential gaps and shortcomings in the legislative framework and proposes recommendations to ensure the safe and compliant deployment of generative models, ensuring they align with the EU's evolving digital landscape and legal standards.


title: Investigating coronal loop morphology and dynamics from two vantage points

abstract: Coronal loops serve as the fundamental building blocks of the solar corona. Therefore, comprehending their properties is essential in unraveling the dynamics of the Sun's upper atmosphere. In this study, we conduct a comparative analysis of the morphology and dynamics of a coronal loop observed from two different spacecraft: the High Resolution Imager (HRI$_{EUV}$) of the Extreme Ultraviolet Imager aboard the Solar Orbiter and the Atmospheric Imaging Assembly (AIA) aboard the Solar Dynamics Observatory. These spacecraft were separated by 43$^{\circ}$ during this observation. The main findings of this study are: (1) The observed loop exhibits similar widths in both the HRI$_{EUV}$ and AIA data, suggesting that the cross-sectional shape of the loop is circular; (2) The loop maintains a uniform width along its entire length, supporting the notion that coronal loops do not exhibit expansion; (3) Notably, the loop undergoes unconventional dynamics, including thread separation and abrupt downward movement. Intriguingly, these dynamic features also appear similar in data from both spacecraft. Although based on observation of a single loop, these results raise questions about the validity of the coronal veil hypothesis and underscore the intricate and diverse nature of complexity within coronal loops.


title: Electronic structure and magnetic correlations in trilayer nickelate superconductor La$_4$Ni$_3$O$_{10}$ under pressure

abstract: It has been recently shown that under pressure trilayer Ruddlesden-Popper nickelate La$_4$Ni$_3$O$_{10}$ (LNO) becomes superconducting below a critical temperature $\sim$20 K, in addition to the infinite-layer and bilayer systems. Motivated by this observation, we explore the effects of electron correlations on its electronic structure and magnetic properties using the advanced DFT+dynamical mean-field theory approach. Our results for the normal-state electronic structure and correlation effects in LNO have much in common with the infinite-layer and bilayer nickelates, with a remarkable site- and orbital-dependent renormalizations of the Ni $3d$ bands and notable incoherence of the Ni $d_{3z^2-r^2}$ states, caused by correlation effects. Our analysis of the Fermi surface and magnetic correlations suggests the emergence of competing spin and charge stripe states, implying the importance of in-plane spin fluctuations to explain superconductivity in this material.


title: On min-base palindromic representations of powers of 2

abstract: A positive integer $N$ is \emph{palindromic in the base $b$} when $N = \sum_{i=0}^{k} c_i b^i$, $c_k\neq 0$,and $c_i=c_{k-i},\; i=0,1,2,...,k$, Focusing on powers of 2, we investigate the smallest base $b$ when $N=2^n$ is palindromic in the base $b$.


title: Sublinear Scalarizations for Proper and Approximate Proper Efficient Points in Nonconvex Vector Optimization

abstract: We show that under a separation property, a $\mathcal{Q}$-minimal point in a normed space is the minimum of a given sublinear function. This fact provides sufficient conditions, via scalarization, for nine types of proper efficient points; establishing a characterization in the particular case of Benson proper efficient points. We also obtain necessary and sufficient conditions in terms of scalarization for approximate Benson and Henig proper efficient points. The separation property we handle is a variation of another known property and our scalarization results do not require convexity or boundedness assumptions.


title: Towards Engineering Fair and Equitable Software Systems for Managing Low-Altitude Airspace Authorizations

abstract: Small Unmanned Aircraft Systems (sUAS) have gained widespread adoption across a diverse range of applications. This has introduced operational complexities within shared airspaces and an increase in reported incidents, raising safety concerns. In response, the U.S. Federal Aviation Administration (FAA) is developing a UAS Traffic Management (UTM) system to control access to airspace based on an sUAS's predicted ability to safely complete its mission. However, a fully automated system capable of swiftly approving or denying flight requests can be prone to bias and must consider safety, transparency, and fairness to diverse stakeholders. In this paper, we present an initial study that explores stakeholders' perspectives on factors that should be considered in an automated system. Results indicate flight characteristics and environmental conditions were perceived as most important but pilot and drone capabilities should also be considered. Further, several respondents indicated an aversion to any AI-supported automation, highlighting the need for full transparency in automated decision-making. Results provide a societal perspective on the challenges of automating UTM flight authorization decisions and help frame the ongoing design of a solution acceptable to the broader sUAS community.


title: Criterion of the global solvability of regular and singular differential-algebraic equations

abstract: For regular and nonregular (singular) semilinear differential-algebraic equations (DAEs), we prove theorems on the existence and uniqueness of global solutions and on the blow-up of solutions, which allow one to identify the sets of initial values for which the initial value problem has global solutions and/or for which solutions is blow-up in finite time, as well as the regions that the solutions cannot leave. Together these theorems provide a criterion of the global solvability of semilinear DAEs. As a consequence, we obtain conditions for the global boundedness of solutions.


title: Exploring dark matter-gauge boson effective interactions at the current and future colliders

abstract: In this work, we investigate the collider constraints on effective interactions between Dark Matter (DM) particles and electroweak gauge bosons in a systematic way. We consider the simplified models in which scalar or Dirac fermion DM candidates only couple to electroweak gauge bosons through high dimensional effective operators. Taking into account the induced DM-quarks and DM-gluons operators from the Renormalization Group Evolution (RGE) running effect, we present comprehensive constraints on effective energy scale $\Lambda$ and Wilson coefficients $C_B(\Lambda),\,C_W(\Lambda)$ from direct detection, indirect detection, and collider searches. In particular, we present the corresponding sensitivity from the Large Hadron Electron Collider (LHeC) and the Future Circular Collider in electron-proton mode (FCC-ep) for the first time, update the mono-$j$ and mono-$\gamma$ search limits at the Large Hadron Collider (LHC), and derive the new limits at the Circular Electron Positron Collider (CEPC).


title: BUGSPHP: A dataset for Automated Program Repair in PHP

abstract: Automated Program Repair (APR) improves developer productivity by saving debugging and bug-fixing time. While APR has been extensively explored for C/C++ and Java programs, there is little research on bugs in PHP programs due to the lack of a benchmark PHP bug dataset. This is surprising given that PHP has been one of the most widely used server-side languages for over two decades, being used in a variety of contexts such as e-commerce, social networking, and content management. This paper presents a benchmark dataset of PHP bugs on real-world applications called BUGSPHP, which can enable research on analysis, testing, and repair for PHP programs. The dataset consists of training and test datasets, separately curated from GitHub and processed locally. The training dataset includes more than 600,000 bug-fixing commits. The test dataset contains 513 manually validated bug-fixing commits equipped with developer-provided test cases to assess patch correctness.


title: Rainbow Numbers for the Generalized Schur Equation $x_1 + x_2 + \cdots + x_{m-1} = x_m$

abstract: We consider the rainbow Schur number $RS_m(n)$, defined to be the minimum number of colors such that every coloring of $\{1,2,\ldots,n\}$, using all $RS_m(n)$ colors, contains a rainbow solution to the equation $x_1+x_2+\cdots +x_{m-1}=x_m$. Recently, the exact values of $RS_3(n)$ and $RS_4(n)$ were determined for all $n$. In this paper, we expand upon this work by providing a formula for $RS_m(n)$ that holds for all $m \geq 4$ and all $n$. A weakened version of the rainbow Schur number is also considered, for which one seeks solutions to the above-mentioned linear equation where, for a fixed $t \leq m$, at least $t$ colors are used.


title: Harnessing Machine Learning for Discerning AI-Generated Synthetic Images

abstract: In the realm of digital media, the advent of AI-generated synthetic images has introduced significant challenges in distinguishing between real and fabricated visual content. These images, often indistinguishable from authentic ones, pose a threat to the credibility of digital media, with potential implications for disinformation and fraud. Our research addresses this challenge by employing machine learning techniques to discern between AI-generated and genuine images. Central to our approach is the CIFAKE dataset, a comprehensive collection of images labeled as "Real" and "Fake". We refine and adapt advanced deep learning architectures like ResNet, VGGNet, and DenseNet, utilizing transfer learning to enhance their precision in identifying synthetic images. We also compare these with a baseline model comprising a vanilla Support Vector Machine (SVM) and a custom Convolutional Neural Network (CNN). The experimental results were significant, demonstrating that our optimized deep learning models outperform traditional methods, with DenseNet achieving an accuracy of 97.74%. Our application study contributes by applying and optimizing these advanced models for synthetic image detection, conducting a comparative analysis using various metrics, and demonstrating their superior capability in identifying AI-generated images over traditional machine learning techniques. This research not only advances the field of digital media integrity but also sets a foundation for future explorations into the ethical and technical dimensions of AI-generated content in digital media.


title: Reliability and Interpretability in Science and Deep Learning

abstract: In recent years, the question of the reliability of Machine Learning (ML) methods has acquired significant importance, and the analysis of the associated uncertainties has motivated a growing amount of research. However, most of these studies have applied standard error analysis to ML models, and in particular Deep Neural Network (DNN) models, which represent a rather significant departure from standard scientific modelling. It is therefore necessary to integrate the standard error analysis with a deeper epistemological analysis of the possible differences between DNN models and standard scientific modelling and the possible implications of these differences in the assessment of reliability. This article offers several contributions. First, it emphasises the ubiquitous role of model assumptions (both in ML and traditional Science) against the illusion of theory-free science. Secondly, model assumptions are analysed from the point of view of their (epistemic) complexity, which is shown to be language-independent. It is argued that the high epistemic complexity of DNN models hinders the estimate of their reliability and also their prospect of long-term progress. Some potential ways forward are suggested. Thirdly, this article identifies the close relation between a model's epistemic complexity and its interpretability, as introduced in the context of responsible AI. This clarifies in which sense, and to what extent, the lack of understanding of a model (black-box problem) impacts its interpretability in a way that is independent of individual skills. It also clarifies how interpretability is a precondition for assessing the reliability of any model, which cannot be based on statistical analysis alone. This article focuses on the comparison between traditional scientific models and DNN models. But, Random Forest and Logistic Regression models are also briefly considered.


title: Promptformer: Prompted Conformer Transducer for ASR

abstract: Context cues carry information which can improve multi-turn interactions in automatic speech recognition (ASR) systems. In this paper, we introduce a novel mechanism inspired by hyper-prompting to fuse textual context with acoustic representations in the attention mechanism. Results on a test set with multi-turn interactions show that our method achieves 5.9% relative word error rate reduction (rWERR) over a strong baseline. We show that our method does not degrade in the absence of context and leads to improvements even if the model is trained without context. We further show that leveraging a pre-trained sentence-piece model for context embedding generation can outperform an external BERT model.


title: Fast Summation on the Sphere with Applications to the Barotropic Vorticity Equation

abstract: Fast summation refers to a family of techniques for approximating $O(N^2)$ sums in $O(N\log{N})$ or $O(N)$ time. These techniques have traditionally found wide use in astrophysics and electrostatics in calculating the forces in a $N$-body problem. In this work, we present a spherical tree code, and apply it to the problem of efficiently solving the barotropic vorticity equation.

categories: math.NA cs.NA physics.ao-ph physics.comp-ph physics.flu-dyn


title: Tuneable entangled photon pair generation in a liquid crystal

abstract: Liquid crystals, with their ability of self-assembly, strong response to the electric field, and integrability into complex systems, are key materials in light beam manipulation. Recently discovered ferroelectric nematic liquid crystals also possess a considerable second-order optical nonlinearity, making them a perspective material for nonlinear optics. Their use as sources of quantum light could drastically extend the boundaries of photonic quantum technologies. However, spontaneous parametric down-conversion, the basic source of entangled photons, heralded single photons, and squeezed light, has been so far not observed in liquid crystals - or in any liquids or organic materials. Here, we implement spontaneous parametric down-conversion in a ferroelectric nematic liquid crystal and demonstrate electric-field tunable broadband generation of entangled photons, with the efficiency comparable to that of the best nonlinear crystals. The emission rate and polarization state of photon pairs is dramatically varied by applying a few volts or twisting the molecular orientation along the sample. A liquid crystal source enables a new type of quasi-phasematching, which is based on molecular twist structure and is therefore reconfigurable for the desired spectral and polarization properties of photon pairs. Such sources promise to outperform standard nonlinear optical materials in terms of functionality, brightness and the tunability of the generated quantum state. The concepts developed here can be extended to complex topological structures, macroscopic devices, and multi-pixel tunable quantum light sources.


title: PersonalityChat: Conversation Distillation for Personalized Dialog Modeling with Facts and Traits

abstract: The new wave of Large Language Models (LLM) has offered an efficient tool to curate sizeable conversational datasets. So far studies have mainly focused on task-oriented or generic open-domain dialogs, and have not fully explored the ability of LLMs in following complicated prompts. In this work, we focus on personalization, and employ LLMs to curate a dataset which is difficult and costly to crowd-source: PersonalityChat is a synthetic conversational dataset based upon the popular PersonaChat dataset, but conditioned on both personas and (Big-5) personality traits. Evaluating models fine-tuned on this dataset, we show that the personality trait labels can be used for trait-based personalization of generative dialogue models. We also perform a head-to-head comparison between PersonalityChat and PersonaChat, and show that training on the distilled dataset results in more fluent and coherent dialog agents in the small-model regime.


title: PDE Generalization of In-Context Operator Networks: A Study on 1D Scalar Nonlinear Conservation Laws

abstract: Can we build a single large model for a wide range of PDE-related scientific learning tasks? Can this model generalize to new PDEs, even of new forms, without any fine-tuning? In-context operator learning and the corresponding model In-Context Operator Networks (ICON) represent an initial exploration of these questions. The capability of ICON regarding the first question has been demonstrated previously. In this paper, we present a detailed methodology for solving PDE problems with ICON, and show how a single ICON model can make forward and reverse predictions for different equations with different strides, provided with appropriately designed data prompts. We show the positive evidence to the second question, i.e., ICON can generalize well to some PDEs with new forms without any fine-tuning. This is exemplified through a study on 1D scalar nonlinear conservation laws, a family of PDEs with temporal evolution. We also show how to broaden the range of problems that an ICON model can address, by transforming functions and equations to ICON's capability scope. We believe that the progress in this paper is a significant step towards the goal of training a foundation model for PDE-related tasks under the in-context operator learning framework.


title: Sequential Monte-Carlo testing by betting

abstract: In a Monte-Carlo test, the observed dataset is fixed, and several resampled or permuted versions of the dataset are generated in order to test a null hypothesis that the original dataset is exchangeable with the resampled/permuted ones. Sequential Monte-Carlo tests aim to save computational resources by generating these additional datasets sequentially one by one, and potentially stopping early. While earlier tests yield valid inference at a particular prespecified stopping rule, our work develops a new anytime-valid Monte-Carlo test that can be continuously monitored, yielding a p-value or e-value at any stopping time possibly not specified in advance. Despite the added flexibility, it significantly outperforms the well-known method by Besag and Clifford, stopping earlier under both the null and the alternative without compromising power. The core technical advance is the development of new test martingales (nonnegative martingales with initial value one) for testing exchangeability against a very particular alternative. These test martingales are constructed using new and simple betting strategies that smartly bet on the relative ranks of generated test statistics. The betting strategies are guided by the derivation of a simple log-optimal betting strategy, have closed form expressions for the wealth process, provable guarantees on resampling risk, and display excellent power in practice.


title: Stabilization of molecular hydrogen-bonded chains by carbon nanotubes

abstract: We study numerically nonlinear dynamics of several types of molecular systems composed of hydrogen-bonded chains placed inside carbon nanotubes with open edges. We demonstrate that carbon nanotubes provide a stabilization mechanism for quasi-one-dimensional molecular chains via the formation of their secondary structures. In particular, a polypeptide chain (Gly)$_N$ placed inside a carbon nanotube can form of a stable helical chain ($3_{10}$, $\alpha$, $\pi$ and $\beta$-helix) with parallel chains of hydrogen-bonded peptide groups. A chain of hydrogen fluoride molecules can form hydrogen-bonded zigzag chain. We reveal that in such geometries the hydrogen-bonded chains may remain stable even at $T=500$~K. Thus, our results suggest that the use of carbon nanotubes with encapsulated hydrogen fluoride molecules may support high proton conductivity operating at high temperatures.


title: Active Learning for NLP with Large Language Models

abstract: Human annotation of training samples is expensive, laborious, and sometimes challenging, especially for Natural Language Processing (NLP) tasks. To reduce the labeling cost and enhance the sample efficiency, Active Learning (AL) technique can be used to label as few samples as possible to reach a reasonable or similar results. To reduce even more costs and with the significant advances of Large Language Models (LLMs), LLMs can be a good candidate to annotate samples. This work investigates the accuracy and cost of using LLMs (GPT-3.5 and GPT-4) to label samples on 3 different datasets. A consistency-based strategy is proposed to select samples that are potentially incorrectly labeled so that human annotations can be used for those samples in AL settings, and we call it mixed annotation strategy. Then we test performance of AL under two different settings: (1) using human annotations only; (2) using the proposed mixed annotation strategy. The accuracy of AL models under 3 AL query strategies are reported on 3 text classification datasets, i.e., AG's News, TREC-6, and Rotten Tomatoes. On AG's News and Rotten Tomatoes, the models trained with the mixed annotation strategy achieves similar or better results compared to that with human annotations. The method reveals great potentials of LLMs as annotators in terms of accuracy and cost efficiency in active learning settings.


title: A Novel Zero-Trust Machine Learning Green Architecture for Healthcare IoT Cybersecurity: Review, Analysis, and Implementation

abstract: The integration of Internet of Things (IoT) devices in healthcare applications has revolutionized patient care, monitoring, and data management. The Global IoT in Healthcare Market value is $252.2 Billion in 2023. However, the rapid involvement of these devices brings information security concerns that pose critical threats to patient privacy and the integrity of healthcare data. This paper introduces a novel machine learning (ML) based architecture explicitly designed to address and mitigate security vulnerabilities in IoT devices within healthcare applications. By leveraging advanced convolution ML architecture, the proposed architecture aims to proactively monitor and detect potential threats, ensuring the confidentiality and integrity of sensitive healthcare information while minimizing the cost and increasing the portability specialized for healthcare and emergency environments. The experimental results underscore the accuracy of up to 93.6% for predicting various attacks based on the results demonstrate a zero-day detection accuracy simulated using the CICIoT2023 dataset and reduces the cost by a factor of x10. The significance of our approach is in fortifying the security posture of IoT devices and maintaining a robust implementation of trustful healthcare systems.


title: CoVO-MPC: Theoretical Analysis of Sampling-based MPC and Optimal Covariance Design

abstract: Sampling-based Model Predictive Control (MPC) has been a practical and effective approach in many domains, notably model-based reinforcement learning, thanks to its flexibility and parallelizability. Despite its appealing empirical performance, the theoretical understanding, particularly in terms of convergence analysis and hyperparameter tuning, remains absent. In this paper, we characterize the convergence property of a widely used sampling-based MPC method, Model Predictive Path Integral Control (MPPI). We show that MPPI enjoys at least linear convergence rates when the optimization is quadratic, which covers time-varying LQR systems. We then extend to more general nonlinear systems. Our theoretical analysis directly leads to a novel sampling-based MPC algorithm, CoVariance-Optimal MPC (CoVo-MPC) that optimally schedules the sampling covariance to optimize the convergence rate. Empirically, CoVo-MPC significantly outperforms standard MPPI by 43-54% in both simulations and real-world quadrotor agile control tasks. Videos and Appendices are available at \url{https://lecar-lab.github.io/CoVO-MPC/}.


title: Generation of Synthetic Images for Pedestrian Detection Using a Sequence of GANs

abstract: Creating annotated datasets demands a substantial amount of manual effort. In this proof-of-concept work, we address this issue by proposing a novel image generation pipeline. The pipeline consists of three distinct generative adversarial networks (previously published), combined in a novel way to augment a dataset for pedestrian detection. Despite the fact that the generated images are not always visually pleasant to the human eye, our detection benchmark reveals that the results substantially surpass the baseline. The presented proof-of-concept work was done in 2020 and is now published as a technical report after a three years retention period.


title: A Data-driven Resilience Framework of Directionality Configuration based on Topological Credentials in Road Networks

abstract: Roadway reconfiguration is a crucial aspect of transportation planning, aiming to enhance traffic flow, reduce congestion, and improve overall road network performance with existing infrastructure and resources. This paper presents a novel roadway reconfiguration technique by integrating optimization based Brute Force search approach and decision support framework to rank various roadway configurations for better performance. The proposed framework incorporates a multi-criteria decision analysis (MCDA) approach, combining input from generated scenarios during the optimization process. By utilizing data from optimization, the model identifies total betweenness centrality (TBC), system travel time (STT), and total link traffic flow (TLTF) as the most influential decision variables. The developed framework leverages graph theory to model the transportation network topology and apply network science metrics as well as stochastic user equilibrium traffic assignment to assess the impact of each roadway configuration on the overall network performance. To rank the roadway configurations, the framework employs machine learning algorithms, such as ridge regression, to determine the optimal weights for each criterion (i.e., TBC, STT, TLTF). Moreover, the network-based analysis ensures that the selected configurations not only optimize individual roadway segments but also enhance system-level efficiency, which is particularly helpful as the increasing frequency and intensity of natural disasters and other disruptive events underscore the critical need for resilient transportation networks. By integrating multi-criteria decision analysis, machine learning, and network science metrics, the proposed framework would enable transportation planners to make informed and data-driven decisions, leading to more sustainable, efficient, and resilient roadway configurations.


title: Self and mixed delta-moves on algebraically split links

abstract: A delta-move is a local move on a link diagram. The delta-Gordian distance between links measures the minimum number of delta-moves needed to move between link diagrams. A self delta-move only involves a single component of a link whereas a mixed delta-move involves multiple (2 or 3) components. We prove that two links are mixed delta-equivalent precisely when they have the same pairwise linking number; we also give a number of results on how (mixed/self) delta-moves relate to classical link invariants including the Arf invariant and crossing number. This allows us to produce a graph showing links related by a self delta-move for algebraically split links with up to 9-crossings. For these links we also introduce and calculate the delta-splitting number and mixed delta-splitting number, that is, the minimum number of delta-moves needed to separate the components of the link.


title: Non-convexity of level sets for $k$-Hessian equations in convex ring

abstract: In this paper we construct explicit examples that show the sublevel sets of the solution of a $k$-Hessian equation defined on a convex ring do not have to be convex.


title: Etching of elemental layers in oxide molecular beam epitaxy by O2-assisted formation and evaporation of their volatile suboxide: The examples of Ga and Ge

abstract: The delivery of an elemental cation flux to the substrate surface in the oxide molecular beam epitaxy (MBE) chamber has been utilized not only for the epitaxial growth of oxide thin films in the presence of oxygen but also in the absence of oxygen for the growth temperature calibration (by determining the adsorption temperature of the elements) and in-situ etching of oxide layers (e. g., Ga2O3 etched by Ga). These elemental fluxes may, however, leave unwanted cation adsorbates or droplets on the surface, which traditionally require removal by in-situ superheating or ex-situ wet-chemical etching with potentially surface-degrading effects. This study demonstrates a universal in-situ approach to remove the residual cation elements from the surface via conversion into a volatile suboxide by a molecular O2-flux in an MBE system followed by suboxide evaporation at temperatures significantly below the elemental evaporation temperature. We experimentally investigate the in-situ etching of Ga and Ge cation layers and their etching efficiency using in-situ line-of-sight quadrupole mass spectrometry (QMS) and reflection high-energy electron diffraction (RHEED). The application of this process is demonstrated by the in-situ removal of residual Ga droplets from a SiO2 mask after structuring a Ga2O3 layer by in-situ Ga-etching. This approach can be generally applied in MBE and MOCVD to remove residual elements with vapor pressure lower than that of their suboxides, such as B, In, La, Si, Sn, Sb, Mo, Nb, Ru, Ta, V, and W.


title: On the expected number of roots of a random Dirichlet polynomial

abstract: Let $T>0$ and consider the random Dirichlet polynomial $S_T(t)=Re\, \sum_{n\leq T} X_n n^{-1/2-it}$, where $(X_n)_{n}$ are i.i.d. Gaussian random variables with mean $0$ and variance $1$. We prove that the expected number of roots of $S_T(t)$ in the dyadic interval $[T,2T]$, say $\mathbb{E} N(T)$, is approximately $2/\sqrt{3}$ times the number of zeros of the Riemann $\zeta$ function in the critical strip up to height $T$. Moreover, we also compute the expected number of zeros in the same dyadic interval of the $k$-th derivative of $S_T(t)$. Our proof requires the best upper bounds for the Riemann $\zeta$ function known up to date, and also estimates for the $L^2$ averages of certain Dirichlet polynomials.


title: Jones' conjecture for Halin graphs and a bit more

abstract: We prove Jones' famous conjecture for Halin graphs and a somewhat more general class of graphs too. A based planar graph is a planar one that has a face adjacent to every other face. We confirm Jones' conjecture for based planar graphs. Namely, if a based planar graph does not contain $k+1$ vertex-disjoint cycles, then it suffices to delete $2k$ vertices to make it acyclic.