title: Successive phase transitions of the spin-orbit-coupled metal Cd2Re2O7 probed by high-resolution synchrotron x-ray diffraction

abstract: The 5d pyrochlore oxide superconductor Cd2Re2O7 (CRO) has attracted significant interest as a spin-orbit-coupled metal (SOCM) that spontaneously undergoes a phase transition to an odd-parity multipole phase by breaking the spatial inversion symmetry due to the Fermi liquid instability caused by strong spin-orbit coupling. Despite the significance of structural information during the transition, previous experimental results regarding lattice deformation have been elusive. We have conducted ultra-high resolution synchrotron radiation x-ray diffraction experiments on a high-quality CRO single crystal. The temperature-dependent splitting of the 0 0 16 and 0 0 14 reflections, which are allowed and forbidden, respectively, in the high-temperature cubic phase I (space group Fd-3m), has been clearly observed and reveals the following significant facts: inversion symmetry breaking and tetragonal distortion occur simultaneously at Ts1 = 201.5(1) K; the previously believed first-order transition between phase II (I-4m2) and phase III (I4122) at Ts2 ~ 120 K consists of two close second-order transitions at Ts2 = 115.4(1) K and Ts3 ~ 100 K; there is a new orthorhombic phase XI (F222) in between. The order parameters (OPs) of these continuous transitions are uniquely represented by a two-dimensional irreducible representation Eu of the Oh point group, and the OPs of phase XI are a linear combination of those of phases II and III. Each phase is believed to correspond to a distinct odd-parity multipole order, and the complex successive transitions observed may be the result of an electronic phase transition that resolves the Fermi liquid instability in the SOCM.


title: Social media polarization reflects shifting political alliances in Pakistan

abstract: The rise of ideological divides in public discourse has received considerable attention in recent years. However, much of this research has been concentrated on Western democratic nations, leaving other regions largely unexplored. Here, we delve into the political landscape of Pakistan, a nation marked by intricate political dynamics and persistent turbulence. Spanning from 2018 to 2022, our analysis of Twitter data allows us to capture pivotal shifts and developments in Pakistan's political arena. By examining interactions and content generated by politicians affiliated with major political parties, we reveal a consistent and active presence of politicians on Twitter, with opposition parties exhibiting particularly robust engagement. We explore the alignment of party audiences, highlighting a notable convergence among opposition factions over time. Our analysis also uncovers significant shifts in political affiliations, including the transition of politicians to the opposition alliance. Quantitatively, we assess evolving interaction patterns, showcasing the prevalence of homophilic connections while identifying a growing interconnection among audiences of opposition parties. Our study, by accurately reflecting shifts in the political landscape, underscores the reliability of our methodology and social media data as a valuable tool for monitoring political polarization and providing a nuanced understanding of macro-level trends and individual-level transformations.


title: Banach spaces of $\mathcal I$-convergent sequences

abstract: We study the space $c_{0,\mathcal{I}}$ of all bounded sequences $(x_n)$ that $\mathcal{I}$-converge to $0$, endowed with the sup norm, where $\mathcal{I}$ is an ideal of subsets of $\mathbb{N}$. We show that two such spaces, $c_{0,\mathcal{I}}$ and $c_{0,\mathcal{J}}$, are isometric exactly when the ideals $\mathcal{I}$ and $\mathcal{J}$ are isomorphic. Additionally, we analyze the connection of the well-known Kat\v{e}tov pre-order $\leq_K$ on ideals with some properties of the space $c_{0,\mathcal{I}}$. For instance, we show that $\mathcal{I}\leq_K\mathcal{J}$ exactly when there is a (not necessarily onto) Banach lattice isometry from $c_{0,\mathcal{I}}$ to $c_{0,\mathcal{J}}$, satisfying some additional conditions. We present some lattice-theoretic properties of $c_{0,\mathcal{I}}$, particularly demonstrating that every closed ideal of $\ell_\infty$ is equal to $c_{0,\mathcal{I}}$ for some ideal $\mathcal{I}$ on $\mathbb{N}$. We also show that certain classical Banach spaces are isometric to $c_{0,\mathcal{I}}$ for some ideal $\mathcal{I}$, such as the spaces $\ell_\infty(c_0)$ and $c_0(\ell_\infty)$. Finally, we provide several examples of ideals for which $c_{0,\mathcal{I}}$ is not a Grothendieck space.


title: Supervised Stochastic Neighbor Embedding Using Contrastive Learning

abstract: Stochastic neighbor embedding (SNE) methods $t$-SNE, UMAP are two most popular dimensionality reduction methods for data visualization. Contrastive learning, especially self-supervised contrastive learning (SSCL), has showed great success in embedding features from unlabeled data. The conceptual connection between SNE and SSCL has been exploited. In this work, within the scope of preserving neighboring information of a dataset, we extend the self-supervised contrastive approach to the fully-supervised setting, allowing us to effectively leverage label information. Clusters of samples belonging to the same class are pulled together in low-dimensional embedding space, while simultaneously pushing apart clusters of samples from different classes.


title: A sub-pc BBH system in SDSS J1609+1756 through optical QPOs in ZTF light curves

abstract: Optical quasi-periodic oscillations (QPOs) are the most preferred signs of sub-pc binary black hole (BBH) systems in AGN. In this manuscript, robust optical QPOs are reported in quasar SDSS J1609+1756 at $z=0.347$. In order to detect reliable optical QPOs, four different methods are applied to analyze the 4.45 years-long ZTF g/r/i-band light curves of SDSS J1609+1756, direct fitting results by sine function, Generalized Lomb-Scargle periodogram, Auto-Cross Correlation Function and Weighted Wavelet Z-transform method. The Four different methods can lead to well determined reliable optical QPOs with periodicities $\sim340$ days with confidence levels higher than 5$\sigma$, to guarantee the robustness of the optical QPOs in SDSS J1609+1756. Meanwhile, based on simulated light curves through CAR process to trace intrinsic AGN activities, confidence level higher than $3\sigma$ can be confirmed that the optical QPOs are not mis-detected in intrinsic AGN activities, re-confirming the robust optical QPOs and strongly indicating a central sub-pc BBH system in SDSS J1609+1756. Furthermore, based on apparent red-shifted shoulders in broad Balmer emission lines in SDSS J1609+1756, space separation of the expected central BBH system can be estimated to be smaller than $107\pm60$ light-days, accepted upper limit of total BH mass $\sim(1.03\pm0.22)\times10^8{\rm M_\odot}$. Therefore, to detect and report BBH system expected optical QPOs with periodicities around 1 year is efficiently practicable through ZTF light curves, and combining with peculiar broad line emission features, further clues should be given on space separations of BBH systems in broad line AGN in the near future.


title: MPCGPU: Real-Time Nonlinear Model Predictive Control through Preconditioned Conjugate Gradient on the GPU

abstract: Nonlinear Model Predictive Control (NMPC) is a state-of-the-art approach for locomotion and manipulation which leverages trajectory optimization at each control step. While the performance of this approach is computationally bounded, implementations of direct trajectory optimization that use iterative methods to solve the underlying moderately-large and sparse linear systems, are a natural fit for parallel hardware acceleration. In this work, we introduce MPCGPU, a GPU-accelerated, real-time NMPC solver that leverages an accelerated preconditioned conjugate gradient (PCG) linear system solver at its core. We show that MPCGPU increases the scalability and real-time performance of NMPC, solving larger problems, at faster rates. In particular, for tracking tasks using the Kuka IIWA manipulator, MPCGPU is able to scale to kilohertz control rates with trajectories as long as 512 knot points. This is driven by a custom PCG solver which outperforms state-of-the-art, CPU-based, linear system solvers by at least 10x for a majority of solves and 3.6x on average.


title: Optimal control problem for reflected McKean-Vlasov SDEs

abstract: This work investigates the optimal control problem for reflected McKean-Vlasov SDEs and the viscosity solutions to Hamilton-Jacobi-Bellman(HJB) equations on the Wasserstein space in terms of intrinsic derivative. It follows from the flow property of reflected McKean-Vlasov SDEs that the dynamic programming principle holds. Applying the decoupling method and the heat kernel estimates for parabolic equations, we show that the value function is a viscosity solution to an appropriate HJB equation on the Wasserstein space, where the characterization of absolutely continuous curves on the Wasserstein space by the continuity equations plays an important role. To establish the uniqueness of viscosity solution, we generalize the construction of a distance like function initiated in Burzoni et al.(SICON, 2020) to the Wasserstein space over multidimensional space and show its effectiveness to cope with HJB equations in terms of intrinsic derivative on the Wasserstein space.


title: A note on the Assmus--Mattson theorem for some ternary codes (a resume)

abstract: Let $C$ be a two and three-weight ternary code. Furthermore, we assume that $C_\ell$ are $t$-designs for all $\ell$ by the Assmus--Mattson theorem. We show that $t \leq 5$. As a corollary, we provide a new characterization of the (extended) ternary Golay code.


title: An Attractive Proposal for Resolving the Hubble Tension: Dynamical Attractors that Unify Early and Late Dark Energy

abstract: Early dark energy is a promising potential resolution of the Hubble tension. Unfortunately, many models suffer from the need to fine-tune their initial conditions to ensure that the epoch of early dark energy coincides with matter-radiation equality. We propose a class of attractive early dark energy models where this coincidence arises naturally as a saddle point of a dynamical system that attracts a large volume of phase-space trajectories regardless of the initial conditions. The system approaches a global dark energy attractor at late-times. Our framework therefore unifies early and late dark energy using a single scalar degree of freedom. We analyze a fiducial attractive early dark energy model and find that it is disfavored by cosmological data due to the presence of a long-lived saddle point in the matter era where the scalar plays the role of an additional component of (non-clustering) dark matter. Our investigations provide lessons for future model-building efforts aimed at constructing viable attractive early dark energy models.


title: On the Acoustoelasticity of Backward Lamb Wave in Prestressed Plate

