title: Saturation of $k$-chains in the Boolean lattice

abstract: Given a set $X$, a collection $\mathcal{F} \subset \mathcal{P}(X)$ is said to be $k$-Sperner if it does not contain a chain of length $k+1$ under set inclusion and it is saturated if it is maximal with respect to this probability. Gerbner et al. proved that the smallest saturated $k$-Sperner system contains at least $2^{k/2-1}$ elements, and later, Morrison, Noel, and Scott showed that the smallest such set contains no more than $2^{0.976723k}$ elements. We improve both the upper and lower bounds, showing that the size of the smallest saturated $k$-Sperner system lies between $\sqrt{k}2^{k/2}$ and $2^{0.961471k}$.


title: Multi-organ Self-supervised Contrastive Learning for Breast Lesion Segmentation

abstract: Self-supervised learning has proven to be an effective way to learn representations in domains where annotated labels are scarce, such as medical imaging. A widely adopted framework for this purpose is contrastive learning and it has been applied to different scenarios. This paper seeks to advance our understanding of the contrastive learning framework by exploring a novel perspective: employing multi-organ datasets for pre-training models tailored to specific organ-related target tasks. More specifically, our target task is breast tumour segmentation in ultrasound images. The pre-training datasets include ultrasound images from other organs, such as the lungs and heart, and large datasets of natural images. Our results show that conventional contrastive learning pre-training improves performance compared to supervised baseline approaches. Furthermore, our pre-trained models achieve comparable performance when fine-tuned with only half of the available labelled data. Our findings also show the advantages of pre-training on diverse organ data for improving performance in the downstream task.


title: Constraints on new physics with (anti)neutrino-nucleon scattering data

abstract: New physics contributions to the (anti)neutrino-nucleon elastic scattering process can be constrained by precision measurements, with controlled Standard Model uncertainties. In a large class of new physics models, interactions involving charged leptons of different flavor can be related, and the large muon flavor component of accelerator neutrino beams can mitigate the lepton mass suppression that occurs in other low-energy measurements. We employ the recent high-statistics measurement of the cross section for $\bar{\nu}_\mu p \to \mu^+ n$ scattering on the hydrogen atom by MINERvA to place new confidence intervals on tensor and scalar neutrino-nucleon interactions: $\mathfrak{Re} C_T = -1^{+14}_{-13} \times 10^{-4}$, $|\mathfrak{Im} C_T| \le 1.3 \times 10^{-3}$, and $|\mathfrak{Im} C_S| = 45^{+13}_{-19} \times 10^{-3}$. These results represent a reduction in uncertainty by a factor of $2.1$, $3.1$, and $1.2$, respectively, compared to existing constraints from precision beta decay.


title: FanOutQA: A Multi-Hop, Multi-Document Question Answering Benchmark for Large Language Models

abstract: One type of question that is commonly found in day-to-day scenarios is ``fan-out'' questions, complex multi-hop, multi-document reasoning questions that require finding information about a large number of entities. However, there exist few resources to evaluate this type of question-answering capability among large language models. To evaluate complex reasoning in LLMs more fully, we present FanOutQA, a high-quality dataset of fan-out question-answer pairs and human-annotated decompositions with English Wikipedia as the knowledge base. We formulate three benchmark settings across our dataset and benchmark 7 LLMs, including GPT-4, LLaMA 2, Claude-2.1, and Mixtral-8x7B, finding that contemporary models still have room to improve reasoning over inter-document dependencies in a long context. We provide our dataset and open-source tools to run models to encourage evaluation at https://fanoutqa.com


title: Strategies and safety simulations for ultrasonic cervical spinal cord neuromodulation

abstract: Focused ultrasound spinal cord neuromodulation studies have demonstrated spinal cord neuromodulation in small animals. The safe and efficacious translation of these approaches to human scale requires an understanding of ultrasound propagation and heat deposition within the human spine. To address this, combined acoustic and thermal modelling was used to assess the pressure and heat distributions produced by a 500 kHz source focused to the C5/C6 level of the cervical spine via two approaches a) the posterior acoustic window between vertebral posterior arches, or b) the lateral intervertebral foramen from which the C6 spinal nerve exits. Pulse trains of 150 0.1 s pulses with a pulse repetition frequency of 0.33 Hz and free-field spatial peak pulse-averaged intensity of 10 W/cm^2 were simulated for the CT volumes of four subjects and for $\pm$10 mm translational and $\pm$10{\deg} rotational source positioning errors. Target pressures ranged between 20% and 70% of free-field spatial peak pressures with the posterior approach, and 20% and 100% with the lateral approach. When the source was optimally positioned with the posterior approach, peak spine heating values were below 1{\deg}C, but source mis-positioning resulted in bone heating up to 4{\deg}C. Heating with the lateral approach did not exceed 2{\deg}C within the mispositioning range. There were substantial inter-subject differences in target pressures and peak heating values. Target pressure varied three to four-fold between subjects, depending on approach, while peak heating varied approximately two-fold between subjects. This results in a near ten-fold range in the target pressure achieved per degree of peak heating between subjects. This highlights the importance of developing trans-spine ultrasound simulation software for the assurance of subject-specific safety and efficacy of focused ultrasound spinal cord therapies.


title: Masked Matrix Multiplication for Emergent Sparsity

abstract: Artificial intelligence workloads, especially transformer models, exhibit emergent sparsity in which computations perform selective sparse access to dense data. The workloads are inefficient on hardware designed for dense computations and do not map well onto sparse data representations. We build a vectorized and parallel matrix-multiplication system A X B = C that eliminates unnecessary computations and avoids branches based on a runtime evaluation of sparsity. We use a combination of dynamic code lookup to adapt to the specific sparsity encoded in the B matrix and preprocessing of sparsity maps of the A and B matrices to compute conditional branches once for the whole computation. For a wide range of sparsity, from 60% to 95% zeros, our implementation performs fewer instructions and increases performance when compared with Intel MKL's dense or sparse matrix multiply routines. Benefits can be as large as 2 times speedup and 4 times fewer instructions.


title: Stability of Optically Injected Two-State Quantum-Dot Lasers

abstract: Simultaneous two-state lasing is a unique property of semiconductor quantum-dot (QD) lasers. This not only changes steady-state characteristics of the laser device but also its dynamic response to perturbations. In this paper we investigate the dynamic stability of QD lasers in an external optical injection setup. Compared to conventional single-state laser devices, we find a strong suppression of dynamical instabilities in two-state lasers. Furthermore, depending on the frequency and intensity of the injected light, pronounced areas of bistability between both lasing frequencies appear, which can be employed for fast optical switching in all-optical photonic computing applications. These results emphasize the suitability of QD semiconductor lasers in future integrated optoelectronic systems where a high level of stability is required.


title: Efficient Wait-Free Linearizable Implementations of Approximate Bounded Counters Using Read-Write Registers

abstract: Relaxing the sequential specification of a shared object is a way to obtain an implementation with better performance compared to implementing the original specification. We apply this approach to the Counter object, under the assumption that the number of times the Counter is incremented in any execution is at most a known bound $m$. We consider the $k$-multiplicative-accurate Counter object, where each read operation returns an approximate value that is within a multiplicative factor $k$ of the accurate value. More specifically, a read is allowed to return an approximate value $x$ of the number $v$ of increments previously applied to the counter such that $v/k \le x \le vk$. We present three algorithms to implement this object in a wait-free linearizable manner in the shared memory model using read-write registers. All the algorithms have read operations whose worst-case step complexity improves exponentially on that for an exact $m$-bounded counter (which in turn improves exponentially on that for an exact unbounded counter). Two of the algorithms have read step complexity that is asymptotically optimal. The algorithms differ in their requirements on $k$, step complexity of the increment operation, and space complexity.


title: The Solar Neighborhood LI: A Variability Survey of Nearby M Dwarfs with Planets from Months to Decades with TESS and the CTIO/SMARTS 0.9 m Telescope

abstract: We present the optical photometric variability of 32 planet-hosting M dwarfs within 25 parsecs over timescales of months to decades. The primary goal of this project, ATLAS -- A Trail to Life Around Stars, is to follow the trail to life by revealing nearby M dwarfs with planets that are also "quiet", which may make them more amiable to habitability. There are 69 reported exoplanets orbiting the 32 stars discussed here, providing a rich sample of worlds for which environmental evaluations are needed. We examine the optical flux environments of these planets over month-long timescales for 23 stars observed by TESS, and find that 17 vary by less than 1% ($\sim$11 mmag). All 32 stars are being observed at the CTIO/SMARTS 0.9 m, with a median duration of 19.1 years of optical photometric data in the $VRI$ bands. We find over these extended timescales that six stars show optical flux variations less than 2%, 25 vary from 2--6% ($\sim$22-67 mmag), and only one, Proxima Centauri, varies by more than 6%. Overall, LHS 1678 exhibits the lowest optical variability levels measured over all timescales examined, thereby providing one of the most stable photometric environments among planets reported around M dwarfs within 25 parsecs. More than 600 of the nearest M dwarfs are being observed at the 0.9 m in the RECONS program that began in 1999, and many more planet hosts will undoubtedly be revealed, providing more destinations to be added to the ATLAS sample in the future.


title: Automated Resonance Identification in Nuclear Data Evaluation

abstract: Global and national efforts to deliver high-quality nuclear data to users have a broad impact across applications such as national security, reactor operation, basic science, medical fields, and more. Cross section evaluation is a large part this effort as it combines theory and experiment to produce suggested values and uncertainty for reaction probabilities. In most isotopes, the cross section exhibits resonant behavior in what is called the resonance region of incident neutron energy. Resonance region evaluation is a specialized type of nuclear data evaluation that can require significant, manual effort and months of time from expert scientists. In this article, non-convex, non-linear optimization methods are combined with concepts of inferential statistics to infer a set of optimized resonance models from experimental data in an automated manner that is not dependent on prior evaluation(s). This methodology aims to enhance the workflow of a resonance evaluator by minimizing time, effort, and prior biases while improving reproducibility and document-ability, addressing widely recognized challenges in the field.


