title: Transferable Adversarial Attack on Image Tampering Localization

abstract: It is significant to evaluate the security of existing digital image tampering localization algorithms in real-world applications. In this paper, we propose an adversarial attack scheme to reveal the reliability of such tampering localizers, which would be fooled and fail to predict altered regions correctly. Specifically, the adversarial examples based on optimization and gradient are implemented for white/black-box attacks. Correspondingly, the adversarial example is optimized via reverse gradient propagation, and the perturbation is added adaptively in the direction of gradient rising. The black-box attack is achieved by relying on the transferability of such adversarial examples to different localizers. Extensive evaluations verify that the proposed attack sharply reduces the localization accuracy while preserving high visual quality of the attacked images.


title: UPL-SFDA: Uncertainty-aware Pseudo Label Guided Source-Free Domain Adaptation for Medical Image Segmentation

abstract: Domain Adaptation (DA) is important for deep learning-based medical image segmentation models to deal with testing images from a new target domain. As the source-domain data are usually unavailable when a trained model is deployed at a new center, Source-Free Domain Adaptation (SFDA) is appealing for data and annotation-efficient adaptation to the target domain. However, existing SFDA methods have a limited performance due to lack of sufficient supervision with source-domain images unavailable and target-domain images unlabeled. We propose a novel Uncertainty-aware Pseudo Label guided (UPL) SFDA method for medical image segmentation. Specifically, we propose Target Domain Growing (TDG) to enhance the diversity of predictions in the target domain by duplicating the pre-trained model's prediction head multiple times with perturbations. The different predictions in these duplicated heads are used to obtain pseudo labels for unlabeled target-domain images and their uncertainty to identify reliable pseudo labels. We also propose a Twice Forward pass Supervision (TFS) strategy that uses reliable pseudo labels obtained in one forward pass to supervise predictions in the next forward pass. The adaptation is further regularized by a mean prediction-based entropy minimization term that encourages confident and consistent results in different prediction heads. UPL-SFDA was validated with a multi-site heart MRI segmentation dataset, a cross-modality fetal brain segmentation dataset, and a 3D fetal tissue segmentation dataset. It improved the average Dice by 5.54, 5.01 and 6.89 percentage points for the three tasks compared with the baseline, respectively, and outperformed several state-of-the-art SFDA methods.


title: Natural Language Dataset Generation Framework for Visualizations Powered by Large Language Models

abstract: We introduce VL2NL, a Large Language Model (LLM) framework that generates rich and diverse NL datasets using only Vega-Lite specifications as input, thereby streamlining the development of Natural Language Interfaces (NLIs) for data visualization. To synthesize relevant chart semantics accurately and enhance syntactic diversity in each NL dataset, we leverage 1) a guided discovery incorporated into prompting so that LLMs can steer themselves to create faithful NL datasets in a self-directed manner; 2) a score-based paraphrasing to augment NL syntax along with four language axes. We also present a new collection of 1,981 real-world Vega-Lite specifications that have increased diversity and complexity than existing chart collections. When tested on our chart collection, VL2NL extracted chart semantics and generated L1/L2 captions with 89.4% and 76.0% accuracy, respectively. It also demonstrated generating and paraphrasing utterances and questions with greater diversity compared to the benchmarks. Last, we discuss how our NL datasets and framework can be utilized in real-world scenarios. The codes and chart collection are available at https://github.com/hyungkwonko/chart-llm.


title: Impact of strain on the SOT-driven dynamics of thin film Mn$_3$Sn

abstract: Mn$_3$Sn, a metallic antiferromagnet with an anti-chiral 120$^\circ$ spin structure, generates intriguing magneto-transport signatures such as a large anomalous Hall effect, spin-polarized current with novel symmetries, anomalous Nernst effect, and magneto-optic Kerr effect. When grown epitaxially as MgO(110)[001]$\parallel$ Mn$_3$Sn($0\bar{1}\bar{1}0$)[0001], Mn$_3$Sn experiences a uniaxial tensile strain, which changes the bulk six-fold anisotropy landscape to a perpendicular magnetic anisotropy with two stable states. In this work, we investigate the field-assisted spin orbit-torque (SOT)-driven response of the order parameter in single-domain Mn$_3$Sn with uniaxial tensile strain. We find that for a non-zero external magnetic field, the order parameter can be switched between the two stable states if the magnitude of the input current is between two field-dependent critical currents. Below the lower critical current, the order parameter exhibits a stationary state in the vicinity of the initial stable state. On the other hand, above the higher critical current, the order parameter shows oscillatory dynamics which could be tuned from the 100's of megahertz to the gigahertz range. We obtain approximate expressions of the two critical currents and find them to agree very well with the numerical simulations for experimentally relevant magnetic fields. We also obtain unified functional form of the switching time versus the input current for different magnetic fields. Finally, we show that for lower values of Gilbert damping ($\alpha \leq 2\times 10^{-3}$), the critical currents and the final steady states depend significantly on the damping constant. The numerical and analytic results presented in our work can be used by both theorists and experimentalists to understand the SOT-driven order dynamics in PMA Mn$_3$Sn and design future experiments and devices.


title: Measuring The Soft Excess Region Size Relative to the Corona in AGN With NICER

abstract: The soft excess is a significant emission component in the Soft (<1 keV) X-ray spectra of many AGN. It has been explained by disk reflection, a warm corona and other models. Understanding its origin is crucial for the energy budget of AGN emission, and for using it to study the inner accretion disk. Here, we track the weeks-to-months variability of several AGN that show different levels of soft excess strength with NICER. We use the variability time scales to compare the relative size of the soft excess emission region to the corona producing the hard X-ray emission above 1 keV. We find that the size of the soft excess emission region relative to the corona is not the same for the three sources studied. For TON S180, the soft excess region is comparable in size to the hard corona. While for MRK 335 and 1H0707-495, the soft excess region is larger than the corona by a factor of 2-4. This is the first time the relative sizes are quantified independently of the assumptions of the spectral models.


title: What is the Best Automated Metric for Text to Motion Generation?

abstract: There is growing interest in generating skeleton-based human motions from natural language descriptions. While most efforts have focused on developing better neural architectures for this task, there has been no significant work on determining the proper evaluation metric. Human evaluation is the ultimate accuracy measure for this task, and automated metrics should correlate well with human quality judgments. Since descriptions are compatible with many motions, determining the right metric is critical for evaluating and designing effective generative models. This paper systematically studies which metrics best align with human evaluations and proposes new metrics that align even better. Our findings indicate that none of the metrics currently used for this task show even a moderate correlation with human judgments on a sample level. However, for assessing average model performance, commonly used metrics such as R-Precision and less-used coordinate errors show strong correlations. Additionally, several recently developed metrics are not recommended due to their low correlation compared to alternatives. We also introduce a novel metric based on a multimodal BERT-like model, MoBERT, which offers strongly human-correlated sample-level evaluations while maintaining near-perfect model-level correlation. Our results demonstrate that this new metric exhibits extensive benefits over all current alternatives.


title: Distributed Matrix Multiplication with a Smaller Recovery Threshold through Modulo-based Approaches

abstract: This paper considers the problem of calculating the matrix multiplication of two massive matrices $\mathbf{A}$ and $\mathbf{B}$ distributedly. We provide a modulo technique that can be applied to coded distributed matrix multiplication problems to reduce the recovery threshold. This technique exploits the special structure of interpolation points and can be applied to many existing coded matrix designs. Recently studied discrete Fourier transform based code achieves a smaller recovery threshold than the optimal MatDot code with the expense that it cannot resist stragglers. We also propose a distributed matrix multiplication scheme based on the idea of locally repairable code to reduce the recovery threshold of MatDot code and provide resilience to stragglers. We also apply our constructions to a type of matrix computing problems, where generalized linear models act as a special case.


title: Stabilizer-free polygonal and polyhedral virtual elements

abstract: Stabilizer-free $P_k$ virtual elements are constructed on polygonal and polyhedral meshes. Here the interpolating space is the space of continuous $P_k$ polynomials on a triangular-subdivision of each polygon, or a tetrahedral-subdivision of each polyhedron. With such an accurate and proper interpolation, the stabilizer of the virtual elements is eliminated while the system is kept positive-definite. We show that the stabilizer-free virtual elements converge at the optimal order in 2D and 3D. Numerical examples are computed, validating the theory.


title: Safe Control Design through Risk-Tunable Control Barrier Functions

abstract: We consider the problem of designing controllers to guarantee safety in a class of nonlinear systems under uncertainties in the system dynamics and/or the environment. We define a class of uncertain control barrier functions (CBFs), and formulate the safe control design problem as a chance-constrained optimization problem with uncertain CBF constraints. We leverage the scenario approach for chance constrained optimization to develop a risk-tunable control design that provably guarantees the satisfaction of CBF safety constraints up to a user-defined probabilistic risk bound, and provides a trade-off between the sample complexity and risk tolerance. We demonstrate the performance of this approach through simulations on a quadcopter navigation problem with obstacle avoidance constraints.


title: OPUS: An Integrated Assessment Model for Satellites and Orbital Debris

abstract: An increasingly salient public policy challenge is how to manage the growing number of satellites in orbit, including large constellations. Many policy initiatives have been proposed that attempt to address the problem from different angles, but there is a paucity of analytical tools to help policymakers evaluate the efficacy of these different proposals and any potential counterproductive outcomes. To help address this problem, this paper summarizes work done to develop an experimental integrated assessment model -- Orbital Debris Propagators Unified with Economic Systems (OPUS) -- that combines both astrodynamics of the orbital population and economic behavior of space actors. For a given set of parameters, the model first utilizes a given astrodynamic propagator to assess the state of objects in orbit. It then uses a set of user-defined economic and policy parameters -- e.g. launch prices, disposal regulations -- to model how actors will respond to the economic incentives created by a given scenario. For the purposes of testing, the MIT Orbital Capacity Tool (MOCAT) version 4S was used as the primary astrodynamics propagator to simulate the true expected target collision probability ($p_c$) for a given end-of-life (EOL) disposal plan. To demonstrate propagator-agnosticism, a Gaussian mixture probability hypothesis density (GMPHD) filter was also used to simulate $p_c$. We also explore economic policy instruments to improve both sustainability of and economic welfare from orbit use. In doing so, we demonstrate that this hybrid approach can serve as a useful tool for evaluating policy proposals for managing orbital congestion. We also discuss areas where this work can be made more robust and expanded to include additional policy considerations.


