title: On the low-shot transferability of [V]-Mamba

abstract: The strength of modern large-scale neural networks lies in their ability to efficiently adapt to new tasks with few examples. Although extensive research has investigated the transferability of Vision Transformers (ViTs) to various downstream tasks under diverse constraints, this study shifts focus to explore the transfer learning potential of [V]-Mamba. We compare its performance with ViTs across different few-shot data budgets and efficient transfer methods. Our analysis yields three key insights into [V]-Mamba's few-shot transfer performance: (a) [V]-Mamba demonstrates superior or equivalent few-shot learning capabilities compared to ViTs when utilizing linear probing (LP) for transfer, (b) Conversely, [V]-Mamba exhibits weaker or similar few-shot learning performance compared to ViTs when employing visual prompting (VP) as the transfer method, and (c) We observe a weak positive correlation between the performance gap in transfer via LP and VP and the scale of the [V]-Mamba model. This preliminary analysis lays the foundation for more comprehensive studies aimed at furthering our understanding of the capabilities of [V]-Mamba variants and their distinctions from ViTs.


title: The S-PLUS Fornax Project (S+FP): A first 12-band glimpse of the Fornax galaxy cluster

abstract: The Fornax galaxy cluster is the richest nearby (D ~ 20 Mpc) galaxy association in the southern sky. As such, it provides a wealth of oportunities to elucidate on the processes where environment holds a key role in transforming galaxies. Although it has been the focus of many studies, Fornax has never been explored with contiguous homogeneous wide-field imaging in 12 photometric narrow- and broad-bands like those provided by the Southern Photometric Local Universe Survey (S-PLUS). In this paper we present the S-PLUS Fornax Project (S+FP) that aims to comprehensively analyse the galaxy content of the Fornax cluster using S-PLUS. Our data set consists of 106 S-PLUS wide-field frames (FoV ~ 1.4 x 1.4 deg$^2$) observed in five SDSS-like ugriz broad-bands and seven narrow-bands covering specific spectroscopic features like [OII], CaII H+K, H$\delta$, G-band, Mg b triplet, H$\alpha$, and the CaII triplet. Based on S-PLUS specific automated photometry, aimed at correctly detecting Fornax galaxies and globular clusters in S-PLUS images, our dataset provides the community with catalogues containing homogeneous 12-band photometry for ~ 3 x 10$^6$ resolved and unresolved objects within a region extending over ~ 208 deg$^2$ (~ 5 Rvir in RA) around Fornax' central galaxy, NGC 1399. We further explore the EAGLE and IllustrisTNG cosmological simulations to identify 45 Fornax-like clusters and generate mock images on all 12 S-PLUS bands of these structures down to galaxies with M$\star \geq 10^8$ M$\odot$. The S+FP dataset we put forward in this first paper of a series will enable a variety of studies some of which are briefly presented.


title: Robust Influence-based Training Methods for Noisy Brain MRI

abstract: Correctly classifying brain tumors is imperative to the prompt and accurate treatment of a patient. While several classification algorithms based on classical image processing or deep learning methods have been proposed to rapidly classify tumors in MR images, most assume the unrealistic setting of noise-free training data. In this work, we study a difficult but realistic setting of training a deep learning model on noisy MR images to classify brain tumors. We propose two training methods that are robust to noisy MRI training data, Influence-based Sample Reweighing (ISR) and Influence-based Sample Perturbation (ISP), which are based on influence functions from robust statistics. Using the influence functions, in ISR, we adaptively reweigh training examples according to how helpful/harmful they are to the training process, while in ISP, we craft and inject helpful perturbation proportional to the influence score. Both ISR and ISP harden the classification model against noisy training data without significantly affecting the generalization ability of the model on test data. We conduct empirical evaluations over a common brain tumor dataset and compare ISR and ISP to three baselines. Our empirical results show that ISR and ISP can efficiently train deep learning models robust against noisy training data.


title: A Multilingual Perspective on Probing Gender Bias

abstract: Gender bias represents a form of systematic negative treatment that targets individuals based on their gender. This discrimination can range from subtle sexist remarks and gendered stereotypes to outright hate speech. Prior research has revealed that ignoring online abuse not only affects the individuals targeted but also has broader societal implications. These consequences extend to the discouragement of women's engagement and visibility within public spheres, thereby reinforcing gender inequality. This thesis investigates the nuances of how gender bias is expressed through language and within language technologies. Significantly, this thesis expands research on gender bias to multilingual contexts, emphasising the importance of a multilingual and multicultural perspective in understanding societal biases. In this thesis, I adopt an interdisciplinary approach, bridging natural language processing with other disciplines such as political science and history, to probe gender bias in natural language and language models.


title: Mind the Error! Detection and Localization of Instruction Errors in Vision-and-Language Navigation

abstract: Vision-and-Language Navigation in Continuous Environments (VLN-CE) is one of the most intuitive yet challenging embodied AI tasks. Agents are tasked to navigate towards a target goal by executing a set of low-level actions, following a series of natural language instructions. All VLN-CE methods in the literature assume that language instructions are exact. However, in practice, instructions given by humans can contain errors when describing a spatial environment due to inaccurate memory or confusion. Current VLN-CE benchmarks do not address this scenario, making the state-of-the-art methods in VLN-CE fragile in the presence of erroneous instructions from human users. For the first time, we propose a novel benchmark dataset that introduces various types of instruction errors considering potential human causes. This benchmark provides valuable insight into the robustness of VLN systems in continuous environments. We observe a noticeable performance drop (up to -25%) in Success Rate when evaluating the state-of-the-art VLN-CE methods on our benchmark. Moreover, we formally define the task of Instruction Error Detection and Localization, and establish an evaluation protocol on top of our benchmark dataset. We also propose an effective method, based on a cross-modal transformer architecture, that achieves the best performance in error detection and localization, compared to baselines. Surprisingly, our proposed method has revealed errors in the validation set of the two commonly used datasets for VLN-CE, i.e., R2R-CE and RxR-CE, demonstrating the utility of our technique in other tasks. Code and dataset will be made available upon acceptance at https://intelligolabs.github.io/R2RIE-CE


title: IMPRINT: Generative Object Compositing by Learning Identity-Preserving Representation

abstract: Generative object compositing emerges as a promising new avenue for compositional image editing. However, the requirement of object identity preservation poses a significant challenge, limiting practical usage of most existing methods. In response, this paper introduces IMPRINT, a novel diffusion-based generative model trained with a two-stage learning framework that decouples learning of identity preservation from that of compositing. The first stage is targeted for context-agnostic, identity-preserving pretraining of the object encoder, enabling the encoder to learn an embedding that is both view-invariant and conducive to enhanced detail preservation. The subsequent stage leverages this representation to learn seamless harmonization of the object composited to the background. In addition, IMPRINT incorporates a shape-guidance mechanism offering user-directed control over the compositing process. Extensive experiments demonstrate that IMPRINT significantly outperforms existing methods and various baselines on identity preservation and composition quality.


title: Three lectures on the Curci-Ferrari model

abstract: In these lectures, we review the status of the Curci-Ferrari model as a phenomenological approach to Landau gauge-fixed YM theories in the infrared. More precisely, after discussing some of the general properties of the model, we explain in full detail the evaluation of the one-loop two-point correlators that allowed for a successful comparison to the corresponding Landau-gauge lattice data. We also review the renormalization group flow of the model which controls its fate at high and low momentum scales.


title: XMM-NuSTAR Observation and Multiwavelength SED Modeling of Blazar 4FGL J1520.8-0348

abstract: Active galactic nuclei (AGNs) can power relativistic jets, which are called blazars when pointed close to our line of sight. Depending on the presence or absence of emission lines in their optical spectra, blazars are categorized into flat spectrum radio quasars (FSRQs) or BL Lacertae (BL Lacs) objects. According to the 'blazar sequence', as synchrotron peak frequency ($\nu^{sy}_{pk}$) shifts to higher energies, the synchrotron peak luminosity decreases. This means that BL Lacs as luminous as FSRQs, and with synchrotron peak frequencies $\nu^{sy}_{pk}>10^{15}$ Hz, should not exist. Detected as a high-synchrotron peak (HSP; $\nu^{sy}_{pk}>10^{15}$ Hz) BL Lac, 4FGL J1520.8-0348 shows high gamma-ray luminosity ($L_{\gamma}>10^{46}\,\rm erg~s^{-1}$), being at a high redshift of $z=$1.46. Since it is an outlier in the 'blazar sequence', the process of its jet acceleration and power may be different from bona fide BL Lacs. In this work, we constrain its spectral energy distribution (SED) by modeling the multi-wavelength data from infrared to $\gamma$-ray regime. Simultaneous X-ray data was obtained from X-ray Multi-Mirror Mission and Nuclear Spectroscopic Telescope Array to constrain the synchrotron emission and underlying electron distribution. On undertaking the SED modeling of the source, including the effect of extragalactic background light, we conclude that the source is more likely to be a 'blue FSRQ' or 'masquerading BL Lac' where the BL Lac is actually a FSRQ in disguise.


title: PERL: Parameter Efficient Reinforcement Learning from Human Feedback

abstract: Reinforcement Learning from Human Feedback (RLHF) has proven to be a strong method to align Pretrained Large Language Models (LLMs) with human preferences. But training models with RLHF is computationally expensive, and an overall complex process. In this work, we study RLHF where the underlying models are trained using the parameter efficient method of Low-Rank Adaptation (LoRA) introduced by Hu et al. [2021]. We investigate the setup of "Parameter Efficient Reinforcement Learning" (PERL), in which we perform reward model training and reinforcement learning using LoRA. We compare PERL to conventional fine-tuning (full-tuning) across various configurations for 7 benchmarks, including 2 novel datasets, of reward modeling and reinforcement learning. We find that PERL performs on par with the conventional RLHF setting, while training faster, and with less memory. This enables the high performance of RLHF, while reducing the computational burden that limits its adoption as an alignment technique for Large Language Models. We also release 2 novel thumbs up/down preference datasets: "Taskmaster Coffee", and "Taskmaster Ticketing" to promote research around RLHF.


