title: Secure Ranging with IEEE 802.15.4z HRP UWB

abstract: Secure ranging refers to the capability of upper-bounding the actual physical distance between two devices with reliability. This is essential in a variety of applications, including to unlock physical systems. In this work, we will look at secure ranging in the context of ultra-wideband impulse radio (UWB-IR) as specified in IEEE 802.15.4z (a.k.a. 4z). In particular, an encrypted waveform, i.e. the scrambled timestamp sequence (STS), is defined in the high rate pulse repetition frequency (HRP) mode of operation in 4z for secure ranging. This work demonstrates the security analysis of 4z HRP when implemented with an adequate receiver design and shows the STS waveform can enable secure ranging. We first review the STS receivers adopted in previous studies and analyze their security vulnerabilities. Then we present a reference STS receiver and prove that secure ranging can be achieved by employing the STS waveform in 4z HRP. The performance bounds of the reference secure STS receiver are also characterized. Numerical experiments corroborate the analyses and demonstrate the security of the reference STS receiver.


title: On the formal Peterson subalgebra and its dual

abstract: In the present notes, we study a generalization of the Peterson subalgebra to an oriented (generalized) cohomology theory which we call the formal Peterson subalgebra. Observe that by recent results of Zhong the dual of the formal Peterson algebra provides an algebraic model for the oriented cohomology of the affine Grassmannian. Our first result shows that the centre of the formal affine Demazure algebra generates the formal Peterson subalgebra. Our second observation is motivated by the Peterson conjecture. We show that a certain localization of the formal Peterson subalgebra for the extended Dynkin diagram of type $\hat A_1$ provides an algebraic model for `quantum' oriented cohomology of the projective line. Our last result can be viewed as an extension of the previous results on Hopf algebroids of structure algebras of moment graphs to the case of affine root systems. We prove that the dual of the formal Peterson subalgebra (an oriented cohomology of the affine Grassmannian) is the $0$th Hochshild homology of the formal affine Demazure algebra.


title: Impostor Phenomenon in Software Engineers

abstract: The Impostor Phenomenon (IP) is widely discussed in Science, Technology, Engineering, and Mathematics (STEM) and has been evaluated in Computer Science students. However, formal research on IP in software engineers has yet to be conducted, although its impacts may lead to mental disorders such as depression and burnout. This study describes a survey that investigates the extent of impostor feelings in software engineers, considering aspects such as gender, race/ethnicity, and roles. Furthermore, we investigate the influence of IP on their perceived productivity. The survey instrument was designed using a theory-driven approach and included demographic questions, an internationally validated IP scale, and questions for measuring perceived productivity based on the SPACE framework constructs. The survey was sent to companies operating in various business sectors. Data analysis used bootstrapping with resampling to calculate confidence intervals and Mann-Whitney statistical significance testing for assessing the hypotheses. We received responses from 624 software engineers from 26 countries. The bootstrapping results reveal that a proportion of 52.7% of software engineers experience frequent to intense levels of IP and that women suffer at a significantly higher proportion (60.6%) than men (48.8%). Regarding race/ethnicity, we observed more frequent impostor feelings in Asian (67.9%) and Black (65.1%) than in White (50.0%) software engineers. We also observed that the presence of IP is less common among individuals who are married and have children. Moreover, the prevalence of IP showed a statistically significant negative effect on the perceived productivity for all SPACE framework constructs. The evidence relating IP to software engineers provides a starting point to help organizations find ways to raise awareness of the problem and improve the emotional skills of software professionals.


title: Test-negative designs with various reasons for testing: statistical bias and solution

abstract: Test-negative designs are widely used for post-market evaluation of vaccine effectiveness, particularly in cases where randomization is not feasible. Differing from classical test-negative designs where only healthcare-seekers with symptoms are included, recent test-negative designs have involved individuals with various reasons for testing, especially in an outbreak setting. While including these data can increase sample size and hence improve precision, concerns have been raised about whether they introduce bias into the current framework of test-negative designs, thereby demanding a formal statistical examination of this modified design. In this article, using statistical derivations, causal graphs, and numerical simulations, we show that the standard odds ratio estimator may be biased if various reasons for testing are not accounted for. To eliminate this bias, we identify three categories of reasons for testing, including symptoms, disease-unrelated reasons, and case contact tracing, and characterize associated statistical properties and estimands. Based on our characterization, we show how to consistently estimate each estimand via stratification. Furthermore, we describe when these estimands correspond to the same vaccine effectiveness parameter, and, when appropriate, propose a stratified estimator that can incorporate multiple reasons for testing and improve precision. The performance of our proposed method is demonstrated through simulation studies.


title: Emergence of isotropy in rotating turbulence of Bose-Einstein condensates

abstract: We present a study on the development of rotating turbulence in Bose-Einstein condensates with a dissipative Gross-Pitaevskii model. Turbulence is generated by driving the lattice of quantized vortices in a harmonic potential with a random forcing potential. As the turbulence progressed, the initial alignment of vortices underwent slight disruptions, thereby increasing the high-wavenumber components of the kinetic energy. In the turbulent state, the distribution of incompressible kinetic energy exhibits milder anisotropy than that in the initial lattice state and demonstrates a scaling behavior of $k_z^{-2.5}$ in the direction parallel to the rotation axis. In contrast, the compressible kinetic energy exhibits an isotropic scaling behavior at high wavenumbers.


title: Global existence of solutions to the compressible Navier-Stokes equations in weighted Besov spaces

abstract: We prove global existence of solutions to the Cauchy problem for the compressible Navier-Stokes equations in Euclidean spaces, given initial data with small norms in Besov and critical weighted Besov spaces. Global existence and a priori bounds in these spaces are obtained for dimension $d\geq 3$.


title: Improving Medical Report Generation with Adapter Tuning and Knowledge Enhancement in Vision-Language Foundation Models

abstract: Medical report generation demands automatic creation of coherent and precise descriptions for medical images. However, the scarcity of labelled medical image-report pairs poses formidable challenges in developing large-scale neural networks capable of harnessing the potential of artificial intelligence, exemplified by large language models. This study builds upon the state-of-the-art vision-language pre-training and fine-tuning approach, BLIP-2, to customize general large-scale foundation models. Integrating adapter tuning and a medical knowledge enhancement loss, our model significantly improves accuracy and coherence. Validation on the dataset of ImageCLEFmedical 2023 demonstrates our model's prowess, achieving the best-averaged results against several state-of-the-art methods. Significant improvements in ROUGE and CIDEr underscore our method's efficacy, highlighting promising outcomes for the rapid medical-domain adaptation of the vision-language foundation models in addressing challenges posed by data scarcity.


title: TOI-4641b: An Aligned Warm Jupiter Orbiting a Bright (V=7.5) Rapidly Rotating F-star

abstract: We report the discovery of TOI-4641b, a warm Jupiter transiting a rapidly rotating F-type star with a stellar effective temperature of 6560 K. The planet has a radius of 0.73 $R_{Jup}$, a mass smaller than 3.87 $M_{Jup}$ $(3\sigma)$, and a period of 22.09 days. It is orbiting a bright star (V=7.5 mag) on a circular orbit with a radius and mass of 1.73 $R_{\odot}$ and 1.41 $M_{\odot}$. Follow-up ground-based photometry was obtained using the Tierras Observatory. Two transits were also observed with the Tillinghast Reflector Echelle Spectrograph (TRES), revealing the star to have a low projected spin-orbit angle ($\lambda$=$1.41^{+0.76}_{-0.76}$ degrees). Such obliquity measurements for stars with warm Jupiters are relatively few, and may shed light on the formation of warm Jupiters. Among the known planets orbiting hot and rapidly-rotating stars, TOI-4641b is one of the longest-period planets to be thoroughly characterized. Unlike hot Jupiters around hot stars which are more often misaligned, the warm Jupiter TOI-4641b is found in a well-aligned orbit. Future exploration of this parameter space can add one more dimension to the star-planet orbital obliquity distribution that has been well-sampled for hot Jupiters.


title: N-spherical functors and tensor categories

abstract: We apply the recently introduced notion, due to Dyckerhoff, Kapranov and Schechtman, of $N$-spherical functors of stable infinity categories, which generalise spherical functors, to the setting of monoidal categories. We call an object $N$-bounded if the corresponding regular endofunctor on the derived category is $N$-spherical. Besides giving new examples of $N$-spherical functors, the notion of $N$-bounded objects gives surprising connections with Jones-Wenzl idempotents, Frobenius-Perron dimensions and central conjectures in the field of symmetric tensor categories in positive characteristic.


title: Physical Models for the Astrophysical Population of Black Holes: Application to the Bump in the Mass Distribution of Gravitational Wave Sources

abstract: Gravitational wave observations of binary black holes have revealed unexpected structure in the black hole mass distribution. Previous studies of the mass distribution employ physically-motivated phenomenological models and infer the parameters that directly control the features of the mass distribution that are allowed in their model, associating the constraints on those parameters with their physical motivations. In this work, we take an alternative approach in which we introduce a model parameterizing the underlying stellar and core-collapse physics and obtaining the remnant black hole distribution as a derived byproduct. In doing so, we directly constrain the stellar physics necessary to explain the astrophysical distribution of black hole properties under a given model. We apply this approach to modeling the mapping between stellar core mass and remnant black hole mass, including the effects of mass loss due to the pulsational pair instability supernova (PPISN) process, which has been proposed as an explanation for the observed excess of black holes at $\sim 35 M_\odot$. Placing constraints on the nuclear reaction rates necessary to explain the PPISN parameters, we conclude that the peak observed at $\sim 35 M_\odot$ is highly unlikely to be a signature from the PPISN process. This procedure can be applied to modeling any physical process that underlies the astrophysical mass distribution. Allowing the parameters of the core-remnant mass relationship to evolve with redshift permits correlated and physically reasonable changes in the location, shape, and amplitude of features in the mass function. We find that the current data are consistent with no redshift evolution in the core-remnant mass relationship, but ultimately place only weak constraints on the change of these parameters.


title: Different effects of suprathermal electrons and ions on drift instabilities in non-uniform plasmas

abstract: The paper studies the drift instability in Kappa-distributed inhomogeneous plasmas. Weak inhomogeneity and local approximation are assumed. The linear dispersion relation is expressed in a novel integral representation that involves the standard plasma dispersion functions defined in Maxwellian plasmas rather than the generalized plasma dispersion function modified by the Kappa distribution. The analytical solutions of wave frequency and growth rate are derived when the wave speed is larger than the ion thermal speed but smaller than the electron thermal speed. The unstable drift mode is found to have a lower limit of wavenumber due to the suprathermal electrons, which does not exist in Maxwellian plasmas. The population of suprathermal ions affects the critical wavenumber for instability but does not determine its emergence. Moreover, the wave frequency, growth rate, and critical wavenumber are numerically solved from the dispersion relation. The results suggest that the critical wavenumber cannot be neglected with the typical parameters of space plasmas.


title: The classification of Boolean degree $1$ functions in high-dimensional finite vector spaces

abstract: We classify the Boolean degree $1$ functions of $k$-spaces in a vector space of dimension $n$ (also known as Cameron-Liebler classes) over the field with $q$ elements for $n \geq n_0(k, q)$. This also implies that two-intersecting sets with respect to $k$-spaces do not exist for $n \geq n_0(k, q)$. Our main ingredient is the Ramsey theory for geometric lattices.


title: Ergodic measures in minimal group actions with finite topological sequence entropy

abstract: Let $G$ be an infinite discrete countable group and $(X,G)$ be a minimal $G$-system. In this paper, we prove the supremum of topological sequence entropy of $(X,G)$ is not less than $\log(\sum_{\mu\in\mathcal{M}^e(X,G)}e^{h_\mu^*(X,G)})$. If additionally $G$ is abelian then there is a constant $K\in\mathbb{N}\cup\{\infty\}$ with $\log K\le h_{top}^*(X,G)$ such that $\nu(\{y\in H:|\pi^{-1}(y)|=K\})=1$ where $(H,G)$ is the maximal equicontinuous factor of $(X,G)$, $\pi:(X,G)\to (H,G)$ is the factor map and $\nu$ is the Haar measure of $H$.


title: RIS-Aided Interference Cancellation for Joint Device-to-Device and Cellular Communications

abstract: Joint device-to-device (D2D) and cellular communication is a promising technology for enhancing the spectral efficiency of future wireless networks. However, the interference management problem is challenging since the operating devices and the cellular users share the same spectrum. The emerging reconfigurable intelligent surfaces (RIS) technology is a potentially ideal solution for this interference problem since RISs can shape the wireless channel in desired ways. This paper considers an RIS-aided joint D2D and cellular communication system where the RIS is exploited to cancel interference to the D2D links and maximize the minimum signal-to-interference plus noise (SINR) of the device pairs and cellular users. First, we adopt a popular alternating optimization (AO) approach to solve the minimum SINR maximization problem. Then, we propose an interference cancellation (IC)-based approach whose complexity is much lower than that of the AO algorithm. We derive a representation for the RIS phase shift vector which cancels the interference to the D2D links. Based on this representation, the RIS phase shift optimization problem is transformed into an effective D2D channel optimization. We show that the AO approach can converge faster and can even give better performance when it is initialized by the proposed IC solution. We also show that for the case of a single D2D pair, the proposed IC approach can be implemented with limited feedback from the single receive device.


title: Enhanced Index-Based Feedback Overhead Reduction for WLANs

abstract: Compressed beamforming algorithm is used in the current Wi-Fi standard to reduce the beamforming feedback overhead (BFO). However, with each new amendment of the standard the number of supported antennas in Wi-Fi devices increases, leading to increased BFO and hampering the throughput despite using compressed beamforming. In this paper, a novel index-based method is presented to reduce the BFO in Wi-Fi links. In particular, a k-means clustering-based approach is presented to generate candidate beamforming feedback matrices, thereby reducing the BFO to only the index of the said candidate matrices. With extensive simulation results, we compare the newly proposed method with the IEEE 802.11be baseline and our previously published index-based method. We show approximately 54% gain in throughput at high signal-to-noise (SNR) against the IEEE 802.11be baseline. Our comparison also shows approximately 4 dB gain compared to our previously published method at the packet-error-rate (PER) of 0.01 using MCS index 11. Additionally, we also discuss the impact of the distance metric chosen for clustering as well as candidate selection on the link performance.


title: Node-aware Bi-smoothing: Certified Robustness against Graph Injection Attacks

abstract: Deep Graph Learning (DGL) has emerged as a crucial technique across various domains. However, recent studies have exposed vulnerabilities in DGL models, such as susceptibility to evasion and poisoning attacks. While empirical and provable robustness techniques have been developed to defend against graph modification attacks (GMAs), the problem of certified robustness against graph injection attacks (GIAs) remains largely unexplored. To bridge this gap, we introduce the node-aware bi-smoothing framework, which is the first certifiably robust approach for general node classification tasks against GIAs. Notably, the proposed node-aware bi-smoothing scheme is model-agnostic and is applicable for both evasion and poisoning attacks. Through rigorous theoretical analysis, we establish the certifiable conditions of our smoothing scheme. We also explore the practical implications of our node-aware bi-smoothing schemes in two contexts: as an empirical defense approach against real-world GIAs and in the context of recommendation systems. Furthermore, we extend two state-of-the-art certified robustness frameworks to address node injection attacks and compare our approach against them. Extensive evaluations demonstrate the effectiveness of our proposed certificates.


title: Minimal dynamical systems on prime C*-algebras

abstract: We give a number of examples of exotic actions of locally compact groups on separable nuclear C*-algebras. In particular, we give examples of the following: (1) Minimal effective actions of ${\mathbb{Z}}$ and $F_n$ on unital nonsimple prime AF algebras. (2) For any second countable noncompact locally compact group, a minimal effective action on a separable nuclear nonsimple prime C*-algebra. (3) For any amenable second countable noncompact locally compact group, a minimal effective action on a separable nuclear nonsimple prime C*-algebra (unital when the group is ${\mathbb{Z}}$ or ${\mathbb{R}}$) such that the crossed product is $K \otimes {\mathcal{O}}_2$ (${\mathcal{O}}_2$ when the group is ${\mathbb{Z}}$). (4) For any second countable locally compact abelian group which is not discrete, an action on $K \otimes {\mathcal{O}}_2$ such that the crossed product is a nonsimple prime C*-algebra. In most of these situations, we can specify the primitive ideal space of the C*-algebra (of the crossed product in the last item) within a class of spaces.


title: Fundamental groups of log Calabi-Yau surfaces

abstract: In this article, we study the orbifold fundamental group $\pi_1^{\rm reg}(X,\Delta)$ of a log Calabi--Yau pair $(X,\Delta)$. We conjecture that the orbifold fundamental group $\pi_1^{\rm orb}(X,\Delta)$ of a $n$-dimensional log Calabi--Yau pair admits a normal solvable subgroup of rank at most $2n$ and index at most $c(n)$. We prove this conjecture in the case that $n=2$. More precisely, for a log Calabi--Yau surface pair $(X,\Delta)$ we show that $\pi_1^{\rm orb}(X,\Delta)$ is the extension of a nilpotent group of length $2$ and rank at most $4$ by a finite group of order at most $7200$. In the previous setting, we show that the group $\pi_1^{\rm orb}(X,\Delta)$ may not be virtually abelian. Further, the rank and the order stated above are optimal. Finally, we show some geometric features of log Calabi--Yau surfaces $(X,\Delta)$ for which $\pi_1^{\rm orb}(X,\Delta)$ is infinite.


title: Logical quantum processor based on reconfigurable atom arrays

abstract: Suppressing errors is the central challenge for useful quantum computing, requiring quantum error correction for large-scale processing. However, the overhead in the realization of error-corrected ``logical'' qubits, where information is encoded across many physical qubits for redundancy, poses significant challenges to large-scale logical quantum computing. Here we report the realization of a programmable quantum processor based on encoded logical qubits operating with up to 280 physical qubits. Utilizing logical-level control and a zoned architecture in reconfigurable neutral atom arrays, our system combines high two-qubit gate fidelities, arbitrary connectivity, as well as fully programmable single-qubit rotations and mid-circuit readout. Operating this logical processor with various types of encodings, we demonstrate improvement of a two-qubit logic gate by scaling surface code distance from d=3 to d=7, preparation of color code qubits with break-even fidelities, fault-tolerant creation of logical GHZ states and feedforward entanglement teleportation, as well as operation of 40 color code qubits. Finally, using three-dimensional [[8,3,2]] code blocks, we realize computationally complex sampling circuits with up to 48 logical qubits entangled with hypercube connectivity with 228 logical two-qubit gates and 48 logical CCZ gates. We find that this logical encoding substantially improves algorithmic performance with error detection, outperforming physical qubit fidelities at both cross-entropy benchmarking and quantum simulations of fast scrambling. These results herald the advent of early error-corrected quantum computation and chart a path toward large-scale logical processors.


title: Heat differentiated by projection from particles' trajectories onto the particle number-density field

abstract: Many particles suspended in a solution have two analogous but distinct stochastic descriptions referred to as the Langevin and Dean--Kawasaki equations, which are based on monitoring particles' trajectories and their number-density field, respectively. This article focuses on heat defined in the Langevin equation proposed by Sekimoto and also analogous heat assumed in the Dean--Kawasaki equation. Spatial projection derives the Dean--Kawasaki equation from the Langevin equation, so that the amounts of the heat observed on the two stochastic forms are not generally identical even in the same phenomena. Notably, spatiotemporal resolutions are not altered in the above projection. This difference offers an intriguing quantity reduced to the entropy of the number density. In addition, a many-polymer system is also found to retain the analogous formalisms of a many-colloid system when chain configurations are embedded into hyperdimensions. Furthermore, we develop arguments about the interpretation and applicability of the heat differences.


title: Taking control of compressible modes: bulk viscosity and the turbulent dynamo

abstract: Many polyatomic astrophysical plasmas are compressible and out of chemical and thermal equilibrium, and yet, due to Stokes' hypothesis, a means to carefully control the decay of compressible modes in these systems has largely been neglected. This is especially important for small-scale, turbulent dynamo processes, which are known to be sensitive to the effects of compression. To control the viscous properties of the compressible modes, we perform supersonic, visco-resistive dynamo simulations with additional bulk viscosity $\nu_{\rm bulk}$, deriving a new $\nu_{\rm bulk}$ Reynolds number $\rm{Re}_{\rm bulk}$, and viscous Prandtl number $\rm{P}\nu \equiv \rm{Re}_{\rm bulk} / \rm{Re}_{\rm shear}$, where $\rm{Re}_{\rm shear}$ is the shear viscosity Reynolds number. For $10^{-3} \leq \rm{P}\nu \leq \infty$, we explore a broad range of statistics critical to the dynamo problem, including the integral and spectral energy ratios, growth rates, and the magnetic $E_{\rm mag}(k)$ and kinetic $E_{\rm kin}(k)$ energy spectrum. We derive a general framework for decomposing $E_{\rm mag}$ growth rates into incompressible and compressible terms via orthogonal tensor decompositions of $\nabla\otimes\mathbf{v}$, where $\mathbf{v}$ is the fluid velocity. We find that compressible modes play a dual role, growing and decaying $E_{\rm mag}$, and that field-line stretching is the main driver of growth, even in supersonic dynamos. In the absence of $\nu_{\rm bulk}$, compressible modes pile up on small-scales, creating an apparent spectral bottleneck, which disappears for $\rm{P}\nu \approx 1$. As $\rm{P}\nu$ decreases, compressible modes are dissipated at increasingly larger scales, in turn suppressing incompressible modes through a coupling between viscosity operators. We emphasise the importance of further understanding the role of $\nu_{\rm bulk}$ in compressible astrophysical plasmas.


title: Flux tunable graphene-based superconducting quantum circuits coupled to 3D cavity

abstract: Correlation between transmon and its composite Josephson junctions (JJ) plays an important role in designing new types of superconducting qubits based on quantum materials. It is desirable to have a type of device that not only allows exploration for use in quantum information processing but also probing intrinsic properties in the composite JJs. Here, we construct a flux-tunable 3D transmon-type superconducting quantum circuit made of graphene as a proof-of-concept prototype device. This 3D transmon-type device not only enables coupling to 3D cavities for microwave probes but also permits DC transport measurements on the same device, providing useful connections between transmon properties and critical currents associated with JJ's properties. We have demonstrated how flux-modulation in cavity frequency and DC critical current can be correlated under the influence of Fraunhofer pattern of JJs in an asymmetric SQUID. The correlation analysis was further extended to link the flux-modulated transmon properties, such as flux-tunability in qubit and cavity frequencies, with SQUID symmetry analysis based on DC measurements. Our study paves the way towards integrating novel materials for exploration of new types of quantum devices for future technology while probing underlying physics in the composite materials.


title: An Unsupervised Machine Learning Scheme for Index-Based CSI Feedback in Wi-Fi

abstract: With the ever-increasing demand for high-speed wireless data transmission, beamforming techniques have been proven to be crucial in improving the data rate and the signal-to-noise ratio (SNR) at the receiver. However, they require feedback mechanisms that need an overhead of information and increase the system complexity, potentially challenging the efficiency and capacity of modern wireless networks. This paper investigates novel index-based feedback mechanisms that aim at reducing the beamforming feedback overhead in Wi-Fi links. The proposed methods mitigate the overhead by generating a set of candidate beamforming vectors using an unsupervised learning-based framework. The amount of feedback information required is thus reduced by using the index of the candidate as feedback instead of transmitting the entire beamforming matrix. We explore several methods that consider different representations of the data in the candidate set. In particular, we propose five different ways to generate and represent the candidate sets that consider the covariance matrices of the channel, serialize the feedback matrix, and account for the effective distance, among others. Additionally, we also discuss the implications of using partial information in the compressed beamforming feedback on the link performance and compare it with the newly proposed index-based methods. Extensive IEEE 802.11 standard-compliant simulation results show that the proposed methods effectively minimize the feedback overhead, enhancing the throughput while maintaining an adequate link performance.


title: Cost-Effective In-Context Learning for Entity Resolution: A Design Space Exploration

abstract: Entity resolution (ER) is an important data integration task with a wide spectrum of applications. The state-of-the-art solutions on ER rely on pre-trained language models (PLMs), which require fine-tuning on a lot of labeled matching/non-matching entity pairs. Recently, large languages models (LLMs), such as GPT-4, have shown the ability to perform many tasks without tuning model parameters, which is known as in-context learning (ICL) that facilitates effective learning from a few labeled input context demonstrations. However, existing ICL approaches to ER typically necessitate providing a task description and a set of demonstrations for each entity pair and thus have limitations on the monetary cost of interfacing LLMs. To address the problem, in this paper, we provide a comprehensive study to investigate how to develop a cost-effective batch prompting approach to ER. We introduce a framework BATCHER consisting of demonstration selection and question batching and explore different design choices that support batch prompting for ER. We also devise a covering-based demonstration selection strategy that achieves an effective balance between matching accuracy and monetary cost. We conduct a thorough evaluation to explore the design space and evaluate our proposed strategies. Through extensive experiments, we find that batch prompting is very cost-effective for ER, compared with not only PLM-based methods fine-tuned with extensive labeled data but also LLM-based methods with manually designed prompting. We also provide guidance for selecting appropriate design choices for batch prompting.


title: Enhanced high-dimensional teleportation in correlated amplitude damping noise by weak measurement and environment-assisted measurement

abstract: High-dimensional teleportation provides various benefits in quantum networks and repeaters, but all these advantages rely on the high-quality distribution of high-dimensional entanglement over a noisy channel. It is essential to consider correlation effects when two entangled qutrits travel consecutively through the same channel. In this paper, we present two strategies for enhancing qutrit teleportation in correlated amplitude damping (CAD) noise by weak measurement (WM) and environment-assisted measurement (EAM). The fidelity of both approaches has been dramatically improved due to the probabilistic nature of WM and EAM. We have observed that the correlation effects of CAD noise result in an increase in the probability of success. A comparison has demonstrated that the EAM scheme consistently outperforms the WM scheme in regard to fidelity. Our research expands the capabilities of WM and EAM as quantum techniques to combat CAD noise in qutrit teleportation, facilitating the development of advanced quantum technologies in high-dimensional systems.


title: Rapid detection of rare events from in situ X-ray diffraction data using machine learning

abstract: High-energy X-ray diffraction methods can non-destructively map the 3D microstructure and associated attributes of metallic polycrystalline engineering materials in their bulk form. These methods are often combined with external stimuli such as thermo-mechanical loading to take snapshots over time of the evolving microstructure and attributes. However, the extreme data volumes and the high costs of traditional data acquisition and reduction approaches pose a barrier to quickly extracting actionable insights and improving the temporal resolution of these snapshots. Here we present a fully automated technique capable of rapidly detecting the onset of plasticity in high-energy X-ray microscopy data. Our technique is computationally faster by at least 50 times than the traditional approaches and works for data sets that are up to 9 times sparser than a full data set. This new technique leverages self-supervised image representation learning and clustering to transform massive data into compact, semantic-rich representations of visually salient characteristics (e.g., peak shapes). These characteristics can be a rapid indicator of anomalous events such as changes in diffraction peak shapes. We anticipate that this technique will provide just-in-time actionable information to drive smarter experiments that effectively deploy multi-modal X-ray diffraction methods that span many decades of length scales.

categories: cs.LG cond-mat.mtrl-sci eess.IV physics.data-an


title: On the global existence and uniqueness of solution to 2-D inhomogeneous incompressible Navier-Stokes equations in critical spaces

abstract: In this paper, we establish the global existence and uniqueness of solution to $2$-D inhomogeneous incompressible Navier-Stokes equations \eqref{1.2} with initial data in the critical spaces. Precisely, under the assumption that the initial velocity $u_0$ in $L^2 \cap\dot B^{-1+\frac{2}{p}}_{p,1}$ and the initial density $\rho_0$ in $L^\infty$ and having a positive lower bound, which satisfies $1-\rho_0^{-1}\in \dot B^{\frac{2}{\lambda}}_{\lambda,2}\cap L^\infty,$ for $p\in[2,\infty[$ and $\lambda\in [1,\infty[$ with $\frac{1}{2}<\frac{1}{p}+\frac{1}{\lambda}\leq1,$ the system \eqref{1.2} has a global solution. The solution is unique if $p=2.$ With additional assumptions on the initial density in case $p>2,$ we can also prove the uniqueness of such solution. In particular, this result improves the previous work in \cite{AG2021} where $u_{0}$ belongs to $\dot{B}_{2,1}^{0}$ and $\rho_0^{-1}-1$ belongs to $\dot{ B}_{\frac{2}{\varepsilon},1}^{\varepsilon}$, and we also remove the assumption that the initial density is close enough to a positive constant in \cite{DW2023} yet with additional regularities on the initial density here.


title: MICRO: Model-Based Offline Reinforcement Learning with a Conservative Bellman Operator

abstract: Offline reinforcement learning (RL) faces a significant challenge of distribution shift. Model-free offline RL penalizes the Q value for out-of-distribution (OOD) data or constrains the policy closed to the behavior policy to tackle this problem, but this inhibits the exploration of the OOD region. Model-based offline RL, which uses the trained environment model to generate more OOD data and performs conservative policy optimization within that model, has become an effective method for this problem. However, the current model-based algorithms rarely consider agent robustness when incorporating conservatism into policy. Therefore, the new model-based offline algorithm with a conservative Bellman operator (MICRO) is proposed. This method trades off performance and robustness via introducing the robust Bellman operator into the algorithm. Compared with previous model-based algorithms with robust adversarial models, MICRO can significantly reduce the computation cost by only choosing the minimal Q value in the state uncertainty set. Extensive experiments demonstrate that MICRO outperforms prior RL algorithms in offline RL benchmark and is considerably robust to adversarial perturbations.


title: Analytic Approach to the Non-Preemptive Markovian Priority Queue

abstract: Explicit and exact results are obtained for the joint queue-length distribution for the two-level non-preemptive Markovian priority queue. Marginal distributions are derived for the general multi-level problem. The results are based on a representation of the joint queue-length probability mass function as a single-variable complex contour integral, that reduces to a real integral on a finite interval arising from a cut on the real axis. Both numerical quadrature rules and exact finite sums, involving Legendre polynomials and their generalization, are presented for the joint and marginal distributions. A high level of accuracy is demonstrated across the entire ergodic region. Relationships are established with the waiting-time distributions. Asymptotic behaviour in the large queue-length regime is extracted.


title: Style Transfer to Calvin and Hobbes comics using Stable Diffusion

abstract: This project report summarizes our journey to perform stable diffusion fine-tuning on a dataset containing Calvin and Hobbes comics. The purpose is to convert any given input image into the comic style of Calvin and Hobbes, essentially performing style transfer. We train stable-diffusion-v1.5 using Low Rank Adaptation (LoRA) to efficiently speed up the fine-tuning process. The diffusion itself is handled by a Variational Autoencoder (VAE), which is a U-net. Our results were visually appealing for the amount of training time and the quality of input data that went into training.


title: Minimal diagrams of composite flat knots

abstract: The connected sum of two flat knots depends on the choice of diagrams and basepoints. We show that any minimal crossing diagram of a composite flat knot is a connected sum diagram. We also show the crossing number of flat knots is super-additive under connected sum.


title: The EDGE-CALIFA survey: Molecular Gas and Star Formation Activity Across the Green Valley

abstract: We present a $^{12}$CO($J$=2-1) survey of 60 local galaxies using data from the Atacama Large Millimeter/submillimeter Compact Array as part of the Extragalactic Database for Galaxy Evolution: the ACA EDGE survey. These galaxies all have integral field spectroscopy from the CALIFA survey. Compared to other local galaxy surveys, ACA EDGE is designed to mitigate selection effects based on CO brightness and morphological type. Of the 60 galaxies in ACA EDGE, 36 are on the star-formation main sequence, 13 are on the red sequence, and 11 lie in the ``green valley" transition between these sequences. We test how star formation quenching processes affect the star formation rate (SFR) per unit molecular gas mass, SFE$_{\rm mol}=$SFR/$M_{\rm mol}$, and related quantities in galaxies with stellar masses $10\leq$log[$M_\star/$M$_\odot$]$\leq11.5$ covering the full range of morphological types. We observe a systematic decrease of the molecular-to-stellar mass fraction ($R^{\rm mol}_{\star}$) with decreasing level of star formation activity, with green valley galaxies having also lower SFE$_{\rm mol}$ than galaxies on the main sequence. On average, we find that the spatially resolved SFE$_{\rm mol}$ within the bulge region of green valley galaxies is lower than in the bulges of main sequence galaxies if we adopt a constant CO-to-H$_2$ conversion factor, $\alpha_{\rm CO}$. While efficiencies in main sequence galaxies remain almost constant with galactocentric radius, in green valley galaxies we note a systematic increase of SFE$_{\rm mol}$, $R^{\rm mol}_{\star}$, and specific star formation rate, sSFR, with increasing radius. Our results suggest that although gas depletion (or removal) seems to be the most important driver of the star-formation quenching in galaxies transiting through the green valley, a reduction in star formation efficiency is also required during this stage.


title: Stable Diffusion for Data Augmentation in COCO and Weed Datasets

abstract: Generative models have increasingly impacted relative tasks, from computer vision to interior design and other fields. Stable diffusion is an outstanding diffusion model that paves the way for producing high-resolution images with thorough details from text prompts or reference images. It will be an interesting topic about gaining improvements for small datasets with image-sparse categories. This study utilized seven common categories and three widespread weed species to evaluate the efficiency of a stable diffusion model. In detail, Stable diffusion was used to generate synthetic images belonging to these classes; three techniques (i.e., Image-to-image translation, Dreambooth, and ControlNet) based on stable diffusion were leveraged for image generation with different focuses. Then, classification and detection tasks were conducted based on these synthetic images, whose performance was compared to the models trained on original images. Promising results have been achieved in some classes. This seminal study may expedite the adaption of stable diffusion models to different fields.


title: Asymmetrical post quench transport in an embedded parity time symmetric Su-Schrieffer-Heeger system

abstract: We study the effect of PT-symmetric non-hermiticity on the transport of edge state probability density arising as a result of a quench. A hybrid system involving a PT-symmetric SSH region sandwiched between two plain SSH systems is designed to study the dynamics. Geometrical arguments and numerical calculations were made to ascertain the nature of edge states. We then compute the quench dynamics numerically and demonstrate that the post-quench probability density light cones exhibit contrasting shapes as a result of asymmetrical reflections from the non-Hermitian part of the system depending on the direction of propagation of the transporting wave and, hence, on the initial localization of the edge state.


title: Series2Vec: Similarity-based Self-supervised Representation Learning for Time Series Classification

abstract: We argue that time series analysis is fundamentally different in nature to either vision or natural language processing with respect to the forms of meaningful self-supervised learning tasks that can be defined. Motivated by this insight, we introduce a novel approach called \textit{Series2Vec} for self-supervised representation learning. Unlike other self-supervised methods in time series, which carry the risk of positive sample variants being less similar to the anchor sample than series in the negative set, Series2Vec is trained to predict the similarity between two series in both temporal and spectral domains through a self-supervised task. Series2Vec relies primarily on the consistency of the unsupervised similarity step, rather than the intrinsic quality of the similarity measurement, without the need for hand-crafted data augmentation. To further enforce the network to learn similar representations for similar time series, we propose a novel approach that applies order-invariant attention to each representation within the batch during training. Our evaluation of Series2Vec on nine large real-world datasets, along with the UCR/UEA archive, shows enhanced performance compared to current state-of-the-art self-supervised techniques for time series. Additionally, our extensive experiments show that Series2Vec performs comparably with fully supervised training and offers high efficiency in datasets with limited-labeled data. Finally, we show that the fusion of Series2Vec with other representation learning models leads to enhanced performance for time series classification. Code and models are open-source at \url{https://github.com/Navidfoumani/Series2Vec.}


title: Specific star formation rates in the $M_{\rm bh}$-$M_{\rm *,sph}$ diagram and the evolutionary pathways of galaxies across the sSFR-$M_{\rm *}$ diagram

abstract: It has been suggested that the bulge-to-total stellar mass ratio or feedback from black holes (BHs), traced by the BH-to-(total stellar) mass ratio, might establish a galaxy's specific star formation rate (sSFR). We reveal that a galaxy's morphology -- reflecting its formation history, particularly accretions and mergers -- is a far better determinant of the sSFR. Consequently, we suggest that galaxy formation models which regulate the sSFR primarily through BH feedback prescriptions or bulge-regulated disc fragmentation consider acquisitions and mergers which establish the galaxy morphology. We additionally make several new observations regarding current ($z\sim0$) star-formation rates. (i) Galaxies with little to no star formation have bulges with an extensive range of stellar masses; bulge mass does not dictate presence/absence on the `star-forming main sequence'. (ii) The (wet merger)-built, dust-rich S0 galaxies are the `green valley' bridging population between elliptical galaxies on the `red sequence' and spiral galaxies on the blue star-forming main sequence. (iii) The dust-poor S0 galaxies are not on the star-forming main sequence nor in the `green valley'. Instead, they wait in the field for gas accretion and/or minor mergers to transform them into spiral galaxies. Mid-infrared sample selection can miss these (primordial) low dust-content and low stellar-luminosity S0 galaxies. Finally, the appearance of the quasi-triangular-shaped galaxy-assembly sequence, previously dubbed the Triangal, which tracks the morphological evolution of galaxies, is revealed in the sSFR-(stellar mass) diagram.


