title: Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller

abstract: Controller synthesis, including reset controller, feedback controller, and switching logic controller, provides an essential mechanism to guarantee the correctness and reliability of hybrid systems in a correct-by-construction manner. Unfortunately, reset controller synthesis is still in an infant stage in the literature, although it makes theoretical and practical significance. In this paper, we propose a convex programming based method to synthesize reset controllers for polynomial hybrid systems subject to safety, possibly together with liveness. Such a problem essentially corresponds to computing an initial set of continuous states in each mode and a reset map associated with each discrete jump such that any trajectory starting from any computed initial state keeps safe if only safety constraints are given or reaches the target set eventually and keeps safe before that if both safety and liveness are given, through the computed reset maps. Both cases can be reduced to reach-avoid and/or differential invariant generation problems, further encoded as convex optimization problems. Finally, several examples are provided to demonstrate the efficiency and effectiveness of our method.


title: High-chirality Weyl nodes in hexagonal ReO$_3$

abstract: The emergence of two-band nodal points (i.e. Weyl nodes) in gapless topological phases only requires translational symmetry, however, their necessary existence in the electronic band structure of materials can be deduced when additional crystalline symmetries are present. In particular, rotation symmetries have been known to be able to protect Weyl nodes of high chirality. In this work, we identify ReO$_3$ as an ideal high-chirality Weyl semimetal in which hexagonal screw symmetry plays a crucial role. To show this, we revisit in detail the algebraic determination of the chirality of Weyl nodes from the spinful irreducible representations of occupied bands, and combine it with the complementary $C_{2}T$-symmetry-protected patch Euler class that indicates the pinning of the Weyl nodes on $C_{2}T$-invariant planes. Supporting our findings with first-principles calculations, we furthermore reveal very clear Fermi arc signatures of the high-chirality Weyl nodes at the Fermi level and for different surface orientations. We finally consider the effect of strain upon which the reconfiguration of Weyl nodes further unveils their Chern (i.e. high chirality) and Euler (i.e. symmetry-plane pinning) topological nature.


title: Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems

abstract: A reset controller plays a crucial role in designing hybrid systems. It restricts the initial set and redefines the reset map associated with discrete transitions, in order to guarantee the system to achieve its objective. Reset controller synthesis, together with feedback controller synthesis and switching logic controller synthesis, provides a correct-by-construction approach to designing hybrid systems. However, time-delay is an inevitable factor in hybrid systems, which can degrade control performance and render verification certificates obtained by abstracting away time-delay invalid in practice. In this paper, we investigate this issue in a practical manner by taking time-delay into account. We propose an approach that reduces the synthesis of reset controllers to the generation of reach-avoid sets for the hybrid system under consideration, which can be efficiently solved using off-the-shell convex optimization solvers.


title: Exploring Short-Range Correlations in Symmetric Nuclei: Insights into Contacts and Entanglement Entropy

abstract: The Short-Range Correlations between nucleons in nuclei is regarded as a complex system. We investigate the relationship between the orbital entanglement entropy of SRCs $S_{ij}$ in nuclear structures and Tan contact $c_{ij}$, and find that the orbital entanglement entropies and Tan contacts corresponding to proton-proton SRC pairs and neutron-proton SRC pairs in nuclei demonstrate a scaling relation. More specifically, the proportionality of entanglement entropy between proton-proton pairs and neutron-proton pairs is directly related to the ratio of nuclear contacts within the atomic nucleus, demonstrating an approximate ratio of 2.0. Our research suggests that this scaling relationship should hold true for all symmetric nuclei, furthermore, we offer a possible explanation for this phenomenon.


title: Transport of nonlinear oscillations along rays that graze a convex obstacle to any order

abstract: We provide a geometric optics description in spaces of low regularity, $L^2$ and $H^1$, of the transport of oscillations in solutions to linear and some semilinear second-order hyperbolic boundary problems along rays that graze the boundary of a convex obstacle to arbitrarily high finite or infinite order. The fundamental motivating example is the case where the spacetime manifold is $M=(\mathbb{R}^n\setminus \mathcal{O})\times \mathbb{R}_t$, where $\mathcal{O}\subset \mathbb{R}^n$ is an open convex obstacle with $C^\infty$ boundary, and the governing hyperbolic operator is the wave operator $\Box:=\Delta-\partial_t^2$.


title: Quality-Agnostic Deepfake Detection with Intra-model Collaborative Learning

abstract: Deepfake has recently raised a plethora of societal concerns over its possible security threats and dissemination of fake information. Much research on deepfake detection has been undertaken. However, detecting low quality as well as simultaneously detecting different qualities of deepfakes still remains a grave challenge. Most SOTA approaches are limited by using a single specific model for detecting certain deepfake video quality type. When constructing multiple models with prior information about video quality, this kind of strategy incurs significant computational cost, as well as model and training data overhead. Further, it cannot be scalable and practical to deploy in real-world settings. In this work, we propose a universal intra-model collaborative learning framework to enable the effective and simultaneous detection of different quality of deepfakes. That is, our approach is the quality-agnostic deepfake detection method, dubbed QAD . In particular, by observing the upper bound of general error expectation, we maximize the dependency between intermediate representations of images from different quality levels via Hilbert-Schmidt Independence Criterion. In addition, an Adversarial Weight Perturbation module is carefully devised to enable the model to be more robust against image corruption while boosting the overall model's performance. Extensive experiments over seven popular deepfake datasets demonstrate the superiority of our QAD model over prior SOTA benchmarks.


title: Exceptional point proximity-driven mode-locking in coupled microresonators

abstract: We show theoretically and numerically that mode-locking is feasible with a coupled-cavity system with gain and loss, notably, without any natural saturable absorber. We highlight that in the vicinity of the exceptional point, system $Q$ exhibits substantial modulation even with minor refractive index changes and a minimal Kerr effect contribution. Leveraging this unique behaviour, we propose an unprecedented approach wherein the lossy auxiliary cavity functions as an efficient artificial saturable absorber, thus facilitating mode-locking. This approach is not only novel, but also presents considerable advantages over conventional systems where both gain and saturable absorption are contained within a single microcavity. These benefits include reduced operational power and ease of post-adjustment, achievable through the manipulation of the coupling strength between the two microcavities.


title: Behind The Wings: The Case of Reverse Engineering and Drone Hijacking in DJI Enhanced Wi-Fi Protocol

abstract: This research paper entails an examination of the Enhanced Wi-Fi protocol, focusing on its control command reverse-engineering analysis and subsequent demonstration of a hijacking attack. Our investigation discovered vulnerabilities in the Enhanced Wi-Fi control commands, rendering them susceptible to hijacking attacks. Notably, the study established that even readily available and cost-effective commercial off-the-shelf Wi-Fi routers could be leveraged as effective tools for executing such attacks. To illustrate this vulnerability, a proof-of-concept remote hijacking attack was carried out on a DJI Mini SE drone, whereby we intercepted the control commands to manipulate the drone's flight trajectory. The findings of this research emphasize the critical necessity of implementing robust security measures to safeguard unmanned aerial vehicles against potential hijacking threats. Considering that civilian drones are now used as war weapons, the study underscores the urgent need for further exploration and advancement in the domain of civilian drone security.


title: Medical Image Segmentation with Belief Function Theory and Deep Learning

abstract: Deep learning has shown promising contributions in medical image segmentation with powerful learning and feature representation abilities. However, it has limitations for reasoning with and combining imperfect (imprecise, uncertain, and partial) information. In this thesis, we study medical image segmentation approaches with belief function theory and deep learning, specifically focusing on information modeling and fusion based on uncertain evidence. First, we review existing belief function theory-based medical image segmentation methods and discuss their advantages and challenges. Second, we present a semi-supervised medical image segmentation framework to decrease the uncertainty caused by the lack of annotations with evidential segmentation and evidence fusion. Third, we compare two evidential classifiers, evidential neural network and radial basis function network, and show the effectiveness of belief function theory in uncertainty quantification; we use the two evidential classifiers with deep neural networks to construct deep evidential models for lymphoma segmentation. Fourth, we present a multimodal medical image fusion framework taking into account the reliability of each MR image source when performing different segmentation tasks using mass functions and contextual discounting.


title: ACT: Empowering Decision Transformer with Dynamic Programming via Advantage Conditioning

abstract: Decision Transformer (DT), which employs expressive sequence modeling techniques to perform action generation, has emerged as a promising approach to offline policy optimization. However, DT generates actions conditioned on a desired future return, which is known to bear some weaknesses such as the susceptibility to environmental stochasticity. To overcome DT's weaknesses, we propose to empower DT with dynamic programming. Our method comprises three steps. First, we employ in-sample value iteration to obtain approximated value functions, which involves dynamic programming over the MDP structure. Second, we evaluate action quality in context with estimated advantages. We introduce two types of advantage estimators, IAE and GAE, which are suitable for different tasks. Third, we train an Advantage-Conditioned Transformer (ACT) to generate actions conditioned on the estimated advantages. Finally, during testing, ACT generates actions conditioned on a desired advantage. Our evaluation results validate that, by leveraging the power of dynamic programming, ACT demonstrates effective trajectory stitching and robust action generation in spite of the environmental stochasticity, outperforming baseline methods across various benchmarks. Additionally, we conduct an in-depth analysis of ACT's various design choices through ablation studies. Our code is available at https://github.com/LAMDA-RL/ACT.


title: Data-Driven Predictive Control Using Closed-Loop Data: An Instrumental Variable Approach

abstract: Current data-driven predictive control (DDPC) methods heavily rely on data collected in open-loop operation with elaborate design of inputs. However, due to safety or economic concerns, systems may have to be under feedback control, where only closed-loop data are available. In this context, it remains challenging to implement DDPC using closed-loop data. In this paper, we propose a new DDPC method using closed-loop data by means of instrumental variables (IVs). By drawing from closed-loop subspace identification, the use of two forms of IVs is suggested to address the closed-loop issues caused by feedback control and the correlation between inputs and noise. Furthermore, a new DDPC formulation with a novel IV-inspired regularizer is proposed, where a balance between control cost minimization and weighted least-squares data fitting can be made for improvement of control performance. Numerical examples and application to a simulated industrial furnace showcase the improved performance of the proposed DDPC based on closed-loop data.