title: Susceptibility of Communities against Low-Credibility Content in Social News Websites

abstract: Social news websites, such as Reddit, have evolved into prominent platforms for sharing and discussing news. A key issue on social news websites sites is the formation of echo chambers, which often lead to the spread of highly biased or uncredible news. We develop a method to identify communities within a social news website that are prone to uncredible or highly biased news. We employ a user embedding pipeline that detects user communities based on their stances towards posts and news sources. We then project each community onto a credibility-bias space and analyze the distributional characteristics of each projected community to identify those that have a high risk of adopting beliefs with low credibility or high bias. This approach also enables the prediction of individual users' susceptibility to low credibility content, based on their community affiliation. Our experiments show that latent space clusters effectively indicate the credibility and bias levels of their users, with significant differences observed across clusters -- a $34\%$ difference in the users' susceptibility to low-credibility content and a $8.3\%$ difference in the users' susceptibility to high political bias.


title: PyHySCO: GPU-Enabled Susceptibility Artifact Distortion Correction in Seconds

abstract: Over the past decade, reversed Gradient Polarity (RGP) methods have become a popular approach for correcting susceptibility artifacts in Echo-Planar Imaging (EPI). Although several post-processing tools for RGP are available, their implementations do not fully leverage recent hardware, algorithmic, and computational advances, leading to correction times of several minutes per image volume. To enable 3D RGP correction in seconds, we introduce PyHySCO, a user-friendly EPI distortion correction tool implemented in PyTorch that enables multi-threading and efficient use of graphics processing units (GPUs). PyHySCO uses a time-tested physical distortion model and mathematical formulation and is, therefore, reliable without training. An algorithmic improvement in PyHySCO is its novel initialization scheme that uses 1D optimal transport. PyHySCO is published under the GNU public license and can be used from the command line or its Python interface. Our extensive numerical validation using 3T and 7T data from the Human Connectome Project suggests that PyHySCO achieves accuracy comparable to that of leading RGP tools at a fraction of the cost. We also validate the new initialization scheme, compare different optimization algorithms, and test the algorithm on different hardware and arithmetic precision.


title: Uncovering Latent Themes of Messaging on Social Media by Integrating LLMs: A Case Study on Climate Campaigns

abstract: This paper introduces a novel approach to uncovering and analyzing themes in social media messaging. Recognizing the limitations of traditional topic-level analysis, which tends to capture only the overarching patterns, this study emphasizes the need for a finer-grained, theme-focused exploration. Conventional methods of theme discovery, involving manual processes and a human-in-the-loop approach, are valuable but face challenges in scalability, consistency, and resource intensity in terms of time and cost. To address these challenges, we propose a machine-in-the-loop approach that leverages the advanced capabilities of Large Language Models (LLMs). This approach allows for a deeper investigation into the thematic aspects of social media discourse, enabling us to uncover a diverse array of themes, each with unique characteristics and relevance, thereby offering a comprehensive understanding of the nuances present within broader topics. Furthermore, this method efficiently maps the text and the newly discovered themes, enhancing our understanding of the thematic nuances in social media messaging. We employ climate campaigns as a case study and demonstrate that our methodology yields more accurate and interpretable results compared to traditional topic models. Our results not only demonstrate the effectiveness of our approach in uncovering latent themes but also illuminate how these themes are tailored for demographic targeting in social media contexts. Additionally, our work sheds light on the dynamic nature of social media, revealing the shifts in the thematic focus of messaging in response to real-world events.


title: Towards a theory of eigenvalue asymptotics on infinite metric graphs: the case of diagonal combs

abstract: We examine diagonal combs, a recently identified class of infinite metric graphs whose properties depend on one parameter. These graphs exhibit a fascinating regime where they possess infinite volume while maintaining purely discrete spectrum for the Neumann Laplacian. In this regime, we establish polynomial upper and lower bounds on the $k$-th eigenvalue, revealing that the eigenvalues grow at a rate strictly slower than quadratic. However, once the diagonal combs transition to finite volume, their growth accelerates to a quadratic rate. Our methodology involves employing spectral geometric principles tailored for metric graphs, complemented by deriving estimates for the $k$-th eigenvalue on compact metric graphs.


title: Optimal Dosing Schedules for Substances Inducing Tolerance

abstract: Many drugs used therapeutically or recreationally induce tolerance: the effect of the substance decreases with repeated use. This phenomenon may reduce the efficacy of the substance unless dosage is increased beyond what is healthy for the individual. Restoring the effect of the substance can often be obtained by taking a break from consumption. We propose designing dosing schedules that maximize the desired effect of the substance with a given total consumption, while factoring in the effect of tolerance. We provide a simple mathematical model of response to consumption and tolerance that can be fit from data on substance administration and response. Using this model with given parameters, we determine optimal consumption schedules to maximize a given objective. We illustrate with the example of caffeine, where we provide a schedule of consumption for a user who values the effects of caffeine on all days but needs extra alertness on some days of the week.


title: ProtoFlakes: A Conceptual Modular and Plug-and-Play Prototyping Tool Kit for Smart Jewelry Design Exploration

abstract: The design of smart jewelry can be challenging as it requires technical knowledge and practice to explore form and function. Adressing this issue, we propose ProtoFlakes, a design speculation for a modular prototyping tool kit for smart jewelry design. ProtoFlakes builds upon the our prior work of Snowflakes, targeting designers with limited technical expertise with a tool kit to make creative explorations and develop prototypes closely resembling the final products they envision. The design requirements for ProtoFlakes were determined by conducting ideation workshops. From these workshops, we extracted four design parameters that informed the development of the tool kit. ProtoFlakes allows the exploration of form and function in a flexible and modular way and provides a fresh perspective on smart jewelry design. Exploring this emerging area with design speculations informed by ideation workshops has the potential to drive advancements towards more accessible and user-friendly tools for smart jewellery design.


title: Gaussian universality for approximately polynomial functions of high-dimensional data

abstract: We establish an invariance principle for polynomial functions of $n$ independent high-dimensional random vectors, and also show that the obtained rates are nearly optimal. Both the dimension of the vectors and the degree of the polynomial are permitted to grow with $n$. Specifically, we obtain a finite sample upper bound for the error of approximation by a polynomial of Gaussians, measured in Kolmogorov distance, and extend it to functions that are approximately polynomial in a mean squared error sense. We give a corresponding lower bound that shows the invariance principle holds up to polynomial degree $o(\log n)$. The proof is constructive and adapts an asymmetrisation argument due to V. V. Senatov. As applications, we obtain a higher-order delta method with possibly non-Gaussian limits, and generalise a number of known results on high-dimensional and infinite-order U-statistics, and on fluctuations of subgraph counts.


title: Jacobian elliptic fibrations on K3s with a non-symplectic automorphism of order 3

abstract: We classify Jacobian elliptic fibrations on K3 surfaces with a non-symplectic automorphism $\sigma$ of order 3 according to the action of $\sigma$ on their fibres, building on work by Garbagnati and Salgado for non-symplectic involutions. We determine the possible reducible fibres types and give Weierstrass equations for Jacobian elliptic fibration which are preserved by $\sigma$. For a K3 surface $X$ with Picard number at least 12 and $\sigma$ acting trivially on $\NS X$, we apply the Kneser--Nishiyama method to find its Jacobian elliptic fibrations, and use our method to classify them in relation to every non-symplectic automorphism of order 3 in $\Aut X$.


title: Sensing beyond the exceptional point for high detectivity

abstract: Exceptional point (EP)-based optical sensors exhibit exceptional sensitivity but poor detectivity due to their acute sensitivity to perturbations such as noise. When the optical budget is limited as in applications on mobile platforms, high detectivity might be equally important as high sensitivity. In such scenarios, off-EP sensing is advantageous where a slight loss in sensitivity can lead to a significant gain in detectivity. Here, we show that a passive parity-time symmetric plasmonic-photonic hybrid shows a peak in its detectivity off EP where the sensitivity is still very high-surpassing the sensitivities of equivalent fully-plasmonic and fully-photonic systems. We demonstrate the high detectivity of off-EP sensing of anti-mouse IgG protein using this plasmonic-photonic hybrid system. We report a sensitivity of 1.2 nm/nM while requiring a minimum optical budget of 1.3 nJ. Thus, non-Hermitian plasmonic-photonic hybrids could be the best class of nanophotonic sensors for real-world applications.


title: Applying affine urn models to the global profile of hyperrecursive trees

abstract: Inside the discipline of graph theory exists an extension known as the hypergraph. This generalization of graphs includes vertices along with hyperedges consisting of collections of two or more vertices. One well-studied application of this structure is that of the recursive tree, and we apply its framework within the context of hypergraphs to form hyperrecursive trees, an area that shows promise in network theory. However, when the global profile of these hyperrecursive trees is studied via recursive equations, its recursive nature develops a combinatorial explosion of sorts when deriving mixed moments for higher containment levels. One route to circumvent these issues is through using a special class of urn model, known as an affine urn model, which samples multiple balls at once while maintaining a structure such that the replacement criteria is based on a linear combination of the balls sampled within a draw. We investigate the hyperrecursive tree through its global containment profile, observing the number of vertices found within a particular containment level, and given a set of $k$ containment levels, relate its structure to that of a similar affine urn model in order to derive the asymptotic evolution of its first two mixed moments. We then establish a multivariate central limit theorem for the number of vertices for the first $k$ containment levels. We produce simulations which support our theoretical findings and suggest a relatively quick rate of convergence.


title: Multiphase Field Model of Cells on a Substrate