abstract: Backward Lamb waves, which exhibit a group velocity that propagates in the opposite direction to their phase velocity, have recently garnered considerable attention for their potential applications in nondestructive testing. Herein we present a theoretical study on backward Lamb waves in the elastic plate subject to prestresses. We demonstrate that the group velocity of the first antisymmetric backward Lamb wave, A3b, decreases with tensile stress, whereas that of the first symmetric backward Lamb wave, S2b, increases. Notably, the sensitivity of A3b to prestress is approximately ten times greater than that of S2b, with a ~5% change in group velocity observed under a uniaxial stress of 100 MPa in steel. This heightened sensitivity facilitates an inverse method for determining prestress levels in elastic plates by examining variations in the A3b group velocity. We also investigate the acoustoelastic properties of zero-group-velocity (ZGV) points, which demarcate the dispersion curves of forward and backward Lamb waves. Our findings indicate that the ratio of resonance frequencies corresponding to A3b and S2b monotonically decreases as uniaxial stress increases, providing an alternative method for prestress assessment. Lastly, we propose an experimental setup for measuring backward Lamb waves and visualize the generation of A3b using dynamic photoelastic techniques. Our research elucidates the acoustoelastic characteristics of backward Lamb waves and highlights their promising utility for stress measurement in elastic plates.


title: Generalized multicategories: change-of-base, embedding, and descent

abstract: Via the adjunction $ - \boldsymbol{\cdot} 1 \dashv \mathcal V(1,-) \colon \mathsf{Span}(\mathcal V) \to \mathcal V \text{-} \mathsf{Mat} $ and a cartesian monad $ T $ on an extensive category $ \mathcal V $ with finite limits, we construct an adjunction $ - \boldsymbol{\cdot} 1 \dashv \mathcal V(1,-) \colon \mathsf{Cat}(T,\mathcal V) \to (\overline T, \mathcal V)\text{-}\mathsf{Cat} $ between categories of generalized enriched multicategories and generalized internal multicategories, provided the monad $ T $ satisfies a suitable condition, which is satisfied by several examples. We verify, moreover, the left adjoint is fully faithful, and preserves pullbacks, provided that the copower functor $ - \boldsymbol{\cdot} 1 \colon \mathsf{Set} \to \mathcal V $ is fully faithful. We also apply this result to study descent theory of generalized enriched multicategorical structures. These results are built upon the study of base-change for generalized multicategories, which, in turn, was carried out in the context of categories of horizontal lax algebras arising out of a monad in a suitable 2-category of pseudodouble categories.


title: Stochastic representations and probabilistic characteristics of multivariate skew-elliptical distributions

abstract: The family of multivariate skew-normal distributions has many interesting properties. It is shown here that these hold for a general class of skew-elliptical distributions. For this class, several stochastic representations are established and then their probabilistic properties, such as characteristic function, moments, quadratic forms as well as transformation properties, are investigated.


title: Fast and Accurate Deep Loop Closing and Relocalization for Reliable LiDAR SLAM

abstract: Loop closing and relocalization are crucial techniques to establish reliable and robust long-term SLAM by addressing pose estimation drift and degeneration. This article begins by formulating loop closing and relocalization within a unified framework. Then, we propose a novel multi-head network LCR-Net to tackle both tasks effectively. It exploits novel feature extraction and pose-aware attention mechanism to precisely estimate similarities and 6-DoF poses between pairs of LiDAR scans. In the end, we integrate our LCR-Net into a SLAM system and achieve robust and accurate online LiDAR SLAM in outdoor driving environments. We thoroughly evaluate our LCR-Net through three setups derived from loop closing and relocalization, including candidate retrieval, closed-loop point cloud registration, and continuous relocalization using multiple datasets. The results demonstrate that LCR-Net excels in all three tasks, surpassing the state-of-the-art methods and exhibiting a remarkable generalization ability. Notably, our LCR-Net outperforms baseline methods without using a time-consuming robust pose estimator, rendering it suitable for online SLAM applications. To our best knowledge, the integration of LCR-Net yields the first LiDAR SLAM with the capability of deep loop closing and relocalization. The implementation of our methods will be made open-source.


title: hear-your-action: human action recognition by ultrasound active sensing

abstract: Action recognition is a key technology for many industrial applications. Methods using visual information such as images are very popular. However, privacy issues prevent widespread usage due to the inclusion of private information, such as visible faces and scene backgrounds, which are not necessary for recognizing user action. In this paper, we propose a privacy-preserving action recognition by ultrasound active sensing. As action recognition from ultrasound active sensing in a non-invasive manner is not well investigated, we create a new dataset for action recognition and conduct a comparison of features for classification. We calculated feature values by focusing on the temporal variation of the amplitude of ultrasound reflected waves and performed classification using a support vector machine and VGG for eight fundamental action classes. We confirmed that our method achieved an accuracy of 97.9% when trained and evaluated on the same person and in the same environment. Additionally, our method achieved an accuracy of 89.5% even when trained and evaluated on different people. We also report the analyses of accuracies in various conditions and limitations.


title: Interactive Model Fusion-Based GM-PHD Filter

abstract: In multi-target tracking (MTT), non-Gaussian measurement noise from sensors can diminish the performance of the Gaussian-assumed Gaussian mixture probability hypothesis density (GM-PHD) filter. In this paper, an approach that transforms the MTT problem under non-Gaussian conditions into an MTT problem under Gaussian conditions is developed. Specifically, measurement noise with a non-Gaussian distribution is modeled as a weighted sum of different Gaussian distributions. Subsequently, the GM-PHD filter is applied to compute the multi-target states under these distinct Gaussian distributions. Finally, an interactive multi-model framework is employed to fuse the diverse multi-target state information into a unified synthesis. The effectiveness of the proposed approach is validated through the simulation results.


title: Volume Estimates for Singular sets and Critical Sets of Elliptic Equations with H\"older Coefficients

abstract: Consider the solutions $u$ to the elliptic equation $\mathcal{L}(u) = \partial_i(a^{ij}(x) \partial_j u) + b^i(x) \partial_i u + c(x) u= 0$ with $a^{ij}$ assumed only to be H\"older continuous. In this paper we prove an explicit bound for $(n-2)$-dimensional Minkowski estimates of singular set $\mathcal{S}(u) = \{ x \in B_1 : u(x) = |\nabla u(x)| = 0\}$ and critical set $\mathcal{C}(u) \equiv \{ x\in B_{1} : |\nabla u(x)| = 0 \}$ in terms of the bound on doubling index, depending on $c \equiv 0$ or not. Here the H\"older assumption is sharp as it is the weakest condition in order to define the critical set of $u$ according to elliptic estimates. We can also obtain an optimal improvement on Cheeger-Naber-Valtorta's volume estimates on each quantitative stratum $\mathcal{S}^k_{\eta, r}$. The main difficulty in this situation is the lack of monotonicity formula which is essential to the quantitative stratification. In our proof, one key ingredient is a new almost monotonicity formula for doubling index under the H\"older assumption. Another key ingredient is the quantitative uniqueness of tangent maps. It deserves to note that our almost monotonicity is sufficient to address all the difficulties arising from the absence of monotonicity in the analysis of differential equations. We believe the idea could be applied to other relevant study.


abstract: We obtain a complete description of divergent Palais-Smale sequences for the prescribed Ricci curvature functional on compact homogeneous spaces. As an application, we prove the existence of saddle points on generalized Wallach spaces and several types of generalized flag manifolds. We also describe the image of the Ricci map in some of our examples.


title: Geodesic flows of compact higher genus surfaces without conjugate points have expansive factors

abstract: In this paper we show that a geodesic flow of a compact surface without conjugate points of genus greater than one is time-preserving semi-conjugate to a continuous expansive flow which is topologically mixing and has a local product structure. As an application we show that the geodesic flow of a compact surface without conjugate points of genus greater than one has a unique measure of maximal entropy. This gives an alternative proof of Climenhaga-Knieper-War Theorem.


title: The Road to the Ideal Stent: A Review of Stent Design Optimisation Methods, Findings, and Opportunities

abstract: Coronary stent designs have undergone significant transformations in geometry, materials, and drug elution coatings, contributing to the continuous improvement of stenting success over recent decades. However, the increasing use of percutaneous coronary intervention techniques on complex coronary artery disease anatomy continues to be a challenge and pushes the boundary to improve stent designs. Design optimisation techniques especially are a unique set of tools used to assess and balance competing design objectives, thus unlocking the capacity to maximise the performance of stents. This review provides a brief history of metallic and bioresorbable stent design evolution, before exploring the latest developments in performance metrics and design optimisation techniques in detail. This includes insights on different contemporary stent designs, structural and haemodynamic performance metrics, shape and topology representation, and optimisation along with the use of surrogates to deal with the underlying computationally expensive nature of the problem. Finally, an exploration of current key gaps and future possibilities is provided that includes hybrid optimisation of clinically relevant metrics, non-geometric variables such as material properties, and the possibility of personalised stenting devices.


title: Low-rank Tensor Train Decomposition Using TensorSketch

abstract: Tensor train decomposition is one of the most powerful approaches for processing high-dimensional data. For low-rank tensor train decomposition of large tensors, the alternating least squares (ALS) algorithm is widely used by updating each core tensor alternatively. However, it may suffer from the curse of dimensionality due to the large scale of subproblems. In this paper, a novel randomized proximal ALS algorithm is proposed for low-rank tensor train decomposition by using TensorSketch, which allows for efficient implementation via fast Fourier transform. The theoretical lower bounds of sketch size are estimated for approximating the optimal value of subproblems. Numerical experiments on synthetic and real-world data also demonstrate the effectiveness and efficiency of the proposed algorithm.


title: Gemini Near-infrared Spectroscopy of High-Redshift Fermi Blazars: Jetted Black Holes in the Early Universe Were Overly Massive