title: LiDAR: Sensing Linear Probing Performance in Joint Embedding SSL Architectures

abstract: Joint embedding (JE) architectures have emerged as a promising avenue for acquiring transferable data representations. A key obstacle to using JE methods, however, is the inherent challenge of evaluating learned representations without access to a downstream task, and an annotated dataset. Without efficient and reliable evaluation, it is difficult to iterate on architectural and training choices for JE methods. In this paper, we introduce LiDAR (Linear Discriminant Analysis Rank), a metric designed to measure the quality of representations within JE architectures. Our metric addresses several shortcomings of recent approaches based on feature covariance rank by discriminating between informative and uninformative features. In essence, LiDAR quantifies the rank of the Linear Discriminant Analysis (LDA) matrix associated with the surrogate SSL task -- a measure that intuitively captures the information content as it pertains to solving the SSL task. We empirically demonstrate that LiDAR significantly surpasses naive rank based approaches in its predictive power of optimal hyperparameters. Our proposed criterion presents a more robust and intuitive means of assessing the quality of representations within JE architectures, which we hope facilitates broader adoption of these powerful techniques in various domains.


title: Stable central limit theorem in total variation distance

abstract: Under certain general conditions, we prove that the stable central limit theorem holds in the total variation distance and get its optimal convergence rate for all $\alpha \in (0,2)$. Our method is by two measure decompositions, one step estimates, and a very delicate induction with respect to $\alpha$. One measure decomposition is light tailed and borrowed from \cite{BC16}, while the other one is heavy tailed and indispensable for lifting convergence rate for small $\alpha$. The proof is elementary and composed of the ingredients at the postgraduate level. Our result clarifies that when $\alpha=1$ and $X$ has a symmetric Pareto distribution, the optimal rate is $n^{-1}$ rather than $n^{-1} (\ln n)^2$ as conjectured in literatures.


