title: Transport properties through alternating borophene and graphene superlattices

abstract: The electronic transport properties of two junctions (BGB, GBG) made of borophene (B) and graphene (G) are studied. Using the transfer matrix method with Chebyshev polynomials, we have studied single and multiple barriers in a superlattice configuration. We showed that a single barrier exhibits remarkable tilted transport properties, with perfect transmission observed for both junctions under normal incidence. We found that robust superlattice transmission is maintained for multiple barriers, particularly in the BGB junction. It turns out that by varying the incident energy, many gaps appear in the transmission probability. The number, width, and position of these transmission gaps can be manipulated by adjusting the number of cells, incident angle, and barrier characteristics. For diffuse transport, we observed significant variations in conductance and the Fano factor, highlighting the sensitivity of these junctions to the physical parameters. We showed different behaviors between BGB and GBG junctions, particularly with respect to the response of conductance and Fano factor when barrier height varies. For ballistic transport, we have seen that the minimum conductivity is related to the maximum Fano factor, demonstrating their control under specific conditions of the physical parameters. Analysis of the length ratio (geometric factor) revealed some remarkable patterns, where conductivity and the Fano factor converged to certain values as the ratio approached infinity.


title: Coexistence of non-Hermitian skin effect and extended states in one-dimensional nonreciprocal lattices

abstract: We study the one-dimensional non-Hermitian lattices with staggered onsite modulations and nonreciprocal hopping up to the next-nearest-neighboring (NNN) sites. Due to the NNN nonreciprocity, the non-Hermitian skin effect (NHSE) in the system under open boundary conditions (OBC) can be energy-dependent, and there will be NHSE edges in the eigenenergy spectrum, which separates the eigenstates localized at the opposite ends of the lattice. We find that the interplay between the nonreciprocal hopping and onsite modulations can reverse the direction of the skin effect and modify the position of the NHSE edge. Moreover, by tuning the system parameters, some of the eigenstates under OBC will become fully extended with the corresponding eigenenergies being imaginary under both open and periodic boundary conditions. Thus, the extended states can coexist with the NHSH in the same system. The NHSE can even be completely dissolved with all the eigenstates being extended when the modulation is imaginary. Our work unveils the intricate interplay between onsite modulations and nonreciprocal hopping in non-Hermitian systems.


title: Base-extension Semantics for S5 Modal Logic