abstract: Jetted active galactic nuclei (AGNs) are the principal extragalactic $\gamma$-ray sources. Fermi-detected high-redshift ($z>3$) blazars are jetted AGNs thought to be powered by massive, rapidly spinning supermassive black holes (SMBHs) in the early universe ($<2$ Gyr). They provide a laboratory to study early black hole (BH) growth and super-Eddington accretion -- possibly responsible for the more rapid formation of jetted BHs. However, previous virial BH masses of $z>3$ blazars were based on C IV in the observed optical, but C IV is known to be biased by strong outflows. We present new Gemini/GNIRS near-IR spectroscopy for a sample of nine $z>3$ Fermi $\gamma$-ray blazars with available multi-wavelength observations that maximally sample the spectral energy distributions (SEDs). We estimate virial BH masses based on the better calibrated broad H$\beta$ and/or Mg II . We compare the new virial BH masses against independent mass estimates from SED modeling. Our work represents the first step in campaigning for more robust virial BH masses and Eddington ratios for high-redshift Fermi blazars. Our new results confirm that high-redshift Fermi blazars indeed host overly massive SMBHs as suggested by previous work, which may pose a theoretical challenge for models of the rapid early growth of jetted SMBHs.


title: RELAX: Reinforcement Learning Enabled 2D-LiDAR Autonomous System for Parsimonious UAVs

abstract: Unmanned Aerial Vehicles (UAVs) have become increasingly prominence in recent years, finding applications in surveillance, package delivery, among many others. Despite considerable efforts in developing algorithms that enable UAVs to navigate through complex unknown environments autonomously, they often require expensive hardware and sensors, such as RGB-D cameras and 3D-LiDAR, leading to a persistent trade-off between performance and cost. To this end, we propose RELAX, a novel end-to-end autonomous framework that is exceptionally cost-efficient, requiring only a single 2D-LiDAR to enable UAVs operating in unknown environments. Specifically, RELAX comprises three components: a pre-processing map constructor; an offline mission planner; and a reinforcement learning (RL)-based online re-planner. Experiments demonstrate that RELAX offers more robust dynamic navigation compared to existing algorithms, while only costing a fraction of the others. The code will be made public upon acceptance.


title: GelSplitter: Tactile Reconstruction from Near Infrared and Visible Images

abstract: The GelSight-like visual tactile (VT) sensor has gained popularity as a high-resolution tactile sensing technology for robots, capable of measuring touch geometry using a single RGB camera. However, the development of multi-modal perception for VT sensors remains a challenge, limited by the mono camera. In this paper, we propose the GelSplitter, a new framework approach the multi-modal VT sensor with synchronized multi-modal cameras and resemble a more human-like tactile receptor. Furthermore, we focus on 3D tactile reconstruction and implement a compact sensor structure that maintains a comparable size to state-of-the-art VT sensors, even with the addition of a prism and a near infrared (NIR) camera. We also design a photometric fusion stereo neural network (PFSNN), which estimates surface normals of objects and reconstructs touch geometry from both infrared and visible images. Our results demonstrate that the accuracy of RGB and NIR fusion is higher than that of RGB images alone. Additionally, our GelSplitter framework allows for a flexible configuration of different camera sensor combinations, such as RGB and thermal imaging.


title: Detail Reinforcement Diffusion Model: Augmentation Fine-Grained Visual Categorization in Few-Shot Conditions

abstract: The challenge in fine-grained visual categorization lies in how to explore the subtle differences between different subclasses and achieve accurate discrimination. Previous research has relied on large-scale annotated data and pre-trained deep models to achieve the objective. However, when only a limited amount of samples is available, similar methods may become less effective. Diffusion models have been widely adopted in data augmentation due to their outstanding diversity in data generation. However, the high level of detail required for fine-grained images makes it challenging for existing methods to be directly employed. To address this issue, we propose a novel approach termed the detail reinforcement diffusion model~(DRDM), which leverages the rich knowledge of large models for fine-grained data augmentation and comprises two key components including discriminative semantic recombination (DSR) and spatial knowledge reference~(SKR). Specifically, DSR is designed to extract implicit similarity relationships from the labels and reconstruct the semantic mapping between labels and instances, which enables better discrimination of subtle differences between different subclasses. Furthermore, we introduce the SKR module, which incorporates the distributions of different datasets as references in the feature space. This allows the SKR to aggregate the high-dimensional distribution of subclass features in few-shot FGVC tasks, thus expanding the decision boundary. Through these two critical components, we effectively utilize the knowledge from large models to address the issue of data scarcity, resulting in improved performance for fine-grained visual recognition tasks. Extensive experiments demonstrate the consistent performance gain offered by our DRDM.


title: The creation of a massive UCD by tidal threshing from NGC 936

abstract: We study a compact nucleus embedded in an early-type dwarf galaxy, MATLAS-167, which is in the process of disruption by the tidal force of the neighboring giant S0 galaxy, NGC 936, in a group environment. Using the imaging data of the MATLAS survey, we analyze the stellar tidal tail of MATLAS-167 and its central compact nucleus, designated as NGC 936_UCD. We find that NGC 936_UCD has a luminosity of M$_{g}$ = $-$11.43$\pm$0.01 mag and a size of 66.5$\pm$17 pc, sharing the global properties of Ultra Compact Dwarf galaxies (UCDs) but significantly larger and brighter compared to the typical UCD populations observed in the Virgo cluster. By integrating the total luminosity of both the tidal stream and MATLAS-167, we estimate that the disrupted dwarf progenitor possesses a luminosity of M$_{g}$ = $-$15.92$\pm$0.06 mag, a typical bright dE luminosity. With the help of the optical spectrum observed by the SDSS survey, we derive the simple stellar population properties of NGC 936_UCD: a light-weighted age of 5.6$\pm$0.7 Gyr and metallicity of [Z/H] = $-$0.83$\pm$0.3 dex. Our findings suggest that tidal threshing is a possible formation mechanism of bright UCD populations in close proximity to giant galaxies.


title: Characterizing the temporal dynamics of universal speech representations for generalizable deepfake detection

abstract: Existing deepfake speech detection systems lack generalizability to unseen attacks (i.e., samples generated by generative algorithms not seen during training). Recent studies have explored the use of universal speech representations to tackle this issue and have obtained inspiring results. These works, however, have focused on innovating downstream classifiers while leaving the representation itself untouched. In this study, we argue that characterizing the long-term temporal dynamics of these representations is crucial for generalizability and propose a new method to assess representation dynamics. Indeed, we show that different generative models generate similar representation dynamics patterns with our proposed method. Experiments on the ASVspoof 2019 and 2021 datasets validate the benefits of the proposed method to detect deepfakes from methods unseen during training, significantly improving on several benchmark methods.


title: Research on Joint Representation Learning Methods for Entity Neighborhood Information and Description Information

abstract: To address the issue of poor embedding performance in the knowledge graph of a programming design course, a joint represen-tation learning model that combines entity neighborhood infor-mation and description information is proposed. Firstly, a graph at-tention network is employed to obtain the features of entity neigh-boring nodes, incorporating relationship features to enrich the structural information. Next, the BERT-WWM model is utilized in conjunction with attention mechanisms to obtain the representation of entity description information. Finally, the final entity vector representation is obtained by combining the vector representations of entity neighborhood information and description information. Experimental results demonstrate that the proposed model achieves favorable performance on the knowledge graph dataset of the pro-gramming design course, outperforming other baseline models.


title: Adiabatic Quantum Computation with the Fermionic Position Space Schr\"odinger Equation

abstract: The efficient encoding of the fermionic Schr\"odinger equation as a spin system Hamiltonian is a long-term problem. I describe an encoding for the fermionic position space Schr\"odinger equation on a finite-volume periodic lattice with a local potential. The challenging part of the construction is the implementation of the kinetic energy operator, which is essentially the Laplacian. The finite difference implementation on the lattice combines contributions from neighboring lattice sites, which is complicated by fermionic exchange symmetry. Two independently useful techniques developed here are operator filtering and entanglement gadgets. Operator filtering is useful when a simple operator acting on a subspace of the full Hilbert space has a desired set of interactions. Occupation suppression of the complement of the subspace then filters away unwanted contributions of the operator. Entanglement gadgets encode the same information differently in two sets of qubits. We may then independently choose the most efficient encoding for operators acting on the qubits. The construction for the Laplacian described here has $\mathcal{O}\left(An 2^D\right)$ cost in bounded Pauli weight terms where $A$ is the number of identical spinless fermions, $N=2^n$ is the number of lattice points in each direction, and $D$ is the number of dimensions. The finite volume context protects the gap between the ground state and the first excited state, yielding polynomial time complexity with the box size.


title: KIC 9845907: A $\delta$ Scuti star with the first overtone as the dominant frequency and with many equidistant structures in its spectrum

abstract: In this paper, we present an analysis of the pulsating behavior of Kepler target KIC 9845907. Using the data from Kepler, we detected 85 significant frequencies, including the first overtone $f_{1}$ = 17.597 day$^{-1}$ as the dominant frequency, the non-radial independent frequency $f_{3}$ = 31.428 day$^{-1}$ ($\ell$=1), as well as two modulation terms $f_{m1}$ = 0.065 day$^{-1}$ and $f_{m2}$ = 1.693 day$^{-1}$. We found fourteen pairs of triplet structures with $f_{m1}$ or $f_{m2}$, four pairs of which can further form quintuplet structures. We note these are the most intriguing features discovered in this study and they were recognized for the first time in $\delta$ Scuti stars. We discussed several possible explanations, i.e., beating, the Blazhko effect, combination mode hypothesis, nonlinear mode coupling, large separation, and stellar rotational splitting for these equidistant structures. Our asteroseismic models indicate this modulation with $f_{m1}$ might be related to the rotational splitting. The study of more $\delta$ Scuti stars with triplet and/or quintuplet structures using high-precision space photometry would be helpful to further explore its origin.


title: Testing Bell inequality through $h\to\tau\tau$ at CEPC

abstract: The decay of Higgs boson into two spin-1/2 particles provides an ideal system to reveal quantum entanglement and Bell-nonlocality. Future $e^+e^-$ colliders can improve the measurement accuracy of the spin correlation of tau lepton pairs from Higgs boson decay. We show the testability of Bell inequality through $h\to \tau\tau$ at Circular Electron Positron Collider (CEPC). Two realistic methods of testing Bell inequality are investigated, i.e., T\"{o}rnqvist's method and Clauser-Home-Shimony-Holt (CHSH) inequality. In the simulation, we take into account the detector effects of CEPC including uncertainties for tracks and jets from $Z$ boson in the production of $e^+e^-\to Zh$. Necessary reconstruction approaches are described to measure quantum entanglement between $\tau^+$ and $\tau^-$. Finally, we show the sensitivity of CEPC to the Bell inequality violation for the two methods.


