title: Hybridized magnonic materials for THz frequency applications

abstract: The capability of magnons to hybridize and strongly couple with diverse excitations offers a promising avenue for realizing and controlling emergent properties that hold significant potential for applications in devices, circuits, and information processing. In this letter, we present recent theoretical and experimental developments in magnon-based hybrid systems, focusing on the combination of magnon excitation in an antiferromagnet with other excitations, namely plasmons in a topological insulator, phonons in a 2D AFM, and photons. The existence of THz frequency magnons, plasmons, and phonons makes magnon-based hybrid systems particularly appealing for high-operating-speed devices. In this context, we explore several directions to advance magnon hybrid systems, including strong coupling between a surface plasmon and magnon polariton in a TI/AFM bilayer, a giant spin Nernst effect induced by magnon phonon coupling in 2D AFMs, and control of magnon-photon coupling using spin torque.


title: BioFinBERT: Finetuning Large Language Models (LLMs) to Analyze Sentiment of Press Releases and Financial Text Around Inflection Points of Biotech Stocks

abstract: Large language models (LLMs) are deep learning algorithms being used to perform natural language processing tasks in various fields, from social sciences to finance and biomedical sciences. Developing and training a new LLM can be very computationally expensive, so it is becoming a common practice to take existing LLMs and finetune them with carefully curated datasets for desired applications in different fields. Here, we present BioFinBERT, a finetuned LLM to perform financial sentiment analysis of public text associated with stocks of companies in the biotechnology sector. The stocks of biotech companies developing highly innovative and risky therapeutic drugs tend to respond very positively or negatively upon a successful or failed clinical readout or regulatory approval of their drug, respectively. These clinical or regulatory results are disclosed by the biotech companies via press releases, which are followed by a significant stock response in many cases. In our attempt to design a LLM capable of analyzing the sentiment of these press releases,we first finetuned BioBERT, a biomedical language representation model designed for biomedical text mining, using financial textual databases. Our finetuned model, termed BioFinBERT, was then used to perform financial sentiment analysis of various biotech-related press releases and financial text around inflection points that significantly affected the price of biotech stocks.


title: Warum wir es f\"ur eine gute Idee gehalten haben, eine DACH-Spieledatenbank aufzubauen

abstract: We are in the process of creating a database of digital games from the DACH region. This article provides an insight into the context in which it was created and the underlying methodological considerations behind the games database. The database was compiled collaboratively and lists digital games developed in Germany, Austria and Switzerland up to the year 2000. In this report, we outline our initial considerations and the various stages of realisation as well as the input data on which the database was built, the aims of the data model and the difficulties we faced during the creation process. We then pin down the current status of the games database and give an outlook on the project's future plans. -- Unser Werkstattbericht gibt Einblick in den Entstehungskontext sowie die zugrundeliegenden methodischen \"Uberlegungen hinter der von den Autor*innen publizierten Spieledatenbank. Diese wurde kollaborativ erarbeitet und f\"uhrt digitale Spiele, die in Deutschland, \"Osterreich und der Schweiz bis zum Jahr 2000 entwickelt wurden. In diesem Bericht skizzieren wir neben unseren Ausgangs\"uberlegungen und den verschiedenen Arbeitsschritten bei der Realisierung au{\ss}erdem auch, auf welcher Datenbasis die Datenbank aufgebaut und gepr\"uft wurde, was die Ziele des Datenmodells sind und mit welchen Schwierigkeiten wir im Prozess der Erstellung konfrontiert waren. Hiernach ordnen wir den aktuellen Stand der Spieledatenbank ein und geben einen Ausblick auf die weiteren Pl\"ane des Projekts.


title: Custom Developer GPT for Ethical AI Solutions

abstract: The main goal of this project is to create a new software artefact: a custom Generative Pre-trained Transformer (GPT) for developers to discuss and solve ethical issues through AI engineering. This conversational agent will provide developers with practical application on (1) how to comply with legal frameworks which regard AI systems (like the EU AI Act~\cite{aiact} and GDPR~\cite{gdpr}) and (2) present alternate ethical perspectives to allow developers to understand and incorporate alternate moral positions. In this paper, we provide motivation for the need of such an agent, detail our idea and demonstrate a use case. The use of such a tool can allow practitioners to engineer AI solutions which meet legal requirements and satisfy diverse ethical perspectives.


title: Two Cycle Class Maps on Torsion Cycles

abstract: We compare two cycle class maps on torsion cycles and show that they agree up to a minus sign. The first one goes back to Bloch (1979), with recent generalizations to non-closed fields. The second is the \'etale motivic cycle class map $\alpha^{i}_{X}\colon \text{CH}^{i}(X)_{\mathbb{Z}_{\ell}}\to H^{2i}_{L}(X,\mathbb{Z}_{\ell}(i))$ restricted to torsion cycles.


title: Topological complexity of Milnor fibration

abstract: In this paper we discover a connection between the Milnor fibration theory and current research trends in topological robotics. The configuration space and workspace are often described as subspaces of some Euclidean spaces. The work map is a continuous map which assigns to each state of the configuration space the position of the end-effector at that state. The tasking planning problem consists in study the complexity and design of algorithms controlling the task performed by the robot manipulator. We present a characterisation of the existence of cross-sections for Milnor fibrations in terms of homotopy groups of the fiber. Then, we study the tasking planning problem for the Milnor fibration of analytic function-germs. We see that the tasking planning algorithms strongly depend of the Milnor fibration theorem. We conjecture that the topological complexity of Milnor fibration coincidences with the topological complexity of its base (a sphere).


title: Bounding Consideration Probabilities in Consider-Then-Choose Ranking Models

abstract: A common theory of choice posits that individuals make choices in a two-step process, first selecting some subset of the alternatives to consider before making a selection from the resulting consideration set. However, inferring unobserved consideration sets (or item consideration probabilities) in this "consider then choose" setting poses significant challenges, because even simple models of consideration with strong independence assumptions are not identifiable, even if item utilities are known. We consider a natural extension of consider-then-choose models to a top-$k$ ranking setting, where we assume rankings are constructed according to a Plackett-Luce model after sampling a consideration set. While item consideration probabilities remain non-identified in this setting, we prove that knowledge of item utilities allows us to infer bounds on the relative sizes of consideration probabilities. Additionally, given a condition on the expected consideration set size, we derive absolute upper and lower bounds on item consideration probabilities. We also provide algorithms to tighten those bounds on consideration probabilities by propagating inferred constraints. Thus, we show that we can learn useful information about consideration probabilities despite not being able to identify them precisely. We demonstrate our methods on a ranking dataset from a psychology experiment with two different ranking tasks (one with fixed consideration sets and one with unknown consideration sets). This combination of data allows us to estimate utilities and then learn about unknown consideration probabilities using our bounds.


title: Revealing Emotional Clusters in Speaker Embeddings: A Contrastive Learning Strategy for Speech Emotion Recognition

abstract: Speaker embeddings carry valuable emotion-related information, which makes them a promising resource for enhancing speech emotion recognition (SER), especially with limited labeled data. Traditionally, it has been assumed that emotion information is indirectly embedded within speaker embeddings, leading to their under-utilization. Our study reveals a direct and useful link between emotion and state-of-the-art speaker embeddings in the form of intra-speaker clusters. By conducting a thorough clustering analysis, we demonstrate that emotion information can be readily extracted from speaker embeddings. In order to leverage this information, we introduce a novel contrastive pretraining approach applied to emotion-unlabeled data for speech emotion recognition. The proposed approach involves the sampling of positive and the negative examples based on the intra-speaker clusters of speaker embeddings. The proposed strategy, which leverages extensive emotion-unlabeled data, leads to a significant improvement in SER performance, whether employed as a standalone pretraining task or integrated into a multi-task pretraining setting.


title: Communication Efficient and Provable Federated Unlearning

abstract: We study federated unlearning, a novel problem to eliminate the impact of specific clients or data points on the global model learned via federated learning (FL). This problem is driven by the right to be forgotten and the privacy challenges in FL. We introduce a new framework for exact federated unlearning that meets two essential criteria: \textit{communication efficiency} and \textit{exact unlearning provability}. To our knowledge, this is the first work to tackle both aspects coherently. We start by giving a rigorous definition of \textit{exact} federated unlearning, which guarantees that the unlearned model is statistically indistinguishable from the one trained without the deleted data. We then pinpoint the key property that enables fast exact federated unlearning: total variation (TV) stability, which measures the sensitivity of the model parameters to slight changes in the dataset. Leveraging this insight, we develop a TV-stable FL algorithm called \texttt{FATS}, which modifies the classical \texttt{\underline{F}ed\underline{A}vg} algorithm for \underline{T}V \underline{S}tability and employs local SGD with periodic averaging to lower the communication round. We also design efficient unlearning algorithms for \texttt{FATS} under two settings: client-level and sample-level unlearning. We provide theoretical guarantees for our learning and unlearning algorithms, proving that they achieve exact federated unlearning with reasonable convergence rates for both the original and unlearned models. We empirically validate our framework on 6 benchmark datasets, and show its superiority over state-of-the-art methods in terms of accuracy, communication cost, computation cost, and unlearning efficacy.


title: Quark propagator with complex-valued momentum from Schwinger-Dyson equation in the Euclidean space

abstract: In the Euclidean-space formulation of integral equations for the structure of quantum chromodynamics (QCD) bound states, the quark propagators with complex-valued momentum are densely sampled. We therefore propose an accurate and efficient algorithm to compute these propagators. The quark propagator both on the spacelike real axis and at complex-valued momenta is determined from its Schwinger-Dyson equation (SDE). We first apply an iterative solver to determine the quark propagator on the spacelike real axis. The propagator at complex-valued momenta is then computed from its self-energy based on this solution, where demanding integrals are encountered. In order to compute of these integrals, we apply customized variable transformations for the radial integral after subtracting the asymptotics. We subsequently apply an optional compound of quadrature rules for the angular integral. The contribution from the asymptotics is added at the last step. The accuracy and the performance of this algorithm for the quark propagator at complex-valued momentum are tested in comparison with an adaptive quadrature.


