title: Search for Baryon-Number-Violating Processes in $B^-$ Decays to the $\bar{\Xi}_{c}^{0} \bar{\Lambda}_{c}^{-}$ Final State

abstract: We report the results of the first search for $B^-$ decays to the $\bar{\Xi}_{c}^{0} \bar{\Lambda}_{c}^{-}$ final state using 711~${\rm fb^{-1}}$ of data collected at the $\Upsilon(4S)$ resonance with the Belle detector at the KEKB asymmetric-energy $e^+ e^-$ collider. The results are interpreted in terms of both direct baryon-number-violating $B^-$ decay and $\Xi_{c}^{0}-\bar{\Xi}_{c}^{0}$ oscillations which follow the Standard Model decay $B^- \to \Xi_{c}^{0} \bar{\Lambda}_{c}^{-}$. We observe no evidence for baryon number violation and set the 95\% confidence-level upper limits on the ratio of baryon-number-violating and Standard Model branching fractions ${\mathcal{B}(B^- \rightarrow \bar{\Xi}_{c}^{0} \bar{\Lambda}_{c}^{-})}/{\mathcal{B}(B^- \rightarrow \Xi_{c}^{0} \bar{\Lambda}_{c}^{-})}$ to be $< 2.7\%$ and on the $\Xi_{c}^{0} - \bar{\Xi}_{c}^{0}$ oscillation angular frequency $\omega$ to be $< 0.76\ \mathrm{ps}^{-1}$ (equivalent to $\tau_{\rm mix} > 1.3$~ps).


title: Damping Separation of Finite Open Systems in Gravity-Related Experiments in the Free Molecular Flow Regime

abstract: The residual gas damping of the test mass (TM) in the free molecular flow regime is studied in the finite open systems for high-precision gravity-related experiments. Through strict derivation, we separate the damping coefficients for two finite open systems, i.e., the bi-plate system and the sensor core system, into base damping and diffusion damping. This elucidates the relationship between the free damping in the infinite gas volume and the proximity damping in the constrained volume, unifies them into one microscopic picture, and allows us to point out three pathways of energy dissipation in the bi-plate gap. We also provide the conditions that need to be met to achieve this separation. In applications, for space gravitational wave detection, our results for the residual gas damping coefficient for the 4TM torsion balance experiment is the closest one to the experimental and simulation data compared to previous models. For the LISA mission, our estimation for residual gas acceleration noise at the sensitive axis is consistent with the simulation result, within about $5\%$ difference. In addition, in the test of the gravitational inverse-square law, our results suggest that the constraint on the distance between TM and the conducting membrane can be reduced by about $28\%$.


title: Robust spectral $\pi$ pairing in the random-field Floquet quantum Ising model

abstract: Motivated by an experiment on a superconducting quantum processor [Mi et al., Science 378, 785 (2022)], we study level pairings in the many-body spectrum of the random-field Floquet quantum Ising model. The pairings derive from Majorana zero and $\pi$ modes when writing the spin model in Jordan-Wigner fermions. Both splittings have lognormal distributions with random transverse fields. In contrast, random longitudinal fields affect the zero and $\pi$ splittings in drastically different ways. While zero pairings are rapidly lifted, the $\pi$ pairings are remarkably robust, or even strengthened, up to vastly larger disorder strengths. We explain our results within a self-consistent Floquet perturbation theory and study implications for boundary spin correlations. The robustness of $\pi$ pairings against longitudinal disorder may be useful for quantum information processing.


title: Translate-Distill: Learning Cross-Language Dense Retrieval by Translation and Distillation

abstract: Prior work on English monolingual retrieval has shown that a cross-encoder trained using a large number of relevance judgments for query-document pairs can be used as a teacher to train more efficient, but similarly effective, dual-encoder student models. Applying a similar knowledge distillation approach to training an efficient dual-encoder model for Cross-Language Information Retrieval (CLIR), where queries and documents are in different languages, is challenging due to the lack of a sufficiently large training collection when the query and document languages differ. The state of the art for CLIR thus relies on translating queries, documents, or both from the large English MS MARCO training set, an approach called Translate-Train. This paper proposes an alternative, Translate-Distill, in which knowledge distillation from either a monolingual cross-encoder or a CLIR cross-encoder is used to train a dual-encoder CLIR student model. This richer design space enables the teacher model to perform inference in an optimized setting, while training the student model directly for CLIR. Trained models and artifacts are publicly available on Huggingface.


title: Monte Carlo, blocking, and inference: How to measure the renormalization group flow

abstract: Renormalization group theory is a powerful and intriguing technique with a wide range of applications. One of the main successes of renormalization group theory is the description of continuous phase transitions and the development of scaling theory. Most courses on phase transitions focus on scaling and critical exponents, while less attention is paid to universality, renormalization group flow, and the existence of a unique fixed point, which are the ultimate reasons why scaling theory is so effective in describing continuous phase transitions. We use a combination of Monte Carlo simulations and real space renormalization group theory to determine the renormalization group flow and to show the existence of a universal fixed point in the context of the ferromagnetic Ising model.


title: Sample-and-Bound for Non-Convex Optimization

abstract: Standard approaches for global optimization of non-convex functions, such as branch-and-bound, maintain partition trees to systematically prune the domain. The tree size grows exponentially in the number of dimensions. We propose new sampling-based methods for non-convex optimization that adapts Monte Carlo Tree Search (MCTS) to improve efficiency. Instead of the standard use of visitation count in Upper Confidence Bounds, we utilize numerical overapproximations of the objective as an uncertainty metric, and also take into account of sampled estimates of first-order and second-order information. The Monte Carlo tree in our approach avoids the usual fixed combinatorial patterns in growing the tree, and aggressively zooms into the promising regions, while still balancing exploration and exploitation. We evaluate the proposed algorithms on high-dimensional non-convex optimization benchmarks against competitive baselines and analyze the effects of the hyper parameters.


title: ${\cal N}=4$ Supergravity with Local Scaling Symmetry in Four Dimensions

abstract: We construct the most general four-dimensional ${\cal N}=4$ supergravity coupled to an arbitrary number $n$ of vector multiplets in which the global scaling symmetry is gauged, in addition to a subgroup of $\text{SL}(2,\mathbb{R}) \times \text{SO}(6,n)$. The various gaugings are parametrized by an embedding tensor built out of $2 \binom{n+6}{3}+4(n+6)$ parameters that satisfy a specific set of quadratic consistency constraints, to which we provide an explicit solution. We also derive the local supersymmetry transformation rules and the equations of motion for the four-dimensional ${\cal N}=4$ matter-coupled supergravity with local scaling symmetry. Such supergravity theories do not possess an action, since the scaling symmetry is only an on-shell symmetry of the corresponding ungauged theories.


title: Random walks and the "Euclidean" association scheme in finite vector spaces

abstract: In this paper, we provide an application to the random distance-$t$ walk in finite planes and derive asymptotic formulas (as $q \to \infty$) for the probability of return to start point after $\ell$ steps based on the "vertical" equidistribution of Kloosterman sums established by N. Katz. The application of these deep results from number theory allow a determination of the second order terms in the answers that simpler spectral gap/mixing rate methods do not. This work relies on a "Euclidean" association scheme studied in prior work of W.M.Kwok, E. Bannai, O. Shimabukuro and H. Tanaka. We also provide a self-contained discussion of the P-matrix and intersection numbers of this scheme for convenience in our application as well as a more explicit form for the intersection numbers in the planar case.


title: Nestedness Promotes Stability in Maximum-Entropy Bipartite Food Webs

abstract: Food web topology and energy flow rates across food web linkages can influence ecosystem properties such as stability. Stability predictions from current models of energy flow are often sensitive to details in their formulation, and their complexity makes it difficult to elucidate underlying mechanisms of general phenomena. Here, within the maximum information entropy inference framework (MaxEnt), we derive a simple formula for the energy flow carried by each linkage between two adjacent trophic layers. Inputs to the model are the topological structure of the food web and aggregate energy fluxes entering or exiting each species node. For ecosystems with interactions dominated by consumer-resource interactions between two trophic layers, we construct a model of species dynamics based on the energy flow predictions from the MaxEnt model. Mathematical analyses and simulations of the model show that a food web topology with a higher matrix dipole moment promotes stability against small perturbations in population sizes, where the \textit{matrix dipole moment} is a simple nestedness metric that we introduce. Since nested bipartite subnetworks arise naturally in food webs, our result provides an explanation for the stability of natural communities.


title: Null Controllability for Backward Stochastic Parabolic Convection-Diffusion Equations with Dynamic Boundary Conditions

abstract: This paper is concerned with the null controllability for linear backward stochastic parabolic equations with dynamic boundary conditions and convection terms. Using the classical duality argument, the null controllability is obtained via an appropriate observability inequality of the corresponding adjoint forward stochastic parabolic equation. To prove this observability inequality, we develop a new global Carleman estimate for forward stochastic parabolic equations that contains some first-order terms in the weak divergence form. Our Carleman estimate is established by applying the duality technique. Moreover, an estimate of the null-control cost is provided.


title: Covering integers by $x^2 + dy^2$

abstract: What proportion of integers $n \leqslant N$ may be expressed as $x^2 + dy^2$ for some $d \leqslant \Delta$, with $x,y $ integers? Writing $\Delta$ as $(\log N)^{\log 2} 2^{\alpha \sqrt{\log \log N}}$ for some $\alpha \in (-\infty, \infty)$, we show that the answer is $\Phi(\alpha) + o(1)$, where $\Phi$ is the Gaussian distribution function $\Phi(\alpha) = \frac{1}{2\pi} \int^{\alpha}_{-\infty} e^{-x^2/2} dx$. A consequence of this is a phase transition: almost none of the integers $n \leqslant N$ can be represented by $x^2 + dy^2$ with $d \leqslant (\log N)^{\log 2 - \varepsilon}$, but almost all of them can be represented by $x^2 + dy^2$ with $d \leqslant (\log N)^{\log 2 + \varepsilon}$.