title: Rhythm of Work: Mixed-methods Characterization of Information Workers Scheduling Preferences and Practices

abstract: As processes around hybrid work, spatially distant collaborations, and work-life boundaries grow increasingly complex, managing workers' schedules for synchronous meetings has become a critical aspect of building successful global teams. However, gaps remain in our understanding of workers' scheduling preferences and practices, which we aim to fill in this large-scale, mixed-methods study of individuals calendars in a multinational organization. Using interviews with eight participants, survey data from 165 respondents, and telemetry data from millions of meetings scheduled by 211 thousand workers, we characterize scheduling preferences, practices, and their relationship with each other and organizational factors. We find that temporal preferences can be broadly classified as either cyclical, such as suitability of certain days, or relational, such as dispersed meetings, at various time scales. Furthermore, our results suggest that these preferences are disconnected from actual practice--albeit with several notable exceptions--and that individual differences are associated with factors like meeting load, time-zones, importance of meetings to job function, and job titles. We discuss key themes for our findings, along with the implications for calendar and scheduling systems and socio-technical systems more broadly.


title: Libriheavy: a 50,000 hours ASR corpus with punctuation casing and context

abstract: In this paper, we introduce Libriheavy, a large-scale ASR corpus consisting of 50,000 hours of read English speech derived from LibriVox. To the best of our knowledge, Libriheavy is the largest freely-available corpus of speech with supervisions. Different from other open-sourced datasets that only provide normalized transcriptions, Libriheavy contains richer information such as punctuation, casing and text context, which brings more flexibility for system building. Specifically, we propose a general and efficient pipeline to locate, align and segment the audios in previously published Librilight to its corresponding texts. The same as Librilight, Libriheavy also has three training subsets small, medium, large of the sizes 500h, 5000h, 50000h respectively. We also extract the dev and test evaluation sets from the aligned audios and guarantee there is no overlapping speakers and books in training sets. Baseline systems are built on the popular CTC-Attention and transducer models. Additionally, we open-source our dataset creatation pipeline which can also be used to other audio alignment tasks.


title: Data-Driven Goal Recognition in Transhumeral Prostheses Using Process Mining Techniques

abstract: A transhumeral prosthesis restores missing anatomical segments below the shoulder, including the hand. Active prostheses utilize real-valued, continuous sensor data to recognize patient target poses, or goals, and proactively move the artificial limb. Previous studies have examined how well the data collected in stationary poses, without considering the time steps, can help discriminate the goals. In this case study paper, we focus on using time series data from surface electromyography electrodes and kinematic sensors to sequentially recognize patients' goals. Our approach involves transforming the data into discrete events and training an existing process mining-based goal recognition system. Results from data collected in a virtual reality setting with ten subjects demonstrate the effectiveness of our proposed goal recognition approach, which achieves significantly better precision and recall than the state-of-the-art machine learning techniques and is less confident when wrong, which is beneficial when approximating smoother movements of prostheses.


title: Form factors for the charm-baryon semileptonic decay $\Xi_c\to \Xi \ell \nu$ from domain-wall lattice QCD

abstract: Recent experimental progress measuring the branching fractions of the heavy-baryon semileptonic decays $\Xi_c\to \Xi \ell \nu$ has stimulated theoretical interest and motivates precise lattice calculations of the form factors. Here we present such a calculation using domain-wall fermions for the up, down, and strange quarks, and an anisotropic clover action for the charm quark. We use four ensembles generated by the RBC and UKQCD collaborations, with lattice spacings between 0.111 and 0.073 fm and pion masses ranging from 420 to 230 MeV. Our preliminary results for the form factors are larger in magnitude than previous lattice results.


title: Foundation Model Assisted Automatic Speech Emotion Recognition: Transcribing, Annotating, and Augmenting

abstract: Significant advances are being made in speech emotion recognition (SER) using deep learning models. Nonetheless, training SER systems remains challenging, requiring both time and costly resources. Like many other machine learning tasks, acquiring datasets for SER requires substantial data annotation efforts, including transcription and labeling. These annotation processes present challenges when attempting to scale up conventional SER systems. Recent developments in foundational models have had a tremendous impact, giving rise to applications such as ChatGPT. These models have enhanced human-computer interactions including bringing unique possibilities for streamlining data collection in fields like SER. In this research, we explore the use of foundational models to assist in automating SER from transcription and annotation to augmentation. Our study demonstrates that these models can generate transcriptions to enhance the performance of SER systems that rely solely on speech data. Furthermore, we note that annotating emotions from transcribed speech remains a challenging task. However, combining outputs from multiple LLMs enhances the quality of annotations. Lastly, our findings suggest the feasibility of augmenting existing speech emotion datasets by annotating unlabeled speech samples.


title: CAT: a conditional association test for microbiome data using a leave-out approach

abstract: In microbiome analysis, researchers often seek to identify taxonomic features associated with an outcome of interest. However, microbiome features are intercorrelated and linked by phylogenetic relationships, making it challenging to assess the association between an individual feature and an outcome. Researchers have developed global tests for the association of microbiome profiles with outcomes using beta diversity metrics which offer robustness to extreme values and can incorporate information on the phylogenetic tree structure. Despite the popularity of global association testing, most existing methods for follow-up testing of individual features only consider the marginal effect and do not provide relevant information for the design of microbiome interventions. This paper proposes a novel conditional association test, CAT, which can account for other features and phylogenetic relatedness when testing the association between a feature and an outcome. CAT adopts a leave-out method, measuring the importance of a feature in predicting the outcome by removing that feature from the data and quantifying how much the association with the outcome is weakened through the change in the coefficient of determination. By leveraging global tests including PERMANOVA and MiRKAT-based methods, CAT allows association testing for continuous, binary, categorical, count, survival, and correlated outcomes. Our simulation and real data application results illustrate the potential of CAT to inform the design of microbiome interventions aimed at improving clinical outcomes.


title: Information Criterion for a Large Scale Subset Regression Models

abstract: The information criterion for determining the number of explanatory variables in a subset regression modeling is discussed. Information criterion such as AIC is effective and frequently used in model selection for ordinary regression models and statistical models. With the recent prosperity of data science, analysis of large-scale data has become important. When constructing models heuristically from a very large number of candidate explanatory variables, there is a possibility of picking up apparent correlations and adopting inappropriate variables. In this paper, we point out the problems specific to subset regression from the viewpoint of bias correction for log-likelihood and present a correction method that takes this into account.


title: Control of Static Friction by Designing Grooves on Friction Surface

abstract: This study numerically investigated the friction of viscoelastic objects with grooves. A 3D viscoelastic block with grooves on a rigid substrate is slowly pushed from the lateral side under uniform pressure on the top surface. The local friction force at the interface between the block and the substrate obeys Amontons' law. Numerical results obtained using the finite element method reveal that the static friction coefficient decreases with increasing groove width and depth. The propagation of the precursor slip is observed before bulk sliding. Furthermore, bulk sliding occurs when the area of slow precursor slip reaches a critical value, which decreases with increasing groove size. A theoretical analysis based on a simplified model reveals that the static friction coefficient is related to the critical area of the precursor, which is determined by the instability of the precursor. A scaling law for the critical area is theoretically predicted, and it indicates that the decrease in the effective viscosity due to the formation of the grooves leads to a decrease in the static friction coefficient. The validity of the theoretical prediction is numerically confirmed.

categories: cond-mat.mtrl-sci cond-mat.soft cond-mat.stat-mech physics.class-ph


title: Empowering Private Tutoring by Chaining Large Language Models

abstract: Artificial intelligence has been applied in various aspects of online education to facilitate teaching and learning. However, few approaches has been made toward a complete AI-powered tutoring system. In this work, we explore the development of a full-fledged intelligent tutoring system powered by state-of-the-art large language models (LLMs), covering automatic course planning and adjusting, tailored instruction, and flexible quiz evaluation. To make the system robust to prolonged interaction and cater to individualized education, the system is decomposed into three inter-connected core processes-interaction, reflection, and reaction. Each process is implemented by chaining LLM-powered tools along with dynamically updated memory modules. Tools are LLMs prompted to execute one specific task at a time, while memories are data storage that gets updated during education process. Statistical results from learning logs demonstrate the effectiveness and mechanism of each tool usage. Subjective feedback from human users reveal the usability of each function, and comparison with ablation systems further testify the benefits of the designed processes in long-term interaction.


title: MetaF2N: Blind Image Super-Resolution by Learning Efficient Model Adaptation from Faces

abstract: Due to their highly structured characteristics, faces are easier to recover than natural scenes for blind image super-resolution. Therefore, we can extract the degradation representation of an image from the low-quality and recovered face pairs. Using the degradation representation, realistic low-quality images can then be synthesized to fine-tune the super-resolution model for the real-world low-quality image. However, such a procedure is time-consuming and laborious, and the gaps between recovered faces and the ground-truths further increase the optimization uncertainty. To facilitate efficient model adaptation towards image-specific degradations, we propose a method dubbed MetaF2N, which leverages the contained Faces to fine-tune model parameters for adapting to the whole Natural image in a Meta-learning framework. The degradation extraction and low-quality image synthesis steps are thus circumvented in our MetaF2N, and it requires only one fine-tuning step to get decent performance. Considering the gaps between the recovered faces and ground-truths, we further deploy a MaskNet for adaptively predicting loss weights at different positions to reduce the impact of low-confidence areas. To evaluate our proposed MetaF2N, we have collected a real-world low-quality dataset with one or multiple faces in each image, and our MetaF2N achieves superior performance on both synthetic and real-world datasets. Source code, pre-trained models, and collected datasets are available at https://github.com/yinzhicun/MetaF2N.


title: Multifractality and intermittency in the limit evolution of polygonal vortex filaments