title: DeiSAM: Segment Anything with Deictic Prompting

abstract: Large-scale, pre-trained neural networks have demonstrated strong capabilities in various tasks, including zero-shot image segmentation. To identify concrete objects in complex scenes, humans instinctively rely on deictic descriptions in natural language, i.e., referring to something depending on the context such as "The object that is on the desk and behind the cup.". However, deep learning approaches cannot reliably interpret such deictic representations due to their lack of reasoning capabilities in complex scenarios. To remedy this issue, we propose DeiSAM -- a combination of large pre-trained neural networks with differentiable logic reasoners -- for deictic promptable segmentation. Given a complex, textual segmentation description, DeiSAM leverages Large Language Models (LLMs) to generate first-order logic rules and performs differentiable forward reasoning on generated scene graphs. Subsequently, DeiSAM segments objects by matching them to the logically inferred image regions. As part of our evaluation, we propose the Deictic Visual Genome (DeiVG) dataset, containing paired visual input and complex, deictic textual prompts. Our empirical results demonstrate that DeiSAM is a substantial improvement over purely data-driven baselines for deictic promptable segmentation.


title: Fake Resume Attacks: Data Poisoning on Online Job Platforms

abstract: While recent studies have exposed various vulnerabilities incurred from data poisoning attacks in many web services, little is known about the vulnerability on online professional job platforms (e.g., LinkedIn and Indeed). In this work, first time, we demonstrate the critical vulnerabilities found in the common Human Resources (HR) task of matching job seekers and companies on online job platforms. Capitalizing on the unrestricted format and contents of job seekers' resumes and easy creation of accounts on job platforms, we demonstrate three attack scenarios: (1) company promotion attack to increase the likelihood of target companies being recommended, (2) company demotion attack to decrease the likelihood of target companies being recommended, and (3) user promotion attack to increase the likelihood of certain users being matched to certain companies. To this end, we develop an end-to-end "fake resume" generation framework, titled FRANCIS, that induces systematic prediction errors via data poisoning. Our empirical evaluation on real-world datasets reveals that data poisoning attacks can markedly skew the results of matchmaking between job seekers and companies, regardless of underlying models, with vulnerability amplified in proportion to poisoning intensity. These findings suggest that the outputs of various services from job platforms can be potentially hacked by malicious users.


title: Integro-differential diffusion equations on graded Lie groups

abstract: We first study the existence, uniqueness and well-posedness of a general class of integro-differential diffusion equation on $L^p(\mathbb{G})$ $(1<p<+\infty$, $\mathbb{G}$ is a graded Lie group). We show the explicit solution of the considered equation by using the Fourier analysis of the group. The equation involves a nonlocal in time operator (with a general kernel) and a positive Rockland operator acting on $\mathbb{G}.$ Also, we provide $L^p(\mathbb{G})-L^q(\mathbb{G})$ $(1<p\leqslant 2\leqslant q<+\infty)$ norm estimates and time decay rate for the solutions. In fact, by using some contemporary results, one can translate the latter regularity problem to the study of boundedness of its propagator which strongly depends on the traces of the spectral projections of the Rockland operator. Moreover, in many cases, we can obtain time asymptotic decay for the solutions which depends intrinsically on the considered kernel. As a complement, we give some norm estimates for the solutions in terms of a homogeneous Sobolev space in $L^{2}(\mathbb{G})$ that involves the Rockland operator. We also give a counterpart of our results in the setting of compact Lie groups. Illustrative examples are also given.


title: G-semisimple algebras

abstract: Let $\Lambda$ be an Artin algebra and ${\mathsf{mod}}\mbox{-} ({\underline{\mathsf{Gprj}}}\mbox{-}\Lambda)$ the category of finitely presented functors over the stable category ${\underline{\mathsf{Gprj}}}\mbox{-}\Lambda$ of finitely generated Gorenstein projective $\Lambda$-modules. This paper deals with those algebras $\Lambda$ in which ${\mathsf{mod}}\mbox{-} ({\underline{\mathsf{Gprj}}}\mbox{-}\Lambda)$ is a semisimple abelian category, and we call G-semisimple algebras. We study some basic properties of such algebras. In particular, it will be observed that the class of G-semisimple algebras contains important classes of algebras, including gentle algebras and more generally quadratic monomial algebras. Next, we construct an epivalence from the stable category of Gorenstein projective representations $\underline{{\mathsf{Gprj}}}(\mathcal{Q}, \Lambda)$ of a finite acyclic quiver $\mathcal{Q}$ to the category of representations ${\rm rep}(\mathcal{Q}, \underline{{\mathsf{Gprj}}}\mbox{-} \Lambda)$ over $\underline{{\mathsf{Gprj}}}\mbox{-} \Lambda)$, provided $\Lambda$ is a G-semisimple algebra over an algebraic closed field. Using this, we will show that the path algebra $\Lambda\mathcal{Q}$ of the G-semisimple algebra $\Lambda$ is Cohen-Macaulay finite if and only if $\mathcal{Q}$ is Dynkin. In the last part, we provide a complete classification of indecomposable Gorenstein projective representations within ${\mathsf{Gprj}}(A_n, \Lambda)$ of the linear quiver $A_n$ over a G-semisimple algebra $\Lambda$. We also determine almost split sequences in ${\mathsf{Gprj}}(A_n, \Lambda)$ with certain ending terms. We apply these results to obtain insights into the cardinality of the components of the stable Auslander-Reiten quiver ${\mathsf{Gprj}}(A_n, \Lambda)$.


title: Attractors in $k$-dimensional discrete systems of mixed monotonicity

abstract: We consider $k$-dimensional discrete-time systems of the form $x_{n+1}=F(x_n,\ldots,x_{n-k+1})$ in which the map $F$ is continuous and monotonic in each one of its arguments. We define a partial order on $\mathbb{R}^{2k}_+$, compatible with the monotonicity of $F$, and then use it to embed the $k$-dimensional system into a $2k$-dimensional system that is monotonic with respect to this poset structure. An analogous construction is given for periodic systems. Using the characteristics of the higher-dimensional monotonic system, global stability results are obtained for the original system. Our results apply to a large class of difference equations that are pertinent in a variety of contexts. As an application of the developed theory, we provide two examples that cover a wide class of difference equations, and in a subsequent paper, we provide additional applications of general interest.


title: An expert system for diagnosing and treating heart disease

abstract: Timely detection of illnesses is vital to prevent severe infections and ensure effective treatment, as it's always better to prevent diseases than to cure them. Sadly, many patients remain undiagnosed until their conditions worsen, resulting in high death rates. Expert systems offer a solution by automating early-stage diagnoses using a fuzzy rule-based approach. Our study gathered data from various sources, including hospitals, to develop an expert system aimed at identifying early signs of diseases, particularly heart conditions. The diagnostic process involves collecting and processing test results using the expert system, which categorizes disease risks and aids physicians in treatment decisions. By incorporating expert systems into clinical practice, we can improve the accuracy of disease detection and address challenges in patient management, particularly in areas with limited medical resources.


title: Combining Language and Graph Models for Semi-structured Information Extraction on the Web

abstract: Relation extraction is an efficient way of mining the extraordinary wealth of human knowledge on the Web. Existing methods rely on domain-specific training data or produce noisy outputs. We focus here on extracting targeted relations from semi-structured web pages given only a short description of the relation. We present GraphScholarBERT, an open-domain information extraction method based on a joint graph and language model structure. GraphScholarBERT can generalize to previously unseen domains without additional data or training and produces only clean extraction results matched to the search keyword. Experiments show that GraphScholarBERT can improve extraction F1 scores by as much as 34.8\% compared to previous work in a zero-shot domain and zero-shot website setting.


title: Sylvester domains and pro-$p$ groups

abstract: Let $G$ be a finitely generated torsion-free pro-$p$ group containing an open free-by-$\mathbb{Z}_p$ pro-$p$ subgroup. We show that the completed group algebra of $G$ over $\mathbb{F}_p$ is a Sylvester domain. Moreover the inner rank of a matrix $A$ over this completed group algebra can be calculated by approximation by ranks corresponding to finite quotients of $G$, that is, if $G=G_1>G_2>\ldots$ is a chain of normal open subgroups of $G$ with trivial intersection and $A_i$ is the matrix over $\mathbb{F}_p[G/G_i]$ obtained from the matrix $A$ by applying the natural homomorphism induced from $G \to G/G_i$, then the inner rank of $A$ equals $\lim_{i\to \infty} \frac{\operatorname{rk}_{\mathbb{F}_p} (A_i)}{|G:G_i|}$. As a consequence, we obtain a particular case of the mod $p$ L\"uck approximation for abstract finitely generated subgroups of free-by-$\mathbb{Z}_p$ pro-$p$ groups.


title: Random forests for detecting weak signals and extracting physical information: a case study of magnetic navigation

abstract: It was recently demonstrated that two machine-learning architectures, reservoir computing and time-delayed feed-forward neural networks, can be exploited for detecting the Earth's anomaly magnetic field immersed in overwhelming complex signals for magnetic navigation in a GPS-denied environment. The accuracy of the detected anomaly field corresponds to a positioning accuracy in the range of 10 to 40 meters. To increase the accuracy and reduce the uncertainty of weak signal detection as well as to directly obtain the position information, we exploit the machine-learning model of random forests that combines the output of multiple decision trees to give optimal values of the physical quantities of interest. In particular, from time-series data gathered from the cockpit of a flying airplane during various maneuvering stages, where strong background complex signals are caused by other elements of the Earth's magnetic field and the fields produced by the electronic systems in the cockpit, we demonstrate that the random-forest algorithm performs remarkably well in detecting the weak anomaly field and in filtering the position of the aircraft. With the aid of the conventional inertial navigation system, the positioning error can be reduced to less than 10 meters. We also find that, contrary to the conventional wisdom, the classic Tolles-Lawson model for calibrating and removing the magnetic field generated by the body of the aircraft is not necessary and may even be detrimental for the success of the random-forest method.