title: GPTFUZZER: Red Teaming Large Language Models with Auto-Generated Jailbreak Prompts

abstract: Large language models (LLMs) have recently experienced tremendous popularity and are widely used from casual conversations to AI-driven programming. However, despite their considerable success, LLMs are not entirely reliable and can give detailed guidance on how to conduct harmful or illegal activities. While safety measures can reduce the risk of such outputs, adversarial jailbreak attacks can still exploit LLMs to produce harmful content. These jailbreak templates are typically manually crafted, making large-scale testing challenging. In this paper, we introduce GPTFuzz, a novel black-box jailbreak fuzzing framework inspired by the AFL fuzzing framework. Instead of manual engineering, GPTFuzz automates the generation of jailbreak templates for red-teaming LLMs. At its core, GPTFuzz starts with human-written templates as initial seeds, then mutates them to produce new templates. We detail three key components of GPTFuzz: a seed selection strategy for balancing efficiency and variability, mutate operators for creating semantically equivalent or similar sentences, and a judgment model to assess the success of a jailbreak attack. We evaluate GPTFuzz against various commercial and open-source LLMs, including ChatGPT, LLaMa-2, and Vicuna, under diverse attack scenarios. Our results indicate that GPTFuzz consistently produces jailbreak templates with a high success rate, surpassing human-crafted templates. Remarkably, GPTFuzz achieves over 90% attack success rates against ChatGPT and Llama-2 models, even with suboptimal initial seed templates. We anticipate that GPTFuzz will be instrumental for researchers and practitioners in examining LLM robustness and will encourage further exploration into enhancing LLM safety.


title: LLM Platform Security: Applying a Systematic Evaluation Framework to OpenAI's ChatGPT Plugins

abstract: Large language model (LLM) platforms, such as ChatGPT, have recently begun offering a plugin ecosystem to interface with third-party services on the internet. While these plugins extend the capabilities of LLM platforms, they are developed by arbitrary third parties and thus cannot be implicitly trusted. Plugins also interface with LLM platforms and users using natural language, which can have imprecise interpretations. In this paper, we propose a framework that lays a foundation for LLM platform designers to analyze and improve the security, privacy, and safety of current and future plugin-integrated LLM platforms. Our framework is a formulation of an attack taxonomy that is developed by iteratively exploring how LLM platform stakeholders could leverage their capabilities and responsibilities to mount attacks against each other. As part of our iterative process, we apply our framework in the context of OpenAI's plugin ecosystem. We uncover plugins that concretely demonstrate the potential for the types of issues that we outline in our attack taxonomy. We conclude by discussing novel challenges and by providing recommendations to improve the security, privacy, and safety of present and future LLM-based computing platforms.


title: RGB-based Category-level Object Pose Estimation via Decoupled Metric Scale Recovery

abstract: While showing promising results, recent RGB-D camera-based category-level object pose estimation methods have restricted applications due to the heavy reliance on depth sensors. RGB-only methods provide an alternative to this problem yet suffer from inherent scale ambiguity stemming from monocular observations. In this paper, we propose a novel pipeline that decouples the 6D pose and size estimation to mitigate the influence of imperfect scales on rigid transformations. Specifically, we leverage a pre-trained monocular estimator to extract local geometric information, mainly facilitating the search for inlier 2D-3D correspondence. Meanwhile, a separate branch is designed to directly recover the metric scale of the object based on category-level statistics. Finally, we advocate using the RANSAC-P$n$P algorithm to robustly solve for 6D object pose. Extensive experiments have been conducted on both synthetic and real datasets, demonstrating the superior performance of our method over previous state-of-the-art RGB-based approaches, especially in terms of rotation accuracy. Code: https://github.com/goldoak/DMSR.


title: The symmetry of finite group schemes, Watanabe type theorem, and the $a$-invariant of the ring of invariants

abstract: Let $k$ be a field, and $G$ be a $k$-group scheme of finite type. Let $G_{\mathrm{ad}}$ be the $k$-scheme $G$ with the adjoint action of $G$. We call $\lambda_{G,G}=H^0(\mathop{\mathrm{Spec}} k,e^*(\omega_{G_{\mathrm{ad}}}))$ the Knop character of $G$, where $e:\mathop{\mathrm{Spec}} k\rightarrow G_{\mathrm{ad}}$ is the unit element, and $\omega_{G_{\mathrm{ad}}}$ is the $G$-canonical module. We prove that $\lambda_{G,G}$ is trivial in the following cases: (1) $G$ is finite, and $k[G]^*$ is a symmetric algebra; (2) $G$ is finite and \'etale; (3) $G$ is finite and constant; (4) $G$ is smooth and connected reductive; (5) $G$ is abelian; (6) $G$ is finite, and the identity component $G^\circ$ of $G$ is linearly reductive; (7) $G$ is finite and linearly reductive. Let $V$ be a small $G$-module of dimension $n<\infty$. We assume that $\lambda_{G,G}$ is trivial. Let $H=\Bbb G_m$ be the one-dimensional torus, and let $V$ be of degree one as an $H$-module so that $S=\mathop{\mathrm{Sym}} V^*$ is a $\tilde G$-algebra generated by degree one elements, where $\tilde G=G\times H$. We set $A=S^G$. Then we have (i) $\omega_A\cong\omega_S^G$ as $(H,A)$-modules; (ii) $a(A)\leq -n$ in general, where $a(A)$ denotes the $a$-invariant. Moreover, the following are equivalent: (1) The action $G\rightarrow\mathrm{GL}(V)$ factors through $\mathrm{SL}(V)$; (2) $\omega_S\cong S(-n)$ as $(\tilde G,S)$-modules; (3) $\omega_S\cong S$ as $(G,S)$-modules; (4) $\omega_A\cong A(-n)$ as $(H,A)$-modules; (5) $A$ is quasi-Gorenstein; (6) $A$ is quasi-Gorenstein and $a(A)=-n$; (7) $a(A)=-n$. This partly generalizes recent results of Liedtke--Yasuda arXiv:2304.14711v2 and Goel--Jeffries--Singh arXiv:2306.14279v1.


title: Observation of universal dissipative dynamics in strongly correlated quantum gas

abstract: Dissipation is unavoidable in quantum systems. It usually induces decoherences and changes quantum correlations. To access the information of strongly correlated quantum matters, one has to overcome or suppress dissipation to extract out the underlying quantum phenomena. However, here we find an opposite effect that dissipation can be utilized as a powerful tool to probe the intrinsic correlations of quantum many-body systems. Applying highly-controllable dissipation in ultracold atomic systems, we observe a universal dissipative dynamics in strongly correlated one-dimensional quantum gases. The total particle number of this system follows a universal stretched-exponential decay, and the stretched exponent measures the anomalous dimension of the spectral function, a critical exponent characterizing strong quantum fluctuations of this system. This method could have broad applications in detecting strongly correlated features, including spin-charge separations and Fermi arcs in quantum materials.

categories: cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el physics.atom-ph quant-ph


title: Masses of the conjectured H-dibaryon at different temperatures

abstract: We present a lattice QCD determination of masses of the conjectured H-dibaryon $m_H$ at nine different temperatures $T/T_c =0.24, 0.63, 0.76, 0.84, 0.95, 1.09, 1.27, 1.52, 1.90$. In the meantime, the masses of baryon $N$, $\Sigma$, $\Xi$ and $\Lambda$ at different temperatures are also computed. The simulation is performed on anisotropic lattice with $N_f=2+1$ flavours of clover fermion at quark mass which corresponds to $m_\pi=384(4) {\rm MeV} $. The thermal ensembles were provided by the FASTSUM collaboration and the zero temperature ensembles by the Hadspec collaboration. We also calculate the spectral density of the correlation function of those particles. The spectral density distributions show rich peak structure at the lowest temperature, while at intermediate temperatures, the mass values of those particles obtained by extrapolation method reflect a two-peak structure. While the spectral density for octet baryon becomes smooth at $T/T_c = 1.27, 1.52, 1.90$, the spectral density for H-dibaryon becoms smooth at $T/T_c = 1.90$. At $T/T_c =0.24 $, the mass difference of H-dibaryon and $\Lambda$ pair $\Delta m = m_H - 2\,m_{\Lambda} $ is estimated to be $\Delta m = -14.6(6.2) {\rm MeV}$ which suggests there exists a bound H-dibaryon state.


title: Rational deformations of the set of multiple zeta-star values

abstract: In this paper we study the derived sets for the rational deformations of multiple zeta-star values. By using the theory of bounded variation functions, we will give function decompositions which describe the metric structure of the derived sets. The connection between the rational deformation of multiple zeta-star values and the $n$-th Cantor set in fractal geometry is also discussed.


title: Stochastic control of the Landau-Lifshitz-Gilbert equation

abstract: We consider the stochastic Landau-Lifshitz-Gilbert equation in dimension 1. A control process is added to the effective field. We show the existence of a weak martingale solution for the resulting controlled equation. The proof uses the classical Faedo-Galerkin approximation, along with the Jakubowski version of the Skorohod Theorem. We then show pathwise uniqueness for the obtained solution, which is then coupled with the theory of Yamada and Watanabe to give the existence of a unique strong solution. We then show, using some semigroup techniques that the obtained solution satisfies the maximum regularity. We then show the existence of an optimal control. A main ingredient of the proof is using the compact embedding of a space into itself, albeit with the weak topology.


title: Visualizing quantum coherence and decoherence in nuclear reactions

abstract: Differential cross sections of nuclear reactions often exhibit characteristic oscillations in the angular distribution originated from an interference of two indistinguishable processes. Here we propose a novel method to visualize origins of such oscillations. This is achieved by taking Fourier transform of scattering amplitudes, following the idea in wave optics. We apply this method to elastic scattering of $^{16}$O+$^{16}$O and $^{18}$O+$^{18}$O at energies above the Coulomb barrier. The former system shows strong oscillations in the angular distribution due to the nearside-farside interferences, while the oscillations are largely suppressed in the latter system due to a stronger absorption. We show that the image of the former and the latter systems corresponds to a double-slit and a single-slit problems in quantum mechanics, respectively.