abstract: We develop a proof-theoretic semantics -- in particular, a base-extension semantics -- for multi-agent S5 modal logic (and hence also for the usual unindexed S5). Following the inferentialist interpretation of logic, this gives us a semantics in which validity is based on proof rather than truth. In base-extension semantics, the validity of formulae is generated by provability in a `base' of atomic rules and an inductive definition of the validity of the connectives. Base-extension semantics for many interesting logics has been explored by several authors and, in particular, a base-extension semantics for the modal logics K, KT, K4, and S4 has been developed by the present authors. Here, we give a base-extension semantics for multi-agent S5 with $\square_a$, for an agent a, as our primary operators, framed as the knowledge operator K_a. Similarly to Kripke semantics, we make use of relational structure between bases, allowing us to establish a correspondence between certain bases and worlds. We use this to establish the appropriate soundness and completeness results. We conclude by discussing how this semantics can be extended to Dynamic Epistemic Logics (DEL) starting with Public Announcement Logic (PAL).


title: Uncovering Misattributed Suicide Causes through Annotation Inconsistency Detection in Death Investigation Notes

abstract: Data accuracy is essential for scientific research and policy development. The National Violent Death Reporting System (NVDRS) data is widely used for discovering the patterns and causes of death. Recent studies suggested the annotation inconsistencies within the NVDRS and the potential impact on erroneous suicide-cause attributions. We present an empirical Natural Language Processing (NLP) approach to detect annotation inconsistencies and adopt a cross-validation-like paradigm to identify problematic instances. We analyzed 267,804 suicide death incidents between 2003 and 2020 from the NVDRS. Our results showed that incorporating the target state's data into training the suicide-crisis classifier brought an increase of 5.4% to the F-1 score on the target state's test set and a decrease of 1.1% on other states' test set. To conclude, we demonstrated the annotation inconsistencies in NVDRS's death investigation notes, identified problematic instances, evaluated the effectiveness of correcting problematic instances, and eventually proposed an NLP improvement solution.


title: Puzzle game: Prediction and Classification of Wordle Solution Words

abstract: In MCM/ICM 2023, we proposed a new result prediction model for the popular game Wordle launched by The New York Times. We first preprocessed the raw data and then established a prediction model based on ARIMA to predict the number of report results as of March 1, 2023. We selected word usage frequency, word information entropy, and the number of repeated letters contained in the word as the attributes of the word, and conducted a correlation analysis between these three attributes and the percentage of seven attempts. We also established a regression model based on the XGBoost algorithm, predicted the distribution of reported results, and predicted the correlation percentage of "EERIE". In addition, we also constructed a word classification model that classified words into "simple", "moderate", and "difficult", and explored the relationship between the three attributes and the classification results. Finally, we calculated the percentage of players in the dataset who needed 3 or more attempts for each word. The appendix provides relevant information and problems to be solved for the mathematical modeling competition.


title: ATMOSPHERIX: III- Estimating the C/O ratio and molecular dynamics at the limbs of WASP-76 b with SPIRou

abstract: Measuring the abundances of C- and O-bearing species in exoplanet atmospheres enables us to constrain the C/O ratio, that contains indications about the planet formation history. With a wavelength coverage going from 0.95 to 2.5 microns, the high-resolution (R$\sim$70 000) spectropolarimeter SPIRou can detect spectral lines of major bearers of C and O in exoplanets. Here we present our study of SPIRou transmission spectra of WASP-76 b acquired for the ATMOSPHERIX program. We applied the publicly available data analysis pipeline developed within the ATMOSPHERIX consortium, analysing the data using 1-D models created with the petitRADTRANS code, with and without a grey cloud deck. We report the detection of H$_2$O and CO at a Doppler shift of around -6 km.s$^{-1}$, consistent with previous observations of the planet. Finding a deep cloud deck to be favoured, we measured in mass mixing ratio (MMR) log(H$_2$O)$_{MMR}$ = -4.52 $\pm$ 0.77 and log(CO)$_{MMR}$ = -3.09 $\pm$ 1.05 consistent with a sub-solar metallicity to more than 1$\sigma$. We report 3$\sigma$ upper limits for the abundances of C$_2$H$_2$, HCN and OH. We estimated a C/O ratio of 0.94 $\pm$ 0.39 ($\sim$ 1.7 $\pm$ 0.7 x solar, with errors indicated corresponding to the 2$\sigma$ values) for the limbs of WASP-76 b at the pressures probed by SPIRou. We used 1-D ATMO forward models to verify the validity of our estimation. Comparing them to our abundance estimations of H$_2$O and CO, as well as our upper limits for C$_2$H$_2$, HCN and OH, we found that our results were consistent with a C/O ratio between 1 and 2 x solar, and hence with our C/O estimation. Finally, we found indications of asymmetry for both H$_2$O and CO when investigating the dynamics of their signatures, pointing to a complex scenario involving possibly both a temperature difference between limbs and clouds being behind the asymmetry this planet is best known for.


title: BAMM: Bidirectional Autoregressive Motion Model

abstract: Generating human motion from text has been dominated by denoising motion models either through diffusion or generative masking process. However, these models face great limitations in usability by requiring prior knowledge of the motion length. Conversely, autoregressive motion models address this limitation by adaptively predicting motion endpoints, at the cost of degraded generation quality and editing capabilities. To address these challenges, we propose Bidirectional Autoregressive Motion Model (BAMM), a novel text-to-motion generation framework. BAMM consists of two key components: (1) a motion tokenizer that transforms 3D human motion into discrete tokens in latent space, and (2) a masked self-attention transformer that autoregressively predicts randomly masked tokens via a hybrid attention masking strategy. By unifying generative masked modeling and autoregressive modeling, BAMM captures rich and bidirectional dependencies among motion tokens, while learning the probabilistic mapping from textual inputs to motion outputs with dynamically-adjusted motion sequence length. This feature enables BAMM to simultaneously achieving high-quality motion generation with enhanced usability and built-in motion editability. Extensive experiments on HumanML3D and KIT-ML datasets demonstrate that BAMM surpasses current state-of-the-art methods in both qualitative and quantitative measures. Our project page is available at https://exitudio.github.io/BAMM-page


title: "At the end of the day, I am accountable": Gig Workers' Self-Tracking for Multi-Dimensional Accountability Management

abstract: Tracking is inherent in and central to the gig economy. Platforms track gig workers' performance through metrics such as acceptance rate and punctuality, while gig workers themselves engage in self-tracking. Although prior research has extensively examined how gig platforms track workers through metrics -- with some studies briefly acknowledging the phenomenon of self-tracking among workers -- there is a dearth of studies that explore how and why gig workers track themselves. To address this, we conducted 25 semi-structured interviews, revealing how gig workers self-tracking to manage accountabilities to themselves and external entities across three identities: the holistic self, the entrepreneurial self, and the platformized self. We connect our findings to neoliberalism, through which we contextualize gig workers' self-accountability and the invisible labor of self-tracking. We further discuss how self-tracking mitigates information and power asymmetries in gig work and offer design implications to support gig workers' multi-dimensional self-tracking.


title: The largest-$K$-norm for general measure spaces and a DC Reformulation for $L^0$-Constrained Problems in Function Spaces

abstract: We consider constraints on the measure of the support for integrable functions on arbitrary measure spaces. It is shown that this non-convex and discontinuous constraint can be equivalently reformulated by the difference of two convex and continuous functions, namely the $L^1$-norm and the so-called largest-$K$-norm. The largest-$K$-norm is studied and its convex subdifferential is derived. An exemplary problem is solved by applying a DC method to the reformulated problem.


title: SubjectDrive: Scaling Generative Data in Autonomous Driving via Subject Control

abstract: Autonomous driving progress relies on large-scale annotated datasets. In this work, we explore the potential of generative models to produce vast quantities of freely-labeled data for autonomous driving applications and present SubjectDrive, the first model proven to scale generative data production in a way that could continuously improve autonomous driving applications. We investigate the impact of scaling up the quantity of generative data on the performance of downstream perception models and find that enhancing data diversity plays a crucial role in effectively scaling generative data production. Therefore, we have developed a novel model equipped with a subject control mechanism, which allows the generative model to leverage diverse external data sources for producing varied and useful data. Extensive evaluations confirm SubjectDrive's efficacy in generating scalable autonomous driving training data, marking a significant step toward revolutionizing data production methods in this field.


title: Dynamic Analyses of Contagion Risk and Module Evolution on the SSE A-Shares Market Based on Minimum Information Entropy

abstract: The interactive effect is significant in the Chinese stock market, exacerbating the abnormal market volatilities and risk contagion. Based on daily stock returns in the Shanghai Stock Exchange (SSE) A-shares, this paper divides the period between 2005 and 2018 into eight bull and bear market stages to investigate interactive patterns in the Chinese financial market. We employ the LASSO method to construct the stock network and further use the Map Equation method to analyze the evolution of modules in the SSE A-shares market. Empirical results show: (1) The connected effect is more significant in bear markets than bull markets; (2) A system module can be found in the network during the first four stages, and the industry aggregation effect leads to module differentiation in the last four stages; (3) Some stocks have leading effects on others throughout eight periods, and medium- and small-cap stocks with poor financial conditions are more likely to become risk sources, especially in bear markets. Our conclusions are beneficial to improving investment strategies and making regulatory policies.


title: Gaussian Formalism: Concrete Realization of Joint Measurement for Heisenberg's Uncertainty Relation for Errors

abstract: We point out that the Gaussian wave-packet formalism can serve as a concrete realization of the joint measurement of position and momentum, which is an essential element in understanding Heisenberg's original philosophy of the uncertainty principle, in line with the universal framework of error, disturbance, and their uncertainty relations developed by Lee and Tsutsui. We show that our joint measurement in the Gaussian phase space, being a Positive Operator-Valued Measure (POVM) measurement, smoothly interpolates between the projective measurements of position and momentum. We, for the first time, have obtained the Lee-Tsutsui (LT) error and the refined Lee error for the position-momentum measurement. We find that the LT uncertainty relation becomes trivial, $0=0$, in the limiting case of projective measurement of either position or momentum. Remarkably, in contrast to the LT relation, the refined Lee uncertainty relation, which assesses errors for local representability, provides a constant lower bound unaffected by these limits and is invariably saturated, for a pure Gaussian initial state. The obtained lower bound is in agreement with Heisenberg's value.


title: A Novel Stochastic Transformer-based Approach for Post-Traumatic Stress Disorder Detection using Audio Recording of Clinical Interviews

abstract: Post-traumatic stress disorder (PTSD) is a mental disorder that can be developed after witnessing or experiencing extremely traumatic events. PTSD can affect anyone, regardless of ethnicity, or culture. An estimated one in every eleven people will experience PTSD during their lifetime. The Clinician-Administered PTSD Scale (CAPS) and the PTSD Check List for Civilians (PCL-C) interviews are gold standards in the diagnosis of PTSD. These questionnaires can be fooled by the subject's responses. This work proposes a deep learning-based approach that achieves state-of-the-art performances for PTSD detection using audio recordings during clinical interviews. Our approach is based on MFCC low-level features extracted from audio recordings of clinical interviews, followed by deep high-level learning using a Stochastic Transformer. Our proposed approach achieves state-of-the-art performances with an RMSE of 2.92 on the eDAIC dataset thanks to the stochastic depth, stochastic deep learning layers, and stochastic activation function.


title: Exploiting Individual Graph Structures to Enhance Ecological Momentary Assessment (EMA) Forecasting

abstract: In the evolving field of psychopathology, the accurate assessment and forecasting of data derived from Ecological Momentary Assessment (EMA) is crucial. EMA offers contextually-rich psychopathological measurements over time, that practically lead to Multivariate Time Series (MTS) data. Thus, many challenges arise in analysis from the temporal complexities inherent in emotional, behavioral, and contextual EMA data as well as their inter-dependencies. To address both of these aspects, this research investigates the performance of Recurrent and Temporal Graph Neural Networks (GNNs). Overall, GNNs, by incorporating additional information from graphs reflecting the inner relationships between the variables, notably enhance the results by decreasing the Mean Squared Error (MSE) to 0.84 compared to the baseline LSTM model at 1.02. Therefore, the effect of constructing graphs with different characteristics on GNN performance is also explored. Additionally, GNN-learned graphs, which are dynamically refined during the training process, were evaluated. Using such graphs showed a similarly good performance. Thus, graph learning proved also promising for other GNN methods, potentially refining the pre-defined graphs.


title: Mixed Preference Optimization: Reinforcement Learning with Data Selection and Better Reference Model

abstract: Large Language Models (LLMs) have become increasingly popular due to their ability to process and generate natural language. However, as they are trained on massive datasets of text, LLMs can inherit harmful biases and produce outputs that are not aligned with human values. This paper studies two main approaches to LLM alignment: Reinforcement Learning with Human Feedback (RLHF) and contrastive learning-based methods like Direct Preference Optimization (DPO). By analyzing the stability and robustness of RLHF and DPO, we propose MPO (Mixed Preference Optimization), a novel method that mitigates the weaknesses of both approaches. Specifically, we propose a two-stage training procedure: first train DPO on an easy dataset, and then perform RLHF on a difficult set with DPO model being the reference model. Here, the easy and difficult sets are constructed by a well-trained reward model that splits response pairs into those with large gaps of reward (easy), and those with small gaps (difficult). The first stage allows us to obtain a relatively optimal policy (LLM) model quickly, whereas the second stage refines LLM with online RLHF, thus mitigating the distribution shift issue associated with DPO. Experiments are conducted on two public alignment datasets, namely HH-RLHF and TLDR, demonstrating the effectiveness of MPO, both in terms of GPT4 and human evaluation.


title: Transparent and Clinically Interpretable AI for Lung Cancer Detection in Chest X-Rays

abstract: The rapidly advancing field of Explainable Artificial Intelligence (XAI) aims to tackle the issue of trust regarding the use of complex black-box deep learning models in real-world applications. Existing post-hoc XAI techniques have recently been shown to have poor performance on medical data, producing unreliable explanations which are infeasible for clinical use. To address this, we propose an ante-hoc approach based on concept bottleneck models which introduces for the first time clinical concepts into the classification pipeline, allowing the user valuable insight into the decision-making process. On a large public dataset of chest X-rays and associated medical reports, we focus on the binary classification task of lung cancer detection. Our approach yields improved classification performance in lung cancer detection when compared to baseline deep learning models (F1 > 0.9), while also generating clinically relevant and more reliable explanations than existing techniques. We evaluate our approach against post-hoc image XAI techniques LIME and SHAP, as well as CXR-LLaVA, a recent textual XAI tool which operates in the context of question answering on chest X-rays.


title: Long-range Phase Coherence and Tunable Second Order ${\phi}_0$-Josephson Effect in a Dirac Semimetal $1T-PtTe_2$

abstract: Superconducting diode effects have recently attracted much attention for their potential applications in superconducting logic circuits. Several mechanisms such as magneto-chiral effects, finite momentum Cooper pairing, asymmetric edge currents have been proposed to give rise to a supercurrent diode effect in different materials. In this work, we establish the presence of a large intrinsic Josephson diode effect in a type-II Dirac semimetal $1T-PtTe_2$ facilitated by its helical spin-momentum locking and distinguish it from other extrinsic effects. The magnitude of the Josephson diode effect is shown to be directly correlated to the large second-harmonic component of the supercurrent that is induced by the significant contribution of the topological spin-momentum locked states that promote coherent Andreev processes in the junction. We denote such junctions, where the relative phase between the two harmonics corresponding to charge transfers of $2e$ and $4e$ can be tuned by a magnetic field, as second order ${\phi}_0$-junctions. The direct correspondence between the second harmonic supercurrent component and the diode effect in $1T-PtTe_2$ junctions makes topological semimetals with high transparency an ideal platform to study and implement the Josephson diode effect, while also enabling further research on higher order supercurrent transport in Josephson junctions.


title: EDA-Driven Preprocessing for SAT Solving

abstract: Effective formulation of problems into Conjunctive Normal Form (CNF) is critical in modern Boolean Satisfiability (SAT) solving for optimizing solver performance. Addressing the limitations of existing methods, our Electronic Design Automation (EDA)-driven preprocessing framework introduces a novel methodology for preparing SAT instances, leveraging both circuit and CNF formats for enhanced flexibility and efficiency. Central to our approach is the integration of a new logic synthesis technique, guided by a reinforcement learning agent, and a novel cost-customized LUT mapping strategy, enabling efficient handling of diverse SAT challenges. By transforming the SAT competition benchmarks into circuit instances, our framework demonstrates substantial performance improvements, as evidenced by a 52.42% reduction on average compared to solving directly. Moreover, our framework achieves a remarkable 96.14% runtime reduction on average for a set of logic equivalence checking problems that exhibit inherent circuit structures. These results highlight the effectiveness and versatility of our approach in handling both CNF and circuit instances. The code is available at https://github.com/cure-lab/EDA4SAT.


title: The ALMaQUEST Survey XV: The Dependence of the Molecular-to-Atomic Gas Ratios on Resolved Optical Diagnostics

abstract: The atomic-to-molecular gas conversion is a critical step in the baryon cycle of galaxies, which sets the initial conditions for subsequent star formation and influences the multi-phase interstellar medium. We compiled a sample of 94 nearby galaxies with observations of multi-phase gas contents by utilizing public H I, CO, and optical IFU data from the MaNGA survey together with new FAST H I observations. In agreement with previous results, our sample shows that the global molecular-to-atomic gas ratio ($R_{\rm mol} \equiv$ log $M_{\rm H_2}/M_{\rm H\ I}$) is correlated with the global stellar mass surface density $\mu_*$ with a Kendall's $\tau$ coefficient of 0.25 and $p < 10^{-3}$, less tightly but still correlated with stellar mass and NUV$-$ r color, and not related to the specific star formation rate (sSFR). The cold gas distribution and kinematics inferred from the H I and CO global profile asymmetry and shape do not significantly rely on $R_{\rm mol}$. Thanks to the availability of kpc-scale observations of MaNGA, we decompose galaxies into H II, composite, and AGN-dominated regions by using the BPT diagrams. With increasing $R_{\rm mol}$, the fraction of H II regions within 1.5 effective radius decreases slightly; the density distribution in the spatially resolved BPT diagram also changes significantly, suggesting changes in metallicity and ionization states. Galaxies with high $R_{\rm mol}$ tend to have high oxygen abundance, both at one effective radius with a Kendall's $\tau$ coefficient of 0.37 ($p < 10^{-3}$) and their central regions. Among all parameters investigated here, the oxygen abundance at one effective radius has the strongest relation with global $R_{\rm mol}$, but the dependence of gas conversion on gas distribution and galaxy ionization states is weak.


title: Fisher-Rao Gradient Flows of Linear Programs and State-Action Natural Policy Gradients

abstract: Kakade's natural policy gradient method has been studied extensively in the last years showing linear convergence with and without regularization. We study another natural gradient method which is based on the Fisher information matrix of the state-action distributions and has received little attention from the theoretical side. Here, the state-action distributions follow the Fisher-Rao gradient flow inside the state-action polytope with respect to a linear potential. Therefore, we study Fisher-Rao gradient flows of linear programs more generally and show linear convergence with a rate that depends on the geometry of the linear program. Equivalently, this yields an estimate on the error induced by entropic regularization of the linear program which improves existing results. We extend these results and show sublinear convergence for perturbed Fisher-Rao gradient flows and natural gradient flows up to an approximation error. In particular, these general results cover the case of state-action natural policy gradients.

categories: math.OC cs.LG cs.NA cs.SY eess.SY math.NA stat.ML


title: O-RAN for Energy-Efficient Serving Cluster Formulation in User-Centric Cell-Free MMIMO

abstract: The 6G Massive Multiple-Input Multiple-Output (MMIMO) networks can follow the so-called User-Centric Cell-Free (UCCF) architecture, where a single user is served by multiple Access Points (APs) coordinated by the Central Processing Unit (CPU). In this paper, we propose how O-RAN functionalities, i.e., rApp-xApp pair, can be used for energy-efficient Serving Cluster Formulation (SCF). Simulation studies show up to 37\% gain in Energy Efficiency (EE) of the proposed solution over the state-of-the-art Network-Centric (NC) designs.


title: Observational Constraints on the Maximum Masses of White Dwarfs, Neutron Stars, and Exotic Stars in Non-Minimal Derivative Coupling Gravity

abstract: The advancement of astronomical observations opens the possibility of testing our current understanding of gravitational theory in the strong-field regime and probing any deviation from general relativity. We explore to what extent compact stars predicted by non-minimal derivative coupling (NMDC) gravity theory agree with observed data. We investigate white dwarfs (WDs), neutron stars (NSs), and quark stars (QSs) mass and radius in various values of constant scalar $|Q_{\infty}|$ at coupling strength of $\eta=\pm1$. This study focuses on the astrophysical impacts of altering maximum masses by values of $|Q_{\infty}|$ and $\eta$. From an observational point of view, we found that WD stars are consistent with ultra-cold WD data at $|Q_{\infty}| \lesssim 0.2$. We also found that QS has a similar impact of mass-radius to NS, where the modification is more significant at higher (central) density. For NS and QS EoSs, the value $|Q_{\infty}|$ strongly alters the critical mass and might eliminate the $M-\rho_c$ turning point in the negative $\eta$ case. In that case, the sufficiently large $|Q_{\infty}|$ could predict $M>2.6 M_\odot$ NS and QS, i.e., larger than GW190814 secondary counterpart. We suggest that the lower mass gap in the gravitational wave and x-ray binary mass population data might restrict the theory's $|Q_{\infty}|$.


title: Imaging spectroscopy of spectral bump in a type II radio burst

abstract: Context. Observations of solar type II radio bursts provide a unique opportunity to analyze the non-thermal electrons accelerated by coronal shocks and also to diagnose the plasma density distribution in the corona. However, there are very rare high-frequency resolution interferometric observations for type II radio bursts that are capable of tracking these electrons. Aims. Recently, more spatially resolved high-resolution observations of type II radio bursts have been recorded with the Low-Frequency Array (LOFAR). Using these observations, we aim to track the location of a type II radio burst that experiences a sudden spectral bump. Methods. Here, we present the first radio imaging observations for a type II burst with a spectral bump. We measure the variation in source location and frequency drift of the type II burst, and deduct the density distribution along its propagation direction. Results. We identified a type II burst that experiences a sudden spectral bump in its frequency-time profile. The overall frequency drift rate is 0.06 MHz/s and it corresponds to an estimated speed of 295 km/s. The projected speed of the radio source obtained from imaging is 380 km/s towards the east direction. At the spectral bump, a deviation in the source locations of the type II split bands is observed. The band separation increases significantly in the north-south direction. Conclusions. The spectral bump shows an 8 MHz deviation at 60 MHz which corresponds to a 25% decrease in the plasma density. The estimated crossing distance during the spectrum bump in type II is 29 Mm suggesting that this density variation occurs in a confined area. This indicates that the shock most likely encounters the upper extent of a coronal hole.


title: A partitioned dipole-antenna shower with improved transverse recoil

abstract: The implementation of a new final-state parton-shower algorithm in the Pythia event generator is described. The shower algorithm, dubbed Apollo, combines central aspects of the Vincia antenna shower with the global transverse-recoil scheme of the Alaric framework in order to achieve formal consistency with next-to-leading logarithmic (NLL) resummation. The shower algorithm is constructed in such a way that it facilitates a straightforward combination with fixed-order calculations. As an explicit proof of concept, a general scheme for matrix-element corrections (MECs) and two separate multiplicative next-to-leading order (NLO) matching schemes are outlined. It is argued that both matching schemes retain the logarithmic accuracy of the shower. The improved modelling of radiation is examined by contrasting the new algorithm with existing leading-logarithmic parton showers in Pythia.


title: The submodularity of the covolume function in global function fields

abstract: In this paper, we study the submodularity of the covolume function in global function fields. The submodular property is often needed in the study of homogeneous dynamics, especially to define a Margulis function. We proved that the covolume function is submodular when the class group of the global function field is trivial.


title: JDocQA: Japanese Document Question Answering Dataset for Generative Language Models

abstract: Document question answering is a task of question answering on given documents such as reports, slides, pamphlets, and websites, and it is a truly demanding task as paper and electronic forms of documents are so common in our society. This is known as a quite challenging task because it requires not only text understanding but also understanding of figures and tables, and hence visual question answering (VQA) methods are often examined in addition to textual approaches. We introduce Japanese Document Question Answering (JDocQA), a large-scale document-based QA dataset, essentially requiring both visual and textual information to answer questions, which comprises 5,504 documents in PDF format and annotated 11,600 question-and-answer instances in Japanese. Each QA instance includes references to the document pages and bounding boxes for the answer clues. We incorporate multiple categories of questions and unanswerable questions from the document for realistic question-answering applications. We empirically evaluate the effectiveness of our dataset with text-based large language models (LLMs) and multimodal models. Incorporating unanswerable questions in finetuning may contribute to harnessing the so-called hallucination generation.


title: Stabilization of a Class of Large-Scale Systems of Linear Hyperbolic PDEs via Continuum Approximation of Exact Backstepping Kernels

abstract: We establish that stabilization of a class of linear, hyperbolic partial differential equations (PDEs) with a large (nevertheless finite) number of components, can be achieved via employment of a backstepping-based control law, which is constructed for stabilization of a continuum version (i.e., as the number of components tends to infinity) of the PDE system. This is achieved by proving that the exact backstepping kernels, constructed for stabilization of the large-scale system, can be approximated (in certain sense such that exponential stability is preserved) by the backstepping kernels constructed for stabilization of a continuum version (essentially an infinite ensemble) of the original PDE system. The proof relies on construction of a convergent sequence of backstepping kernels that is defined such that each kernel matches the exact backstepping kernels (derived based on the original, large-scale system), in a piecewise constant manner with respect to an ensemble variable; while showing that they satisfy the continuum backstepping kernel equations. We present a numerical example that reveals that complexity of computation of stabilizing backstepping kernels may not scale with the number of components of the PDE state, when the kernels are constructed on the basis of the continuum version, in contrast to the case in which they are constructed on the basis of the original, large-scale system. In addition, we formally establish the connection between the solutions to the large-scale system and its continuum counterpart. Thus, this approach can be useful for design of computationally tractable, stabilizing backstepping-based control laws for large-scale PDE systems.


title: Break-for-Make: Modular Low-Rank Adaptations for Composable Content-Style Customization

abstract: Personalized generation paradigms empower designers to customize visual intellectual properties with the help of textual descriptions by tuning or adapting pre-trained text-to-image models on a few images. Recent works explore approaches for concurrently customizing both content and detailed visual style appearance. However, these existing approaches often generate images where the content and style are entangled. In this study, we reconsider the customization of content and style concepts from the perspective of parameter space construction. Unlike existing methods that utilize a shared parameter space for content and style, we propose a learning framework that separates the parameter space to facilitate individual learning of content and style, thereby enabling disentangled content and style. To achieve this goal, we introduce "partly learnable projection" (PLP) matrices to separate the original adapters into divided sub-parameter spaces. We propose "break-for-make" customization learning pipeline based on PLP, which is simple yet effective. We break the original adapters into "up projection" and "down projection", train content and style PLPs individually with the guidance of corresponding textual prompts in the separate adapters, and maintain generalization by employing a multi-correspondence projection learning strategy. Based on the adapters broken apart for separate training content and style, we then make the entity parameter space by reconstructing the content and style PLPs matrices, followed by fine-tuning the combined adapter to generate the target object with the desired appearance. Experiments on various styles, including textures, materials, and artistic style, show that our method outperforms state-of-the-art single/multiple concept learning pipelines in terms of content-style-prompt alignment.


title: Transmissive RIS Transmitter Enabled Spatial Modulation for MIMO Systems

abstract: In this paper, we propose a novel transmissive reconfigurable intelligent surface (TRIS) transmitter-enabled spatial modulation (SM) multiple-input multiple-output (MIMO) system. In the transmission phase, a column-wise activation strategy is implemented for the TRIS panel, where the specific column elements are activated per time slot. Concurrently, the receiver employs the maximum likelihood detection technique. Based on this, for the transmit signals, we derive the closed-form expressions for the upper bounds of the average bit error probability (ABEP) of the proposed scheme from different perspectives, employing both vector-based and element-based approaches. Furthermore, we provide the asymptotic closed-form expressions for the ABEP of the TRIS-SM scheme, as well as the diversity gain. To improve the performance of the proposed TRIS-SM system, we optimize ABEP with a fixed data rate. Additionally, we provide lower bounds to simplify the computational complexity of improved TRIS-SM scheme. The Monte Carlo simulation method is used to validate the theoretical derivations exhaustively. The results demonstrate that the proposed TRIS-SM scheme can achieve better ABEP performance compared to the conventional SM scheme. Furthermore, the improved TRIS-SM scheme outperforms the TRIS-SM scheme in terms of reliability.


title: Evaluation of Transit cosmological model in $f(R,T^{\phi})$ theory of gravity

abstract: We have explored a transitioning cosmic model, depicting late-time accelerated expansion in $f(R,T^{\phi})$ theory of gravity for an isotropic and homogeneous universe, where the trace of energy-momentum tensor $T^{\phi}$ is the function of the self-interacting scalar field $\phi$. We have proposed an explicit solution to the derived model by utilizing a scale factor of the hybrid form $a(t) = t^{\alpha} e^{\beta t}$, where $\alpha$ and $\beta$ are constants. To evaluate the best-fit values of free parameters of the suggested model, the statistical analysis based on the Markov Chain Monte Carlo (MCMC) method has been employed on 57 OHD points. We have described the dynamical features of the model like energy density, cosmic pressure, and equation of state parameter in the context of scalar field $\phi$. We have also described the potential and behavior of the scalar field for quintessence and phantom scenarios. The deceleration parameter depicts a transitioning universe with signature flipping at $z_t = 0.82$ with the present value of deceleration parameter $q_0=-0.41$. The violation of SEC for the derived model indicates the cosmic expansion at a faster rate. We have used statefinders to diagnose the model. The findings for our theoretical model indicate that the derived model agrees with observed findings within a particular range of limitations.


title: NeuroLGP-SM: A Surrogate-assisted Neuroevolution Approach using Linear Genetic Programming

abstract: Evolutionary algorithms are increasingly recognised as a viable computational approach for the automated optimisation of deep neural networks (DNNs) within artificial intelligence. This method extends to the training of DNNs, an approach known as neuroevolution. However, neuroevolution is an inherently resource-intensive process, with certain studies reporting the consumption of thousands of GPU days for refining and training a single DNN network. To address the computational challenges associated with neuroevolution while still attaining good DNN accuracy, surrogate models emerge as a pragmatic solution. Despite their potential, the integration of surrogate models into neuroevolution is still in its early stages, hindered by factors such as the effective use of high-dimensional data and the representation employed in neuroevolution. In this context, we address these challenges by employing a suitable representation based on Linear Genetic Programming, denoted as NeuroLGP, and leveraging Kriging Partial Least Squares. The amalgamation of these two techniques culminates in our proposed methodology known as the NeuroLGP-Surrogate Model (NeuroLGP-SM). For comparison purposes, we also code and use a baseline approach incorporating a repair mechanism, a common practice in neuroevolution. Notably, the baseline approach surpasses the renowned VGG-16 model in accuracy. Given the computational intensity inherent in DNN operations, a singular run is typically the norm. To evaluate the efficacy of our proposed approach, we conducted 96 independent runs. Significantly, our methodologies consistently outperform the baseline, with the SM model demonstrating superior accuracy or comparable results to the NeuroLGP approach. Noteworthy is the additional advantage that the SM approach exhibits a 25% reduction in computational requirements, further emphasising its efficiency for neuroevolution.


title: RiEMann: Near Real-Time SE(3)-Equivariant Robot Manipulation without Point Cloud Segmentation

abstract: We present RiEMann, an end-to-end near Real-time SE(3)-Equivariant Robot Manipulation imitation learning framework from scene point cloud input. Compared to previous methods that rely on descriptor field matching, RiEMann directly predicts the target poses of objects for manipulation without any object segmentation. RiEMann learns a manipulation task from scratch with 5 to 10 demonstrations, generalizes to unseen SE(3) transformations and instances of target objects, resists visual interference of distracting objects, and follows the near real-time pose change of the target object. The scalable action space of RiEMann facilitates the addition of custom equivariant actions such as the direction of turning the faucet, which makes articulated object manipulation possible for RiEMann. In simulation and real-world 6-DOF robot manipulation experiments, we test RiEMann on 5 categories of manipulation tasks with a total of 25 variants and show that RiEMann outperforms baselines in both task success rates and SE(3) geodesic distance errors on predicted poses (reduced by 68.6%), and achieves a 5.4 frames per second (FPS) network inference speed. Code and video results are available at https://riemann-web.github.io/.


title: Learning Sampling Distribution and Safety Filter for Autonomous Driving with VQ-VAE and Differentiable Optimization

abstract: Sampling trajectories from a distribution followed by ranking them based on a specified cost function is a common approach in autonomous driving. Typically, the sampling distribution is hand-crafted (e.g a Gaussian, or a grid). Recently, there have been efforts towards learning the sampling distribution through generative models such as Conditional Variational Autoencoder (CVAE). However, these approaches fail to capture the multi-modality of the driving behaviour due to the Gaussian latent prior of the CVAE. Thus, in this paper, we re-imagine the distribution learning through vector quantized variational autoencoder (VQ-VAE), whose discrete latent-space is well equipped to capture multi-modal sampling distribution. The VQ-VAE is trained with demonstration data of optimal trajectories. We further propose a differentiable optimization based safety filter to minimally correct the VQVAE sampled trajectories to ensure collision avoidance. We use backpropagation through the optimization layers in a self-supervised learning set-up to learn good initialization and optimal parameters of the safety filter. We perform extensive comparisons with state-of-the-art CVAE-based baseline in dense and aggressive traffic scenarios and show a reduction of up to 12 times in collision-rate while being competitive in driving speeds.


title: Offline Imitation Learning from Multiple Baselines with Applications to Compiler Optimization

abstract: This work studies a Reinforcement Learning (RL) problem in which we are given a set of trajectories collected with K baseline policies. Each of these policies can be quite suboptimal in isolation, and have strong performance in complementary parts of the state space. The goal is to learn a policy which performs as well as the best combination of baselines on the entire state space. We propose a simple imitation learning based algorithm, show a sample complexity bound on its accuracy and prove that the the algorithm is minimax optimal by showing a matching lower bound. Further, we apply the algorithm in the setting of machine learning guided compiler optimization to learn policies for inlining programs with the objective of creating a small binary. We demonstrate that we can learn a policy that outperforms an initial policy learned via standard RL through a few iterations of our approach.


title: Comparative study of magnetic quantum oscillations in Hall and transverse magnetoresistance

abstract: Magnetic quantum oscillations (MQO) of Hall coefficient are measured in rare-earth tritelluride TmTe$_{3}$ and shown to be much stronger and persist to higher temperature than the Shubnikov oscillations. It is general for MQO in strongly anisotropic metals, and the combined measurements of Hall and diagonal magnetoresistance provide useful informations about the electronic structure. The ratio of their MQO amplitudes depends linearly on magnetic field, and its slope gives a simple and accurate measurement tool of the electron mean free time and its temperature dependence.


title: Quantitatively rating galaxy simulations against real observations with anomaly detection

abstract: Cosmological galaxy formation simulations are powerful tools to understand the complex processes that govern the formation and evolution of galaxies. However, evaluating the realism of these simulations remains a challenge. The two common approaches for evaluating galaxy simulations is either through scaling relations based on a few key physical galaxy properties, or through a set of pre-defined morphological parameters based on galaxy images. This paper proposes a novel image-based method for evaluating the quality of galaxy simulations using unsupervised deep learning anomaly detection techniques. By comparing full galaxy images, our approach can identify and quantify discrepancies between simulated and observed galaxies. As a demonstration, we apply this method to SDSS imaging and NIHAO simulations with different physics models, parameters, and resolution. We further compare the metric of our method to scaling relations as well as morphological parameters. We show that anomaly detection is able to capture similarities and differences between real and simulated objects that scaling relations and morphological parameters are unable to cover, thus indeed providing a new point of view to validate and calibrate cosmological simulations against observed data.


title: Strain distribution in WS2 monolayers detected through Polarization-resolved Second Harmonic Generation

abstract: Two-dimensional (2D) graphene and graphene-related materials (GRMs) show great promise for future electronic devices. Nevertheless, GRMs result distinct properties under the influence of the substrate that serves as support through uneven compression/ elongation of GRMs surface atoms. Strain in GRM monolayers is the most common feature that alters the interatomic distances, band structure, providing a new degree of freedom that allows regulation of their electronic properties and introducing the field of straintronics. Having an all-optical detection, a minimally invasive tool that rapidly probes strain in large areas of GRM monolayers, would be of great importance in the research and development of novel 2D devices. Here, we use Polarization-resolved Second Harmonic Generation (P-SHG) optical imaging to identify strain distribution, induced in a single layer of WS2 placed on a pre-patterned Si/SiO2 substrate with cylindrical wells. By fitting the P-SHG data pixel-by-pixel, we produce spatially resolved images of the crystal armchair direction. In regions where the WS2 monolayer conforms to the pattern topography, a distinct cross-shaped pattern is evident in the armchair image owing to strain. The presence of strain in these regions is independently confirmed using a combination of atomic force microscopy and Raman mapping.


title: Well-Posedness of the generalised Dean-Kawasaki Equation with correlated noise on bounded domains

abstract: In this paper, we extend the notion of stochastic kinetic solutions introduced in arXiv:2108.08858 to establish the well-posedness of stochastic kinetic solutions of generalized Dean-Kawasaki equations with correlated noise on bounded, $C^2$-domains with Dirichlet boundary conditions. The results apply to a wide class of non-negative boundary data, which is based on certain a priori estimates for the solutions, that encompasses all non-negative constant functions including zero and all smooth functions bounded away from zero.


title: Beyond Talking -- Generating Holistic 3D Human Dyadic Motion for Communication

abstract: In this paper, we introduce an innovative task focused on human communication, aiming to generate 3D holistic human motions for both speakers and listeners. Central to our approach is the incorporation of factorization to decouple audio features and the combination of textual semantic information, thereby facilitating the creation of more realistic and coordinated movements. We separately train VQ-VAEs with respect to the holistic motions of both speaker and listener. We consider the real-time mutual influence between the speaker and the listener and propose a novel chain-like transformer-based auto-regressive model specifically designed to characterize real-world communication scenarios effectively which can generate the motions of both the speaker and the listener simultaneously. These designs ensure that the results we generate are both coordinated and diverse. Our approach demonstrates state-of-the-art performance on two benchmark datasets. Furthermore, we introduce the HoCo holistic communication dataset, which is a valuable resource for future research. Our HoCo dataset and code will be released for research purposes upon acceptance.


title: The phase curve of the ultra-hot Jupiter WASP-167b as seen by TESS

abstract: Ultra-hot Jupiters (UHJs) orbiting pulsating A/F stars represent an important subset of the exoplanetary demographic, as they are excellent candidates for the study of exoplanetary atmospheres, as well as being astrophysical laboratories for the investigation of planet-to-star interactions. We analyse the \texttt{TESS} (Transiting Exoplanet Survey Satellite) light curve of the WASP-167 system, consisting of an F1V star and a substellar companion on a $\sim 2.02$ day orbit. We model the combination of the ellipsoidal variability and the Doppler beaming to measure the mass of WASP-167b, and the reflection effect to obtain constraints on the geometric albedo, while placing a special emphasis on noise separation. We implement a basic model to determine the dayside ($T_{\rm Day}$), nightside ($T_{\rm Night}$) and intrinsic ($T_{\rm Internal}$) temperatures of WASP-167b and put a constraint on its Bond albedo. We confirm the transit parameters of the planet seen in the literature. We find that a resonant $\sim 2P^{-1}$ stellar signal (which may originate from planet-to-star interactions) interferes with the phase curve analysis. After considerate treatment of this signal, we find $M_p = 0.34 \pm 0.22$~$M_J$. We measure a dayside temperature of $2790 \pm 100$ K, classifying WASP-167b as an UHJ. We find a $2\sigma$ upper limit of $0.51$ on its Bond albedo, and determine the geometric albedo at $0.34 \pm 0.11$ ($1 \sigma$ uncertainty). With an occultation depth of $106.8 \pm 27.3$ ppm in the \texttt{TESS} passband, the UHJ WASP-167b will be an excellent target for atmospheric studies, especially those at thermal wavelength ranges, where the stellar pulsations are expected to be be less influential.


title: Dynamic interaction between chiral currents and surface waves in topological superfluids: a pathway to detect Majorana fermions?

abstract: Despite extensive experimental efforts over the past two decades, the quest for Majorana fermions in superconductors remains inconclusive. We propose an experimental method that can conclusively confirm, or rule out, the existence of these quasiparticles: Firstly, we shift focus from superconductors, whose very topological nature is disputed, to the unambiguous topological superfluid $^3$He. Secondly, we identify the interaction between surface waves and the chiral Majorana current in the bulk of a topological superfluid of varying density. The proposed experiment provides a path towards the detection of the Majorana fermion, an 80-year-old theoretical prediction. It is realistically achievable based on the advent of microscopic superfluid resonators coupled to optical cavities. The proposal may open the door to experiments ranging from simulations of exotic cosmological particles to topological acoustics and fault tolerant quantum computing.


title: Deep decomposition method for the limited aperture inverse obstacle scattering problem

abstract: In this paper, we consider a deep learning approach to the limited aperture inverse obstacle scattering problem. It is well known that traditional deep learning relies solely on data, which may limit its performance for the inverse problem when only indirect observation data and a physical model are available. A fundamental question arises in light of these limitations: is it possible to enable deep learning to work on inverse problems without labeled data and to be aware of what it is learning? This work proposes a deep decomposition method (DDM) for such purposes, which does not require ground truth labels. It accomplishes this by providing physical operators associated with the scattering model to the neural network architecture. Additionally, a deep learning based data completion scheme is implemented in DDM to prevent distorting the solution of the inverse problem for limited aperture data. Furthermore, apart from addressing the ill-posedness imposed by the inverse problem itself, DDM is a physics-aware machine learning technique that can have interpretability property. The convergence result of DDM is theoretically proven. Numerical experiments are presented to demonstrate the validity of the proposed DDM even when the incident and observation apertures are extremely limited.


title: Network Flow Models for Robust Binary Optimization with Selective Adaptability

abstract: Adaptive robust optimization problems have received significant attention in recent years, but remain notoriously difficult to solve when recourse decisions are discrete in nature. In this paper, we propose new reformulation techniques for adaptive robust binary optimization (ARBO) problems with objective uncertainty. Without loss of generality, we focus on ARBO problems with "selective adaptability", a term we coin to describe a common class of linking constraints between first-stage and second-stage solutions. Our main contribution revolves around a collection of exact and approximate network flow reformulations for the ARBO problem, which we develop by building upon ideas from the decision diagram literature. Our proposed models can generate feasible solutions, primal bounds and dual bounds, while their size and approximation quality can be precisely controlled through user-specified parameters. Furthermore, and in contrast with existing solution methods, these models are easy to implement and can be solved directly with standard off-the-shelf solvers. Through an extensive set of computational experiments, we show that our models can generate high-quality solutions and dual bounds in significantly less time than popular benchmark methods, often by orders of magnitude.


title: Assembly of Constructible Factorization Algebras

abstract: We provide a toolbox of extension, gluing, and assembly techniques for factorization algebras. Using these tools, we fill various gaps in the literature on factorization algebras on stratified manifolds, the main one being that constructible factorization algebras form a sheaf of symmetric monoidal $\infty$-categories. Additionally, we explain how to assemble constructible factorization algebras from the data on the individual strata together with module structures associated to the relative links; thus answering a question by Ayala. Along the way, we give detailed proofs of the following facts which are also of independent interest: constructibility is a local condition; the $\infty$-category of disks is a localization of any sufficiently fine poset of disks; constructibility implies the Weiss condition on disks. For each of these, variants or special cases already existed, but they were either incomplete or not general enough.


title: Benchmarking Implicit Neural Representation and Geometric Rendering in Real-Time RGB-D SLAM

abstract: Implicit neural representation (INR), in combination with geometric rendering, has recently been employed in real-time dense RGB-D SLAM. Despite active research endeavors being made, there lacks a unified protocol for fair evaluation, impeding the evolution of this area. In this work, we establish, to our knowledge, the first open-source benchmark framework to evaluate the performance of a wide spectrum of commonly used INRs and rendering functions for mapping and localization. The goal of our benchmark is to 1) gain an intuition of how different INRs and rendering functions impact mapping and localization and 2) establish a unified evaluation protocol w.r.t. the design choices that may impact the mapping and localization. With the framework, we conduct a large suite of experiments, offering various insights in choosing the INRs and geometric rendering functions: for example, the dense feature grid outperforms other INRs (e.g. tri-plane and hash grid), even when geometric and color features are jointly encoded for memory efficiency. To extend the findings into the practical scenario, a hybrid encoding strategy is proposed to bring the best of the accuracy and completion from the grid-based and decomposition-based INRs. We further propose explicit hybrid encoding for high-fidelity dense grid mapping to comply with the RGB-D SLAM system that puts the premise on robustness and computation efficiency.


title: SG-PGM: Partial Graph Matching Network with Semantic Geometric Fusion for 3D Scene Graph Alignment and Its Downstream Tasks

abstract: Scene graphs have been recently introduced into 3D spatial understanding as a comprehensive representation of the scene. The alignment between 3D scene graphs is the first step of many downstream tasks such as scene graph aided point cloud registration, mosaicking, overlap checking, and robot navigation. In this work, we treat 3D scene graph alignment as a partial graph-matching problem and propose to solve it with a graph neural network. We reuse the geometric features learned by a point cloud registration method and associate the clustered point-level geometric features with the node-level semantic feature via our designed feature fusion module. Partial matching is enabled by using a learnable method to select the top-k similar node pairs. Subsequent downstream tasks such as point cloud registration are achieved by running a pre-trained registration network within the matched regions. We further propose a point-matching rescoring method, that uses the node-wise alignment of the 3D scene graph to reweight the matching candidates from a pre-trained point cloud registration method. It reduces the false point correspondences estimated especially in low-overlapping cases. Experiments show that our method improves the alignment accuracy by 10~20% in low-overlap and random transformation scenarios and outperforms the existing work in multiple downstream tasks.


title: A theoretical framework for the design and analysis of computational thinking problems in education

abstract: The field of computational thinking education has grown in recent years as researchers and educators have sought to develop and assess students' computational thinking abilities. While much of the research in this area has focused on defining computational thinking, the competencies it involves and how to assess them in teaching and learning contexts, this work takes a different approach. We provide a more situated perspective on computational thinking, focusing on the types of problems that require computational thinking skills to be solved and the features that support these processes. We develop a framework for analysing existing computational thinking problems in an educational context. We conduct a comprehensive literature review to identify prototypical activities from areas where computational thinking is typically pursued in education. We identify the main components and characteristics of these activities, along with their influence on activating computational thinking competencies. The framework provides a catalogue of computational thinking skills that can be used to understand the relationship between problem features and competencies activated. This study contributes to the field of computational thinking education by offering a tool for evaluating and revising existing problems to activate specific skills and for assisting in designing new problems that target the development of particular competencies. The results of this study may be of interest to researchers and educators working in computational thinking education.


title: Solving the waste bin location problem with uncertain waste generation rate: a bi-objective robust optimization approach

abstract: An efficient Municipal solid waste (MSW) system is critical to modern cities in order to enhance sustainability and livability of urban life. With this aim, the planning phase of the MSW system should be carefully addressed by decision makers. However, planning success is dependent on many sources of uncertainty that can affect key parameters of the system, e.g., the waste generation rate in an urban area. With this in mind, this paper contributes with a robust optimization model to design the network of collection points (i.e., location and storage capacity), which are the first points of contact with the MSW system. A central feature of the model is a bi-objective function that aims at simultaneously minimizing the network costs of collection points and the required collection frequency to gather the accumulated waste (as a proxy of the collection cost). The value of the model is demonstrated by comparing its solutions with those obtained from its deterministic counterpart over a set of realistic instances considering different scenarios defined by different waste generation rates. The results show that the robust model finds competitive solutions in almost all cases investigated. An additional benefit of the model is that it allows the user to explore trade-offs between the two objectives.


title: Real-time Geoinformation Systems to Improve the Quality, Scalability, and Cost of Internet of Things for Agri-environment Research

abstract: With the increasing emphasis on machine learning and artificial intelligence to drive knowledge discovery in the agricultural sciences, spatial internet of things (IoT) technologies have become increasingly important for collecting real-time, high resolution data for these models. However, managing large fleets of devices while maintaining high data quality remains an ongoing challenge as scientists iterate from prototype to mature end-to-end applications. Here, we provide a set of case studies using the framework of technology readiness levels for an open source spatial IoT system. The spatial IoT systems underwent 3 major and 14 minor system versions, had over 2,727 devices manufactured both in academic and commercial contexts, and are either in active or planned deployment across four continents. Our results show the evolution of a generalizable, open source spatial IoT system designed for agricultural scientists, and provide a model for academic researchers to overcome the challenges that exist in going from one-off prototypes to thousands of internet-connected devices.


title: UVIT/AstroSat observation of TW Hya

abstract: The paper demonstrates the spectroscopic and photometric capabilities of the Ultra-Violet Imaging Telescope (UVIT) to study T-Tauri stars (TTSs). We present the first UVIT/Far-UV spectrum of a TTS, TW Hya. Based on C IV line luminosity, we estimated accretion luminosity (0.1 $L_\odot$) and mass accretion rate (2.2 $\times$ $10^{-8} M_\odot /yr$) of TW Hya, and compared these values with the accretion luminosity (0.03 $L_\odot$) and mass accretion rate (0.6 $\times$ $10^{-8} M_\odot /yr$) derived from spectral energy distribution (SED). From the SED, we derive best-fitted parameters for TW Hya: $T_{eff}$ = 3900$\pm$50 K, radius = 1.2$\pm$0.03 $R_\odot$, $\mathrm{log}\, g = 4.0$ and equivalent black-body temperatures corresponding to accretion luminosity as 14100$\pm$25 K. The parameters of TW Hya derived from UVIT observations were found to be matched well with the literature. Comparison with IUE spectra also suggests that UVIT can be used to study the spectroscopic variability of young stars. This study proposes leveraging the FUV spectroscopic capabilities of UVIT to contribute to the advancement of upcoming UV spectroscopic missions, including the Indian Spectroscopic Imaging Space Telescope (INSIST).


title: Parallel and real-time post-processing for quantum random number generators

abstract: Quantum systems are particularly suited for generating true randomness due to their inherent unpredictability, which can be justified on physical principles. However, practical implementations of Quantum RNGs (QRNGs) are always subject to noise, or uncontrollable influences, diminishing the quality of raw randomness produced. This necessitates post-processing to convert raw output into genuine randomness. In current QRNG implementations, the critical issue of seed updating is often overlooked, risking security vulnerabilities due to increased security parameters when seeds are reused in post-processing, and frequent seed updates fail to yield net randomness, while reusing seeds relies on the assumption that the original sequence inputs are independent.In this work, we have provided a specific scheme for seed updates that balances practicality and security, exploring the parallel and real-time implementation of multiple seed real-time updating toeplitz hash extractors in an FPGA to achieve parallel QRNGs, focusing on efficient hardware computation resource use. Through logic optimization, we achieved a greater number of parallel channels and a post-processing matrix size three times larger than previous works on the same FPGA platform, utilizing fewer logic resources. This resulted in a higher rate of random number generation and enhanced security. Furthermore, with the use of higher-performance ADCs, we attained a random number production rate exceeding 20Gbps.High-speed random number transfer and seed updating were achieved using the PCIe high-speed interface.This marks a significant step toward chip-based parallel QRNGs, enhancing the practicality of CV QRNGs in trusted, device-independent, and semi-device-independent scenarios.


title: $H$-Consistency Guarantees for Regression

abstract: We present a detailed study of $H$-consistency bounds for regression. We first present new theorems that generalize the tools previously given to establish $H$-consistency bounds. This generalization proves essential for analyzing $H$-consistency bounds specific to regression. Next, we prove a series of novel $H$-consistency bounds for surrogate loss functions of the squared loss, under the assumption of a symmetric distribution and a bounded hypothesis set. This includes positive results for the Huber loss, all $\ell_p$ losses, $p \geq 1$, the squared $\epsilon$-insensitive loss, as well as a negative result for the $\epsilon$-insensitive loss used in squared Support Vector Regression (SVR). We further leverage our analysis of $H$-consistency for regression and derive principled surrogate losses for adversarial regression (Section 5). This readily establishes novel algorithms for adversarial regression, for which we report favorable experimental results in Section 6.


title: Lp -cohomology and the geometry of p-harmonic forms

abstract: In this note we describe basic geometric properties of p-harmonic forms and p-coclosed forms and use them to reprove vanishing theorems of Pansu and new injectivity theorems for the Lp -cohomology of simply connected, pinched negatively curved manifolds. We also provide a partial resolution of a conjecture of Gromov on the vanishing of Lp -cohomology on symmetric spaces.


title: The linear sampling method for data generated by small random scatterers

abstract: We present an extension of the linear sampling method for solving the sound-soft inverse scattering problem in two dimensions with data generated by randomly distributed small scatterers. The theoretical justification of our novel sampling method is based on a rigorous asymptotic model, a modified Helmholtz--Kirchhoff identity, and our previous work on the linear sampling method for random sources. Our numerical implementation incorporates boundary elements, Singular Value Decomposition, Tikhonov regularization, and Morozov's discrepancy principle. We showcase the robustness and accuracy of our algorithms with a series of numerical experiments.


title: Ancestral lineages for a branching annihilating random walk

abstract: We study ancestral lineages of individuals of a stationary discrete-time branching annihilating random walk (BARW) on the $d$-dimensional lattice $\mathbb{Z}^d$. Each individual produces a Poissonian number of offspring with mean $\mu$ which then jump independently to a uniformly chosen site with a fixed distance $R$ of their parent. By interpreting the ancestral lineage of such an individual as a random walk in a dynamical random environment, we obtain a law of large numbers and a functional central limit theorem for the ancestral lineage.


title: Improved Genetic Algorithm Based on Greedy and Simulated Annealing Ideas for Vascular Robot Ordering Strategy

abstract: This study presents a comprehensive approach for optimizing the acquisition, utilization, and maintenance of ABLVR vascular robots in healthcare settings. Medical robotics, particularly in vascular treatments, necessitates precise resource allocation and optimization due to the complex nature of robot and operator maintenance. Traditional heuristic methods, though intuitive, often fail to achieve global optimization. To address these challenges, this research introduces a novel strategy, combining mathematical modeling, a hybrid genetic algorithm, and ARIMA time series forecasting. Considering the dynamic healthcare environment, our approach includes a robust resource allocation model for robotic vessels and operators. We incorporate the unique requirements of the adaptive learning process for operators and the maintenance needs of robotic components. The hybrid genetic algorithm, integrating simulated annealing and greedy approaches, efficiently solves the optimization problem. Additionally, ARIMA time series forecasting predicts the demand for vascular robots, further enhancing the adaptability of our strategy. Experimental results demonstrate the superiority of our approach in terms of optimization, transparency, and convergence speed from other state-of-the-art methods.


title: Adaptive resolution of fine scales in modes of microstructured optical fibers

abstract: An adaptive algorithm for computing eigenmodes and propagation constants of optical fibers is proposed. The algorithm is built using a dual-weighted residual error estimator. The residuals are based on the eigensystem for leaky hybrid modes obtained from Maxwell equations truncated to a finite domain after a transformation by a perfectly matched layer. The adaptive algorithm is then applied to compute practically interesting modes for multiple fiber microstructures. Emerging microstructured optical fibers are characterized by complex geometrical features in their transverse cross-section. Their leaky modes, useful for confining and propagating light in their cores, often exhibit fine scale features. The adaptive algorithm automatically captures these features without any expert input. The results also show that confinement losses of these modes are captured accurately on the adaptively found meshes.


title: Distributionally robust monopoly pricing: Switching from low to high prices in volatile markets

abstract: Traditional monopoly pricing assumes sellers have full information about consumer valuations. We consider monopoly pricing under limited information, where a seller only knows the mean, variance and support of the valuation distribution. The objective is to maximize expected revenue by selecting the optimal fixed price. We adopt a distributionally robust framework, where the seller considers all valuation distributions that comply with the limited information. We formulate a maximin problem which seeks to maximize expected revenue for the worst-case valuation distribution. The minimization problem that identifies the worst-case valuation distribution is solved using primal-dual methods, and in turn leads to an explicitly solvable maximization problem. This yields a closed-form optimal pricing policy and a new fundamental principle prescribing when to use low and high robust prices. We show that the optimal policy switches from low to high prices when variance becomes sufficiently large, yielding significant performance gains compared with existing robust prices that generally decay with market uncertainty. This presents guidelines for when the seller should switch from targeting mass markets to niche markets. Similar guidelines are obtained for delay-prone services with rational utility-maximizing customers, underlining the universality and wide applicability of the low-high pricing principle.


title: On the nonlinear thin obstacle problem

abstract: The thin obstacle problem or $n$-dimensional Signorini problem is a classical variational problem arising in several applications, starting with its first introduction in elasticity theory. The vast literature concerns mostly quadratic energies, whereas only partial results have been proved in the nonlinear case. In this paper we consider the thin boundary obstacle problem for a general class of nonlineraities and we prove the optimal $C^{1, \frac{1}{2}}$-regularity of the solutions in any space dimension.


title: Mappings contracting triangles

abstract: The aim of the current paper is to introduce a new class of contractive mappings, which are contracting (a feature of) triangles. We prove that maps contracting triangles are continuous and give the fixed point result for such mappings. We emphasize that our main theorem encompasses many functions, with significant applicability, for which the result holds, thereby representing a notable advancement in this research domain.


title: Evolving Assembly Code in an Adversarial Environment

abstract: In this work, we evolve Assembly code for the CodeGuru competition. The goal is to create a survivor -- an Assembly program that runs the longest in shared memory, by resisting attacks from adversary survivors and finding their weaknesses. For evolving top-notch solvers, we specify a Backus Normal Form (BNF) for the Assembly language and synthesize the code from scratch using Genetic Programming (GP). We evaluate the survivors by running CodeGuru games against human-written winning survivors. Our evolved programs found weaknesses in the programs they were trained against and utilized them. To push evolution further, we implemented memetic operators that utilize machine learning to explore the solution space effectively. This work has important applications for cyber-security as we utilize evolution to detect weaknesses in survivors. The Assembly BNF is domain-independent; thus, by modifying the fitness function, it can detect code weaknesses and help fix them. Finally, the CodeGuru competition offers a novel platform for analyzing GP and code evolution in adversarial environments. To support further research in this direction, we provide a thorough qualitative analysis of the evolved survivors and the weaknesses found.


title: Jointly Training and Pruning CNNs via Learnable Agent Guidance and Alignment

abstract: Structural model pruning is a prominent approach used for reducing the computational cost of Convolutional Neural Networks (CNNs) before their deployment on resource-constrained devices. Yet, the majority of proposed ideas require a pretrained model before pruning, which is costly to secure. In this paper, we propose a novel structural pruning approach to jointly learn the weights and structurally prune architectures of CNN models. The core element of our method is a Reinforcement Learning (RL) agent whose actions determine the pruning ratios of the CNN model's layers, and the resulting model's accuracy serves as its reward. We conduct the joint training and pruning by iteratively training the model's weights and the agent's policy, and we regularize the model's weights to align with the selected structure by the agent. The evolving model's weights result in a dynamic reward function for the agent, which prevents using prominent episodic RL methods with stationary environment assumption for our purpose. We address this challenge by designing a mechanism to model the complex changing dynamics of the reward function and provide a representation of it to the RL agent. To do so, we take a learnable embedding for each training epoch and employ a recurrent model to calculate a representation of the changing environment. We train the recurrent model and embeddings using a decoder model to reconstruct observed rewards. Such a design empowers our agent to effectively leverage episodic observations along with the environment representations to learn a proper policy to determine performant sub-networks of the CNN model. Our extensive experiments on CIFAR-10 and ImageNet using ResNets and MobileNets demonstrate the effectiveness of our method.


title: Effects of lunisolar perturbations on TianQin constellation: An analytical model

abstract: TianQin is a proposed space-based gravitational-wave observatory mission that critically relies on the stability of an equilateral-triangle constellation. Comprising three satellites in high Earth orbits of a $ 10^5 $ km radius, this constellation's geometric configuration is significantly affected by gravitational perturbations, primarily originating from the Moon and the Sun. In this paper, we present an analytical model to quantify the effects of lunisolar perturbations on the TianQin constellation, derived using Lagrange's planetary equations. The model provides expressions for three kinematic indicators of the constellation: arm-lengths, relative line-of-sight velocities, and breathing angles. Analysis of these indicators reveals that lunisolar perturbations can distort the constellation triangle, resulting in three distinct variations: linear drift, bias, and fluctuation. Furthermore, it is shown that these distortions can be optimized to display solely fluctuating behavior, under certain predefined conditions. These results can serve as the theoretical foundation for numerical simulations and offer insights for engineering a stable constellation in the future.


title: Segmentation tool for images of cracks

abstract: Safety-critical infrastructures, such as bridges, are periodically inspected to check for existing damage, such as fatigue cracks and corrosion, and to guarantee the safe use of the infrastructure. Visual inspection is the most frequent type of general inspection, despite the fact that its detection capability is rather limited, especially for fatigue cracks. Machine learning algorithms can be used for augmenting the capability of classical visual inspection of bridge structures, however, the implementation of such an algorithm requires a massive annotated training dataset, which is time-consuming to produce. This paper proposes a semi-automatic crack segmentation tool that eases the manual segmentation of cracks on images needed to create a training dataset for a machine learning algorithm. Also, it can be used to measure the geometry of the crack. This tool makes use of an image processing algorithm, which was initially developed for the analysis of vascular systems on retinal images. The algorithm relies on a multi-orientation wavelet transform, which is applied to the image to construct the so-called "orientation scores", i.e. a modified version of the image. Afterwards, the filtered orientation scores are used to formulate an optimal path problem that identifies the crack. The globally optimal path between manually selected crack endpoints is computed, using a state-of-the-art geometric tracking method. The pixel-wise segmentation is done afterwards using the obtained crack path. The proposed method outperforms fully automatic methods and shows potential to be an adequate alternative to the manual data annotation.


title: Natural convection in a vertical channel. Part 1. Wavenumber interaction and Eckhaus instability in a narrow domain

abstract: Convection in a vertical channel subjected to a horizontal temperature gradient is numerically investigated. Previous numerical simulations reveal a variety of behaviors: steady, time-periodic and chaotic. We extend previous numerical investigations by constructing stable and unstable branches of equilibria and periodic orbits of the underlying Oberbeck-Boussinesq equations by parametric continuation. In a narrow domain of vertical aspect ratio ten, the observed flow structures are dominated by the competition between three and four co-rotating rolls. We identify the invariant solution branches underlying the observed flow dynamics, characterize the bifurcations creating those branches and link the observed bifurcation scenarios to the symmetries of the primary branches. Specifically, we show that D4 symmetry dictates that several intermediate branches bifurcate simultaneously from the four-roll branch, while D3 symmetry requires that the intersection of these intermediate branches with the three-roll branch be transcritical. We observe other manifestations of the competition between three and four rolls, in which the symmetry in time or in the transverse direction is broken, leading to limit cycles or wavy rolls, respectively. Our work highlights the interest of combining numerical simulations, bifurcation theory, and group theory, in order to understand the transitions between and origin of flow patterns.


title: Regression with Multi-Expert Deferral

abstract: Learning to defer with multiple experts is a framework where the learner can choose to defer the prediction to several experts. While this problem has received significant attention in classification contexts, it presents unique challenges in regression due to the infinite and continuous nature of the label space. In this work, we introduce a novel framework of regression with deferral, which involves deferring the prediction to multiple experts. We present a comprehensive analysis for both the single-stage scenario, where there is simultaneous learning of predictor and deferral functions, and the two-stage scenario, which involves a pre-trained predictor with a learned deferral function. We introduce new surrogate loss functions for both scenarios and prove that they are supported by $H$-consistency bounds. These bounds provide consistency guarantees that are stronger than Bayes consistency, as they are non-asymptotic and hypothesis set-specific. Our framework is versatile, applying to multiple experts, accommodating any bounded regression losses, addressing both instance-dependent and label-dependent costs, and supporting both single-stage and two-stage methods. A by-product is that our single-stage formulation includes the recent regression with abstention framework (Cheng et al., 2023) as a special case, where only a single expert, the squared loss and a label-independent cost are considered. Minimizing our proposed loss functions directly leads to novel algorithms for regression with deferral. We report the results of extensive experiments showing the effectiveness of our proposed algorithms.


title: CoherentGS: Sparse Novel View Synthesis with Coherent 3D Gaussians

abstract: The field of 3D reconstruction from images has rapidly evolved in the past few years, first with the introduction of Neural Radiance Field (NeRF) and more recently with 3D Gaussian Splatting (3DGS). The latter provides a significant edge over NeRF in terms of the training and inference speed, as well as the reconstruction quality. Although 3DGS works well for dense input images, the unstructured point-cloud like representation quickly overfits to the more challenging setup of extremely sparse input images (e.g., 3 images), creating a representation that appears as a jumble of needles from novel views. To address this issue, we propose regularized optimization and depth-based initialization. Our key idea is to introduce a structured Gaussian representation that can be controlled in 2D image space. We then constraint the Gaussians, in particular their position, and prevent them from moving independently during optimization. Specifically, we introduce single and multiview constraints through an implicit convolutional decoder and a total variation loss, respectively. With the coherency introduced to the Gaussians, we further constrain the optimization through a flow-based loss function. To support our regularized optimization, we propose an approach to initialize the Gaussians using monocular depth estimates at each input view. We demonstrate significant improvements compared to the state-of-the-art sparse-view NeRF-based approaches on a variety of scenes.


title: Calibration of the Scintillation Timing in SNO+ using In-Situ Backgrounds

abstract: The SNO+ Collaboration has recently concluded loading its liquid scintillator with PPO, the primary fluor, and the loading of the wavelength shifter, bisMSB, is ongoing. For each stage of the experiment, reliable position and energy reconstruction is essential, and in the face of a changing scintillator cocktail, methods have been developed to rapidly calibrate the SNO+ optical model. To this end, a novel technique for calibrating the time response of the SNO+ liquid scintillator using in-situ backgrounds was developed. By using in-situ coincident backgrounds, it is possible to calibrate both the $\beta^-$ and $\alpha$ time responses, as well as facilitate frequent monitoring of the background levels without compromising the radiopurity of the detector. Accurate calibration of the liquid scintillator emission times allows the exploration of time-based particle discrimination, such as between single-site ($\beta^-$) and multi-site ($\beta^- \gamma$) interactions.


title: Surface-based parcellation and vertex-wise analysis of ultra high-resolution ex vivo 7 tesla MRI in neurodegenerative diseases

abstract: Magnetic resonance imaging (MRI) is the standard modality to understand human brain structure and function in vivo (antemortem). Decades of research in human neuroimaging has led to the widespread development of methods and tools to provide automated volume-based segmentations and surface-based parcellations which help localize brain functions to specialized anatomical regions. Recently ex vivo (postmortem) imaging of the brain has opened-up avenues to study brain structure at sub-millimeter ultra high-resolution revealing details not possible to observe with in vivo MRI. Unfortunately, there has been limited methodological development in ex vivo MRI primarily due to lack of datasets and limited centers with such imaging resources. Therefore, in this work, we present one-of-its-kind dataset of 82 ex vivo T2w whole brain hemispheres MRI at 0.3 mm isotropic resolution spanning Alzheimer's disease and related dementias. We adapted and developed a fast and easy-to-use automated surface-based pipeline to parcellate, for the first time, ultra high-resolution ex vivo brain tissue at the native subject space resolution using the Desikan-Killiany-Tourville (DKT) brain atlas. This allows us to perform vertex-wise analysis in the template space and thereby link morphometry measures with pathology measurements derived from histology. We will open-source our dataset docker container, Jupyter notebooks for ready-to-use out-of-the-box set of tools and command line options to advance ex vivo MRI clinical brain imaging research on the project webpage.


title: Giant High-order Nonlinear and Nonreciprocal Electrical Transports Induced by Valley Flipping in Bernal Bilayer Graphene

abstract: We investigate the electrical transport properties of the mini-valley polarized state proposed recently in slightly doped Bernal Bilayer Graphene (BLG) in large electric displacement fields. By minimizing the Hartree-Fock energy functional, we first confirm the appearance of mini-valley polarized phase. At the low carrier doping regime, the 1-pocket state will be stabilized where only one of the trigonal-wrapping-induced Fermi pockets near the atomic-valley center is filled. Then we study the electrical transport of the 1-pocket state by solving the Boltzmann equation. We find that the valley polarization could be easily flopped by an in-plane electrical field, which will lead to hysteresis loop in the direct current (DC) $I-V$ curves. Such irreversible current responses in the DC limit will directly induce strong nonlinear and nonreciprocal alternating current (AC) responses, which has been already observed in the recent experiments on BLG.


title: Client-supervised Federated Learning: Towards One-model-for-all Personalization

abstract: Personalized Federated Learning (PerFL) is a new machine learning paradigm that delivers personalized models for diverse clients under federated learning settings. Most PerFL methods require extra learning processes on a client to adapt a globally shared model to the client-specific personalized model using its own local data. However, the model adaptation process in PerFL is still an open challenge in the stage of model deployment and test time. This work tackles the challenge by proposing a novel federated learning framework to learn only one robust global model to achieve competitive performance to those personalized models on unseen/test clients in the FL system. Specifically, we design a new Client-Supervised Federated Learning (FedCS) to unravel clients' bias on instances' latent representations so that the global model can learn both client-specific and client-agnostic knowledge. Experimental study shows that the FedCS can learn a robust FL global model for the changing data distributions of unseen/test clients. The FedCS's global model can be directly deployed to the test clients while achieving comparable performance to other personalized FL methods that require model adaptation.


title: Tensor Network-Constrained Kernel Machines as Gaussian Processes

abstract: Tensor Networks (TNs) have recently been used to speed up kernel machines by constraining the model weights, yielding exponential computational and storage savings. In this paper we prove that the outputs of Canonical Polyadic Decomposition (CPD) and Tensor Train (TT)-constrained kernel machines recover a Gaussian Process (GP), which we fully characterize, when placing i.i.d. priors over their parameters. We analyze the convergence of both CPD and TT-constrained models, and show how TT yields models exhibiting more GP behavior compared to CPD, for the same number of model parameters. We empirically observe this behavior in two numerical experiments where we respectively analyze the convergence to the GP and the performance at prediction. We thereby establish a connection between TN-constrained kernel machines and GPs.


title: RELI11D: A Comprehensive Multimodal Human Motion Dataset and Method

abstract: Comprehensive capturing of human motions requires both accurate captures of complex poses and precise localization of the human within scenes. Most of the HPE datasets and methods primarily rely on RGB, LiDAR, or IMU data. However, solely using these modalities or a combination of them may not be adequate for HPE, particularly for complex and fast movements. For holistic human motion understanding, we present RELI11D, a high-quality multimodal human motion dataset involves LiDAR, IMU system, RGB camera, and Event camera. It records the motions of 10 actors performing 5 sports in 7 scenes, including 3.32 hours of synchronized LiDAR point clouds, IMU measurement data, RGB videos and Event steams. Through extensive experiments, we demonstrate that the RELI11D presents considerable challenges and opportunities as it contains many rapid and complex motions that require precise location. To address the challenge of integrating different modalities, we propose LEIR, a multimodal baseline that effectively utilizes LiDAR Point Cloud, Event stream, and RGB through our cross-attention fusion strategy. We show that LEIR exhibits promising results for rapid motions and daily motions and that utilizing the characteristics of multiple modalities can indeed improve HPE performance. Both the dataset and source code will be released publicly to the research community, fostering collaboration and enabling further exploration in this field.


title: On the potential of quantum walks for modeling financial return distributions

abstract: Accurate modeling of the temporal evolution of asset prices is crucial for understanding financial markets. We explore the potential of discrete-time quantum walks to model the evolution of asset prices. Return distributions obtained from a model based on the quantum walk algorithm are compared with those obtained from classical methodologies. We focus on specific limitations of the classical models, and illustrate that the quantum walk model possesses great flexibility in overcoming these. This includes the potential to generate asymmetric return distributions with complex market tendencies and higher probabilities for extreme events than in some of the classical models. Furthermore, the temporal evolution in the quantum walk possesses the potential to provide asset price dynamics.


title: Supercongruences involving Ap\'ery-like numbers and Bernoulli numbers

abstract: We establish supercongruences for two kinds of Ap\'ery-like numbers, which involve Bernoulli numbers and Bernoulli polynomials. Conjectural supercongruences of the same type for another four kinds of Ap\'ery-like numbers are also proposed.


title: Overlap violations in external validity

abstract: Estimating externally valid causal effects is a foundational problem in the social and biomedical sciences. Generalizing or transporting causal estimates from an experimental sample to a target population of interest relies on an overlap assumption between the experimental sample and the target population--i.e., all units in the target population must have a non-zero probability of being included in the experiment. In practice, having full overlap between an experimental sample and a target population can be implausible. In the following paper, we introduce a framework for considering external validity in the presence of overlap violations. We introduce a novel bias decomposition that parameterizes the bias from an overlap violation into two components: (1) the proportion of units omitted, and (2) the degree to which omitting the units moderates the treatment effect. The bias decomposition offers an intuitive and straightforward approach to conducting sensitivity analysis to assess robustness to overlap violations. Furthermore, we introduce a suite of sensitivity tools in the form of summary measures and benchmarking, which help researchers consider the plausibility of the overlap violations. We apply the proposed framework on an experiment evaluating the impact of a cash transfer program in Northern Uganda.


title: On the supersingular locus of the Siegel modular variety of genus 3 or 4

abstract: We study the supersingular locus of the Siegel modular variety of genus 3 or 4. More concretely, we decompose the supersingular locus into a disjoint union of the product of a Deligne-Lusztig variety of Coxeter type and a finite-dimensional affine space after taking perfection.


title: LLMs as Academic Reading Companions: Extending HCI Through Synthetic Personae

abstract: This position paper argues that large language models (LLMs) constitute promising yet underutilized academic reading companions capable of enhancing learning. We detail an exploratory study examining Claude from Anthropic, an LLM-based interactive assistant that helps students comprehend complex qualitative literature content. The study compares quantitative survey data and qualitative interviews assessing outcomes between a control group and an experimental group leveraging Claude over a semester across two graduate courses. Initial findings demonstrate tangible improvements in reading comprehension and engagement among participants using the AI agent versus unsupported independent study. However, there is potential for overreliance and ethical considerations that warrant continued investigation. By documenting an early integration of an LLM reading companion into an educational context, this work contributes pragmatic insights to guide development of synthetic personae supporting learning. Broader impacts compel policy and industry actions to uphold responsible design in order to maximize benefits of AI integration while prioritizing student wellbeing.