abstract: Multiphase field models have emerged as an important computational tool for understanding biological tissue while resolving single-cell properties. While they have successfully reproduced many experimentally observed behaviors of living tissue, the theoretical underpinnings have not been fully explored. We show that a two-dimensional version of the model, which is commonly employed to study tissue monolayers, can be derived from a three-dimensional version in the presence of a substrate. We also show how viscous forces, which arise from friction between different cells, can be included in the model. Finally, we numerically simulate a tissue monolayer, and find that intercellular friction tends to solidify the tissue.


title: Curves and surfaces making a constant angle with a parallel transported direction in Riemannian spaces

abstract: In the last two decades, much effort has been dedicated to studying curves and surfaces according to their angle with a given direction. However, most findings were obtained using a case-by-case approach, and it is often unclear what are consequences of the specificities of the ambient manifold and what could be generic. In this work, we propose a theoretical framework to unify parts of these findings. We study curves and surfaces by prescribing the angle they make with a parallel transported vector field. We show that the characterization of Euclidean helices in terms of their curvature and torsion is also valid in any Riemannian manifold. Among other properties, we prove that surfaces making a constant angle with a parallel transported direction are extrinsically flat ruled surfaces. We also investigate the relation between their geodesics and the so-called slant helices; we prove that surfaces of constant angle are the rectifying surface of a slant helix, i.e., the ruled surface with rulings given by the Darboux vector field of the directrix. We characterize rectifying surfaces of constant angle; in other words, when their geodesics are slant helices. As a corollary, we show that if every geodesic of a surface of constant angle is a slant helix, then the ambient manifold is flat. Finally, we characterize surfaces in the product of a Riemannian surface with the real line making a constant angle with the vertical real direction.


title: Backdoor Secrets Unveiled: Identifying Backdoor Data with Optimized Scaled Prediction Consistency

abstract: Modern machine learning (ML) systems demand substantial training data, often resorting to external sources. Nevertheless, this practice renders them vulnerable to backdoor poisoning attacks. Prior backdoor defense strategies have primarily focused on the identification of backdoored models or poisoned data characteristics, typically operating under the assumption of access to clean data. In this work, we delve into a relatively underexplored challenge: the automatic identification of backdoor data within a poisoned dataset, all under realistic conditions, i.e., without the need for additional clean data or without manually defining a threshold for backdoor detection. We draw an inspiration from the scaled prediction consistency (SPC) technique, which exploits the prediction invariance of poisoned data to an input scaling factor. Based on this, we pose the backdoor data identification problem as a hierarchical data splitting optimization problem, leveraging a novel SPC-based loss function as the primary optimization objective. Our innovation unfolds in several key aspects. First, we revisit the vanilla SPC method, unveiling its limitations in addressing the proposed backdoor identification problem. Subsequently, we develop a bi-level optimization-based approach to precisely identify backdoor data by minimizing the advanced SPC loss. Finally, we demonstrate the efficacy of our proposal against a spectrum of backdoor attacks, encompassing basic label-corrupted attacks as well as more sophisticated clean-label attacks, evaluated across various benchmark datasets. Experiment results show that our approach often surpasses the performance of current baselines in identifying backdoor data points, resulting in about 4%-36% improvement in average AUROC. Codes are available at https://github.com/OPTML-Group/BackdoorMSPC.


title: Revisiting the time-integrated polarizations of gamma-ray burst prompt phase

abstract: In the former studies, the time evolution information is missed in deducing the time-integrated polarizations of gamma-ray burst (GRB) prompt emission. Here, it is considered and the time-integrated polarizations is investigated through the summation of the time-resolved ones. The statistical properties of the distribution of the time-integrated polarization degree ($\Pi$) can be read from the $q-\Pi$ curve, where $q\equiv\theta_V/\theta_j$. $\theta_V$ and $\theta_j$ are the observational and jet half-opening angles, respectively. Hence, only the $q-\Pi$ curves are studied. In addition to a toroidal magnetic field in the radiation region, an aligned field is also discussed. We found the predicted time-integrated PD is around $(40-50)\%$ for High-energy Polarimetry Detector (HPD) on board POLAR-2 and is roughly $(30-40)\%$ for its Low-energy Polarimetry Detector (LPD). Therefore, $\Pi$ value detected by the HPD will be larger than that of the LPD in statistics and the result of the former estimations will underestimate the value of $\Pi$ in an ordered field. There are mainly two types of the $q-\Pi$ curve profiles, corresponding to two ordered magnetic field configurations.


title: X-ray Nano-imaging of a Heterogeneous Structural Phase Transition in V2O3

abstract: Controlling the Mott transition through strain engineering is crucial for advancing the development and application of memristive and neuromorphic computing devices. Yet, Mott insulators are heterogeneous due to intrinsic phase boundaries and extrinsic defects, posing significant challenges to fully understanding the impact of local microscopic distortions on the local Mott transition, which demands structural characterizations at the relevant length scale. Here, using a synchrotron-based scanning X-ray nanoprobe, we studied the real-space structural heterogeneity during the structural phase transition in a V2O3 thin film, with a resolution of 30 nm. Through temperature-dependent metal-insulator phase coexistence mapping, we report a variation in the local transition temperature of up to 7 K across the film and the presence of the transition hysteresis at the nanoscale. Furthermore, a detailed quantitative analysis demonstrates that the spatial heterogeneity of the transition is closely tied to the tilting of crystallographic planes in the pure insulating phase. We develop a structural model allowing us to interpret these tilts as variation of the monoclinic distortion during the rhombohedral-monoclinic phase transition. Our work highlights the impact of local heterogeneous lattice distortions on the Mott transition and lays the groundwork for future innovations in harnessing strain heterogeneity within Mott systems for the next-generation computational technologies.


title: Development and Application of a Monte Carlo Tree Search Algorithm for Simulating Da Vinci Code Game Strategies

abstract: In this study, we explore the efficiency of the Monte Carlo Tree Search (MCTS), a prominent decision-making algorithm renowned for its effectiveness in complex decision environments, contingent upon the volume of simulations conducted. Notwithstanding its broad applicability, the algorithm's performance can be adversely impacted in certain scenarios, particularly within the domain of game strategy development. This research posits that the inherent branch divergence within the Da Vinci Code board game significantly impedes parallelism when executed on Graphics Processing Units (GPUs). To investigate this hypothesis, we implemented and meticulously evaluated two variants of the MCTS algorithm, specifically designed to assess the impact of branch divergence on computational performance. Our comparative analysis reveals a linear improvement in performance with the CPU-based implementation, in stark contrast to the GPU implementation, which exhibits a non-linear enhancement pattern and discernible performance troughs. These findings contribute to a deeper understanding of the MCTS algorithm's behavior in divergent branch scenarios, highlighting critical considerations for optimizing game strategy algorithms on parallel computing architectures.


title: Bifurcations of inflating balloons and interacting hysterons

abstract: While many materials exhibit a complex, hysteretic response to external driving, there has been a surge of interest in how the complex dynamics of internal materials states can be understood and designed to process and store information. We consider a system of connected rubber balloons that can be described by a Preisach model of non-interacting hysterons under pressure control, but for which the hysterons become coupled under volume control. We study this system by exploring the possible transition graphs, as well as by introducing a configuration space approach which tracks the volumes of each balloon. Changes in the transition graphs turn out to be related to changes in the topology of the configuration space of the balloons, providing a particularly geometric view of how transition graphs can be designed, as well as additional information on the existence of hidden metastable states. This class of systems is more general than just balloons.


title: Cannabis Seed Variant Detection using Faster R-CNN

abstract: Analyzing and detecting cannabis seed variants is crucial for the agriculture industry. It enables precision breeding, allowing cultivators to selectively enhance desirable traits. Accurate identification of seed variants also ensures regulatory compliance, facilitating the cultivation of specific cannabis strains with defined characteristics, ultimately improving agricultural productivity and meeting diverse market demands. This paper presents a study on cannabis seed variant detection by employing a state-of-the-art object detection model Faster R-CNN. This study implemented the model on a locally sourced cannabis seed dataset in Thailand, comprising 17 distinct classes. We evaluate six Faster R-CNN models by comparing performance on various metrics and achieving a mAP score of 94.08\% and an F1 score of 95.66\%. This paper presents the first known application of deep neural network object detection models to the novel task of visually identifying cannabis seed types.


title: Leveraging Symmetries in Gaits for Reinforcement Learning: A Case Study on Quadrupedal Gaits

abstract: In this research, we address the complex task of developing versatile and agile quadrupedal gaits for robotic platforms, a domain predominantly governed by model-based trajectory optimization methods. We propose an innovative, reference-free reinforcement learning framework that exploits the intrinsic symmetries of dynamic systems to synthesize a broad array of naturalistic quadrupedal locomotion patterns. By capitalizing on distinct symmetry characteristics - namely temporal, morphological, and time-reversal - our approach efficiently facilitates the generation and transition among diverse gaits such as pronking, bounding half-bounding and galloping, across a spectrum of velocities, circumventing the necessity for expert-generated trajectories or complex reward structures. Implemented on the Petoi Bittle robotic model, our methodology illustrates robust and adaptable gait generation capabilities, significantly broadening the scope for robotic mobility and speed adaptability. This contribution not only advances our comprehension of quadrupedal locomotion mechanisms but also underscores the pivotal role of symmetry in the development of scalable and effective robotic gait strategies. Our findings hold substantial implications for robotic design and control, potentially enhancing operational versatility and efficiency across a variety of deployment environments.


title: Multilevel Dyson Brownian motions via the superposition principle

abstract: Multilevel Dyson Brownian motions (MDBMs) combine Dyson Brownian motions of different dimensions into a single process in a canonical way. This paper completes the theory of MDBMs for $\beta\ge2$. Specifically, we use the superposition principle of Figalli and Trevisan to construct the MDBMs for all $\beta>2$ in a unified manner. This also extends their stochastic differential equation representation, first discovered by Gorin and Shkolnikov, to all $\beta>2$ and proves the uniqueness of the MDBMs for all $\beta>2$. Finally, we show that their limit as $\beta\downarrow2$ is given by the $\beta=2$ MDBM, commonly referred to as the Warren process.