title: Projections of Higher Dimensional Subspaces and Generalized Multiview Varieties

abstract: We present a generalization of multiview varieties as closures of images obtained by projecting subspaces of a given dimension onto several views, from the photographic and geometric points of view. Motivated by applications in Computer Vision for triangulation of world features, we investigate when the associated projection map is generically injective; an essential requirement for successful triangulation. We give a complete characterization of this property by determining two formulae for the dimensions of these varieties. Similarly, we describe for which center arrangements calibration of camera parameters is possible. We explore when the multiview variety is naturally isomorphic to its associated blowup. In the case of generic centers, we give a precise formula for when this occurs.


title: Disentangled Information Bottleneck guided Privacy-Protective JSCC for Image Transmission

abstract: Joint source and channel coding (JSCC) has attracted increasing attention due to its robustness and high efficiency. However, JSCC is vulnerable to privacy leakage due to the high relevance between the source image and channel input. In this paper, we propose a disentangled information bottleneck guided privacy-protective JSCC (DIB-PPJSCC) for image transmission, which aims at protecting private information as well as achieving superior communication performance at the legitimate receiver. In particular, we propose a DIB objective to disentangle private and public information. The goal is to compress the private information in the public subcodewords, preserve the private information in the private subcodewords and improve the reconstruction quality simultaneously. In order to optimize JSCC neural networks using the DIB objective, we derive a differentiable estimation of the DIB objective based on the variational approximation and the density-ratio trick. Additionally, we design a password-based privacy-protective (PP) algorithm which can be jointly optimized with JSCC neural networks to encrypt the private subcodewords. Specifically, we employ a private information encryptor to encrypt the private subcodewords before transmission, and a corresponding decryptor to recover the private information at the legitimate receiver. A loss function for jointly training the encryptor, decryptor and JSCC decoder is derived based on the maximum entropy principle, which aims at maximizing the eavesdropping uncertainty as well as improving the reconstruction quality. Experimental results show that DIB-PPJSCC can reduce the eavesdropping accuracy on private information up to $15\%$ and reduce $10\%$ inference time compared to existing privacy-protective JSCC and traditional separate methods.


title: Revisiting and Improving Retrieval-Augmented Deep Assertion Generation

abstract: Unit testing validates the correctness of the unit under test and has become an essential activity in software development process. A unit test consists of a test prefix that drives the unit under test into a particular state, and a test oracle (e.g., assertion), which specifies the behavior in that state. To reduce manual efforts in conducting unit testing, Yu et al. proposed an integrated approach (integration for short), combining information retrieval (IR) with a deep learning-based approach, to generate assertions for a unit test. Despite promising, there is still a knowledge gap as to why or where integration works or does not work. In this paper, we describe an in-depth analysis of the effectiveness of integration. Our analysis shows that: 1) The overall performance of integration is mainly due to its success in retrieving assertions. 2) integration struggles to understand the semantic differences between the retrieved focal-test (focal-test includes a test prefix and a unit under test) and the input focal-test; 3) integration is limited to specific types of edit operations and cannot handle token addition or deletion. To improve the effectiveness of assertion generation, this paper proposes a novel retrieve-and-edit approach named EditAS. Specifically, EditAS first retrieves a similar focal-test from a pre-defined corpus and treats its assertion as a prototype. Then, EditAS reuses the information in the prototype and edits the prototype automatically. EditAS is more generalizable than integration. We conduct experiments on two large-scale datasets and experimental results demonstrate that EditAS outperforms the state-of-the-art approaches, with an average improvement of 10.00%-87.48% and 3.30%-42.65% in accuracy and BLEU score, respectively.


title: Wreath products and cascaded FSRs

abstract: We show that the transition function of the cascaded connection of two FSRs can be viewed as a wreath product element. This allows us to study periods of cascaded connections with algebraic methods, obtaining both a general, nontrivial upper bound on the maximum period of a cascaded connection and a complete, explicit understanding of the periods in the important case of the cascaded connection of an $n$-dimensional De Bruijn sequence into an $m$-dimensional linear FSR.


title: Correlation between morphological evolution of splashing drop and exerted impact force revealed by interpretation of explainable artificial intelligence

abstract: This study reveals a possible correlation between splashing morphology and the normalized impact force exerted by an impacting drop on a solid surface. This finding is obtained from a newly proposed feature extraction method and a subsequent interpretation of the classification of splashing and non-splashing drops performed by an explainable artificial intelligence (XAI) video classifier. Notably, the values of the weight matrix elements of the XAI that correspond to the extracted features are found to change with the temporal evolution of the drop morphology. We compute the rate of change of the contributions of each frame with respect to the classification value of a video as an important index to quantify the contributions of the extracted splashing and non-splashing features at different impact times to the classification of the XAI model. Remarkably, the rate computed for the extracted splashing features is found to closely match the profile of the normalized impact force, where the splashing features are most pronounced immediately after the normalized impact force reaches its peak value. This study has provided an example that clarifies the relationship between the complex morphological evolution of a splashing drop and physical parameters by interpreting the classification of an XAI video classifier.


title: Star Clusters in Tidal Debris

abstract: We present results of a Hubble Space Telescope (HST) UBVI-band study of star clusters in tidal tails, using new WFC3 and ACS imaging to complement existing WFPC2 data. We survey 12 tidal tails across seven merging systems, deriving ages and masses for 425 star cluster candidates (SCCs). The stacked mass distribution across all systems follows a power law of the form $dN/dM \propto M^{\beta}$, with $\beta = -2.02 \pm 0.15$, consistent with what is seen in other star forming environments. GALEX and Swift UV imaging provide star formation rates (SFRs) for our tidal tails, which when compared with ages and masses of our SCCs, allows for a determination of the cluster formation efficiency (CFE). We find the CFE increases with increasing SFR surface density, matching the theoretical model. We confirm this fit down at SFR densities lower than previously measured (log $\Sigma_\text{SFR} \: (\text{M}_\odot \: \text{yr}^{-1} \: \text{kpc}^{-2}) \approx -4.2$), as related to the CFE. We determine the half-light radii for a refined sample of 57 SCCs with our HST WFC3 and ACS imaging, and calculate their dynamical age, finding the majority of them to be gravitationally bound. We also provide evidence of only low-mass ($< 10^4 \: \text{M}_\odot$) cluster formation in our nearest galaxy, NGC 1487, consistent with the theory that this system is a dwarf merger.


title: Lower Gravity Demonstratable Testbed for Space Robot Experiments

abstract: In developing mobile robots for exploration on the planetary surface, it is crucial to evaluate the robot's performance, demonstrating the harsh environment in which the robot will actually be deployed. Repeatable experiments in a controlled testing environment that can reproduce various terrain and gravitational conditions are essential. This paper presents the development of a minimal and space-saving indoor testbed, which can simulate steep slopes, uneven terrain, and lower gravity, employing a three-dimensional target tracking mechanism (active xy and passive z) with a counterweight.


title: Using an Uncrewed Surface Vehicle to Create a Volumetric Model of Non-Navigable Rivers and Other Shallow Bodies of Water

abstract: Non-navigable rivers and retention ponds play important roles in buffering communities from flooding, yet emergency planners often have no data as to the volume of water that they can carry before flooding the surrounding. This paper describes a practical approach for using an uncrewed marine surface vehicle (USV) to collect and merge bathymetric maps with digital surface maps of the banks of shallow bodies of water into a unified volumetric model. The below-waterline mesh is developed by applying the Poisson surface reconstruction algorithm to the sparse sonar depth readings of the underwater surface. Dense above-waterline meshes of the banks are created using commercial structure from motion (SfM) packages. Merging is challenging for many reasons, the most significant is gaps in sensor coverage, i.e., the USV cannot collect sonar depth data or visually see sandy beaches leading to a bank thus the two meshes may not intersect. The approach is demonstrated on a Hydronalix EMILY USV with a Humminbird single beam echosounder and Teledyne FLIR camera at Lake ESTI at the Texas A&M Engineering Extension Service Disaster City complex.


title: Hybrid SBI or How I Learned to Stop Worrying and Learn the Likelihood

abstract: We propose a new framework for the analysis of current and future cosmological surveys, which combines perturbative methods (PT) on large scales with conditional simulation-based implicit inference (SBI) on small scales. This enables modeling of a wide range of statistics across all scales using only small-volume simulations, drastically reducing computational costs, and avoids the assumption of an explicit small-scale likelihood. As a proof-of-principle for this hybrid simulation-based inference (HySBI) approach, we apply it to dark matter density fields and constrain cosmological parameters using both the power spectrum and wavelet coefficients, finding promising results that significantly outperform classical PT methods. We additionally lay out a roadmap for the next steps necessary to implement HySBI on actual survey data, including consideration of bias, systematics, and customized simulations. Our approach provides a realistic way to scale SBI to future survey volumes, avoiding prohibitive computational costs.


title: Towards Measuring Fairness in Grid Layout in Recommender Systems

abstract: There has been significant research in the last five years on ensuring the providers of items in a recommender system are treated fairly, particularly in terms of the exposure the system provides to their work through its results. However, the metrics developed to date have all been designed and tested for linear ranked lists. It is unknown whether and how existing fair ranking metrics for linear layouts can be applied to grid-based displays. Moreover, depending on the device (phone, tab, or laptop) users use to interact with systems, column size is adjusted using column reduction approaches in a grid-view. The visibility or exposure of recommended items in grid layouts varies based on column sizes and column reduction approaches as well. In this paper, we extend existing fair ranking concepts and metrics to study provider-side group fairness in grid layouts, present an analysis of the behavior of these grid adaptations of fair ranking metrics, and study how their behavior changes across different grid ranking layout designs and geometries. We examine how fairness scores change with different ranking layouts to yield insights into (1) the consistency of fair ranking measurements across layouts; (2) whether rankings optimized for fairness in a linear ranking remain fair when the results are displayed in a grid; and (3) the impact of column reduction approaches to support different device geometries on fairness measurement. This work highlights the need to use layout-specific user attention models when measuring fairness of rankings, and provide practitioners with a first set of insights on what to expect when translating existing fair ranking metrics to the grid layouts in wide use today.