abstract: With the aim of quantifying turbulent behaviors of vortex filaments, we study the multifractality and intermittency of the family of generalized Riemann's non-differentiable functions \begin{equation} R_{x_0}(t) = \sum_{n \neq 0} \frac{e^{2\pi i ( n^2 t + n x_0 ) } }{n^2}, \qquad x_0 \in [0,1]. \end{equation} These functions represent, in a certain limit, the trajectory of regular polygonal vortex filaments that evolve according to the binormal flow. When $x_0$ is rational, we show that $R_{x_0}$ is multifractal and intermittent by completely determining the spectrum of singularities of $R_{x_0}$ and computing the $L^p$ norms of its Fourier high-pass filters, which are analogues of structure functions. We prove that $R_{x_0}$ has a multifractal behavior also when $x_0$ is irrational. The proofs rely on a careful design of Diophantine sets that depend on $x_0$, which we study by crucially using the Duffin-Schaeffer theorem and the Mass Transference Principle.


title: REEF: A Framework for Collecting Real-World Vulnerabilities and Fixes

abstract: Software plays a crucial role in our daily lives, and therefore the quality and security of software systems have become increasingly important. However, vulnerabilities in software still pose a significant threat, as they can have serious consequences. Recent advances in automated program repair have sought to automatically detect and fix bugs using data-driven techniques. Sophisticated deep learning methods have been applied to this area and have achieved promising results. However, existing benchmarks for training and evaluating these techniques remain limited, as they tend to focus on a single programming language and have relatively small datasets. Moreover, many benchmarks tend to be outdated and lack diversity, focusing on a specific codebase. Worse still, the quality of bug explanations in existing datasets is low, as they typically use imprecise and uninformative commit messages as explanations. To address these issues, we propose an automated collecting framework REEF to collect REal-world vulnErabilities and Fixes from open-source repositories. We develop a multi-language crawler to collect vulnerabilities and their fixes, and design metrics to filter for high-quality vulnerability-fix pairs. Furthermore, we propose a neural language model-based approach to generate high-quality vulnerability explanations, which is key to producing informative fix messages. Through extensive experiments, we demonstrate that our approach can collect high-quality vulnerability-fix pairs and generate strong explanations. The dataset we collect contains 4,466 CVEs with 30,987 patches (including 236 CWE) across 7 programming languages with detailed related information, which is superior to existing benchmarks in scale, coverage, and quality. Evaluations by human experts further confirm that our framework produces high-quality vulnerability explanations.


title: The Semiclassical Approximation: Its Application to Holography and the Information Paradox

abstract: In this research, we explore the semiclassical approximation to canonical quantum gravity and how a classical background emerges from the Wheeler-DeWitt (WDW) states. By employing the Wigner functional analysis, we derive the backreacted Einstein-Hamilton-Jacobi equation as an approximation to the WDW equation, along with the requisite validity conditions. We then apply this understanding to both AdS/CFT and dS/CFT correspondences in conjunction with Cauchy slice holography, to explain how the bulk is encoded in the correlation functions of the dual field theory. We then explain an appropriate description for scenarios in which gravity behaves quantum mechanically in certain regions of spacetime and explain its relation to subregion holography. We derive the validity conditions for gravity to be semiclassical near any co-dimension 1 time-like surface and employ these conditions to explore the black hole information paradox. Our analysis suggests that for evaporating black holes, there might be a violation of semiclassical gravity in the near-horizon region close to the Page time, although this is contingent upon certain assumptions. This also provides insights into the fate of information trapped within evaporating black holes. We then explore this issue from the perspectives of both external and infalling observers. We then explain how to employ the framework of Cauchy slice holography to study the retrieval of information from evaporating black holes, presenting a comprehensive approach to tackle this complex issue in quantum gravity.


title: Discrete Differential Geometry for $C^{1,1}$ Hyperbolic Surfaces of Non-Constant Curvature

abstract: We develop a discrete differential geometry for surfaces of non-constant negative curvature, which can be used to model various phenomena from the growth of flower petals to marine invertebrate swimming. Specifically, we derive and numerically integrate a version of the classical Lelieuvre formulas that apply to immersions of $C^{1,1}$ hyperbolic surfaces of non-constant curvature. In contrast to the constant curvature case, these formulas do not provide an explicit method for constructing an immersion but rather describe an immersion via an implicit set of equations. We propose an iterative method for resolving these equations. Because we are interested in scenarios where the curvature is a function of the intrinsic material coordinates, in particular, on the geodesic distance from an origin, we suggest a fast marching method for computing geodesic distance on manifolds. We apply our methods to generate surfaces of non-constant curvature and demonstrate how one can introduce branch points to account for the sort of multi-generational buckling and subwrinkling observed in many applications.


title: Graph IRs for Impure Higher-Order Languages (Technical Report)