title: Bayesian estimation of dissipation and sound speed in tube measurements using a transfer-function model

abstract: This study discusses acoustic dissipation, which contributes to inaccuracies in impedance tube measurements. To improve the accuracy of these measurements, this paper introduces a transfer function model that integrates diverse dissipation prediction models. Bayesian inference is used to estimate the important parameters included in these models, describing dissipation originating from various mechanisms, sound speed, and microphone positions. By using experimental measurements and considering a hypothetical air layer in front of a rigid termination as the material under test, Bayesian parameter estimation allows a substantial enhancement in characterization accuracy by incorporating the dissipation and sound speed estimates. This approach effectively minimizes residual absorption coefficients attributed to both boundary-layer effects and air medium relaxation. Incorporation of dissipation models leads to a substantial reduction (to 1%) in residual absorption coefficients. Moreover, the use of accurately estimated parameters further enhances the accuracy of actual tube measurements of materials using the two-microphone transfer function method.


title: Analysis and Detection of Multilingual Hate Speech Using Transformer Based Deep Learning

abstract: Hate speech is harmful content that directly attacks or promotes hatred against members of groups or individuals based on actual or perceived aspects of identity, such as racism, religion, or sexual orientation. This can affect social life on social media platforms as hateful content shared through social media can harm both individuals and communities. As the prevalence of hate speech increases online, the demand for automated detection as an NLP task is increasing. In this work, the proposed method is using transformer-based model to detect hate speech in social media, like twitter, Facebook, WhatsApp, Instagram, etc. The proposed model is independent of languages and has been tested on Italian, English, German, Bengali. The Gold standard datasets were collected from renowned researcher Zeerak Talat, Sara Tonelli, Melanie Siegel, and Rezaul Karim. The success rate of the proposed model for hate speech detection is higher than the existing baseline and state-of-the-art models with accuracy in Bengali dataset is 89%, in English: 91%, in German dataset 91% and in Italian dataset it is 77%. The proposed algorithm shows substantial improvement to the benchmark method.


title: Formulating or Fixating: Effects of Examples on Problem Solving Vary as a Function of Example Presentation Interface Design

abstract: Interactive systems that facilitate exposure to examples can augment problem solving performance. However designers of such systems are often faced with many practical design decisions about how users will interact with examples, with little clear theoretical guidance. To understand how example interaction design choices affect whether/how people benefit from examples, we conducted an experiment where 182 participants worked on a controlled analog to an exploratory creativity task, with access to examples of varying diversity and presentation interfaces. Task performance was worse when examples were presented in a list, compared to contextualized in the exploration space or shown in a dropdown list. Example lists were associated with more fixation, whereas contextualized examples were associated with using examples to formulate a model of the problem space to guide exploration. We discuss implications of these results for a theoretical framework that maps design choices to fundamental psychological mechanisms of creative inspiration from examples.


title: Quantum circuit model for discrete-time three-state quantum walks on Cayley graphs

abstract: We develop qutrit circuit models for discrete-time three-state quantum walks on Cayley graphs corresponding to Dihedral groups $D_N$ and the additive groups of integers modulo any positive integer $N$. The proposed circuits comprise of elementary qutrit gates such as qutrit rotation gates, qutrit-$X$ gates and two-qutrit controlled-$X$ gates. First, we propose qutrit circuit representation of special unitary matrices of order three, and the block diagonal special unitary matrices with $3\times 3$ diagonal blocks, which correspond to multi-controlled $X$ gates and permutations of qutrit Toffoli gates. We show that one-layer qutrit circuit model need $O(3nN)$ two-qutrit control gates and $O(3N)$ one-qutrit rotation gates for these quantum walks when $N=3^n$. Finally, we numerically simulate these circuits to mimic its performance such as time-averaged probability of finding the walker at any vertex on noisy quantum computers. The simulated results for the time-averaged probability distributions for noisy and noiseless walks are further compared using KL-divergence and total variation distance. These results show that noise in gates in the circuits significantly impacts the distributions than amplitude damping or phase damping errors.


title: The MeerKAT 1.3 GHz Survey of the Small Magellanic Cloud

abstract: We present new radio continuum images and a source catalogue from the MeerKAT survey in the direction of the Small Magellanic Cloud (SMC). The observations, at a central frequency of 1.3 GHz across a bandwidth of 0.8 GHz, encompass a field of view ~7 x 7 degrees and result in images with resolution of 8 arcsec. The median broad-band Stokes I image Root Mean Squared noise value is ~11 microJy/beam. The catalogue produced from these images contains 108,330 point sources and 517 compact extended sources. We also describe a UHF (544-1088 MHz) single pointing observation. We report the detection of a new confirmed Supernova Remnant (SNR) (MCSNR J0100-7211) with an X-ray magnetar at its centre and 10 new SNR candidates. This is in addition to the detection of 21 previously confirmed SNRs and two previously noted SNR candidates. Our new SNR candidates have typical surface brightness an order of magnitude below those previously known, and on the whole they are larger. The high sensitivity of the MeerKAT survey also enabled us to detect the bright end of the SMC Planetary Nebulae (PNe) sample - point-like radio emission is associated with 38 of 102 optically known PNe, of which 19 are new detections. Lastly, we present the detection of three foreground radio stars amidst 11 circularly polarised sources, and a few examples of morphologically interesting background radio galaxies from which the radio ring galaxy ESO 029-G034 may represent a new type of radio object.


title: Counting Packings of List-colorings of Graphs

abstract: Given a list assignment for a graph, list packing asks for the existence of multiple pairwise disjoint list colorings of the graph. Several papers have recently appeared that study the existence of such a packing of list colorings. Formally, a proper $L$-packing of a graph $G$ of size $k$ is a set of $k$ pairwise disjoint proper $L$-colorings of $G$ where $L$ is a list assignment of colors to the vertices of $G$. In this paper, we initiate the study of counting such packings of list colorings of a graph. We define $P_\ell^\star(G,q,k)$ as the guaranteed number of proper $L$-packings of $G$ of size $k$ over all list assignments $L$ that assign $q$ colors to each vertex of $G$, and we let $P^\star(G,q,k)$ be its classical coloring counterpart. We let $P_\ell^\star(G,q)= P_\ell^\star(G,q,q)$ so that $P_\ell^\star(G,q)$ is the enumerative function for the previously studied list packing number $\chi_\ell^\star(G)$. Note that the chromatic polynomial of $G$, $P(G,q)$, is $P^\star(G,q,1)$, and the list color function of $G$, $P_\ell(G,q)$, is $P_\ell^\star(G,q,1)$. Inspired by the well-known behavior of the list color function and the chromatic polynomial, we make progress towards the question of whether $P_{\ell}^\star(G,q,k) = P^\star(G,q,k)$ when $q$ is large enough. Our result generalizes the recent theorem of Dong and Zhang (2023), which improved results going back to Donner (1992), about when the list color function equals the chromatic polynomial. Further, we use a polynomial method to generalize bounds on the list packing number, $\chi_\ell^\star(G)$, of sparse graphs to exponential lower bounds (in the number of vertices of $G$) on the corresponding list packing functions, $P_\ell^\star(G,q)$.


title: Group Theoretical Classification of SIC-POVMs

abstract: The Symmetric Informationally Complete Positive Operator-Valued Measures (SIC-POVMs) are known to exist in all dimensions $\leq 151$ and few higher dimensions as high as $1155$. All known solutions with the exception of the Hoggar solutions are covariant with respect to the Weyl-Heisenberg group and in the case of dimension 3 it has been proven that all SIC-POVMs are Weyl-Heisenberg group covariant. In this work, we introduce two functions with which SIC-POVM Gram matrices can be generated without the group covariance constraint. We show analytically that the SIC-POVM Gram matrices exist on critical points of surfaces formed by the two functions on a subspace of symmetric matrices and we show numerically that in dimensions 4 to 7, all SIC-POVM Gram matrices lie in disjoint solution "islands". We generate $O(10^6)$ and $O(10^5)$ Gram matrices in dimensions 4 and 5, respectively and $O(10^2)$ Gram matrices in dimensions 6 and 7. For every Gram matrix obtained, we generate the symmetry groups and show that all symmetry groups contain a subgroup of $3n^2$ elements. The elements of the subgroup correspond to the Weyl-Heisenberg group matrices and the order-3 unitaries that generate them. All constructed Gram matrices have a unique generating set. Using this fact, we generate permutation matrices to map the Gram matrices to known Weyl-Heisenberg group covariant solutions. In dimensions 4 and 5, the absence of a solution with a smaller symmetry, strongly suggests that non-group covariant SIC-POVMs cannot be constructed.


title: Introduction to the second edition of "The Supersymmetric World"

abstract: The first Edition of this book was released in 2000, just before the symposium ``Thirty Years of Supersymmetry'' was held at the William I. Fine Theoretical Physics Institute (FTPI) of the University of Minnesota. Founders and trailblazers of supersymmetry descended on FTPI, as well as a large crowd of younger theorists deeply involved in research in this area. Since then 23 years have elapsed and significant changes happened in supersymmetry (SUSY). Its history definitely needs an update. Such an update is presented below. The Second Edition of the revised collection will be released in 2024.


title: Anti-Jahn-Teller disproportionation and prospects for spin-triplet superconductivity in d-element compounds

abstract: We argue that the unusual properties of a wide class of materials based on Jahn-Teller 3d and 4d ions with different crystal and electronic structures, from quasi-two-dimensional unconventional superconductors (cuprates, nickelates, ferropnictides/chalcogenides, ruthenate SrRuO4), manganites with local superconductivity to 3D ferrates (CaSr)FeO3, nickelates RNiO3 and silver oxide AgO with unusual charge and magnetic order can be explained within a single scenario. The properties of these materials are related to the instability of their highly symmetric Jahn-Teller "progenitors" with the ground orbital E-state to charge transfer with anti-Jahn-Teller disproportionation and the formation of a system of effective local composite spin-singlet or spin-triplet, electronic or hole bosons moving in a non-magnetic or magnetic lattice. These unusual systems are characterized by an extremely rich variety of phase states from non-magnetic and magnetic insulators to unusual metallic and superconducting states.