title: Improved time-decay for a class of many-magnetic Schr\"odinger flows

abstract: Consider the doubled magnetic Schr\"odinger operator \begin{equation*} H_{\alpha,B_0}=\left(i\nabla-\left(\frac{B_0|x|}{2}+\frac{\alpha}{|x|}\right)\left(-\frac{x_2}{|x|},\frac{x_1}{|x|}\right)\right)^2,\quad x=(x_1,x_2)\in\R^2\setminus\{0\}, \end{equation*} where $\frac{B_0|x|}{2}\left(-\frac{x_2}{|x|},\frac{x_1}{|x|}\right)$ stands for the homogeneous magnetic potential with $B_0>0$ and $\frac{\alpha}{|x|}\left(-\frac{x_2}{|x|},\frac{x_1}{|x|}\right)$ is the well-known Aharonov-Bohm potential with $\alpha\in\R\setminus\mathbb{Z}$. In this note, we obtain an improved time-decay estimate for the Schr\"odinger flow $e^{-itH_{\alpha,B_0}}$. The key ingredient is the dispersive estimate for $e^{-itH_{\alpha,B_0}}$, which was established in \cite{WZZ23} recently. This work is motivated by L. Fanelli, G. Grillo and H. Kova\v{r}\'{\i}k \cite{FGK15} dealing with the scaling-critical electromagnetic potentials in two and higher dimensions.