abstract: This is a companion report for the OOPSLA 2023 paper of the same title, presenting a detailed end-to-end account of the $\lambda^*_{\mathsf{G}}$ graph IR, at a level of detail beyond a regular conference paper. Our first concern is adequacy and soundness of $\lambda^*_{\mathsf{G}}$, which we derive from a direct-style imperative functional language (a variant of Bao et al.'s $\lambda^*$-calculus with reachability types and a simple effect system) by a series of type-preserving translations into a calculus in monadic normalform (MNF). Static reachability types and effects entirely inform $\lambda^*_{\mathsf{G}}$'s dependency synthesis. We argue for its adequacy by proving its functional properties along with dependency safety via progress and preservation lemmas with respect to a notion of call-by-value (CBV) reduction that checks the observed order of effects. Our second concern is establishing the correctness of $\lambda^*_{\mathsf{G}}$'s equational rules that drive compiler optimizations (e.g., DCE, $\lambda$-hoisting, etc.), by proving contextual equivalence using logical relations. A key insight is that the functional properties of dependency synthesis permit a logical relation on $\lambda^*_{\mathsf{G}}$ in MNF in terms of previously developed logical relations for the direct-style $\lambda^*$-calculus. Finally, we also include a longer version of the conference paper's section on code generation and code motion for $\lambda^*_{\mathsf{G}}$ as implemented in Scala~LMS.


title: Geometric landscape annealing as an optimization principle underlying the coherent Ising machine

abstract: Given the fundamental importance of combinatorial optimization across many diverse application domains, there has been widespread interest in the development of unconventional physical computing architectures that can deliver better solutions with lower resource costs. These architectures embed discrete optimization problems into the annealed, analog evolution of nonlinear dynamical systems. However, a theoretical understanding of their performance remains elusive, unlike the cases of simulated or quantum annealing. We develop such understanding for the coherent Ising machine (CIM), a network of optical parametric oscillators that can be applied to any quadratic unconstrained binary optimization problem. Here we focus on how the CIM finds low-energy solutions of the Sherrington-Kirkpatrick spin glass. As the laser gain is annealed, the CIM interpolates between gradient descent on the soft-spin energy landscape, to optimization on coupled binary spins. By exploiting spin-glass theory, we develop a detailed understanding of the evolving geometry of the high-dimensional CIM energy landscape as the laser gain increases, finding several phase transitions, from flat, to rough, to rigid. Additionally, we develop a cavity method that provides a precise geometric interpretation of supersymmetry breaking in terms of the response of a rough landscape to specific perturbations. We confirm our theory with numerical experiments, and find detailed information about critical points of the landscape. Our extensive analysis of phase transitions provides theoretically motivated optimal annealing schedules that can reliably find near-ground states. This analysis reveals geometric landscape annealing as a powerful optimization principle and suggests many further avenues for exploring other optimization problems, as well as other types of annealed dynamics, including chaotic, oscillatory or quantum dynamics.


title: Post-processing variationally scheduled quantum algorithm for constrained combinatorial optimization problems

abstract: We propose a post-processing variationally scheduled quantum algorithm (pVSQA) for solving constrained combinatorial optimization problems (COPs). COPs are typically transformed into ground-state search problems of the Ising model on a quantum annealer or gate-type quantum device. Variational methods are used to find an optimal schedule function that leads to high-quality solutions in a short amount of time. Post-processing techniques convert the output solutions of the quantum devices to satisfy the constraints of the COPs. pVSQA combines the variational methods and the post-processing technique. We obtain a sufficient condition for constrained COPs to apply pVSQA based on a greedy post-processing algorithm. We apply the proposed method to two constrained NP-hard COPs: the graph partitioning problem and the quadratic knapsack problem. pVSQA on a simulator shows that a small number of variational parameters is sufficient to achieve a (near-)optimal performance within a predetermined operation time. Then building upon the simulator results, we implement pVSQA on a quantum annealer and a gate-type quantum device. The experimental results demonstrate the effectiveness of our proposed method.


title: "I'm Not Confident in Debiasing AI Systems Since I Know Too Little": Teaching AI Creators About Gender Bias Through Hands-on Tutorials

abstract: Gender bias is rampant in AI systems, causing bad user experience, injustices, and mental harm to women. School curricula fail to educate AI creators on this topic, leaving them unprepared to mitigate gender bias in AI. In this paper, we designed hands-on tutorials to raise AI creators' awareness of gender bias in AI and enhance their knowledge of sources of gender bias and debiasing techniques. The tutorials were evaluated with 18 AI creators, including AI researchers, AI industrial practitioners (i.e., developers and product managers), and students who had learned AI. Their improved awareness and knowledge demonstrated the effectiveness of our tutorials, which have the potential to complement the insufficient AI gender bias education in CS/AI courses. Based on the findings, we synthesize design implications and a rubric to guide future research, education, and design efforts.


title: The Compact Support Property of Rough Super Brownian Motion on $\mathbb{R}^2$

abstract: We discuss the compact support property of the rough super-Brownian motion constructed as a scaling limit of a branching random walk in static random environment. The semi-linear equation corresponding to this measure-valued process is the continuous parabolic Anderson model, a singular SPDE in need of renormalization, which prevents the use of classical PDE arguments. But with the help of an interior estimation method, we are able to show that the compact support property also holds for rough super-Brownian motion.


title: Multivariate Fibonacci-like Polynomials and their Applications

abstract: The Fibonacci polynomials are defined recursively as $f_{n}(x)=xf_{n-1}(x)+f_{n-2}(x)$, where $f_0(x) = 0$ and $f_1(x)= 1$. We generalize these polynomials to an arbitrary number of variables with the $r$-Fibonacci polynomial. We extend several well-known results such as the explicit Binet formula and a Cassini-like identity, and use these to prove that the $r$-Fibonacci polynomials are irreducible over $\mathbb{C}$ for $n \geq r \geq 3$. Additionally, we derive an explicit sum formula and a generalized generating function. Using these results, we establish connections to ordinary Bell polynomials, exponential Bell polynomials, Fubini numbers, and integer and set partitions.


title: Eckardt points on a cubic threefold

abstract: In this paper we survey Eckardt points on a smooth complex cubic threefold with an approach aimed at computing all Eckardt points of a cubic threefold. In addition, we construct cubic threefolds with no Eckardt points but containing triple lines.


title: Oobleck: Resilient Distributed Training of Large Models Using Pipeline Templates

abstract: Oobleck enables resilient distributed training of large DNN models with guaranteed fault tolerance. It takes a planning-execution co-design approach, where it first generates a set of heterogeneous pipeline templates and instantiates at least $f+1$ logically equivalent pipeline replicas to tolerate any $f$ simultaneous failures. During execution, it relies on already-replicated model states across the replicas to provide fast recovery. Oobleck provably guarantees that some combination of the initially created pipeline templates can be used to cover all available resources after $f$ or fewer simultaneous failures, thereby avoiding resource idling at all times. Evaluation on large DNN models with billions of parameters shows that Oobleck provides consistently high throughput, and it outperforms state-of-the-art fault tolerance solutions like Bamboo and Varuna by up to $29.6x$.


title: Analysis of a stochastic SIR model with media effects

abstract: In this study, we investigate a stochastic SIR model with media effects. The uniqueness and the existence of a global positive solution are studied. The sufficient conditions of extinction and persistence of the disease are established. We obtain the basic reproduction number $R_0^S$ for stochastic system, which can act as the threshold given small environmental noise. Note that large noise can induce the disease extinction with probability of 1, suggesting that environmental noises can not be ignored when investigating threshold dynamics. Further, inclusion of media induced behaviour changes does not affect the threshold itself, which is similar to the conclusion of the deterministic models. However, numerical simulations suggest that media impacts induce the disease infection decline.


title: Diversity-based core-set selection for text-to-speech with linguistic and acoustic features

abstract: This paper proposes a method for extracting a lightweight subset from a text-to-speech (TTS) corpus ensuring synthetic speech quality. In recent years, methods have been proposed for constructing large-scale TTS corpora by collecting diverse data from massive sources such as audiobooks and YouTube. Although these methods have gained significant attention for enhancing the expressive capabilities of TTS systems, they often prioritize collecting vast amounts of data without considering practical constraints like storage capacity and computation time in training, which limits the available data quantity. Consequently, the need arises to efficiently collect data within these volume constraints. To address this, we propose a method for selecting the core subset~(known as \textit{core-set}) from a TTS corpus on the basis of a \textit{diversity metric}, which measures the degree to which a subset encompasses a wide range. Experimental results demonstrate that our proposed method performs significantly better than the baseline phoneme-balanced data selection across language and corpus size.


title: Multicontinuum homogenization. General theory and applications

abstract: In this paper, we discuss a general framework for multicontinuum homogenization. Multicontinuum models are widely used in many applications and some derivations for these models are established. In these models, several macroscopic variables at each macroscale point are defined and the resulting multicontinuum equations are formulated. In this paper, we propose a general formulation and associated ingredients that allow performing multicontinuum homogenization. Our derivation consists of several main parts. In the first part, we propose a general expansion, where the solution is expressed via the product of multiple macro variables and associated cell problems. The second part consists of formulating the cell problems. The cell problems are formulated as saddle point problems with constraints for each continua. Defining the continua via test functions, we set the constraints as an integral representation. Finally, substituting the expansion to the original system, we obtain multicontinuum systems. We present an application to the mixed formulation of elliptic equations. This is a challenging system as the system does not have symmetry. We discuss the local problems and various macroscale representations for the solution and its gradient. Using various order approximations, one can obtain different systems of equations. We discuss the applicability of multicontinuum homogenization and relate this to high contrast in the cell problem. Numerical results are presented.


title: Increasing diversity of omni-directional images generated from single image using cGAN based on MLPMixer

abstract: This paper proposes a novel approach to generating omni-directional images from a single snapshot picture. The previous method has relied on the generative adversarial networks based on convolutional neural networks (CNN). Although this method has successfully generated omni-directional images, CNN has two drawbacks for this task. First, since a convolutional layer only processes a local area, it is difficult to propagate the information of an input snapshot picture embedded in the center of the omni-directional image to the edges of the image. Thus, the omni-directional images created by the CNN-based generator tend to have less diversity at the edges of the generated images, creating similar scene images. Second, the CNN-based model requires large video memory in graphics processing units due to the nature of the deep structure in CNN since shallow-layer networks only receives signals from a limited range of the receptive field. To solve these problems, MLPMixer-based method was proposed in this paper. The MLPMixer has been proposed as an alternative to the self-attention in the transformer, which captures long-range dependencies and contextual information. This enables to propagate information efficiently in the omni-directional image generation task. As a result, competitive performance has been achieved with reduced memory consumption and computational cost, in addition to increasing diversity of the generated omni-directional images.


title: Adaptive finite element approximation of sparse optimal control with integral fractional Laplacian

abstract: In this paper we present and analyze a weighted residual a posteriori error estimate for an optimal control problem. The problem involves a nondifferentiable cost functional, a state equation with an integral fractional Laplacian, and control constraints. We employ subdifferentiation in the context of nondifferentiable convex analysis to obtain first-order optimality conditions. Piecewise linear polynomials are utilized to approximate the solutions of the state and adjoint equations. The control variable is discretized using the variational discretization method. Upper and lower bounds for the a posteriori error estimate of the finite element approximation of the optimal control problem are derived. In the region where 3/2 < alpha < 2, the residuals do not satisfy the L2(Omega) regularity. To address this issue, an additional weight is included in the weighted residual estimator, which is based on a power of the distance from the mesh skeleton. Furthermore, we propose an h-adaptive algorithm driven by the posterior view error estimator, utilizing the Dorfler labeling criterion. The convergence analysis results show that the approximation sequence generated by the adaptive algorithm converges at the optimal algebraic rate. Finally, numerical experiments are conducted to validate the theoretical results.


title: t-SOT FNT: Streaming Multi-talker ASR with Text-only Domain Adaptation Capability

abstract: Token-level serialized output training (t-SOT) was recently proposed to address the challenge of streaming multi-talker automatic speech recognition (ASR). T-SOT effectively handles overlapped speech by representing multi-talker transcriptions as a single token stream with $\langle \text{cc}\rangle$ symbols interspersed. However, the use of a naive neural transducer architecture significantly constrained its applicability for text-only adaptation. To overcome this limitation, we propose a novel t-SOT model structure that incorporates the idea of factorized neural transducers (FNT). The proposed method separates a language model (LM) from the transducer's predictor and handles the unnatural token order resulting from the use of $\langle \text{cc}\rangle$ symbols in t-SOT. We achieve this by maintaining multiple hidden states and introducing special handling of the $\langle \text{cc}\rangle$ tokens within the LM. The proposed t-SOT FNT model achieves comparable performance to the original t-SOT model while retaining the ability to reduce word error rate (WER) on both single and multi-talker datasets through text-only adaptation.


title: Warped product pointwise bi-slant submanifolds of locally product Riemannian manifolds

abstract: In this paper we introduce the concept of pointwise bi-slant submanifolds of locally product Riemannian manifolds and studied warped product pointwise bi-slant submanifolds of locally product Riemannian manifolds. We obtain some characterization results for warped products pointwise bi-slant submanifolds. Also, we provide some non-trivial examples of such warped product submanifolds.


title: Talkin' 'Bout AI Generation: Copyright and the Generative-AI Supply Chain

abstract: "Does generative AI infringe copyright?" is an urgent question. It is also a difficult question, for two reasons. First, "generative AI" is not just one product from one company. It is a catch-all name for a massive ecosystem of loosely related technologies, including conversational text chatbots like ChatGPT, image generators like Midjourney and DALL-E, coding assistants like GitHub Copilot, and systems that compose music and create videos. These systems behave differently and raise different legal issues. The second problem is that copyright law is notoriously complicated, and generative-AI systems manage to touch on a great many corners of it: authorship, similarity, direct and indirect liability, fair use, and licensing, among much else. These issues cannot be analyzed in isolation, because there are connections everywhere. In this Article, we aim to bring order to the chaos. To do so, we introduce the generative-AI supply chain: an interconnected set of stages that transform training data (millions of pictures of cats) into generations (a new, potentially never-seen-before picture of a cat that has never existed). Breaking down generative AI into these constituent stages reveals all of the places at which companies and users make choices that have copyright consequences. It enables us to trace the effects of upstream technical designs on downstream uses, and to assess who in these complicated sociotechnical systems bears responsibility for infringement when it happens. Because we engage so closely with the technology of generative AI, we are able to shed more light on the copyright questions. We do not give definitive answers as to who should and should not be held liable. Instead, we identify the key decisions that courts will need to make as they grapple with these issues, and point out the consequences that would likely flow from different liability regimes.


title: AnyOKP: One-Shot and Instance-Aware Object Keypoint Extraction with Pretrained ViT

abstract: Towards flexible object-centric visual perception, we propose a one-shot instance-aware object keypoint (OKP) extraction approach, AnyOKP, which leverages the powerful representation ability of pretrained vision transformer (ViT), and can obtain keypoints on multiple object instances of arbitrary category after learning from a support image. An off-the-shelf petrained ViT is directly deployed for generalizable and transferable feature extraction, which is followed by training-free feature enhancement. The best-prototype pairs (BPPs) are searched for in support and query images based on appearance similarity, to yield instance-unaware candidate keypoints.Then, the entire graph with all candidate keypoints as vertices are divided to sub-graphs according to the feature distributions on the graph edges. Finally, each sub-graph represents an object instance. AnyOKP is evaluated on real object images collected with the cameras of a robot arm, a mobile robot, and a surgical robot, which not only demonstrates the cross-category flexibility and instance awareness, but also show remarkable robustness to domain shift and viewpoint change.


title: Entanglement dynamics in $\kappa$-deformed spacetime

abstract: We treat two identical and mutually independent two-level atoms that are coupled to quantum field as an open quantum system. The master equation that governs their evolution is derived by tracing over the degree of freedom of field. With this, we comparatively study the entanglement dynamics of the two atoms moving with different trajectories in $\kappa$-deformed spacetime and Minkowski spacetime. It is found that when there is no the environment-induced interatomic interaction, the entanglement dynamics of two static atoms in $\kappa$-deformed spacetime are reduced to the case in Minkowski spacetime in the case that the spacetime deformation parameter $\kappa$ is huge enough as theoretically predicted. However, if the atoms undergo relativistic motion, no matter inertial or non-inertial, their entanglement dynamics in $\kappa$-deformed spacetime behave quite differently with that in Minkowski spacetime even $\kappa$ is huge. We investigate various entanglement behaviors, such as decay and generation, and discuss how different relativistic motion, such as uniform motion in a straight line and circular motion, amplifies the difference of entanglement dynamics between the $\kappa$-deformed spacetime case and the Minkowski spacetime case. Besides, when the environment-induced interatomic interaction is considered, we find that it may also enhance the difference of entanglement dynamics between in these two spacetimes. So, in principle, one can tell whether he is in $\kappa$-deformed spacetime or in Minkowski spacetime by checking the entanglement behaviors between two atoms in certain circumstances.


title: Let's Roll: Synthetic Dataset Analysis for Pedestrian Detection Across Different Shutter Types

abstract: Computer vision (CV) pipelines are typically evaluated on datasets processed by image signal processing (ISP) pipelines even though, for resource-constrained applications, an important research goal is to avoid as many ISP steps as possible. In particular, most CV datasets consist of global shutter (GS) images even though most cameras today use a rolling shutter (RS). This paper studies the impact of different shutter mechanisms on machine learning (ML) object detection models on a synthetic dataset that we generate using the advanced simulation capabilities of Unreal Engine 5 (UE5). In particular, we train and evaluate mainstream detection models with our synthetically-generated paired GS and RS datasets to ascertain whether there exists a significant difference in detection accuracy between these two shutter modalities, especially when capturing low-speed objects (e.g., pedestrians). The results of this emulation framework indicate the performance between them are remarkably congruent for coarse-grained detection (mean average precision (mAP) for IOU=0.5), but have significant differences for fine-grained measures of detection accuracy (mAP for IOU=0.5:0.95). This implies that ML pipelines might not need explicit correction for RS for many object detection applications, but mitigating RS effects in ISP-less ML pipelines that target fine-grained location of the objects may need additional research.


title: Small scale creation for 2D free boundary Euler equations with surface tension

abstract: In this paper, we study the 2D free boundary incompressible Euler equations with surface tension, where the fluid domain is periodic in $x_1$, and has finite depth. We construct initial data with a flat free boundary and arbitrarily small velocity, such that the gradient of vorticity grows at least double-exponentially for all times during the lifespan of the associated solution. This work generalizes the celebrated result by Kiselev--{\v{S}}ver{\'a}k to the free boundary setting. The free boundary introduces some major challenges in the proof due to the deformation of the fluid domain and the fact that the velocity field cannot be reconstructed from the vorticity using the Biot-Savart law. We overcome these issues by deriving uniform-in-time control on the free boundary and obtaining pointwise estimates on an approximate Biot-Savart law.


title: Find What You Want: Learning Demand-conditioned Object Attribute Space for Demand-driven Navigation

abstract: The task of Visual Object Navigation (VON) involves an agent's ability to locate a particular object within a given scene. In order to successfully accomplish the VON task, two essential conditions must be fulfilled:1) the user must know the name of the desired object; and 2) the user-specified object must actually be present within the scene. To meet these conditions, a simulator can incorporate pre-defined object names and positions into the metadata of the scene. However, in real-world scenarios, it is often challenging to ensure that these conditions are always met. Human in an unfamiliar environment may not know which objects are present in the scene, or they may mistakenly specify an object that is not actually present. Nevertheless, despite these challenges, human may still have a demand for an object, which could potentially be fulfilled by other objects present within the scene in an equivalent manner. Hence, we propose Demand-driven Navigation (DDN), which leverages the user's demand as the task instruction and prompts the agent to find the object matches the specified demand. DDN aims to relax the stringent conditions of VON by focusing on fulfilling the user's demand rather than relying solely on predefined object categories or names. We propose a method first acquire textual attribute features of objects by extracting common knowledge from a large language model. These textual attribute features are subsequently aligned with visual attribute features using Contrastive Language-Image Pre-training (CLIP). By incorporating the visual attribute features as prior knowledge, we enhance the navigation process. Experiments on AI2Thor with the ProcThor dataset demonstrate the visual attribute features improve the agent's navigation performance and outperform the baseline methods commonly used in VON.


title: Multi-Scale Estimation for Omni-Directional Saliency Maps Using Learnable Equator Bias

abstract: Omni-directional images have been used in wide range of applications. For the applications, it would be useful to estimate saliency maps representing probability distributions of gazing points with a head-mounted display, to detect important regions in the omni-directional images. This paper proposes a novel saliency-map estimation model for the omni-directional images by extracting overlapping 2-dimensional (2D) plane images from omni-directional images at various directions and angles of view. While 2D saliency maps tend to have high probability at the center of images (center bias), the high-probability region appears at horizontal directions in omni-directional saliency maps when a head-mounted display is used (equator bias). Therefore, the 2D saliency model with a center-bias layer was fine-tuned with an omni-directional dataset by replacing the center-bias layer to an equator-bias layer conditioned on the elevation angle for the extraction of the 2D plane image. The limited availability of omni-directional images in saliency datasets can be compensated by using the well-established 2D saliency model pretrained by a large number of training images with the ground truth of 2D saliency maps. In addition, this paper proposes a multi-scale estimation method by extracting 2D images in multiple angles of view to detect objects of various sizes with variable receptive fields. The saliency maps estimated from the multiple angles of view were integrated by using pixel-wise attention weights calculated in an integration layer for weighting the optimal scale to each object. The proposed method was evaluated using a publicly available dataset with evaluation metrics for omni-directional saliency maps. It was confirmed that the accuracy of the saliency maps was improved by the proposed method.


title: PromptTTS++: Controlling Speaker Identity in Prompt-Based Text-to-Speech Using Natural Language Descriptions

abstract: We propose PromptTTS++, a prompt-based text-to-speech (TTS) synthesis system that allows control over speaker identity using natural language descriptions. To control speaker identity within the prompt-based TTS framework, we introduce the concept of speaker prompt, which describes voice characteristics (e.g., gender-neutral, young, old, and muffled) designed to be approximately independent of speaking style. Since there is no large-scale dataset containing speaker prompts, we first construct a dataset based on the LibriTTS-R corpus with manually annotated speaker prompts. We then employ a diffusion-based acoustic model with mixture density networks to model diverse speaker factors in the training data. Unlike previous studies that rely on style prompts describing only a limited aspect of speaker individuality, such as pitch, speaking speed, and energy, our method utilizes an additional speaker prompt to effectively learn the mapping from natural language descriptions to the acoustic features of diverse speakers. Our subjective evaluation results show that the proposed method can better control speaker characteristics than the methods without the speaker prompt. Audio samples are available at https://reppy4620.github.io/demo.promptttspp/.


title: Audio Difference Learning for Audio Captioning

abstract: This study introduces a novel training paradigm, audio difference learning, for improving audio captioning. The fundamental concept of the proposed learning method is to create a feature representation space that preserves the relationship between audio, enabling the generation of captions that detail intricate audio information. This method employs a reference audio along with the input audio, both of which are transformed into feature representations via a shared encoder. Captions are then generated from these differential features to describe their differences. Furthermore, a unique technique is proposed that involves mixing the input audio with additional audio, and using the additional audio as a reference. This results in the difference between the mixed audio and the reference audio reverting back to the original input audio. This allows the original input's caption to be used as the caption for their difference, eliminating the need for additional annotations for the differences. In the experiments using the Clotho and ESC50 datasets, the proposed method demonstrated an improvement in the SPIDEr score by 7% compared to conventional methods.


title: MAVIS: Multi-Camera Augmented Visual-Inertial SLAM using SE2(3) Based Exact IMU Pre-integration

abstract: We present a novel optimization-based Visual-Inertial SLAM system designed for multiple partially overlapped camera systems, named MAVIS. Our framework fully exploits the benefits of wide field-of-view from multi-camera systems, and the metric scale measurements provided by an inertial measurement unit (IMU). We introduce an improved IMU pre-integration formulation based on the exponential function of an automorphism of SE_2(3), which can effectively enhance tracking performance under fast rotational motion and extended integration time. Furthermore, we extend conventional front-end tracking and back-end optimization module designed for monocular or stereo setup towards multi-camera systems, and introduce implementation details that contribute to the performance of our system in challenging scenarios. The practical validity of our approach is supported by our experiments on public datasets. Our MAVIS won the first place in all the vision-IMU tracks (single and multi-session SLAM) on Hilti SLAM Challenge 2023 with 1.7 times the score compared to the second place.


title: Chemical potential (in)dependence of hadron scatterings in the hadronic phase of QCD-like theories and its applications

abstract: We formulate a method for calculating the hadron-hadron scattering amplitudes at nonzero chemical potential ($\mu$) in the hadronic phase at zero temperature, where the baryon number symmetry remains to be violated. Although it is widely believed that the physical quantities do not change even if we turn on a small $\mu$ at zero temperature, the shape of correlation functions for a single hadron depends on $\mu$. Then, the dispersion relation of the single hadron is modified to $E({\bf p},\mu) = \sqrt{{\bf p}^2+m^2}-\mu n_{O}$. Here, $m$ and $n_O$ denote the hadron mass at $\mu=0$ and the quantum number, respectively. From this relation, it is possible that the effective mass of the hadron depends on $\mu$. We extend the HAL QCD method at $\mu=0$ to the case of $\mu \ne 0$, which allows us to extract the scattering phase shifts via the interaction potential. We have found that the interaction potential can depend on $\mu$ only through the effective mass while the scattering phase shifts, obtained by solving the Schr\"{o}dinger equation with the interaction potential, are independent of $\mu$. We also numerically analyze the S-wave scatterings of two pions with isospin $I=2$ and two scalar diquarks within the framework of QC$_{2}$D at nonzero quark chemical potential. While the lattice is not exactly set to zero temperature, the $\mu$-independence can be observed. Furthermore, we improve the results for the S-wave scatterings of two hadrons obtained above by taking the $\mu$-independence for granted. Thanks to the asymmetric property of the correlation functions for diquarks at $\mu\neq0$, we can access a long-$\tau$ regime and can reduce the systematic error coming from inelastic contributions.


title: Two-Step Knowledge Distillation for Tiny Speech Enhancement

abstract: Tiny, causal models are crucial for embedded audio machine learning applications. Model compression can be achieved via distilling knowledge from a large teacher into a smaller student model. In this work, we propose a novel two-step approach for tiny speech enhancement model distillation. In contrast to the standard approach of a weighted mixture of distillation and supervised losses, we firstly pre-train the student using only the knowledge distillation (KD) objective, after which we switch to a fully supervised training regime. We also propose a novel fine-grained similarity-preserving KD loss, which aims to match the student's intra-activation Gram matrices to that of the teacher. Our method demonstrates broad improvements, but particularly shines in adverse conditions including high compression and low signal to noise ratios (SNR), yielding signal to distortion ratio gains of 0.9 dB and 1.1 dB, respectively, at -5 dB input SNR and 63x compression compared to baseline.


title: Dimensions of a class of self-affine Moran sets and measures in $\R^2$

abstract: For each integer $k>0$, let $n_k$ and $m_k$ be integers such that $n_k\geq 2, m_k\geq 2$, and let $\mathcal{D}_k$ be a subset of $\{0,\dots,n_k-1\}\times \{0,\dots,m_k-1\}$. For each $w=(i,j)\in \mathcal{D}_k$, we define an affine transformation on~$\R^2$ by $$ \Phi_w(x)=T_k(x+w), \qquad w\in\mathcal{D}_k, $$ where $T_k=\operatorname{diag}(n_k^{-1},m_k^{-1})$. The non-empty compact set $$ E=\bigcap\nolimits_{k=1}^{\infty}\bigcup\nolimits_{(w_1w_2\ldots w_k)\in \prod_{i=1}^k\mathcal{D}_i} \Phi_{w_1}\circ \Phi_{w_2}\circ \ldots\circ \Phi_{w_k} $$ is called a \textit{self-affine Moran set}. In the paper, we provide the lower, packing, box-counting and Assouad dimensions of the self-affine Moran set $E$. We also explore the dimension properties of self-affine Moran measure $\mu$ supported on $E$, and we provide Hausdorff, packing and entropy dimension formulas of $\mu$.


title: Syn-Att: Synthetic Speech Attribution via Semi-Supervised Unknown Multi-Class Ensemble of CNNs

abstract: With the huge technological advances introduced by deep learning in audio & speech processing, many novel synthetic speech techniques achieved incredible realistic results. As these methods generate realistic fake human voices, they can be used in malicious acts such as people imitation, fake news, spreading, spoofing, media manipulations, etc. Hence, the ability to detect synthetic or natural speech has become an urgent necessity. Moreover, being able to tell which algorithm has been used to generate a synthetic speech track can be of preeminent importance to track down the culprit. In this paper, a novel strategy is proposed to attribute a synthetic speech track to the generator that is used to synthesize it. The proposed detector transforms the audio into log-mel spectrogram, extracts features using CNN, and classifies it between five known and unknown algorithms, utilizing semi-supervision and ensemble to improve its robustness and generalizability significantly. The proposed detector is validated on two evaluation datasets consisting of a total of 18,000 weakly perturbed (Eval 1) & 10,000 strongly perturbed (Eval 2) synthetic speeches. The proposed method outperforms other top teams in accuracy by 12-13% on Eval 2 and 1-2% on Eval 1, in the IEEE SP Cup challenge at ICASSP 2022.


title: Gluing of Fourier-Mukai partners in a triangular spectrum and birational geometry

abstract: Balmer defined the tensor triangulated spectrum $\operatorname{Spec}_\otimes \mathcal{T}$ of a tensor triangulated category $(\mathcal{T},\otimes)$ and showed that for a variety $X$, we have the reconstruction $X \cong \operatorname{Spec}_{\otimes_{\mathscr{O}_X}^{\mathbb{L}}}\operatorname{Perf} X$. In the absence of the tensor structure, Matsui recently introduced the triangular spectrum $\operatorname{Spec}_\vartriangle \mathcal{T}$ of a triangulated category $\mathcal{T}$ and showed that there exists an immersion $X \cong \operatorname{Spec}_{\otimes_{\mathscr{O}_X}^{\mathbb{L}}}\operatorname{Perf} X \subset \operatorname{Spec}_\vartriangle \operatorname{Perf} X$. In this paper, we construct a scheme $\operatorname{Spec}^{\mathsf{FM}} \mathcal{T} \subset \operatorname{Spec}_\vartriangle \mathcal{T}$, called the Fourier-Mukai (FM) locus, by gathering all varieties $X$ satisfying $\operatorname{Perf} X \simeq \mathcal{T}$. Those varieties are called FM partners of $\mathcal{T}$ and immersed into $\operatorname{Spec}_\vartriangle \mathcal{T}$ as tensor triangulated spectra. We present a variety of examples illustrating how geometric and birational properties of FM partners are reflected in the way their tensor triangulated spectra are glued in the FM locus. Finally, we compare the FM locus with other loci within the triangular spectrum admitting categorical characterizations, and in particular, make a precise conjecture about the relation of the FM locus with the Serre invariant locus.


title: Multifractal analysis of a class of self-affine Moran sets

abstract: In the paper, we investigate the fine multifractal spectrum of a class of self-affine Moran sets with fixed frequencies, and we prove that under certain separation conditions, the fine multifractal spectrum $H(\alpha)$ is given by the formula $$ H(\alpha)=\inf_{-\infty<t<+\infty} \{\alpha t+\beta(t)\}. $$


title: Private Inputs for Leader-Follower Game with Feedback Stackelberg Strategy

abstract: In this paper, the two-player leader-follower game with private inputs for feedback Stackelberg strategy is considered. In particular, the follower shares its measurement information with the leader except its historical control inputs while the leader shares none of the historical control inputs and the measurement information with the follower. The private inputs of the leader and the follower lead to the main obstacle, which causes the fact that the estimation gain and the control gain are related with each other, resulting that the forward and backward Riccati equations are coupled and making the calculation complicated. By introducing a kind of novel observers through the information structure for the follower and the leader, respectively, a kind of new observer-feedback Stacklberg strategy is designed. Accordingly, the above-mentioned obstacle is also avoided. Moreover, it is found that the cost functions under the presented observer-feedback Stackelberg strategy are asymptotically optimal to the cost functions under the optimal feedback Stackelberg strategy with the feedback form of the state. Finally, a numerical example is given to show the efficiency of this paper.


title: Unimodal Aggregation for CTC-based Speech Recognition

abstract: This paper works on non-autoregressive automatic speech recognition. A unimodal aggregation (UMA) is proposed to segment and integrate the feature frames that belong to the same text token, and thus to learn better feature representations for text tokens. The frame-wise features and weights are both derived from an encoder. Then, the feature frames with unimodal weights are integrated and further processed by a decoder. Connectionist temporal classification (CTC) loss is applied for training. Compared to the regular CTC, the proposed method learns better feature representations and shortens the sequence length, resulting in lower recognition error and computational complexity. Experiments on three Mandarin datasets show that UMA demonstrates superior or comparable performance to other advanced non-autoregressive methods, such as self-conditioned CTC. Moreover, by integrating self-conditioned CTC into the proposed framework, the performance can be further noticeably improved.


title: Dimension theory of Non-Autonomous iterated function systems

abstract: In the paper, we define a class of new fractals named ``non-autonomous attractors", which are the generalization of classic Moran sets and attractors of iterated function systems. Simply to say, we replace the similarity mappings by contractive mappings and remove the separation assumption in Moran structure. We give the dimension estimate for non-autonomous attractors. Furthermore, we study a class of non-autonomous attractors, named `` non-autonomous affine sets or affine sets'', where the contractions are restricted to affine mappings. To study the dimension theory of such fractals, we define two critical values $s^*$ and $s_A$, and the upper box-counting dimensions and Hausdorff dimensions of non-autonomous affine sets are bounded above by $s^*$ and $s_A$, respectively. Unlike self-affine fractals where $s^*=s_A$, we always have that $s^*\geq s_A$, and the inequality may strictly hold. Under certain conditions, we obtain that the upper box-counting dimensions and Hausdorff dimensions of non-autonomous affine sets may equal to $s^*$ and $s_A$, respectively. In particular, we study non-autonomous affine sets with random translations, and the Hausdorff dimensions of such sets equal to $s_A$ almost surely.


title: DA-RAW: Domain Adaptive Object Detection for Real-World Adverse Weather Conditions

abstract: Despite the success of deep learning-based object detection methods in recent years, it is still challenging to make the object detector reliable in adverse weather conditions such as rain and snow. For the robust performance of object detectors, unsupervised domain adaptation has been utilized to adapt the detection network trained on clear weather images to adverse weather images. While previous methods do not explicitly address weather corruption during adaptation, the domain gap between clear and adverse weather can be decomposed into two factors with distinct characteristics: a style gap and a weather gap. In this paper, we present an unsupervised domain adaptation framework for object detection that can more effectively adapt to real-world environments with adverse weather conditions by addressing these two gaps separately. Our method resolves the style gap by concentrating on style-related information of high-level features using an attention module. Using self-supervised contrastive learning, our framework then reduces the weather gap and acquires instance features that are robust to weather corruption. Extensive experiments demonstrate that our method outperforms other methods for object detection in adverse weather conditions.