title: Transmission-eigenchannel velocity and diffusion

abstract: The diffusion model is used to calculate the time-averaged flow of particles in stochastic media and the propagation of waves averaged over ensembles of disordered static configurations. For classical waves exciting static disordered samples, such as a layer of paint or a tissue sample, the flux transmitted through the sample may be dramatically enhanced or suppressed relative to predictions of diffusion theory when the sample is excited by a waveform corresponding to a transmission eigenchannel. Even so, it is widely acknowledged that the velocity of waves is irretrievably randomized in scattering media. Here we demonstrate in microwave measurements and numerical simulations that the statistics of velocity of different transmission eigenchannels remain distinct on all length scales and are identical on the incident and output surfaces. The interplay between eigenchannel velocities and transmission eigenvalues determines the energy density within the medium, the diffusion coefficient, and the dynamics of propagation. the diffusion coefficient and all scatter9ng parameters, including the scattering mean free path, oscillate with width of the sample as the number and shape of the propagating channels in the medium change.


title: Subspaces of separable $L_1$-preduals: $W_\alpha$ everywhere

abstract: The spaces $W_\alpha$ are the Banach spaces whose duals are isometric to $\ell_1$ and such that the standard basis of $\ell_1$ is $w^*$-convergent to $\alpha\in \ell_1$. The core result of our paper proves that an $\ell_1$-predual $X$ contains isometric copies of all $W_\alpha$, where the norm of $\alpha$ is controlled by the supremum of the norms of the $w^*$-cluster points of the extreme points of the closed unit ball in $\ell_1$. More precisely, for every $\ell_1$-predual $X$ we have $$ r^*(X)=\sup\left\lbrace \left\|g^*\right\|: g^*\in \left(\mathrm{ext}\, B_{\ell_1}\right)'\right\rbrace =\sup \left\lbrace \left\| \alpha\right\|: \, \alpha \in B_{\ell_1}, \, W_\alpha \subset X\right\rbrace . $$ We also prove that, for any $\varepsilon >0$, $X$ contains an isometric copy of some space $W_\alpha$ with $\left\| \alpha\right\|>r^*(X)- \varepsilon$ which is $(1+ \varepsilon)$-complemented in $X$. From these results we obtain several consequences. First we provide a new characterization of separable $L_1$-preduals containing an isometric copy of a space of affine continuous functions on a Choquet simplex. Then, we prove that an $\ell_1$-predual $X$ contains almost isometric copies of the space $c$ of convergent sequences if and only if $X^*$ lacks the stable $w^*$-fixed point property for nonexpansive mappings.


title: Phishing Website Detection through Multi-Model Analysis of HTML Content

abstract: The way we communicate and work has changed significantly with the rise of the Internet. While it has opened up new opportunities, it has also brought about an increase in cyber threats. One common and serious threat is phishing, where cybercriminals employ deceptive methods to steal sensitive information.This study addresses the pressing issue of phishing by introducing an advanced detection model that meticulously focuses on HTML content. Our proposed approach integrates a specialized Multi-Layer Perceptron (MLP) model for structured tabular data and two pretrained Natural Language Processing (NLP) models for analyzing textual features such as page titles and content. The embeddings from these models are harmoniously combined through a novel fusion process. The resulting fused embeddings are then input into a linear classifier. Recognizing the scarcity of recent datasets for comprehensive phishing research, our contribution extends to the creation of an up-to-date dataset, which we openly share with the community. The dataset is meticulously curated to reflect real-life phishing conditions, ensuring relevance and applicability. The research findings highlight the effectiveness of the proposed approach, with the CANINE demonstrating superior performance in analyzing page titles and the RoBERTa excelling in evaluating page content. The fusion of two NLP and one MLP model,termed MultiText-LP, achieves impressive results, yielding a 96.80 F1 score and a 97.18 accuracy score on our research dataset. Furthermore, our approach outperforms existing methods on the CatchPhish HTML dataset, showcasing its efficacies.


title: MoSECroT: Model Stitching with Static Word Embeddings for Crosslingual Zero-shot Transfer

abstract: Transformer-based pre-trained language models (PLMs) have achieved remarkable performance in various natural language processing (NLP) tasks. However, pre-training such models can take considerable resources that are almost only available to high-resource languages. On the contrary, static word embeddings are easier to train in terms of computing resources and the amount of data required. In this paper, we introduce MoSECroT Model Stitching with Static Word Embeddings for Crosslingual Zero-shot Transfer), a novel and challenging task that is especially relevant to low-resource languages for which static word embeddings are available. To tackle the task, we present the first framework that leverages relative representations to construct a common space for the embeddings of a source language PLM and the static word embeddings of a target language. In this way, we can train the PLM on source-language training data and perform zero-shot transfer to the target language by simply swapping the embedding layer. However, through extensive experiments on two classification datasets, we show that although our proposed framework is competitive with weak baselines when addressing MoSECroT, it fails to achieve competitive results compared with some strong baselines. In this paper, we attempt to explain this negative result and provide several thoughts on possible improvement.


title: On minimizers in the liquid drop model

abstract: We prove that round balls of volume $\leq 1$ uniquely minimize in Gamow's liquid drop model.


title: Deep learning surrogate for predicting hydraulic conductivity tensors from stochastic discrete fracture-matrix models

abstract: Simulating 2D flow in fractured crystalline rock requires 2D stochastic discrete-fracture matrix (DFM) models. To obtain the simulation statistics of interest at an affordable computational cost, we aim to use the multilevel Monte Carlo method. To use this multiscale approach, one needs to upscale the hydraulic conductivity of the fractures by numerical homogenization. In this work, we substitute numerical homogenization with a surrogate model to speed up the computations. In particular, we resort to a deep convolutional neural network (CNN) connected to a deep feed-forward neural network. The equivalent hydraulic conductivity tensor $K_{eq}$ is predicted based on an input spatial random field (SRF) of hydraulic conductivity tensors, cross-section, and hydraulic conductivity of fractures. Three independent surrogates with the same architecture are trained using data from DFM models with three different ratios of hydraulic conductivities of fracture and bulk $K_f/K_b$. As the $K_f/K_b$ ratio increases, the multivariate $K_{eq}$ distribution becomes more complex, and thus, the prediction accuracy of the trained surrogates deteriorates. Regardless of $K_f/K_b$, however, an improvement in the prediction accuracy of the trained surrogates is noted as the considered fracture density of the modeling setup decreases. We also investigate prediction accuracy on input SRFs of different correlation lengths. Upscaling by numerical homogenization and by surrogate modeling is compared on two practical problems: upscaling of the hydraulic conductivity tensor and groundwater flow through a given surface. We obtained equally accurate results for the equivalent hydraulic tensor calculation of upscaled DFM models regardless of the upscaling method. For the groundwater flow problem, the accuracy of quantity of interest imitates the accuracy of $K_{eq}$ predictions.


title: Top mass measurements

abstract: The top quark mass measurements are based either on a direct kinematic reconstruction of the top quark decay products or on indirect measurements, where an observable sensitive to the top quark mass, such as the production cross section, is used to infer it. The ATLAS and CMS collaborations have measured the top quark mass using various methods with increasing precision. Recent measurements using 13 TeV pp collision data recorded at the LHC are presented in this review.


title: Exceptional-point Sensors Offer No Fundamental Signal-to-Noise Ratio Enhancement

abstract: Exceptional-point (EP) sensors are characterized by a square-root resonant frequency bifurcation in response to an external perturbation. This has lead numerous suggestions for using these systems for sensing applications. However, there is an open debate as to whether or not this sensitivity advantage is negated by additional noise in the system. We show that an EP sensor's imprecision in measuring a generalized force is independent of its operating point's proximity to the EP. That is because frequency noises of fundamental origin in the sensor -- due to quantum and thermal fluctuations -- increase in a manner that exactly cancels the benefit of increased resonant frequency sensitivity near the EP. So the benefit of EP sensors is limited to the regime where sensing is limited by technical noises. Finally, we outline an EP sensor with phase-sensitive gain that does have an advantage even if limited by fundamental noises.


title: $RO(G)$-graded Bredon cohomology of Euclidean configuration spaces

abstract: Let $G$ be a finite group and $V$ be a $G$-representation. We investigate the $RO(G)$-graded Bredon cohomology with constant integral coefficients of the space of ordered configurations in $V$. In the case that $V$ contains a trivial subrepresentation, we show the cohomology is free as a module over the cohomology of a point, and we give a generators-and-relations description of the ring structure. In the case that $V$ does not contain a trivial representation, we give a computation of the module structure that works as long as a certain vanishing condition holds in the Bredon cohomology of a point. We verify this vanishing condition holds in the case that $\dim(V)\geq 3$ and $G$ is any of $C_p$, $C_{p^2}$ ($p$ a prime), or the symmetric group on three letters.


title: The site linkage spectrum of data arrays

abstract: A new perspective is introduced regarding the analysis of Multiple Sequence Alignments (MSA), representing aligned data defined over a finite alphabet of symbols. The framework is designed to produce a block decomposition of an MSA, where each block is comprised of sequences exhibiting a certain site-coherence. The key component of this framework is an information theoretical potential defined on pairs of sites (links) within the MSA. This potential quantifies the expected drop in variation of information between the two constituent sites, where the expectation is taken with respect to all possible sub-alignments, obtained by removing a finite, fixed collection of rows. It is proved that the potential is zero for linked sites representing columns, whose symbols are in bijective correspondence and it is strictly positive, otherwise. It is furthermore shown that the potential assumes its unique minimum for links at which each symbol pair appears with the same multiplicity. Finally, an application is presented regarding anomaly detection in an MSA, composed of inverse fold solutions of a fixed tRNA secondary structure, where the anomalies are represented by inverse fold solutions of a different RNA structure.


title: Stable Vacua with Realistic Phenomenology and Cosmology in Heterotic M-theory Satisfying Swampland Conjectures