title: Unscrambling of single-particle wave functions in systems localized through disorder and monitoring

abstract: In systems undergoing localization-delocalization quantum phase transitions due to disorder or monitoring, there is a crucial need for robust methods capable of distinguishing phases and uncovering their intrinsic properties. In this work, we develop a process of finding a Slater determinant representation of free-fermion wave functions that accurately characterizes localized particles, a procedure we dub "unscrambling". The central idea is to minimize the overlap between envelopes of single-particle wave functions or, equivalently, to maximize the inverse participation ratio of each orbital. This numerically efficient methodology can differentiate between distinct types of wave functions: exponentially localized, power-law localized, and conformal critical, also revealing the underlying physics of these states. The method is readily extendable to systems in higher dimensions. Furthermore, we apply this approach to a more challenging problem involving disordered monitored free fermions in one dimension, where the unscrambling process unveils the presence of a conformal critical phase and a localized area-law quantum Zeno phase. Importantly, our method can also be extended to free fermion systems without particle number conservation, which we demonstrate by estimating the phase diagram of $\mathbb{Z}_2$-symmetric disordered monitored free fermions. Our results unlock the potential of utilizing single-particle wave functions to gain valuable insights into the localization transition properties in systems such as monitored free fermions and disordered models.


title: Strict Partitioning for Sporadic Rigid Gang Tasks

abstract: The rigid gang task model is based on the idea of executing multiple threads simultaneously on a fixed number of processors to increase efficiency and performance. Although there is extensive literature on global rigid gang scheduling, partitioned approaches have several practical advantages (e.g., task isolation and reduced scheduling overheads). In this paper, we propose a new partitioned scheduling strategy for rigid gang tasks, named strict partitioning. The method creates disjoint partitions of tasks and processors to avoid inter-partition interference. Moreover, it tries to assign tasks with similar volumes (i.e., parallelisms) to the same partition so that the intra-partition interference can be reduced. Within each partition, the tasks can be scheduled using any type of scheduler, which allows the use of a less pessimistic schedulability test. Extensive synthetic experiments and a case study based on Edge TPU benchmarks show that strict partitioning achieves better schedulability performance than state-of-the-art global gang schedulability analyses for both preemptive and non-preemptive rigid gang task sets.


title: Some Remarks on Gorenstein Projective Precovers

abstract: In this paper, we prove that for a $n$-perfect ring $R$ various classes of relative Gorenstein projective $R$-modules are special precovering, among them including the Gorenstein projectives and Ding projectives. Also we prove that the class of projectively coresolved Gorenstein flat $\mathcal{PGF} (R)$ fulfils the same feature. We also introduce a new class of Gorenstein projective $R$-modules relative to the Auslander class $\mathcal{A} _{C} (R)$ of a semidualizing $(R,S)$-bimodule $_R C_S$.


title: Irreversible dynamics of a continuum driven by active matter

abstract: We study the fluctuational behavior of overdamped elastic filaments (e.g., strings or rods) driven by active matter which induces irreversibility. The statistics of discrete normal modes are translated into the continuum of the position representation which allows discernment of the spatial structure of dissipation and fluctuational work done by the active forces. The mapping of force statistics onto filament statistics leads to a generalized fluctuation-dissipation relation which predicts the components of the stochastic area tensor and its spatial proxy, the irreversibility field. We illustrate the general theory with explicit results for a tensioned string between two fixed endpoints. Plots of the stochastic area tensor components in the discrete plane of mode pairs reveal how the active forces induce spatial correlations of displacement along the filament. The irreversibility field provides additional quantitative insight into the relative spatial distributions of fluctuational work and dissipative response.


title: Capturing thin structures in VOF simulations with two-plane reconstruction

abstract: A novel interface reconstruction strategy for volume of fluid (VOF) methods is introduced that represents the liquid-gas interface as two planes that co-exist within a single computational cell. In comparison to the piecewise linear interface calculation (PLIC), this new algorithm greatly improves the accuracy of the reconstruction, in particular when dealing with thin structures such as films. The placement of the two planes requires the solution of a non-linear optimization problem in six dimensions, which has the potential to be overly expensive. An efficient solution to this optimization problem is presented here that exploits two key ideas: an algorithm for extracting multiple plane orientations from transported surface data, and an efficient and mass-conserving distance-finding algorithm that accounts for two planes with arbitrary orientation. Additionally, a simple and robust strategy is presented to accurately represent the surface tension forces produced at the interface of subgrid-thickness films. The performance of this new VOF reconstruction is demonstrated on several test cases that illustrate the capability to handle arbitrarily thin films.


title: Counterfactual Analysis of Neural Networks Used to Create Fertilizer Management Zones

abstract: In Precision Agriculture, the utilization of management zones (MZs) that take into account within-field variability facilitates effective fertilizer management. This approach enables the optimization of nitrogen (N) rates to maximize crop yield production and enhance agronomic use efficiency. However, existing works often neglect the consideration of responsivity to fertilizer as a factor influencing MZ determination. In response to this gap, we present a MZ clustering method based on fertilizer responsivity. We build upon the statement that the responsivity of a given site to the fertilizer rate is described by the shape of its corresponding N fertilizer-yield response (N-response) curve. Thus, we generate N-response curves for all sites within the field using a convolutional neural network (CNN). The shape of the approximated N-response curves is then characterized using functional principal component analysis. Subsequently, a counterfactual explanation (CFE) method is applied to discern the impact of various variables on MZ membership. The genetic algorithm-based CFE solves a multi-objective optimization problem and aims to identify the minimum combination of features needed to alter a site's cluster assignment. Results from two yield prediction datasets indicate that the features with the greatest influence on MZ membership are associated with terrain characteristics that either facilitate or impede fertilizer runoff, such as terrain slope or topographic aspect.


title: Giving a Hand to Diffusion Models: a Two-Stage Approach to Improving Conditional Human Image Generation

abstract: Recent years have seen significant progress in human image generation, particularly with the advancements in diffusion models. However, existing diffusion methods encounter challenges when producing consistent hand anatomy and the generated images often lack precise control over the hand pose. To address this limitation, we introduce a novel approach to pose-conditioned human image generation, dividing the process into two stages: hand generation and subsequent body outpainting around the hands. We propose training the hand generator in a multi-task setting to produce both hand images and their corresponding segmentation masks, and employ the trained model in the first stage of generation. An adapted ControlNet model is then used in the second stage to outpaint the body around the generated hands, producing the final result. A novel blending technique is introduced to preserve the hand details during the second stage that combines the results of both stages in a coherent way. This involves sequential expansion of the outpainted region while fusing the latent representations, to ensure a seamless and cohesive synthesis of the final image. Experimental evaluations demonstrate the superiority of our proposed method over state-of-the-art techniques, in both pose accuracy and image quality, as validated on the HaGRID dataset. Our approach not only enhances the quality of the generated hands but also offers improved control over hand pose, advancing the capabilities of pose-conditioned human image generation. The source code of the proposed approach is available at https://github.com/apelykh/hand-to-diffusion.


title: Variance-Dependent Regret Bounds for Non-stationary Linear Bandits

abstract: We investigate the non-stationary stochastic linear bandit problem where the reward distribution evolves each round. Existing algorithms characterize the non-stationarity by the total variation budget $B_K$, which is the summation of the change of the consecutive feature vectors of the linear bandits over $K$ rounds. However, such a quantity only measures the non-stationarity with respect to the expectation of the reward distribution, which makes existing algorithms sub-optimal under the general non-stationary distribution setting. In this work, we propose algorithms that utilize the variance of the reward distribution as well as the $B_K$, and show that they can achieve tighter regret upper bounds. Specifically, we introduce two novel algorithms: Restarted Weighted$\text{OFUL}^+$ and Restarted $\text{SAVE}^+$. These algorithms address cases where the variance information of the rewards is known and unknown, respectively. Notably, when the total variance $V_K$ is much smaller than $K$, our algorithms outperform previous state-of-the-art results on non-stationary stochastic linear bandits under different settings. Experimental evaluations further validate the superior performance of our proposed algorithms over existing works.


title: Incentive-Compatible and Distributed Allocation for Robotic Service Provision Through Contract Theory

abstract: Robot allocation plays an essential role in facilitating robotic service provision across various domains. Yet the increasing number of users and the uncertainties regarding the users' true service requirements have posed challenges for the service provider in effectively allocating service robots to users to meet their needs. In this work, we first propose a contract-based approach to enable incentive-compatible service selection so that the service provider can effectively reduce the user's service uncertainties for precise service provision. Then, we develop a distributed allocation algorithm that incorporates robot dynamics and collision avoidance to allocate service robots and address scalability concerns associated with increasing numbers of service robots and users. We conduct simulations in eight scenarios to validate our approach. Comparative analysis against the robust allocation paradigm and two alternative uncertainty reduction strategies demonstrates that our approach achieves better allocation efficiency and accuracy.


title: Lipschitz normally embedded sets do not need to have Lipschitz normally embedded medial axis

abstract: The aim of this paper is to study the Lipschitz normally embedded property for a set and its medial axis. We consider if and when a non-LNE set implies non-LNE medial axis and converse. We present an example a of Lipschitz normally set that has medial axis which is not Lipschitz normally emebedded. At the end we discuss special case when a set is a one dimensional germ on a plane.


title: Time-Robust Path Planning with Piece-Wise Linear Trajectory for Signal Temporal Logic Specifications

abstract: Real-world scenarios are characterized by timing uncertainties, e.g., delays, and disturbances. Algorithms with temporal robustness are crucial in guaranteeing the successful execution of tasks and missions in such scenarios. We study time-robust path planning for synthesizing robots' trajectories that adhere to spatial-temporal specifications expressed in Signal Temporal Logic (STL). In contrast to prior approaches that rely on {discretize}d trajectories with fixed time steps, we leverage Piece-Wise Linear (PWL) signals for the synthesis. PWL signals represent a trajectory through a sequence of time-stamped waypoints. This allows us to encode the STL formula into a Mixed-Integer Linear Program (MILP) with fewer variables. This reduction is more pronounced for specifications with a long planning horizon. To that end, we define time-robustness for PWL signals. Subsequently, we propose quantitative semantics for PWL signals according to the recursive syntax of STL and prove their soundness. We then propose an encoding strategy to transform our semantics into a MILP. Our simulations showcase the soundness and the performance of our algorithm.