title: Optimization of the Context-Free Language Reachability Matrix-Based Algorithm

abstract: Various static analysis problems are reformulated as instances of the Context-Free Language Reachability (CFL-r) problem. One promising way to make solving CFL-r more practical for large-scale interprocedural graphs is to reduce CFL-r to linear algebra operations on sparse matrices, as they are efficiently executed on modern hardware. In this work, we present five optimizations for a matrix-based CFL-r algorithm that utilize the specific properties of both the underlying semiring and the widely-used linear algebra library SuiteSparse:GraphBlas. Our experimental results show that these optimizations result in orders of magnitude speedup, with the optimized matrix-based CFL-r algorithm consistently outperforming state-of-the-art CFL-r solvers across four considered static analyses.


title: Exploring Highly Quantised Neural Networks for Intrusion Detection in Automotive CAN

abstract: Vehicles today comprise intelligent systems like connected autonomous driving and advanced driving assistance systems (ADAS) to enhance the driving experience, which is enabled through increased connectivity to infrastructure and fusion of information from different sensing modes. However, the rising connectivity coupled with the legacy network architecture within vehicles can be exploited for launching active and passive attacks on critical vehicle systems and directly affecting the safety of passengers. Machine learning-based intrusion detection models have been shown to successfully detect multiple targeted attack vectors in recent literature, whose deployments are enabled through quantised neural networks targeting low-power platforms. Multiple models are often required to simultaneously detect multiple attack vectors, increasing the area, (resource) cost, and energy consumption. In this paper, we present a case for utilising custom-quantised MLP's (CQMLP) as a multi-class classification model, capable of detecting multiple attacks from the benign flow of controller area network (CAN) messages. The specific quantisation and neural architecture are determined through a joint design space exploration, resulting in our choice of the 2-bit precision and the n-layer MLP. Our 2-bit version is trained using Brevitas and optimised as a dataflow hardware model through the FINN toolflow from AMD/Xilinx, targeting an XCZU7EV device. We show that the 2-bit CQMLP model, when integrated as the IDS, can detect malicious attack messages (DoS, fuzzing, and spoofing attack) with a very high accuracy of 99.9%, on par with the state-of-the-art methods in the literature. Furthermore, the dataflow model can perform line rate detection at a latency of 0.11 ms from message reception while consuming 0.23 mJ/inference, making it ideally suited for integration with an ECU in critical CAN networks.


title: Time-Delayed Koopman Network-Based Model Predictive Control for the FRIB RFQ

abstract: The radio-frequency quadrupole (RFQ) at the Facility for Rare Isotope Beams (FRIB) is a critical device to accelerate heavy ion beams from 12 keV/u to 0.5 MeV/u for state-of-the-art nuclear physics experiments. Efficient control of the RFQ resonance frequency detuning still remains a challenge because the temperature-sensitive frequency is solely control by a cooling water system, exhibiting complicated transport delay and nonlinearity in the heat transfer processes. In this work, we propose a long-short term memory (LSTM)-based Koopman network model that can simultaneously learn the time-delayed and non-delayed correlations hidden in the historical operating data. It is proven that the model can effectively predict the behavior of the RFQ resonance frequency using historical data as inputs. With this model, a model predictive control (MPC) framework based on the Newton-Raphson method is proposed and tested. We demonstrate that the MPC framework utilizing deep learning model is able to provide precise and rapid control for the RFQ frequency detuning, reducing the control time by half compared to the proportional-integral-derivative (PID) controller.


title: PressProtect: Helping Journalists Navigate Social Media in the Face of Online Harassment

abstract: Social media has become a critical tool for journalists to disseminate their work, engage with their audience, and connect with sources. Unfortunately, journalists also regularly endure significant online harassment on social media platforms, ranging from personal attacks to doxxing to threats of physical harm. In this paper, we seek to understand how we can make social media usable for journalists who face constant digital harassment. To begin, we conduct a set of need-finding interviews to understand where existing platform tools and newsroom resources fall short in adequately protecting journalists. We map journalists' unmet needs to concrete design goals, which we use to build PressProtect, an interface that provides journalists greater agency over engaging with readers on Twitter/X. Through user testing with eight journalists, we evaluate PressProtect and find that participants felt it effectively protected them against harassment and could also generalize to serve other visible and vulnerable groups. We conclude with a discussion of our findings and recommendations for social platforms hoping to build defensive defaults for journalists facing online harassment.


title: FAIR Enough: How Can We Develop and Assess a FAIR-Compliant Dataset for Large Language Models' Training?

abstract: The rapid evolution of Large Language Models (LLMs) highlights the necessity for ethical considerations and data integrity in AI development, particularly emphasizing the role of FAIR (Findable, Accessible, Interoperable, Reusable) data principles. While these principles are crucial for ethical data stewardship, their specific application in the context of LLM training data remains an under-explored area. This research gap is the focus of our study, which begins with an examination of existing literature to underline the importance of FAIR principles in managing data for LLM training. Building upon this, we propose a novel framework designed to integrate FAIR principles into the LLM development lifecycle. A contribution of our work is the development of a comprehensive checklist intended to guide researchers and developers in applying FAIR data principles consistently across the model development process. The utility and effectiveness of our framework are validated through a case study on creating a FAIR-compliant dataset aimed at detecting and mitigating biases in LLMs. We present this framework to the community as a tool to foster the creation of technologically advanced, ethically grounded, and socially responsible AI models.


title: Exact analytical solution for the Sakiadis boundary layer

abstract: It has recently been established [Naghshineh et al., IMA J. of Appl. Math., 88, 1 (2023)] that a convergent series solution may be obtained for the Sakiadis boundary layer problem once key parameters are determined iteratively using the series itself. Here, we provide exact and explicit analytical expressions for these parameters, including that associated with wall shear, thus completing the exact analytical solution. The complete exact analytical solution to the Sakiadis problem is summarized here for direct use.


title: Image Safeguarding: Reasoning with Conditional Vision Language Model and Obfuscating Unsafe Content Counterfactually

abstract: Social media platforms are being increasingly used by malicious actors to share unsafe content, such as images depicting sexual activity, cyberbullying, and self-harm. Consequently, major platforms use artificial intelligence (AI) and human moderation to obfuscate such images to make them safer. Two critical needs for obfuscating unsafe images is that an accurate rationale for obfuscating image regions must be provided, and the sensitive regions should be obfuscated (\textit{e.g.} blurring) for users' safety. This process involves addressing two key problems: (1) the reason for obfuscating unsafe images demands the platform to provide an accurate rationale that must be grounded in unsafe image-specific attributes, and (2) the unsafe regions in the image must be minimally obfuscated while still depicting the safe regions. In this work, we address these key issues by first performing visual reasoning by designing a visual reasoning model (VLM) conditioned on pre-trained unsafe image classifiers to provide an accurate rationale grounded in unsafe image attributes, and then proposing a counterfactual explanation algorithm that minimally identifies and obfuscates unsafe regions for safe viewing, by first utilizing an unsafe image classifier attribution matrix to guide segmentation for a more optimal subregion segmentation followed by an informed greedy search to determine the minimum number of subregions required to modify the classifier's output based on attribution score. Extensive experiments on uncurated data from social networks emphasize the efficacy of our proposed method. We make our code available at: https://github.com/SecureAIAutonomyLab/ConditionalVLM


title: Heavy Flavor Physics at the sPHENIX Experiment

abstract: The sPHENIX experiment is a state-of-the-art jet and heavy flavor physics detector which successfully recorded its first Au + Au collision data at 200 GeV at RHIC. sPHENIX will provide heavy flavor physics measurements covering an unexplored kinematic region and unprecedented precision at RHIC to probe the parton energy loss mechanism, parton transport coefficients in quark-gluon plasma, and the hadronization process under various medium conditions. At the center of sPHENIX, the Monolithic-Active-Pixel-Sensor (MAPS) based VerTeX detector (MVTX) is a high-precision silicon pixel detector. The MVTX provides excellent position resolution and the capability of operating in continuous streaming readout mode, allowing precise vertex determination and recording a large data sample, both of which are particularly crucial for heavy flavor physics measurements. In this work, we will show the general performance of heavy-flavor hadron reconstruction. In addition, we will discuss the commissioning experience with sPHENIX. Finally, we will provide the projection of b-hadron and jet observables and discuss the estimated constraints on theoretical models.


title: Equivariant Graph Neural Operator for Modeling 3D Dynamics

abstract: Modeling the complex three-dimensional (3D) dynamics of relational systems is an important problem in the natural sciences, with applications ranging from molecular simulations to particle mechanics. Machine learning methods have achieved good success by learning graph neural networks to model spatial interactions. However, these approaches do not faithfully capture temporal correlations since they only model next-step predictions. In this work, we propose Equivariant Graph Neural Operator (EGNO), a novel and principled method that directly models dynamics as trajectories instead of just next-step prediction. Different from existing methods, EGNO explicitly learns the temporal evolution of 3D dynamics where we formulate the dynamics as a function over time and learn neural operators to approximate it. To capture the temporal correlations while keeping the intrinsic SE(3)-equivariance, we develop equivariant temporal convolutions parameterized in the Fourier space and build EGNO by stacking the Fourier layers over equivariant networks. EGNO is the first operator learning framework that is capable of modeling solution dynamics functions over time while retaining 3D equivariance. Comprehensive experiments in multiple domains, including particle simulations, human motion capture, and molecular dynamics, demonstrate the significantly superior performance of EGNO against existing methods, thanks to the equivariant temporal modeling. Our code is available at https://github.com/MinkaiXu/egno.


title: Predicting Cloud Conditions in Substellar Mass Objects Using Ultracool Dwarf Companions