title: Public key cryptosystems based on Iterated Functions Systems

abstract: Let $f=(f_0,f_1,\dots, f_{\nu-1})$ be a collection of one-to-one functions from some space~$X$ into itself such that the sets $f_j(X)$ are disjoint. If $w=w_1w_2\cdots w_k$ is a word on the alphabet $\{0,1,\dots,\nu-1\}$, let $\Phi_{f,w} = f_{w_1}\circ f_{w_2}\circ\cdots\circ f_{w_k}$. Given a function~$F$ of which we know that it can be written as $\Phi_{f,w}$, it is easy to recover~$w$. We give some examples of this situation where everything can be scrambled up by using some private key to get a new system $g=(g_1,g_2,\dots,g_{\nu-1})$ on another set~$Y$ in such a way that the images of the $g_j$ are no longer disjoint. We define a cryptosystem whose public key is~$g$. The message to be encrypted is a word~$w$ and the associated cryptogram is $\Phi_{g,w}$. The private key allows to recover $\Phi_{f,w}$ from $\Phi_{g,w}$.


title: Stochastic LLMs do not Understand Language: Towards Symbolic, Explainable and Ontologically Based LLMs

abstract: In our opinion the exuberance surrounding the relative success of data-driven large language models (LLMs) is slightly misguided and for several reasons (i) LLMs cannot be relied upon for factual information since for LLMs all ingested text (factual or non-factual) was created equal; (ii) due to their subsymbolic na-ture, whatever 'knowledge' these models acquire about language will always be buried in billions of microfeatures (weights), none of which is meaningful on its own; and (iii) LLMs will often fail to make the correct inferences in several linguistic contexts (e.g., nominal compounds, copredication, quantifier scope ambi-guities, intensional contexts. Since we believe the relative success of data-driven large language models (LLMs) is not a reflection on the symbolic vs. subsymbol-ic debate but a reflection on applying the successful strategy of a bottom-up reverse engineering of language at scale, we suggest in this paper applying the effective bottom-up strategy in a symbolic setting resulting in symbolic, explainable, and ontologically grounded language models.


title: Deep evidential fusion with uncertainty quantification and contextual discounting for multimodal medical image segmentation

abstract: Single-modality medical images generally do not contain enough information to reach an accurate and reliable diagnosis. For this reason, physicians generally diagnose diseases based on multimodal medical images such as, e.g., PET/CT. The effective fusion of multimodal information is essential to reach a reliable decision and explain how the decision is made as well. In this paper, we propose a fusion framework for multimodal medical image segmentation based on deep learning and the Dempster-Shafer theory of evidence. In this framework, the reliability of each single modality image when segmenting different objects is taken into account by a contextual discounting operation. The discounted pieces of evidence from each modality are then combined by Dempster's rule to reach a final decision. Experimental results with a PET-CT dataset with lymphomas and a multi-MRI dataset with brain tumors show that our method outperforms the state-of-the-art methods in accuracy and reliability.


title: SAGE: Structured Attribute Value Generation for Billion-Scale Product Catalogs

abstract: We introduce SAGE; a Generative LLM for inferring attribute values for products across world-wide e-Commerce catalogs. We introduce a novel formulation of the attribute-value prediction problem as a Seq2Seq summarization task, across languages, product types and target attributes. Our novel modeling approach lifts the restriction of predicting attribute values within a pre-specified set of choices, as well as, the requirement that the sought attribute values need to be explicitly mentioned in the text. SAGE can infer attribute values even when such values are mentioned implicitly using periphrastic language, or not-at-all-as is the case for common-sense defaults. Additionally, SAGE is capable of predicting whether an attribute is inapplicable for the product at hand, or non-obtainable from the available information. SAGE is the first method able to tackle all aspects of the attribute-value-prediction task as they arise in practical settings in e-Commerce catalogs. A comprehensive set of experiments demonstrates the effectiveness of the proposed approach, as well as, its superiority against state-of-the-art competing alternatives. Moreover, our experiments highlight SAGE's ability to tackle the task of predicting attribute values in zero-shot setting; thereby, opening up opportunities for significantly reducing the overall number of labeled examples required for training.


title: Endotrivial modules for the quaternion group and iterated Jokers in chromatic homotopy theory

abstract: The algebraic Joker module was originally described in the 1970s by Adams and Priddy and is a $5$-dimensional module over the subHopf algebra $\mathcal{A}(1)$ of the mod $2$ Steenrod algebra. It is a self-dual endotrivial module, i.e., an invertible object in the stable module category of $\mathcal{A}(1)$. Recently it has been shown that no analogues exist for $\mathcal{A}(n)$ with $n>1$. Using iterated doubling this also gives an iterated double which is an $\mathcal{A}(n)$-module but not stably invertible. In previous work the author showed that for $n=1,2,3$ these iterated doubles were realisable as cohomology of CW spectra, but no such realisation existed for $n>3$. The main point of the paper is to show that in the height $2$ chromatic context, the Morava $K$-theory of double Jokers realise an exceptional endotrivial module over the quaternion group of order $8$ that only exists over a field of characteristic $2$ containing a primitive cube root of unity. This has connections with certain Massey products in the cohomology of the quaternion group.


title: A Survey of Hallucination in Large Foundation Models

abstract: Hallucination in a foundation model (FM) refers to the generation of content that strays from factual reality or includes fabricated information. This survey paper provides an extensive overview of recent efforts that aim to identify, elucidate, and tackle the problem of hallucination, with a particular focus on ``Large'' Foundation Models (LFMs). The paper classifies various types of hallucination phenomena that are specific to LFMs and establishes evaluation criteria for assessing the extent of hallucination. It also examines existing strategies for mitigating hallucination in LFMs and discusses potential directions for future research in this area. Essentially, the paper offers a comprehensive examination of the challenges and solutions related to hallucination in LFMs.


title: Extracting Kinetic Freeze-out Properties in High Energy Collisions Using a Multi-source Thermal Model

abstract: We study the transverse momentum ($p_T$) spectra of neutral pions and identified charged hadrons produced in proton--proton ($pp$), deuteron--gold ($d$--Au), and gold--gold (Au--Au) collisions at the center of mass energy $\sqrt{s_{NN}}=200$ GeV. The study is made in the framework of a multi-source thermal model used in the partonic level. It is assumed that the contribution to the $p_T$-value of any hadron comes from two or three partons with an isotropic distribution of the azimuthal angle. The contribution of each parton to the $p_T$-value of a given hadron is assumed to obey any one of the standard (Maxwell-Boltzmann, Fermi-Dirac, and Bose-Einstein) distributions with the kinetic freeze-out temperature and average transverse flow velocity. The $p_T$-spectra of the final-state hadrons can be fitted by the superposition of two or three components. The results obtained from our Monte Carlo method are used to fit the experimental results of the PHENIX and STAR Collaborations. The results of present work serve as a suitable reference baseline for other experiments and simulation studies.


title: Comparison of Quantum Simulators for Variational Quantum Search: A Benchmark Study

abstract: Simulating quantum circuits using classical computers can accelerate the development and validation of quantum algorithms. Our newly developed algorithm, variational quantum search (VQS), has shown an exponential advantage over Grover's algorithm in the range from 5 to 26 qubits, in terms of circuit depth, for searching unstructured databases. We need to further validate the VQS for more than 26 qubits. Numerous simulators have been developed. However, it is not clear which simulator is most suitable for executing VQS with many qubits. To solve this issue, we implement a typical quantum circuit used in VQS on eight mainstream simulators. Results show that the time and memory required by most simulators increase exponentially with the number of qubits and that Pennylane with GPU and Qulacs are the most suitable simulators for executing VQS efficiently. Our results aid researchers in selecting suitable quantum simulators without the need for exhaustive implementation, and we have made our codes available for community contributions.


title: On Regularized Sparse Logistic Regression

abstract: Sparse logistic regression is for classification and feature selection simultaneously. Although many studies have been done to solve $\ell_1$-regularized logistic regression, there is no equivalently abundant work on solving sparse logistic regression with nonconvex regularization term. In this paper, we propose a unified framework to solve $\ell_1$-regularized logistic regression, which can be naturally extended to nonconvex regularization term, as long as certain requirement is satisfied. In addition, we also utilize a different line search criteria to guarantee monotone convergence for various regularization terms. Empirical experiments on binary classification tasks with real-world datasets demonstrate our proposed algorithms are capable of performing classification and feature selection effectively at a lower computational cost.


title: SCOP: Schrodinger Control Optimal Planning for Goal-Based Wealth Management

abstract: We consider the problem of optimization of contributions of a financial planner such as a working individual towards a financial goal such as retirement. The objective of the planner is to find an optimal and feasible schedule of periodic installments to an investment portfolio set up towards the goal. Because portfolio returns are random, the practical version of the problem amounts to finding an optimal contribution scheme such that the goal is satisfied at a given confidence level. This paper suggests a semi-analytical approach to a continuous-time version of this problem based on a controlled backward Kolmogorov equation (BKE) which describes the tail probability of the terminal wealth given a contribution policy. The controlled BKE is solved semi-analytically by reducing it to a controlled Schrodinger equation and solving the latter using an algebraic method. Numerically, our approach amounts to finding semi-analytical solutions simultaneously for all values of control parameters on a small grid, and then using the standard two-dimensional spline interpolation to simultaneously represent all satisficing solutions of the original plan optimization problem. Rather than being a point in the space of control variables, satisficing solutions form continuous contour lines (efficient frontiers) in this space.


title: Frequency-Aware Masked Autoencoders for Multimodal Pretraining on Biosignals

abstract: Leveraging multimodal information from biosignals is vital for building a comprehensive representation of people's physical and mental states. However, multimodal biosignals often exhibit substantial distributional shifts between pretraining and inference datasets, stemming from changes in task specification or variations in modality compositions. To achieve effective pretraining in the presence of potential distributional shifts, we propose a frequency-aware masked autoencoder ($\texttt{bio}$FAME) that learns to parameterize the representation of biosignals in the frequency space. $\texttt{bio}$FAME incorporates a frequency-aware transformer, which leverages a fixed-size Fourier-based operator for global token mixing, independent of the length and sampling rate of inputs. To maintain the frequency components within each input channel, we further employ a frequency-maintain pretraining strategy that performs masked autoencoding in the latent space. The resulting architecture effectively utilizes multimodal information during pretraining, and can be seamlessly adapted to diverse tasks and modalities at test time, regardless of input size and order. We evaluated our approach on a diverse set of transfer experiments on unimodal time series, achieving an average of $\uparrow$5.5% improvement in classification accuracy over the previous state-of-the-art. Furthermore, we demonstrated that our architecture is robust in modality mismatch scenarios, including unpredicted modality dropout or substitution, proving its practical utility in real-world applications. Code is available at https://github.com/apple/ml-famae .


title: The drag of a filament moving in a supported spherical bilayer

abstract: Many of the cell membrane vital functions are achieved by the self-organization of the proteins and biopolymers embedded in it. The protein dynamics are in part determined by its drag. A large number of these proteins can polymerize to form filaments. In-vitro studies of protein-membrane interactions often involve using rigid beads coated with lipid bilayers, as a model for the cell membrane. Motivated by this, we use slender-body theory to compute the translational and rotational resistance of a single filamentous protein embedded in the outer layer of a supported bilayer membrane and surrounded on the exterior by a Newtonian fluid. We first consider the regime, where the two layers are strongly coupled through their inter-leaflet friction. We find that the drag along the parallel direction grows linearly with the filament length and quadratically with the length for perpendicular and the rotational drag coefficients. These findings are explained using scaling arguments and by analyzing the velocity fields around the moving filament. We, then, present and discuss the qualitative differences between the drag of a filament moving in a freely suspended bilayer and a supported membrane as a function of the membrane inter-leaflet friction. Finally, we briefly discuss how these findings can be used in experiments to determine membrane rheology. In summary, we present a formulation that allows computing the effects of membrane properties (its curvature, viscosity, and inter-leaflet friction), and the exterior and interior 3D fluids depth and viscosity on the drag of a rod-like or filamentous protein, all in a unified theoretical framework.


title: Introducing Shape Prior Module in Diffusion Model for Medical Image Segmentation

abstract: Medical image segmentation is critical for diagnosing and treating spinal disorders. However, the presence of high noise, ambiguity, and uncertainty makes this task highly challenging. Factors such as unclear anatomical boundaries, inter-class similarities, and irrational annotations contribute to this challenge. Achieving both accurate and diverse segmentation templates is essential to support radiologists in clinical practice. In recent years, denoising diffusion probabilistic modeling (DDPM) has emerged as a prominent research topic in computer vision. It has demonstrated effectiveness in various vision tasks, including image deblurring, super-resolution, anomaly detection, and even semantic representation generation at the pixel level. Despite the robustness of existing diffusion models in visual generation tasks, they still struggle with discrete masks and their various effects. To address the need for accurate and diverse spine medical image segmentation templates, we propose an end-to-end framework called VerseDiff-UNet, which leverages the denoising diffusion probabilistic model (DDPM). Our approach integrates the diffusion model into a standard U-shaped architecture. At each step, we combine the noise-added image with the labeled mask to guide the diffusion direction accurately towards the target region. Furthermore, to capture specific anatomical a priori information in medical images, we incorporate a shape a priori module. This module efficiently extracts structural semantic information from the input spine images. We evaluate our method on a single dataset of spine images acquired through X-ray imaging. Our results demonstrate that VerseDiff-UNet significantly outperforms other state-of-the-art methods in terms of accuracy while preserving the natural features and variations of anatomy.


title: Combining Deep Learning and Street View Imagery to Map Smallholder Crop Types

abstract: Accurate crop type maps are an essential source of information for monitoring yield progress at scale, projecting global crop production, and planning effective policies. To date, however, crop type maps remain challenging to create in low and middle-income countries due to a lack of ground truth labels for training machine learning models. Field surveys are the gold standard in terms of accuracy but require an often-prohibitively large amount of time, money, and statistical capacity. In recent years, street-level imagery, such as Google Street View, KartaView, and Mapillary, has become available around the world. Such imagery contains rich information about crop types grown at particular locations and times. In this work, we develop an automated system to generate crop type ground references using deep learning and Google Street View imagery. The method efficiently curates a set of street view images containing crop fields, trains a model to predict crop type by utilizing weakly-labelled images from disparate out-of-domain sources, and combines predicted labels with remote sensing time series to create a wall-to-wall crop type map. We show that, in Thailand, the resulting country-wide map of rice, cassava, maize, and sugarcane achieves an accuracy of 93%. We publicly release the first-ever crop type map for all of Thailand 2022 at 10m-resolution with no gaps. To our knowledge, this is the first time a 10m-resolution, multi-crop map has been created for any smallholder country. As the availability of roadside imagery expands, our pipeline provides a way to map crop types at scale around the globe, especially in underserved smallholder regions.


title: Brauer-Manin obstructions requiring arbitrarily many Brauer classes

abstract: On a projective variety defined over a global field, any Brauer--Manin obstruction to the existence of rational points is captured by a finite subgroup of the Brauer group. We show that this subgroup can require arbitrarily many generators.


title: Absolute frequency measurement of molecular iodine hyperfine transitions at 554 nm and its application to stabilize a 369 nm laser for Yb+ ions cooling

abstract: We investigate 13 hyperfine structures of transition lines of 127I2 near 554 nm, namely, the R(50) 22-0, P(46) 22-0, P(121) 24-0, P(69) 25-1, R(146) 25-0, R(147) 28-1, P(160) 26-0, P(102) 26-1, R(96) 23-0, R(49) 22-0, P(45) 22-0, P(92) 23-0, and R(72) 25-1 transitions, and measure their absolute frequencies with an optical frequency comb. A 369 nm frequency-tripled laser is frequency stabilized by locking the 554 nm harmonic-frequency laser to the R(146) 25-0 a15 line of 127I2 via modulation transfer spectroscopy. A frequency stability of 5E-12 is observed over a 1000 s integration time. The measurement of the molecular iodine spectroscopy at 554 nm enriches high-precision experimental data, and also enables theoretical predictions. Meanwhile, the 369 nm frequency-tripled laser stabilized by molecular iodine spectroscopy has wide applications in frequency metrology, and quantum information processing based on Yb+ ions.


abstract: The Snowmass report on rare processes and precision measurements recommended Mu2e-II and a next generation muon facility at Fermilab (Advanced Muon Facility) as priorities for the frontier. The Workshop on a future muon program at FNAL was held in March 2023 to discuss design studies for Mu2e-II, organizing efforts for the next generation muon facility, and identify synergies with other efforts (e.g., muon collider). Topics included high-power targetry, status of R&D for Mu2e-II, development of compressor rings, FFA and concepts for muon experiments (conversion, decays, muonium and other opportunities) at AMF. This document summarizes the workshop discussions with a focus on future R&D tasks needed to realize these concepts.


title: MatSciML: A Broad, Multi-Task Benchmark for Solid-State Materials Modeling

abstract: We propose MatSci ML, a novel benchmark for modeling MATerials SCIence using Machine Learning (MatSci ML) methods focused on solid-state materials with periodic crystal structures. Applying machine learning methods to solid-state materials is a nascent field with substantial fragmentation largely driven by the great variety of datasets used to develop machine learning models. This fragmentation makes comparing the performance and generalizability of different methods difficult, thereby hindering overall research progress in the field. Building on top of open-source datasets, including large-scale datasets like the OpenCatalyst, OQMD, NOMAD, the Carolina Materials Database, and Materials Project, the MatSci ML benchmark provides a diverse set of materials systems and properties data for model training and evaluation, including simulated energies, atomic forces, material bandgaps, as well as classification data for crystal symmetries via space groups. The diversity of properties in MatSci ML makes the implementation and evaluation of multi-task learning algorithms for solid-state materials possible, while the diversity of datasets facilitates the development of new, more generalized algorithms and methods across multiple datasets. In the multi-dataset learning setting, MatSci ML enables researchers to combine observations from multiple datasets to perform joint prediction of common properties, such as energy and forces. Using MatSci ML, we evaluate the performance of different graph neural networks and equivariant point cloud networks on several benchmark tasks spanning single task, multitask, and multi-data learning scenarios. Our open-source code is available at https://github.com/IntelLabs/matsciml.


title: Dynamic relationship between XRP price and correlation tensor spectra of the transaction network

abstract: The emergence of cryptoassets has sparked a paradigm shift in the world of finance and investment, ushering in a new era of digital assets with profound implications for the future of currency and asset management. A recent study showed that during the bubble period around the year, 2018, the price of cryptoasset, XRP has a strong anti correlation with the largest singular values of the correlation tensors obtained from the weekly XRP transaction networks. In this study, we provide a detailed analysis of the method of correlation tensor spectra for XRP transaction networks. We calculate and compare the distribution of the largest singular values of the correlation tensor using the random matrix theory with the largest singular values of the empirical correlation tensor. We investigate the correlation between the XRP price and the largest singular values for a period spanning two years. We also uncover the distinct dependence between XRP price and the singular values for bubble and non-bubble periods. The significance of time evolution of singular values is shown by comparison with the evolution of singular values of the reshuffled correlation tensor. Furthermore, we identify a set of driver nodes in the transaction networks that drives the market during the bubble period using the singular vectors.


title: Do PLMs Know and Understand Ontological Knowledge?

abstract: Ontological knowledge, which comprises classes and properties and their relationships, is integral to world knowledge. It is significant to explore whether Pretrained Language Models (PLMs) know and understand such knowledge. However, existing PLM-probing studies focus mainly on factual knowledge, lacking a systematic probing of ontological knowledge. In this paper, we focus on probing whether PLMs store ontological knowledge and have a semantic understanding of the knowledge rather than rote memorization of the surface form. To probe whether PLMs know ontological knowledge, we investigate how well PLMs memorize: (1) types of entities; (2) hierarchical relationships among classes and properties, e.g., Person is a subclass of Animal and Member of Sports Team is a subproperty of Member of ; (3) domain and range constraints of properties, e.g., the subject of Member of Sports Team should be a Person and the object should be a Sports Team. To further probe whether PLMs truly understand ontological knowledge beyond memorization, we comprehensively study whether they can reliably perform logical reasoning with given knowledge according to ontological entailment rules. Our probing results show that PLMs can memorize certain ontological knowledge and utilize implicit knowledge in reasoning. However, both the memorizing and reasoning performances are less than perfect, indicating incomplete knowledge and understanding.


title: The Gas Accretion Rate of Star-forming Galaxies over the last 4 Gyr

abstract: Star-forming galaxies are believed to replenish their atomic gas reservoir, which is consumed in star-formation, through accretion of gas from their circumgalactic mediums (CGMs). However, there are few observational constraints today on the gas accretion rate in external galaxies. Here, we use our recent measurement of the scaling relation between the atomic hydrogen (HI) mass $M_{HI}$ and the stellar mass $M_*$ in star-forming galaxies at $z \approx 0.35$, with the relations between the star-formation rate (SFR) and $M_*$, and the molecular gas mass $M_{Mol}$ and $M_*$, and the assumption that star-forming galaxies evolve along the main sequence, to determine the evolution of the neutral gas reservoir and the average net gas accretion rate onto the disks of star-forming galaxies over the past 4 Gyr. For galaxies with $M_* \gtrsim 10^9 M_{\odot}$ today, we find that both $M_*$ and $M_{HI}$ in the disk have increased, while $M_{Mol}$ has decreased, since $z \sim 0.35$. The average gas accretion rate onto the disk over the past 4 Gyr is similar to the average SFR over this period, implying that main-sequence galaxies have maintained a stable HI reservoir, despite the consumption of gas in star-formation. We obtain an average net gas accretion rate (over the past 4 Gyr) of $\approx 6 M_{\odot} yr^{-1}$ for galaxies with the stellar mass of the Milky Way. At low redshifts, $z \lesssim 0.4$, the reason for the decline in the cosmic SFR density thus appears to be the inefficiency in the conversion of atomic gas to molecular gas, rather than insufficient gas accretion from the CGM.


title: Answering Subjective Induction Questions on Products by Summarizing Multi-sources Multi-viewpoints Knowledge

abstract: This paper proposes a new task in the field of Answering Subjective Induction Question on Products (SUBJPQA). The answer to this kind of question is non-unique, but can be interpreted from many perspectives. For example, the answer to 'whether the phone is heavy' has a variety of different viewpoints. A satisfied answer should be able to summarize these subjective opinions from multiple sources and provide objective knowledge, such as the weight of a phone. That is quite different from the traditional QA task, in which the answer to a factoid question is unique and can be found from a single data source. To address this new task, we propose a three-steps method. We first retrieve all answer-related clues from multiple knowledge sources on facts and opinions. The implicit commonsense facts are also collected to supplement the necessary but missing contexts. We then capture their relevance with the questions by interactive attention. Next, we design a reinforcement-based summarizer to aggregate all these knowledgeable clues. Based on a template-controlled decoder, we can output a comprehensive and multi-perspective answer. Due to the lack of a relevant evaluated benchmark set for the new task, we construct a large-scale dataset, named SupQA, consisting of 48,352 samples across 15 product domains. Evaluation results show the effectiveness of our approach.


title: Spontaneous brain activity emerges from pairwise interactions in the larval zebrafish brain

abstract: Brain activity is characterized by brain-wide spatiotemporal patterns which emerge from synapse-mediated interactions between individual neurons. Calcium imaging provides access to in vivo recordings of whole-brain activity at single-neuron resolution and, therefore, allows the study of how large-scale brain dynamics emerge from local activity. In this study, we used a statistical mechanics approach - the pairwise maximum entropy model (MEM) - to infer microscopic network features from collective patterns of activity in the larval zebrafish brain, and relate these features to the emergence of observed whole-brain dynamics. Our findings indicate that the pairwise interactions between neural populations and their intrinsic activity states are sufficient to explain observed whole-brain dynamics. In fact, the pairwise relationships between neuronal populations estimated with the MEM strongly correspond to observed structural connectivity patterns. Model simulations also demonstrated how tuning pairwise neuronal interactions drives transitions between critical and pathologically hyper-excitable whole-brain regimes. Finally, we use virtual resection to identify the brain structures that are important for maintaining the brain in a critical regime. Together, our results indicate that whole-brain activity emerges out of a complex dynamical system that transitions between basins of attraction whose strength and topology depend on the connectivity between brain areas.


title: Catch You Everything Everywhere: Guarding Textual Inversion via Concept Watermarking

abstract: AIGC (AI-Generated Content) has achieved tremendous success in many applications such as text-to-image tasks, where the model can generate high-quality images with diverse prompts, namely, different descriptions in natural languages. More surprisingly, the emerging personalization techniques even succeed in describing unseen concepts with only a few personal images as references, and there have been some commercial platforms for sharing the valuable personalized concept. However, such an advanced technique also introduces a severe threat, where malicious users can misuse the target concept to generate highly-realistic illegal images. Therefore, it becomes necessary for the platform to trace malicious users and hold them accountable. In this paper, we focus on guarding the most popular lightweight personalization model, ie, Textual Inversion (TI). To achieve it, we propose the novel concept watermarking, where watermark information is embedded into the target concept and then extracted from generated images based on the watermarked concept. Specifically, we jointly train a watermark encoder and a watermark decoder with the sampler in the loop. It shows great resilience to different diffusion sampling processes possibly chosen by malicious users, meanwhile preserving utility for normal use. In practice, the concept owner can upload his concept with different watermarks (ie, serial numbers) to the platform, and the platform allocates different users with different serial numbers for subsequent tracing and forensics.


title: Random Segmentation: New Traffic Obfuscation against Packet-Size-Based Side-Channel Attacks

abstract: Despite encryption, the packet size is still visible, enabling observers to infer private information in the Internet of Things (IoT) environment (e.g., IoT device identification). Packet padding obfuscates packet-length characteristics with a high data overhead because it relies on adding noise to the data. This paper proposes a more data-efficient approach that randomizes packet sizes without adding noise. We achieve this by splitting large TCP segments into random-sized chunks; hence, the packet length distribution is obfuscated without adding noise data. Our client-server implementation using TCP sockets demonstrates the feasibility of our approach at the application level. We realize our packet size control by adjusting two local socket-programming parameters. First, we enable the TCP_NODELAY option to send out each packet with our specified length. Second, we downsize the sending buffer to prevent the sender from pushing out more data than can be received, which could disable our control of the packet sizes. We simulate our defense on a network trace of four IoT devices and show a reduction in device classification accuracy from 98% to 63%, close to random guessing. Meanwhile, the real-world data transmission experiments show that the added latency is reasonable, less than 21%, while the added packet header overhead is only about 5%.


title: End-to-End Testing of Open-Source Hardware Documentation Developed in Large Collaborations

abstract: Large scientific collaborations, often with hundreds or thousands of members, are an excellent opportunity for a case study in best practices implemented while developing open source hardware. Using a publicly available design of timing equipment for gravitational wave detectors as a case study, we evaluated many facets of the open source hardware development, including practices, awareness, documentation, and longevity. Two diverse student teams, composed of high school and college students, participated in an end-to-end exercise of testing publicly-available documented hardware that originated from more than a decade ago. We found that the primary value of large collaborations lie in the ability to cultivate teamwork, provide a diverse set of role-models, and explore the possibilities of open hardware development of varying complexities. Learning from the experiences of the student groups, we make constructive recommendations where the open source hardware community can learn from the collaborations and vice versa.


title: Knowledge-Guided Short-Context Action Anticipation in Human-Centric Videos

abstract: This work focuses on anticipating long-term human actions, particularly using short video segments, which can speed up editing workflows through improved suggestions while fostering creativity by suggesting narratives. To this end, we imbue a transformer network with a symbolic knowledge graph for action anticipation in video segments by boosting certain aspects of the transformer's attention mechanism at run-time. Demonstrated on two benchmark datasets, Breakfast and 50Salads, our approach outperforms current state-of-the-art methods for long-term action anticipation using short video context by up to 9%.


title: Performance Bounds for Near-Field Localization with Widely-Spaced Multi-Subarray mmWave/THz MIMO

abstract: This paper investigates the potential of near-field localization using widely-spaced multi-subarrays (WSMSs) and analyzing the corresponding angle and range Cram\'er-Rao bounds (CRBs). By employing the Riemann sum, closed-form CRB expressions are derived for the spherical wavefront-based WSMS (SW-WSMS). We find that the CRBs can be characterized by the angular span formed by the line connecting the array's two ends to the target, and the different WSMSs with same angular spans but different number of subarrays have identical normalized CRBs. We provide a theoretical proof that, in certain scenarios, the CRB of WSMSs is smaller than that of uniform arrays. We further yield the closed-form CRBs for the hybrid spherical and planar wavefront-based WSMS (HSPW-WSMS), and its components can be seen as decompositions of the parameters from the CRBs for the SW-WSMS. Simulations are conducted to validate the accuracy of the derived closed-form CRBs and provide further insights into various system characteristics. Basically, this paper underscores the high resolution of utilizing WSMS for localization, reinforces the validity of adopting the HSPW assumption, and, considering its applications in communications, indicates a promising outlook for integrated sensing and communications based on HSPW-WSMSs.


title: Gap and magnetic engineering via doping and pressure in tuning the colossal magnetoresistance in (Mn$_{1-x}$Mg$_x$)$_3$Si$_2$Te$_6$

abstract: Ferrimagnetic nodal-line semiconductor Mn$_3$Si$_2$Te$_6$ keeps the records of colossal magnetoresistance (CMR) and angular magnetoresistance (AMR). Here we report tuning the electronic transport properties via doping and pressure in (Mn$_{1-x}$Mg$_x$)$_3$Si$_2$Te$_6$. As the substitution of nonmagnetic Mg$^{2+}$ for magnetic Mn$^{2+}$, ferrimagnetic transition temperature $T_C$ gradually decreases, while the resistivity increases significantly. At the same time, the CMR and AMR are both enhanced for the low-doping compositions (e.g., $x = 0.1$ and 0.2), which can be attributed to doping-induced broadening of the band gap and a larger variation range of the resistivity when undergoing a metal-insulator transition by applying a magnetic field along the $c$ axis. On the contrary, $T_C$ rises with increasing pressure due to the enhancement of the magnetic exchange interactions until a structural transition occurs at $\sim$13 GPa. Meanwhile, the activation gap is lowered under pressure and the magnetoresistance is decreased dramatically above 6 GPa where the gap is closed. At 20 and 26 GPa, evidences for a superconducting transition at $\sim$5 K are observed. The results reveal that doping and pressure are effective methods to tune the activation gap, and correspondingly, the CMR and AMR in nodal-line semiconductors, providing an approach to investigate the magnetoresistance materials for novel spintronic devices.


title: GA-Sketching: Shape Modeling from Multi-View Sketching with Geometry-Aligned Deep Implicit Functions

abstract: Sketch-based shape modeling aims to bridge the gap between 2D drawing and 3D modeling by providing an intuitive and accessible approach to create 3D shapes from 2D sketches. However, existing methods still suffer from limitations in reconstruction quality and multi-view interaction friendliness, hindering their practical application. This paper proposes a faithful and user-friendly iterative solution to tackle these limitations by learning geometry-aligned deep implicit functions from one or multiple sketches. Our method lifts 2D sketches to volume-based feature tensors, which align strongly with the output 3D shape, enabling accurate reconstruction and faithful editing. Such a geometry-aligned feature encoding technique is well-suited to iterative modeling since features from different viewpoints can be easily memorized or aggregated. Based on these advantages, we design a unified interactive system for sketch-based shape modeling. It enables users to generate the desired geometry iteratively by drawing sketches from any number of viewpoints. In addition, it allows users to edit the generated surface by making a few local modifications. We demonstrate the effectiveness and practicality of our method with extensive experiments and user studies, where we found that our method outperformed existing methods in terms of accuracy, efficiency, and user satisfaction. The source code of this project is available at https://github.com/LordLiang/GA-Sketching.


title: Tumoral Angiogenic Optimizer: A new bio-inspired based metaheuristic

abstract: In this article, we propose a new metaheuristic inspired by the morphogenetic cellular movements of endothelial cells (ECs) that occur during the tumor angiogenesis process. This algorithm starts with a random initial population. In each iteration, the best candidate selected as the tumor, while the other individuals in the population are treated as ECs migrating toward the tumor's direction following a coordinated dynamics through a spatial relationship between tip and follower ECs. This algorithm has an advantage compared to other similar optimization metaheuristics: the model parameters are already configured according to the tumor angiogenesis phenomenon modeling, preventing researchers from initializing them with arbitrary values. Subsequently, the algorithm is compared against well-known benchmark functions, and the results are validated through a comparative study with Particle Swarm Optimization (PSO). The results demonstrate that the algorithm is capable of providing highly competitive outcomes. Furthermore, the proposed algorithm is applied to real-world problems (cantilever beam design, pressure vessel design, tension/compression spring and sustainable explotation renewable resource). The results showed that the proposed algorithm worked effectively in solving constrained optimization problems. The results obtained were compared with several known algorithms.


title: Semantical cut-elimination for the provability logic of true arithmetic

abstract: The quasi-normal modal logic GLS is a provability logic formalizing the arithmetical truth. Kushida (2020) gave a sequent calculus for GLS and proved the cut-elimination theorem. This paper introduces semantical characterizations of GLS and gives a semantical proof of the cut-elimination theorem. These characterizations can be generalized to other quasi-normal modal logics.


title: Detection of the extended $\gamma$-ray emission around supernova remnant DA 530 with Fermi-LAT

abstract: We report the extended GeV $\gamma$-ray emission around the high Galactic latitude supernova remnant (SNR) DA 530 with the PASS 8 data recorded by the Fermi Large Area Telescope (Fermi-LAT). The $\gamma$-ray spectrum in the energy range of 100 MeV - 1 TeV follows a power law model with an index of 2.23. The much more extended $\gamma$-ray emission than the radio shell of DA 530 and the spatial coincidence with the molecular cloud suggest that the $\gamma$-ray emission could be originated from the hadronic process, where the high energy protons are accelerated in and escaped from the shock of DA 530. With a steady-state injection model of protons, the $\gamma$-ray spectrum can be well fitted with the typical Galactic value for diffusion coefficient and the low energy content of the total escaped protons.


title: Language Models as Black-Box Optimizers for Vision-Language Models

abstract: Vision-language models (VLMs) pre-trained on web-scale datasets have demonstrated remarkable capabilities on downstream tasks when fine-tuned with minimal data. However, many VLMs rely on proprietary data and are not open-source, which restricts the use of white-box approaches for fine-tuning. As such, we aim to develop a black-box approach to optimize VLMs through natural language prompts, thereby avoiding the need to access model parameters, feature embeddings, or even output logits. We propose employing chat-based LLMs to search for the best text prompt for VLMs. Specifically, we adopt an automatic hill-climbing procedure that converges to an effective prompt by evaluating the performance of current prompts and asking LLMs to refine them based on textual feedback, all within a conversational process without human-in-the-loop. In a challenging 1-shot image classification setup, our simple approach surpasses the white-box continuous prompting method (CoOp) by an average of 1.5% across 11 datasets including ImageNet. Our approach also outperforms both human-engineered and LLM-generated prompts. We highlight the advantage of conversational feedback that incorporates both positive and negative prompts, suggesting that LLMs can utilize the implicit gradient direction in textual feedback for a more efficient search. In addition, we find that the text prompts generated through our strategy are not only more interpretable but also transfer well across different VLM architectures in a black-box manner. Lastly, we apply our framework to optimize the state-of-the-art black-box VLM (DALL-E 3) for text-to-image generation, prompt inversion, and personalization.


title: Balanced and Explainable Social Media Analysis for Public Health with Large Language Models

abstract: As social media becomes increasingly popular, more and more public health activities emerge, which is worth noting for pandemic monitoring and government decision-making. Current techniques for public health analysis involve popular models such as BERT and large language models (LLMs). Although recent progress in LLMs has shown a strong ability to comprehend knowledge by being fine-tuned on specific domain datasets, the costs of training an in-domain LLM for every specific public health task are especially expensive. Furthermore, such kinds of in-domain datasets from social media are generally highly imbalanced, which will hinder the efficiency of LLMs tuning. To tackle these challenges, the data imbalance issue can be overcome by sophisticated data augmentation methods for social media datasets. In addition, the ability of the LLMs can be effectively utilised by prompting the model properly. In light of the above discussion, in this paper, a novel ALEX framework is proposed for social media analysis on public health. Specifically, an augmentation pipeline is developed to resolve the data imbalance issue. Furthermore, an LLMs explanation mechanism is proposed by prompting an LLM with the predicted results from BERT models. Extensive experiments conducted on three tasks at the Social Media Mining for Health 2023 (SMM4H) competition with the first ranking in two tasks demonstrate the superior performance of the proposed ALEX method. Our code has been released in https://github.com/YanJiangJerry/ALEX.


title: ChatMPC: Natural Language based MPC Personalization

abstract: We address the personalization of control systems, which is an attempt to adjust inherent safety and other essential control performance based on each user's personal preferences. A typical approach to personalization requires a substantial amount of user feedback and data collection, which may result in a burden on users. Moreover, it might be challenging to collect data in real-time. To overcome this drawback, we propose a natural language-based personalization, which places a comparatively lighter burden on users and enables the personalization system to collect data in real-time. In particular, we consider model predictive control (MPC) and introduce an approach that updates the control specification using chat within the MPC framework, namely ChatMPC. In the numerical experiment, we simulated an autonomous robot equipped with ChatMPC. The result shows that the specification in robot control is updated by providing natural language-based chats, which generate different behaviors.


title: GLAD: Content-aware Dynamic Graphs For Log Anomaly Detection

abstract: Logs play a crucial role in system monitoring and debugging by recording valuable system information, including events and states. Although various methods have been proposed to detect anomalies in log sequences, they often overlook the significance of considering relations among system components, such as services and users, which can be identified from log contents. Understanding these relations is vital for detecting anomalies and their underlying causes. To address this issue, we introduce GLAD, a Graph-based Log Anomaly Detection framework designed to detect relational anomalies in system logs. GLAD incorporates log semantics, relational patterns, and sequential patterns into a unified framework for anomaly detection. Specifically, GLAD first introduces a field extraction module that utilizes prompt-based few-shot learning to identify essential fields from log contents. Then GLAD constructs dynamic log graphs for sliding windows by interconnecting extracted fields and log events parsed from the log parser. These graphs represent events and fields as nodes and their relations as edges. Subsequently, GLAD utilizes a temporal-attentive graph edge anomaly detection model for identifying anomalous relations in these dynamic log graphs. This model employs a Graph Neural Network (GNN)-based encoder enhanced with transformers to capture content, structural and temporal features. We evaluate our proposed method on three datasets, and the results demonstrate the effectiveness of GLAD in detecting anomalies indicated by varying relational patterns.


title: $L^q$-spectra of box-like graph-directed self-affine measures: closed forms, with rotation

abstract: We consider $L^q$-spectra of planar graph-directed self-affine measures generated by diagonal or anti-diagonal matrices. Assuming the directed graph is strongly connected and the system satisfies the rectangular open set condition, we obtain a general closed form expression for the $L^q$-spectra. Consequently, we obtain a closed form expression for box dimensions of associated planar graph-directed box-like self-affine sets. We also provide a precise answer to a question of Fraser in 2016 concerning the $L^q$-spectra of planar self-affine measures generated by diagonal matrices.


title: Trust-Region Neural Moving Horizon Estimation for Robots

abstract: Accurate disturbance estimation is essential for safe robot operations. The recently proposed neural moving horizon estimation (NeuroMHE), which uses a portable neural network to model the MHE's weightings, has shown promise in further pushing the accuracy and efficiency boundary. Currently, NeuroMHE is trained through gradient descent, with its gradient computed recursively using a Kalman filter. This paper proposes a trust-region policy optimization method for training NeuroMHE. We achieve this by providing the second-order derivatives of MHE, referred to as the MHE Hessian. Remarkably, we show that much of computation already used to obtain the gradient, especially the Kalman filter, can be efficiently reused to compute the MHE Hessian. This offers linear computational complexity relative to the MHE horizon. As a case study, we evaluate the proposed trust region NeuroMHE on real quadrotor flight data for disturbance estimation. Our approach demonstrates highly efficient training in under 5 min using only 100 data points. It outperforms a state-of-the-art neural estimator by up to 68.1% in force estimation accuracy, utilizing only 1.4% of its network parameters. Furthermore, our method showcases enhanced robustness to network initialization compared to the gradient descent counterpart.


title: Beyond Generation: Harnessing Text to Image Models for Object Detection and Segmentation

abstract: We propose a new paradigm to automatically generate training data with accurate labels at scale using the text-to-image synthesis frameworks (e.g., DALL-E, Stable Diffusion, etc.). The proposed approach1 decouples training data generation into foreground object generation, and contextually coherent background generation. To generate foreground objects, we employ a straightforward textual template, incorporating the object class name as input prompts. This is fed into a text-to-image synthesis framework, producing various foreground images set against isolated backgrounds. A foreground-background segmentation algorithm is then used to generate foreground object masks. To generate context images, we begin by creating language descriptions of the context. This is achieved by applying an image captioning method to a small set of images representing the desired context. These textual descriptions are then transformed into a diverse array of context images via a text-to-image synthesis framework. Subsequently, we composite these with the foreground object masks produced in the initial step, utilizing a cut-and-paste method, to formulate the training data. We demonstrate the advantages of our approach on five object detection and segmentation datasets, including Pascal VOC and COCO. We found that detectors trained solely on synthetic data produced by our method achieve performance comparable to those trained on real data (Fig. 1). Moreover, a combination of real and synthetic data yields even much better results. Further analysis indicates that the synthetic data distribution complements the real data distribution effectively. Additionally, we emphasize the compositional nature of our data generation approach in out-of-distribution and zero-shot data generation scenarios. We open-source our code at https://github.com/gyhandy/Text2Image-for-Detection


title: Perturbative Expansion in Reciprocal Space: Bridging Microscopic and Mesoscopic Descriptions of Molecular Interactions

abstract: Determining the Fourier representation of various molecular interactions is important for constructing density-based field theories from a microscopic point of view, enabling a multiscale bridge between microscopic and mesoscopic descriptions. However, due to the strongly repulsive nature of short-ranged interactions, interparticle interactions cannot be formally defined in Fourier space, which renders coarse-grained approaches in $\textit{k}$-space somewhat ambiguous. In this paper, we address this issue by designing a perturbative expansion of pair interactions in reciprocal space. Our perturbation theory, starting from reciprocal space, elucidates the microscopic origins underlying zeroth-order (long-range attractions) and divergent repulsive interactions from higher-order contributions. We propose a systematic framework for constructing a faithful Fourier space representation of molecular interactions, capturing key structural correlations in various systems, including simple model systems and molecular coarse-grained models of liquids. Building upon the Ornstein-Zernike equation, our approach can be combined with appropriate closure relations, and to further improve the closure approximations, we develop a bottom-up parametrization strategy for inferring the bridge function from microscopic statistics. By incorporating the bridge function into the Fourier representation, our findings suggest a systematic, bottom-up approach to performing coarse-graining in reciprocal space, leading to the systematic construction of a bottom-up classical field theory of complex aqueous systems.

categories: physics.chem-ph cond-mat.soft cond-mat.stat-mech physics.comp-ph


title: The Moral Machine Experiment on Large Language Models

abstract: As large language models (LLMs) become more deeply integrated into various sectors, understanding how they make moral judgments has become crucial, particularly in the realm of autonomous driving. This study utilized the Moral Machine framework to investigate the ethical decision-making tendencies of prominent LLMs, including GPT-3.5, GPT-4, PaLM 2, and Llama 2, comparing their responses to human preferences. While LLMs' and humans' preferences such as prioritizing humans over pets and favoring saving more lives are broadly aligned, PaLM 2 and Llama 2, especially, evidence distinct deviations. Additionally, despite the qualitative similarities between the LLM and human preferences, there are significant quantitative disparities, suggesting that LLMs might lean toward more uncompromising decisions, compared to the milder inclinations of humans. These insights elucidate the ethical frameworks of LLMs and their potential implications for autonomous driving.


title: A Computationally Efficient Bi-level Coordination Framework for CAVs at Unsignalized Intersections

abstract: In this paper, we investigate cooperative vehicle coordination for connected and automated vehicles (CAVs) at unsignalized intersections. To support high traffic throughput while reducing computational complexity, we present a novel collision region model and decompose the optimal coordination problem into two sub-problems: \textit{centralized} priority scheduling and \textit{distributed} trajectory planning. Then, we propose a bi-level coordination framework which includes: (i) a Monte Carlo Tree Search (MCTS)-based high-level priority scheduler aims to find high-quality passing orders to maximize traffic throughput, and (ii) a priority-based low-level trajectory planner that generates optimal collision-free control inputs. Simulation results demonstrate that our bi-level strategy achieves near-optimal coordination performance, comparable to state-of-the-art centralized strategies, and significantly outperform the traffic signal control systems in terms of traffic throughput. Moreover, our approach exhibits good scalability, with computational complexity scaling linearly with the number of vehicles. Video demonstrations can be found online at \url{https://youtu.be/WYAKFMNnQfs}.


title: First constraints on Helium $^{+}{\rm He}^3$ evolution in $z=3-4$ using the 8.67GHz hyperfine transition

abstract: We present the first constraints on the cross-correlation power spectrum of HeII ($^{+}{\rm He}^3$) signal strength using the redshifted 8.67GHz hyperfine transition between $z=2.9$ and $z=4.1$ and with interferometric data obtained from the public archive of the Australia Telescope Compact Array. 210 hours of observations of the primary calibrator source B1934-638 were extracted from data obtained with the telescope from 2014--2021, and coherently combined in a power spectrum pipeline to measure the HeII power across a range of spatial scales, and at three redshifts that span the period of Helium reionization. Our best limit places the brightness temperature fluctuation to be less than 557$\mu$K on spatial scales of 30 arcmin at $z=2.91$, and less than 755$\mu$K on scales of 30 arcmin at $z=4.14$ (2-sigma noise-limited). We measure a temperature of 489$\mu$K at $z=2.91$. ATCA's few antennas and persistent remaining RFI in the data prevent deeper integrations improving the results. This work is a proof of principle to demonstrate how this type of experiment can be undertaken to reach the 0.01--1$\mu$K level expected for the Helium signal at $z \sim 4$.


title: Evaluating the Ebb and Flow: An In-depth Analysis of Question-Answering Trends across Diverse Platforms

abstract: Community Question Answering (CQA) platforms steadily gain popularity as they provide users with fast responses to their queries. The swiftness of these responses is contingent on a mixture of query-specific and user-related elements. This paper scrutinizes these contributing factors within the context of six highly popular CQA platforms, identified through their standout answering speed. Our investigation reveals a correlation between the time taken to yield the first response to a question and several variables: the metadata, the formulation of the questions, and the level of interaction among users. Additionally, by employing conventional machine learning models to analyze these metadata and patterns of user interaction, we endeavor to predict which queries will receive their initial responses promptly.


title: Neutral Hydrogen content of dwarf galaxies in different environments

abstract: Environments play an important role in galaxy formation and evolution, particularly in regulating the content of neutral gas. However, current HI surveys have limitations in their depth, which prevents them from adequately studying low HI content galaxies in high-density regions. In this study, we address this issue by employing the Five-hundred-meter Aperture Spherical radio Telescope (FAST) with extensive integration times to complement the relatively shallow Arecibo Legacy Fast Arecibo L-band Feed Array (ALFALFA) HI survey. This approach allows us to explore the gas content of dwarf galaxies across various environments. We observe a positive relationship between HI mass and stellar mass in dwarf galaxies, with a well-defined upper boundary for HI mass that holds true in both observations and simulations. Furthermore, we find a decrease in the HI-to-stellar mass ratio ($\rm M_{\rm HI}/M_*$) as the density of the environment increases, irrespective of whether it is determined by the proximity to the nearest group or the projected number density. Comparing our observations to simulations, we note a steeper slope in the relationship, indicating a gradual gas-stripping process in the observational data. Additionally, we find that the scaling relation between the $\rm M_{\rm HI}/M_*$ and optical properties can be improved by incorporating galaxy environments.


title: An Alternating Direction Implicit Method for Mean Curvature Flows

abstract: This paper is concerned with the mean curvature flow, which describes the dynamics of a hypersurface whose normal velocity is determined by local mean curvature. We present a Cartesian grid-based method for solving mean curvature flows in two and three space dimensions. The present method embeds a closed hypersurface into a fixed Cartesian grid and decomposes it into multiple overlapping subsets. For each subset, extra tangential velocities are introduced such that marker points on the hypersurface only moves along grid lines. By utilizing an alternating direction implicit (ADI)-type time integration method, the subsets are evolved alternately by solving scalar parabolic partial differential equations on planar domains. The method removes the stiffness using a semi-implicit scheme and has no high-order stability constraint on time step size. Numerical examples in two and three space dimensions are presented to validate the proposed method.


title: Massive Access of Static and Mobile Users via Reconfigurable Intelligent Surfaces: Protocol Design and Performance Analysis

abstract: The envisioned wireless networks of the future entail the provisioning of massive numbers of connections, heterogeneous data traffic, ultra-high spectral efficiency, and low latency services. This vision is spurring research activities focused on defining a next generation multiple access (NGMA) protocol that can accommodate massive numbers of users in different resource blocks, thereby, achieving higher spectral efficiency and increased connectivity compared to conventional multiple access schemes. In this article, we present a multiple access scheme for NGMA in wireless communication systems assisted by multiple reconfigurable intelligent surfaces (RISs). In this regard, considering the practical scenario of static users operating together with mobile ones, we first study the interplay of the design of NGMA schemes and RIS phase configuration in terms of efficiency and complexity. Based on this, we then propose a multiple access framework for RIS-assisted communication systems, and we also design a medium access control (MAC) protocol incorporating RISs. In addition, we give a detailed performance analysis of the designed RIS-assisted MAC protocol. Our extensive simulation results demonstrate that the proposed MAC design outperforms the benchmarks in terms of system throughput and access fairness, and also reveal a trade-off relationship between the system throughput and fairness.


title: A correction function-based kernel-free boundary integral method for elliptic PDEs with implicitly defined interfaces

abstract: This work addresses a novel version of the kernel-free boundary integral (KFBI) method for solving elliptic PDEs with implicitly defined irregular boundaries and interfaces. We focus on boundary value problems and interface problems, which are reformulated into boundary integral equations and solved with the matrix-free GMRES method. In the KFBI method, evaluating boundary and volume integrals only requires solving equivalent but much simpler interface problems in a bounding box, for which fast solvers such as FFTs and geometric multigrid methods are applicable. For the simple interface problem, a correction function is introduced for both the evaluation of right-hand side correction terms and the interpolation of a non-smooth potential function. A mesh-free collocation method is proposed to compute the correction function near the interface. The new method avoids complicated derivation for derivative jumps of the solution and is easy to implement, especially for the fourth-order method in three space dimensions. Various numerical examples are presented, including challenging cases such as high-contrast coefficients, arbitrarily close interfaces and heterogeneous interface problems. The reported numerical results verify that the proposed method is both accurate and efficient.


title: Ballistic PbTe Nanowire Devices

abstract: Disorder is the primary obstacle in current Majorana nanowire experiments. Reducing disorder or achieving ballistic transport is thus of paramount importance. In clean and ballistic nanowire devices, quantized conductance is expected with plateau quality serving as a benchmark for disorder assessment. Here, we introduce ballistic PbTe nanowire devices grown using the selective-area-growth (SAG) technique. Quantized conductance plateaus in units of $2e^2/h$ are observed at zero magnetic field. This observation represents an advancement in diminishing disorder within SAG nanowires, as none of the previously studied SAG nanowires (InSb or InAs) exhibit zero-field ballistic transport. Notably, the plateau values indicate that the ubiquitous valley degeneracy in PbTe is lifted in nanowire devices. This degeneracy lifting addresses an additional concern in the pursuit of Majorana realization. Moreover, these ballistic PbTe nanowires may enable the search for clean signatures of the spin-orbit helical gap in future devices.


title: Optimal $L^2$ error estimates of mass- and energy-conserved FE schemes for a nonlinear Schr\"odinger-type system

abstract: In this paper, we present an implicit Crank-Nicolson finite element (FE) scheme for solving a nonlinear Schr\"odinger-type system, which includes Schr\"odinger-Helmholz system and Schr\"odinger-Poisson system. In our numerical scheme, we employ an implicit Crank-Nicolson method for time discretization and a conforming FE method for spatial discretization. The proposed method is proved to be well-posedness and ensures mass and energy conservation at the discrete level. Furthermore, we prove optimal $L^2$ error estimates for the fully discrete solutions. Finally, some numerical examples are provided to verify the convergence rate and conservation properties.


title: Neural Network Layer Matrix Decomposition reveals Latent Manifold Encoding and Memory Capacity

abstract: We prove the converse of the universal approximation theorem, i.e. a neural network (NN) encoding theorem which shows that for every stably converged NN of continuous activation functions, its weight matrix actually encodes a continuous function that approximates its training dataset to within a finite margin of error over a bounded domain. We further show that using the Eckart-Young theorem for truncated singular value decomposition of the weight matrix for every NN layer, we can illuminate the nature of the latent space manifold of the training dataset encoded and represented by every NN layer, and the geometric nature of the mathematical operations performed by each NN layer. Our results have implications for understanding how NNs break the curse of dimensionality by harnessing memory capacity for expressivity, and that the two are complementary. This Layer Matrix Decomposition (LMD) further suggests a close relationship between eigen-decomposition of NN layers and the latest advances in conceptualizations of Hopfield networks and Transformer NN models.


title: Frame set for shifted sinc-function

abstract: We prove that frame set $\mathcal{F}_g$ for imaginary shift of sinc-function $$g(t)=\frac{\sin\pi b(t-iw)}{t-iw}, \quad b,w\in\mathbb{R}\setminus\{0\}$$ can be described as $\mathcal{F}_g=\{(\alpha,\beta): \alpha\beta\leq 1, \beta\leq|b|\}.$ \\ In addition, we prove that $\mathcal{F}_g=\{(\alpha,\beta): \alpha\beta\leq 1 \}$ for window functions $g$ of the form $\frac{1}{t-iw}(1-\sum\limits_{k=1}^{\infty}a_ke^{2\pi i b_k t})$, such that $\sum_{k\geq 1}|a_k|e^{2\pi|w|b_k}<1$, $wb_k<0$.


title: Coloured corner processes from asymptotics of LLT polynomials

abstract: We consider probability measures arising from the Cauchy summation identity for the LLT (Lascoux--Leclerc--Thibon) symmetric polynomials of rank $n \geq 1$. We study the asymptotic behaviour of these measures as one of the two sets of polynomials in the Cauchy identity stays fixed, while the other one grows to infinity. At $n=1$, this corresponds to an analogous limit of the Schur process, which is known to be given by the Gaussian Unitary Ensemble (GUE) corners process. Our main result states that, for $n>1$, our measures asymptotically split into two parts: a continuous one and a discrete one. The continuous part is a product of $n$ GUE corners processes; the discrete part is an explicit finite distribution on interlacing $n$-colourings of $n$ interlacing triangles, which has weights that are rational functions in the LLT parameter $q$. The latter distribution has a number of interesting (partly conjectural) combinatorial properties, such as $q$-nonnegativity and enumerative phenomena underlying its support. Our main tools are two different representations of the LLT polynomials, one as partition functions of a fermionic lattice model of rank $n$, and the other as finite-dimensional contour integrals, which were recently obtained in arXiv:2012.02376, arXiv:2101.01605.


title: Free boundary regularity for tumor growth with nutrients and diffusion

abstract: In this paper, we study a tumor growth model where the growth is driven by nutrient availability and the tumor expands according to Darcy's law with a mechanical pressure resulting from the incompressibility of the cells. Our focus is on the free boundary regularity of the tumor patch that holds beyond topological changes. A crucial element in our analysis is establishing the regularity of the hitting time T, which records the first time the tumor patch reaches a given point. We achieve this by introducing a novel Hamilton-Jacobi-Bellman (HJB) interpretation of the pressure, which is of independent interest. The HJB structure is obtained by viewing the model as a limit of the Porous Media Equation (PME) and building upon a new variant of the AB estimate. Using the HJB structure, we establish a new Hopf-Lax type formula for the pressure variable. Combined with barrier arguments, the formula allows us to show that T is C^{\alpha}, where \alpha depends only on the dimension, which translates into a mild nondegeneracy of the tumor patch evolution. Building on this and obstacle problem theory, we show that the tumor patch boundary is regular in spacetime except on a set of Hausdorff dimension at most $d-\alpha$. On the set of regular points, we further show that the tumor patch is locally $C^{1,\alpha}$ in space-time. This conclusively establishes that instabilities in the boundary evolution do not amplify arbitrarily high frequencies.


title: Self-supervised Extraction of Human Motion Structures via Frame-wise Discrete Features

abstract: The present paper proposes an encoder-decoder model for extracting the structures of human motions represented by frame-wise discrete features in a self-supervised manner. In the proposed method, features are extracted as codes in a motion codebook without the use of human knowledge, and the relationship between these codes can be visualized on a graph. Since the codes are expected to be temporally sparse compared to the captured frame rate and can be shared by multiple sequences, the proposed network model also addresses the need for training constraints. Specifically, the model consists of self-attention layers and a vector clustering block. The attention layers contribute to finding sparse keyframes and discrete features as motion codes, which are then extracted by vector clustering. The constraints are realized as training losses so that the same motion codes can be as contiguous as possible and can be shared by multiple sequences. In addition, we propose the use of causal self-attention as a method by which to calculate attention for long sequences consisting of numerous frames. In our experiments, the sparse structures of motion codes were used to compile a graph that facilitates visualization of the relationship between the codes and the differences between sequences. We then evaluated the effectiveness of the extracted motion codes by applying them to multiple recognition tasks and found that performance levels comparable to task-optimized methods could be achieved by linear probing.


title: Circuit Breaking: Removing Model Behaviors with Targeted Ablation

abstract: Language models often exhibit behaviors that improve performance on a pre-training objective but harm performance on downstream tasks. We propose a novel approach to removing undesirable behaviors by ablating a small number of causal pathways between model components, with the intention of disabling the computational circuit responsible for the bad behavior. Given a small dataset of inputs where the model behaves poorly, we learn to ablate a small number of important causal pathways. In the setting of reducing GPT-2 toxic language generation, we find ablating just 12 of the 11.6K causal edges mitigates toxic generation with minimal degradation of performance on other inputs.


title: Optimizing Reported Age of Information with Short Error Correction and Detection Codes

abstract: Timely sampling and fresh information delivery are important in 6G communications. This is achieved by encoding samples into short packets/codewords for transmission, with potential decoding errors. We consider a broadcasting base station (BS) that samples information from multiple sources and transmits to respective destinations/users, using short-blocklength cyclic and deep learning (DL) based codes for error correction, and cyclic-redundancy-check (CRC) codes for error detection. We use a metric called reported age of information (AoI), abbreviated as RAoI, to measure the freshness of information, which increases from an initial value if the CRC reports a failure, else is reset. We minimize long-term average expected RAoI, subject to constraints on transmission power and distortion, for which we obtain age-agnostic randomized and age-aware drift-plus-penalty policies that decide which user to transmit to, with what message-word length and transmit power, and derive bounds on their performance. Simulations show that longer CRC codes lead to higher RAoI, but the RAoI achieved is closer to the true, genie-aided AoI. DL-based codes achieve lower RAoI. Finally, we conclude that prior AoI optimization literature with finite blocklengths substantially underestimates AoI because they assume that all errors can be detected perfectly without using CRC.


title: CleanUNet 2: A Hybrid Speech Denoising Model on Waveform and Spectrogram

abstract: In this work, we present CleanUNet 2, a speech denoising model that combines the advantages of waveform denoiser and spectrogram denoiser and achieves the best of both worlds. CleanUNet 2 uses a two-stage framework inspired by popular speech synthesis methods that consist of a waveform model and a spectrogram model. Specifically, CleanUNet 2 builds upon CleanUNet, the state-of-the-art waveform denoiser, and further boosts its performance by taking predicted spectrograms from a spectrogram denoiser as the input. We demonstrate that CleanUNet 2 outperforms previous methods in terms of various objective and subjective evaluations.


title: Folded Morse flow trees

abstract: We present an approach to Morse theory on symmetric products of surfaces using the notion of folded ribbon trees. We introduce an $A_\infty$-category with objects defined as $\kappa$-tuples of Morse functions, where the differential of the tuple has no self-intersection. We show that when the graph of the differential of the $\kappa$-tuple of Morse functions on $T^*\mathbb{R}^2$ is the wrapped $\kappa$ disjoint cotangent fibers, its endormorphism is the Hecke algebra associated to the symmetric group $\mathfrak{S}_\kappa$.


title: A monotone numerical integration method for mean-variance portfolio optimization under jump-diffusion models

abstract: We develop a efficient, easy-to-implement, and strictly monotone numerical integration method for Mean-Variance (MV) portfolio optimization in realistic contexts, which involve jump-diffusion dynamics of the underlying controlled processes, discrete rebalancing, and the application of investment constraints, namely no-bankruptcy and leverage. A crucial element of the MV portfolio optimization formulation over each rebalancing interval is a convolution integral, which involves a conditional density of the logarithm of the amount invested in the risky asset. Using a known closed-form expression for the Fourier transform of this density, we derive an infinite series representation for the conditional density where each term is strictly positive and explicitly computable. As a result, the convolution integral can be readily approximated through a monotone integration scheme, such as a composite quadrature rule typically available in most programming languages. The computational complexity of our method is an order of magnitude lower than that of existing monotone finite difference methods. To further enhance efficiency, we propose an implementation of the scheme via Fast Fourier Transforms, exploiting the Toeplitz matrix structure. The proposed monotone scheme is proven to be both $\ell_{\infty}$-stable and pointwise consistent, and we rigorously establish its pointwise convergence to the unique solution of the MV portfolio optimization problem. We also intuitively demonstrate that, as the rebalancing time interval approaches zero, the proposed scheme converges to a continuously observed impulse control formulation for MV optimization expressed as a Hamilton-Jacobi-Bellman Quasi-Variational Inequality. Numerical results show remarkable agreement with benchmark solutions obtained through finite differences and Monte Carlo simulation, underscoring the effectiveness of our approach.


title: CToMP: A Cycle-task-oriented Memory Protection Scheme for Unmanned Systems

abstract: Memory corruption attacks (MCAs) refer to malicious behaviors of system intruders that modify the contents of a memory location to disrupt the normal operation of computing systems, causing leakage of sensitive data or perturbations to ongoing processes. Unlike general-purpose systems, unmanned systems cannot deploy complete security protection schemes, due to their limitations in size, cost and performance. MCAs in unmanned systems are particularly difficult to defend against. Furthermore, MCAs have diverse and unpredictable attack interfaces in unmanned systems, severely impacting digital and physical sectors. In this paper, we first generalize, model and taxonomize MCAs found in unmanned systems currently, laying the foundation for designing a portable and general defense approach. According to different attack mechanisms, we found that MCAs are mainly categorized into two types--return2libc and return2shellcode. To tackle return2libc attacks, we model the erratic operation of unmanned systems with cycles and then propose a cycle-task-oriented memory protection (CToMP) approach to protect control flows from tampering. To defend against return2shellcode attacks, we introduce a secure process stack with a randomized memory address by leveraging the memory pool to prevent Shellcode from being executed. Moreover, we discuss the mechanism by which CToMP resists the ROP attack, a novel variant of return2libc attacks. Finally, we implement CToMP on CUAV V5+ with Ardupilot and Crazyflie. The evaluation and security analysis results demonstrate that the proposed approach CToMP is resilient to various MCAs in unmanned systems with low footprints and system overhead.


title: Measure preservation and integrals for Lotka--Volterra tree-systems and their Kahan discretisation

abstract: We show that any Lotka--Volterra tree-system associated with an $n$-vertex tree, as introduced in Quispel et al., J. Phys. A 56 (2023) 315201, preserves a rational measure. We also prove that the Kahan discretisation of these tree-systems factorises and preserves the same measure. As a consequence, for the Kahan maps of Lotka--Volterra systems related to the subclass of tree-systems corresponding to graphs with more than one $n$-vertex subtree, we are able to construct rational integrals.


title: Principal series of quaternionic Lie groups induced from Heisenberg parabolic subgroups

abstract: Let $G/K$ be an irreducible quaternionic symmetric space of rank $4$. We study the principal series representation $\pi_\nu=\text{Ind}_P^G(1\otimes e^\nu\otimes 1)$ of $G$ induced from the Heisenberg parabolic subgroup $P=MAN$ realized on $L^2(K/L)$, $L=K\cap M$. We find the $K$-types in the induced representation via a double cover $K/L_0\to K/L$ and a circle bundle $K/L_0\to K/L_1$ over a compact Hermitian symmetric space $K/L_1$. We compute the Lie algebra $\mathfrak g$-action of $G$ on the representation space. We find the complementary series, reducible points, and unitary subrepresentations in this family of representations.


title: Learning Unbiased News Article Representations: A Knowledge-Infused Approach

abstract: Quantification of the political leaning of online news articles can aid in understanding the dynamics of political ideology in social groups and measures to mitigating them. However, predicting the accurate political leaning of a news article with machine learning models is a challenging task. This is due to (i) the political ideology of a news article is defined by several factors, and (ii) the innate nature of existing learning models to be biased with the political bias of the news publisher during the model training. There is only a limited number of methods to study the political leaning of news articles which also do not consider the algorithmic political bias which lowers the generalization of machine learning models to predict the political leaning of news articles published by any new news publishers. In this work, we propose a knowledge-infused deep learning model that utilizes relatively reliable external data resources to learn unbiased representations of news articles using their global and local contexts. We evaluate the proposed model by setting the data in such a way that news domains or news publishers in the test set are completely unseen during the training phase. With this setup we show that the proposed model mitigates algorithmic political bias and outperforms baseline methods to predict the political leaning of news articles with up to 73% accuracy.


title: Anisotropy-assisted magnon condensation in ferromagnetic thin films

abstract: We theoretically demonstrate that adding an easy-axis magnetic anisotropy facilitates magnon condensation in thin yttrium iron garnet (YIG) films. Dipolar interactions in a quasi-equilibrium state stabilize room-temperature magnon condensation in YIG. Even though the out-of-plane easy-axis anisotropy generally competes with the dipolar interactions, we show that adding such magnetic anisotropy may even assist the generation of the magnon condensate electrically via the spin transfer torque mechanism. We use analytical calculations and micromagnetic simulations to illustrate this effect. Our results may explain the recent experiment on Bi-doped YIG and open a pathway toward applying current-driven magnon condensation in quantum spintronics.


title: Characteristics of the Mott transition and electronic states of high-temperature cuprate superconductors from the perspective of the Hubbard model

abstract: A fundamental issue of the Mott transition is how electrons behaving as single particles carrying spin and charge in a metal change into those exhibiting separated spin and charge excitations (low-energy spin excitation and high-energy charge excitation) in a Mott insulator. This issue has attracted considerable attention particularly in relation to high-temperature cuprate superconductors, which exhibit electronic states near the Mott transition that are difficult to explain in conventional pictures. Here, from a new viewpoint of the Mott transition based on analyses of the Hubbard model, we review anomalous features observed in high-temperature cuprate superconductors near the Mott transition.