title: Stackelberg Meta-Learning Based Shared Control for Assistive Driving

abstract: Shared control allows the human driver to collaborate with an assistive driving system while retaining the ability to make decisions and take control if necessary. However, human-vehicle teaming and planning are challenging due to environmental uncertainties, the human's bounded rationality, and the variability in human behaviors. An effective collaboration plan needs to learn and adapt to these uncertainties. To this end, we develop a Stackelberg meta-learning algorithm to create automated learning-based planning for shared control. The Stackelberg games are used to capture the leader-follower structure in the asymmetric interactions between the human driver and the assistive driving system. The meta-learning algorithm generates a common behavioral model, which is capable of fast adaptation using a small amount of driving data to assist optimal decision-making. We use a case study of an obstacle avoidance driving scenario to corroborate that the adapted human behavioral model can successfully assist the human driver in reaching the target destination. Besides, it saves driving time compared with a driver-only scheme and is also robust to drivers' bounded rationality and errors.


title: Leveraging Synthetic Data for Generalizable and Fair Facial Action Unit Detection

abstract: Facial action unit (AU) detection is a fundamental block for objective facial expression analysis. Supervised learning approaches require a large amount of manual labeling which is costly. The limited labeled data are also not diverse in terms of gender which can affect model fairness. In this paper, we propose to use synthetically generated data and multi-source domain adaptation (MSDA) to address the problems of the scarcity of labeled data and the diversity of subjects. Specifically, we propose to generate a diverse dataset through synthetic facial expression re-targeting by transferring the expressions from real faces to synthetic avatars. Then, we use MSDA to transfer the AU detection knowledge from a real dataset and the synthetic dataset to a target dataset. Instead of aligning the overall distributions of different domains, we propose Paired Moment Matching (PM2) to align the features of the paired real and synthetic data with the same facial expression. To further improve gender fairness, PM2 matches the features of the real data with a female and a male synthetic image. Our results indicate that synthetic data and the proposed model improve both AU detection performance and fairness across genders, demonstrating its potential to solve AU detection in-the-wild.


title: Horizon-Free Regret for Linear Markov Decision Processes

abstract: A recent line of works showed regret bounds in reinforcement learning (RL) can be (nearly) independent of planning horizon, a.k.a.~the horizon-free bounds. However, these regret bounds only apply to settings where a polynomial dependency on the size of transition model is allowed, such as tabular Markov Decision Process (MDP) and linear mixture MDP. We give the first horizon-free bound for the popular linear MDP setting where the size of the transition model can be exponentially large or even uncountable. In contrast to prior works which explicitly estimate the transition model and compute the inhomogeneous value functions at different time steps, we directly estimate the value functions and confidence sets. We obtain the horizon-free bound by: (1) maintaining multiple weighted least square estimators for the value functions; and (2) a structural lemma which shows the maximal total variation of the inhomogeneous value functions is bounded by a polynomial factor of the feature dimension.


title: Codimension two mean curvature flow of entire graphs

abstract: We consider the graphical mean curvature flow of maps ${\bf f}:\mathbb{R}^m\to\mathbb{R}^n$, $m\ge 2$, and derive estimates on the growth rates of the evolved graphs, based on a new version of the maximum principle for properly immersed submanifolds that extends the well-known maximum principle of Ecker and Huisken derived in their seminal paper [10]. In the case of uniformly area decreasing maps ${\bf f}:\mathbb{R}^m\to\mathbb{R}^2$, $m\ge 2$, we use this maximum principle to show that the graphicality and the area decreasing property are preserved. Moreover, if the initial graph is asymptotically conical at infinity, we prove that the normalized mean curvature flow smoothly converges to a self-expander.


title: Control of quality factor of atomic force microscopy cantilever by cavity optomechanical effect

abstract: Quality factor plays a fundamental role in dynamic mode atomic force microscopy. We present a technique to modify the quality factor of an atomic force microscopy cantilever within a Fabry-P\'erot optical interferometer. The experimental setup uses two separate laser sources to detect and excite the oscillation of the cantilever. While the intensity modulation of the excitation laser drives the oscillation of the cantilever, the average intensity can be used to modify the quality factor via optomechanical force, without changing the fiber-cantilever cavity length. The technique enables users to optimize the quality factor for different types of measurements without influencing the deflection measurement sensitivity. An unexpected frequency shift was also observed and modelled as temperature dependence of the cantilever's Young's modulus, which was validated using finite element simulation. The model was used to compensate for the thermal frequency shift. The simulation provided relations between optical power, temperature, and frequency shift.


title: Hydrodynamics on (mini)superspace, or a non-linear extension of quantum cosmology

abstract: We outline the content and theoretical support for the proposal of "hydrodynamics on (mini)superspace" (or a non-linear extension of quantum cosmology) as an effective framework for quantum gravity in a cosmological context. The basis for the proposal is a general correspondence between hydrodynamics and cosmology, and a picture of the universe as a quantum gravity condensate. The support comes from several directions. One is from mathematical physics: the hydrodynamics of quantum fluids can be mapped to relativistic cosmological dynamics, and both share the same conformal symmetries, which can be unraveled via geometric methods in superspace. The second is that the proposed framework is realized in quantum gravity formalisms like group field theory, in which an emergent cosmological dynamics can be extracted from the hydrodynamics of fundamental quantum simplices in a condensate phase. The same proposal can be motivated from the idea of 3rd quantization of gravity and from recent work on quantum cosmology, as an effective way of incorporating topology changing processes or cosmological inhomogeneities, respectively. A key conceptual ingredient is the relational understanding of space and time, which makes superspace the natural arena for gravitational dynamics, as opposed to the "spacetime" manifold, together with the general idea of emergent spacetime. The proposal and the results supporting it suggest an exciting dialogue between quantum gravity, the theory of quantum fluids and cosmology, as well as a new direction for analogue gravity simulations in the lab.


title: Assessing Delayed Treatment Benefits of Immunotherapy Using Long-Term Average Hazard: A Novel Test/Estimation Approach

abstract: Delayed treatment effects on time-to-event outcomes have often been observed in randomized controlled studies of cancer immunotherapies. In the case of delayed onset of treatment effect, the conventional test/estimation approach using the log-rank test for between-group comparison and Cox's hazard ratio to estimate the magnitude of treatment effect is not optimal, because the log-rank test is not the most powerful option, and the interpretation of the resulting hazard ratio is not obvious. Recently, alternative test/estimation approaches were proposed to address both the power issue and the interpretation problems of the conventional approach. One is a test/estimation approach based on long-term restricted mean survival time, and the other approach is based on average hazard with survival weight. This paper integrates these two ideas and proposes a novel test/estimation approach based on long-term average hazard (LT-AH) with survival weight. Numerical studies reveal specific scenarios where the proposed LT-AH method provides a higher power than the two alternative approaches. The proposed approach has test/estimation coherency and can provide robust estimates of the magnitude of treatment effect not dependent on study-specific censoring time distribution. Also, the proposed LT-AH approach can summarize the magnitude of the treatment effect in both absolute difference and relative terms using ``hazard'' (i.e., difference in LT-AH and ratio of LT-AH), meeting guideline recommendations and practical needs. This proposed approach can be a useful alternative to the traditional hazard-based test/estimation approach when delayed onset of survival benefit is expected.


title: Non-unique detailed constructions of Curzon-Ahlborn cycle on thermodynamic plane

abstract: The Curzon-Ahlborn (CA) cycle is a paradigmatic model of endoreversible heat engines, which yields the so-called CA efficiency as the efficiency at maximum power. Due to the arbitrariness of the relationship between the steady temperature and the time taken for the isothermal process of the CA cycle, the constructions of the CA cycle on the thermodynamic plane are not unique. Here, we give some of the detailed constructions of the CA cycle on the thermodynamic plane, using an ideal gas as a working substance. It is shown that these constructions are equal to each other in the maximum power regime in the sense that they achieve the best trade-off between the work and the inverse cycle-time, known as the Pareto front in multi-objective optimization problems.


title: Game and Reference: Policy Combination Synthesis for Epidemic Prevention and Control

abstract: In recent years, epidemic policy-making models are increasingly being used to provide reference for governors on prevention and control policies against catastrophic epidemics such as SARS, H1N1 and COVID-19. Existing studies are currently constrained by two issues: First, previous methods develop policies based on effect evaluation, since few of factors in real-world decision-making can be modeled, the output policies will then easily become extreme. Second, the subjectivity and cognitive limitation of human make the historical policies not always optimal for the training of decision models. To these ends, we present a novel Policy Combination Synthesis (PCS) model for epidemic policy-making. Specially, to prevent extreme decisions, we introduce adversarial learning between the model-made policies and the real policies to force the output policies to be more human-liked. On the other hand, to minimize the impact of sub-optimal historical policies, we employ contrastive learning to let the model draw on experience from the best historical policies under similar scenarios. Both adversarial and contrastive learning are adaptive based on the comprehensive effects of real policies to ensure the model always learns useful information. Extensive experiments on real-world data prove the effectiveness of the proposed model.


title: iDb-RRT: Sampling-based Kinodynamic Motion Planning with Motion Primitives and Trajectory Optimization