abstract: We present results from conducting a theoretical chemical analysis of a sample of benchmark companion brown dwarfs whose primary star is of type F, G or K. We summarize the entire known sample of these types of companion systems, termed "compositional benchmarks", that are present in the literature or recently published as key systems of study in order to best understand brown dwarf chemistry and condensate formation. Via mass balance and stoichiometric calculations, we predict a median brown dwarf atmospheric oxygen sink of $17.8^{+1.7}_{-2.3}\%$ by utilizing published stellar abundances in the local solar neighborhood. Additionally, we predict a silicate condensation sequence such that atmospheres with bulk Mg/Si $\lesssim$ 0.9 will form enstatite (MgSiO$_3$) and quartz (SiO$_2$) clouds and atmospheres with bulk Mg/Si $\gtrsim$ 0.9 will form enstatite and forsterite (Mg$_2$SiO$_4$) clouds. Implications of these results on C/O ratio trends in substellar mass objects and utility of these predictions in future modeling work are discussed.


title: Federated Learning with Dual Attention for Robust Modulation Classification under Attacks

abstract: Federated learning (FL) allows distributed participants to train machine learning models in a decentralized manner. It can be used for radio signal classification with multiple receivers due to its benefits in terms of privacy and scalability. However, the existing FL algorithms usually suffer from slow and unstable convergence and are vulnerable to poisoning attacks from malicious participants. In this work, we aim to design a versatile FL framework that simultaneously promotes the performance of the model both in a secure system and under attack. To this end, we leverage attention mechanisms as a defense against attacks in FL and propose a robust FL algorithm by integrating the attention mechanisms into the global model aggregation step. To be more specific, two attention models are combined to calculate the amount of attention cast on each participant. It will then be used to determine the weights of local models during the global aggregation. The proposed algorithm is verified on a real-world dataset and it outperforms existing algorithms, both in secure systems and in systems under data poisoning attacks.


title: Design Frameworks for Spatial Zone Agents in XRI Metaverse Smart Environments

abstract: The spatial XR-IoT (XRI) Zone Agents concept combines Extended Reality (XR), the Internet of Things (IoT), and spatial computing concepts to create hyper-connected spaces for metaverse applications; envisioning space as zones that are social, smart, scalable, expressive, and agent-based. These zone agents serve as applications and agents (partners, assistants, or guides) for users co-living and co-operating together in a shared spatial context. The zone agent concept is toward reducing the gap between the physical environment (space) and the classical two-dimensional user interface, through space-based interactions for future metaverse applications. This integration aims to enrich user engagement with their environments through intuitive and immersive experiences and pave the way for innovative human-machine interaction in smart spaces. Contributions include: i) a theoretical framework for creating XRI zone/space-agents using Mixed-Reality Agents (MiRAs) and XRI theory, ii) agent and scene design for spatial zone agents, and iii) prototype and user interaction design scenario concepts for human-to-space agent relationships in an early immersive smart-space application.


title: Noether Symmetry Analysis of the Klein--Gordon and Wave Equations in Bianchi I Spacetime

abstract: We investigate the Noether symmetries of the Klein--Gordon Lagrangian for Bianchi I spacetime. This is accomplished using a set of new Noether symmetry relations for the Klein--Gordon Lagrangian of Bianchi I spacetime, which reduces to the wave equation in a special case. A detailed Noether symmetry analysis of the Klein--Gordon and the wave equations for Bianchi I spacetime is presented, and the corresponding conservation laws are derived.


title: Does Using ChatGPT Result in Human Cognitive Augmentation?

abstract: Human cognitive performance is enhanced by the use of tools. For example, a human can produce a much greater, and more accurate, volume of mathematical calculation in a unit of time using a calculator or a spreadsheet application on a computer. Such tools have taken over the burden of lower level cognitive grunt work but the human still serves the role of the expert performing higher level thinking and reasoning. Recently, however, unsupervised, deep, machine learning has produced cognitive systems able to outperform humans in several domains. When humans use these tools in a human cog ensemble, the cognitive ability of the human is augmented. In some cases, even non experts can achieve, and even exceed, the performance of experts in a particular domain, synthetic expertise. A new cognitive system, ChatGPT, has burst onto the scene during the past year. This paper investigates human cognitive augmentation due to using ChatGPT by presenting the results of two experiments comparing responses created using ChatGPT with results created not using ChatGPT. We find using ChatGPT does not always result in cognitive augmentation and does not yet replace human judgement, discernment, and evaluation in certain types of tasks. In fact, ChatGPT was observed to result in misleading users resulting in negative cognitive augmentation.


title: On the theory of balayage on locally compact spaces and its applications

abstract: Under suitable requirements on a kernel on a locally compact space, we develop a theory of inner (outer) balayage of quite general Radon measures $\omega$ (not necessarily of finite energy) onto quite general sets (not necessarily closed). We prove the existence and the uniqueness of inner (outer) swept measures, analyze their properties, and provide a number of alternative characterizations. In spite of being in agreement with Cartan's theory of Newtonian balayage, the results obtained require essentially new methods and approaches, since in the case in question, useful specific features of Newtonian potentials may fail to hold. The theory thereby established extends considerably that by Fuglede (Anal. Math., 2016) and that by the author (Anal. Math., 2022), these two dealing with $\omega$ of finite energy. Such a generalization enables us to improve substantially our recent results on the inner Gauss variational problem (Constr. Approx., 2023), by strengthening their formulations and/or by extending the area of their validity. This study covers many interesting kernels in classical and modern potential theory, which also looks promising for other applications.


title: The Significance of Data Abstraction Methods in Machine Learning Classification Processes for Critical Decision-Making

abstract: The applicability of widely adopted machine learning (ML) methods to classification is circumscribed by the imperatives of explicability and uncertainty, particularly evident in domains such as healthcare, behavioural sciences, and finances, wherein accountability assumes priority. Recently, Small and Incomplete Dataset Analyser (SaNDA) has been proposed to enhance the ability to perform classification in such domains, by developing a data abstraction protocol using a ROC curve-based method. This paper focuses on column-wise data transformations called abstractions, which are crucial for SaNDA's classification process and explores alternative abstractions protocols, such as constant binning and quantiles. The best-performing methods have been compared against Random Forest as a baseline for explainable methods. The results suggests that SaNDA can be a viable substitute for Random Forest when data is incomplete, even with minimal missing values. It consistently maintains high accuracy even when half of the dataset is missing, unlike Random Forest which experiences a significant decline in accuracy under similar conditions.


title: A new look to branching Brownian motion from a particle based reaction diffusion dynamics point of view

abstract: Aim of this note is to analyse branching Brownian motion within the class of models introduced in the recent paper [4] and called chemical diffusion master equations. These models provide a description for the probabilistic evolution of chemical reaction kinetics associated with spatial diffusion of individual particles. We derive an infinite system of Fokker-Planck equations that rules the probabilistic evolution of the single particles generated by the branching mechanism and analyse its properties using Malliavin Calculus techniques, following the ideas proposed in [13]. Another key ingredient of our approach is the McKean representation for the solution of the Fisher-Kolmogorov-Petrovskii-Piskunov equation and a stochastic counterpart of that equation. We also derive the reaction-diffusion partial differential equation solved by the average concentration field of the branching Brownian system of particles.


title: Information Based Inference in Models with Set-Valued Predictions and Misspecification

abstract: This paper proposes an information-based inference method for partially identified parameters in incomplete models that is valid both when the model is correctly specified and when it is misspecified. Key features of the method are: (i) it is based on minimizing a suitably defined Kullback-Leibler information criterion that accounts for incompleteness of the model and delivers a non-empty pseudo-true set; (ii) it is computationally tractable; (iii) its implementation is the same for both correctly and incorrectly specified models; (iv) it exploits all information provided by variation in discrete and continuous covariates; (v) it relies on Rao's score statistic, which is shown to be asymptotically pivotal.


title: Resonances for vector-valued Jacobi operators on half-lattice

abstract: We study resonances for Jacobi operators on the half lattice with matrix valued coefficient and finitely supported perturbations. We describe a forbidden domain, the geometry of resonances and their asymptotics when the main coefficient of the perturbation (determining its length of support) goes to zero. Moreover, we show that\\ 1) Any sequence of points on the complex plane can be resonances for some Jacobi operators. In particular, the multiplicity of a resonance can be any number.\\ 2) The Jost determinant coincides with the Fredholm determinant up to the constant.\\ 3) The S-matrix on the a.c spectrum determines the perturbation uniquely.\\ 5) The value of the Jost matrix at any finite sequence of points on the a.c spectrum determine the Jacobi matrix uniquely. The length of this sequence is equals to the upper point of the support perturbation.


title: PubTator 3.0: an AI-powered Literature Resource for Unlocking Biomedical Knowledge