title: Tracker behaviour of quintom dark energy and the Hubble tension

abstract: We study the dynamics of the quintom dark energy model using state-of-the-art cosmological observations. The set of equations has been converted into an autonomous system using suitable transformations of the variables. We have discussed the fixed points of the model and the general phase-space behavior, in particular, in finding the existence of the tracker solutions for this model. The observations suggest that at late times the phantom field should dominate the dark energy sector with an approximately 15% share to the quintessence counterpart, and with both fields tracking the background at early times. A Bayesian model comparison with LambdaCDM has also been done by computing the Bayes factor and a positive preference has been obtained for the quintom model. Although not fully resolved, the Hubble tension can be reduced to 2.6{\sigma} when compared with the value of H0 reported in [1] and to 1.6{\sigma} when compared with that of [2].


title: Occlusion-based Detection of Trojan-triggering Inputs in Large Language Models of Code

abstract: Large language models (LLMs) are becoming an integrated part of software development. These models are trained on large datasets for code, where it is hard to verify each data point. Therefore, a potential attack surface can be to inject poisonous data into the training data to make models vulnerable, aka trojaned. It can pose a significant threat by hiding manipulative behaviors inside models, leading to compromising the integrity of the models in downstream tasks. In this paper, we propose an occlusion-based human-in-the-loop technique, OSeql, to distinguish trojan-triggering inputs of code. The technique is based on the observation that trojaned neural models of code rely heavily on the triggering part of input; hence, its removal would change the confidence of the models in their prediction substantially. Our results suggest that OSeql can detect the triggering inputs with almost 100% recall. We discuss the problem of false positives and how to address them. These results provide a baseline for future studies in this field.