abstract: Rapidly-exploring Random Trees (RRT) and its variations have emerged as a robust and efficient tool for finding collision-free paths in robotic systems. However, adding dynamic constraints makes the motion planning problem significantly harder, as it requires solving two-value boundary problems (computationally expensive) or propagating random control inputs (uninformative). Alternatively, Iterative Discontinuity Bounded A* (iDb-A*), introduced in our previous study, combines search and optimization iteratively. The search step connects short trajectories (motion primitives) while allowing a bounded discontinuity between the motion primitives, which is later repaired in the trajectory optimization step. Building upon these foundations, in this paper, we present iDb-RRT, a sampling-based kinodynamic motion planning algorithm that combines motion primitives and trajectory optimization within the RRT framework. iDb-RRT is probabilistically complete and can be implemented in forward or bidirectional mode. We have tested our algorithm across a benchmark suite comprising 30 problems, spanning 8 different systems, and shown that iDb-RRT can find solutions up to 10x faster than previous methods, especially in complex scenarios that require long trajectories or involve navigating through narrow passages.


title: Vector search with small radiuses

abstract: In recent years, the dominant accuracy metric for vector search is the recall of a result list of fixed size (top-k retrieval), considering as ground truth the exact vector retrieval results. Although convenient to compute, this metric is distantly related to the end-to-end accuracy of a full system that integrates vector search. In this paper we focus on the common case where a hard decision needs to be taken depending on the vector retrieval results, for example, deciding whether a query image matches a database image or not. We solve this as a range search task, where all vectors within a certain radius from the query are returned. We show that the value of a range search result can be modeled rigorously based on the query-to-vector distance. This yields a metric for range search, RSM, that is both principled and easy to compute without running an end-to-end evaluation. We apply this metric to the case of image retrieval. We show that indexing methods that are adapted for top-k retrieval do not necessarily maximize the RSM. In particular, for inverted file based indexes, we show that visiting a limited set of clusters and encoding vectors compactly yields near optimal results.


title: Electroweak Monopole-Antimonopole Pair Production at LHC

abstract: One of the urgent issues in high energy physics is the experimental confirmation of the electroweak monopole predicted by the standard model, and currently MoEDAL at LHC is actively searching for the monopole. However, the present LHC cannot produce the monopole if the mass is bigger than 7 TeV, while the monopole mass is expected to be around $M_W/\alpha \simeq 11~\text{TeV}$. In this paper we discuss how LHC could circumbent this energy constraint and produce the monopole even when the mass is bigger than 7 TeV, based on the following ideas. First, in the topological production of the monopole the baby monopole mass at creation could be considerably smaller than the adolescent mass. Second, the binding energy of the monopole-antimonopole pair could effectively reduce the mass of the bound state. We discuss how these ideas can actually be realized at LHC to produce the monopole pairs. In particular, we argue that LHC could produce the baby electroweak monopoles whose mass could be around 5.3 TeV, smaller than the adolescent monopole mass around 11.0 TeV. Moreover, we show that LHC could produce the monopolium bound state with mass around 2.5 TeV, even when the total mass of the monopole-antimonopole pair is around 10.6 TeV. Our analysis could play an important role for MoEDAL experiment.


title: A Comprehensive Review of Latent Space Dynamics Identification Algorithms for Intrusive and Non-Intrusive Reduced-Order-Modeling

abstract: Numerical solvers of partial differential equations (PDEs) have been widely employed for simulating physical systems. However, the computational cost remains a major bottleneck in various scientific and engineering applications, which has motivated the development of reduced-order models (ROMs). Recently, machine-learning-based ROMs have gained significant popularity and are promising for addressing some limitations of traditional ROM methods, especially for advection dominated systems. In this chapter, we focus on a particular framework known as Latent Space Dynamics Identification (LaSDI), which transforms the high-fidelity data, governed by a PDE, to simpler and low-dimensional latent-space data, governed by ordinary differential equations (ODEs). These ODEs can be learned and subsequently interpolated to make ROM predictions. Each building block of LaSDI can be easily modulated depending on the application, which makes the LaSDI framework highly flexible. In particular, we present strategies to enforce the laws of thermodynamics into LaSDI models (tLaSDI), enhance robustness in the presence of noise through the weak form (WLaSDI), select high-fidelity training data efficiently through active learning (gLaSDI, GPLaSDI), and quantify the ROM prediction uncertainty through Gaussian processes (GPLaSDI). We demonstrate the performance of different LaSDI approaches on Burgers equation, a non-linear heat conduction problem, and a plasma physics problem, showing that LaSDI algorithms can achieve relative errors of less than a few percent and up to thousands of times speed-ups.


title: Evolution of chirality from transverse wobbling in $^{135}$Pr

abstract: Chirality is a distinct signature that characterizes triaxial shapes in nuclei. We report the first observation of chirality in the nucleus $^{135}$Pr using a high-statistics Gammasphere experiment with the $^{123}$Sb($^{16}$O,4n)$^{135}$Pr reaction. Two chiral-partner bands with the configuration $\pi(1h_{11/2})^1\otimes \nu(1h_{11/2})^{-2}$ have been identified in this nucleus. Angular distribution analyses of the $\Delta I = 1$ connecting transitions between the two chiral partners have revealed a dominant dipole character. Quasiparticle triaxial rotor model calculations are in good agreement with the experiment. This is the first time that both signatures of triaxiality--chirality and wobbling--have been observed in the same nucleus.


title: Depression Detection on Social Media with Large Language Models

abstract: Depression harms. However, due to a lack of mental health awareness and fear of stigma, many patients do not actively seek diagnosis and treatment, leading to detrimental outcomes. Depression detection aims to determine whether an individual suffers from depression by analyzing their history of posts on social media, which can significantly aid in early detection and intervention. It mainly faces two key challenges: 1) it requires professional medical knowledge, and 2) it necessitates both high accuracy and explainability. To address it, we propose a novel depression detection system called DORIS, combining medical knowledge and the recent advances in large language models (LLMs). Specifically, to tackle the first challenge, we proposed an LLM-based solution to first annotate whether high-risk texts meet medical diagnostic criteria. Further, we retrieve texts with high emotional intensity and summarize critical information from the historical mood records of users, so-called mood courses. To tackle the second challenge, we combine LLM and traditional classifiers to integrate medical knowledge-guided features, for which the model can also explain its prediction results, achieving both high accuracy and explainability. Extensive experimental results on benchmarking datasets show that, compared to the current best baseline, our approach improves by 0.036 in AUPRC, which can be considered significant, demonstrating the effectiveness of our approach and its high value as an NLP application.


title: LIGHTCODE: Light Analytical and Neural Codes for Channels with Feedback

abstract: The design of reliable and efficient codes for channels with feedback remains a longstanding challenge in communication theory. While significant improvements have been achieved by leveraging deep learning techniques, neural codes often suffer from high computational costs, a lack of interpretability, and limited practicality in resource-constrained settings. We focus on designing low-complexity coding schemes that are interpretable and more suitable for communication systems. We advance both analytical and neural codes. First, we demonstrate that POWERBLAST, an analytical coding scheme inspired by Schalkwijk-Kailath (SK) and Gallager-Nakiboglu (GN) schemes, achieves notable reliability improvements over both SK and GN schemes, outperforming neural codes in high signal-to-noise ratio (SNR) regions. Next, to enhance reliability in low-SNR regions, we propose LIGHTCODE, a lightweight neural code that achieves state-of-the-art reliability while using a fraction of memory and compute compared to existing deep-learning-based codes. Finally, we systematically analyze the learned codes, establishing connections between LIGHTCODE and POWERBLAST, identifying components crucial for performance, and providing interpretation aided by linear regression analysis.


title: Tunable subdiffusion in the Caputo fractional standard map

abstract: The Caputo fractional standard map (C-fSM) is a two-dimensional nonlinear map with memory given in action-angle variables $(I,\theta)$. It is parameterized by $K$ and $\alpha\in(1,2]$ which control the strength of nonlinearity and the fractional order of the Caputo derivative, respectively. In this work we perform a scaling study of the average squared action $\left< I^2 \right>$ along strongly chaotic orbits, i.e. when $K\gg1$. We numerically prove that $\left< I^2 \right>\propto n^\mu$ with $0\le\mu(\alpha)\le1$, for large enough discrete times $n$. That is, we demonstrate that the C-fSM displays subdiffusion for $1<\alpha<2$. Specifically, we show that diffusion is suppressed for $\alpha\to1$ since $\mu(1)=0$, while standard diffusion is recovered for $\alpha=2$ where $\mu(2)=1$. We describe our numerical results with a phenomenological analytical estimation. We also contrast the C-fSM with the Riemann-Liouville fSM and Chirikov's standard map.


title: The Impact Of Bug Localization Based on Crash Report Mining: A Developers' Perspective

abstract: Developers often use crash reports to understand the root cause of bugs. However, locating the buggy source code snippet from such information is a challenging task, mainly when the log database contains many crash reports. To mitigate this issue, recent research has proposed and evaluated approaches for grouping crash report data and using stack trace information to locate bugs. The effectiveness of such approaches has been evaluated by mainly comparing the candidate buggy code snippets with the actual changed code in bug-fix commits -- which happens in the context of retrospective repository mining studies. Therefore, the existing literature still lacks discussing the use of such approaches in the daily life of a software company, which could explain the developers' perceptions on the use of these approaches. In this paper, we report our experience of using an approach for grouping crash reports and finding buggy code on a weekly basis for 18 months, within three development teams in a software company. We grouped over 750,000 crash reports, opened over 130 issues, and collected feedback from 18 developers and team leaders. Among other results, we observe that the amount of system logs related to a crash report group is not the only criteria developers use to choose a candidate bug to be analyzed. Instead, other factors were considered, such as the need to deliver customer-prioritized features and the difficulty of solving complex crash reports (e.g., architectural debts), to cite some. The approach investigated in this study correctly suggested the buggy file most of the time -- the approach's precision was around 80%. In this study, the developers also shared their perspectives on the usefulness of the suspicious files and methods extracted from crash reports to fix related bugs.


title: CSST large-scale structure analysis pipeline: I. constructing reference mock galaxy redshift surveys