title: Mixed-Distil-BERT: Code-mixed Language Modeling for Bangla, English, and Hindi

abstract: One of the most popular downstream tasks in the field of Natural Language Processing is text classification. Text classification tasks have become more daunting when the texts are code-mixed. Though they are not exposed to such text during pre-training, different BERT models have demonstrated success in tackling Code-Mixed NLP challenges. Again, in order to enhance their performance, Code-Mixed NLP models have depended on combining synthetic data with real-world data. It is crucial to understand how the BERT models' performance is impacted when they are pretrained using corresponding code-mixed languages. In this paper, we introduce Tri-Distil-BERT, a multilingual model pre-trained on Bangla, English, and Hindi, and Mixed-Distil-BERT, a model fine-tuned on code-mixed data. Both models are evaluated across multiple NLP tasks and demonstrate competitive performance against larger models like mBERT and XLM-R. Our two-tiered pre-training approach offers efficient alternatives for multilingual and code-mixed language understanding, contributing to advancements in the field.


title: Memory-based Controllers for Efficient Data-driven Control of Soft Robots

abstract: Controller design for soft robots is challenging due to nonlinear deformation and high degrees of freedom of flexible material. The data-driven approach is a promising solution to the controller design problem for soft robots. However, the existing data-driven controller design methods for soft robots suffer from two drawbacks: (i) they require excessively long training time, and (ii) they may result in potentially inefficient controllers. This paper addresses these issues by developing two memory-based controllers for soft robots that can be trained in a data-driven fashion: the finite memory controller (FMC) approach and the long short-term memory (LSTM) based approach. An FMC stores the tracking errors at different time instances and computes the actuation signal according to a weighted sum of the stored tracking errors. We develop three reinforcement learning algorithms for computing the optimal weights of an FMC using the Q-learning, soft actor-critic, and deterministic policy gradient (DDPG) methods. An LSTM-based controller is composed of an LSTM network where the inputs of the network are the robot's desired configuration and current configuration. The LSTM network computes the required actuation signal for the soft robot to follow the desired configuration. We study the performance of the proposed approaches in controlling a soft finger where, as benchmarks, we use the existing reinforcement learning (RL) based controllers and proportional-integral-derivative (PID) controllers. Our numerical results show that the training time of the proposed memory-based controllers is significantly shorter than that of the classical RL-based controllers. Moreover, the proposed controllers achieve a smaller tracking error compared with the classical RL algorithms and the PID controller.


title: Prediction of superconductivity in metallic boron-carbon compounds from 0 to 100 GPa by high-throughput screening

abstract: Boron carbon compounds have been shown to have feasible superconductivity. In our earlier paper [Zheng et al., Phys. Rev. B 107, 014508 (2023)], we identified a new conventional superconductor of LiB3C at 100 GPa. Here, we aim to extend the investigation of possible superconductivity in this structural framework by replacing Li atoms with 27 different cations under pressures ranging from 0 to 100 GPa. Using the high-throughput screening method of zone-center electron-phonon interaction, we find that ternary compounds like CaB3C, SrB3C, TiB3C, and VB3C are promising candidates for superconductivity. The consecutive calculations using the full Brillouin zone confirm that they have Tc < 31 K at moderate pressures. Our study demonstrates that fast screening of superconductivity by calculating zone-center electron-phonon coupling strength is an effective strategy for high-throughput identification of new superconductors.


title: Optimizing Crowd-Aware Multi-Agent Path Finding through Local Broadcasting with Graph Neural Networks

abstract: Multi-Agent Path Finding (MAPF) in crowded environments presents a challenging problem in motion planning, aiming to find collision-free paths for all agents in the system. MAPF finds a wide range of applications in various domains, including aerial swarms, autonomous warehouse robotics, and self-driving vehicles. Current approaches to MAPF generally fall into two main categories: centralized and decentralized planning. Centralized planning suffers from the curse of dimensionality when the number of agents or states increases and thus does not scale well in large and complex environments. On the other hand, decentralized planning enables agents to engage in real-time path planning within a partially observable environment, demonstrating implicit coordination. However, they suffer from slow convergence and performance degradation in dense environments. In this paper, we introduce CRAMP, a novel crowd-aware decentralized reinforcement learning approach to address this problem by enabling efficient local communication among agents via Graph Neural Networks (GNNs), facilitating situational awareness and decision-making capabilities in congested environments. We test CRAMP on simulated environments and demonstrate that our method outperforms the state-of-the-art decentralized methods for MAPF on various metrics. CRAMP improves the solution quality up to 59% measured in makespan and collision count, and up to 35% improvement in success rate in comparison to previous methods.


title: Diffusion Methods for Generating Transition Paths

abstract: In this work, we seek to simulate rare transitions between metastable states using score-based generative models. An efficient method for generating high-quality transition paths is valuable for the study of molecular systems since data is often difficult to obtain. We develop two novel methods for path generation in this paper: a chain-based approach and a midpoint-based approach. The first biases the original dynamics to facilitate transitions, while the second mirrors splitting techniques and breaks down the original transition into smaller transitions. Numerical results of generated transition paths for the M\"uller potential and for Alanine dipeptide demonstrate the effectiveness of these approaches in both the data-rich and data-scarce regimes.


title: Optical and Raman spectroscopies of $^{171}\mathrm{Yb}^{3+}$:$\mathrm{Y}_2\mathrm{SiO}_5$ hyperfine structure for application toward microwave-to-optical transducer

abstract: Optical techniques for precise and repeatable spectroscopy of ytterbium-isotope-171 ion ($^{171}\mathrm{Yb}^{3+}$) hyperfine structure were studied. Large energy spacing of $^{171}\mathrm{Yb}^{3+}$ regarded as the main motivation for state preparations required for quantum memory and transducer applications promoted us to develop stabilization and control of optical frequencies of lasers simultaneously over a wide range of 3 gigahertz's. We also built our own 2.7 kelvins cryogenic system for radio-wave assisted optical spectroscopy. We attained to high resolution and sensitivity both in pump-probe saturation spectroscopy and Raman heterodyne spectroscopy. The first one gave a high resolution spectrum of hyperfine structure, and the second one enabled to detect paramagnetic spin resonance efficiently for wide ranges of radio-frequency. As the Raman heterodyne process of our interest is the up-conversion of transductions, we made efforts at optimizing sensitivity of Raman heterodyne detections with selecting the best crystal orientation and with efficient radio-wave coupling for future applications toward photon transducer.


title: Parameter-Varying Koopman Operator for Nonlinear System Modeling and Control

abstract: This paper proposes a novel approach for modeling and controlling nonlinear systems with varying parameters. The approach introduces the use of a parameter-varying Koopman operator (PVKO) in a lifted space, which provides an efficient way to understand system behavior and design control algorithms that account for underlying dynamics and changing parameters. The PVKO builds on a conventional Koopman model by incorporating local time-invariant linear systems through interpolation within the lifted space. This paper outlines a procedure for identifying the PVKO and designing a model predictive control using the identified PVKO model. Simulation results demonstrate that the proposed approach improves model accuracy and enables predictions based on future parameter information. The feasibility and stability of the proposed control approach are analyzed, and their effectiveness is demonstrated through simulation.


title: 360$^\circ$ Reconstruction From a Single Image Using Space Carved Outpainting