abstract: PubTator 3.0 (https://www.ncbi.nlm.nih.gov/research/pubtator3/) is a biomedical literature resource using state-of-the-art AI techniques to offer semantic and relation searches for key concepts like proteins, genetic variants, diseases, and chemicals. It currently provides over one billion entity and relation annotations across approximately 36 million PubMed abstracts and 6 million full-text articles from the PMC open access subset, updated weekly. PubTator 3.0's online interface and API utilize these precomputed entity relations and synonyms to provide advanced search capabilities and enable large-scale analyses, streamlining many complex information needs. We showcase the retrieval quality of PubTator 3.0 using a series of entity pair queries, demonstrating that PubTator 3.0 retrieves a greater number of articles than either PubMed or Google Scholar, with higher precision in the top 20 results. We further show that integrating ChatGPT (GPT-4) with PubTator APIs dramatically improves the factuality and verifiability of its responses. In summary, PubTator 3.0 offers a comprehensive set of features and tools that allow researchers to navigate the ever-expanding wealth of biomedical literature, expediting research and unlocking valuable insights for scientific discovery.


title: Bexcitonics: Quasi-particle approach to open quantum dynamics

abstract: We develop a quasiparticle approach to capture the dynamics of open quantum systems coupled to bosonic thermal baths of arbitrary complexity based on the Hierarchical Equations of Motion (HEOM). This is done by generalizing the HEOM dynamics and mapping it into that of the system in interaction with a few bosonic fictitious quasiparticles that we call bexcitons. Bexcitons arise from a decomposition of the bath correlation function into discrete features. Specifically, bexciton creation and annihilation couple the auxiliary density matrices in the HEOM. The approach provides a systematic strategy to construct exact quantum master equations that include the system-bath coupling to all orders even for non-Markovian environments. Specifically, by introducing different metrics and representations for the bexcitons it is possible to straightforwardly generate different variants of the HEOM, demonstrating that all these variants share a common underlying quasiparticle picture. Bexcitonic properties, while unphysical, offer a coarse-grained view of the correlated system-bath dynamics and its numerical convergence. For instance, we use it to analyze the instability of the HEOM when the bath is composed of underdamped oscillators and show that it leads to the creation of highly excited bexcitons. The bexcitonic picture can also be used to develop more efficient approaches to propagate the HEOM. As an example, we use the particle-like nature of the bexcitons to introduce mode-combination of bexcitons that uses the multi-configuration time-dependent Hartree to efficiently propagate the HEOM dynamics.


title: LF: a Foundational Higher-Order-Logic

abstract: This paper presents a new system of logic, LF, that is intended to be used as the foundation of the formalization of science. That is, deductive validity according to LF is to be used as the criterion for assessing what follows from the verdicts, hypotheses, or conjectures of any science. In work currently in progress, we argue for the unique suitability of LF for the formalization of logic, mathematics, syntax, and semantics. The present document specifies the language and rules of LF, lays out some key notational conventions, and states some basic technical facts about the system.


title: A Comprehensive Approach to Characterize Navigation Instruments for Magnetic Guidance in Biological Systems

abstract: The non-invasive spatiotemporal control of cellular functions, organization of tissues, and even the behavior of small animals has become paramount for advanced therapies. As magnetic fields do not interact with biological matter, their application is not only suitable for in vitro experiments but also for in vivo applications, even in deep tissues. Particularly, the remote manipulation of paramagnetic entities through magnetic instruments has emerged as a promising approach across various biological contexts. Despite similarities in basic experimental concepts, variations in the properties and descriptions of those magnetic instruments among the authors and studies resulted in a lack of reproducibility and comparability. Therefore, this article addresses the question of how to standardize the characterization of magnetic instruments. Our emphasis lies on the ability of magnetic systems to control the movement of paramagnetic objects such as ferro- or superparamagnetic particles, within organisms. This movement is achieved by exerting a force on magnetic particles by exposing them to a locally varying magnetic field. While it is well-known that the exerted force depends on the spatial variation (i.e. the gradient) of the magnetic field, the magnitude of the field is equally important. However, this second factor is often neglected in the literature. Therefore, we conduct a comprehensive analysis and discussion of both factors. Furthermore, we propose a novel descriptor, termed "effective gradient", which combines both dependencies. To illustrate, we characterize different magnet systems by calculating and comparing the different quantities and relating them to two experiments with different superparamagnetic nanoparticles.


title: Mining experimental data from Materials Science literature with Large Language Models: an evaluation study

abstract: This study is dedicated to assessing the capabilities of large language models (LLMs) such as GPT-3.5-Turbo, GPT-4, and GPT-4-Turbo in extracting structured information from scientific documents in materials science. To this end, we primarily focus on two critical tasks of information extraction: (i) a named entity recognition (NER) of studied materials and physical properties and (ii) a relation extraction (RE) between these entities. Due to the evident lack of datasets within Materials Informatics (MI), we evaluated using SuperMat, based on superconductor research, and MeasEval, a generic measurement evaluation corpus. The performance of LLMs in executing these tasks is benchmarked against traditional models based on the BERT architecture and rule-based approaches (baseline). We introduce a novel methodology for the comparative analysis of intricate material expressions, emphasising the standardisation of chemical formulas to tackle the complexities inherent in materials science information assessment. For NER, LLMs fail to outperform the baseline with zero-shot prompting and exhibit only limited improvement with few-shot prompting. However, a GPT-3.5-Turbo fine-tuned with the appropriate strategy for RE outperforms all models, including the baseline. Without any fine-tuning, GPT-4 and GPT-4-Turbo display remarkable reasoning and relationship extraction capabilities after being provided with merely a couple of examples, surpassing the baseline. Overall, the results suggest that although LLMs demonstrate relevant reasoning skills in connecting concepts, specialised models are currently a better choice for tasks requiring extracting complex domain-specific entities like materials. These insights provide initial guidance applicable to other materials science sub-domains in future work.


title: StreamVoice: Streamable Context-Aware Language Modeling for Real-time Zero-Shot Voice Conversion

abstract: Recent language model (LM) advancements have showcased impressive zero-shot voice conversion (VC) performance. However, existing LM-based VC models usually apply offline conversion from source semantics to acoustic features, demanding the complete source speech and limiting their deployment to real-time applications. In this paper, we introduce StreamVoice, a novel streaming LM-based model for zero-shot VC, facilitating real-time conversion given arbitrary speaker prompts and source speech. Specifically, to enable streaming capability, StreamVoice employs a fully causal context-aware LM with a temporal-independent acoustic predictor, while alternately processing semantic and acoustic features at each time step of autoregression which eliminates the dependence on complete source speech. To address the potential performance degradation from the incomplete context in streaming processing, we enhance the context-awareness of the LM through two strategies: 1) teacher-guided context foresight, using a teacher model to summarize the present and future semantic context during training to guide the model's forecasting for missing context; 2) semantic masking strategy, promoting acoustic prediction from preceding corrupted semantic and acoustic input, enhancing context-learning ability. Notably, StreamVoice is the first LM-based streaming zero-shot VC model without any future look-ahead. Experiments demonstrate StreamVoice's streaming conversion capability while achieving zero-shot performance comparable to non-streaming VC systems.


title: Fine-Structure Qubit Encoded in Metastable Strontium Trapped in an Optical Lattice

abstract: We demonstrate coherent control of the fine-structure qubit in neutral strontium atoms. This qubit is encoded in the metastable $^3\mathrm{P}_2$ and $^3\mathrm{P}_0$ states, coupled by a Raman transition. Using a magnetic quadrupole transition, we demonstrate coherent state-initialization of this THz qubit. We show Rabi oscillations with more than 60 coherent cycles and single-qubit rotations on the $\mu$s scale. With spin-echo, we demonstrate coherence times of tens of ms. Our results pave the way for fast quantum information processors and highly tunable quantum simulators with two-electron atoms.


title: A survey of nuclear quadrupole deformation in order to estimate the nuclear MQM and its relative contribution to the atomic EDM

abstract: New sources of charge-parity (CP) violation, beyond the known sources in the standard model (SM), are required to explain the baryon asymmetry of the universe. Measurement of a non-zero permanent electric dipole moment (EDM) in fundamental particles, such as in an electron or a neutron, or in nuclei or atoms, can help us gain a handle on the sources of CP violation, both in the SM and beyond. The nuclear magnetic quadrupole moment (MQM), the central topic of this work, is also CP, P, and T violating. Nucleons and nuclei have a non-zero MQM from sources within the SM, but the nuclear MQM is dramatically enhanced if the nuclei are structurally quadrupole deformed. Multiple sources contribute to an atomic EDM \emph{viz.} (i) nuclear EDM through its Schiff moment, which is enhanced by nuclear octupole deformation, (ii) CP violating interactions between the electrons and the nuclei, and (iii) the nuclear MQM that contributes to the atomic EDM in atoms with an unpaired valence electron. Our survey of nuclear quadrupole deformation has identified $^{151}$Nd, $^{153}$Pm, $^{153}$Sm, $^{157}$Ho, $^{163,165}$Er, $^{161,168}$Tm, $^{167}$Yb, $^{169}$Hf, $^{171,180}$Ta, $^{173,175,177,179,180}$Re, $^{190,192}$Ir, $^{188}$Au, $^{223,225}$Fr, $^{223,227,229,231}$Ra, $^{223,225,227,229}$Ac, $^{229,231}$Th, $^{229,231,233,235}$Pa, $^{235}$U, $^{233,235,237,238,239}$Np, $^{237}$Pu, and $^{239,241,242,243,245}$Am as ideal systems in which to search for a CP violating EDM via their enhanced nuclear MQM, while $^{223,225}$Fr, $^{223}$Ra, $^{223,225,227}$Ac, $^{229}$Th, and $^{229}$Pa also have maximally enhanced nuclear Schiff moment contribution due to their octupole deformation. Laser cooling of the isotopes of Er, Tm, Yb, Fr, and Ra has already been demonstrated, making $^{223,225}$Fr and $^{223}$Ra some of the best systems in which to measure an EDM.


title: Analytical results for the Quantum Alternating Operator Ansatz with Grover Mixer

abstract: An important property of QAOA with Grover mixer is that its expectation value is invariant over any permutation of states. As a consequence, the algorithm is independent of the structure of the problem. If, on the one hand, this characteristic raises serious doubts about the capacity of the algorithm to overcome the bound of the unstructured search problem, on the other hand, it can pave the way to its analytical study. In this sense, a prior work introduced a statistical approach to analyze GM-QAOA that results in an analytical expression for the expectation value depending on the probability distribution associated with the problem Hamiltonian spectrum. Although the method provides surprising simplifications in calculations, the expression depends exponentially on the number of layers, which makes direct analytical treatment unfeasible. In this work, we extend the analysis to the more simple context of Grover Mixer Threshold QAOA (GM-Th-QAOA), a variant that replaces the phase separation operator of GM-QAOA to encode a threshold function. As a result, we obtain an expression for the expectation value independent of the number of layers and, with it, we provide bounds for different performance metrics. Furthermore, we extend the analysis to a more general context of QAOA with Grover mixer, which we called Grover-based QAOA. In that framework, which allows the phase separation operator to encode any compilation of the cost function, we generalize all the bounds by using a contradiction argument with the optimality of Grover's algorithm on the unstructured search problem. As a result, we get the main contribution of this work, an asymptotic lower bound on the quantile achieved by the expectation value that formalizes the notion that the Grover mixer, at most, reflects a quadratic Grover-style speed-up over classical brute force.


title: Quadratic growth of Out-of-time ordered correlators in quantum kicked rotor model

abstract: We investigate both theoretically and numerically the dynamics of Out-of-Time-Ordered Correlators (OTOCs) in quantum resonance condition for a kicked rotor model. We employ various operators to construct OTOCs in order to thoroughly quantify their commutation relation at different time, therefore unveiling the process of quantum scrambling. With the help of quantum resonance condition, we have deduced the exact expressions of quantum states during both forward evolution and time reversal, which enables us to establish the laws governing OTOCs' time dependence. We find interestingly that the OTOCs of different types increase in a quadratic function of time, breaking the freezing of quantum scrambling induced by the dynamical localization under non-resonance condition. The underlying mechanism is discovered and the possible applications in quantum entanglement are discussed.