abstract: In this paper, we set out to construct a set of reference mock galaxy redshift surveys (MGRSs) for the future Chinese Space-station Survey Telescope (CSST) observation, where subsequent survey selection effects can be added and evaluated. This set of MGRSs is generated using the dark matter subhalos extracted from a high-resolution Jiutian $N$-body simulation of the standard $\Lambda$CDM cosmogony with $\Omega_m=0.3111$, $\Omega_{\Lambda}=0.6889$, and $\sigma_8=0.8102$. The simulation has a boxsize of $1~h^{-1} {\rm Gpc}$, and consists of $6144^3$ particles with mass resolution $3.723 \times 10^{8} h^{-1} M_\odot $. In order to take into account the effect of redshift evolution, we first use all 128 snapshots in the Jiutian simulation to generate a light-cone halo/subhalo catalog. Next, galaxy luminosities are assigned to the main and subhalo populations using the subhalo abundance matching (SHAM) method with the DESI $z$-band luminosity functions at different redshifts. Multi-band photometries, as well as images, are then assigned to each mock galaxy using a 3-dimensional parameter space nearest neighbor sampling of the DESI LS observational galaxies and groups. Finally, the CSST and DESI LS survey geometry and magnitude limit cuts are applied to generate the required MGRSs. As we have checked, this set of MGRSs can generally reproduce the observed galaxy luminosity/mass functions within 0.1 dex for galaxies with $L > 10^8 L_\odot$ (or $M_* > 10^{8.5} M_\odot$) and within 1-$\sigma$ level for galaxies with $L < 10^8L_\odot$ (or $M_* < 10^{8.5} M_\odot$). Together with the CSST slitless spectra and redshifts for our DESI LS seed galaxies that are under construction, we will set out to test various slitless observational selection effects in subsequent probes.


title: Match-Stereo-Videos: Bidirectional Alignment for Consistent Dynamic Stereo Matching

abstract: Dynamic stereo matching is the task of estimating consistent disparities from stereo videos with dynamic objects. Recent learning-based methods prioritize optimal performance on a single stereo pair, resulting in temporal inconsistencies. Existing video methods apply per-frame matching and window-based cost aggregation across the time dimension, leading to low-frequency oscillations at the scale of the window size. Towards this challenge, we develop a bidirectional alignment mechanism for adjacent frames as a fundamental operation. We further propose a novel framework, BiDAStereo, that achieves consistent dynamic stereo matching. Unlike the existing methods, we model this task as local matching and global aggregation. Locally, we consider correlation in a triple-frame manner to pool information from adjacent frames and improve the temporal consistency. Globally, to exploit the entire sequence's consistency and extract dynamic scene cues for aggregation, we develop a motion-propagation recurrent unit. Extensive experiments demonstrate the performance of our method, showcasing improvements in prediction quality and achieving state-of-the-art results on various commonly used benchmarks.


title: Refining Knowledge Transfer on Audio-Image Temporal Agreement for Audio-Text Cross Retrieval

abstract: The aim of this research is to refine knowledge transfer on audio-image temporal agreement for audio-text cross retrieval. To address the limited availability of paired non-speech audio-text data, learning methods for transferring the knowledge acquired from a large amount of paired audio-image data to shared audio-text representation have been investigated, suggesting the importance of how audio-image co-occurrence is learned. Conventional approaches in audio-image learning assign a single image randomly selected from the corresponding video stream to the entire audio clip, assuming their co-occurrence. However, this method may not accurately capture the temporal agreement between the target audio and image because a single image can only represent a snapshot of a scene, though the target audio changes from moment to moment. To address this problem, we propose two methods for audio and image matching that effectively capture the temporal information: (i) Nearest Match wherein an image is selected from multiple time frames based on similarity with audio, and (ii) Multiframe Match wherein audio and image pairs of multiple time frames are used. Experimental results show that method (i) improves the audio-text retrieval performance by selecting the nearest image that aligns with the audio information and transferring the learned knowledge. Conversely, method (ii) improves the performance of audio-image retrieval while not showing significant improvements in audio-text retrieval performance. These results indicate that refining audio-image temporal agreement may contribute to better knowledge transfer to audio-text retrieval.


title: Stallings automata

abstract: This text aims to provide a self-contained, comprehensive, and reasonably detailed presentation of the theory of Stallings automata and some of its main applications.


title: Rules still work for Open Information Extraction