abstract: We recently described a protocol for computing the potential energy in heterotic M-theory for the dilaton, complex structure and K\"ahler moduli. This included the leading order non-perturbative contributions to the complex structure, gaugino condensation and worldsheet instantons assuming a hidden sector that contains an anomalous U(1) structure group embedded in $E_8$. In this paper, we elucidate, in detail, the mathematical and computational methods required to utilize this protocol. These methods are then applied to a realistic heterotic M-theory model, the $B-L$ MSSM, whose observable sector is consistent with all particle physics requirements. Within this context, it is shown that the dilaton and universal moduli can be completely stabilized at values compatible with every phenomenological and mathematical constraint -- as well as with $\Lambda$CDM cosmology. We also show that the heterotic M-theory vacua are consistent with all well-supported Swampland conjectures based on considerations of string theory and quantum gravity, and we discuss the implications of dark energy theorems for compactified theories.


title: GNNShap: Scalable and Accurate GNN Explanation using Shapley Values

abstract: Graph neural networks (GNNs) are popular machine learning models for graphs with many applications across scientific domains. However, GNNs are considered black box models, and it is challenging to understand how the model makes predictions. Game theoric Shapley value approaches are popular explanation methods in other domains but are not well-studied for graphs. Some studies have proposed Shapley value based GNN explanations, yet they have several limitations: they consider limited samples to approximate Shapley values; some mainly focus on small and large coalition sizes, and they are an order of magnitude slower than other explanation methods, making them inapplicable to even moderate-size graphs. In this work, we propose GNNShap, which provides explanations for edges since they provide more natural explanations for graphs and more fine-grained explanations. We overcome the limitations by sampling from all coalition sizes, parallelizing the sampling on GPUs, and speeding up model predictions by batching. GNNShap gives better fidelity scores and faster explanations than baselines on real-world datasets. The code is available at https://github.com/HipGraph/GNNShap.


title: Clinical Applications of Plantar Pressure Measurement

abstract: Plantar pressure measurements can provide valuable insight into various health characteristics in patients. In this study, we describe different plantar pressure devices available on the market and their clinical relevance. Current devices are either platform-based or wearable and consist of a variety of sensor technologies: resistive, capacitive, piezoelectric, and optical. The measurements collected from any of these sensors can be utilized for a range of clinical applications including patients with diabetes, trauma, deformity and cerebral palsy, stroke, cervical myelopathy, ankle instability, sports injuries, and Parkinsons disease. However, the proper technology should be selected based on the clinical need and the type of tests being performed on the device. In this review we provide the reader with a simple overview of the existing technologies their advantages and disadvantages and provide application examples for each. Moreover, we suggest new areas in orthopaedic that plantar pressure mapping technology can be utilized for increased quality of care.

categories: eess.SP physics.ins-det physics.med-ph q-bio.QM


title: Safe Low-Altitude Navigation in Steep Terrain with Fixed-Wing Aerial Vehicles

abstract: Fixed-wing aerial vehicles provide an efficient way to navigate long distances or cover large areas for environmental monitoring applications. By design, they also require large open spaces due to limited maneuverability. However, strict regulatory and safety altitude limits constrain the available space. Especially in complex, confined, or steep terrain, ensuring the vehicle does not enter an inevitable collision state(ICS) can be challenging. In this work, we propose a strategy to find safe paths that do not enter an ICS while navigating within tight altitude constraints. The method uses periodic paths to efficiently classify ICSs. A sampling-based planner creates collision-free and kinematically feasible paths that begin and end in safe periodic (circular) paths. We show that, in realistic terrain, using circular periodic paths can simplify the goal selection process by making it yaw agnostic and constraining yaw. We demonstrate our approach by dynamically planning safe paths in real-time while navigating steep terrain on a flight test in complex alpine terrain.


title: Group lasso priors for Bayesian accelerated failure time models with left-truncated and interval-censored data

abstract: An important task in health research is to characterize time-to-event outcomes such as disease onset or mortality in terms of a potentially high-dimensional set of risk factors. For example, prospective cohort studies of Alzheimer's disease typically enroll older adults for observation over several decades to assess the long-term impact of genetic and other factors on cognitive decline and mortality. The accelerated failure time model is particularly well-suited to such studies, structuring covariate effects as `horizontal' changes to the survival quantiles that conceptually reflect shifts in the outcome distribution due to lifelong exposures. However, this modeling task is complicated by the enrollment of adults at differing ages, and intermittent followup visits leading to interval censored outcome information. Moreover, genetic and clinical risk factors are not only high-dimensional, but characterized by underlying grouping structure, such as by function or gene location. Such grouped high-dimensional covariates require shrinkage methods that directly acknowledge this structure to facilitate variable selection and estimation. In this paper, we address these considerations directly by proposing a Bayesian accelerated failure time model with a group-structured lasso penalty, designed for left-truncated and interval-censored time-to-event data. We develop a custom Markov chain Monte Carlo sampler for efficient estimation, and investigate the impact of various methods of penalty tuning and thresholding for variable selection. We present a simulation study examining the performance of this method relative to models with an ordinary lasso penalty, and apply the proposed method to identify groups of predictive genetic and clinical risk factors for Alzheimer's disease in the Religious Orders Study and Memory and Aging Project (ROSMAP) prospective cohort studies of AD and dementia.


title: The Poisson degeneracy locus of a flag variety

abstract: We present a comprehensive study of the degeneracy loci of the full flag varieties of all complex semisimple Lie groups equipped with the standard Poisson structures. The reduced Poisson degeneracy loci are shown to stratify under the action of the canonical maximal torus into open Richardson varieties $\mathcal{R}_v^w$ for pairs of Weyl group elements $v \leq w$ that extend the covering relation of the Bruhat order. Four different combinatorial descriptions of those pairs are given, and it is shown that their Bruhat intervals are power sets. The corresponding closed Richardson varieties $\overline{\mathcal{R}_v^m}$ are shown to be isomorphic to $(\mathbb{C}\mathbb{P}^1)^d$ for $d \geq 0$ in a compatible way with the stratification. As a consequence, we obtain that the reduced Poisson degeneracy loci of all full flag varieties are connected, and all of their irreducible components are isomorphic to $(\mathbb{C}\mathbb{P}^1)^n$ for some $n \geq 0$; they are not equidimensional in general. Using the framework of projected Richardson varieties, these results are extended to all partial flag varieties. The top dimension of irreducible components of the reduced Poisson degeneracy locus in the full flag case is proved to be equal to the cardinality of Kostant's cascade of roots and the reflective length of the longest Weyl group element. It is shown that the Poisson degeneracy loci of flag varieties are not reduced in general.


title: Reconstruction of the Doping Profile in Vlasov-Poisson

abstract: We study the inverse problem of recovering the doping profile in the stationary Vlasov-Poisson equation, given the knowledge of the incoming and outgoing measurements at the boundary of the domain. This problem arises from identifying impurities in the semiconductor manufacturing. Our result states that, under suitable assumptions, the doping profile can be uniquely determined through an asymptotic formula of the electric field that it generates.


title: Physical Properties of Molecular Clouds in the Overlap Region of the Merging Antennae Galaxies