title: Low Complexity Turbo SIC-MMSE Detection for Orthogonal Time Frequency Space Modulation

abstract: Recently, orthogonal time frequency space (OTFS) modulation has garnered considerable attention due to its robustness against doubly-selective wireless channels. In this paper, we propose a low-complexity iterative successive interference cancellation based minimum mean squared error (SIC-MMSE) detection algorithm for zero-padded OTFS (ZP-OTFS) modulation. In the proposed algorithm, signals are detected based on layers processed by multiple SIC-MMSE linear filters for each sub-channel, with interference on the targeted signal layer being successively canceled either by hard or soft information. To reduce the complexity of computing individual layer filter coefficients, we also propose a novel filter coefficients recycling approach in place of generating the exact form of MMSE filter weights. Moreover, we design a joint detection and decoding algorithm for ZP-OTFS to enhance error performance. Compared to the conventional SIC-MMSE detection, our proposed algorithms outperform other linear detectors, e.g., maximal ratio combining (MRC), for ZP-OTFS with up to 3 dB gain while maintaining comparable computation complexity.


title: Dynamical transition of quantum scrambling in a non-Hermitian Floquet synthetic system

abstract: We investigate the dynamics of quantum scrambling, characterized by the out-of-time ordered correlators (OTOCs), in a non-Hermitian quantum kicked rotor subjected to quasi-periodical modulation in kicking potential. Quasi-periodic modulation with incommensurate frequencies creates a high-dimensional synthetic space, where two different phases of quantum scrambling emerge: the freezing phase characterized by the rapid increase of OTOCs towards saturation, and the chaotic scrambling featured by the linear growth of OTOCs with time. We find the dynamical transition from the freezing phase to the chaotic scrambling phase, which is assisted by increasing the real part of the kicking potential along with a zero value of its imaginary part. The opposite transition occurs with the increase in the imaginary part of the kicking potential, demonstrating the suppression of quantum scrambling by non-Hermiticity. The underlying mechanism is uncovered by the extension of the Floquet theory. Possible applications in the field of quantum information are discussed.


title: A Molev-Sagan type formula for double Schubert polynomials

abstract: We give a Molev-Sagan type formula for computing the product $\mathfrak{S}_u(x;y)\mathfrak{S}_v(x;z)$ of two double Schubert polynomials in different sets of coefficient variables where the descents of $u$ and $v$ satisfy certain conditions that encompass Molev and Sagan's original case and conjecture positivity in the general case. Additionally, we provide a Pieri formula for multiplying an arbitrary double Schubert polynomial $\mathfrak{S}_u(x;y)$ by a factorial elementary symmetric polynomial $E_{p,k}(x;z)$. Both formulas remain positive in terms of the negative roots when we set $y=z$, so in particular this gives a new equivariant Littlewood-Richardson rule for the Grassmannian, and more generally a positive formula for multiplying a factorial Schur polynomial $s_{\lambda}(x_1,\ldots,x_m;y)$ by a double Schubert polynomial $\mathfrak{S}_v(x_1,\ldots,x_p;y)$ such that $m\geq p$. An additional new result we present is a combinatorial proof of a conjecture of Kirillov of nonnegativity of the coefficients of skew Schubert polynomials, and we conjecture a weight-preserving bijection between a modification of certain diagrams used in our formulas and RC-graphs/pipe dreams arising in formulas for double Schubert polynomials.


title: PhotoBot: Reference-Guided Interactive Photography via Natural Language

abstract: We introduce PhotoBot, a framework for fully automated photo acquisition based on an interplay between high-level human language guidance and a robot photographer. We propose to communicate photography suggestions to the user via reference images that are selected from a curated gallery. We leverage a visual language model (VLM) and an object detector to characterize the reference images via textual descriptions and then use a large language model (LLM) to retrieve relevant reference images based on a user's language query through text-based reasoning. To correspond the reference image and the observed scene, we exploit pre-trained features from a vision transformer capable of capturing semantic similarity across marked appearance variations. Using these features, we compute pose adjustments for an RGB-D camera by solving a perspective-n-point (PnP) problem. We demonstrate our approach using a manipulator equipped with a wrist camera. Our user studies show that photos taken by PhotoBot are often more aesthetically pleasing than those taken by users themselves, as measured by human feedback. We also show that PhotoBot can generalize to other reference sources such as paintings.


title: Learned Image resizing with efficient training (LRET) facilitates improved performance of large-scale digital histopathology image classification models

abstract: Histologic examination plays a crucial role in oncology research and diagnostics. The adoption of digital scanning of whole slide images (WSI) has created an opportunity to leverage deep learning-based image classification methods to enhance diagnosis and risk stratification. Technical limitations of current approaches to training deep convolutional neural networks (DCNN) result in suboptimal model performance and make training and deployment of comprehensive classification models unobtainable. In this study, we introduce a novel approach that addresses the main limitations of traditional histopathology classification model training. Our method, termed Learned Resizing with Efficient Training (LRET), couples efficient training techniques with image resizing to facilitate seamless integration of larger histology image patches into state-of-the-art classification models while preserving important structural information. We used the LRET method coupled with two distinct resizing techniques to train three diverse histology image datasets using multiple diverse DCNN architectures. Our findings demonstrate a significant enhancement in classification performance and training efficiency. Across the spectrum of experiments, LRET consistently outperforms existing methods, yielding a substantial improvement of 15-28% in accuracy for a large-scale, multiclass tumor classification task consisting of 74 distinct brain tumor types. LRET not only elevates classification accuracy but also substantially reduces training times, unlocking the potential for faster model development and iteration. The implications of this work extend to broader applications within medical imaging and beyond, where efficient integration of high-resolution images into deep learning pipelines is paramount for driving advancements in research and clinical practice.


title: The Best Ends by the Best Means: Ethical Concerns in App Reviews

abstract: This work analyzes ethical concerns found in users' app store reviews. We performed this study because ethical concerns in mobile applications (apps) are widespread, pose severe threats to end users and society, and lack systematic analysis and methods for detection and classification. In addition, app store reviews allow practitioners to collect users' perspectives, crucial for identifying software flaws, from a geographically distributed and large-scale audience. For our analysis, we collected five million user reviews, developed a set of ethical concerns representative of user preferences, and manually labeled a sample of these reviews. We found that (1) users highly report ethical concerns about censorship, identity theft, and safety (2) user reviews with ethical concerns are longer, more popular, and lowly rated, and (3) there is high automation potential for the classification and filtering of these reviews. Our results highlight the relevance of using app store reviews for the systematic consideration of ethical concerns during software evolution.


title: Low-Complexity Integer Divider Architecture for Homomorphic Encryption

abstract: Homomorphic encryption (HE) allows computations to be directly carried out on ciphertexts and enables privacy-preserving cloud computing. The computations on the coefficients of the polynomials involved in HE are always followed by modular reduction, and the overall complexity of ciphertext multiplication can be reduced by utilizing the quotient. Our previous design considers the cases that the dividend is an integer multiple of the modulus and the modulus is in the format of $2^w-2^u\pm1$, where $u<w/2$. In this paper, the division is generalized for larger $u$ and dividend not an integer multiple of the modulus. An algorithm is proposed to compute the quotient and vigorous mathematical proofs are provided. Moreover, efficient hardware architecture is developed for implementing the proposed algorithm. Compared to alternative division approaches that utilize the inverse of the divisor, for $w=32$, the proposed design achieves at least 9% shorter latency and 79\% area reduction for 75% possible values of $u$.


title: Extremely strong spin-orbit coupling effect in light element altermagnetic materials

abstract: Spin-orbit coupling is a key to realize many novel physical effects in condensed matter physics, but the mechanism to achieve strong spin-orbit coupling effect in light element antiferromagnetic compounds has not been explored. In this work, based on symmetry analysis and the first-principles electronic structure calculations, we demonstrate that strong spin-orbit coupling effect can be realized in light element altermagnetic materials, and propose a mechanism for realizing the corresponding effective spin-orbit coupling. This mechanism reveals the cooperative effect of crystal symmetry, electron occupation, electronegativity, electron correlation, and intrinsic spin-orbit coupling. Our work not only promotes the understanding of light element compounds with strong spin-orbit coupling effect, but also provides an alternative for realizing light element compounds with an effective strong spin-orbit coupling.


title: Formation and Study of a Spherical Plasma Liner for Plasma-Jet-Driven Magneto-Inertial Fusion

abstract: Plasma-jet-driven magneto-inertial fusion (PJMIF) is an alternative approach to controlled nuclear fusion which aims to utilize a line-replaceable dense plasma liner as a repetitive spherical compression driver. In this experiment, first measurements of the formation of a spherical Argon plasma liner formed from 36 discrete pulsed plasma jets are obtained on the Plasma Liner Experiment (PLX). Properties including liner uniformity and morphology, plasma density, temperature, and ram pressure are assessed as a function of time throughout the implosion process and indicate an apparent transition from initial kinetic inter-jet interpenetration to collisional regime near stagnation times, in accordance with theoretical expectation. A lack of primary shock structures between adjacent jets during flight implies that arbitrarily smooth liners may be formed by way of corresponding improvements in jet parameters and control. The measurements facilitate the benchmarking of computational models and understanding the scaling of plasma liners towards fusion-relevant energy density.


title: Make-A-Shape: a Ten-Million-scale 3D Shape Model