title: KOALA: Empirical Lessons Toward Memory-Efficient and Fast Diffusion Models for Text-to-Image Synthesis

abstract: As text-to-image (T2I) synthesis models increase in size, they demand higher inference costs due to the need for more expensive GPUs with larger memory, which makes it challenging to reproduce these models in addition to the restricted access to training datasets. Our study aims to reduce these inference costs and explores how far the generative capabilities of T2I models can be extended using only publicly available datasets and open-source models. To this end, by using the de facto standard text-to-image model, Stable Diffusion XL (SDXL), we present three key practices in building an efficient T2I model: (1) Knowledge distillation: we explore how to effectively distill the generation capability of SDXL into an efficient U-Net and find that self-attention is the most crucial part. (2) Data: despite fewer samples, high-resolution images with rich captions are more crucial than a larger number of low-resolution images with short captions. (3) Teacher: Step-distilled Teacher allows T2I models to reduce the noising steps. Based on these findings, we build two types of efficient text-to-image models, called KOALA-Turbo &-Lightning, with two compact U-Nets (1B & 700M), reducing the model size up to 54% and 69% of the SDXL U-Net. In particular, the KOALA-Lightning-700M is 4x faster than SDXL while still maintaining satisfactory generation quality. Moreover, unlike SDXL, our KOALA models can generate 1024px high-resolution images on consumer-grade GPUs with 8GB of VRAMs (3060Ti). We believe that our KOALA models will have a significant practical impact, serving as cost-effective alternatives to SDXL for academic researchers and general users in resource-constrained environments.


title: A representation theorem for set-valued submartingales

abstract: The integral representation theorem for martingales has been widely used in probability theory. In this work, we propose and prove a general representation theorem for a class of set-valued submartingales. We also extend the stochastic integral representation for non-trivial initial set-valued martingales. Moreover, we show that this result covers the existing ones in the literature for both degenerated and non-degenerated set-valued martingales.


title: Restoring cosmological concordance with axion-like early dark energy and dark matter characterized by a constant equation of state?

abstract: The Hubble tension persists as a challenge in cosmology. Even early dark energy (EDE) models, initially considered the most promising for alleviating the Hubble tension, fall short of addressing the issue without exacerbating other tensions, such as the $S_8$ tension. Considering that a negative dark matter (DM) equation of state (EoS) parameter is conducive to reduce the value of $\sigma_8$ parameter, we extend the axion-like EDE model in this paper by replacing the cold dark matter (CDM) with DM characterized by a constant EoS $w_{\rm dm}$ (referred as WDM hereafter). We then impose constraints on this axion-like EDE extension model, along with three other models: the axion-like EDE model, $\Lambda$WDM, and $\Lambda$CDM. These constraints are derived from a comprehensive analysis incorporating data from the Planck 2018 cosmic microwave background (CMB), baryon acoustic oscillations (BAO), the Pantheon compilation, as well as a prior on $H_0$ (i.e., $H_0=73.04\pm1.04$, based on the latest local measurement by Riess et al.) and a Gaussianized prior on $S_8$ (i.e., $S_8=0.766\pm0.017$, determined through the joint analysis of KID1000+BOSS+2dLenS). We find that although the new model maintains the ability to alleviate the Hubble tension to $\sim$ 1.4$\sigma$, it still exacerbate the $S_8$ tension to a level similar to that of the axion-like EDE model.


title: Natural-language-driven Simulation Benchmark and Copilot for Efficient Production of Object Interactions in Virtual Road Scenes

abstract: We advocate the idea of the natural-language-driven(NLD) simulation to efficiently produce the object interactions between multiple objects in the virtual road scenes, for teaching and testing the autonomous driving systems that should take quick action to avoid collision with obstacles with unpredictable motions. The NLD simulation allows the brief natural-language description to control the object interactions, significantly reducing the human efforts for creating a large amount of interaction data. To facilitate the research of NLD simulation, we collect the Language-to-Interaction(L2I) benchmark dataset with 120,000 natural-language descriptions of object interactions in 6 common types of road topologies. Each description is associated with the programming code, which the graphic render can use to visually reconstruct the object interactions in the virtual scenes. As a methodology contribution, we design SimCopilot to translate the interaction descriptions to the renderable code. We use the L2I dataset to evaluate SimCopilot's abilities to control the object motions, generate complex interactions, and generalize interactions across road topologies. The L2I dataset and the evaluation results motivate the relevant research of the NLD simulation.


title: Programmable Turbine Failsafe System for Pico-Hydroelectric Power in the Nepal Himalayas

abstract: In this paper, we describe a novel turbine failsafe system designed for a pico-hydroelectric power generation. We designed and built a pico-hydroelectric system in a remote rural Himalayan village. We developed a Prioritized Load Control System (PLCS) that diverts excess electrical power to useful purposes such as heating up bath water and the air in the community center when the electrical demand from the village is low; instead of dumping the excess electricity back into the river in the form of heat. A critical part of the PLCS system is the failsafe mechanism where the turbines and electrical components on the grid are protected in case any part of the PLCS system stops functioning, possibly intermittently. Our novel failsafe system contains the following enhancements compared to previous systems: (1) adjustable threshold voltage, (2) controllable fractional power diversion with adjustable parameters, (3) automatic reset with adjustable parameters. In addition, the failsafe subsystem uses the widely available Arduino platform and programming environment, and JSON for human readable and writable communications, demonstrating their suitability for critical applications.


title: On a conjecture of transposed Poisson $n$-Lie algebras

abstract: In this paper, we obtain a rich family of identities for transposed Poisson $n$-Lie algebras, and then prove the conjecture of Bai, Bai, Guo and Wu in \cite{BBGW} under certain strong condition.


title: Oxidation tuning of ferroic transitions in Gd$_2$C monolayer

abstract: Tuning of ferroic phases provides great opportunities for material functionalities, especially in two-dimensional materials. Here, a $4f$ rare-earth carbide Gd$_2$C monolayer is predicted to be ferromagnetic metal with large magnetization, inherited from its bulk property. Based on first-principles calculations, we propose a strategy that the surface passivation can effectively tune its ferroicity, namely switching among ferromagnetic, antiferromagnetic, and ferroelectric phases. Metal-insulator transition also occurs accompanying these ferroic transitions. Our calculation also suggests that the magneto-optic Kerr effect and second harmonic generation are effective methods to monitor these phase transitions.


title: Weyl fermions on a finite lattice

abstract: The phenomenon of unpaired Weyl fermions appearing on the sole 2n-dimensional boundary of a (2n+1)-dimensional manifold with massive Dirac fermions was recently analyzed in a companion paper by one of the authors. In this Letter we show that similar unpaired Weyl edge states can be seen on a finite lattice. In particular, we consider the discretized Hamiltonian for a Wilson fermion in (2+1) dimensions with a 1+1 dimensional boundary and continuous time. We demonstrate that the low lying boundary spectrum is indeed Weyl-like: it has a linear dispersion relation and definite chirality and circulates in only one direction around the boundary. We comment on how our results are consistent with Nielsen-Ninomiya theorem. This work removes one potential obstacle facing the program for regulating chiral gauge theories recently proposed by one of the authors.


title: A Self-Improvable Polymer Discovery Framework Based on Conditional Generative Model

abstract: In this work, we introduce a polymer discovery platform designed to identify polymers with tailored properties efficiently, exemplified through the discovery of high-performance polymer electrolytes. The platform integrates three core components: a conditioned generative model, validation modules, and a feedback mechanism, creating a self-improving system for material innovation. To demonstrate the efficacy of this platform, it is used to identify polymer electrolyte materials with high ionic conductivity. A simple conditional generative model, based on the minGPT architecture, can effectively generate candidate polymers that exhibit a mean ionic conductivity that is significantly greater than those in the original training set. This approach, coupled with molecular dynamics simulations for validation and a specifically designed acquisition mechanism, allows the platform to refine its output iteratively. Notably, after the first iteration, we observed an increase in both the mean and the lower bound of the ionic conductivity of the new polymer candidates. The platform's effectiveness is underscored by the identification of 19 polymer repeating units, each displaying a computed ionic conductivity surpassing that of Polyethylene Oxide (PEO). The discovery of these polymers validates the platform's efficacy in identifying potential polymer materials. Acknowledging current limitations, future work will focus on enhancing modeling techniques, validation processes, and acquisition strategies, aiming for broader applicability in polymer science and machine learning.