abstract: Open information extraction (OIE) aims to extract surface relations and their corresponding arguments from natural language text, irrespective of domain. This paper presents an innovative OIE model, APRCOIE, tailored for Chinese text. Diverging from previous models, our model generates extraction patterns autonomously. The model defines a new pattern form for Chinese OIE and proposes an automated pattern generation methodology. In that way, the model can handle a wide array of complex and diverse Chinese grammatical phenomena. We design a preliminary filter based on tensor computing to conduct the extraction procedure efficiently. To train the model, we manually annotated a large-scale Chinese OIE dataset. In the comparative evaluation, we demonstrate that APRCOIE outperforms state-of-the-art Chinese OIE models and significantly expands the boundaries of achievable OIE performance. The code of APRCOIE and the annotated dataset are released on GitHub (https://github.com/jialin666/APRCOIE_v1)


title: Fully Distributed Cooperative Multi-agent Underwater Obstacle Avoidance Under Dog Walking Paradigm

abstract: Navigation in cluttered underwater environments is challenging, especially when there are constraints on communication and self-localisation. Part of the fully distributed underwater navigation problem has been resolved by introducing multi-agent robot teams, however when the environment becomes cluttered, the problem remains unresolved. In this paper, we first studied the connection between everyday activity of dog walking and the cooperative underwater obstacle avoidance problem. Inspired by this analogy, we propose a novel dog walking paradigm and implement it in a multi-agent underwater system. Simulations were conducted across various scenarios, with performance benchmarked against traditional methods utilising Image-Based Visual Servoing in a multi-agent setup. Results indicate that our dog walking-inspired paradigm significantly enhances cooperative behavior among agents and outperforms the existing approach in navigating through obstacles.


title: CORN: Contact-based Object Representation for Nonprehensile Manipulation of General Unseen Objects

abstract: Nonprehensile manipulation is essential for manipulating objects that are too thin, large, or otherwise ungraspable in the wild. To sidestep the difficulty of contact modeling in conventional modeling-based approaches, reinforcement learning (RL) has recently emerged as a promising alternative. However, previous RL approaches either lack the ability to generalize over diverse object shapes, or use simple action primitives that limit the diversity of robot motions. Furthermore, using RL over diverse object geometry is challenging due to the high cost of training a policy that takes in high-dimensional sensory inputs. We propose a novel contact-based object representation and pretraining pipeline to tackle this. To enable massively parallel training, we leverage a lightweight patch-based transformer architecture for our encoder that processes point clouds, thus scaling our training across thousands of environments. Compared to learning from scratch, or other shape representation baselines, our representation facilitates both time- and data-efficient learning. We validate the efficacy of our overall system by zero-shot transferring the trained policy to novel real-world objects. Code and videos are available at https://sites.google.com/view/contact-non-prehensile.


title: Scheduling Drone and Mobile Charger via Hybrid-Action Deep Reinforcement Learning

abstract: Recently there has been a growing interest in industry and academia, regarding the use of wireless chargers to prolong the operational longevity of unmanned aerial vehicles (commonly knowns as drones). In this paper we consider a charger-assisted drone application: a drone is deployed to observe a set points of interest, while a charger can move to recharge the drone's battery. We focus on the route and charging schedule of the drone and the mobile charger, to obtain high observation utility with the shortest possible time, while ensuring the drone remains operational during task execution. Essentially, this proposed drone-charger scheduling problem is a multi-stage decision-making process, in which the drone and the mobile charger act as two agents who cooperate to finish a task. The discrete-continuous hybrid action space of the two agents poses a significant challenge in our problem. To address this issue, we present a hybrid-action deep reinforcement learning framework, called HaDMC, which uses a standard policy learning algorithm to generate latent continuous actions. Motivated by representation learning, we specifically design and train an action decoder. It involves two pipelines to convert the latent continuous actions into original discrete and continuous actions, by which the drone and the charger can directly interact with environment. We embed a mutual learning scheme in model training, emphasizing the collaborative rather than individual actions. We conduct extensive numerical experiments to evaluate HaDMC and compare it with state-of-the-art deep reinforcement learning approaches. The experimental results show the effectiveness and efficiency of our solution.


title: NARRATE: Versatile Language Architecture for Optimal Control in Robotics

abstract: The impressive capabilities of Large Language Models (LLMs) have led to various efforts to enable robots to be controlled through natural language instructions, opening exciting possibilities for human-robot interaction The goal is for the motor-control task to be performed accurately, efficiently and safely while also enjoying the flexibility imparted by LLMs to specify and adjust the task through natural language. In this work, we demonstrate how a careful layering of an LLM in combination with a Model Predictive Control (MPC) formulation allows for accurate and flexible robotic control via natural language while taking into consideration safety constraints. In particular, we rely on the LLM to effectively frame constraints and objective functions as mathematical expressions, which are later used in the motor-control module via MPC. The transparency of the optimization formulation allows for interpretability of the task and enables adjustments through human feedback. We demonstrate the validity of our method through extensive experiments on long-horizon reasoning, contact-rich, and multi-object interaction tasks. Our evaluations show that NARRATE outperforms current existing methods on these benchmarks and effectively transfers to the real world on two different embodiments. Videos, Code and Prompts at narrate-mpc.github.io


title: A Primal-Dual Algorithm for Faster Distributionally Robust Optimization

abstract: We consider the penalized distributionally robust optimization (DRO) problem with a closed, convex uncertainty set, a setting that encompasses the $f$-DRO, Wasserstein-DRO, and spectral/$L$-risk formulations used in practice. We present Drago, a stochastic primal-dual algorithm that achieves a state-of-the-art linear convergence rate on strongly convex-strongly concave DRO problems. The method combines both randomized and cyclic components with mini-batching, which effectively handles the unique asymmetric nature of the primal and dual problems in DRO. We support our theoretical results with numerical benchmarks in classification and regression.


title: ECRC: Emotion-Causality Recognition in Korean Conversation for GCN

abstract: In this multi-task learning study on simultaneous analysis of emotions and their underlying causes in conversational contexts, deep neural network methods were employed to effectively process and train large labeled datasets. However, these approaches are typically limited to conducting context analyses across the entire corpus because they rely on one of the two methods: word- or sentence-level embedding. The former struggles with polysemy and homonyms, whereas the latter causes information loss when processing long sentences. In this study, we overcome the limitations of previous embeddings by utilizing both word- and sentence-level embeddings. Furthermore, we propose the emotion-causality recognition in conversation (ECRC) model, which is based on a novel graph structure, thereby leveraging the strengths of both embedding methods. This model uniquely integrates the bidirectional long short-term memory (Bi-LSTM) and graph neural network (GCN) models for Korean conversation analysis. Compared with models that rely solely on one embedding method, the proposed model effectively structures abstract concepts, such as language features and relationships, thereby minimizing information loss. To assess model performance, we compared the multi-task learning results of three deep neural network models with varying graph structures. Additionally, we evaluated the proposed model using Korean and English datasets. The experimental results show that the proposed model performs better in emotion and causality multi-task learning (74.62% and 75.30%, respectively) when node and edge characteristics are incorporated into the graph structure. Similar results were recorded for the Korean ECC and Wellness datasets (74.62% and 73.44%, respectively) with 71.35% on the IEMOCAP English dataset.


title: Anomaly cancellation formulas and E_8 bundles for almost complex manifolds

abstract: In this paper, we extend the elliptic genus in [10] by the gauge group E_8 and the gauge group E_8*E_8. Then we prove that the generalized elliptic genus are the weak Jacobi forms. Using these elliptic genus, we obtain some SL_2(Z) modular forms and get some new anomaly cancellation formulas of characteristic forms for almost complex manifolds.


title: ODE Discovery for Longitudinal Heterogeneous Treatment Effects Inference

abstract: Inferring unbiased treatment effects has received widespread attention in the machine learning community. In recent years, our community has proposed numerous solutions in standard settings, high-dimensional treatment settings, and even longitudinal settings. While very diverse, the solution has mostly relied on neural networks for inference and simultaneous correction of assignment bias. New approaches typically build on top of previous approaches by proposing new (or refined) architectures and learning algorithms. However, the end result -- a neural-network-based inference machine -- remains unchallenged. In this paper, we introduce a different type of solution in the longitudinal setting: a closed-form ordinary differential equation (ODE). While we still rely on continuous optimization to learn an ODE, the resulting inference machine is no longer a neural network. Doing so yields several advantages such as interpretability, irregular sampling, and a different set of identification assumptions. Above all, we consider the introduction of a completely new type of solution to be our most important contribution as it may spark entirely new innovations in treatment effects in general. We facilitate this by formulating our contribution as a framework that can transform any ODE discovery method into a treatment effects method.


title: Subvolume method for SU(2) Yang-Mills theory at finite temperature: topological charge distributions

abstract: We apply the previously-developed sub-volume method to study the $\theta$-dependence of the four-dimensional SU(2) Yang-Mills theory at finite temperature. We calculate the first two coefficients, the topological susceptibility $\chi$ and the fourth cumulant $b_2$, in the $\theta$-expansion of the free energy density around the critical temperature ($T_c$) for the confinement-deconfinement transition. Lattice calculations are performed with three different spatial sizes $24^3,32^3,48^3$ to monitor finite size effects, while the temporal size is fixed to be $8$. The systematic uncertainty associated with the sub-volume extrapolation is studied with special care. The sub-volume method allows us to determine the values of $b_2$ much more accurately than the standard full-volume method, and we successfully identify the temperature dependence of $b_2$ around $T_c$. Our numerical results suggest that the $\theta$-dependence of the free energy density near $\theta=0$ changes from $4\chi(1-\cos(\theta/2))$ to $\chi(1-\cos\theta)$ as the temperature crosses $T_c$.


title: Task-Driven Manipulation with Reconfigurable Parallel Robots

abstract: ReachBot, a proposed robotic platform, employs extendable booms as limbs for mobility in challenging environments, such as martian caves. When attached to the environment, ReachBot acts as a parallel robot, with reconfiguration driven by the ability to detach and re-place the booms. This ability enables manipulation-focused scientific objectives: for instance, through operating tools, or handling and transporting samples. To achieve these capabilities, we develop a two-part solution, optimizing for robustness against task uncertainty and stochastic failure modes. First, we present a mixed-integer stance planner to determine the positioning of ReachBot's booms to maximize the task wrench space about the nominal point(s). Second, we present a convex tension planner to determine boom tensions for the desired task wrenches, accounting for the probabilistic nature of microspine grasping. We demonstrate improvements in key robustness metrics from the field of dexterous manipulation, and show a large increase in the volume of the manipulation workspace. Finally, we employ Monte-Carlo simulation to validate the robustness of these methods, demonstrating good performance across a range of randomized tasks and environments, and generalization to cable-driven morphologies. We make our code available at our project webpage, https://stanfordasl.github.io/reachbot_manipulation/


title: Machine Learning Exchange Fields for Ab-initio Spin Dynamics

abstract: We add the magnetic degrees of freedom to the widely used Gaussian Approximation Potential of machine learning (ML) and present a model that describes the potential energy surface of a crystal based on the atomic coordinates as well as their noncollinear magnetic moments. Assuming an adiabatic approximation for the spin directions and magnitudes, the ML model depends solely on spin coordinates and orientation, resulting in computational efffciency and enabling ab initio spin dynamics. Leveraging rotational symmetries of magnetic interactions, the ML model can incorporate various magnetic interactions, expanding into two-body, three-body terms, etc., following the spirit of cluster expansion. For simplicity, we implement the ML model with a two-body form for the exchange interaction. Comparing total energies and local fields predicted by the model for noncollinear spin arrangements with explicit results of constrained noncollinear density functional calculations for bcc Fe yields excellent results, within 1 meV/spin for the total energy. Further optimization, including three-body and other terms, is expected to encompass diverse magnetic interactions and enhance the model's accuracy. This will extend the model's applicability to a wide range of materials and facilitate the machine learning ab initio spin dynamics.


title: Local existence and uniqueness of solution to the two-dimensional inhomogeneous Prandtl equations by energy method

abstract: In this paper, we consider the local existence and uniqueness result for the inhomogeneous Prandtl equations in dimension two by energy method. First of all, for the homogeneous case, the local-in-time well-posedness theory of unsteady Prandtl equations was obtained by [Alexandre, Wang, Xu, Yang, J. Am. Math. Soc., 28 (3), 745-784 (2015)] and [Masmoudi, Wong, Comm. Pure Appl. Math., 68 (10), 1683-1741 (2015)] independently by energy method without any transformation. However, for the inhomogeneous case, the appearance of density will create some new difficulties for us to overcome the loss of tangential derivative of horizontal velocity. Thus, our first result is to overcome the loss of tangential derivative such that one can establish the local-in-time well-posedness result for the inhomogeneous Prandtl equations by energy method. Secondly, for the homogeneous case, the local-in-x well-posedness in higher regular space for the steady Prandtl equations was obtained by [Guo, Iyer, Comm. Math. Phys., 382 (3), 1403-447 (2021)] by energy method since they firstly found the good quantity(called `quotient'). With the help of this quotient, our second result is to establish the local-in-x well-posedness in higher regular Sobolev space for the steady inhomogeneous Prandtl equations.


title: A Probabilistic Approach for Alignment with Human Comparisons

abstract: A growing trend involves integrating human knowledge into learning frameworks, leveraging subtle human feedback to refine AI models. Despite these advances, no comprehensive theoretical framework describing the specific conditions under which human comparisons improve the traditional supervised fine-tuning process has been developed. To bridge this gap, this paper studies the effective use of human comparisons to address limitations arising from noisy data and high-dimensional models. We propose a two-stage "Supervised Fine Tuning+Human Comparison" (SFT+HC) framework connecting machine learning with human feedback through a probabilistic bisection approach. The two-stage framework first learns low-dimensional representations from noisy-labeled data via an SFT procedure, and then uses human comparisons to improve the model alignment. To examine the efficacy of the alignment phase, we introduce a novel concept termed the "label-noise-to-comparison-accuracy" (LNCA) ratio. This paper theoretically identifies the conditions under which the "SFT+HC" framework outperforms pure SFT approach, leveraging this ratio to highlight the advantage of incorporating human evaluators in reducing sample complexity. We validate that the proposed conditions for the LNCA ratio are met in a case study conducted via an Amazon Mechanical Turk experiment.


title: Gauge Theory Bootstrap: Pion amplitudes and low energy parameters

abstract: Following the Gauge Theory Bootstrap method proposed in our previous work [arXiv:2309.12402], we compute pion scattering phase shifts for all partial waves with angular momentum $\ell\le 3$ up to 2 GeV and calculate the low energy $\chi$PT coefficients $\bar{\ell}_{1,2,4,6}$. The method looks for the most general S-matrix that matches at low energy the tree level amplitudes of the non-linear sigma model and at high energy, QCD sum rules and form factors. This is a theoretical/numerical calculation that uses as only data the pion mass $m_\pi$, pion decay constant $f_\pi$ and the QCD parameters $N_c=3$, $N_f=2$, $m_q$ and $\alpha_s$. All results are in reasonable agreement with experiment. In particular, we find the $\rho(770)$, $f_2(1270)$ and $\rho(1450)$ resonances and some initial indication of particle production near the resonances. The interplay between the UV gauge theory and low energy pion physics is an example of a general situation where we know the microscopic theory as well as the effective theory of long wavelength fluctuations but we want to solve the strongly coupled dynamics at intermediate energies. The bootstrap builds a bridge between the low and high energy by determining the consistent S-matrix that matches both and provides, in this case, a new direction to understand the strongly coupled physics of gauge theories.