abstract: As the closest major galaxy merger and home to thousands of super star clusters (SSCs), the Antennae Galaxies (NGC 4038 and NGC 4039) are an important location to study the molecular clouds at sites of vigorous star formation. We cataloged giant molecular clouds (GMCs) in the region where the two galaxies overlap using high-resolution (~0.1" ~10 pc) Atacama Large Millimeter/submillimeter Array (ALMA) observations of the 12CO(2-1) and 13CO(2-1)} emission lines. Of the 72 individual GMCs identified in the overlap region, 17 are within uncertainties of having the necessary mass, pressure, and size needed to form super star clusters (SSCs). Of those 17 GMCs, only one has significant ionizing radiation, indicating that the birth environments are likely still intact in the 16 other GMCs. We compared the physical properties calculated from 12CO(2-1) GMC data with observations of 10 other galaxies obtained using the same emission line and similar resolution. Compared to other sources in this sample, the GMCs from the Antennae, as well as in other starbursts and in the centers of galaxies, have the highest luminosities, surface densities, and turbulent pressures. The GMCs in starbursts and at the centers of galaxies also have large linewidths, although the linewidths in the Antennae are among the widest. These comparative results also indicate that the Antennae GMCs have the highest virial parameters despite their high densities.


title: CoNST: Code Generator for Sparse Tensor Networks

abstract: Sparse tensor networks are commonly used to represent contractions over sparse tensors. Tensor contractions are higher-order analogs of matrix multiplication. Tensor networks arise commonly in many domains of scientific computing and data science. After a transformation into a tree of binary contractions, the network is implemented as a sequence of individual contractions. Several critical aspects must be considered in the generation of efficient code for a contraction tree, including sparse tensor layout mode order, loop fusion to reduce intermediate tensors, and the interdependence of loop order, mode order, and contraction order. We propose CoNST, a novel approach that considers these factors in an integrated manner using a single formulation. Our approach creates a constraint system that encodes these decisions and their interdependence, while aiming to produce reduced-order intermediate tensors via fusion. The constraint system is solved by the Z3 SMT solver and the result is used to create the desired fused loop structure and tensor mode layouts for the entire contraction tree. This structure is lowered to the IR of the TACO compiler, which is then used to generate executable code. Our experimental evaluation demonstrates very significant (sometimes orders of magnitude) performance improvements over current state-of-the-art sparse tensor compiler/library alternatives.


title: T-PRIME: Transformer-based Protocol Identification for Machine-learning at the Edge

abstract: Spectrum sharing allows different protocols of the same standard (e.g., 802.11 family) or different standards (e.g., LTE and DVB) to coexist in overlapping frequency bands. As this paradigm continues to spread, wireless systems must also evolve to identify active transmitters and unauthorized waveforms in real time under intentional distortion of preambles, extremely low signal-to-noise ratios and challenging channel conditions. We overcome limitations of correlation-based preamble matching methods in such conditions through the design of T-PRIME: a Transformer-based machine learning approach. T-PRIME learns the structural design of transmitted frames through its attention mechanism, looking at sequence patterns that go beyond the preamble alone. The paper makes three contributions: First, it compares Transformer models and demonstrates their superiority over traditional methods and state-of-the-art neural networks. Second, it rigorously analyzes T-PRIME's real-time feasibility on DeepWave's AIR-T platform. Third, it utilizes an extensive 66 GB dataset of over-the-air (OTA) WiFi transmissions for training, which is released along with the code for community use. Results reveal nearly perfect (i.e. $>98\%$) classification accuracy under simulated scenarios, showing $100\%$ detection improvement over legacy methods in low SNR ranges, $97\%$ classification accuracy for OTA single-protocol transmissions and up to $75\%$ double-protocol classification accuracy in interference scenarios.


title: Exploring Electromagnetic Field Effects and Constraining Transport Parameters of QGP using STAR BES-II data

abstract: Heavy-ion collisions undergo various stages in their evolution and it is crucial to disentangle the initial- and final-stage effects. In this work, we report measurements of two types of observables: (i) charge-dependent directed flow ($\Delta v_1$), which is sensitive to the initial ultra-strong electromagnetic fields, and (ii) flow correlations, such as $r_n (\eta)$ which is sensitive to the initial longitudinal de-correlation, and correlations among flow harmonics. These measurements contribute to constraining the initial state of the collisions, and through a comprehensive beam energy scan, we gain significant insights into the system evolution in the presence of initial spatial asymmetry and electromagnetic fields.


title: Critical Cohomological Hall Algebra and Edge Contraction

abstract: We study the behaviors of cohomological Hall algebras and relevant subjects under an edge contraction. Given a quiver with potential and fix an arrow, the edge contraction is a way to construct a new quiver with potential. We show that there is an algebra homomorphism between the cohomological Hall algebras induced by the edge contraction, which preserves the Hopf algebra structure, Drinfeld double, mutation, and the dimensional reduction, and induces relations between scattering diagram and Donaldson-Thomas series.


title: Recent developments in testable leptogenesis

abstract: Low-scale leptogenesis is an attractive explanation for the observed baryon asymmetry of our universe that can be tested at a variety of laboratory experiments. In these proceedings, we review some recent advances in this field. In particular, we find that the viable parameter space is strongly enhanced, compared to the minimal case with two right-handed neutrinos, when a third generation is considered and explore the impact of such enhancement on the testability of the scenario. Finally, we also look at the impact of specific flavour and CP symmetries on said parameter space.


title: Analysis of Compositional Data with Positive Correlations among Components using a Nested Dirichlet Distribution with Application to a Morris Water Maze Experiment

abstract: In a typical Morris water maze experiment, a mouse is placed in a circular water tank and allowed to swim freely until it finds a platform, triggering a route of escape from the tank. For reference purposes, the tank is divided into four quadrants: the target quadrant where the trigger to escape resides, the opposite quadrant to the target, and two adjacent quadrants. Several response variables can be measured: the amount of time that a mouse spends in different quadrants of the water tank, the number of times the mouse crosses from one quadrant to another, or how quickly a mouse triggers an escape from the tank. When considering time within each quadrant, it is hypothesized that normal mice will spend smaller amounts of time in quadrants that do not contain the escape route, while mice with an acquired or induced mental deficiency will spend equal time in all quadrants of the tank. Clearly, proportion of time in the quadrants must sum to one and are therefore statistically dependent; however, most analyses of data from this experiment treat time in quadrants as statistically independent. A recent paper introduced a hypothesis testing method that involves fitting such data to a Dirichlet distribution. While an improvement over studies that ignore the compositional structure of the data, we show that methodology is flawed. We introduce a two-sample test to detect differences in proportion of components for two independent groups where both groups are from either a Dirichlet or nested Dirichlet distribution. This new test is used to reanalyze the data from a previous study and come to a different conclusion.


title: Adapting Standard Retrieval Benchmarks to Evaluate Generated Answers

abstract: Large language models can now directly generate answers to many factual questions without referencing external sources. Unfortunately, relatively little attention has been paid to methods for evaluating the quality and correctness of these answers, for comparing the performance of one model to another, or for comparing one prompt to another. In addition, the quality of generated answers are rarely directly compared to the quality of retrieved answers. As models evolve and prompts are modified, we have no systematic way to measure improvements without resorting to expensive human judgments. To address this problem we adapt standard retrieval benchmarks to evaluate answers generated by large language models. Inspired by the BERTScore metric for summarization, we explore two approaches. In the first, we base our evaluation on the benchmark relevance judgments. We empirically run experiments on how information retrieval relevance judgments can be utilized as an anchor to evaluating the generated answers. In the second, we compare generated answers to the top results retrieved by a diverse set of retrieval models, ranging from traditional approaches to advanced methods, allowing us to measure improvements without human judgments. In both cases, we measure the similarity between an embedded representation of the generated answer and an embedded representation of a known, or assumed, relevant passage from the retrieval benchmark.


title: Simulation of time crystal behavior for a few boson chiral soliton model in a ring

abstract: We present numerical simulations for a chiral soliton model with N=2,3 bosons in a ring, this being a few-particle version of our previous mean-field model for a quantum time crystal. Following Syrwid, Kosior, and Sacha (SKS), the notion is that a precise position measurement of one particle can lead to spontaneous formation of a bright soliton that in a time crystal should rotate intact for at least a few revolutions around the ring. In their work SKS find spontaneous formation of a soliton due to the position measurement, but quantum fluctuations cause the soliton to subsequently decay before it has a chance to perform even one revolution of the ring. Based on this they conclude that time crystal dynamics are impossible. In contrast, for our few boson chiral soliton model, and allowing for imprecise (weak) measurements of the particle position, we show that time crystal behavior is possible allowing for several revolutions of the spontaneously formed soliton around the ring. We therefore argue that our chiral soliton model can realize a quantum time crystal when weak position measurements are allowed for.


title: Compactifications of strata of differentials

abstract: In this informal expository note, we quickly introduce and survey compactifications of strata of holomorphic 1-forms on Riemann surfaces, i.e. spaces of translation surfaces. In the last decade, several of these have been constructed, studied, and successfully applied to problems. We discuss relations between their definitions and properties, focusing on the different notions of convergence from a flat geometric perspective.


title: Discovery of a hybrid topological quantum state in an elemental solid

abstract: Topology and interactions are foundational concepts in the modern understanding of quantum matter. Their nexus yields three significant research directions: competition between distinct interactions, as in the multiple intertwined phases, interplay between interactions and topology that drives the phenomena in twisted layered materials and topological magnets, and the coalescence of multiple topological orders to generate distinct novel phases. The first two examples have grown into major areas of research, while the last example remains mostly untouched, mainly because of the lack of a material platform for experimental studies. Here, using tunneling microscopy, photoemission spectroscopy, and theoretical analysis, we unveil a "hybrid" and yet novel topological phase of matter in the simple elemental solid arsenic. Through a unique bulk-surface-edge correspondence, we uncover that arsenic features a conjoined strong and higher-order topology, stabilizing a hybrid topological phase. While momentum-space spectroscopy measurements show signs of topological surface states, real-space microscopy measurements unravel a unique geometry of topology-induced step edge conduction channels revealed on various forms of natural nanostructures on the surface. Using theoretical models, we show that the existence of gapless step edge states in arsenic relies on the simultaneous presence of both a nontrivial strong Z2 invariant and a nontrivial higher-order topological invariant, providing experimental evidence for hybrid topology and its realization in a single crystal. Our discovery highlights pathways to explore the interplay of different kinds of band topology and harness the associated topological conduction channels in future engineered quantum or nano-devices.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.other physics.app-ph


title: The inherent goodness of well educated intelligence

abstract: This paper will examine what makes a being intelligent, whether that be a biological being or an artificial silicon being on a computer. Special attention will be paid to the being having the ability to characterize and control a collective system of many identical conservative sub-systems conservatively interacting. The essence of intelligence will be found to be the golden rule -- "the collective acts as one" or "knowing the global consequences of local actions". The flow of the collective is a small set of twinkling textures, that are governed by a puppeteer who is pulling a small number of strings according to a geodesic motion of least action, determined by the symmetries. Controlling collective conservative systems is difficult and has historically been done by adding significant viscosity to the system to stabilize the desirable meta stable equilibriums of maximum performance, but it degrades or destroys them in the process. There is an alternative. Once the optimum twinkling textures of the meta stable equilibriums are identified, the collective system can be moved to the optimum twinkling textures, then quickly vibrated according to the textures so that the collective system remains at the meta stable equilibrium. Well educated intelligence knows the global consequences of its local actions so that it will not take short term actions that will lead to poor long term outcomes. In contrast, trained intelligence or trained stupidity will optimize its short term actions, leading to poor long term outcomes. Well educated intelligence is inherently good, but trained stupidity is inherently evil and should be feared. Particular attention is paid to the control and optimization of economic and social collectives. These new results are also applicable to physical collectives such as fields, fluids and plasmas.


title: On the Correctness of the Generalized Isotonic Recursive Partitioning Algorithm

abstract: This paper presents an in-depth analysis of the generalized isotonic recursive partitioning (GIRP) algorithm for fitting isotonic models under separable convex losses, proposed by Luss and Rosset [J. Comput. Graph. Statist., 23 (2014), pp. 192--201] for differentiable losses and extended by Painsky and Rosset [IEEE Trans. Pattern Anal. Mach. Intell., 38 (2016), pp. 308-321] for nondifferentiable losses. The GIRP algorithm poseses an attractive feature that in each step of the algorithm, the intermediate solution satisfies the isotonicity constraint. The paper begins with an example showing that the GIRP algorithm as described in the literature may fail to produce an isotonic model, suggesting that the existence and uniqueness of the solution to the isotonic regression problem must be carefully addressed. It proceeds with showing that, among possibly many solutions, there indeed exists a solution that can be found by recursive binary partitioning of the set of observed data. A small modification of the GIRP algorithm suffices to obtain a correct solution and preserve the desired property that all the intermediate solutions are isotonic. This proposed modification includes a proper choice of intermediate solutions and a simplification of the partitioning step from ternary to binary.


title: Arabic Text Diacritization In The Age Of Transfer Learning: Token Classification Is All You Need

abstract: Automatic diacritization of Arabic text involves adding diacritical marks (diacritics) to the text. This task poses a significant challenge with noteworthy implications for computational processing and comprehension. In this paper, we introduce PTCAD (Pre-FineTuned Token Classification for Arabic Diacritization, a novel two-phase approach for the Arabic Text Diacritization task. PTCAD comprises a pre-finetuning phase and a finetuning phase, treating Arabic Text Diacritization as a token classification task for pre-trained models. The effectiveness of PTCAD is demonstrated through evaluations on two benchmark datasets derived from the Tashkeela dataset, where it achieves state-of-the-art results, including a 20\% reduction in Word Error Rate (WER) compared to existing benchmarks and superior performance over GPT-4 in ATD tasks.


title: A Deep Learning Representation of Spatial Interaction Model for Resilient Spatial Planning of Community Business Clusters

abstract: Existing Spatial Interaction Models (SIMs) are limited in capturing the complex and context-aware interactions between business clusters and trade areas. To address the limitation, we propose a SIM-GAT model to predict spatiotemporal visitation flows between community business clusters and their trade areas. The model innovatively represents the integrated system of business clusters, trade areas, and transportation infrastructure within an urban region using a connected graph. Then, a graph-based deep learning model, i.e., Graph AttenTion network (GAT), is used to capture the complexity and interdependencies of business clusters. We developed this model with data collected from the Miami metropolitan area in Florida. We then demonstrated its effectiveness in capturing varying attractiveness of business clusters to different residential neighborhoods and across scenarios with an eXplainable AI approach. We contribute a novel method supplementing conventional SIMs to predict and analyze the dynamics of inter-connected community business clusters. The analysis results can inform data-evidenced and place-specific planning strategies helping community business clusters better accommodate their customers across scenarios, and hence improve the resilience of community businesses.


title: FairQ: Fair and Fast Rate Allocation in Data Centers

abstract: The peculiar congestion patterns in data centers are caused by the bursty and composite nature of traffic, the small bandwidth-delay product, and the tiny switch buffers. It is not practical to modify TCP to adapt to data centers, especially in public clouds where multiple congestion control protocols coexist. In this work, we design a switch-based method to address such congestion issues; our approach does not require any modification to TCP, which enables easy and seamless deployment in public data centers via switch software update. We first present a simple analysis to demonstrate the stability and effectiveness of the scheme, and then we discuss a hardware NetFPGA switch-based prototype. The experimental results from real deployments in a small testbed cluster show the effectiveness of our approach.


title: Graph Learning-based Fleet Scheduling for Urban Air Mobility under Operational Constraints, Varying Demand & Uncertainties

abstract: This paper develops a graph reinforcement learning approach to online planning of the schedule and destinations of electric aircraft that comprise an urban air mobility (UAM) fleet operating across multiple vertiports. This fleet scheduling problem is formulated to consider time-varying demand, constraints related to vertiport capacity, aircraft capacity and airspace safety guidelines, uncertainties related to take-off delay, weather-induced route closures, and unanticipated aircraft downtime. Collectively, such a formulation presents greater complexity, and potentially increased realism, than in existing UAM fleet planning implementations. To address these complexities, a new policy architecture is constructed, primary components of which include: graph capsule conv-nets for encoding vertiport and aircraft-fleet states both abstracted as graphs; transformer layers encoding time series information on demand and passenger fare; and a Multi-head Attention-based decoder that uses the encoded information to compute the probability of selecting each available destination for an aircraft. Trained with Proximal Policy Optimization, this policy architecture shows significantly better performance in terms of daily averaged profits on unseen test scenarios involving 8 vertiports and 40 aircraft, when compared to a random baseline and genetic algorithm-derived optimal solutions, while being nearly 1000 times faster in execution than the latter.


title: Answer Retrieval in Legal Community Question Answering

abstract: The task of answer retrieval in the legal domain aims to help users to seek relevant legal advice from massive amounts of professional responses. Two main challenges hinder applying existing answer retrieval approaches in other domains to the legal domain: (1) a huge knowledge gap between lawyers and non-professionals; and (2) a mix of informal and formal content on legal QA websites. To tackle these challenges, we propose CE_FS, a novel cross-encoder (CE) re-ranker based on the fine-grained structured inputs. CE_FS uses additional structured information in the CQA data to improve the effectiveness of cross-encoder re-rankers. Furthermore, we propose LegalQA: a real-world benchmark dataset for evaluating answer retrieval in the legal domain. Experiments conducted on LegalQA show that our proposed method significantly outperforms strong cross-encoder re-rankers fine-tuned on MS MARCO. Our novel finding is that adding the question tags of each question besides the question description and title into the input of cross-encoder re-rankers structurally boosts the rankers' effectiveness. While we study our proposed method in the legal domain, we believe that our method can be applied in similar applications in other domains.


title: Entity Recognition from Colloquial Text

abstract: Extraction of concepts and entities of interest from non-formal texts such as social media posts and informal communication is an important capability for decision support systems in many domains, including healthcare, customer relationship management, and others. Despite the recent advances in training large language models for a variety of natural language processing tasks, the developed models and techniques have mainly focused on formal texts and do not perform as well on colloquial data, which is characterized by a number of distinct challenges. In our research, we focus on the healthcare domain and investigate the problem of symptom recognition from colloquial texts by designing and evaluating several training strategies for BERT-based model fine-tuning. These strategies are distinguished by the choice of the base model, the training corpora, and application of term perturbations in the training data. The best-performing models trained using these strategies outperform the state-of-the-art specialized symptom recognizer by a large margin. Through a series of experiments, we have found specific patterns of model behavior associated with the training strategies we designed. We present design principles for training strategies for effective entity recognition in colloquial texts based on our findings.


title: Are Language Models More Like Libraries or Like Librarians? Bibliotechnism, the Novel Reference Problem, and the Attitudes of LLMs

abstract: Are LLMs cultural technologies like photocopiers or printing presses, which transmit information but cannot create new content? A challenge for this idea, which we call bibliotechnism, is that LLMs generate novel text. We begin with a defense of bibliotechnism, showing how even novel text may inherit its meaning from original human-generated text. We then argue that bibliotechnism faces an independent challenge from examples in which LLMs generate novel reference, using new names to refer to new entities. Such examples could be explained if LLMs were not cultural technologies but had beliefs, desires, and intentions. According to interpretationism in the philosophy of mind, a system has such attitudes if and only if its behavior is well explained by the hypothesis that it does. Interpretationists may hold that LLMs have attitudes, and thus have a simple solution to the novel reference problem. We emphasize, however, that interpretationism is compatible with very simple creatures having attitudes and differs sharply from views that presuppose these attitudes require consciousness, sentience, or intelligence (topics about which we make no claims).


title: LPAC: Learnable Perception-Action-Communication Loops with Applications to Coverage Control

abstract: Coverage control is the problem of navigating a robot swarm to collaboratively monitor features or a phenomenon of interest not known a priori. The problem is challenging in decentralized settings with robots that have limited communication and sensing capabilities. We propose a learnable Perception-Action-Communication (LPAC) architecture for the problem, wherein a convolution neural network (CNN) processes localized perception; a graph neural network (GNN) facilitates robot communications; finally, a shallow multi-layer perceptron (MLP) computes robot actions. The GNN enables collaboration in the robot swarm by computing what information to communicate with nearby robots and how to incorporate received information. Evaluations show that the LPAC models -- trained using imitation learning -- outperform standard decentralized and centralized coverage control algorithms. The learned policy generalizes to environments different from the training dataset, transfers to larger environments with more robots, and is robust to noisy position estimates. The results indicate the suitability of LPAC architectures for decentralized navigation in robot swarms to achieve collaborative behavior.


title: A Good Score Does not Lead to A Good Generative Model

abstract: Score-based Generative Models (SGMs) is one leading method in generative modeling, renowned for their ability to generate high-quality samples from complex, high-dimensional data distributions. The method enjoys empirical success and is supported by rigorous theoretical convergence properties. In particular, it has been shown that SGMs can generate samples from a distribution that is close to the ground-truth if the underlying score function is learned well, suggesting the success of SGM as a generative model. We provide a counter-example in this paper. Through the sample complexity argument, we provide one specific setting where the score function is learned well. Yet, SGMs in this setting can only output samples that are Gaussian blurring of training data points, mimicking the effects of kernel density estimation. The finding resonates a series of recent finding that reveal that SGMs can demonstrate strong memorization effect and fail to generate.


title: Transportation Marketplace Rate Forecast Using Signature Transform

abstract: Freight transportation marketplace rates are typically challenging to forecast accurately. In this work, we have developed a novel statistical technique based on signature transforms and have built a predictive and adaptive model to forecast these marketplace rates. Our technique is based on two key elements of the signature transform: one being its universal nonlinearity property, which linearizes the feature space and hence translates the forecasting problem into linear regression, and the other being the signature kernel, which allows for comparing computationally efficiently similarities between time series data. Combined, it allows for efficient feature generation and precise identification of seasonality and regime switching in the forecasting process. An algorithm based on our technique has been deployed by Amazon trucking operations, with far superior forecast accuracy and better interpretability versus commercially available industry models, even during the COVID-19 pandemic and the Ukraine conflict. Furthermore, our technique is able to capture the influence of business cycles and the heterogeneity of the marketplace, improving prediction accuracy by more than fivefold, with an estimated annualized saving of \$50MM.


title: User Embedding Model for Personalized Language Prompting

abstract: Modeling long histories plays a pivotal role in enhancing recommendation systems, allowing to capture user's evolving preferences, resulting in more precise and personalized recommendations. In this study we tackle the challenges of modeling long user histories for preference understanding in natural language. Specifically, we introduce a new User Embedding Module (UEM) that efficiently processes user history in free-form text by compressing and representing them as embeddings, to use them as soft prompts to a LM. Our experiments demonstrate the superior capability of this approach in handling significantly longer histories compared to conventional text based prompting methods, yielding substantial improvements in predictive performance. The main contribution of this research is to demonstrate the ability to bias language models with user signals represented as embeddings.


title: A New Class of Runge-Kutta Methods for Nonlinearly Partitioned Systems

abstract: This work introduces a new class of Runge-Kutta methods for solving nonlinearly partitioned initial value problems. These new methods, named nonlinearly partitioned Runge-Kutta (NPRK), generalize existing additive and component-partitioned Runge-Kutta methods, and allow one to distribute different types of implicitness within nonlinear terms. The paper introduces the NPRK framework and discusses order conditions, linear stability, and the derivation of implicit-explicit and implicit-implicit NPRK integrators. The paper concludes with numerical experiments that demonstrate the utility of NPRK methods for solving viscous Burger's and the gray thermal radiation transport equations.


title: Modality-Aware Representation Learning for Zero-shot Sketch-based Image Retrieval

abstract: Zero-shot learning offers an efficient solution for a machine learning model to treat unseen categories, avoiding exhaustive data collection. Zero-shot Sketch-based Image Retrieval (ZS-SBIR) simulates real-world scenarios where it is hard and costly to collect paired sketch-photo samples. We propose a novel framework that indirectly aligns sketches and photos by contrasting them through texts, removing the necessity of access to sketch-photo pairs. With an explicit modality encoding learned from data, our approach disentangles modality-agnostic semantics from modality-specific information, bridging the modality gap and enabling effective cross-modal content retrieval within a joint latent space. From comprehensive experiments, we verify the efficacy of the proposed model on ZS-SBIR, and it can be also applied to generalized and fine-grained settings.


title: CTNeRF: Cross-Time Transformer for Dynamic Neural Radiance Field from Monocular Video

abstract: The goal of our work is to generate high-quality novel views from monocular videos of complex and dynamic scenes. Prior methods, such as DynamicNeRF, have shown impressive performance by leveraging time-varying dynamic radiation fields. However, these methods have limitations when it comes to accurately modeling the motion of complex objects, which can lead to inaccurate and blurry renderings of details. To address this limitation, we propose a novel approach that builds upon a recent generalization NeRF, which aggregates nearby views onto new viewpoints. However, such methods are typically only effective for static scenes. To overcome this challenge, we introduce a module that operates in both the time and frequency domains to aggregate the features of object motion. This allows us to learn the relationship between frames and generate higher-quality images. Our experiments demonstrate significant improvements over state-of-the-art methods on dynamic scene datasets. Specifically, our approach outperforms existing methods in terms of both the accuracy and visual quality of the synthesized views. Our code is available on https://github.com/xingy038/CTNeRF.


title: Redox Poise during Rhodospirillum rubrum Phototrophic Growth Drives Large-scale Changes in Macromolecular Synthesis Pathways

abstract: During photoheterotrophic growth on organic substrates, purple nonsulfur photosynthetic bacteria like Rhodospirillum rubrum can acquire electrons by multiple means, including oxidation of organic substrates, oxidation of inorganic electron donors (e.g. H$_2$), and by reverse electron flow from the photosynthetic electron transport chain. These electrons are stored in the form of reduced electron-carrying cofactors (e.g. NAD(P)H and ferredoxin). The ratio of oxidized to reduced redox cofactors (e.g. ratio of NAD(P)+:NAD(P)H), or 'redox poise` is difficult to understand or predict, as are the the cellular processes for dissipating these reducing equivalents. Using physics-based models that capture mass action kinetics consistent with the thermodynamics of reactions and pathways, a range of redox conditions for heterophototrophic growth are evaluated, from conditions in which the NADP+/NADPH levels approached thermodynamic equilibrium to conditions in which the NADP+/NADPH ratio is far above the typical physiological values. Modeling results together with experimental measurements of macro molecule levels (DNA, RNA, proteins and fatty acids) indicate that the redox poise of the cell results in large-scale changes in the activity of biosynthetic pathways. Phototrophic growth is less coupled than expected to producing reductant, NAD(P)H, by reverse electron flow from the quinone pool. Instead, it primarily functions for ATP production (photophosphorylation), which drives reduction even when NADPH levels are relatively low compared to NADP+. The model, in agreement with experimental measurements of macromolecule ratios of cells growing on different carbon substrates, indicate that the dynamics of nucleotide versus lipid and protein production is likely a significant mechanism of balancing oxidation and reduction in the cell.


title: Estimands and cumulative incidence function regression in clinical trials: some new results on interpretability and robustness

abstract: Regression analyses based on transformations of cumulative incidence functions are often adopted when modeling and testing for treatment effects in clinical trial settings involving competing and semi-competing risks. Common frameworks include the Fine-Gray model and models based on direct binomial regression. Using large sample theory we derive the limiting values of treatment effect estimators based on such models when the data are generated according to multiplicative intensity-based models, and show that the estimand is sensitive to several process features. The rejection rates of hypothesis tests based on cumulative incidence function regression models are also examined for null hypotheses of different types, based on which a robustness property is established. In such settings supportive secondary analyses of treatment effects are essential to ensure a full understanding of the nature of treatment effects. An application to a palliative study of individuals with breast cancer metastatic to bone is provided for illustration.


title: Microgravity Mass Gauging with Capacitance Sensing: Sensor Design and Experiment

abstract: The use of capacitance sensors for fuel mass gauging has been in consideration since the early days of manned space flight. However, certain difficulties arise when considering tanks in microgravity environments. Surface tension effects lead to fluid wetting of the interior surface of the tank, leaving large interior voids, while thrust/settling effects can lead to dispersed two-phase mixtures. With the exception of Electrical Capacitance Volume Tomography (ECVT), few sensing technologies are well suited for measuring annular, stratified, and dispersed fluid configurations as well as handling the additional complications of mechanical installation inside a spherical tank. To optimize the design of future ECVT based spherical tank mass gauging sensors, different electrode plate layouts are considered, and their effect on the performance of the sensor as a fuel mass gauge is analyzed through the use of imaging and averaging techniques.


title: Immersed boundary method for dynamic simulation of polarizable colloids of arbitrary shape in explicit ion electrolytes

abstract: We develop a computational method for modeling electrostatic interactions of arbitrarily-shaped, polarizable objects on colloidal length scales, including colloids/nanoparticles, polymers, and surfactants, dispersed in explicit ion electrolytes and nonionic solvents. Our method computes the nonuniform polarization charge distribution induced in a colloidal particle by both externally applied electric fields and local electric fields arising from other charged objects in the dispersion. This leads to expressions for electrostatic energies, forces, and torques that enable efficient molecular dynamics and Brownian dynamics simulations of colloidal dispersions in electrolytes, which can be harnessed to accurately predict structural and transport properties. We describe an implementation in which colloidal particles are modeled as rigid composites of small spherical beads that tessellate the surface of the particle. The electrostatics calculations are accelerated using a spectrally-accurate particle-mesh-Ewald technique implemented on a graphics processing unit (GPU) and regularized such that the electrostatic calculations are well-defined even for overlapping bodies. We demonstrate the effectiveness of this approach through a series of calculations, including the induced dipole moments and forces for one, two, and lattices of spherical colloids in an electric field; the induced dipole moment and torque for anisotropic particles in an electric field; the equilibrium distribution of ions in the double layer around charged colloids; the dynamics of charged colloids; and ions in the double layer around a polarizable colloid exposed to an electric field.


title: Airline recovery problem under disruptions: A review

abstract: In practice, both passenger and cargo flights are vulnerable to unexpected factors, such as adverse weather, airport flow control, crew absence, unexpected aircraft maintenance, and pandemic, which can cause disruptions in flight schedules. Thus, managers need to reallocate relevant resources to ensure that the airport can return to normal operations on the basis of minimum cost, which is the airline recovery problem. Airline recovery is an active research area, with a lot of publications in recent years. To better summarize the progress of airline recovery, first of all, keywords are chosen to search the relevant studies, then software is used to analyze the existing studies in terms of the number of papers, keywords, and sources. Secondly, the airline recovery problem is divided into two categories, namely Passenger-Oriented Airline Recovery Problem (POARP) and Cargo-Oriented Airline Recovery Problem (COARP). In POARP, the existing studies are classified according to recovery strategies, including common recovery strategies, cruise speed control strategy, flexible aircraft maintenance strategy, multi-modal transportation strategy, passenger-centric recovery strategy, and clubbing of flights strategy. Moreover, the POARP is discussed from the perspectives of disruption types, recovery strategies, problem types, objective functions, and solution methods. Thirdly, POARP and COARP are compared from the perspectives of timeliness, subjectivity, flexibility, transferability, and combinability. Finally, the conclusions are drawn and future study directions are provided. For future studies, it is recommended to conduct more in-depth research on dynamic and real-time recovery, incorporating human factors into the modeling, multi-modal transportation coupling, optimization of other airport processes, combination of robust scheduling and airline recovery, and optimization algorithm improvement.


title: An Analysis of User Behaviors for Objectively Evaluating Spoken Dialogue Systems

abstract: Establishing evaluation schemes for spoken dialogue systems is important, but it can also be challenging. While subjective evaluations are commonly used in user experiments, objective evaluations are necessary for research comparison and reproducibility. To address this issue, we propose a framework for indirectly but objectively evaluating systems based on users' behaviors. In this paper, to this end, we investigate the relationship between user behaviors and subjective evaluation scores in social dialogue tasks: attentive listening, job interview, and first-meeting conversation. The results reveal that in dialogue tasks where user utterances are primary, such as attentive listening and job interview, indicators like the number of utterances and words play a significant role in evaluation. Observing disfluency also can indicate the effectiveness of formal tasks, such as job interview. On the other hand, in dialogue tasks with high interactivity, such as first-meeting conversation, behaviors related to turn-taking, like average switch pause length, become more important. These findings suggest that selecting appropriate user behaviors can provide valuable insights for objective evaluation in each social dialogue task.


title: Real-time and Continuous Turn-taking Prediction Using Voice Activity Projection

abstract: A demonstration of a real-time and continuous turn-taking prediction system is presented. The system is based on a voice activity projection (VAP) model, which directly maps dialogue stereo audio to future voice activities. The VAP model includes contrastive predictive coding (CPC) and self-attention transformers, followed by a cross-attention transformer. We examine the effect of the input context audio length and demonstrate that the proposed system can operate in real-time with CPU settings, with minimal performance degradation.


title: On compactness of products of Toeplitz operators

abstract: We study compactness of product of Toeplitz operators with symbols continuous on the closure of the polydisc in terms of behavior of the symbols on the boundary. For certain classes of symbols $f$ and $g$, we show that $T_fT_g$ is compact if and only if $fg$ vanishes on the boundary. We provide examples to show that for more general symbols, the vanishing of $fg$ on the whole polydisc might not imply the compactness of $T_fT_g$. On the other hand, the reverse direction is closely related to the zero product problem for Toeplitz operators on the unit disc, which is still open.


title: Superconductivity in Ternary Zirconium Telluride Zr6MTe2 with 3d Transition Metals

abstract: We report the synthesis, electronic properties, and electronic states of Zr6MTe2 (M = Cr, Mn, Fe, and Co), which is isostructural to a recently discovered superconductor family Sc6MTe2. Based on the electrical resistivity and heat capacity data measured at low temperatures, Zr6FeTe2 is found to show bulk superconductivity below Tc = 0.76 K. Zr6CoTe2 also exhibited zero resistivity due to superconductivity below 0.13 K. In contrast, Zr6+dMn1-dTe2 does not show superconductivity but instead exhibits strong magnetism, which most likely prevents the formation of superconductivity in this material. The electronic properties and electronic states of Zr6MTe2 are discussed in comparison with those of Sc6MTe2.


title: A note on uniform ultrafilters in a choiceless context

abstract: In \cite{HK}, Hayut and Karagila asked some questions about uniform ultrafilters in a choiceless context. We provide several answers to their questions.


title: Knowledge-aware Graph Transformer for Pedestrian Trajectory Prediction

abstract: Predicting pedestrian motion trajectories is crucial for path planning and motion control of autonomous vehicles. Accurately forecasting crowd trajectories is challenging due to the uncertain nature of human motions in different environments. For training, recent deep learning-based prediction approaches mainly utilize information like trajectory history and interactions between pedestrians, among others. This can limit the prediction performance across various scenarios since the discrepancies between training datasets have not been properly incorporated. To overcome this limitation, this paper proposes a graph transformer structure to improve prediction performance, capturing the differences between the various sites and scenarios contained in the datasets. In particular, a self-attention mechanism and a domain adaption module have been designed to improve the generalization ability of the model. Moreover, an additional metric considering cross-dataset sequences is introduced for training and performance evaluation purposes. The proposed framework is validated and compared against existing methods using popular public datasets, i.e., ETH and UCY. Experimental results demonstrate the improved performance of our proposed scheme.


title: Electrostatics of Salt-Dependent Reentrant Phase Behaviors Highlights Diverse Roles of ATP in Biomolecular Condensates

abstract: Liquid-liquid phase separation (LLPS) involving intrinsically disordered protein regions (IDRs) is a major physical mechanism for biological membraneless compartmentalization. The multifaceted electrostatic effects in these biomolecular condensates are exemplified here by experimental and theoretical investigations of the different salt- and ATP-dependent LLPSs of an IDR of messenger RNA-regulating protein Caprin1 and its phosphorylated variant pY-Caprin1, exhibiting, e.g., reentrant behaviors in some instances but not others. Experimental data are rationalized by physical modeling using analytical theory, molecular dynamics, and polymer field-theoretic simulations, indicating in general that interchain salt bridges enhance LLPS of polyelectrolytes such as Caprin1 and that the high valency of ATP-magnesium is a significant factor for its colocalization with the condensed phases, as similar trends are observed for several other IDRs. Our findings underscore the role of biomolecular condensates in modulating ion concentrations and its functional ramifications.


title: Feature Network Methods in Machine Learning and Applications

abstract: A machine learning (ML) feature network is a graph that connects ML features in learning tasks based on their similarity. This network representation allows us to view feature vectors as functions on the network. By leveraging function operations from Fourier analysis and from functional analysis, one can easily generate new and novel features, making use of the graph structure imposed on the feature vectors. Such network structures have previously been studied implicitly in image processing and computational biology. We thus describe feature networks as graph structures imposed on feature vectors, and provide applications in machine learning. One application involves graph-based generalizations of convolutional neural networks, involving structured deep learning with hierarchical representations of features that have varying depth or complexity. This extends also to learning algorithms that are able to generate useful new multilevel features. Additionally, we discuss the use of feature networks to engineer new features, which can enhance the expressiveness of the model. We give a specific example of a deep tree-structured feature network, where hierarchical connections are formed through feature clustering and feed-forward learning. This results in low learning complexity and computational efficiency. Unlike "standard" neural features which are limited to modulated (thresholded) linear combinations of adjacent ones, feature networks offer more general feedforward dependencies among features. For example, radial basis functions or graph structure-based dependencies between features can be utilized.


title: Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement

abstract: Ensuring the safety of autonomous vehicles (AVs) is the key requisite for their acceptance in society. This complexity is the core challenge in formally proving their safety conditions with AI-based black-box controllers and surrounding objects under various traffic scenarios. This paper describes our strategy and experience in modelling, deriving, and proving the safety conditions of AVs with the Event-B refinement mechanism to reduce complexity. Our case study targets the state-of-the-art model of goal-aware responsibility-sensitive safety to argue over interactions with surrounding vehicles. We also employ the Simplex architecture to involve advanced black-box AI controllers. Our experience has demonstrated that the refinement mechanism can be effectively used to gradually develop the complex system over scenario variations.


title: WARP: The Data Reduction Pipeline for the WINERED spectrograph

abstract: We present a data reduction pipeline written in Python for data obtained with the near-infrared cross-dispersed echelle spectrograph, WINERED, which yields a 0.91$-$1.35 $\mu$m spectrum with the resolving power of $R_{\text{max}} \equiv \lambda / \Delta \lambda = 28,000$ or 70,000 depending on the observing mode. The pipeline was developed to efficiently extract the spectrum from the raw data with high quality. It comprises two modes: the calibration and the science mode. The calibration mode automatically produces the flat-fielding image, bad pixel map, echellogram distortion map and the dispersion solution from the set of the calibration data. Using calibration images and parameters, the science data of astronomical objects can be reduced automatically using the science mode. The science mode is also used for the real-time quick look at the data during observations. An example of the spectra reduced with WARP is presented. The effect of the highly inclined slit image on the spectral resolution is discussed.


title: Einstein gravity as the thermal equilibrium state of a nonminimally coupled scalar field geometry

abstract: We test ideas of the recently proposed first-order thermodynamics of scalar-tensor gravity using an exact geometry sourced by a conformally coupled scalar field. We report a non-monotonic behaviour of the effective ``temperature of gravity'' not observed before and due to a new term in the equation describing the relaxation of gravity toward its state of equilibrium, i.e., Einstein gravity, showing a richer range of thermal behaviours of modified gravity than previously thought.


title: PBW theory for Bosonic extensions of quantum groups

abstract: In this paper, we develop the PBW theory for the bosonic extension $\qbA{\g}$ of a quantum group $\mathcal{U}_q(\g)$ of \emph{any} finite type. When $\g$ belongs to the class of \emph{simply-laced type}, the algebra $\qbA{\g}$ arises from the quantum Grothendieck ring of the Hernandez-Leclerc category over quantum affine algebras of untwisted affine types. We introduce and investigate a symmetric bilinear form $\pair{\ , \ }$ on $\qbA{\g}$ which is invariant under the braid group actions $\bT_i$ on $\qbA{\g}$, and study the adjoint operators $\Ep_{i,p}$ and $\Es_{i,p}$ with respect to $\pair{\ , \ }$. It turns out that the adjoint operators $\Ep_{i,p}$ and $\Es_{i,p}$ are analogues of the $q$-derivations $e_i'$ and $\es_i$ on the negative half $\calU_q^-(\g)$ of $\calU_q(\g)$. Following this, we introduce a new family of subalgebras denoted as $\qbA{\mathfrak{g}}(\ttb)$ in $\qbA{\mathfrak{g}}$. These subalgebras are defined for any elements $\ttb$ in the positive submonoid $\bg^+$ of the (generalized) braid group $\ttB$ of $\g$. We prove that $\qbA{\mathfrak{g}}(\ttb)$ exhibits PBW root vectors and PBW bases defined by $\bT_\ii$ for any sequence $\ii$ of $\ttb$. The PBW root vectors satisfy a Levendorskii-Soibelman formula and the PBW bases are orthogonal with respect to $\pair{\ , \ }$. The algebras $\qbA{\g} (\ttb)$ can be understood as a natural extension of quantum unipotent coordinate rings.


title: From law of the iterated logarithm to Zolotarev distance for supercritical branching processes in random environment

abstract: Consider $(Z_n)_{n\geq0}$ a supercritical branching process in an independent and identically distributed environment. Based on some recent development in martingale limit theory, we established law of the iterated logarithm, strong law of large numbers, invariance principle and optimal convergence rate in the central limit theorem under Zolotarev and Wasserstein distances of order $p\in(0,2]$ for the process $(\log Z_n)_{n\geq0}$.


title: Real-time Impurity Solver Using Grassmann Time-Evolving Matrix Product Operators

abstract: An emergent and promising tensor-network-based impurity solver is to represent the path integral as a matrix product state, where the bath is analytically integrated out using Feynman-Vernon influence functional. Here we present an approach to calculate the equilibrium impurity spectral function based on the recently proposed Grassmann time-evolving matrix product operators method. The central idea is to perform a quench from a separable impurity-bath initial state as in the non-equilibrium scenario. The retarded Green's function $G(t+t_0, t'+t_0)$ is then calculated after an equilibration time $t_0$ such that the impurity and bath are approximately in thermal equilibrium. There are two major advantages of this method. First, since we focus on real-time dynamics, we do not need to perform the numerically ill-posed analytic continuation in the continuous-time quantum Monte Carlo case that relies on imaginary-time evolution. Second, the entanglement growth of the matrix product states in real-time calculations is observed to be much slower than that in imaginary-time calculations, leading to a significant improvement in numerical efficiency. The accuracy of this method is demonstrated in the single-orbital Anderson impurity model and benchmarked against the continuous-time quantum Monte Carlo method.


title: Attendre: Wait To Attend By Retrieval With Evicted Queries in Memory-Based Transformers for Long Context Processing

abstract: As LLMs have become capable of processing more complex types of inputs, researchers have recently studied how to efficiently and affordably process possibly arbitrarily long sequences. One effective approach is to use a FIFO memory to store keys and values of an attention sublayer from past chunks to allow subsequent queries to attend. However, this approach requires a large memory and/or takes into the consideration the specific LM architecture. Moreover, due to the causal nature between the key-values in prior context and the queries at present, this approach cannot be extended to bidirectional attention such as in an encoder-decoder or PrefixLM decoder-only architecture. In this paper, we propose to use eviction policies, such as LRA and LFA, to reduce the memory size and adapt to various architectures, and we also propose the Attendre layer, a wait-to-attend mechanism by retrieving the key-value memory (K/V memory) with evicted queries in the query memory (Q memory). As a first step, we evaluate this method in the context length extension setup using the TriviaQA reading comprehension task, and show the effectiveness of the approach.


title: Field-free ultrafast magnetization reversal of a nanodevice by a chirped current pulse via spin-orbit torque

abstract: We investigated the magnetization reversal of a perpendicularly magnetized nanodevice using a chirped current pulse (CCP) via spin-orbit torques (SOT). Our findings demonstrate that both the field-like (FL) and damping-like (DL) components of SOT in CCP can efficiently induce ultrafast magnetization reversal without any symmetry-breaking means. For a wide frequency range of the CCP, the minimal current density obtained is significantly smaller compared to the current density of conventional SOT-reversal. This ultrafast reversal is due to the CCP triggering enhanced energy absorption (emission) of the magnetization from (to) the FL- and DL-components of SOT before (after) crossing over the energy barrier. We also verified the robustness of the CCP-driven magnetization reversal at room temperature. Moreover, this strategy can be extended to switch the magnetic states of perpendicular synthetic antiferromagnetic (SAF) and ferrimagnetic (SFi) nanodevices. Therefore, these studies enrich the basic understanding of field-free SOT-reversal and provide a novel way to realize ultrafast SOT-MRAM devices with various free layer designs: ferromagnetic, SAF, and SFi.


title: Multi-User Chat Assistant (MUCA): a Framework Using LLMs to Facilitate Group Conversations

abstract: Recent advancements in large language models (LLMs) have provided a new avenue for chatbot development, while most existing research has primarily centered on single-user chatbots that focus on deciding "What" to answer after user inputs. In this paper, we identified that multi-user chatbots have more complex 3W design dimensions -- "What" to say, "When" to respond, and "Who" to answer. Additionally, we proposed Multi-User Chat Assistant (MUCA), which is an LLM-based framework for chatbots specifically designed for group discussions. MUCA consists of three main modules: Sub-topic Generator, Dialog Analyzer, and Utterance Strategies Arbitrator. These modules jointly determine suitable response contents, timings, and the appropriate recipients. To make the optimizing process for MUCA easier, we further propose an LLM-based Multi-User Simulator (MUS) that can mimic real user behavior. This enables faster simulation of a conversation between the chatbot and simulated users, making the early development of the chatbot framework much more efficient. MUCA demonstrates effectiveness, including appropriate chime-in timing, relevant content, and improving user engagement, in group conversations with a small to medium number of participants, as evidenced by case studies and experimental results from user studies.


title: Exact Thresholds for Noisy Non-Adaptive Group Testing

abstract: In recent years, the mathematical limits and algorithmic bounds for probabilistic group testing having become increasingly well-understood, with exact asymptotic thresholds now being known in general scaling regimes for the noiseless setting. In the noisy setting where each test outcome is flipped with constant probability, there have been similar developments, but the overall understanding has lagged significantly behind the noiseless setting. In this paper, we substantially narrow this gap by deriving exact asymptotic thresholds for the noisy setting under two widely-studied random test designs: i.i.d. Bernoulli and near-constant tests-per-item. These thresholds are established by combining components of an existing information-theoretic threshold decoder with a novel analysis of maximum-likelihood decoding (upper bounds), and deriving a novel set of impossibility results by analyzing certain failure events for optimal maximum-likelihood decoding (lower bounds). Our results show that existing algorithmic upper bounds for the noisy setting are strictly suboptimal, and leave open the interesting question of whether our thresholds can be attained using computationally efficient algorithms.

categories: cs.IT cs.DM math.IT math.PR math.ST stat.TH


title: Cyclic and Negacyclic Sum-Rank Codes

abstract: Sum-rank codes have known applications in the multishot network coding, the distributed storage and the construction of space-time codes. U. Mart\'{\i}nez-Pe\~{n}as introduced the cyclic-skew-cyclic sum-rank codes and proposed the BCH bound on the cyclic-skew-cyclic sum-rank codes in his paper published in IEEE Trans. Inf. Theory, vol. 67, no. 8, 2021. Afterwards, many sum-rank BCH codes with lower bounds on their dimensions and minimum sum-rank distances were constructed. Sum-rank Hartmann-Tzeng bound and sum-rank Roos bound on cyclic-skew-cyclic codes were proposed and proved by G. N. Alfarano, F. J. Lobillo, A. Neri, and A. Wachter-Zeh in 2022. In this paper, cyclic, negacyclic and constacyclic sum-rank codes are introduced and a direct construction of cyclic, negacyclic and constacyclic sum-rank codes of the matrix size $m \times m$ from cyclic, negacyclic and constacyclic codes over ${\bf F}_{q^m}$ in the Hamming metric is proposed. The cyclic-skew-cylic sum-rank codes are special cyclic sum-rank codes. In addition, BCH and Hartmann-Tzeng bounds for a type of cyclic sum-rank codes are developed. Specific constructions of cyclic, negacyclic and constacyclic sum-rank codes with known dimensions and controllable minimum sum-rank distances are proposed. Moreover, many distance-optimal binary sum-rank codes and an infinite family of distance-optimal binary cyclic sum-rank codes with minimum sum-rank distance four are constructed. This is the first infinite family of distance-optimal sum-rank codes with minimum sum-rank distance four in the literature.


title: Thermodynamics of Ionic Thermoelectrics for Low-Grade Heat Harvesting

abstract: More than half of the waste heat rejected into the environment has temperatures lower than 100 $^\circ C$, which accounts for nearly 85 PWh/year worldwide. Efficiently harvesting low-grade heat could be a promising step toward carbon neutrality. Recent developments of ionic thermoelectrics (i-TE) with giant thermopower have provoked intensive interest in using ions as energy and charge carriers for efficient thermal energy harvesting. However, current literature primarily focuses on improving thermopower only, while the ion transport and thermodynamics affecting the efficiencies have been largely neglected. This review article clarifies the fundamentals of electrochemistry and thermodynamics for developing highly efficient i-TE devices. Two major types of i-TE devices, thermo-ionic capacitors (TIC) and thermogalvanic cells (TGC), are discussed in detail. The article analyzes the methods of enhancing ionic thermopower in the literature by taking an entropic point of view. We also derived modified thermoelectric factor Z for both TICs and TGCs that fully incorporate the dynamics of ion transport and electrochemical reactions. Recent developments of hybrid devices showing improved efficiencies, power density, and multifunctionality are reviewed. Finally, we comment on the remaining challenges and provide an outlook on future directions.


title: Cited But Not Archived: Analyzing the Status of Code References in Scholarly Articles

abstract: One in five arXiv articles published in 2021 contained a URI to a Git Hosting Platform (GHP), which demonstrates the growing prevalence of GHP URIs in scholarly publications. However, GHP URIs are vulnerable to the same reference rot that plagues the Web at large. The disappearance of software hosting platforms, like Gitorious and Google Code, and the source code they contain threatens research reproducibility. Archiving the source code and development history available in GHPs enables the long-term reproducibility of research. Software Heritage and Web archives contain archives of GHP URI resources. However, are the GHP URIs referenced by scholarly publications contained within the Software Heritage and Web archive collections? We analyzed a dataset of GHP URIs extracted from scholarly publications to determine (1) is the URI still publicly available on the live Web?, (2) has the URI been archived by Software Heritage?, and (3) has the URI been archived by Web archives? Of all GHP URIs, we found that 93.98% were still publicly available on the live Web, 68.39% had been archived by Software Heritage, and 81.43% had been archived by Web archives.


title: Remarks on the stabilization of large-scale growth in the 2D Kuramoto-Sivashinsky equation

abstract: In this article, an elementary observation is made regarding the behavior of solutions to the two-dimensional curl-free Burgers equation which suggests the distinguished role played by the scalar divergence field in determining the dynamics of the solution. These observations inspire a new divergence-based regularity condition for the two-dimensional Kuramoto-Sivashinsky equation (KSE) that provides conceptual clarity to the nature of the potential blow-up mechanism for this system. The relation of this regularity criterion to the Ladyzhenskaya-Prodi-Serrin-type criterion for the KSE is also established, thus providing the basis for the development of an alternative framework of regularity criterion for this equation based solely on the low-mode behavior of its solutions. The article concludes by applying these ideas to identify a conceptually simple modification of KSE that yields globally regular solutions, as well as provide a straightforward verification of this regularity criterion to establish global regularity of solutions to the 2D Burgers-Sivashinsky equation. The proofs are direct, elementary, and concise.