title: Resilience-Assuring Hydrogen-Powered Microgrids

abstract: Green hydrogen has shown great potential to power microgrids as a primary source, yet the operation methodology under extreme events is still an open area. To fill this gap, this letter establishes an operational optimization strategy towards resilient hydrogen-powered microgrids, where the frequency and voltage regulation characteristics of hydrogen sources under advanced controls are accurately represented by piecewise linear constraints. The results show that the new operation approach can output a safety-assured operation plan with rational power change distribution and reduced frequency and voltage variation.


title: Generalized Nonvanishing Conjecture and Iitaka Conjecture

abstract: In this article, we will prove the Generalized Nonvanishing Conjecture holds for threefolds with either $\kappa>0$ or $q>0$. As a result, we can prove the Iitaka conjecture $C_{n,m}$ holds for $n=7$ if the source space has non-negative Kodaira dimension, if the general fibre has positive Kodaira dimension, or if the base space is not threefold with $\kappa=q=0$. In particular, $C^-_{n,m}$ holds if $n\leq 7$.


title: PartDistill: 3D Shape Part Segmentation by Vision-Language Model Distillation

abstract: This paper proposes a cross-modal distillation framework, PartDistill, which transfers 2D knowledge from vision-language models (VLMs) to facilitate 3D shape part segmentation. PartDistill addresses three major challenges in this task: the lack of 3D segmentation in invisible or undetected regions in the 2D projections, inconsistent 2D predictions by VLMs, and the lack of knowledge accumulation across different 3D shapes. PartDistill consists of a teacher network that uses a VLM to make 2D predictions and a student network that learns from the 2D predictions while extracting geometrical features from multiple 3D shapes to carry out 3D part segmentation. A bi-directional distillation, including forward and backward distillations, is carried out within the framework, where the former forward distills the 2D predictions to the student network, and the latter improves the quality of the 2D predictions, which subsequently enhances the final 3D segmentation. Moreover, PartDistill can exploit generative models that facilitate effortless 3D shape creation for generating knowledge sources to be distilled. Through extensive experiments, PartDistill boosts the existing methods with substantial margins on widely used ShapeNetPart and PartNetE datasets, by more than 15% and 12% higher mIoU scores, respectively. The code for this work is available at https://github.com/ardianumam/PartDistill.


title: Oscillations of Ultralight Dark Photon into Gravitational Waves

abstract: The discovery of gravitational waves (GWs) opens a new window for exploring the physics of the early universe. Identifying the source of GWs and their spectra today turn out to be the important tasks so as to assist the experimental detection of stochastic GWs. In this paper, we investigate the oscillations of the ultralight dark photon (ULDP) into GWs in the dark halo. Assuming dark matter is composed of the ULDP and there are primordial dark magnetic fields (PDMFs) arising from the axion inflation and/or the dark phase transition, then the ULDP can oscillate into the GW when it passes through an environment of PDMFs. We derive the local energy density of GWs in the galaxy cluster induced by the instaneous oscillation of ULDP in the PDMFs. These stochastic local GWs exhibit a pulse-like spectrum, with frequency depending on the mass of the ULDP, and can be detected in Pulsar Timing Arrays (PTAs) or future space-based interferometers. We also find that the low-frequency GW signal observed by the NANOGrav collaboration and other PTA experiments can be explained by the oscillation of the ULDP in the PDMFs in the early universe.


title: Ricci-Notation Tensor Framework for Model-based Approaches to Imaging

abstract: Model-based approaches to imaging, like specialized image enhancements in astronomy, facilitate explanations of relationships between observed inputs and computed outputs. These models may be expressed with extended matrix-vector (EMV) algebra, especially when they involve only scalars, vectors, and matrices, and with n-mode or index notations, when they involve multidimensional arrays, also called numeric tensors or, simply, tensors. While this paper features an example, inspired by exoplanet imaging, that employs tensors to reveal (inverse) 2D fast Fourier transforms in an image enhancement model, the work is actually about the tensor algebra and software, or tensor frameworks, available for model-based imaging. The paper proposes a Ricci-notation tensor (RT) framework, comprising a dual-variant index notation, with Einstein summation convention, and codesigned object-oriented software, called the RTToolbox for MATLAB. Extensions to Ricci notation offer novel representations for entrywise, pagewise, and broadcasting operations popular in EMV frameworks for imaging. Complementing the EMV algebra computable with MATLAB, the RTToolbox demonstrates programmatic and computational efficiency via careful design of numeric tensor and dual-variant index classes. Compared to its closest competitor, also a numeric tensor framework that uses index notation, the RT framework enables superior ways to model imaging problems and, thereby, to develop solutions.


title: Efficiently Predicting Protein Stability Changes Upon Single-point Mutation with Large Language Models

abstract: Predicting protein stability changes induced by single-point mutations has been a persistent challenge over the years, attracting immense interest from numerous researchers. The ability to precisely predict protein thermostability is pivotal for various subfields and applications in biochemistry, including drug development, protein evolution analysis, and enzyme synthesis. Despite the proposition of multiple methodologies aimed at addressing this issue, few approaches have successfully achieved optimal performance coupled with high computational efficiency. Two principal hurdles contribute to the existing challenges in this domain. The first is the complexity of extracting and aggregating sufficiently representative features from proteins. The second refers to the limited availability of experimental data for protein mutation analysis, further complicating the comprehensive evaluation of model performance on unseen data samples. With the advent of Large Language Models(LLM), such as the ESM models in protein research, profound interpretation of protein features is now accessibly aided by enormous training data. Therefore, LLMs are indeed to facilitate a wide range of protein research. In our study, we introduce an ESM-assisted efficient approach that integrates protein sequence and structural features to predict the thermostability changes in protein upon single-point mutations. Furthermore, we have curated a dataset meticulously designed to preclude data leakage, corresponding to two extensively employed test datasets, to facilitate a more equitable model comparison.


title: Note on gradient estimate of heat kernel for Schr\"odinger operators

abstract: Let $H=-\Delta+V$ be a Schr\"odinger operator on $\mathbb{R}^n$. We show that gradient estimates for the heat kernel of $H$ with upper Gaussian bounds imply polynomial decay for the kernels of certain smooth dyadic spectral operators. The latter decay property has been known to play an important role in the Littlewood-Paley theory for $L^p$ and Sobolev spaces. We are able to establish the result by modifying Hebisch and the author's recent proofs. We give a counterexample in one dimension to show that there exists $V$ in the Schwartz class such that the long time gradient heat kernel estimate fails.


title: A Study on the Calibration of In-context Learning

abstract: Accurate uncertainty quantification is crucial for the safe deployment of machine learning models, and prior research has demonstrated improvements in the calibration of modern language models (LMs). We study in-context learning (ICL), a prevalent method for adapting static LMs through tailored prompts, and examine the balance between performance and calibration across a broad spectrum of natural language understanding and reasoning tasks. Through comprehensive experiments, we observe that, with an increasing number of ICL examples, models initially exhibit increased miscalibration before achieving better calibration and miscalibration tends to arise in low-shot settings. Moreover, we find that methods aimed at improving usability, such as fine-tuning and chain-of-thought (CoT) prompting, can lead to miscalibration and unreliable natural language explanations. Furthermore, we explore recalibration techniques and find that a scaling-binning calibrator can reduce calibration errors consistently.


title: Analysis of Coding Gain Due to In-Loop Reshaping

abstract: Reshaping, a point operation that alters the characteristics of signals, has been shown capable of improving the compression ratio in video coding practices. Out-of-loop reshaping that directly modifies the input video signal was first adopted as the supplemental enhancement information (SEI) for the HEVC/H.265 without the need to alter the core design of the video codec. VVC/H.266 further improves the coding efficiency by adopting in-loop reshaping that modifies the residual signal being processed in the hybrid coding loop. In this paper, we theoretically analyze the rate-distortion performance of the in-loop reshaping and use experiments to verify the theoretical result. We prove that the in-loop reshaping can improve coding efficiency when the entropy coder adopted in the coding pipeline is suboptimal, which is in line with the practical scenarios that video codecs operate in. We derive the PSNR gain in a closed form and show that the theoretically predicted gain is consistent with that measured from experiments using standard testing video sequences.


title: A generalized framework for quantum state discrimination, hybrid algorithms, and the quantum change point problem

abstract: Quantum state discrimination is a central task in many quantum computing settings where one wishes to identify what quantum state they are holding. We introduce a framework that generalizes many of its variants and present a hybrid quantum-classical algorithm based on semidefinite programming to calculate the maximum reward when the states are pure and have efficient circuits. To this end, we study the (not necessarily linearly independent) pure state case and reduce the standard SDP problem size from $2^n L$ to $N L$ where $n$ is the number of qubits, $N$ is the number of states, and $L$ is the number of possible guesses (typically $L = N$). As an application, we give now-possible algorithms for the quantum change point identification problem which asks, given a sequence of quantum states, determine the time steps when the quantum states changed. With our reductions, we are able to solve SDPs for problem sizes of up to $220$ qubits in about $8$ hours and we also give heuristics which speed up the computations.


title: k* Distribution: Evaluating the Latent Space of Deep Neural Networks using Local Neighborhood Analysis

abstract: Most examinations of neural networks' learned latent spaces typically employ dimensionality reduction techniques such as t-SNE or UMAP. While these methods effectively capture the overall sample distribution in the entire learned latent space, they tend to distort the structure of sample distributions within specific classes in the subset of the latent space. This distortion complicates the task of easily distinguishing classes identifiable by neural networks. In response to this challenge, we introduce the k* Distribution methodology. This approach focuses on capturing the characteristics and structure of sample distributions for individual classes within the subset of the learned latent space using local neighborhood analysis. The key concept is to facilitate easy comparison of different k* distributions, enabling analysis of how various classes are processed by the same neural network. This provides a more profound understanding of existing contemporary visualizations. Our study reveals three distinct distributions of samples within the learned latent space subset: a) Fractured, b) Overlapped, and c) Clustered. We note and demonstrate that the distribution of samples within the network's learned latent space significantly varies depending on the class. Furthermore, we illustrate that our analysis can be applied to explore the latent space of diverse neural network architectures, various layers within neural networks, transformations applied to input samples, and the distribution of training and testing data for neural networks. We anticipate that our approach will facilitate more targeted investigations into neural networks by collectively examining the distribution of different samples within the learned latent space.