title: The symmetric Dunkl-classical orthogonal polynomials revisited

abstract: We investigate the symmetric Dunkl-classical orthogonal polynomials by using a new approach applied in connection with the Dunkl operator. The main aim of this technique is to determine the recurrence coefficients first and foremost. We establish the existence and uniqueness of symmetric Dunkl-classical orthogonal polynomials, and also confirm that only two families of orthogonal polynomials, that is, the generalized Hermite polynomials and the generalized Gegenbauer polynomials, belong to this class. Two apparently new characterizations in a more general setting are given. This paper complements earlier work of Ben Cheikh and Gaied.


title: Maximum likelihood estimation for aggregate current status data: Simulation study using the illness-death model for chronic diseases with duration dependency

abstract: We use the illness-death model (IDM) for chronic conditions to derive a new analytical relation between the transition rates between the states of the IDM. The transition rates are the incidence rate (i) and the mortality rates of people without disease (m0) and with disease (m1). For the most generic case, the rates depend on age, calendar time and in case of m1 also on the duration of the disease. In this work, we show that the prevalence-odds can be expressed as a convolution-like product of the incidence rate and an exponentiated linear combination of i, m0 and m1. The analytical expression can be used as the basis for a maximum likelihood estimation (MLE) and associated large sample asymptotics. In a simulation study where a cross-sectional trial about a chronic condition is mimicked, we estimate the duration dependency of the mortality rate m1 based on aggregated current status data using the ML estimator. For this, the number of study participants and the number of diseased people in eleven age groups are considered. The ML estimator provides reasonable estimates for the parameters including their large sample confidence bounds.


title: Bound states in the continuum in a tangential ring with pointlike impurities

abstract: Quantum rings coupled to external nanowires offer a versatile platform for the manipulation of the quantum mesoscopic transport. Here, we study such a system, including periodically distributed pointlike impurities along the ring. Based on an exact expression for the conductance found here, we demonstrate that the bound states in the continuum (BICs) form from the ring states at the high-symmetry momenta in the ring's Brillouin zone. Furthermore, the presence of the inversion symmetry allows for a selective decoupling of resonant states, favoring the BIC generation and, therefore, allowing extra tunability in the quantum transport of the system. Finally, we suggest that the magnetic fluxes and Rashba spin-orbit coupling offer other possible routes for the BIC formation in laterally coupled quantum rings.


title: Steep-spectrum AGN in eROSITA Final Equatorial-Depth Survey (eFEDS): Their host galaxies and multi-wavelength properties

abstract: We selected sources with a steep soft-X-ray-band spectrum with a photon index larger than 2.5 -- measured by eROSITA on board the Spectrum-Roentgen-Gamma (SRG) -- from the eFEDS AGN catalogue as candidates of highly accreting supermassive black holes, and investigated their multi-wavelength properties. Among 601 bright AGN with 0.2-5 keV counts of greater than 100, 83 sources (~14%) are classified as steep-spectrum sources. These sources have typical 0.5-2 keV luminosities of L(SX) ~ 1e44 erg/s and the majority of them are found at redshifts below z=1. In comparison with sources with flatter spectra, these sources have, on average, a UV (or optical) to 2 keV luminosity ratio that is larger by ~0.3 dex and bluer optical-to-UV continuum emission. They also appear to be radio quiet based on the detection rate in the FIRST and VLASS surveys. Their host galaxies -- at least in the redshift range of z=0.2-0.8, where the AGN-galaxy decomposition results from the Subaru Hyper Suprime-Cam imaging are available -- tend to be late-type and have smaller stellar masses than those of sources with flatter spectra. These properties are similar to those found in nearby narrow-line Seyfert 1 galaxies, in agreement with the picture that they are AGN with elevated accretion rates and are in the early growth phase of black hole and galaxy co-evolution. However, the steep-spectrum sources are not exclusively narrow-line Seyfert 1 galaxies; indeed many are broad-line Seyfert 1 galaxies, as found by a catalogue search. This suggests that these steep-spectrum sources may be black holes generally with high accretion rates but of a wide mass range, including a few objects emitting at L(SX)>1e45 erg/s, of which black hole masses can be close to 10^9 M_sun.


title: GDTM: An Indoor Geospatial Tracking Dataset with Distributed Multimodal Sensors

abstract: Constantly locating moving objects, i.e., geospatial tracking, is essential for autonomous building infrastructure. Accurate and robust geospatial tracking often leverages multimodal sensor fusion algorithms, which require large datasets with time-aligned, synchronized data from various sensor types. However, such datasets are not readily available. Hence, we propose GDTM, a nine-hour dataset for multimodal object tracking with distributed multimodal sensors and reconfigurable sensor node placements. Our dataset enables the exploration of several research problems, such as optimizing architectures for processing multimodal data, and investigating models' robustness to adverse sensing conditions and sensor placement variances. A GitHub repository containing the code, sample data, and checkpoints of this work is available at https://github.com/nesl/GDTM.


title: QCD sum rules at finite quark chemical potential and zero temperature

abstract: In this article we explore the effect of a quark chemical potential $\mu$ at zero temperature in the implementation of in-medium effects in Wilson coefficients and the perturbative sector in QCD sum rules. For this purpose, we explore the axial, axial-pseudoscalar and pseudoscalar current correlators using finite energy sum rules involving charged $\pi$ and $a_1$ mesons. The inclusion of non-normal ordered condensates with $\mu$ effects in the operator mixing is considered. As a result, we confirm that Wilson coefficients must be considered in-vacuum to avoid the appearance of divergences when $\mu$ reaches the quark mass. Also, the contribution of the operator mixing with chemical potential dependence cancels all the explicit $\mu$ contribution of the perturbative sector, aligned with the so-called "silver blaze problem". Finally, we find an abrupt transition when $\mu=\sqrt{s_0}/2$, being $s_0$ the hadronic continuum threshold. In our findings, we consider the full mass dependence in the isospin symmetric mass approximation without radiative corrections.


title: An analytical solution for vertical infiltration in bounded profiles

abstract: In this study, we derive an analytical solution to address the problem of one-dimensional vertical infiltration within bounded profiles. We consider the Richards equation together with various boundary conditions, simulating different scenarios of water application onto the surface of a homogeneous and bounded medium. To solve the corresponding initial boundary value problem over a finite interval, we apply the unified transform, commonly known as the Fokas method. Through this methodology, we obtain an integral representation that can be efficiently and directly computed numerically, yielding a convergent scheme.


title: NeuroFlux: Memory-Efficient CNN Training Using Adaptive Local Learning