abstract: Significant progress has been made in training large generative models for natural language and images. Yet, the advancement of 3D generative models is hindered by their substantial resource demands for training, along with inefficient, non-compact, and less expressive representations. This paper introduces Make-A-Shape, a new 3D generative model designed for efficient training on a vast scale, capable of utilizing 10 millions publicly-available shapes. Technical-wise, we first innovate a wavelet-tree representation to compactly encode shapes by formulating the subband coefficient filtering scheme to efficiently exploit coefficient relations. We then make the representation generatable by a diffusion model by devising the subband coefficients packing scheme to layout the representation in a low-resolution grid. Further, we derive the subband adaptive training strategy to train our model to effectively learn to generate coarse and detail wavelet coefficients. Last, we extend our framework to be controlled by additional input conditions to enable it to generate shapes from assorted modalities, e.g., single/multi-view images, point clouds, and low-resolution voxels. In our extensive set of experiments, we demonstrate various applications, such as unconditional generation, shape completion, and conditional generation on a wide range of modalities. Our approach not only surpasses the state of the art in delivering high-quality results but also efficiently generates shapes within a few seconds, often achieving this in just 2 seconds for most conditions.


title: Defining sequences for fundamental root systems and Coxeter graphs for super Weyl groups

abstract: The purpose of this paper is double. One is to introduce defining sequences which are a kind of new descriptions of fundamental root systems for classical Lie superalgebras of type $A,B,C$ and $D$. The other one is to describe the Coxeter systems for super Weyl groups of basic classical Lie superalgebras. The super Weyl group of a basic classical Lie superalgebra is introduced and studied in [Lei Pan and Bin Shu}, which turns out to play an important role for the study of representations of the basic classical Lie superalgebra and algebraic supergroup (see [Lei Pan and Bin Shu] and [Yiyang Li and Bin Shu}). It is deserved to specially investigate super Weyl groups. These groups are proved to be some quotients of Coxeter groups. Based on defining sequences, we decide the Coxeter groups associated with those super Weyl groups via Coxeter graphs.


title: On a spectral method for $\beta$-particle bound excitation collisions in kilonovae

abstract: The interaction of $\beta$-particles with the weakly ionized plasma background is an important mechanism for powering the kilonova transient signal from neutron star mergers. For this purpose, we present an implementation of the approximate fast-particle collision kernel, described by Inokuti (1971) following the seminal formulation of Bethe (1930), in a spectral solver of the Vlasov-Maxwell-Boltzmann equations. In particular, we expand the fast-particle plane-wave atomic excitation kernel into coefficients of the Hermite basis, and derive the relevant discrete spectral system. In this fast-particle limit, the approach permits the direct use of atomic data, including optical oscillator strengths, normally applied to photon-matter interaction. The resulting spectral matrix is implemented in the MASS-APP spectral solver framework, in a way that avoids full matrix storage per spatial zone. We numerically verify aspects of the matrix construction, and present a proof-of-principle 3D simulation of a 2D axisymmetric kilonova ejecta snapshot. Our preliminary numerical results indicate that a reasonable choice of Hermite basis parameters for $\beta$-particles in the kilonova are a bulk velocity parameter $\vec{u}=0$, a thermal velocity parameter $\vec{\alpha}=0.5c$, and a 9x9x9 mode velocity basis set (Hermite orders 0 to 8 in each dimension). For ejecta-interior sample zones, we estimate the ratio of thermalization from large-angle ($\gtrsim2.5^{\circ}$) bound excitation scattering to total thermalization is $\sim$0.002-0.003.


title: Efficient Data Reduction Strategies for Big Data and High-Dimensional LASSO Regressions

abstract: The IBOSS approach proposed by Wang et al. (2019) selects the most informative subset of n points. It assumes that the ordinary least squares method is used and requires that the number of variables, p, is not large. However, in many practical problems, p is very large and penalty-based model fitting methods such as LASSO is used. We study the big data problems, in which both n and p are large. In the first part, we focus on reduction in data points. We develop theoretical results showing that the IBOSS type of approach can be applicable to penalty-based regressions such as LASSO. In the second part, we consider the situations where p is extremely large. We propose a two-step approach that involves first reducing the number of variables and then reducing the number of data points. Two separate algorithms are developed, whose performances are studied through extensive simulation studies. Compared to existing methods including well-known split-and-conquer approach, the proposed methods enjoy advantages in terms of estimation accuracy, prediction accuracy, and computation time.


title: Lie-Cartan modules and cohomology

abstract: As a sequel to [Duan-Shu-Yao], we introduce here a category $\mathscr{LC}$ arising from the BGG category $\mathcal{O}$ defined in [Duan-Shu-Yao] for Lie algebras of polynomial vector fields. The objects of $\mathscr{LC}$ are so-called Lie-Cartan modules which admit both Lie-module structure and compatible $R$-module structure ($R$ denotes the corresponding polynomial ring). This terminology is natural, coming from affine connections in differential geometry through which the structure sheaves in topology and the vector fields in geometry are integrated for differential manifolds. In this paper, we study Lie-Cartan modules and their categorical and cohomology properties. The category $\mathscr{LC}$ is abelian, and a ``highest weight category" with depths. Notably, the set of co-standard objects in the category $\mathcal{O}$ turns out to represent the isomorphism classes of simple objects of $\mathscr{LC}$. We then establish the cohomology for this category (called the $\mathscr{uLC}$-cohomology), extending Chevalley-Eilenberg cohomology theory. Another notable result says that in the fundamental case $\mathfrak{g}= W(n)$, the extension ring $\text{Ext}^\bullet_{\mathscr{uLC}}(R,R)$ for the polynomial algebra $R$ in the $\mathscr{uLC}$-cohomology is isomorphic to the usual cohomology ring $H^\bullet(\mathfrak{gl}(n))$ of the general linear Lie algebra $\mathfrak{gl}(n)$.


title: Inverse limits of automorphisms of truncated polynomials and applications related to Jacobian conjecture

abstract: In this note, we investigate Jacobian conjecture through investigation of automorphisms of polynomial rings in characteristic $p$. Making use of the technique of inverse limits, we show that under Jacobian condition for a given homomorphism $\varphi$ of the polynomial ring $\mathbf{k}[x_1,\ldots,x_n]$, if $\varphi$ preserves the maximal ideals, then $\varphi$ is an automorphism.


title: On an invariant for colored classical and singular links

abstract: A colored link, as defined by Francesca Aicardi, is an oriented classical link together with a coloration, which is a function defined on the set of link components and whose image is a finite set of colors. An oriented classical link can be regarded as a colored link with its components colored with a sole color. Aicardi constructed an invariant $F(L)$ of colored links $L$ defined via skein relations. When the components of a colored link are colored with the same color or when the colored link is a knot, $F(L)$ is a specialization of the HOMFLY-PT polynomial. Aicardi also showed that $F(L)$ is a stronger invariant than the HOMFLY-PT polynomial when evaluated on colored links whose components have different colors. In this paper, we provide a state-sum model for the invariant $F(L)$ of colored links using a graphical calculus for oriented, colored, 4-valent planar graphs. We also extend $F(L)$ to an invariant of oriented colored singular links.


title: On The Temporal Domain of Differential Equation Inspired Graph Neural Networks

abstract: Graph Neural Networks (GNNs) have demonstrated remarkable success in modeling complex relationships in graph-structured data. A recent innovation in this field is the family of Differential Equation-Inspired Graph Neural Networks (DE-GNNs), which leverage principles from continuous dynamical systems to model information flow on graphs with built-in properties such as feature smoothing or preservation. However, existing DE-GNNs rely on first or second-order temporal dependencies. In this paper, we propose a neural extension to those pre-defined temporal dependencies. We show that our model, called TDE-GNN, can capture a wide range of temporal dynamics that go beyond typical first or second-order methods, and provide use cases where existing temporal models are challenged. We demonstrate the benefit of learning the temporal dependencies using our method rather than using pre-defined temporal dynamics on several graph benchmarks.


title: Estimating the Hawkes process from a discretely observed sample path

abstract: The Hawkes process is a widely used model in many areas, such as finance, seismology, neuroscience, epidemiology, and social sciences. Estimation of the Hawkes process from continuous observations of a sample path is relatively straightforward using either the maximum likelihood or other methods. However, estimating the parameters of a Hawkes process from observations of a sample path at discrete time points only is challenging due to the intractability of the likelihood with such data. In this work, we introduce a method to estimate the Hawkes process from a discretely observed sample path. The method takes advantage of a state-space representation of the incomplete data problem and use the sequential Monte Carlo (aka particle filtering) to approximate the likelihood function. As an estimator of the likelihood function the SMC approximation is unbiased, and therefore it can be used together with the Metropolis-Hastings algorithm to construct Markov Chains to approximate the likelihood distribution, or more generally, the posterior distribution of model parameters. The performance of the methodology is assessed using simulation experiments and compared with other recently published methods. The proposed estimator is found to have a smaller mean square error than the two benchmark estimators. The proposed method has the additional advantage that confidence intervals for the parameters are easily available. We apply the proposed estimator to the analysis of weekly count data on measles cases in Tokyo Japan and compare the results to those by one of the benchmark methods.


title: Optimal Control of Malware Propagation in IoT Networks

abstract: The rapid proliferation of Internet of Things (IoT) devices in recent years has resulted in a significant surge in the number of cyber-attacks targeting these devices. Recent data indicates that the number of such attacks has increased by over 100 percent, highlighting the urgent need for robust cybersecurity measures to mitigate these threats. In addition, a cyber-attack will begin to spread malware across the network once it has successfully compromised an IoT network. However, to mitigate this attack, a new patch must be applied immediately. In reality, the time required to prepare and apply the new patch can vary significantly depending on the nature of the cyber-attack. In this paper, we address the issue of how to mitigate cyber-attacks before the new patch is applied by formulating an optimal control strategy that reduces the impact of malware propagation and minimise the number of infected devices across IoT networks in the smart home. A novel node-based epidemiological model susceptible, infected high, infected low, recover first, and recover complete(SI_HI_LR_FR_C) is established with immediate response state for the restricted environment. After that, the impact of malware on IoT devices using both high and low infected rates will be analyzed. Finally, to illustrate the main results, several numerical analyses are carried out in addition to simulate the real-world scenario of IoT networks in the smart home, we built a dataset to be used in the experiments.


title: Chance-Constrained, Drift-Safe Guidance for Spacecraft Rendezvous