title: Moirai: Towards Optimal Placement for Distributed Inference on Heterogeneous Devices

abstract: The escalating size of Deep Neural Networks (DNNs) has spurred a growing research interest in hosting and serving DNN models across multiple devices. A number of studies have been reported to partition a DNN model across devices, providing device placement solutions. The methods appeared in the literature, however, either suffer from poor placement performance due to the exponential search space or miss an optimal placement as a consequence of the reduced search space with limited heuristics. Moreover, these methods have ignored the runtime inter-operator optimization of a computation graph when coarsening the graph, which degrades the end-to-end inference performance. This paper presents Moirai that better exploits runtime inter-operator fusion in a model to render a coarsened computation graph, reducing the search space while maintaining the inter-operator optimization provided by inference backends. Moirai also generalizes the device placement algorithm from multiple perspectives by considering inference constraints and device heterogeneity.Extensive experimental evaluation with 11 large DNNs demonstrates that Moirai outperforms the state-of-the-art counterparts, i.e., Placeto, m-SCT, and GETF, up to 4.28$\times$ in reduction of the end-to-end inference latency. Moirai code is anonymously released at \url{https://github.com/moirai-placement/moirai}.


title: Independent-Set Design of Experiments for Estimating Treatment and Spillover Effects under Network Interference

abstract: Interference is ubiquitous when conducting causal experiments over networks. Except for certain network structures, causal inference on the network in the presence of interference is difficult due to the entanglement between the treatment assignments and the interference levels. In this article, we conduct causal inference under interference on an observed, sparse but connected network, and we propose a novel design of experiments based on an independent set. Compared to conventional designs, the independent-set design focuses on an independent subset of data and controls their interference exposures through the assignments to the rest (auxiliary set). We provide a lower bound on the size of the independent set from a greedy algorithm , and justify the theoretical performance of estimators under the proposed design. Our approach is capable of estimating both spillover effects and treatment effects. We justify its superiority over conventional methods and illustrate the empirical performance through simulations.


title: The sample complexity of multi-distribution learning

abstract: Multi-distribution learning generalizes the classic PAC learning to handle data coming from multiple distributions. Given a set of $k$ data distributions and a hypothesis class of VC dimension $d$, the goal is to learn a hypothesis that minimizes the maximum population loss over $k$ distributions, up to $\epsilon$ additive error. In this paper, we settle the sample complexity of multi-distribution learning by giving an algorithm of sample complexity $\widetilde{O}((d+k)\epsilon^{-2}) \cdot (k/\epsilon)^{o(1)}$. This matches the lower bound up to sub-polynomial factor and resolves the COLT 2023 open problem of Awasthi, Haghtalab and Zhao [AHZ23].


title: ImFace++: A Sophisticated Nonlinear 3D Morphable Face Model with Implicit Neural Representations

abstract: Accurate representations of 3D faces are of paramount importance in various computer vision and graphics applications. However, the challenges persist due to the limitations imposed by data discretization and model linearity, which hinder the precise capture of identity and expression clues in current studies. This paper presents a novel 3D morphable face model, named ImFace++, to learn a sophisticated and continuous space with implicit neural representations. ImFace++ first constructs two explicitly disentangled deformation fields to model complex shapes associated with identities and expressions, respectively, which simultaneously facilitate the automatic learning of correspondences across diverse facial shapes. To capture more sophisticated facial details, a refinement displacement field within the template space is further incorporated, enabling a fine-grained learning of individual-specific facial details. Furthermore, a Neural Blend-Field is designed to reinforce the representation capabilities through adaptive blending of an array of local fields. In addition to ImFace++, we have devised an improved learning strategy to extend expression embeddings, allowing for a broader range of expression variations. Comprehensive qualitative and quantitative evaluations demonstrate that ImFace++ significantly advances the state-of-the-art in terms of both face reconstruction fidelity and correspondence accuracy.


title: Improved Face Representation via Joint Label Classification and Supervised Contrastive Clustering

abstract: Face clustering tasks can learn hierarchical semantic information from large-scale data, which has the potential to help facilitate face recognition. However, there are few works on this problem. This paper explores it by proposing a joint optimization task of label classification and supervised contrastive clustering to introduce the cluster knowledge to the traditional face recognition task in two ways. We first extend ArcFace with a cluster-guided angular margin to adjust the within-class feature distribution according to the hard level of face clustering. Secondly, we propose a supervised contrastive clustering approach to pull the features to the cluster center and propose the cluster-aligning procedure to align the cluster center and the learnable class center in the classifier for joint training. Finally, extensive qualitative and quantitative experiments on popular facial benchmarks demonstrate the effectiveness of our paradigm and its superiority over the existing approaches to face recognition.


title: Modeling Boundedly Rational Agents with Latent Inference Budgets

abstract: We study the problem of modeling a population of agents pursuing unknown goals subject to unknown computational constraints. In standard models of bounded rationality, sub-optimal decision-making is simulated by adding homoscedastic noise to optimal decisions rather than explicitly simulating constrained inference. In this work, we introduce a latent inference budget model (L-IBM) that models agents' computational constraints explicitly, via a latent variable (inferred jointly with a model of agents' goals) that controls the runtime of an iterative inference algorithm. L-IBMs make it possible to learn agent models using data from diverse populations of suboptimal actors. In three modeling tasks -- inferring navigation goals from routes, inferring communicative intents from human utterances, and predicting next moves in human chess games -- we show that L-IBMs match or outperform Boltzmann models of decision-making under uncertainty. Inferred inference budgets are themselves meaningful, efficient to compute, and correlated with measures of player skill, partner skill and task difficulty.


title: The Importance of Coordinate Frames in Dynamic SLAM

abstract: Most Simultaneous localisation and mapping (SLAM) systems have traditionally assumed a static world, which does not align with real-world scenarios. To enable robots to safely navigate and plan in dynamic environments, it is essential to employ representations capable of handling moving objects. Dynamic SLAM is an emerging field in SLAM research as it improves the overall system accuracy while providing additional estimation of object motions. State-of-the-art literature informs two main formulations for Dynamic SLAM, representing dynamic object points in either the world or object coordinate frame. While expressing object points in a local reference frame may seem intuitive, it may not necessarily lead to the most accurate and robust solutions. This paper conducts and presents a thorough analysis of various Dynamic SLAM formulations, identifying the best approach to address the problem. To this end, we introduce a front-end agnostic framework using GTSAM that can be used to evaluate various Dynamic SLAM formulations.


title: RoAST: Robustifying Language Models via Adversarial Perturbation with Selective Training

abstract: Fine-tuning pre-trained language models (LMs) has become the de facto standard in many NLP tasks. Nevertheless, fine-tuned LMs are still prone to robustness issues, such as adversarial robustness and model calibration. Several perspectives of robustness for LMs have been studied independently, but lacking a unified consideration in multiple perspectives. In this paper, we propose Robustifying LMs via Adversarial perturbation with Selective Training (RoAST), a simple yet effective fine-tuning technique to enhance the multi-perspective robustness of LMs in a unified way. RoAST effectively incorporates two important sources for the model robustness, robustness on the perturbed inputs and generalizable knowledge in pre-trained LMs. To be specific, RoAST introduces adversarial perturbation during fine-tuning while the model parameters are selectively updated upon their relative importance to minimize unnecessary deviation. Under a unified evaluation of fine-tuned LMs by incorporating four representative perspectives of model robustness, we demonstrate the effectiveness of RoAST compared to state-of-the-art fine-tuning methods on six different types of LMs, which indicates its usefulness in practice.


title: One-dimensional hydrogenic ions with screened nuclear Coulomb field

abstract: We study the spectrum of the Dirac Hamiltonian in one space dimension for a single electron in the electrostatic potential of a point nucleus, in the Born-Oppenheimer approximation where the nucleus is assumed fixed at the origin. The potential is screened at large distances so that it goes to zero exponentially at spatial infinity. We show that the Hamiltonian is essentially self-adjoint, the essential spectrum has the usual gap $(-mc^2,mc^2)$ in it, and that there are only finitely many eigenvalues in that gap, corresponding to ground and excited states for the system. We find a one-to-one correspondence between the eigenfunctions of this Hamiltonian and the heteroclinic saddle-saddle connectors of a certain dynamical system on a finite cylinder. We use this correspondence to study how the number of bound states changes with the nuclear charge.


title: Pseudogap formation in organic superconductors

abstract: The condensation of paired fermions into superfluid states changes progressively depending on the coupling strength. At the midpoint of the crossover between Bardeen--Cooper--Schrieffer (BCS) weak-coupling and Bose--Einstein condensate (BEC) strong-coupling limits, paired fermions condensate most robustly, thereby leading to the emergence of a pseudogap due to enhanced pairing fluctuations. In the case of electrons in solids, excessively strong interactions often induce competing electronic orders instead of strong-coupling superconductivity, and experimental comprehension of the pseudogap remains incomplete. In this study, we provide experimental evidence demonstrating the opening of a pseudogap, marking the incipient stage of the BCS-BEC crossover in the organic system $\kappa$-(BEDT-TTF)$_2$$X$. By controlling electron correlations, we investigate the thermodynamic properties of the BCS-BEC crossover and pseudogap phase. Since the superconductivity of $\kappa$-(BEDT-TTF)$_2$$X$ arises from a simple Fermi liquid that does not exhibit any other electronic orders, our study shed light on the inherent nature of the BCS-BEC crossover.


title: Defense against ML-based Power Side-channel Attacks on DNN Accelerators with Adversarial Attacks