abstract: We introduce POP3D, a novel framework that creates a full $360^\circ$-view 3D model from a single image. POP3D resolves two prominent issues that limit the single-view reconstruction. Firstly, POP3D offers substantial generalizability to arbitrary categories, a trait that previous methods struggle to achieve. Secondly, POP3D further improves reconstruction fidelity and naturalness, a crucial aspect that concurrent works fall short of. Our approach marries the strengths of four primary components: (1) a monocular depth and normal predictor that serves to predict crucial geometric cues, (2) a space carving method capable of demarcating the potentially unseen portions of the target object, (3) a generative model pre-trained on a large-scale image dataset that can complete unseen regions of the target, and (4) a neural implicit surface reconstruction method tailored in reconstructing objects using RGB images along with monocular geometric cues. The combination of these components enables POP3D to readily generalize across various in-the-wild images and generate state-of-the-art reconstructions, outperforming similar works by a significant margin. Project page: \url{http://cg.postech.ac.kr/research/POP3D}


title: Crowdotic: A Privacy-Preserving Hospital Waiting Room Crowd Density Estimation with Non-speech Audio

abstract: Privacy-preserving crowd density analysis finds application across a wide range of scenarios, substantially enhancing smart building operation and management while upholding privacy expectations in various spaces. We propose a non-speech audio-based approach for crowd analytics, leveraging a transformer-based model. Our results demonstrate that non-speech audio alone can be used to conduct such analysis with remarkable accuracy. To the best of our knowledge, this is the first time when non-speech audio signals are proposed for predicting occupancy. As far as we know, there has been no other similar approach of its kind prior to this. To accomplish this, we deployed our sensor-based platform in the waiting room of a large hospital with IRB approval over a period of several months to capture non-speech audio and thermal images for the training and evaluation of our models. The proposed non-speech-based approach outperformed the thermal camera-based model and all other baselines. In addition to demonstrating superior performance without utilizing speech audio, we conduct further analysis using differential privacy techniques to provide additional privacy guarantees. Overall, our work demonstrates the viability of employing non-speech audio data for accurate occupancy estimation, while also ensuring the exclusion of speech-related content and providing robust privacy protections through differential privacy guarantees.


title: A Linear Combination-based Method to Construct Proxy Benchmarks for Big Data Workloads

abstract: During early stages of CPU design, benchmarks can only run on simulators to evaluate CPU performance. However, most big data benchmarks are too huge at code size scale, which causes them to be unable to finish running on simulators at an acceptable time cost. Moreover, big data benchmarks usually need complex software stacks to support their running, which is hard to be ported on simulators. Proxy benchmarks, without long running times and complex software stacks, have the same micro-architectural metrics as real benchmarks, which means they can represent real benchmarks' micro-architectural characteristics. Therefore, proxy benchmarks can replace real benchmarks to run on simulators to evaluate the CPU performance. The biggest challenge is how to guarantee that the proxy benchmarks have exactly the same micro-architectural metrics as real benchmarks when the number of micro-architectural metrics is very large. To deal with this challenge, we propose a linear combination-based proxy benchmark generation methodology that transforms this problem into solving a linear equation system. We also design the corresponding algorithms to ensure the linear equation is astringency, which means that although sometimes the linear equation system doesn't have a unique solution, the algorithm can find the best solution by the non-negative least square method. We generate fifteen proxy benchmarks and evaluate their running time and accuracy in comparison to corresponding real benchmarks for Mysql and RockDB. On the typical Intel Xeon platform, the average running time is 1.62s, and the average accuracy of every micro-architectural metric is over 92%, while the longest running time of real benchmarks is nearly 4 hours. We also conduct two case studies that demonstrate that our proxy benchmarks are consistent with real benchmarks both before and after prefetch or Hyper-Threading is turned on.


title: Current Observation constraints on Hybrid potential scalar field cosmological model in Lyra Geometry

abstract: In the current study, we investigate a scalar field cosmological model with Lyra's geometry to explain the present cosmic expansion in a homogeneous and isotropic flat FRW universe. In Einstein's field equations, we presupposed a variable displacement vector as an element of Lyra's geometry. In the context of the conventional theory of gravity, we suggest a suitable parameterization of the scalar field's dark energy density in the hyperbolic function of redshift $z$, confirming the essential transition behavior of the universe from a decelerating era to the present accelerated scenario. We present constraints on model parameters using the most recent observational data sets from OHD, BAO/CMB, and Pantheon, taking Markov Chain Monte Carlo (MCMC) analysis into account. For the proposed model, the best estimated values of parameters for the combined dataset (OHD, BAO/CMB, and Pantheon) are $ H_0 = 71.15\pm 0.26$ km/s/Mpc, $ \Omega_{m0}=0.2625\pm 0.0024$, $ \Omega_{\phi0} = 0.676\pm0.038$, $ \alpha=-0.22\pm0.13$, $n = 0.096\pm0.079$, and $k = 0.38\pm0.32$. The model exhibits a flipping nature, and the redshift transition occurs at $z_t = 0.756^{+0.005}_{-0.015}$. The current value of the decelerated parameter for the proposed model is calculated as $q_0 = -0.625^{+0.067}_{-0.085}$ for the combined dataset. Some dynamical properties of the model like energy density ($\rho_{\phi}$), scalar field pressure ($p_{\phi}$), EoS parameter of scalar field ($\omega_{\phi}$), and effective EoS parameter ($\omega_{eff}$) are analyzed and presented. Further, we have also examined the statefinder diagnosis and jerk parameters of the derived model. The total density parameter for the derived model is found to be 1 which is in great agreement with recent standard findings.


title: FRAMU: Attention-based Machine Unlearning using Federated Reinforcement Learning

abstract: Machine Unlearning is an emerging field that addresses data privacy issues by enabling the removal of private or irrelevant data from the Machine Learning process. Challenges related to privacy and model efficiency arise from the use of outdated, private, and irrelevant data. These issues compromise both the accuracy and the computational efficiency of models in both Machine Learning and Unlearning. To mitigate these challenges, we introduce a novel framework, Attention-based Machine Unlearning using Federated Reinforcement Learning (FRAMU). This framework incorporates adaptive learning mechanisms, privacy preservation techniques, and optimization strategies, making it a well-rounded solution for handling various data sources, either single-modality or multi-modality, while maintaining accuracy and privacy. FRAMU's strength lies in its adaptability to fluctuating data landscapes, its ability to unlearn outdated, private, or irrelevant data, and its support for continual model evolution without compromising privacy. Our experiments, conducted on both single-modality and multi-modality datasets, revealed that FRAMU significantly outperformed baseline models. Additional assessments of convergence behavior and optimization strategies further validate the framework's utility in federated learning applications. Overall, FRAMU advances Machine Unlearning by offering a robust, privacy-preserving solution that optimizes model performance while also addressing key challenges in dynamic data environments.


title: Rank-adaptive covariance changepoint detection for estimating dynamic functional connectivity from fMRI data

abstract: The analysis of functional connectivity (FC) networks in resting-state functional magnetic resonance imaging (rs-fMRI) has recently evolved to a dynamic FC approach, where the functional networks are presumed to vary throughout a scanning session. Central challenges in dFC analysis involve partitioning rs-fMRI into segments of static FC and achieving high replicability while controlling for false positives. In this work we propose Rank-Adapative Covariance Changepoint detection (RACC), a changepoint detection method to address these challenges. RACC utilizes a binary segmentation procedure with novel test statistics able to detect changes in covariances driven by low-rank latent factors, which are useful for understanding changes occurring within and between functional networks. A permutation scheme is used to address the high dimensionality of the data and to provide false positive control. RACC improves upon existing rs-fMRI changepoint detection methods by explicitly controlling Type 1 error and improving sensitivity in estimating dFC at the whole-brain level. We conducted extensive simulation studies across a variety of data generating scenarios, and applied RACC to a rs-fMRI dataset of subjects with schizophrenia spectrum disorder and healthy controls to highlight our findings.


title: Flash-LLM: Enabling Cost-Effective and Highly-Efficient Large Generative Model Inference with Unstructured Sparsity

abstract: With the fast growth of parameter size, it becomes increasingly challenging to deploy large generative models as they typically require large GPU memory consumption and massive computation. Unstructured model pruning has been a common approach to reduce both GPU memory footprint and the overall computation while retaining good model accuracy. However, the existing solutions do not provide a highly-efficient support for handling unstructured sparsity on modern GPUs, especially on the highly-structured Tensor Core hardware. Therefore, we propose Flash-LLM for enabling low-cost and highly-efficient large generative model inference with the sophisticated support of unstructured sparsity on high-performance but highly restrictive Tensor Cores. Based on our key observation that the main bottleneck of generative model inference is the several skinny matrix multiplications for which Tensor Cores would be significantly under-utilized due to low computational intensity, we propose a general Load-as-Sparse and Compute-as-Dense methodology for unstructured sparse matrix multiplication. The basic insight is to address the significant memory bandwidth bottleneck while tolerating redundant computations that are not critical for end-to-end performance on Tensor Cores. Based on this, we design an effective software framework for Tensor Core based unstructured SpMM, leveraging on-chip resources for efficient sparse data extraction and computation/memory-access overlapping. At SpMM kernel level, Flash-LLM significantly outperforms the state-of-the-art library, i.e., Sputnik and SparTA by an average of 2.9x and 1.5x, respectively. At end-to-end framework level on OPT-30B/66B/175B models, for tokens per GPU-second, Flash-LLM achieves up to 3.8x and 3.6x improvement over DeepSpeed and FasterTransformer, respectively, with significantly lower inference cost.


title: A tight lower bound on non-adaptive group testing estimation

abstract: Efficiently counting or detecting defective items is a crucial task in various fields ranging from biological testing to quality control to streaming algorithms. The \emph{group testing estimation problem} concerns estimating the number of defective elements $d$ in a collection of $n$ total within a given factor. We primarily consider the classical query model, in which a query reveals whether the selected group of elements contains a defective one. We show that any non-adaptive randomized algorithm that estimates the value of $d$ within a constant factor requires $\Omega(\log n)$ queries. This confirms that a known $O(\log n)$ upper bound by Bshouty (2019) is tight and resolves a conjecture by Damaschke and Sheikh Muhammad (2010). Additionally, we prove similar matching upper and lower bounds in the threshold query model.


title: Autonomous Field-of-View Adjustment Using Adaptive Kinematic Constrained Control with Robot-Held Microscopic Camera Feedback

abstract: Robotic systems for manipulation in millimeter scale often use a camera with high magnification for visual feedback of the target region. However, the limited field-of-view (FoV) of the microscopic camera necessitates camera motion to capture a broader workspace environment. In this work, we propose an autonomous robotic control method to constrain a robot-held camera within a designated FoV. Furthermore, we model the camera extrinsics as part of the kinematic model and use camera measurements coupled with a U-Net based tool tracking to adapt the complete robotic model during task execution. As a proof-of-concept demonstration, the proposed framework was evaluated in a bi-manual setup, where the microscopic camera was controlled to view a tool moving in a pre-defined trajectory. The proposed method allowed the camera to stay 94.1% of the time within the real FoV, compared to 54.4% without the proposed adaptive control.


title: AstroPortal: An ontology repository concept for astronomy, astronautics and other space topics

abstract: This paper describes a repository for ontologies of astronomy, astronautics, and other space-related topics. It may be called AstroPortal (or SpacePortal), AstroHub (or SpaceHub), etc. The creation of this repository will be applicable to academic, research and other data-intensive sectors. It is relevant for space sciences (including astronomy), Earth science, and astronautics (spaceflight), among other data-intensive disciplines. The repository should provide a centralized platform to search, review and create ontologies for astro-related topics. It thereby can decrease research time, while also providing a user-friendly means to study and compare knowledge organization systems or semantic resources of the target domains. With no apparent repository available on the target domain, this paper also expresses a novel concept.


title: Online Matching with Stochastic Rewards: Advanced Analyses Using Configuration Linear Programs

abstract: Mehta and Panigrahi (2012) proposed Online Matching with Stochastic Rewards, which generalizes the Online Bipartite Matching problem of Karp, Vazirani, and Vazirani (1990) by associating the edges with success probabilities. This new feature captures the pay-per-click model in online advertising. Recently, Huang and Zhang (2020) studied this problem under the online primal dual framework using the Configuration Linear Program (LP), and got the best known competitive ratios of the Stochastic Balance algorithm. Their work suggests that the more expressive Configuration LP is more suitable for this problem than the Matching LP. This paper advances the theory of Configuration LP in two directions. Our technical contribution includes a characterization of the joint matching outcome of an offline vertex and \emph{all its neighbors}. This characterization may be of independent interest, and is aligned with the spirit of Configuration LP. By contrast, previous analyses of Ranking generally focus on only one neighbor. Second, we designed a Stochastic Configuration LP that captures a stochastic benchmark proposed by Goyal and Udwani (2020), who used a Path-based LP. The Stochastic Configuration LP is smaller and simpler than the Path-based LP. Moreover, using the new LP we improved the competitive ratio of Stochastic Balance from $0.596$ to $0.611$ when the success probabilities are infinitesimal, and to $0.613$ when the success probabilities are further equal.


title: Limits of Convex Projective Surfaces and Finsler Metrics

abstract: We show that for certain sequences escaping to infinity in the $\operatorname{SL}_3\mathbb{R}$ Hitchin component, growth rates of trace functions are described by natural Finsler metrics. More specifically, as the Labourie-Loftin cubic differential gets big, logarithms of trace functions are approximated by lengths in a Finsler metric which has triangular unit balls and is defined directly in terms of the cubic differential. This is equivalent to a conjecture of Loftin from 2006 which has recently been proven by Loftin, Tamburelli, and Wolf, though phrasing the result in terms of Finsler metrics is new and leads to stronger results with simpler proofs. From our perspective, the result is a corollary of a more local theorem which may have other applications. The key ingredient of the proof is another asymmetric Finsler metric, defined on any convex projective surface, recently defined by Danciger and Stecker, in which lengths of loops are logarithms of eigenvalues. We imitate work of Nie to show that, as the cubic differential gets big, Danciger and Stecker's metric converges to our Finsler metric with triangular unit balls. While Loftin, Tamburelli, and Wolf address cubic differential rays, our methods also address sequences of representations which are asymptotic to cubic differential rays, giving us more insight into natural compactifications of the moduli space of convex projective surfaces.


title: Koopman Invertible Autoencoder: Leveraging Forward and Backward Dynamics for Temporal Modeling

abstract: Accurate long-term predictions are the foundations for many machine learning applications and decision-making processes. However, building accurate long-term prediction models remains challenging due to the limitations of existing temporal models like recurrent neural networks (RNNs), as they capture only the statistical connections in the training data and may fail to learn the underlying dynamics of the target system. To tackle this challenge, we propose a novel machine learning model based on Koopman operator theory, which we call Koopman Invertible Autoencoders (KIA), that captures the inherent characteristic of the system by modeling both forward and backward dynamics in the infinite-dimensional Hilbert space. This enables us to efficiently learn low-dimensional representations, resulting in more accurate predictions of long-term system behavior. Moreover, our method's invertibility design guarantees reversibility and consistency in both forward and inverse operations. We illustrate the utility of KIA on pendulum and climate datasets, demonstrating 300% improvements in long-term prediction capability for pendulum while maintaining robustness against noise. Additionally, our method excels in long-term climate prediction, further validating our method's effectiveness.


title: Julia as a unifying end-to-end workflow language on the Frontier exascale system

abstract: We evaluate Julia as a single language and ecosystem paradigm powered by LLVM to develop workflow components for high-performance computing. We run a Gray-Scott, 2-variable diffusion-reaction application using a memory-bound, 7-point stencil kernel on Frontier, the US Department of Energy's first exascale supercomputer. We evaluate the performance, scaling, and trade-offs of (i) the computational kernel on AMD's MI250x GPUs, (ii) weak scaling up to 4,096 MPI processes/GPUs or 512 nodes, (iii) parallel I/O writes using the ADIOS2 library bindings, and (iv) Jupyter Notebooks for interactive analysis. Results suggest that although Julia generates a reasonable LLVM-IR, a nearly 50% performance difference exists vs. native AMD HIP stencil codes when running on the GPUs. As expected, we observed near-zero overhead when using MPI and parallel I/O bindings for system-wide installed implementations. Consequently, Julia emerges as a compelling high-performance and high-productivity workflow composition language, as measured on the fastest supercomputer in the world.


title: QXAI: Explainable AI Framework for Quantitative Analysis in Patient Monitoring Systems

abstract: Artificial Intelligence techniques can be used to classify a patient's physical activities and predict vital signs for remote patient monitoring. Regression analysis based on non-linear models like deep learning models has limited explainability due to its black-box nature. This can require decision-makers to make blind leaps of faith based on non-linear model results, especially in healthcare applications. In non-invasive monitoring, patient data from tracking sensors and their predisposing clinical attributes act as input features for predicting future vital signs. Explaining the contributions of various features to the overall output of the monitoring application is critical for a clinician's decision-making. In this study, an Explainable AI for Quantitative analysis (QXAI) framework is proposed with post-hoc model explainability and intrinsic explainability for regression and classification tasks in a supervised learning approach. This was achieved by utilizing the Shapley values concept and incorporating attention mechanisms in deep learning models. We adopted the artificial neural networks (ANN) and attention-based Bidirectional LSTM (BiLSTM) models for the prediction of heart rate and classification of physical activities based on sensor data. The deep learning models achieved state-of-the-art results in both prediction and classification tasks. Global explanation and local explanation were conducted on input data to understand the feature contribution of various patient data. The proposed QXAI framework was evaluated using PPG-DaLiA data to predict heart rate and mobile health (MHEALTH) data to classify physical activities based on sensor data. Monte Carlo approximation was applied to the framework to overcome the time complexity and high computation power requirements required for Shapley value calculations.


title: Leveraging Speech PTM, Text LLM, and Emotional TTS for Speech Emotion Recognition

abstract: In this paper, we explored how to boost speech emotion recognition (SER) with the state-of-the-art speech pre-trained model (PTM), data2vec, text generation technique, GPT-4, and speech synthesis technique, Azure TTS. First, we investigated the representation ability of different speech self-supervised pre-trained models, and we found that data2vec has a good representation ability on the SER task. Second, we employed a powerful large language model (LLM), GPT-4, and emotional text-to-speech (TTS) model, Azure TTS, to generate emotionally congruent text and speech. We carefully designed the text prompt and dataset construction, to obtain the synthetic emotional speech data with high quality. Third, we studied different ways of data augmentation to promote the SER task with synthetic speech, including random mixing, adversarial training, transfer learning, and curriculum learning. Experiments and ablation studies on the IEMOCAP dataset demonstrate the effectiveness of our method, compared with other data augmentation methods, and data augmentation with other synthetic data.


title: Hermitian metrics with vanishing second Chern Ricci curvature

abstract: We describe a rigidity phenomenon exhibited by the second Chern Ricci curvature of a Hermitian metric on a compact complex manifold. This yields a characterisation of second Chern Ricci-flat Hermitian metrics on several types of manifolds as well as a range of non-existence results for such metrics.


title: Minimum-length chain embedding for the phase unwrapping problem on D-Wave's advantage architecture

abstract: With the current progress of quantum computing, quantum annealing is being introduced as a powerful method to solve hard computational problems. In this paper, we study the potential capability of quantum annealing in solving the phase unwrapping problem, an instance of hard computational problems. To solve the phase unwrapping problem using quantum annealing, we deploy the D-Wave Advantage machine which is currently the largest available quantum annealer. The structure of this machine, however, is not compatible with our problem graph structure. Consequently, the problem graph needs to be mapped onto the target (Pegasus) graph, and this embedding significantly affects the quality of the results. Based on our experiment and also D-Wave's reports, the lower chain lengths can result in a better performance of quantum annealing. In this paper, we propose a new embedding algorithm that has the lowest possible chain length for embedding the graph of the phase unwrapping problem onto the Pegasus graph. The obtained results using this embedding strongly outperform the results of Auto-embedding provided by D-Wave. Besides the phase unwrapping problem, this embedding can be used to embed any subset of our problem graph to the Pegasus graph.


title: Approximate ultrahomogeneity in $L_pL_q$ lattices

abstract: We show that for $1\leq p, q<\infty$ with $p/q \notin \mathbb{N}$, the doubly atomless separable $L_pL_q$ Banach lattice $L_p(L_q)$ is approximately ultrahomogeneous (AUH) over the class of its finitely generated sublattices. The above is not true when $p/q \in \mathbb{N}$. However, for any $p\neq q$, $L_p(L_q)$ is AUH over the finitely generated lattices in the class $BL_pL_q$ of bands of $L_pL_q$ lattices.


title: Learning Orbitally Stable Systems for Diagrammatically Teaching

abstract: Diagrammatic Teaching is a paradigm for robots to acquire novel skills, whereby the user provides 2D sketches over images of the scene to shape the robot's motion. In this work, we tackle the problem of teaching a robot to approach a surface and then follow cyclic motion on it, where the cycle of the motion can be arbitrarily specified by a single user-provided sketch over an image from the robot's camera. Accordingly, we contribute the Stable Diffeomorphic Diagrammatic Teaching (SDDT) framework. SDDT models the robot's motion as an Orbitally Asymptotically Stable (O.A.S.) dynamical system that learns to stablize based on a single diagrammatic sketch provided by the user. This is achieved by applying a \emph{diffeomorphism}, i.e. a differentiable and invertible function, to morph a known O.A.S. system. The parameterised diffeomorphism is then optimised with respect to the Hausdorff distance between the limit cycle of our modelled system and the sketch, to produce the desired robot motion. We provide novel theoretical insight into the behaviour of the optimised system and also empirically evaluate SDDT, both in simulation and on a quadruped with a mounted 6-DOF manipulator. Results show that we can diagrammatically teach complex cyclic motion patterns with a high degree of accuracy.


title: Using fine-tuning and min lookahead beam search to improve Whisper

abstract: The performance of Whisper in low-resource languages is still far from perfect. In addition to a lack of training data on low-resource languages, we identify some limitations in the beam search algorithm used in Whisper. To address these issues, we fine-tune Whisper on additional data and propose an improved decoding algorithm. On the Vietnamese language, fine-tuning Whisper-Tiny with LoRA leads to an improvement of 38.49 in WER over the zero-shot Whisper-Tiny setting which is a further reduction of 1.45 compared to full-parameter fine-tuning. Additionally, by using Filter-Ends and Min Lookahead decoding algorithms, the WER reduces by 2.26 on average over a range of languages compared to standard beam search. These results generalise to larger Whisper model sizes. We also prove a theorem that Min Lookahead outperforms the standard beam search algorithm used in Whisper.


title: Vojta's conjecture on weighted projective varieties

abstract: We formulate Vojta's conjecture for smooth weighted projective varieties, weighted multiplier ideal sheaves, and weighted log pairs and prove that all three versions of the conjecture are equivalent. In the process, we introduce generalized weighted general common divisors and express them as heights of weighted projective spaces blown-up relative to an exceptional divisor. Furthermore, we prove that assuming Vojta's conjecture for weighted projective varieties one can bound the $\log {\rm h_{wgcd}}$ for any subvariety of codimension $\geq 2$ and a finite set of places $S$. An analogue result is proved for weighted homogeneous polynomials with integer coefficients.


title: Prominent Roles of Conditionally Invariant Components in Domain Adaptation: Theory and Algorithms

abstract: Domain adaptation (DA) is a statistical learning problem that arises when the distribution of the source data used to train a model differs from that of the target data used to evaluate the model. While many DA algorithms have demonstrated considerable empirical success, blindly applying these algorithms can often lead to worse performance on new datasets. To address this, it is crucial to clarify the assumptions under which a DA algorithm has good target performance. In this work, we focus on the assumption of the presence of conditionally invariant components (CICs), which are relevant for prediction and remain conditionally invariant across the source and target data. We demonstrate that CICs, which can be estimated through conditional invariant penalty (CIP), play three prominent roles in providing target risk guarantees in DA. First, we propose a new algorithm based on CICs, importance-weighted conditional invariant penalty (IW-CIP), which has target risk guarantees beyond simple settings such as covariate shift and label shift. Second, we show that CICs help identify large discrepancies between source and target risks of other DA algorithms. Finally, we demonstrate that incorporating CICs into the domain invariant projection (DIP) algorithm can address its failure scenario caused by label-flipping features. We support our new algorithms and theoretical findings via numerical experiments on synthetic data, MNIST, CelebA, and Camelyon17 datasets.


title: Decoupled Training: Return of Frustratingly Easy Multi-Domain Learning

abstract: Multi-domain learning (MDL) aims to train a model with minimal average risk across multiple overlapping but non-identical domains. To tackle the challenges of dataset bias and domain domination, numerous MDL approaches have been proposed from the perspectives of seeking commonalities by aligning distributions to reduce domain gap or reserving differences by implementing domain-specific towers, gates, and even experts. MDL models are becoming more and more complex with sophisticated network architectures or loss functions, introducing extra parameters and enlarging computation costs. In this paper, we propose a frustratingly easy and hyperparameter-free multi-domain learning method named Decoupled Training (D-Train). D-Train is a tri-phase general-to-specific training strategy that first pre-trains on all domains to warm up a root model, then post-trains on each domain by splitting into multi-heads, and finally fine-tunes the heads by fixing the backbone, enabling decouple training to achieve domain independence. Despite its extraordinary simplicity and efficiency, D-Train performs remarkably well in extensive evaluations of various datasets from standard benchmarks to applications of satellite imagery and recommender systems.


title: Locally nilpotent polynomials over $\mathbb{Z}$

abstract: For a polynomial $u=u(x)$ in $\mathbb{Z}[x]$ and $r\in\mathbb{Z}$, we consider the orbit of $u$ at $r$ denoted and defined by $\mathcal{O}_u(r):=\{u(r),u(u(r)),\ldots\}$. We ask two questions here: (i) what are the polynomials $u$ for which $0\in \mathcal{O}_u(r)$, and (ii) what are the polynomials for which $0\not\in \mathcal{O}_u(r)$ but, modulo every prime $p$, $0\in \mathcal{O}_u(r)$? In this paper, we give a complete classification of the polynomials for which (ii) holds for a given $r$. We also present some results for some special values of $r$ where (i) can be answered.


title: Learning-Based Detection of Malicious Volt-VAr Control Parameters in Smart Inverters

abstract: Distributed Volt-Var Control (VVC) is a widely used control mode of smart inverters. However, necessary VVC curve parameters are remotely communicated to the smart inverter, which opens doors for cyberattacks. If the VVC curves of an inverter are maliciously manipulated, the attacked inverter's reactive power injection will oscillate, causing undesirable voltage oscillations to manifest in the distribution system, which, in turn, threatens the system's stability. In contrast with previous works that proposed methods to mitigate the oscillations after they are already present in the system, this paper presents an intrusion detection method to detect malicious VVC curves once they are communicated to the inverter. The proposed method utilizes a Multi-Layer Perceptron (MLP) that is trained on features extracted from only the local measurements of the inverter. After a smart inverter is equipped with the proposed method, any communicated VVC curve will be verified by the MLP once received. If the curve is found to be malicious, it will be rejected, thus preventing unwanted oscillations beforehand. Otherwise, legitimate curves will be permitted. The performance of the proposed scheme is verified using the 9-bus Canadian urban benchmark distribution system simulated in PSCAD/EMTDC environment. Our results show that the proposed solution can accurately detect malicious VVC curves.


title: Baichuan 2: Open Large-scale Language Models

abstract: Large language models (LLMs) have demonstrated remarkable performance on a variety of natural language tasks based on just a few examples of natural language instructions, reducing the need for extensive feature engineering. However, most powerful LLMs are closed-source or limited in their capability for languages other than English. In this technical report, we present Baichuan 2, a series of large-scale multilingual language models containing 7 billion and 13 billion parameters, trained from scratch, on 2.6 trillion tokens. Baichuan 2 matches or outperforms other open-source models of similar size on public benchmarks like MMLU, CMMLU, GSM8K, and HumanEval. Furthermore, Baichuan 2 excels in vertical domains such as medicine and law. We will release all pre-training model checkpoints to benefit the research community in better understanding the training dynamics of Baichuan 2.


title: Linking infinite bond-dimension matrix product states with frustration-free Hamiltonians

abstract: The study of frustration-free Hamiltonians and their relation to finite bond-dimension matrix product states (MPS) has a long tradition. However, fractional quantum Hall (FQH) states do not quite fit into this theme since the known MPS representations of their ground states have infinite bond dimensions, which considerably obscures the relations between such MPS representations and the existence of frustration-free parent Hamiltonians. This is related to the fact that the latter necessarily are of infinite range in the orbital basis. Here, we present a theorem tailored to establishing the existence of frustration-free parent Hamiltonians in such a context. We explicitly demonstrate the utility of this theorem in the context of non-Abelian Moore-Read FQH states but argue the applicability of this theorem to transcend considerably beyond the realm of conformal-field-theory-derived MPSs or quasi-one-dimensional Hilbert spaces.


title: On Roitman's principles $\mathsf{MH}$ and $\Delta$

abstract: The Model Hypothesis (abbreviated $\mathsf{MH}$) and $\Delta$ are set-theoretic axioms introduced by J. Roitman in her work on the box product problem. Answering some questions of Roitman and Williams on these two principles, we show (1) $\mathsf{MH}$ implies the existence of $P$-points in $\omega^*$ and is therefore not a theorem of $\mathsf{ZFC}$; (2) $\mathsf{MH}$ also fails in the side-by-side Sacks models; (3) as $\Delta$ holds in these models, this implies $\Delta$ is strictly stronger than $\mathsf{MH}$; (4) furthermore, $\Delta$ holds in a large class of forcing extensions in which it was not previously known to hold.


title: Tight and attainable quantum speed limit for open systems

abstract: We develop an intuitive geometric picture of quantum states, define a particular state distance, and derive a quantum speed limit (QSL) for open systems. Our QSL is attainable because any initial state can be driven to a final state by the particular dynamics along the geodesic. We present the general condition for dynamics along the geodesic for our QSL. As evidence, we consider the generalized amplitude damping dynamics and the dephasing dynamics to demonstrate the attainability. In addition, we also compare our QSL with others by strict analytic processes as well as numerical illustrations, and show our QSL is tight in many cases. It indicates that our work is significant in tightening the bound of evolution time.


title: Bridging Zero-shot Object Navigation and Foundation Models through Pixel-Guided Navigation Skill

abstract: Zero-shot object navigation is a challenging task for home-assistance robots. This task emphasizes visual grounding, commonsense inference and locomotion abilities, where the first two are inherent in foundation models. But for the locomotion part, most works still depend on map-based planning approaches. The gap between RGB space and map space makes it difficult to directly transfer the knowledge from foundation models to navigation tasks. In this work, we propose a Pixel-guided Navigation skill (PixNav), which bridges the gap between the foundation models and the embodied navigation task. It is straightforward for recent foundation models to indicate an object by pixels, and with pixels as the goal specification, our method becomes a versatile navigation policy towards all different kinds of objects. Besides, our PixNav is a pure RGB-based policy that can reduce the cost of home-assistance robots. Experiments demonstrate the robustness of the PixNav which achieves 80+% success rate in the local path-planning task. To perform long-horizon object navigation, we design an LLM-based planner to utilize the commonsense knowledge between objects and rooms to select the best waypoint. Evaluations across both photorealistic indoor simulators and real-world environments validate the effectiveness of our proposed navigation strategy. Code and video demos are available at https://github.com/wzcai99/Pixel-Navigator.


title: TensorCodec: Compact Lossy Compression of Tensors without Strong Data Assumptions

abstract: Many real-world datasets are represented as tensors, i.e., multi-dimensional arrays of numerical values. Storing them without compression often requires substantial space, which grows exponentially with the order. While many tensor compression algorithms are available, many of them rely on strong data assumptions regarding its order, sparsity, rank, and smoothness. In this work, we propose TENSORCODEC, a lossy compression algorithm for general tensors that do not necessarily adhere to strong input data assumptions. TENSORCODEC incorporates three key ideas. The first idea is Neural Tensor-Train Decomposition (NTTD) where we integrate a recurrent neural network into Tensor-Train Decomposition to enhance its expressive power and alleviate the limitations imposed by the low-rank assumption. Another idea is to fold the input tensor into a higher-order tensor to reduce the space required by NTTD. Finally, the mode indices of the input tensor are reordered to reveal patterns that can be exploited by NTTD for improved approximation. Our analysis and experiments on 8 real-world datasets demonstrate that TENSORCODEC is (a) Concise: it gives up to 7.38x more compact compression than the best competitor with similar reconstruction error, (b) Accurate: given the same budget for compressed size, it yields up to 3.33x more accurate reconstruction than the best competitor, (c) Scalable: its empirical compression time is linear in the number of tensor entries, and it reconstructs each entry in logarithmic time. Our code and datasets are available at https://github.com/kbrother/TensorCodec.


title: Resource-Efficient Cooperative Online Scalar Field Mapping via Distributed Sparse Gaussian Process Regression

abstract: Cooperative online scalar field mapping is an important task for multi-robot systems. Gaussian process regression is widely used to construct a map that represents spatial information with confidence intervals. However, it is difficult to handle cooperative online mapping tasks because of its high computation and communication costs. This letter proposes a resource-efficient cooperative online field mapping method via distributed sparse Gaussian process regression. A novel distributed online Gaussian process evaluation method is developed such that robots can cooperatively evaluate and find observations of sufficient global utility to reduce computation. The bounded errors of distributed aggregation results are guaranteed theoretically, and the performances of the proposed algorithms are validated by real online light field mapping experiments.


title: Rigorously Assessing Natural Language Explanations of Neurons

abstract: Natural language is an appealing medium for explaining how large language models process and store information, but evaluating the faithfulness of such explanations is challenging. To help address this, we develop two modes of evaluation for natural language explanations that claim individual neurons represent a concept in a text input. In the observational mode, we evaluate claims that a neuron $a$ activates on all and only input strings that refer to a concept picked out by the proposed explanation $E$. In the intervention mode, we construe $E$ as a claim that the neuron $a$ is a causal mediator of the concept denoted by $E$. We apply our framework to the GPT-4-generated explanations of GPT-2 XL neurons of Bills et al. (2023) and show that even the most confident explanations have high error rates and little to no causal efficacy. We close the paper by critically assessing whether natural language is a good choice for explanations and whether neurons are the best level of analysis.


title: Investigating the Catastrophic Forgetting in Multimodal Large Language Models

abstract: Following the success of GPT4, there has been a surge in interest in multimodal large language model (MLLM) research. This line of research focuses on developing general-purpose LLMs through fine-tuning pre-trained LLMs and vision models. However, catastrophic forgetting, a notorious phenomenon where the fine-tuned model fails to retain similar performance compared to the pre-trained model, still remains an inherent problem in multimodal LLMs (MLLM). In this paper, we introduce EMT: Evaluating MulTimodality for evaluating the catastrophic forgetting in MLLMs, by treating each MLLM as an image classifier. We first apply EMT to evaluate several open-source fine-tuned MLLMs and we discover that almost all evaluated MLLMs fail to retain the same performance levels as their vision encoders on standard image classification tasks. Moreover, we continue fine-tuning LLaVA, an MLLM and utilize EMT to assess performance throughout the fine-tuning. Interestingly, our results suggest that early-stage fine-tuning on an image dataset improves performance across other image datasets, by enhancing the alignment of text and visual features. However, as fine-tuning proceeds, the MLLMs begin to hallucinate, resulting in a significant loss of generalizability, even when the image encoder remains frozen. Our results suggest that MLLMs have yet to demonstrate performance on par with their vision models on standard image classification tasks and the current MLLM fine-tuning procedure still has room for improvement.


title: Dive Deeper into Rectifying Homography for Stereo Camera Online Self-Calibration

abstract: Accurate estimation of stereo camera extrinsic parameters is the key to guarantee the performance of stereo matching algorithms. In prior arts, the online self-calibration of stereo cameras has commonly been formulated as a specialized visual odometry problem, without taking into account the principles of stereo rectification. In this paper, we first delve deeply into the concept of rectifying homography, which serves as the cornerstone for the development of our novel stereo camera online self-calibration algorithm, for cases where only a single pair of images is available. Furthermore, we introduce a simple yet effective solution for global optimum extrinsic parameter estimation in the presence of stereo video sequences. Additionally, we emphasize the impracticality of using three Euler angles and three components in the translation vectors for performance quantification. Instead, we introduce four new evaluation metrics to quantify the robustness and accuracy of extrinsic parameter estimation, applicable to both single-pair and multi-pair cases. Extensive experiments conducted across indoor and outdoor environments using various experimental setups validate the effectiveness of our proposed algorithm. The comprehensive evaluation results demonstrate its superior performance in comparison to the baseline algorithm. Our source code, demo video, and supplement are publicly available at mias.group/StereoCalibrator.


title: On (co-)morphisms of $n$-Lie-Rinehart algebras with applications to Nambu-Poisson manifolds

abstract: In this paper, we give a unified description of morphisms and comorphisms of $n$-Lie-Rinehart algebras. We show that these morphisms and comorphisms can be regarded as two subalgebras of the $\psi$-sum of $n$-Lie-Rinehart algebras. We also provide similar descriptions for morphisms and comorphisms of $n$-Lie algebroids. It is proved that the category of vector bundles with Nambu-Poisson structures of rank $n$ and the category of their dual bundles with $n$-Lie algebroid structures of rank $n$ are equivalent to each other.


title: Constraining Thermal Emission of Pluto's Haze From Infrared Rotational Lightcurves

abstract: The rotational lightcurves of the Pluto-Charon system were previously believed to be solely attributed to their surfaces. However, a proposed scenario of haze cooling \citep{2017Natur.551..352Z} suggests that the atmospheric haze of Pluto could significantly contribute to mid-infrared emission, which calls for a revisit of previous analyses. In this study, we employ a Bayesian retrieval approach to constrain the haze emission from the rotational lightcurves of the Pluto-Charon system. The lightcurves were observed by the Spitzer and Herschel telescopes at 24 and 70 $\mu$m, and were combined with the latest surface albedo maps of Pluto and Charon from the New Horizons spacecraft. Our results show that including the haze emission is consistent with all current observations, with the best-fit haze flux around 1.63 mJy. This is in agreement with the composition of Titan-like tholins. However, the ``surface only" scenario, which excludes the haze contribution, can still explain the observations. We conclude that the current data at 24 $\mu$m cannot constrain Pluto's haze emission due to the degeneracy with Charon's surface emission. Regardless, some surface properties of Pluto are well constrained by the shape of the lightcurves, with a thermal inertia of approximately 8--10 MKS and a relatively low CH$_4$ emissivity of 0.3--0.5. We suggest that observations by the JWST telescope at 18 $\mu$m, which can resolve Pluto from Charon, could directly probe the haze emission of Pluto due to the low surface emission at that wavelength.


title: Projective dimension and regularity of edge ideals of some vertex-weighted oriented unicyclic graphs

abstract: In this paper we provide some exact formulas for the projective dimension and the regularity of edge ideals of vertex-weighted oriented unicyclic graphs. These formulas are in function of the weight of the vertices, the numbers of edges. We also give some examples to show that these formulas are related to direction selection and the assumptions that $w(x)\geq 2$ for any vertex $x$ cannot be dropped.


title: Who to Trust, How and Why: Untangling AI Ethics Principles, Trustworthiness and Trust

abstract: We present an overview of the literature on trust in AI and AI trustworthiness and argue for the need to distinguish these concepts more clearly and to gather more empirically evidence on what contributes to people s trusting behaviours. We discuss that trust in AI involves not only reliance on the system itself, but also trust in the developers of the AI system. AI ethics principles such as explainability and transparency are often assumed to promote user trust, but empirical evidence of how such features actually affect how users perceive the system s trustworthiness is not as abundance or not that clear. AI systems should be recognised as socio-technical systems, where the people involved in designing, developing, deploying, and using the system are as important as the system for determining whether it is trustworthy. Without recognising these nuances, trust in AI and trustworthy AI risk becoming nebulous terms for any desirable feature for AI systems.


title: Multi-dimension Queried and Interacting Network for Stereo Image Deraining

abstract: Eliminating the rain degradation in stereo images poses a formidable challenge, which necessitates the efficient exploitation of mutual information present between the dual views. To this end, we devise MQINet, which employs multi-dimension queries and interactions for stereo image deraining. More specifically, our approach incorporates a context-aware dimension-wise queried block (CDQB). This module leverages dimension-wise queries that are independent of the input features and employs global context-aware attention (GCA) to capture essential features while avoiding the entanglement of redundant or irrelevant information. Meanwhile, we introduce an intra-view physics-aware attention (IPA) based on the inverse physical model of rainy images. IPA extracts shallow features that are sensitive to the physics of rain degradation, facilitating the reduction of rain-related artifacts during the early learning period. Furthermore, we integrate a cross-view multi-dimension interacting attention mechanism (CMIA) to foster comprehensive feature interaction between the two views across multiple dimensions. Extensive experimental evaluations demonstrate the superiority of our model over EPRRNet and StereoIRR, achieving respective improvements of 4.18 dB and 0.45 dB in PSNR. Code and models are available at \url{https://github.com/chdwyb/MQINet}.


title: Inverse Formulae for $q$-analogues of Bipartite Distance Matrix

abstract: We consider two distinct $q$-analogues of the bipartite distance matrix, namely the $q$-bipartite distance matrix and the exponential distance matrix. We provide formulae of the inverse for these matrices, which extend the existing results for the bipartite distance matrix. These investigations lead us to introduce a $q$-analogue version of the bipartite Laplacian matrix.


title: Markov Chain Monte Carlo for Bayesian Parametric Galaxy Modeling in LSST

abstract: We apply Markov Chain Monte Carlo (MCMC) to the problem of parametric galaxy modeling, estimating posterior distributions of galaxy properties such as ellipticity and brightness for more than 100,000 images of galaxies taken from DC2, a simulated telescope survey resembling the upcoming Rubin Observatory Legacy Survey of Space and Time (LSST). We use a physically informed prior and apply selection corrections to the likelihood. The resulting posterior samples enable rigorous probabilistic inference of galaxy model parameters and their uncertainties. These posteriors are one key ingredient in a fully probabilistic description of galaxy catalogs, which can ultimately enable a refined Bayesian estimate of cosmological parameters. We systematically examine the reliability of the posterior mean as a point estimator of galaxy parameters, and of the posterior width as a measure of uncertainty, under some common modeling approximations. We implement the probabilistic modeling and MCMC inference using the JIF (Joint Image Framework) tool, which we make freely available online.