abstract: Efficient on-device Convolutional Neural Network (CNN) training in resource-constrained mobile and edge environments is an open challenge. Backpropagation is the standard approach adopted, but it is GPU memory intensive due to its strong inter-layer dependencies that demand intermediate activations across the entire CNN model to be retained in GPU memory. This necessitates smaller batch sizes to make training possible within the available GPU memory budget, but in turn, results in substantially high and impractical training time. We introduce NeuroFlux, a novel CNN training system tailored for memory-constrained scenarios. We develop two novel opportunities: firstly, adaptive auxiliary networks that employ a variable number of filters to reduce GPU memory usage, and secondly, block-specific adaptive batch sizes, which not only cater to the GPU memory constraints but also accelerate the training process. NeuroFlux segments a CNN into blocks based on GPU memory usage and further attaches an auxiliary network to each layer in these blocks. This disrupts the typical layer dependencies under a new training paradigm - $\textit{`adaptive local learning'}$. Moreover, NeuroFlux adeptly caches intermediate activations, eliminating redundant forward passes over previously trained blocks, further accelerating the training process. The results are twofold when compared to Backpropagation: on various hardware platforms, NeuroFlux demonstrates training speed-ups of 2.3$\times$ to 6.1$\times$ under stringent GPU memory budgets, and NeuroFlux generates streamlined models that have 10.9$\times$ to 29.4$\times$ fewer parameters.


title: QuantTM: Business-Centric Threat Quantification for Risk Management and Cyber Resilience

abstract: Threat modeling has emerged as a key process for understanding relevant threats within businesses. However, understanding the importance of threat events is rarely driven by the business incorporating the system. Furthermore, prioritization of threat events often occurs based on abstract and qualitative scoring. While such scores enable prioritization, they do not allow the results to be easily interpreted by decision-makers. This can hinder downstream activities, such as discussing security investments and a security control's economic applicability. This article introduces QuantTM, an approach that incorporates views from operational and strategic business representatives to collect threat information during the threat modeling process to measure potential financial loss incurred by a specific threat event. It empowers the analysis of threats' impacts and the applicability of security controls, thus supporting the threat analysis and prioritization from an economic perspective. QuantTM comprises an overarching process for data collection and aggregation and a method for business impact analysis. The performance and feasibility of the QuantTM approach are demonstrated in a real-world case study conducted in a Swiss SME to analyze the impacts of threats and economic benefits of security controls. Secondly, it is shown that employing business impact analysis is feasible and that the supporting prototype exhibits great usability.


title: Quantum state preparation of topological chiral spin liquids via Floquet engineering

abstract: In condensed matter, Chiral Spin Liquids (CSL) are quantum spin analogs of electronic Fractional Quantum Hall states (in the continuum) or Fractional Chern Insulators (on the lattice). As the latter, CSL are remarquable states of matter, exhibiting topological order and chiral edge modes. Preparing CSL on quantum simulators like cold atom platforms is still an open challenge. Here we propose a simple setup on a finite cluster of spin-1/2 located at the sites of a square lattice. Using a Resonating Valence Bond (RVB) non-chiral spin liquid as initial state on which fast time-modulations of strong nearest-neighbor Heisenberg couplings are applied, following different protocols (out-of-equilibrium quench or semi-adiabatic ramping of the drive), we show the slow emergence of such a CSL phase. An effective Floquet dynamics, obtained from a high-frequency Magnus expansion of the drive Hamiltonian, provides a very accurate and simple framework fully capturing the out-of-equilibrium dynamics. An analysis of the resulting prepared states in term of Projected Entangled Pair states gives further insights on the topological nature of the chiral phase. Finally, we discuss possible applications to quantum computing.


title: Adiabatic Light Guide with S-shape Strips

abstract: A light guide is an essential part of many scintillator counters and light collection systems. There is large interest in an adiabatic light guide which has high light transmission while converting the area of the light source to the shape of the photo-detector. We propose a variation of the adiabatic light guide which avoids a 90o twist of the strips, reduces the length of the light pipe, and significantly cuts the cost of production.


title: SecurePose: Automated Face Blurring and Human Movement Kinematics Extraction from Videos Recorded in Clinical Settings

abstract: Movement disorders are typically diagnosed by consensus-based expert evaluation of clinically acquired patient videos. However, such broad sharing of patient videos poses risks to patient privacy. Face blurring can be used to de-identify videos, but this process is often manual and time-consuming. Available automated face blurring techniques are subject to either excessive, inconsistent, or insufficient facial blurring - all of which can be disastrous for video assessment and patient privacy. Furthermore, assessing movement disorders in these videos is often subjective. The extraction of quantifiable kinematic features can help inform movement disorder assessment in these videos, but existing methods to do this are prone to errors if using pre-blurred videos. We have developed an open-source software called SecurePose that can both achieve reliable face blurring and automated kinematic extraction in patient videos recorded in a clinic setting using an iPad. SecurePose, extracts kinematics using a pose estimation method (OpenPose), tracks and uniquely identifies all individuals in the video, identifies the patient, and performs face blurring. The software was validated on gait videos recorded in outpatient clinic visits of 116 children with cerebral palsy. The validation involved assessing intermediate steps of kinematics extraction and face blurring with manual blurring (ground truth). Moreover, when SecurePose was compared with six selected existing methods, it outperformed other methods in automated face detection and achieved ceiling accuracy in 91.08% less time than a robust manual face blurring method. Furthermore, ten experienced researchers found SecurePose easy to learn and use, as evidenced by the System Usability Scale. The results of this work validated the performance and usability of SecurePose on clinically recorded gait videos for face blurring and kinematics extraction.


title: Extending identifiability results from isolated networks to embedded networks

abstract: This paper deals with the design of Excitation and Measurement Patterns (EMPs) for the identification of dynamical networks, when the objective is to identify only a subnetwork embedded in a larger network. Recent results have shown how to construct EMPs that guarantee identifiability for a range of networks with specific graph topologies, such as trees, loops, or Directed Acyclic Graphs (DAGs). However, an EMP that is valid for the identification of a subnetwork taken in isolation may no longer be valid when that subnetwork is embedded in a larger network. Our main contribution is to exhibit conditions under which it does remain valid, and to propose ways to enhance such EMP when these conditions are not satisfied.


title: Multiply Robust Estimation for Local Distribution Shifts with Multiple Domains

abstract: Distribution shifts are ubiquitous in real-world machine learning applications, posing a challenge to the generalization of models trained on one data distribution to another. We focus on scenarios where data distributions vary across multiple segments of the entire population and only make local assumptions about the differences between training and test (deployment) distributions within each segment. We propose a two-stage multiply robust estimation method to improve model performance on each individual segment for tabular data analysis. The method involves fitting a linear combination of the based models, learned using clusters of training data from multiple segments, followed by a refinement step for each segment. Our method is designed to be implemented with commonly used off-the-shelf machine learning models. We establish theoretical guarantees on the generalization bound of the method on the test risk. With extensive experiments on synthetic and real datasets, we demonstrate that the proposed method substantially improves over existing alternatives in prediction accuracy and robustness on both regression and classification tasks. We also assess its effectiveness on a user city prediction dataset from Meta.


title: Reinforcement Learning with Dynamic Multi-Reward Weighting for Multi-Style Controllable Generation

abstract: Style is an integral component of text that expresses a diverse set of information, including interpersonal dynamics (e.g. formality) and the author's emotions or attitudes (e.g. disgust). Humans often employ multiple styles simultaneously. An open question is how large language models can be explicitly controlled so that they weave together target styles when generating text: for example, to produce text that is both negative and non-toxic. Previous work investigates the controlled generation of a single style, or else controlled generation of a style and other attributes. In this paper, we expand this into controlling multiple styles simultaneously. Specifically, we investigate various formulations of multiple style rewards for a reinforcement learning (RL) approach to controlled multi-style generation. These reward formulations include calibrated outputs from discriminators and dynamic weighting by discriminator gradient magnitudes. We find that dynamic weighting generally outperforms static weighting approaches, and we explore its effectiveness in 2- and 3-style control, even compared to strong baselines like plug-and-play model. All code and data for RL pipelines with multiple style attributes will be publicly available.


title: Wikibench: Community-Driven Data Curation for AI Evaluation on Wikipedia

abstract: AI tools are increasingly deployed in community contexts. However, datasets used to evaluate AI are typically created by developers and annotators outside a given community, which can yield misleading conclusions about AI performance. How might we empower communities to drive the intentional design and curation of evaluation datasets for AI that impacts them? We investigate this question on Wikipedia, an online community with multiple AI-based content moderation tools deployed. We introduce Wikibench, a system that enables communities to collaboratively curate AI evaluation datasets, while navigating ambiguities and differences in perspective through discussion. A field study on Wikipedia shows that datasets curated using Wikibench can effectively capture community consensus, disagreement, and uncertainty. Furthermore, study participants used Wikibench to shape the overall data curation process, including refining label definitions, determining data inclusion criteria, and authoring data statements. Based on our findings, we propose future directions for systems that support community-driven data curation.


title: Neural Networks and Friction: Slide, Hold, Learn

abstract: In this study, it is demonstrated that Recurrent Neural Networks (RNNs), specifically those utilizing Gated Recurrent Unit (GRU) architecture, possess the capability to learn the complex dynamics of rate-and-state friction laws from synthetic data. The data employed for training the network is generated through the application of traditional rate-and-state friction equations coupled with the aging law for state evolution. A novel aspect of our approach is the formulation of a loss function that explicitly accounts for the direct effect by means of automatic differentiation. It is found that the RNN, with its GRU architecture, effectively learns to predict changes in the friction coefficient resulting from velocity jumps (with and without noise in the target data), thereby showcasing the potential of machine learning models in understanding and simulating the physics of frictional processes.


title: Properties of the continuum seed-bank coalescent

abstract: We study properties of the \textit{continuum seed-bank coalescent} proposed by \cite{jiao2023wright} such as \textit{not coming down from infinity} and \textit{bounds on the expected time to the most recent common ancestor}. We also provide results on the limiting distributions and propose some interesting open problems.


title: New evidence on the lost giant Chinguetti meteorite

abstract: The giant Chinguetti meteorite that Gaston Ripert reported seeing in 1916 has never been found. A radionuclide analysis by Welten et al (2001) of the 4.5kg mesosiderite that Ripert recovered, supposedly sitting on the larger object, has convinced many that Ripert was mistaken, and interest in the giant meteorite has subsequently faded. Aspects of Ripert's account of the giant meteorite are nevertheless compelling, particularly his description of ductile metal needles in one area of the surface explored. Several visual searches for the giant meteorite, beginning in 1924, might have failed because the object was already by then covered in sand. Using DEM data we have measured dune heights and established their drift speed. This has allowed us to create a map of locations where the meteorite could lie. The 2004 PRISM-I aeromagnetics surveys, acquired by Fugro for the Mauritanian Government for Mining Sector capacity building purposes, have the necessary area coverage, spatial resolution, and sensitivity to establish if the meteorite exists. In Jan 2023 we requested the PRISM data from the Ministry of Petroleum Energy and Mines, explaining, under Confidentiality, the scientific purpose of the request. To date the data have not been made available to us.


title: BIRCO: A Benchmark of Information Retrieval Tasks with Complex Objectives

abstract: We present the Benchmark of Information Retrieval (IR) tasks with Complex Objectives (BIRCO). BIRCO evaluates the ability of IR systems to retrieve documents given multi-faceted user objectives. The benchmark's complexity and compact size make it suitable for evaluating large language model (LLM)-based information retrieval systems. We present a modular framework for investigating factors that may influence LLM performance on retrieval tasks, and identify a simple baseline model which matches or outperforms existing approaches and more complex alternatives. No approach achieves satisfactory performance on all benchmark tasks, suggesting that stronger models and new retrieval protocols are necessary to address complex user needs.


title: ModSRAM: Algorithm-Hardware Co-Design for Large Number Modular Multiplication in SRAM

abstract: Elliptic curve cryptography (ECC) is widely used in security applications such as public key cryptography (PKC) and zero-knowledge proofs (ZKP). ECC is composed of modular arithmetic, where modular multiplication takes most of the processing time. Computational complexity and memory constraints of ECC limit the performance. Therefore, hardware acceleration on ECC is an active field of research. Processing-in-memory (PIM) is a promising approach to tackle this problem. In this work, we design ModSRAM, the first 8T SRAM PIM architecture to compute large-number modular multiplication efficiently. In addition, we propose R4CSA-LUT, a new algorithm that reduces the cycles for an interleaved algorithm and eliminates carry propagation for addition based on look-up tables (LUT). ModSRAM is co-designed with R4CSA-LUT to support modular multiplication and data reuse in memory with 52% cycle reduction compared to prior works with only 32% area overhead.


title: Explicit sharbly cycles at the virtual cohomological dimension for SL_n(Z)

abstract: Denote the virtual cohomological dimension of SL_n(Z) by t=n(n-1)/2. Let St denote the Steinberg module of SL_n(Q) tensored with Q. Let Sh_* denote the sharbly resolution of the Steinberg module St. By Borel-Serre duality, the one-dimensional Q-vector space H^0(SL_n(Z), Q) is isomorphic to H_t(SL_n(Z),St). We find an explicit generator of H_t(SL_n(Z),St) in terms of sharbly cycles and cosharbly cocycles. These methods may extend to other degrees of cohomology of SL_n(Z).


title: MM-Soc: Benchmarking Multimodal Large Language Models in Social Media Platforms

abstract: Social media platforms are hubs for multimodal information exchange, encompassing text, images, and videos, making it challenging for machines to comprehend the information or emotions associated with interactions in online spaces. Multimodal Large Language Models (MLLMs) have emerged as a promising solution to address these challenges, yet struggle with accurately interpreting human emotions and complex contents like misinformation. This paper introduces MM-Soc, a comprehensive benchmark designed to evaluate MLLMs' understanding of multimodal social media content. MM-Soc compiles prominent multimodal datasets and incorporates a novel large-scale YouTube tagging dataset, targeting a range of tasks from misinformation detection, hate speech detection, and social context generation. Through our exhaustive evaluation on ten size-variants of four open-source MLLMs, we have identified significant performance disparities, highlighting the need for advancements in models' social understanding capabilities. Our analysis reveals that, in a zero-shot setting, various types of MLLMs generally exhibit difficulties in handling social media tasks. However, MLLMs demonstrate performance improvements post fine-tuning, suggesting potential pathways for improvement.


title: Can Similarity-Based Domain-Ordering Reduce Catastrophic Forgetting for Intent Recognition?

abstract: Task-oriented dialogue systems are expected to handle a constantly expanding set of intents and domains even after they have been deployed to support more and more functionalities. To live up to this expectation, it becomes critical to mitigate the catastrophic forgetting problem (CF) that occurs in continual learning (CL) settings for a task such as intent recognition. While existing dialogue systems research has explored replay-based and regularization-based methods to this end, the effect of domain ordering on the CL performance of intent recognition models remains unexplored. If understood well, domain ordering has the potential to be an orthogonal technique that can be leveraged alongside existing techniques such as experience replay. Our work fills this gap by comparing the impact of three domain-ordering strategies (min-sum path, max-sum path, random) on the CL performance of a generative intent recognition model. Our findings reveal that the min-sum path strategy outperforms the others in reducing catastrophic forgetting when training on the 220M T5-Base model. However, this advantage diminishes with the larger 770M T5-Large model. These results underscores the potential of domain ordering as a complementary strategy for mitigating catastrophic forgetting in continually learning intent recognition models, particularly in resource-constrained scenarios.


title: Solving Maxwells Equations using Variational Quantum Imaginary Time Evolution

abstract: Maxwells equations are fundamental to our understanding of electromagnetic fields, but their solution can be computationally demanding, even for high-performance computing clusters. Quantum computers offer a promising alternative for solving these equations, as they can simulate larger and more complex systems more efficiently both in time and resources. In this paper we investigate the potential of using the variational quantum imaginary time evolution (VarQITE) algorithm on near-term quantum hardware to solve for the Maxwells equations. Our objective is to analyze the trade-off between the accuracy of the simulated fields and the depth of the quantum circuit required to implement the VarQITE algorithm. We demonstrate that VarQITE can efficiently approximate the solution of these equations with high accuracy, and show that its performance can be enhanced by optimizing the quantum circuit depth. Our findings suggest that VarQITE on near-term quantum devices could provide a powerful tool for solving PDEs in electromagnetics and other fields.


title: Beyond Diagonal RIS: Key to Next-Generation Integrated Sensing and Communications?

abstract: Reconfigurable intelligent surface (RIS) have introduced unprecedented flexibility and adaptability toward smart wireless channels. Recent research on integrated sensing and communication (ISAC) systems has demonstrated that RIS platforms enable enhanced signal quality, coverage, and link capacity. In this paper, we explore the application of fully-connected beyond diagonal RIS (BD-RIS) to ISAC systems. BD-RIS introduces additional degrees of freedom by allowing non-zero off-diagonal elements for the scattering matrix, potentially enabling further functionalities and performance enhancements. In particular, we consider the joint design objective of maximizing the weighted sum of the signal-to-noise ratio (SNR) at the radar receiver and communication users by leveraging the extra degrees-of-freedom offered in the BD-RIS setting. These degrees-of-freedom are unleashed by formulating an alternating optimization process over known and auxiliary (latent) variables of such systems. Our numerical results reveal the advantages of deploying BD-RIS in the context of ISAC and the effectiveness of the proposed algorithm by improving the SNR values for both radar and communication users by several orders of magnitude.


title: TOOLVERIFIER: Generalization to New Tools via Self-Verification

abstract: Teaching language models to use tools is an important milestone towards building general assistants, but remains an open problem. While there has been significant progress on learning to use specific tools via fine-tuning, language models still struggle with learning how to robustly use new tools from only a few demonstrations. In this work we introduce a self-verification method which distinguishes between close candidates by self-asking contrastive questions during (1) tool selection; and (2) parameter generation. We construct synthetic, high-quality, self-generated data for this goal using Llama-2 70B, which we intend to release publicly. Extensive experiments on 4 tasks from the ToolBench benchmark, consisting of 17 unseen tools, demonstrate an average improvement of 22% over few-shot baselines, even in scenarios where the distinctions between candidate tools are finely nuanced.


title: Mapping the Landscape of Independent Food Delivery Platforms in the United States

abstract: Beyond the well-known giants like Uber Eats and DoorDash, there are hundreds of independent food delivery platforms in the United States. However, little is known about the sociotechnical landscape of these ``indie'' platforms. In this paper, we analyzed these platforms to understand why they were created, how they operate, and what technologies they use. We collected data on 495 indie platforms and detailed survey responses from 29 platforms. We found that personalized, timely service is a central value of indie platforms, as is a sense of responsibility to the local community they serve. Indie platforms are motivated to provide fair rates for restaurants and couriers. These alternative business practices differentiate them from mainstream platforms. Though indie platforms have plans to expand, a lack of customizability in off-the-shelf software prevents independent platforms from personalizing services for their local communities. We show that these platforms are a widespread and longstanding fixture of the food delivery market. We illustrate the diversity of motivations and values to explain why a one-size-fits-all support is insufficient, and we discuss the siloing of technology that inhibits platforms' growth. Through these insights, we aim to promote future HCI research into the potential development of public-interest technologies for local food delivery.


title: Recursive Speculative Decoding: Accelerating LLM Inference via Sampling Without Replacement

abstract: Speculative decoding is an inference-acceleration method for large language models (LLMs) where a small language model generates a draft-token sequence which is further verified by the target LLM in parallel. Recent works have advanced this method by establishing a draft-token tree, achieving superior performance over a single-sequence speculative decoding. However, those works independently generate tokens at each level of the tree, not leveraging the tree's entire diversifiability. Besides, their empirical superiority has been shown for fixed length of sequences, implicitly granting more computational resource to LLM for the tree-based methods. None of the existing works has conducted empirical studies with fixed target computational budgets despite its importance to resource-bounded devices. We present Recursive Speculative Decoding (RSD), a novel tree-based method that samples draft tokens without replacement and maximizes the diversity of the tree. During RSD's drafting, the tree is built by either Gumbel-Top-$k$ trick that draws tokens without replacement in parallel or Stochastic Beam Search that samples sequences without replacement while early-truncating unlikely draft sequences and reducing the computational cost of LLM. We empirically evaluate RSD with Llama 2 and OPT models, showing that RSD outperforms the baseline methods, consistently for fixed draft sequence length and in most cases for fixed computational budgets at LLM.


title: Short-maturity asymptotics for option prices with interest rates effects

abstract: We derive the short-maturity asymptotics for option prices in the local volatility model in a new short-maturity limit $T\to 0$ at fixed $\rho = (r-q) T$, where $r$ is the interest rate and $q$ is the dividend yield. In cases of practical relevance $\rho$ is small, however our result holds for any fixed $\rho$. The result is a generalization of the Berestycki-Busca-Florent formula for the short-maturity asymptotics of the implied volatility which includes interest rates and dividend yield effects of $O(((r-q) T)^n)$ to all orders in $n$. We obtain analytical results for the ATM volatility and skew in this asymptotic limit. Explicit results are derived for the CEV model. The asymptotic result is tested numerically against exact evaluation in the square-root model model $\sigma(S)=\sigma/\sqrt{S}$, which demonstrates that the new asymptotic result is in very good agreement with exact evaluation in a wide range of model parameters relevant for practical applications.


title: On Large Visual Language Models for Medical Imaging Analysis: An Empirical Study

abstract: Recently, large language models (LLMs) have taken the spotlight in natural language processing. Further, integrating LLMs with vision enables the users to explore emergent abilities with multimodal data. Visual language models (VLMs), such as LLaVA, Flamingo, or CLIP, have demonstrated impressive performance on various visio-linguistic tasks. Consequently, there are enormous applications of large models that could be potentially used in the biomedical imaging field. Along that direction, there is a lack of related work to show the ability of large models to diagnose the diseases. In this work, we study the zero-shot and few-shot robustness of VLMs on the medical imaging analysis tasks. Our comprehensive experiments demonstrate the effectiveness of VLMs in analyzing biomedical images such as brain MRIs, microscopic images of blood cells, and chest X-rays.


title: A generalization of Dumas-Eisenstein criterion

abstract: We introduce an interesting and rather large class of monoid homomorphisms, on arbitrary integral domain $R$, that we call Dumas valuations. Then we formulate a conjecture addressing the question asking when a polynomial $f\in R[X]$ cannot be written as a product $f=gh$ for some nonconstant polynomials $g,h\in R[X]$. The statement of the conjecture presents a significant generalization of the classical Eisenstein-Dumas irreducibility criterion. In particular our approach can be very useful while studying the irreducibility problem for multivariate polynomials over any integral domain and polynomials over orders in algebraic number fields. We provide a strong evidence that our conjecture should be true.


title: Scalar Electrodynamics and Higgs Mechanism in the Unfolded Dynamics Approach

abstract: We put forward a new method of constructing unfolded formulations of field theories, which is based on initial fixation of the form of an unfolded field and subsequent looking for the corresponding unfolded equation as an identity that this field satisfies. Making use of this method, we find an unfolded formulation for 4d scalar electrodynamics. By considering a symmetry-breaking scalar potential, we study the implementation of the Higgs mechanism within the framework of the unfolded dynamics approach. We explore a deformation of unfolded modules in the symmetry-broken phase and identify a non-invertible unfolded field redefinition that diagonalizes the higgsed system.


title: Luminosity Outbursts in Interacting Protoplanetary Systems

abstract: FU Orionis type objects (fuors) are characterized by rapid (tens to hundreds years) episodic outbursts, during which the luminosity increases by orders of magnitude. One of the possible causes of such events is a close encounter between stars and protoplanetary disks. Numerical simulations show that the fuor-like outburst ignition requires a very close encounter ranging from a few to a few tens of au. In contrast, the observed stellar objects in fuor binaries are usually hundreds of au apart. Simple mathematical estimates show that if such a close approach took place, the binary stellar components would have an unrealistic relative velocity, at least an order of magnitude greater than the observed velocity dispersion in young stellar clusters. Thus, the bursts are either triggered with a certain delay after passage of the periastron or their ignition does not necessary require a close encounter and hence the outburst is not caused by the primordial gravitational perturbation of the protoplanetary disk. In this work, an encounter of a star surrounded by a protoplanetary disk with a diskless external stellar object was modeled using numerical hydrodynamics simulations. We showed that even fly-bys with a relatively large periastron (at least 500 au) can result in fuor-like outbursts. Moreover, the delay between the periastron passage and the burst ignition can reach several kyr. It was shown for the first time by means of numerical modeling that the perturbation of the disk caused by the external object can trigger a cascade process, which includes the development of the thermal instability in the innermost disk followed by the magneto-rotational instability ignition. Because of the sequential development of these instabilities, the rapid increase in the accretion rate occurs, resulting in the luminosity increase by more than two orders of magnitude.


title: Fragmentation of the Giant Pairing Vibration in 14C induced by many-body processes

abstract: We present a theoretical framework for treating the full excitation spectrum of J{\pi} = 0+ pair addition modes, including the well-known low-lying and bound Pairing Vibration on par with the predicted Giant Pairing Vibration lying in the continuum. Our formalism includes the coupling to low-energy collective quadrupole modes of the core, in such a way that both single-particle self-energy effects and the pairing interaction induced by phonon exchange are accounted for. The theory is applied to the case of the excitation spectrum of 14C, recently populated by two-neutron transfer reactions.


title: T-Stitch: Accelerating Sampling in Pre-Trained Diffusion Models with Trajectory Stitching

abstract: Sampling from diffusion probabilistic models (DPMs) is often expensive for high-quality image generation and typically requires many steps with a large model. In this paper, we introduce sampling Trajectory Stitching T-Stitch, a simple yet efficient technique to improve the sampling efficiency with little or no generation degradation. Instead of solely using a large DPM for the entire sampling trajectory, T-Stitch first leverages a smaller DPM in the initial steps as a cheap drop-in replacement of the larger DPM and switches to the larger DPM at a later stage. Our key insight is that different diffusion models learn similar encodings under the same training data distribution and smaller models are capable of generating good global structures in the early steps. Extensive experiments demonstrate that T-Stitch is training-free, generally applicable for different architectures, and complements most existing fast sampling techniques with flexible speed and quality trade-offs. On DiT-XL, for example, 40% of the early timesteps can be safely replaced with a 10x faster DiT-S without performance drop on class-conditional ImageNet generation. We further show that our method can also be used as a drop-in technique to not only accelerate the popular pretrained stable diffusion (SD) models but also improve the prompt alignment of stylized SD models from the public model zoo. Code is released at https://github.com/NVlabs/T-Stitch


title: Discrete slip plane analysis of ferrite microtensile tests: On the influence of dislocation source distribution and non-Schmid effects on slip system activity

abstract: The slip system activity in microtensile tests of ferrite single crystals is compared with predictions made by the discrete slip plane model proposed by Wijnen et al. (International Journal of Solids and Structures 228, 111094, 2021). This is an extension of conventional crystal plasticity in which the stochastics and physics of dislocation sources are taken into account in a discrete slip band. This results in discrete slip traces and non-deterministic mechanical behavior, similar to what is observed in experiments. A detailed analysis of which slip systems are presumed to be active in experiments is performed. In small-scale mechanical tests on BCC metals and alloys, non-Schmid effects are often needed to explain the observed response. Therefore, these effects are incorporated into the model by extending a non-Schmid framework commonly used to model {110} slip to {112} planes. The slip activity in the simulations is compared to the slip activity in single crystal ferrite microtensile tests. This is done for the discrete slip plane model with and without non-Schmid effects, as well as for a conventional crystal plasticity model. The conventional crystal plasticity model fails to predict the diversity in active slip systems that is observed experimentally. The slip activity obtained with the discrete slip plane model is in convincingly better agreement with the experiments. Including non-Schmid effects only entails minor differences. This suggests that stochastic effects dominate the behavior of ferrite crystals with dimensions in the order of a few micrometers and that non-Schmid effects may not play a large role.


title: A Temporal Stochastic Bias Correction using a Machine Learning Attention model

abstract: Climate models are biased with respect to real-world observations. They usually need to be adjusted before being used in impact studies. The suite of statistical methods that enable such adjustments is called bias correction (BC). However, BC methods currently struggle to adjust temporal biases. Because they mostly disregard the dependence between consecutive time points. As a result, climate statistics with long-range temporal properties, such as heatwave duration and frequency, cannot be corrected accurately. This makes it more difficult to produce reliable impact studies on such climate statistics. This paper offers a novel BC methodology to correct temporal biases. This is made possible by rethinking the philosophy behind BC. We will introduce BC as a time-indexed regression task with stochastic outputs. Rethinking BC enables us to adapt state-of-the-art machine learning (ML) attention models and thereby learn different types of biases, including temporal asynchronicities. With a case study of heatwave duration statistics in Abuja, Nigeria, and Tokyo, Japan, we show more accurate results than current climate model outputs and alternative BC methods.


title: Weighted monogamy and polygamy relations

abstract: This research offers a comprehensive approach to strengthening both monogamous and polygamous relationships within the context of quantum correlations in multipartite quantum systems. We present the most stringent bounds for both monogamy and polygamy in multipartite systems compared to recently established relations. We show that whenever a bound is given (named it monogamy or polygamy), our bound indexed by some parameter $s$ will always be stronger than the given bound derived from the base relation. The study includes detailed examples, highlighting that our findings exhibit greater strength across all existing cases in comparison.


title: Infinite quantum twisting at the Cauchy horizon of rotating black holes

abstract: We present a numerical calculation of the expectation value of the quantum angular-momentum current flux density for a scalar field in the Unruh state near the inner horizon of a Kerr-de Sitter black hole. Our results indicate that this flux diverges as $V_-^{-1}$ in a suitable Kruskal coordinate such that $V_-=0$ at the inner horizon. Depending on the parameter values of the scalar field and black hole that we consider, and depending on the polar angle (latitude), this flux can have different signs. In the near extremal cases considered, the angle average of the expectation value of the quantum angular momentum current flux is of the opposite sign as the angular momentum of the background itself, suggesting that, in the cases considered, quantum effects tend to decrease the total angular momentum of the spheres away from the extremal value. We also numerically calculate the energy flux component, which provides the leading order divergence of the quantum stress energy tensor, dominant over the classical stress energy tensor, at the inner horizon. Taking our expectation value of the quantum stress tensor as the source in the semiclassical Einstein equation, our analysis suggests that the spheres approaching the inner horizon can undergo an infinite twisting due to quantum effects along latitudes separating regions of infinite expansion and contraction.


title: Open Source Software Field Research: Spanning Social and Practice Networks for Re-Entering the Field

abstract: Sociotechnical research increasingly includes the social sub-networks that emerge from large-scale sociotechnical infrastructure, including the infrastructure for building open source software. This paper addresses these numerous sub-networks as advantageous for researchers. It provides a methodological synthesis focusing on how researchers can best span adjacent social sub-networks during engaged field research. Specifically, we describe practices and artifacts that aid movement from one social subsystem within a more extensive technical infrastructure to another. To surface the importance of spanning sub-networks, we incorporate a discussion of social capital and the role of technical infrastructure in its development for sociotechnical researchers. We then characterize a five-step process for spanning social sub-networks during engaged field research: commitment, context mapping, jargon competence, returning value, and bridging. We then present our experience studying corporate open source software projects and the role of that experience in accelerating our work in open source scientific software research as described through the lens of bridging social capital. Based on our analysis, we offer recommendations for engaging in fieldwork in adjacent social sub-networks that share a technical context and discussion of how the relationship between social and technically acquired social capital is a missing but critical methodological dimension for research on large-scale sociotechnical research.


title: Fairness and Incentive Compatibility via Percentage Fees

abstract: We study incentive-compatible mechanisms that maximize the Nash Social Welfare. Since traditional incentive-compatible mechanisms cannot maximize the Nash Social Welfare even approximately, we propose changing the traditional model. Inspired by a widely used charging method (e.g., royalties, a lawyer that charges some percentage of possible future compensation), we suggest charging the players some percentage of their value of the outcome. We call this model the \emph{percentage fee} model. We show that there is a mechanism that maximizes exactly the Nash Social Welfare in every setting with non-negative valuations. Moreover, we prove an analog of Roberts theorem that essentially says that if the valuations are non-negative, then the only implementable social choice functions are those that maximize weighted variants of the Nash Social Welfare. We develop polynomial time incentive compatible approximation algorithms for the Nash Social Welfare with subadditive valuations and prove some hardness results.


title: Blending Data-Driven Priors in Dynamic Games

abstract: As intelligent robots like autonomous vehicles become increasingly deployed in the presence of people, the extent to which these systems should leverage model-based game-theoretic planners versus data-driven policies for safe, interaction-aware motion planning remains an open question. Existing dynamic game formulations assume all agents are task-driven and behave optimally. However, in reality, humans tend to deviate from the decisions prescribed by these models, and their behavior is better approximated under a noisy-rational paradigm. In this work, we investigate a principled methodology to blend a data-driven reference policy with an optimization-based game-theoretic policy. We formulate KLGame, a type of non-cooperative dynamic game with Kullback-Leibler (KL) regularization with respect to a general, stochastic, and possibly multi-modal reference policy. Our method incorporates, for each decision maker, a tunable parameter that permits modulation between task-driven and data-driven behaviors. We propose an efficient algorithm for computing multimodal approximate feedback Nash equilibrium strategies of KLGame in real time. Through a series of simulated and real-world autonomous driving scenarios, we demonstrate that KLGame policies can more effectively incorporate guidance from the reference policy and account for noisily-rational human behaviors versus non-regularized baselines.


title: Towards Contact-Aided Motion Planning for Tendon-Driven Continuum Robots

abstract: Tendon-driven continuum robots (TDCRs), with their flexible backbones, offer the advantage of being used for navigating complex, cluttered environments. However, to do so, they typically require multiple segments, often leading to complex actuation and control challenges. To this end, we propose a novel approach to navigate cluttered spaces effectively for a single-segment long TDCR which is the simplest topology from a mechanical point of view. Our key insight is that by leveraging contact with the environment we can achieve multiple curvatures without mechanical alterations to the robot. Specifically, we propose a search-based motion planner for a single-segment TDCR. This planner, guided by a specially designed heuristic, discretizes the configuration space and employs a best-first search. The heuristic, crucial for efficient navigation, provides an effective cost-to-go estimation while respecting the kinematic constraints of the TDCR and environmental interactions. We empirically demonstrate the efficiency of our planner-testing over 525 queries in environments with both convex and non-convex obstacles, our planner is demonstrated to have a success rate of about 80% while baselines were not able to obtain a success rate higher than 30%. The difference is attributed to our novel heuristic which is shown to significantly reduce the required search space.


title: Ferroelectricity at the extreme thickness limit in the archetypal antiferroelectric PbZrO$_3$

abstract: Size-driven transition of an antiferroelectric into a polar ferroelectric or ferrielectric state is a strongly debated issue from both experimental and theoretical perspectives. While critical thickness limits for such transitions have been explored, a bottom-up approach in the ultrathin limit considering few atomic layers could provide insight into the mechanism of stabilization of the polar phases over the antipolar phase seen in bulk PbZrO$_3$. Here, we use first-principles density functional theory to predict the stability of polar phases in Pt/PbZrO$_3$/Pt nanocapacitors. In a few atomic layer thick slabs of PbZrO$_3$ sandwiched between Pt electrodes, we find that the polar phase originating from the well established R3c phase of bulk PbZrO$_3$ is energetically favorable over the antipolar phase originating from the Pbam phase of bulk PbZrO$_3$. The famous triple-well potential of antiferroelectric PbZrO$_3$ is modified in the nanocapacitor limit in such a way as to swap the positions of the global and local minima, stabilizing the polar phase relative to the antipolar one. The size effect is decomposed into the contributions from dimensionality reduction, surface charge screening, and interfacial relaxation, which reveals that it is the creation of well-compensated interfaces that stabilizes the polar phases over the antipolar ones in nanoscale PbZrO$_3$.


title: Investigating Human Values in Online Communities

abstract: Human values play a vital role as an analytical tool in social sciences, enabling the study of diverse dimensions within society as a whole and among individual communities. This paper addresses the limitations of traditional survey-based studies of human values by proposing a computational application of Schwartz's values framework to Reddit, a platform organized into distinct online communities. After ensuring the reliability of automated value extraction tools for Reddit content, we automatically annotate six million posts across 10,000 subreddits with Schwartz values. Our analysis unveils both previously recorded and novel insights into the values prevalent within various online communities. For instance, when examining subreddits with differing opinions on controversial topics, we discover higher universalism values in the Vegan subreddit compared to Carnivores. Additionally, our study of geographically specific subreddits highlights the correlation between traditional values and conservative U.S. states.


title: Perfect Tracking of Time-Varying Optimum by Extremum Seeking

abstract: This paper introduces extremum seeking (ES) algorithms designed to achieve perfect tracking of arbitrary time-varying extremum. In contrast to classical ES approaches that employ constant frequencies and controller gains, our algorithms leverage time-varying parameters, growing either asymptotically or exponentially, to achieve desired convergence behaviors. Our stability analysis involves state transformation, time-dilation transformation, and Lie bracket averaging. The state transformation is based on the multiplication of the input state by asymptotic or exponential growth functions. The time transformation enables tracking of the extremum as it gradually converges to a constant value when viewed in the dilated time domain. Finally, Lie bracket averaging is applied to the transformed system, ensuring practical uniform stability in the dilated time domain as well as asymptotic or exponential stability of the original system in the original time domain. We validate the feasibility of these designs through numerical simulations.


title: Bangla AI: A Framework for Machine Translation Utilizing Large Language Models for Ethnic Media

abstract: Ethnic media, which caters to diaspora communities in host nations, serves as a vital platform for these communities to both produce content and access information. Rather than utilizing the language of the host nation, ethnic media delivers news in the language of the immigrant community. For instance, in the USA, Bangla ethnic media presents news in Bangla rather than English. This research delves into the prospective integration of large language models (LLM) and multi-lingual machine translations (MMT) within the ethnic media industry. It centers on the transformative potential of using LLM in MMT in various facets of news translation, searching, and categorization. The paper outlines a theoretical framework elucidating the integration of LLM and MMT into the news searching and translation processes for ethnic media. Additionally, it briefly addresses the potential ethical challenges associated with the incorporation of LLM and MMT in news translation procedures.


title: Linear Transformers are Versatile In-Context Learners

abstract: Recent research has demonstrated that transformers, particularly linear attention models, implicitly execute gradient-descent-like algorithms on data provided in-context during their forward inference step. However, their capability in handling more complex problems remains unexplored. In this paper, we prove that any linear transformer maintains an implicit linear model and can be interpreted as performing a variant of preconditioned gradient descent. We also investigate the use of linear transformers in a challenging scenario where the training data is corrupted with different levels of noise. Remarkably, we demonstrate that for this problem linear transformers discover an intricate and highly effective optimization algorithm, surpassing or matching in performance many reasonable baselines. We reverse-engineer this algorithm and show that it is a novel approach incorporating momentum and adaptive rescaling based on noise levels. Our findings show that even linear transformers possess the surprising ability to discover sophisticated optimization strategies.


title: Grid Minors and Products

abstract: Motivated by recent developments regarding the product structure of planar graphs, we study relationships between treewidth, grid minors, and graph products. We show that the Cartesian product of any two connected $n$-vertex graphs contains an $\Omega(\sqrt{n})\times\Omega(\sqrt{n})$ grid minor. This result is tight: The lexicographic product (which includes the Cartesian product as a subgraph) of a star and any $n$-vertex tree has no $\omega(\sqrt{n})\times\omega(\sqrt{n})$ grid minor.


title: Do Machines and Humans Focus on Similar Code? Exploring Explainability of Large Language Models in Code Summarization

abstract: Recent language models have demonstrated proficiency in summarizing source code. However, as in many other domains of machine learning, language models of code lack sufficient explainability. Informally, we lack a formulaic or intuitive understanding of what and how models learn from code. Explainability of language models can be partially provided if, as the models learn to produce higher-quality code summaries, they also align in deeming the same code parts important as those identified by human programmers. In this paper, we report negative results from our investigation of explainability of language models in code summarization through the lens of human comprehension. We measure human focus on code using eye-tracking metrics such as fixation counts and duration in code summarization tasks. To approximate language model focus, we employ a state-of-the-art model-agnostic, black-box, perturbation-based approach, SHAP (SHapley Additive exPlanations), to identify which code tokens influence that generation of summaries. Using these settings, we find no statistically significant relationship between language models' focus and human programmers' attention. Furthermore, alignment between model and human foci in this setting does not seem to dictate the quality of the LLM-generated summaries. Our study highlights an inability to align human focus with SHAP-based model focus measures. This result calls for future investigation of multiple open questions for explainable language models for code summarization and software engineering tasks in general, including the training mechanisms of language models for code, whether there is an alignment between human and model attention on code, whether human attention can improve the development of language models, and what other model focus measures are appropriate for improving explainability.


title: Parking of Connected Automated Vehicles: Vehicle Control, Parking Assignment, and Multi-agent Simulation

abstract: This paper introduces a novel approach to optimize the parking efficiency for fleets of Connected and Automated Vehicles (CAVs). We present a novel multi-vehicle parking simulator, equipped with hierarchical path planning and collision avoidance capabilities for individual CAVs. The simulator is designed to capture the key decision-making processes in parking, from low-level vehicle control to high-level parking assignment, and it enables the effective assessment of parking strategies for large fleets of ground vehicles. We formulate and compare different strategic parking spot assignments to minimize a collective cost. While the proposed framework is designed to optimize various objective functions, we choose the total parking time for the experiment, as it is closely related to the reduction of vehicles' energy consumption and greenhouse gas emissions. We validate the effectiveness of the proposed strategies through empirical evaluation against a dataset of real-world parking lot dynamics, realizing a substantial reduction in parking time by up to 43.8%. This improvement is attributed to the synergistic benefits of driving automation, the utilization of shared infrastructure state data, the exclusion of pedestrian traffic, and the real-time computation of optimal parking spot allocation.


title: Diversity-Aware Ensembling of Language Models Based on Topological Data Analysis

abstract: Ensembles are important tools for improving the performance of machine learning models. In cases related to natural language processing, ensembles boost the performance of a method due to multiple large models available in open source. However, existing approaches mostly rely on simple averaging of predictions by ensembles with equal weights for each model, ignoring differences in the quality and conformity of models. We propose to estimate weights for ensembles of NLP models using not only knowledge of their individual performance but also their similarity to each other. By adopting distance measures based on Topological Data Analysis (TDA), we improve our ensemble. The quality improves for both text classification accuracy and relevant uncertainty estimation.


title: HINT: High-quality INPainting Transformer with Mask-Aware Encoding and Enhanced Attention

abstract: Existing image inpainting methods leverage convolution-based downsampling approaches to reduce spatial dimensions. This may result in information loss from corrupted images where the available information is inherently sparse, especially for the scenario of large missing regions. Recent advances in self-attention mechanisms within transformers have led to significant improvements in many computer vision tasks including inpainting. However, limited by the computational costs, existing methods cannot fully exploit the efficacy of long-range modelling capabilities of such models. In this paper, we propose an end-to-end High-quality INpainting Transformer, abbreviated as HINT, which consists of a novel mask-aware pixel-shuffle downsampling module (MPD) to preserve the visible information extracted from the corrupted image while maintaining the integrity of the information available for high-level inferences made within the model. Moreover, we propose a Spatially-activated Channel Attention Layer (SCAL), an efficient self-attention mechanism interpreting spatial awareness to model the corrupted image at multiple scales. To further enhance the effectiveness of SCAL, motivated by recent advanced in speech recognition, we introduce a sandwich structure that places feed-forward networks before and after the SCAL module. We demonstrate the superior performance of HINT compared to contemporary state-of-the-art models on four datasets, CelebA, CelebA-HQ, Places2, and Dunhuang.


title: On Organizational Principles of Neural Systems

abstract: How do we understand natural intelligence? Inspired by classical embodied cognition and the emerging multimodal interaction, we study the organizational principles of neural systems at three levels (device/implementation, circuit/algorithm, and system/computational) in this survey paper. Our main contributions consist of 1) Device/Implementation level: reproducibility of macroscopic states in polychronization neural group (PNG) serves as the physical basis of associative memory; 2) Circuit/Algorithm level: canonical microcircuits implement a universal predictive coding algorithm underlying all high-level cognitive functions; 3) System/Computational level: modeling sensorimotor interaction for embodied cognition plays a fundamental role in understanding natural intelligence. At each level, we use mathematical models as our abstractions and study their organizational principles (e.g., entropy reduction, predictive coding, and coordinate transformation). The unifying theme is that natural intelligence evolves by recycling a simple navigation trick in different coordinates (reference frames) hundreds of thousands of times. By representing space as a latent sequence, the neocortex solves the embodied cognition problem by building parallel cognitive maps at a large scale. We hope this survey article can inspire new research at the intersection of neuroscience and learning systems, helping bridge the gap between natural and artificial intelligence.


title: From Adoption to Adaption: Tracing the Diffusion of New Emojis on Twitter

abstract: In the rapidly evolving landscape of social media, the introduction of new emojis in Unicode release versions presents a structured opportunity to explore digital language evolution. Analyzing a large dataset of sampled English tweets, we examine how newly released emojis gain traction and evolve in meaning. We find that community size of early adopters and emoji semantics are crucial in determining their popularity. Certain emojis experienced notable shifts in the meanings and sentiment associations during the diffusion process. Additionally, we propose a novel framework utilizing language models to extract words and pre-existing emojis with semantically similar contexts, which enhances interpretation of new emojis. The framework demonstrates its effectiveness in improving sentiment classification performance by substituting unknown new emojis with familiar ones. This study offers a new perspective in understanding how new language units are adopted, adapted, and integrated into the fabric of online communication.


title: On the cohomology of Lie algebras associated with graphs

abstract: We describe a canonical decomposition of the cohomology of the Dani-Mainkar metabelian Lie algebras associated with graphs. As applications, we obtain explicit formulas for the third cohomology of any Dani-Mainkar Lie algebra and for the cohomology in all degrees of Lie algebras associated with arbitrary star graphs. We also describe a procedure to reduce the calculation of the cohomology of solvable Lie algebras associated with graphs through the Grantcharov-Grantcharov-Iliev construction to the cohomology of Dani-Mainkar Lie algebras.


title: Optimal transmission expansion minimally reduces decarbonization costs of U.S. electricity

abstract: Solar and wind power are cost-competitive with fossil fuels, yet their intermittent nature presents challenges. Significant temporal and geographic differences in land, wind, and solar resources suggest that long-distance transmission could be particularly beneficial. Using a detailed, open-source model, we analyze optimal transmission expansion jointly with storage, generation, and hourly operations across the three primary interconnects in the United States. Transmission expansion offers far more benefits in a high-renewable system than in a system with mostly conventional generation. Yet while an optimal nationwide plan would have more than triple current interregional transmission, transmission decreases the cost of a 100% clean system by only 4% compared to a plan that relies solely on current transmission. Expanding capacity only within existing interconnects can achieve most of these savings. Adjustments to energy storage and generation mix can leverage the current interregional transmission infrastructure to build a clean power system at a reasonable cost.


title: Shadow and greybody bounding of a regular scale-dependent black hole solution

abstract: In this manuscript, we explore the shadow and the greybody bounding characteristics of a regular black hole within 4-dimensional space-time, employing the context of gravity that is scale-dependent. Our focus lies in determining limitations on the parameter denoted as $\tilde{\epsilon}$, which serves as a descriptor for the scale-dependent solution with respect to the classically observed shadow radius $R_\text{sh}$ as indicated in the documented data from the Event Horizon Telescope (EHT). Our result indicates that there is a unique value for $\tilde{\epsilon}$ occurring at the reported mean of $R_\text{sh}$ and the uncertainties could be the result of the fluctuating value of the scale-dependent parameter. We found that $\tilde{\epsilon} > 0$ is positive for Sgr. A*, but $\tilde{\epsilon}<0$ for M87*. Utilizing M87* as a reference model, we scrutinized the shadow radius and weak deflection angle within the specified constraints. Discrepancies were observed not only in the shadow but also in the deflection angle of photons, particularly when the photon's impact parameter closely approached the critical impact parameter.


title: An Iterative Method to Improve the Precision of Quantum Phase Estimation Algorithm

abstract: Here we revisit the quantum phase estimation (QPE) algorithm, and devise an iterative method to improve the precision of QPE with propagators over a variety of time spans. For a given propagator and a certain eigenstate as input, QPE with propagator is introduced to estimate the phase corresponding to an eigenenergy. Due to the periodicity of the complex exponential, we can pinpoint the eigenenergy in a branch of comb-like ranges by applying QPE with propagators over longer time spans. Thus, by picking up appropriate time spans, the iterative QPE with corresponding propagators can enable us to pinpoint the eigenenergy more precisely. Moreover, even if there are only few qubits as ancilla qubits, high precision is still available by the proposed iterative method. Our work provides a feasible and promising means toward precise estimations of eigenvalue on noisy intermediate-scale quantum (NISQ) devices.


title: Relatives of the Hermitian curve

abstract: We introduce the notion of a relative of the Hermitian curve of degree $\sqrt{q}+1$ over $\mathbb{F}_q$, which is a plane curve defined by \[(x^{\sqrt{q}}, y^{\sqrt{q}}, z^{\sqrt{q}})A {}^t \!(x,y,z) =0\] with $A \in GL(3, \mathbb{F}_q)$, and study their basic properties together with various examples. One of the basic properties is that the number of $\mathbb{F}_q$-points of any relative of the Hermitian curve of degree $\sqrt{q}+1$


title: Homomorphic Encryption Based on Post-Quantum Cryptography

abstract: With the development of Shor's algorithm, some nondeterministic polynomial (NP) time problems (e.g. prime factorization problems and discrete logarithm problems) may be solved in polynomial time. In recent years, although some homomorphic encryption algorithms have been proposed based on prime factorization problems, the algorithms may be cracked by quantum computing attacks. Therefore, this study proposes a post-quantum cryptography (PQC)-based homomorphic encryption method which includes the homomorphic encryption function based on a code-based cryptography method for avoiding quantum computing attacks. Subsection 3.2 proposes mathematical models to prove the feasibility of the proposed method, and Subsection 3.3 gives calculation examples to present the detailed steps of the proposed method. In experimental environments, the mainstream cryptography methods (i.e. RSA cryptography and elliptic curve cryptography (ECC)) have been compared, and the results show that the encryption time and decryption time of the proposed method are shorter than other cryptography methods. Furthermore, the proposed method is designed based on a non-negative matrix factorization problem (i.e. a NP problem) for resisting quantum computing attacks.


title: BeTAIL: Behavior Transformer Adversarial Imitation Learning from Human Racing Gameplay

abstract: Imitation learning learns a policy from demonstrations without requiring hand-designed reward functions. In many robotic tasks, such as autonomous racing, imitated policies must model complex environment dynamics and human decision-making. Sequence modeling is highly effective in capturing intricate patterns of motion sequences but struggles to adapt to new environments or distribution shifts that are common in real-world robotics tasks. In contrast, Adversarial Imitation Learning (AIL) can mitigate this effect, but struggles with sample inefficiency and handling complex motion patterns. Thus, we propose BeTAIL: Behavior Transformer Adversarial Imitation Learning, which combines a Behavior Transformer (BeT) policy from human demonstrations with online AIL. BeTAIL adds an AIL residual policy to the BeT policy to model the sequential decision-making process of human experts and correct for out-of-distribution states or shifts in environment dynamics. We test BeTAIL on three challenges with expert-level demonstrations of real human gameplay in Gran Turismo Sport. Our proposed residual BeTAIL reduces environment interactions and improves racing performance and stability, even when the BeT is pretrained on different tracks than downstream learning. Videos and code available at: https://sites.google.com/berkeley.edu/BeTAIL/home.