abstract: Artificial Intelligence (AI) hardware accelerators have been widely adopted to enhance the efficiency of deep learning applications. However, they also raise security concerns regarding their vulnerability to power side-channel attacks (SCA). In these attacks, the adversary exploits unintended communication channels to infer sensitive information processed by the accelerator, posing significant privacy and copyright risks to the models. Advanced machine learning algorithms are further employed to facilitate the side-channel analysis and exacerbate the privacy issue of AI accelerators. Traditional defense strategies naively inject execution noise to the runtime of AI models, which inevitably introduce large overheads. In this paper, we present AIAShield, a novel defense methodology to safeguard FPGA-based AI accelerators and mitigate model extraction threats via power-based SCAs. The key insight of AIAShield is to leverage the prominent adversarial attack technique from the machine learning community to craft delicate noise, which can significantly obfuscate the adversary's side-channel observation while incurring minimal overhead to the execution of the protected model. At the hardware level, we design a new module based on ring oscillators to achieve fine-grained noise generation. At the algorithm level, we repurpose Neural Architecture Search to worsen the adversary's extraction results. Extensive experiments on the Nvidia Deep Learning Accelerator (NVDLA) demonstrate that AIAShield outperforms existing solutions with excellent transferability.


title: DiffusionPhase: Motion Diffusion in Frequency Domain

abstract: In this study, we introduce a learning-based method for generating high-quality human motion sequences from text descriptions (e.g., ``A person walks forward"). Existing techniques struggle with motion diversity and smooth transitions in generating arbitrary-length motion sequences, due to limited text-to-motion datasets and the pose representations used that often lack expressiveness or compactness. To address these issues, we propose the first method for text-conditioned human motion generation in the frequency domain of motions. We develop a network encoder that converts the motion space into a compact yet expressive parameterized phase space with high-frequency details encoded, capturing the local periodicity of motions in time and space with high accuracy. We also introduce a conditional diffusion model for predicting periodic motion parameters based on text descriptions and a start pose, efficiently achieving smooth transitions between motion sequences associated with different text descriptions. Experiments demonstrate that our approach outperforms current methods in generating a broader variety of high-quality motions, and synthesizing long sequences with natural transitions.


title: A Survey on Radar-Based Fall Detection

abstract: Fall detection, particularly critical for high-risk demographics like the elderly, is a key public health concern where timely detection can greatly minimize harm. With the advancements in radio frequency technology, radar has emerged as a powerful tool for human detection and tracking. Traditional machine learning algorithms, such as Support Vector Machines (SVM) and k-Nearest Neighbors (kNN), have shown promising outcomes. However, deep learning approaches, notably Convolutional Neural Networks (CNN) and Recurrent Neural Networks (RNN), have outperformed in learning intricate features and managing large, unstructured datasets. This survey offers an in-depth analysis of radar-based fall detection, with emphasis on Micro-Doppler, Range-Doppler, and Range-Doppler-Angles techniques. We discuss the intricacies and challenges in fall detection and emphasize the necessity for a clear definition of falls and appropriate detection criteria, informed by diverse influencing factors. We present an overview of radar signal processing principles and the underlying technology of radar-based fall detection, providing an accessible insight into machine learning and deep learning algorithms. After examining 74 research articles on radar-based fall detection published since 2000, we aim to bridge current research gaps and underscore the potential future research strategies, emphasizing the real-world applications possibility and the unexplored potential of deep learning in improving radar-based fall detection.


title: Reconstruction of dynamical systems from data without time labels

abstract: In this paper, we study the method to reconstruct dynamical systems from data without time labels. Data without time labels appear in many applications, such as molecular dynamics, single-cell RNA sequencing etc. Reconstruction of dynamical system from time sequence data has been studied extensively. However, these methods do not apply if time labels are unknown. Without time labels, sequence data becomes distribution data. Based on this observation, we propose to treat the data as samples from a probability distribution and try to reconstruct the underlying dynamical system by minimizing the distribution loss, sliced Wasserstein distance more specifically. Extensive experiment results demonstrate the effectiveness of the proposed method.


title: Irreducible pairings and indecomposable tournaments

abstract: We only consider finite structures. With every totally ordered set $V$ and a subset $P$ of $\binom{V}{2}$, we associate the underlying tournament ${\rm Inv}(\underline{V}, P)$ obtained from the transitive tournament $\underline{V}:=(V, \{(x,y) \in V \times V : x < y \})$ by reversing $P$, i.e., by reversing the arcs $(x,y)$ such that $\{x,y\} \in P$. The subset $P$ is a pairing (of $\cup P$) if $|\cup P| = 2|P|$, a quasi-pairing (of $\cup P$) if $|\cup P| = 2|P|-1$; it is irreducible if no nontrivial interval of $\cup P$ is a union of connected components of the graph $(\cup P, P)$. In this paper, we consider pairings and quasi-pairings in relation to tournaments. We establish close relationships between irreducibility of pairings (or quasi-pairings) and indecomposability of their underlying tournaments under modular decomposition. For example, given a pairing $P$ of a totally ordered set $V$ of size at least $6$, the pairing $P$ is irreducible if and only if the tournament ${\rm Inv}(\underline{V}, P)$ is indecomposable. This is a consequence of a more general result characterizing indecomposable tournaments obtained from transitive tournaments by reversing pairings. We obtain analogous results in the case of quasi-pairings.


title: Merging history of massive galaxies at 3<z<6

abstract: The observational data of high redshift galaxies become increasingly abundant, especially since the operation of the James Webb Space Telescope (JWST), which allows us to verify and optimize the galaxy formation model at high redshifts. In this work, we investigate the merging history of massive galaxies at $3 < z < 6$ using a well-developed semi-analytic galaxy formation catalogue. We find that the major merger rate increases with redshift up to 3 and then flattens. The fraction of wet mergers, during which the sum of the cold gas mass is higher than the sum of the stellar mass in two merging galaxies, also increases from $\sim$ 34\% at $z = 0$ to 96\% at $z = 3$. Interestingly, almost all major mergers are wet at $z > 3$ . This can be attributed to the high fraction ($> 50\%$) of cold gas at $z > 3$. In addition, we study some special systems of massive merging galaxies at $3 < z < 6$, including the massive gas-rich major merging systems and extreme dense proto-clusters, and investigate the supermassive black hole-dark matter halo mass relation and dual AGNs. We find that the galaxy formation model reproduces the incidence of those observed massive galaxies, but fails to reproduce the relation between the supermassive black hole mass and the dark matter halo mass at $z \sim 6$. The latter requires more careful estimates of the supermassive black hole masses observationally. Otherwise, it could suggest modifications of the modeling of the supermassive black hole growth at high redshifts.


title: Astronomy as a Field: A Guide for Aspiring Astrophysicists

abstract: This book was created as part of the SIRIUS B VERGE program to orient students to astrophysics as a broad field. The 2023-2024 VERGE program and the printing of this book is funded by the Women and Girls in Astronomy Program via the International Astronomical Union's North American Regional Office of Astronomy for Development and the Heising-Simons Foundation; as a result, this document is written by women in astronomy for girls who are looking to pursue the field. However, given its universal nature, the material covered in this guide is useful for anyone interested in pursuing astrophysics professionally.


title: Frustration-Mediated Crossover from Long-Range to Short-Range Magnetic Ordering in $\mathbf{Y_{1-x}Lu_xBaCo_4O_7} $

abstract: We present a comprehensive magnetic and structural phase diagram for $\mathrm{Y_{1-x}Lu_xBaCo_4O_7}$, established through neutron diffraction and magnetization measurements. Our results outline the evolution of various nuclear structures, encompassing both orthorhombic and monoclinic symmetries, in response to changes in composition and temperature. The phase transition temperature of the orthorhombic phase, $T_{s1}$, decreases with increasing Lu content from 310 K for x = 0.0 to 110 K for x = 1.0. In Lu-rich compositions (0.7 \le x \le 1.0), first-order structural transitions are observed with coexisting and competing orthorhombic Pbn$2_1$ and metastable monoclinic Cc phases. Composition- and temperature-dependent refinements of the magnetic structure reveal an antiferromagnetic arrangement of Co spin pairs, below the magnetic transition temperatures of the Y-rich compositions, in the ab plane within both the triangular and Kagom\'e layers. A gradual suppression of long-range magnetic order is observed with increasing the Lu content, accompanied by the development of short-range magnetic correlations present in all the samples.


title: Doodle Your 3D: From Abstract Freehand Sketches to Precise 3D Shapes

abstract: In this paper, we democratise 3D content creation, enabling precise generation of 3D shapes from abstract sketches while overcoming limitations tied to drawing skills. We introduce a novel part-level modelling and alignment framework that facilitates abstraction modelling and cross-modal correspondence. Leveraging the same part-level decoder, our approach seamlessly extends to sketch modelling by establishing correspondence between CLIPasso edgemaps and projected 3D part regions, eliminating the need for a dataset pairing human sketches and 3D shapes. Additionally, our method introduces a seamless in-position editing process as a byproduct of cross-modal part-aligned modelling. Operating in a low-dimensional implicit space, our approach significantly reduces computational demands and processing time.


title: Residual Graph Convolutional Network for Bird's-Eye-View Semantic Segmentation

abstract: Retrieving spatial information and understanding the semantic information of the surroundings are important for Bird's-Eye-View (BEV) semantic segmentation. In the application of autonomous driving, autonomous vehicles need to be aware of their surroundings to drive safely. However, current BEV semantic segmentation techniques, deep Convolutional Neural Networks (CNNs) and transformers, have difficulties in obtaining the global semantic relationships of the surroundings at the early layers of the network. In this paper, we propose to incorporate a novel Residual Graph Convolutional (RGC) module in deep CNNs to acquire both the global information and the region-level semantic relationship in the multi-view image domain. Specifically, the RGC module employs a non-overlapping graph space projection to efficiently project the complete BEV information into graph space. It then builds interconnected spatial and channel graphs to extract spatial information between each node and channel information within each node (i.e., extract contextual relationships of the global features). Furthermore, it uses a downsample residual process to enhance the coordinate feature reuse to maintain the global information. The segmentation data augmentation and alignment module helps to simultaneously augment and align BEV features and ground truth to geometrically preserve their alignment to achieve better segmentation results. Our experimental results on the nuScenes benchmark dataset demonstrate that the RGC network outperforms four state-of-the-art networks and its four variants in terms of IoU and mIoU. The proposed RGC network achieves a higher mIoU of 3.1% than the best state-of-the-art network, BEVFusion. Code and models will be released.