abstract: A robust drift-safe rendezvous trajectory optimization tool is developed in this work, with applications to orbital rendezvous and proximity operations. The method is based on direct collocation and utilizes a sequential convex programming framework, and is extended from previous work to include passive safety constraints. The tool is then paired with a dispersion analysis framework to allow trajectories to be optimized subject to plant, navigation, and actuator uncertainties. The timing, direction, and magnitude of orbital maneuvers are optimized subject to the expected propellant usage, for a given navigation system performance. Representative trajectories are presented for the LEO flight regime, but the approach can also be applied to GEO and NRHO with minimal modification.


title: UltrAvatar: A Realistic Animatable 3D Avatar Diffusion Model with Authenticity Guided Textures

abstract: Recent advances in 3D avatar generation have gained significant attentions. These breakthroughs aim to produce more realistic animatable avatars, narrowing the gap between virtual and real-world experiences. Most of existing works employ Score Distillation Sampling (SDS) loss, combined with a differentiable renderer and text condition, to guide a diffusion model in generating 3D avatars. However, SDS often generates oversmoothed results with few facial details, thereby lacking the diversity compared with ancestral sampling. On the other hand, other works generate 3D avatar from a single image, where the challenges of unwanted lighting effects, perspective views, and inferior image quality make them difficult to reliably reconstruct the 3D face meshes with the aligned complete textures. In this paper, we propose a novel 3D avatar generation approach termed UltrAvatar with enhanced fidelity of geometry, and superior quality of physically based rendering (PBR) textures without unwanted lighting. To this end, the proposed approach presents a diffuse color extraction model and an authenticity guided texture diffusion model. The former removes the unwanted lighting effects to reveal true diffuse colors so that the generated avatars can be rendered under various lighting conditions. The latter follows two gradient-based guidances for generating PBR textures to render diverse face-identity features and details better aligning with 3D mesh geometry. We demonstrate the effectiveness and robustness of the proposed method, outperforming the state-of-the-art methods by a large margin in the experiments.


title: Emergent bright excitons with Rashba spin-orbit coupling in atomic monolayers

abstract: Optical properties in van der Waals heterostructures based on monolayer transition-metal dichalcogenides (TMDs), are often dominated by excitonic transitions. While intrinsic spin-orbit coupling (SOC) and an isotropic band structure are typically studied in TMDs, in their heterostructures Rashba SOC and trigonal warping (TW), resulting in bands with threefold anisotropy, are also present. By considering a low-energy effective Hamiltonian and Bethe-Salpeter equation, we study the effect of Rashba SOC and TW on the band structure and absorption spectra. Rashba SOC is predicted to lead to emergent excitons, which are identified as an admixture between 1s and 2p symmetries. In contrast, for experimentally relevant values, TW has only a negligible effect on the absorption spectrum. These findings could guide experimental demonstrations of emergent bright excitons and further studies of the proximity effects in van der Waals heterostructure.


title: Double-decker Pair of Flux Ropes Formed by Two Successive Tether-cutting Eruptions

abstract: Double-decker filaments and their eruptions have been widely observed in recent years, but their physical formation mechanism is still unclear. Using high spatiotemporal resolution, multi-wavelength observations taken by the New Vacuum Solar Telescope and the Solar Dynamics Observatory, we show the formation of a double-decker pair of flux rope system by two successive tether-cutting eruptions in a bipolar active region. Due to the combined effect of photospheric shearing and convergence motions around the active region's polarity inversion line (PIL), the arms of two overlapping inverse-S-shaped short filaments reconnected at their intersection, which created a simultaneous upward-moving magnetic flux rope (MFR) and a downward-moving post-flare-loop (PFL) system striding the PIL. Meanwhile, four bright flare ribbons appeared at the footpoints of the newly formed MFR and the PFL. As the MFR rose, two elongated flare ribbons connected by a relatively larger PFL appeared on either side of the PIL. After a few minutes, another MFR formed in the same way at the same location and then erupted in the same direction as the first one. Detailed observational results suggest that the eruption of the first MFR might experienced a short pause before its successful eruption, while the second MFR was a failed eruption. This implies that the two newly formed MFRs might reach a new equilibrium at relatively higher heights for a while, which can be regarded as a transient double-decker flux rope system. The observations can well be explained by the tether-cutting model, and we propose that two successive confined tether-cutting eruptions can naturally produce a double-decker flux rope system, especially when the background coronal magnetic field has a saddle-like distribution of magnetic decay index profile in height.


title: Learning from Aggregate responses: Instance Level versus Bag Level Loss Functions

abstract: Due to the rise of privacy concerns, in many practical applications the training data is aggregated before being shared with the learner, in order to protect privacy of users' sensitive responses. In an aggregate learning framework, the dataset is grouped into bags of samples, where each bag is available only with an aggregate response, providing a summary of individuals' responses in that bag. In this paper, we study two natural loss functions for learning from aggregate responses: bag-level loss and the instance-level loss. In the former, the model is learnt by minimizing a loss between aggregate responses and aggregate model predictions, while in the latter the model aims to fit individual predictions to the aggregate responses. In this work, we show that the instance-level loss can be perceived as a regularized form of the bag-level loss. This observation lets us compare the two approaches with respect to bias and variance of the resulting estimators, and introduce a novel interpolating estimator which combines the two approaches. For linear regression tasks, we provide a precise characterization of the risk of the interpolating estimator in an asymptotic regime where the size of the training set grows in proportion to the features dimension. Our analysis allows us to theoretically understand the effect of different factors, such as bag size on the model prediction risk. In addition, we propose a mechanism for differentially private learning from aggregate responses and derive the optimal bag size in terms of prediction risk-privacy trade-off. We also carry out thorough experiments to corroborate our theory and show the efficacy of the interpolating estimator.


title: JWST observations of K2-18b can be explained by a gas-rich mini-Neptune with no habitable surface

abstract: JWST recently measured the transmission spectrum of K2-18b, a habitable-zone sub-Neptune exoplanet, detecting CH$_4$ and CO$_2$ in its atmosphere. The discovery paper argued the data are best explained by a habitable "Hycean" world, consisting of a relatively thin H$_2$-dominated atmosphere overlying a liquid water ocean. Here, we use photochemical and climate models to simulate K2-18b as both a Hycean planet and a gas-rich mini-Neptune with no defined surface. We find that a lifeless Hycean world is hard to reconcile with the JWST observations because photochemistry only supports $< 1$ part-per-million CH$_4$ in such an atmosphere while the data suggest about $\sim 1\%$ of the gas is present. Sustaining %-level CH$_4$ on a Hycean K2-18b may require the presence of a methane-producing biosphere, similar to microbial life on Earth $\sim 3$ billion years ago. On the other hand, we predict that a gas-rich mini-Neptune with $100 \times$ solar metallicity should have 4% CH$_4$ and nearly 0.1% CO$_2$, which are compatible with the JWST data. The CH$_4$ and CO$_2$ are produced thermochemically in the deep atmosphere and mixed upward to the low pressures sensitive to transmission spectroscopy. The model predicts H$_2$O, NH$_3$ and CO abundances broadly consistent with the non-detections. Given the additional obstacles to maintaining a stable temperate climate on Hycean worlds due to H$_2$ escape and potential supercriticality at depth, we favor the mini-Neptune interpretation because of its relative simplicity and because it does not need a biosphere or other unknown source of methane to explain the data.


title: New Beam Dynamics Code for Cyclotron Analysis

abstract: This paper describes the beam dynamic simulation with transfer matrix method for cyclotron. Starting from a description on the equation of motion in the cyclotron, lattice functions were determined from transfer matrix method and the solutions for the 2nd-order nonlinear Hamiltonian were introduced and used in phase space particle tracking. Based on the description of beam dynamics in the cyclotron, simulation code was also developed for cyclotron design.


title: Interference-Aware Queuing Analysis for Distributed Transmission Control in UAV Networks

abstract: In this paper, we investigate the problem of distributed transmission control for unmanned aerial vehicles (UAVs) operating in unlicensed spectrum bands. We develop a rigorous interference-aware queuing analysis framework that jointly considers two inter-dependent factors: (i) limited-size queues with delay-constrained packet arrival, and (ii) in-band interference introduced by other ground/aerial users. We aim to optimize the expected throughput by jointly analyzing these factors. In the queuing analysis, we explore two packet loss probabilities including, buffer overflow model and time threshold model. For interference analysis, we investigate the outage probability and packet losses due to low signal-to-interference-plus-noise ratio (SINR). We introduce two algorithms namely, Interference-Aware Transmission Control (IA-TC), and Interference-Aware Distributed Transmission Control (IA-DTC). These algorithms maximize the expected throughput by adjusting transmission policies to balance the trade-offs between packet drop from queues vs. transmission errors due to low SINRs. We implement the proposed algorithms and demonstrate that the optimal transmission policy under various scenarios is found.


title: Adaptive Global-Local Representation Learning and Selection for Cross-Domain Facial Expression Recognition

abstract: Domain shift poses a significant challenge in Cross-Domain Facial Expression Recognition (CD-FER) due to the distribution variation across different domains. Current works mainly focus on learning domain-invariant features through global feature adaptation, while neglecting the transferability of local features. Additionally, these methods lack discriminative supervision during training on target datasets, resulting in deteriorated feature representation in target domain. To address these limitations, we propose an Adaptive Global-Local Representation Learning and Selection (AGLRLS) framework. The framework incorporates global-local adversarial adaptation and semantic-aware pseudo label generation to enhance the learning of domain-invariant and discriminative feature during training. Meanwhile, a global-local prediction consistency learning is introduced to improve classification results during inference. Specifically, the framework consists of separate global-local adversarial learning modules that learn domain-invariant global and local features independently. We also design a semantic-aware pseudo label generation module, which computes semantic labels based on global and local features. Moreover, a novel dynamic threshold strategy is employed to learn the optimal thresholds by leveraging independent prediction of global and local features, ensuring filtering out the unreliable pseudo labels while retaining reliable ones. These labels are utilized for model optimization through the adversarial learning process in an end-to-end manner. During inference, a global-local prediction consistency module is developed to automatically learn an optimal result from multiple predictions. We conduct comprehensive experiments and analysis based on a fair evaluation benchmark. The results demonstrate that the proposed framework outperforms the current competing methods by a substantial margin.