title: A reverberation mapping study of a highly variable AGN 6dFGS gJ022550.0-060145

abstract: We use LCOGT observations (MJD $59434-59600$) with a total exposure time of $\simeq 50$ hours and a median cadence of $0.5$ days to measure the inter-band time delays (with respect to $u$) in the $g$, $r$, and $i$ continua of a highly variable AGN, 6dFGS gJ022550.0-060145. We also calculate the expected time delays of the X-ray reprocessing of a static Shakura \& Sunyaev disk (SSD) according to the sources' luminosity and virial black-hole mass; the two parameters are measured from the optical spectrum of our spectroscopic observation via the Lijiang \SI{2.4}{\meter} telescope. It is found that the ratio of the measured time delays to the predicted ones is $2.6_{-1.3}^{+1.3}$. With optical light curves (MJD $53650-59880$) from our new LCOGT and archival ZTF, Pan-SATRRS, CSS, and ATLAS observations, and infrared (IR) WISE data (MJD $55214-59055$), we also measured time delays between WISE $W1$/$W2$ and the optical emission. $W1$ and $W2$ have time delays (with respect to V), $9.6^{+2.9}_{-1.6}\times 10^2$ days and $1.18^{+0.13}_{-0.10}\times 10^3$ days in the rest-frame, respectively; hence, the dusty torus of 6dFGS gJ022550.0-060145 should be compact. The time delays of $W1$ and $W2$ bands are higher than the dusty torus size-luminosity relationship of~\cite{Lyu2019}. By comparing the IR and optical variability amplitude, we find that the dust covering factors of $W1$ and $W2$ emission regions are 0.7 and 0.6, respectively. Future broad emission-line reverberation mapping of this target and the results of this work enable us to determine the sizes of the AGN main components simultaneously.


title: A Novel Method for Calculating Deflection Angle

abstract: In this paper, we introduce a method for calculating the deflection angle in the weak-field approximation, applicable to both null and timelike rays. By combining the trajectory equation $\mathcal{Z}(u)=(du/d\phi)^2$ and the `straight line' $u(\varphi)={\sin\varphi}/b$, we introduce a new function $\Phi(\varphi)$. The deflection angle can then be expressed as $\delta=\Phi(0)+\Phi(\pi)-\pi$, which directly depends on the impact parameter rather than the closest approach distance. This method offers a convenient and straightforward approach to calculations, avoiding the complexities of integration or iterative procedures. As an illustrative application, we compute the deflection angle for charged particle in the Kerr-Newman spacetime.


title: Refined generalization analysis of the Deep Ritz Method and Physics-Informed Neural Networks

abstract: In this paper, we present refined generalization bounds for the Deep Ritz Method (DRM) and Physics-Informed Neural Networks (PINNs). For the DRM, we focus on two prototype elliptic PDEs: Poisson equation and static Schr\"odinger equation on the $d$-dimensional unit hypercube with the Neumann boundary condition. And sharper generalization bounds are derived based on the localization techniques under the assumptions that the exact solutions of the PDEs lie in the Barron spaces or the general Sobolev spaces. For the PINNs, we investigate the general linear second elliptic PDEs with Dirichlet boundary condition via the local Rademacher complexity in the multi-task learning.


title: GIT quotient of Schubert varieties modulo one dimensional torus

abstract: Let $G$ be a simple algebraic group of adjoint type of rank $n$ over $\mathbb{C}$. Let $T$ be a maximal torus of $G$, and $B$ be a Borel subgroup of $G$ containing $T$. Let $W=N_{G}(T)/T$ be the Weyl group of $G$. Let $S=\{\alpha_{1},\ldots,\alpha_{n}\}$ be the set of simple roots of $G$ relative to $(B,T)$. Let $\lambda_{s}$ be the one parameter subgroup of $T$ dual to $\alpha_{s}$. In this paper, we give a criterion for Schubert varieties admitting semistable points for the $\lambda_{s}$-linearized line bundles $\mathcal{L}(\chi)$ associated to every dominant character $\chi$ of $T$. If $\omega_{r}$ is a minuscule fundamental weight and $m\omega_{r}\in X(T)$, then we prove that there is a unique minimal dimensional Schubert variety $X(w_{s,r})$ in $G/P_{S\setminus\{\alpha_{r}\}}$ such that $X(w_{s,r})^{ss}_{\lambda_{s}}(\mathcal{L}(m\omega_{r}))\neq \phi$. Further, we prove that if $G=PSL(n,\mathbb{C})$, and $n\nmid rs$, $m=\frac{n}{(rs,n)}$, and $p=\lfloor\frac{rs}{n}\rfloor$ then the GIT quotient of the minimal dimensional Schubert variety $X(w_{s,r})$ is isomorphic to the projective space $\mathbb{P}(M(s-p, r-p))$, where $M(s-p, r-p)$ is the $(s-p)\times (r-p)$-matrices with complex numbers as entries.


title: Landau-Level Mixing and SU(4) Symmetry Breaking in Graphene

abstract: Recent scanning tunneling microscopy experiments on graphene at charge neutrality under strong magnetic fields have uncovered a ground state characterized by Kekul\'e distortion (KD). In contrast, non-local spin and charge transport experiments in double-encapsulated graphene, which has a higher dielectric constant, have identified an antiferromagnetic (AF) ground state. We propose a mechanism to reconcile these conflicting observations, by showing that Landau-level mixing can drive a transition from AF to KD with the reduction of the dielectric screening. Our conclusion is drawn from studying the effect of Landau-level mixing on the lattice-scale, valley-dependent interactions to leading order in graphene's fine structure constant $\kappa = e^2/(\hbar v_F \epsilon)$. This analysis provides three key insights: 1) Valley-dependent interactions remain predominantly short-range with the $m=0$ Haldane pseudopotential being at least an order of magnitude greater than the others, affirming the validity of delta-function approximation for these interactions. 2) The phase transition between the AF and KD states is driven by the microscopic process in the double-exchange Feynman diagram. 3) The magnitudes of the coupling constants are significantly boosted by remote Landau levels. Our model also provides a theoretical basis for numerical studies of fractional quantum Hall states in graphene.


title: Cavity optomechanical liquid level meter using a twin-microbottle resonator

abstract: Cavity optomechanical devices can be made to have good compatibility with optical fiber technology by utilizing fiber-based waveguides and cavities and can be used in high-performance optical sensor applications. Such optomechanical microsensors have a great potential for exploring the properties of liquids, such as density, viscosity, and masses of included nanoparticles. However, as yet, there is no cavity optomechanical architecture that can be used to sense the liquid's shape, e.g., liquid level. In this paper, we report a demonstration of a liquid-level meter using a twin-microbottle resonator that can make measurements at arbitrary positions and depths in the liquid. The twin-microbottle resonator has a maximum diameter of 68 $\mu$m and length of 800 $\mu$m. By immersing one part of it in water and keeping the other part in air, the mechanical radial breathing mode can be read out sensitively while maintaining a high optical quality factor of the optical whispering gallery mode regardless of the water immersion. This high mechanical displacement sensitivity provides a frequency resolution that is high enough to measure the mechanical frequency shift due to the water immersion and resolves the water level to 2.6$\pm$0.9 pm. This unique liquid-level meter based on a highly sensitive cavity optomechanical setup can be used to detect tiny fluctuations of various air-liquid and liquid-liquid interfaces.


title: Revisit on global existence of solutions for semilinear damped wave equations in $\mathbb{R}^N$ with noncompactly supported initial data

abstract: In this note, we study the Cauchy problem of the semilinear damped wave equation and our aim is the small data global existence for noncompactly supported initial data. For this problem, Ikehata and Tanizawa [5] introduced the energy method with the exponential-type weight function $e^{|x|^2/(1+t)}$, which is the so-called Ikehata--Todorova--Yordanov type weight. In this note, we suggest another weight function of the form $(1+|x|^2/(1+t))^{\lambda}$, which allows us to treat polynomially decaying initial data and give a simpler proof than the previous studies treating such initial data.


title: Some reflections on the relationship between logical incompleteness and concrete incompleteness

abstract: In this paper, we aim to conceptually examine the relationship between logical incompleteness and concrete incompleteness which both study the incompleteness phenomenon. We argue for two main theses. Firstly, the current research on concrete incompleteness reals both similarities and differences between logical incompleteness and concrete incompleteness. Similarities between them are not universal, and differences between them are essential. Secondly, concrete incompleteness is a higher order phenomenon over logical incompleteness. This verifies that Hilbert's concrete and intuitive proof theory provides us essential new information from non-concrete and non-intuitive ideal proofs. We examine similarities between logical incompleteness and concrete incompleteness from two aspects: equivalences between logical incompleteness and concrete incompleteness, and the ubiquity of the incompleteness phenomenon in both logical incompleteness and concrete incompleteness. We examine differences between logical incompleteness and concrete incompleteness from five aspects: (1) the influence on Hilbert's program; (2) properties of independent sentences; (3) the intensionality problem; (4) the relationship with ordinal analysis; (5) the limit of provability.


title: DAFA: Distance-Aware Fair Adversarial Training

abstract: The disparity in accuracy between classes in standard training is amplified during adversarial training, a phenomenon termed the robust fairness problem. Existing methodologies aimed to enhance robust fairness by sacrificing the model's performance on easier classes in order to improve its performance on harder ones. However, we observe that under adversarial attacks, the majority of the model's predictions for samples from the worst class are biased towards classes similar to the worst class, rather than towards the easy classes. Through theoretical and empirical analysis, we demonstrate that robust fairness deteriorates as the distance between classes decreases. Motivated by these insights, we introduce the Distance-Aware Fair Adversarial training (DAFA) methodology, which addresses robust fairness by taking into account the similarities between classes. Specifically, our method assigns distinct loss weights and adversarial margins to each class and adjusts them to encourage a trade-off in robustness among similar classes. Experimental results across various datasets demonstrate that our method not only maintains average robust accuracy but also significantly improves the worst robust accuracy, indicating a marked improvement in robust fairness compared to existing methods.


title: Near-Optimal Algorithms for Constrained k-Center Clustering with Instance-level Background Knowledge

abstract: Center-based clustering has attracted significant research interest from both theory and practice. In many practical applications, input data often contain background knowledge that can be used to improve clustering results. In this work, we build on widely adopted $k$-center clustering and model its input background knowledge as must-link (ML) and cannot-link (CL) constraint sets. However, most clustering problems including $k$-center are inherently $\mathcal{NP}$-hard, while the more complex constrained variants are known to suffer severer approximation and computation barriers that significantly limit their applicability. By employing a suite of techniques including reverse dominating sets, linear programming (LP) integral polyhedron, and LP duality, we arrive at the first efficient approximation algorithm for constrained $k$-center with the best possible ratio of 2. We also construct competitive baseline algorithms and empirically evaluate our approximation algorithm against them on a variety of real datasets. The results validate our theoretical findings and demonstrate the great advantages of our algorithm in terms of clustering cost, clustering quality, and running time.


title: Combinatorics of irreducible characters for Lie superalgebra $\frak{gl}(m,n)$

abstract: In this paper we give a new formula for characters of finite dimensional irreducible $\frak{gl}(m,n)$ modules. We use two main ingredients: Su-Zhang formula and Brion's theorem.


title: Self-Supervised Vision Transformers Are Efficient Segmentation Learners for Imperfect Labels

abstract: This study demonstrates a cost-effective approach to semantic segmentation using self-supervised vision transformers (SSVT). By freezing the SSVT backbone and training a lightweight segmentation head, our approach effectively utilizes imperfect labels, thereby improving robustness to label imperfections. Empirical experiments show significant performance improvements over existing methods for various annotation types, including scribble, point-level, and image-level labels. The research highlights the effectiveness of self-supervised vision transformers in dealing with imperfect labels, providing a practical and efficient solution for semantic segmentation while reducing annotation costs. Through extensive experiments, we confirm that our method outperforms baseline models for all types of imperfect labels. Especially under the zero-shot vision-language-model-based label, our model exhibits 11.5\%p performance gain compared to the baseline.


title: Non-Bloch Theory for Spatiotemporal Photonic Crystals Assisted by Continuum Effective Medium

abstract: As one indispensable type of nonreciprocal mechanism, a system with temporal modulations is intrinsically open in the physical sense and inevitably non-Hermitian, but the space and time degrees of freedom are nonseparable in a large variety of circumstances, which restrains the non-Bloch band theory to apply. Here, we investigate the spatially photonic crystals (PhCs) composed of spatiotemporal modulation materials (STMs) and homogeneous media, dubbed as the STM-PhC, wherein the spatial and temporal modulations are deliberately designed to be correlated. To bypass the difficulty of the spatiotemporal correlation, we first employ the effective medium theory to account for the dispersion of fundamental bands under the influence of Floquet sidebands. Based on the dynamical degeneracy splitting viewpoint and continuum generalized Brillouin zone condition, we then analytically give the criteria for the existence of the non-Hermitian skin effect in the STM. Assisted by developing a numerical method that embeds the plane wave expansion in the transfer matrix, we establish the non-Bloch band theory for the low-frequency Floquet bands in the STM-PhCs, in which the central is the identification of the generalized Brillouin zone. We finally delve into the topological properties, including non-Bloch Zak phases and delocalization of topologically edge states. Our work validates that effective medium assists the non-Bloch band theory applied to the STM-PhCs, which delivers a prescription to broaden the horizons of non-Bloch theory.


title: Motion-enhanced Holography

abstract: Holographic displays, which enable pixel-level depth control and aberration correction, are considered the key technology for the next-generation virtual reality (VR) and augmented reality (AR) applications. However, traditional holographic systems suffer from limited spatial bandwidth product (SBP), which makes them impossible to reproduce \textit{realistic} 3D displays. Time-multiplexed holography creates different speckle patterns over time and then averages them to achieve a speckle-free 3D display. However, this approach requires spatial light modulators (SLMs) with ultra-fast refresh rates, and current algorithms cannot update holograms at such speeds. To overcome the aforementioned challenge, we proposed a novel architecture, motion-enhanced holography, that achieves \textit{realistic} 3D holographic displays without artifacts by continuously shifting a special hologram. We introduced an iterative algorithm to synthesize motion-enhanced holograms and demonstrated that our method achieved a 10 dB improvement in the peak signal-to-noise ratio (PSNR) of 3D focal stacks in numerical simulations compared to traditional holographic systems. Furthermore, we validated this idea in optical experiments utilizing a high-speed and high-precision programmable three-axis displacement stage to display full-color and high-quality 3D focal stacks.


title: Multi-Sources Information Fusion Learning for Multi-Points NLOS Localization

abstract: Accurate localization of mobile terminals is a pivotal aspect of integrated sensing and communication systems. Traditional fingerprint localization methods, which infer coordinates from channel information within pre-defined rectangular areas, often face challenges due to the heterogeneous distribution of fingerprints inherent in non-line-of-sight (NLOS) scenarios. To overcome this limitation, we have developed a novel multi-source information fusion learning framework referred to as the Autosync Multi-Domain NLOS Localization (AMDNLoc). Specifically, AMDNLoc employs a two-stage matched filter fused with a target tracking algorithm and iterative centroid-based clustering to automatically and irregularly segment NLOS regions, ensuring uniform fingerprint distribution within channel state information across frequency, power, and time-delay domains. Additionally, the framework utilizes a segment-specific linear classifier array, coupled with deep residual network-based feature extraction and fusion, to establish the correlation function between fingerprint features and coordinates within these regions. Simulation results demonstrate that AMDNLoc achieves an impressive accuracy of 1.46 meters on typical wireless artificial intelligence research datasets and offers interpretability, adaptability, and scalability in various scenarios.


title: Saturation of reduced products

abstract: We study reduced products $M=\prod_n M_n/\mathrm{Fin}$ of countable structures in a countable language associated with the Fr\'echet ideal. We prove that such $M$ is $2^{\aleph_0}$-saturated if its theory is stable and not $\aleph_2$-saturated otherwise (regardless of whether the Continuum Hypothesis holds). This implies that $M$ is isomorphic to an ultrapower (associated with an ultrafilter on $\mathbb N$) if its theory is stable, even if the CH fails. We also improve a result of Farah and Shelah and prove that there is a forcing extension in which such reduced product $M$ is isomorphic to an ultrapower if and only if the theory of $M$ is stable. All of these conclusions apply for reduced products associated with $F_\sigma$ ideals or more general layered ideals. We also prove that a reduced product associated with the asymptotic density zero ideal $\mathcal Z_0$, or any other analytic P-ideal that is not $F_\sigma$, is not even $\aleph_1$-saturated if its theory is unstable.


title: DREditor: An Time-efficient Approach for Building a Domain-specific Dense Retrieval Model

abstract: Deploying dense retrieval models efficiently is becoming increasingly important across various industries. This is especially true for enterprise search services, where customizing search engines to meet the time demands of different enterprises in different domains is crucial. Motivated by this, we develop a time-efficient approach called DREditor to edit the matching rule of an off-the-shelf dense retrieval model to suit a specific domain. This is achieved by directly calibrating the output embeddings of the model using an efficient and effective linear mapping. This mapping is powered by an edit operator that is obtained by solving a specially constructed least squares problem. Compared to implicit rule modification via long-time finetuning, our experimental results show that DREditor provides significant advantages on different domain-specific datasets, dataset sources, retrieval models, and computing devices. It consistently enhances time efficiency by 100-300 times while maintaining comparable or even superior retrieval performance. In a broader context, we take the first step to introduce a novel embedding calibration approach for the retrieval task, filling the technical blank in the current field of embedding calibration. This approach also paves the way for building domain-specific dense retrieval models efficiently and inexpensively.


title: Superfluid transition of a ferromagnetic Bose gas

abstract: The strongly ferromagnetic spin-1 Bose-Einstein condensate (BEC) has recently been realized with atomic $^{7}$Li. It was predicted that a strong ferromagnetic interaction can drive the normal gas into a magnetized phase at a temperature above the superfluid transition, and $^{7}$Li likely satisfies the criterion. We re-examine this theoretical proposal employing the two-particle-irreducible (2PI) effective potential, and conclude that there exists no stable normal magnetized phase for a dilute ferromagnetic Bose gas. For $^{7}$Li, we predict that the normal gas undergoes a joint first order transition and jump directly into a state with finite condensate density and magnetization. We estimate the size of the first order jump, and examine how a partial spin polarization in the initial sample affects the first order transition. We propose a qualitative phase diagram at fixed temperature for the trapped gas.


title: Multi-Party Private Set Intersection: A Circuit-Based Protocol with Jaccard Similarity for Secure and Efficient Anomaly Detection in Network Traffic

abstract: We present a new circuit-based protocol for multi-party private set intersection (PSI) that allows m parties to compute the intersection of their datasets without revealing any additional information about the items outside the intersection. Building upon the two-party Sort-Compare-Shuffle (SCS) protocol, we seamlessly extend it to a multi-party setting. Demonstrating its practicality through implementation, our protocol exhibits acceptable performance. Specifically, with 7 parties, each possessing a set size of 2^{12}, our protocol completes in just 19 seconds. Moreover, circuit-based protocols like ours have an advantage over using custom protocols to perform more complex computation. We substantiate this advantage by incorporating a module for calculating the Jaccard similarity metric of the private sets which can be used in the application domain of network traffic analysis for anomaly detection. This extension showcases the versatility of our protocol beyond set intersection computations, demonstrating its efficacy in preserving privacy while efficiently identifying abnormal patterns in network flow.


title: Deep reinforcement transfer learning for active flow control of a 3D square cylinder under state dimension mismatch

abstract: This paper focuses on developing a deep reinforcement learning (DRL) control strategy to mitigate aerodynamic forces acting on a three dimensional (3D) square cylinder under high Reynolds number flow conditions. Four jets situated at the corners of the square cylinder are used as actuators and pressure probes on the cylinder surface are employed as feedback observers. The Soft Actor-Critic (SAC) algorithm is deployed to identify an effective control scheme. Additionally, we pre-train the DRL agent using a two dimensional (2D) square cylinder flow field at a low Reynolds number (Re =1000), followed by transferring it to the 3D square cylinder at Re =22000. To address the issue of state dimension mismatch in transfer learning from 2D to 3D case, a state dimension mismatch transfer learning method is developed to enhance the SAC algorithm, named SDTL-SAC. The results demonstrate transfer learning across different state spaces achieves the same control policy as the SAC algorithm, resulting in a significant improvement in training speed with a training cost reduction of 51.1%. Furthermore, the SAC control strategy leads to a notable 52.3% reduction in drag coefficient, accompanied by substantial suppression of lift fluctuations. These outcomes underscore the potential of DRL in active flow control, laying the groundwork for efficient, robust, and practical implementation of this control technique in practical engineering.


title: Correlation between magnetic domain structures and quantum anomalous Hall effect in epitaxial MnBi2Te4 thin films

abstract: We use magnetic force microscopy (MFM) to study spatial uniformity of magnetization of epitaxially grown MnBi2Te4 thin films. Compared to films which exhibit no quantum anomalous Hall effect (QAH), films with QAH are observed to have more spatial uniformity of magnetization with larger domain size. The domain evolution upon magnetic field sweeping indicates that the magnetic domains or the spatial nonuniformity of magnetization originates from the strong pinning of the inherent sample inhomogeneity. A direct correlation between the Hall resistivity and the domain size has been established by analyzing a series of thin films with and without QAH. Our observation shows that one has to suppress the spatial nonuniformity of magnetization to allow the Hall resistivity to be quantized. The fact that a sizable longitudinal resistivity remains even for the QAH sample suggests a quantized Hall insulator scenario. Our work provides important insights to the understanding of the quantization mechanism and the dissipation of the QAH state in MnBi2Te4 system.


title: Ultra-broadband near-field Josephson microwave microscopy

abstract: Advanced microwave technologies constitute the foundation of a wide range of modern sciences, including quantum computing, microwave photonics, spintronics, etc. To facilitate the design of chip-based microwave devices, there is an increasing demand for state-of-the-art microscopic techniques capable of characterizing the near-field microwave distribution and performance. In this work, we integrate Josephson junctions onto a nano-sized quartz tip, forming a highly sensitive microwave mixer on-tip. This allows us to conduct spectroscopic imaging of near-field microwave distributions with high spatial resolution. Leveraging its microwave-sensitive characteristics, our Josephson microscope achieves a broad detecting bandwidth of up to 200 GHz with remarkable frequency and intensity sensitivities. Our work emphasizes the benefits of utilizing the Josephson microscope as a real-time, non-destructive technique to advance integrated microwave electronics.


title: On Building Myopic MPC Policies using Supervised Learning

abstract: The application of supervised learning techniques in combination with model predictive control (MPC) has recently generated significant interest, particularly in the area of approximate explicit MPC, where function approximators like deep neural networks are used to learn the MPC policy via optimal state-action pairs generated offline. While the aim of approximate explicit MPC is to closely replicate the MPC policy, substituting online optimization with a trained neural network, the performance guarantees that come with solving the online optimization problem are typically lost. This paper considers an alternative strategy, where supervised learning is used to learn the optimal value function offline instead of learning the optimal policy. This can then be used as the cost-to-go function in a myopic MPC with a very short prediction horizon, such that the online computation burden reduces significantly without affecting the controller performance. This approach differs from existing work on value function approximations in the sense that it learns the cost-to-go function by using offline-collected state-value pairs, rather than closed-loop performance data. The cost of generating the state-value pairs used for training is addressed using a sensitivity-based data augmentation scheme.


title: Arrow's single peaked domains, richness, and domains for plurality and the Borda count

abstract: In this paper we extend the study of Arrow's generalisation of Black's single-peaked domain and connect this to domains where voting rules satisfy different versions of independence of irrelevant alternatives. First we report on a computational generation of all non-isomorphic Arrow's single-peaked domains on $n\leq 9$ alternatives. Next, we introduce a quantitative measure of richness for domains, as the largest number $r$ such that every alternative is given every rank between 1 and $r$ by the orders in the domain. We investigate the richness of Arrow's single-peaked domains and prove that Black's single-peaked domain has the highest possible richness, but it is not the only domain which attains the maximum. After this we connect Arrow's single-peaked domains to the discussion by Dasgupta, Maskin and others of domains on which plurality and the Borda count satisfy different versions of Independence of Irrelevant alternatives (IIA). For Nash's version of IIA and plurality, it turns out the domains are exactly the duals of Arrow's single-peaked domains. As a consequence there can be at most two alternatives which are ranked first in any such domain. For the Borda count both Arrow's and Nash's versions of IIA lead to a maximum domain size which is exponentially smaller than $2^{n-1}$, the size of Black's single-peaked domain.


title: Sobolev Stability for the 2D MHD Equations in the Non-Resistive Limit

abstract: In this article, we consider the stability of the 2D magnetohydrodynamics (MHD) equations close to a combination of Couette flow and a constant magnetic field. We consider the ideal conductor limit for the case when viscosity $\nu$ is larger than resistivity $\kappa$, $\nu\ge \kappa>0$. For this regime, we establish a bound on the Sobolev stability threshold. Furthermore, for $\kappa\le \nu^3$ this system exhibits instability, which leads to norm inflation of size $\nu \kappa^{-\frac 1 3 }$.


title: Study of non-Fourier heat conduction in FinFETs/GAAFETs via synthetic iterative scheme with large temperature variance

abstract: Non-Fourier heat conduction in hotspot systems including fin or gate-all-around field effect transistors (FinFETs/GAAFETs) is studied via synthetic iterative scheme, where a macroscopic iteration is introduced for preprocessing based on the iterative solutions of the stationary phonon Boltzmann transport equation (BTE). Different from previous work with small temperature difference assumption and linearized equilibrium state, the original Bose-Einstein distribution function and temperature-dependent relaxation time are considered in this paper due to large temperature variance in practical thermal engineering. Numerical tests show that the present scheme could correctly capture the heat conduction in both the ballistic and diffusive regimes. Selective phonon excitations including only heating single phonon branch, equally heating all phonon modes and Joule heating are studied. Numerical results show that the differences of selective phonon excitation on micro/nano scale heat conduction in monocrystalline silicon are mainly reflected in the energy weight absorbed by longitude acoustic phonon from external heat source. Unexpectedly, the temperature contours in quasi-2D FinFETs between equally heating all phonon modes and Joule heating are similar. Finally, the thermal applications of the present scheme in three-dimensional single/double-fin bulk FETs and GAA naonsheet FETs with Joule heating are implemented. It is found that that $6$-naonsheets with width $25$ nm promote heat dissipation than $3$-naonsheets with width $50$ nm. Effective Fourier's law with size- and temperature- dependent thermal conductivity can also give reasonable predictions although there are some deviations compared to the phonon BTE.


title: UR4NNV: Neural Network Verification, Under-approximation Reachability Works!

abstract: Recently, formal verification of deep neural networks (DNNs) has garnered considerable attention, and over-approximation based methods have become popular due to their effectiveness and efficiency. However, these strategies face challenges in addressing the "unknown dilemma" concerning whether the exact output region or the introduced approximation error violates the property in question. To address this, this paper introduces the UR4NNV verification framework, which utilizes under-approximation reachability analysis for DNN verification for the first time. UR4NNV focuses on DNNs with Rectified Linear Unit (ReLU) activations and employs a binary tree branch-based under-approximation algorithm. In each epoch, UR4NNV under-approximates a sub-polytope of the reachable set and verifies this polytope against the given property. Through a trial-and-error approach, UR4NNV effectively falsifies DNN properties while providing confidence levels when reaching verification epoch bounds and failing falsifying properties. Experimental comparisons with existing verification methods demonstrate the effectiveness and efficiency of UR4NNV, significantly reducing the impact of the "unknown dilemma".


title: Vanishing vortex creep at the transition from ordered to disordered vortex phases in Ba$_{0.64}$K$_{0.36}$Fe$_2$As$_2$

abstract: By measuring the dynamical and conventional magnetization relaxation of the Ba$_{0.64}$K$_{0.36}$Fe$_2$As$_2$ single crystals, we found strong second peak effect on the magnetization hysteresis loops. It is found that there is a kink of magnetization at a field between the valley and maximum magnetization. Interestingly, the magnetization relaxation rate has a deep minimum at the field with the kink, indicating a diminished vortex creep. The relaxation rate at this field is clearly smaller than the so-called universal lower limit of the relaxation rate characterized by ($S_0\approx \ Gi^{1/2}(T/T_\mathrm{c}$). This diminished vortex creep is associated with the origin of the SMP effect and attributed to the strongly hindered flux motion when experiencing the transition from the quasi-ordered to disordered vortex phases.


title: Network Based Approach Estimating COVID-19 Spread Patterns

abstract: In this study, we construct a series of evolving epidemic networks by measuring the correlations of daily COVID-19 cases time series among 3,105 counties in the United States. Remarkably, through quantitative analysis of the spatial distribution of these entities in different networks, we identify four typical patterns of COVID-19 transmission in the United States from March 2020 to February 2023. The onsets and wanes of these patterns are closely associated with significant events in the COVID-19 timeline. Furthermore, we conduct in-depth qualitative and quantitative research on the spread of the epidemic at the county and state levels, tracing and analyzing the evolution and characteristics of specific propagation pathways. Overall, our research breaks away from traditional infectious disease models and provides a macroscopic perspective on the evolution in epidemic transmission patterns. This highlights the remarkable potential of utilizing complex network methods for macroscopic studies of infectious diseases.


title: InfoRank: Unbiased Learning-to-Rank via Conditional Mutual Information Minimization

abstract: Ranking items regarding individual user interests is a core technique of multiple downstream tasks such as recommender systems. Learning such a personalized ranker typically relies on the implicit feedback from users' past click-through behaviors. However, collected feedback is biased toward previously highly-ranked items and directly learning from it would result in a "rich-get-richer" phenomenon. In this paper, we propose a simple yet sufficient unbiased learning-to-rank paradigm named InfoRank that aims to simultaneously address both position and popularity biases. We begin by consolidating the impacts of those biases into a single observation factor, thereby providing a unified approach to addressing bias-related issues. Subsequently, we minimize the mutual information between the observation estimation and the relevance estimation conditioned on the input features. By doing so, our relevance estimation can be proved to be free of bias. To implement InfoRank, we first incorporate an attention mechanism to capture latent correlations within user-item features, thereby generating estimations of observation and relevance. We then introduce a regularization term, grounded in conditional mutual information, to promote conditional independence between relevance estimation and observation estimation. Experimental evaluations conducted across three extensive recommendation and search datasets reveal that InfoRank learns more precise and unbiased ranking strategies.


title: Can Large Language Models Write Parallel Code?

abstract: Large language models are increasingly becoming a popular tool for software development. Their ability to model and generate source code has been demonstrated in a variety of contexts, including code completion, summarization, translation, and lookup. However, they often struggle to generate code for complex programs. In this paper, we study the capabilities of state-of-the-art language models to generate parallel code. In order to evaluate language models, we create a benchmark, ParEval, consisting of prompts that represent 420 different coding tasks related to scientific and parallel computing. We use ParEval to evaluate the effectiveness of several state-of-the-art open- and closed-source language models on these tasks. We introduce novel metrics for evaluating the performance of generated code, and use them to explore how well each large language model performs for 12 different computational problem types and six different parallel programming models.


title: An Estimate of the Binary Star Fraction Among Young Stars at the Galactic Center: Possible Evidence of a Radial Dependence

abstract: We present the first estimate of the intrinsic binary fraction of young stars across the central $\approx$ 0.4 pc surrounding the supermassive black hole (SMBH) at the Milky Way Galactic center (GC). This experiment searched for photometric variability in 102 young stars, using 119 nights of 10"-wide adaptive optics imaging observations taken at Keck Observatory over 16 years in the K'- and H-bands. We photometrically detected three binary stars, all of which are situated more than 1" (0.04 pc) from the SMBH and one of which, S2-36, is newly reported here with spectroscopic confirmation. To convert the observed binary fraction into an estimate of the underlying binary fraction, we determined experiment sensitivity through detailed light curve simulations, incorporating photometric effects of eclipses, irradiation, and tidal distortion in binaries. The simulations assumed a population of young binaries, with stellar ages (4 Myr) and masses matched to the most probable values measured for the GC young star population and underlying binary system parameters similar to those of local massive stars. The detections and simulations imply young, massive stars in the GC have a stellar binary fraction $\geq$ 71% (68% confidence), or $\geq$ 42% (95% confidence). This inferred GC young star binary fraction is consistent with that typically seen in young stellar populations in the solar neighborhood. Furthermore, our measured binary fraction is significantly higher than that recently reported by Chu et al. (2023) based on RV measurements of young stars <~1" of the SMBH. Constrained with these two studies, the probability that the same underlying young binary fraction extends across the entire region is <1.4%. This tension provides support for a radial dependence of the binary star fraction and, therefore, for the dynamical predictions of binary merger and evaporation events close to the SMBH.


title: Approximate solution of stochastic infinite horizon optimal control problems for constrained linear uncertain systems

abstract: We propose a Model Predictive Control (MPC) with a single-step prediction horizon to solve infinite horizon optimal control problems with the expected sum of convex stage costs for constrained linear uncertain systems. The proposed method relies on two techniques. First, we estimate the expected values of the convex costs using a computationally tractable approximation, achieved by sampling across the space of disturbances. Second, we implement a data-driven approach to approximate the optimal value function and its corresponding domain, through systematic exploration of the system's state space. These estimates are subsequently used as the terminal cost and terminal set within the proposed MPC. We prove recursive feasibility, robust constraint satisfaction, and convergence in probability to the target set. Furthermore, we prove that the estimated value function converges to the optimal value function in a local region. The effectiveness of the proposed MPC is illustrated with detailed numerical simulations and comparisons with a value iteration method and a Learning MPC that minimizes a certainty equivalent cost.


title: Balancing the AI Strength of Roles in Self-Play Training with Regret Matching+

abstract: When training artificial intelligence for games encompassing multiple roles, the development of a generalized model capable of controlling any character within the game presents a viable option. This strategy not only conserves computational resources and time during the training phase but also reduces resource requirements during deployment. training such a generalized model often encounters challenges related to uneven capabilities when controlling different roles. A simple method is introduced based on Regret Matching+, which facilitates a more balanced performance of strength by the model when controlling various roles.


title: Unbounded convex polyhedra as polynomial images of Euclidean spaces

abstract: In a previous work we proved that each $n$-dimensional convex polyhedron ${\mathcal K}subset{\mathbb R}^n$ and its relative interior are regular images of ${\mathbb R}^n$. As the image of a non-constant polynomial map is an unbounded semialgebraic set, it is not possible to substitute regular maps by polynomial maps in the previous statement. In this work we determine constructively all unbounded $n$-dimensional convex polyhedra ${\mathcal K}\subset{\mathbb R}^n$ that are polynomial images of ${\mathbb R}^n$. We also analyze for which of them the interior ${\rm Int}({\mathcal K})$ is a polynomial image of ${\mathbb R}^n$. A discriminating object is the recession cone $\vec{\mathcal C}({\mathcal K})$ of ${\mathcal K}$. Namely, \em ${\mathcal K}$ is a polynomial image of ${\mathbb R}^n$ if and only if $\vec{{\mathcal C}}({\mathcal K})$ has dimension $n$\em. In addition, \em ${\rm Int}({\mathcal K})$ is a polynomial image of ${\mathbb R}^n$ if and only if $\vec{{\mathcal C}}({\mathcal K})$ has dimension $n$ and ${\mathcal K}$ has no bounded faces of dimension $n-1$\em. A key result is an improvement of Pecker's elimination of inequalities to represent semialgebraic sets as projections of algebraic sets. Empirical approaches suggest us that there are `few' polynomial maps that have a concrete convex polyhedron as a polynomial image and that there are even fewer for which it is affordable to show that their images actually correspond to our given convex polyhedron. This search of a `needle in the haystack' justifies somehow the technicalities involved in our constructive proofs.


title: A robust balancing mechanism for spiking neural networks

abstract: Dynamical balance of excitation and inhibition is usually invoked to explain the irregular low firing activity observed in the cortex. We propose a robust nonlinear balancing mechanism for a random network of spiking neurons, which works also in absence of strong external currents. Biologically, the mechanism exploits the plasticity of excitatory-excitatory synapses induced by short-term depression. Mathematically, the nonlinear response of the synaptic activity is the key ingredient responsible for the emergence of a stable balanced regime. Our claim is supported by a simple self-consistent analysis accompanied by extensive simulations performed for increasing network sizes. The observed regime is essentially fluctuation driven and characterized by highly irregular spiking dynamics of all neurons.


title: Geometric phase for a nonstatic coherent light-wave: nonlinear evolution harmonized with the dynamical phase

abstract: Properties of the geometric phase for a nonstatic coherent light-wave arisen in a static environment are analyzed from various angles. The geometric phase varies in a regular nonlinear way, where the center of its variation increases constantly with time. This consequence is due to the effects of the periodic wave collapse and expansion on the evolution of the geometric phase. Harmonization of such a geometric-phase evolution with the dynamical phase makes the total phase evolve with a unique pattern that depends on the degree of nonstaticity. The total phase exhibits a peculiar behavior for the case of extreme nonstaticity, which is that it precipitates periodically in its evolution, owing to a strong response of the geometric phase to the wave nonstaticity. It is confirmed that the geometric phase in the coherent state is mostly more prominent compared to that in the Fock states. For a simple case where the wave nonstaticity disappears, our description of the geometric phase recovers to the well-known conventional one which no longer undergoes periodical change. While the familiar dynamical phase is just related to the expectation value of the Hamiltonian, the geometric phase that we have managed reflects a delicate nonstaticity difference in the evolution of quantum states.


title: EndoGaussian: Real-time Gaussian Splatting for Dynamic Endoscopic Scene Reconstruction

abstract: Reconstructing deformable tissues from endoscopic videos is essential in many downstream surgical applications. However, existing methods suffer from slow rendering speed, greatly limiting their practical use. In this paper, we introduce EndoGaussian, a real-time endoscopic scene reconstruction framework built on 3D Gaussian Splatting (3DGS). By integrating the efficient Gaussian representation and highly-optimized rendering engine, our framework significantly boosts the rendering speed to a real-time level. To adapt 3DGS for endoscopic scenes, we propose two strategies, Holistic Gaussian Initialization (HGI) and Spatio-temporal Gaussian Tracking (SGT), to handle the non-trivial Gaussian initialization and tissue deformation problems, respectively. In HGI, we leverage recent depth estimation models to predict depth maps of input binocular/monocular image sequences, based on which pixels are re-projected and combined for holistic initialization. In SPT, we propose to model surface dynamics using a deformation field, which is composed of an efficient encoding voxel and a lightweight deformation decoder, allowing for Gaussian tracking with minor training and rendering burden. Experiments on public datasets demonstrate our efficacy against prior SOTAs in many aspects, including better rendering speed (195 FPS real-time, 100$\times$ gain), better rendering quality (37.848 PSNR), and less training overhead (within 2 min/scene), showing significant promise for intraoperative surgery applications. Code is available at: \url{https://yifliu3.github.io/EndoGaussian/}.


title: Learning the cost-to-go for mixed-integer nonlinear model predictive control

abstract: Application of nonlinear model predictive control (NMPC) to problems with hybrid dynamical systems, disjoint constraints, or discrete controls often results in mixed-integer formulations with both continuous and discrete decision variables. However, solving mixed-integer nonlinear programming problems (MINLP) in real-time is challenging, which can be a limiting factor in many applications. To address the computational complexity of solving mixed integer nonlinear model predictive control problem in real-time, this paper proposes an approximate mixed integer NMPC formulation based on value function approximation. Leveraging Bellman's principle of optimality, the key idea here is to divide the prediction horizon into two parts, where the optimal value function of the latter part of the prediction horizon is approximated offline using expert demonstrations. Doing so allows us to solve the MINMPC problem with a considerably shorter prediction horizon online, thereby reducing the online computation cost. The paper uses an inverted pendulum example with discrete controls to illustrate this approach.


title: Pitfalls of Exchange-Correlation Functionals in Descriptions of Magnetism: Cautionary Tale of the FeRh Alloy

abstract: The magnetic ground state of FeRh is highly sensitive towards the lattice constant. This, in addition to partially filled d-shells of Fe and Rh, posed a significant challenge for Density Functional Theory (DFT) calculations in the past. Here, we have investigated the performance of various exchange-correlation (XC) functionals within the DFT formalism for this challenging binary alloy. We have employed Local Spin Density Approximation (LSDA), various Generalized Gradient Approximations (GGAs), and newly developed Strongly Constrained and Appropriately Normed (SCAN) meta-GGA functional. Our results show the limitations of any single functional in capturing the intricate interplay of structural, electronic, and magnetic properties in FeRh. While SCAN can accurately describe some magnetic features and phonon dispersion, it significantly overestimates the Fe-Fe magnetic interactions, leading to an unreasonable magnetic ordering temperature. Conversely, the Perdew-Burke-Ernzerhof (PBE) GGA exhibits the opposite behavior. These findings highlight the challenges in simulating materials with partially filled $d$-shells using DFT, underscoring the crucial need for developing a versatile XC functional that can effectively account for the multifaceted nature of such systems.


title: Graph Contrastive Invariant Learning from the Causal Perspective

abstract: Graph contrastive learning (GCL), learning the node representation by contrasting two augmented graphs in a self-supervised way, has attracted considerable attention. GCL is usually believed to learn the invariant representation. However, does this understanding always hold in practice? In this paper, we first study GCL from the perspective of causality. By analyzing GCL with the structural causal model (SCM), we discover that traditional GCL may not well learn the invariant representations due to the non-causal information contained in the graph. How can we fix it and encourage the current GCL to learn better invariant representations? The SCM offers two requirements and motives us to propose a novel GCL method. Particularly, we introduce the spectral graph augmentation to simulate the intervention upon non-causal factors. Then we design the invariance objective and independence objective to better capture the causal factors. Specifically, (i) the invariance objective encourages the encoder to capture the invariant information contained in causal variables, and (ii) the independence objective aims to reduce the influence of confounders on the causal variables. Experimental results demonstrate the effectiveness of our approach on node classification tasks.


title: Positive semidefinite analytic functions on real analytic surfaces

abstract: Let $X\subset{\mathbb R}^n$ be a (global) real analytic surface. Then every positive semidefinite meromorphic function on $X$ is a sum of $10$ squares of meromorphic functions on $X$. As a consequence, we provide a real Nullstellensatz for (global) real analytic surfaces.


title: Automated Fact-Checking of Climate Change Claims with Large Language Models

abstract: This paper presents Climinator, a novel AI-based tool designed to automate the fact-checking of climate change claims. Utilizing an array of Large Language Models (LLMs) informed by authoritative sources like the IPCC reports and peer-reviewed scientific literature, Climinator employs an innovative Mediator-Advocate framework. This design allows Climinator to effectively synthesize varying scientific perspectives, leading to robust, evidence-based evaluations. Our model demonstrates remarkable accuracy when testing claims collected from Climate Feedback and Skeptical Science. Notably, when integrating an advocate with a climate science denial perspective in our framework, Climinator's iterative debate process reliably converges towards scientific consensus, underscoring its adeptness at reconciling diverse viewpoints into science-based, factual conclusions. While our research is subject to certain limitations and necessitates careful interpretation, our approach holds significant potential. We hope to stimulate further research and encourage exploring its applicability in other contexts, including political fact-checking and legal domains.


title: A Unified Approach to Geometric Modifications of Gravity

abstract: This thesis studies modified theories of gravity from a geometric viewpoint. We review the motivations for considering alternatives to General Relativity and cover the mathematical foundations of gravitational theories in Riemannian and non-Riemannian geometries. Then, starting from the decomposition of the Einstein-Hilbert action into bulk and boundary terms, we construct new modifications of General Relativity. These modifications break diffeomorphism invariance or local Lorentz invariance, allowing one to bypass Lovelock's theorem while remaining second-order and without introducing additional fields. In the metric-affine framework, we introduce a new Einstein-Cartan-type theory with propagating torsion. Important comparisons are made with the modified teleparallel theories, and we construct a unified framework encompassing all these theories. The equivalence between theories that break fundamental symmetries in the Riemannian setting and non-Riemannian theories of gravity is explored in detail. This leads to a dual interpretation of teleparallel gravity, one in terms of geometric quantities and the other in terms of non-covariant objects. We then study the cosmological applications of these modified theories, making use of dynamical systems techniques. One key result is that the modified Einstein-Cartan theories can drive inflation in the early universe, replacing the initial cosmological singularity of General Relativity. To conclude, we discuss the viability of these modifications and possible future directions, examining their significance and relevance to the broader field of gravitational physics.


title: NeRF-AD: Neural Radiance Field with Attention-based Disentanglement for Talking Face Synthesis

abstract: Talking face synthesis driven by audio is one of the current research hotspots in the fields of multidimensional signal processing and multimedia. Neural Radiance Field (NeRF) has recently been brought to this research field in order to enhance the realism and 3D effect of the generated faces. However, most existing NeRF-based methods either burden NeRF with complex learning tasks while lacking methods for supervised multimodal feature fusion, or cannot precisely map audio to the facial region related to speech movements. These reasons ultimately result in existing methods generating inaccurate lip shapes. This paper moves a portion of NeRF learning tasks ahead and proposes a talking face synthesis method via NeRF with attention-based disentanglement (NeRF-AD). In particular, an Attention-based Disentanglement module is introduced to disentangle the face into Audio-face and Identity-face using speech-related facial action unit (AU) information. To precisely regulate how audio affects the talking face, we only fuse the Audio-face with audio feature. In addition, AU information is also utilized to supervise the fusion of these two modalities. Extensive qualitative and quantitative experiments demonstrate that our NeRF-AD outperforms state-of-the-art methods in generating realistic talking face videos, including image quality and lip synchronization. To view video results, please refer to https://xiaoxingliu02.github.io/NeRF-AD.


title: Magnetic Dirac systems: Violation of bulk-edge correspondence in the zigzag limit

abstract: We consider a Dirac operator with constant magnetic field defined on a half-plane with boundary conditions that interpolate between infinite mass and zigzag. By a detailed study of the energy dispersion curves we show that the infinite mass case generically captures the profile of these curves, which undergoes a continuous pointwise deformation into the topologically different zigzag profile. Moreover, these results are applied to the bulk-edge correspondence. In particular, by means of a counterexample, we show that this correspondence does not always hold true in the zigzag case.


title: DiffMoog: a Differentiable Modular Synthesizer for Sound Matching

abstract: This paper presents DiffMoog - a differentiable modular synthesizer with a comprehensive set of modules typically found in commercial instruments. Being differentiable, it allows integration into neural networks, enabling automated sound matching, to replicate a given audio input. Notably, DiffMoog facilitates modulation capabilities (FM/AM), low-frequency oscillators (LFOs), filters, envelope shapers, and the ability for users to create custom signal chains. We introduce an open-source platform that comprises DiffMoog and an end-to-end sound matching framework. This framework utilizes a novel signal-chain loss and an encoder network that self-programs its outputs to predict DiffMoogs parameters based on the user-defined modular architecture. Moreover, we provide insights and lessons learned towards sound matching using differentiable synthesis. Combining robust sound capabilities with a holistic platform, DiffMoog stands as a premier asset for expediting research in audio synthesis and machine learning.


title: The $B_c$ meson and its scalar cousin with the QCD sum rules

abstract: In the present work, we use optical theorem to calculate the next-to-leading order corrections to the QCD spectral densities directly in the QCD sum rules for the pseudoscalar and scalar $B_c$ mesons. We take the experimental data as guides to perform updated analysis, and obtain the masses and decay constants, especially the decay constants, which are the fundamental input parameters in the high energy physics, therefore the pure leptonic decay widths, which can be confronted to the experimental data in the future.


title: Representation of positive semidefinite elements as sum of squares in 2-dimensional local rings

abstract: A classical problem in real geometry concerns the representation of positive semidefinite elements of a ring $A$ as sums of squares of elements of $A$. If $A$ is an excellent ring of dimension $\geq3$, it is already known that it contains positive semidefinite elements that cannot be represented as sums of squares in $A$. The one dimensional local case has been afforded by Scheiderer (mainly when its residue field is real closed). In this work we focus on the $2$-dimensional case and determine (under some mild conditions) which local excellent henselian rings $A$ of embedding dimension $3$ have the property that every positive semidefinite element of $A$ is a sum of squares of elements of $A$.


title: Development of the fully Geant4 compatible package for the simulation of Dark Matter in fixed target experiments

abstract: The search for new comparably light (well below the electroweak scale) feebly interacting particles is an exciting possibility to explain some mysterious phenomena in physics, among them the origin of Dark Matter. The sensitivity study through detailed simulation of projected experiments is a key point in estimating their potential for discovery. Several years ago we created the DMG4 package for the simulation of DM (Dark Matter) particles in fixed target experiments. The natural approach is to integrate this simulation into the same program that performs the full simulation of particles in the experiment setup. The Geant4 toolkit framework was chosen as the most popular and versatile solution nowadays. The simulation of DM particles production by this package accommodates several possible scenarios, employing electron, muon or photon beams and involving various mediators, such as vector, axial vector, scalar, pseudoscalar, or spin 2 particles. The bremsstrahlung, annihilation or Primakoff processes can be simulated. The package DMG4 contains a subpackage DarkMatter with cross section methods weakly connected to Geant4. It can be used in different frameworks. In this paper, we present the latest developments of the package, such as extending the list of possible mediator particle types, refining formulas for the simulation and extending the mediator mass range. The user interface is also made more flexible and convenient. In this work, we also demonstrate the usage of the package, the improvements in the simulation accuracy and some cross check validations.


title: Backpropagation Through Agents

abstract: A fundamental challenge in multi-agent reinforcement learning (MARL) is to learn the joint policy in an extremely large search space, which grows exponentially with the number of agents. Moreover, fully decentralized policy factorization significantly restricts the search space, which may lead to sub-optimal policies. In contrast, the auto-regressive joint policy can represent a much richer class of joint policies by factorizing the joint policy into the product of a series of conditional individual policies. While such factorization introduces the action dependency among agents explicitly in sequential execution, it does not take full advantage of the dependency during learning. In particular, the subsequent agents do not give the preceding agents feedback about their decisions. In this paper, we propose a new framework Back-Propagation Through Agents (BPTA) that directly accounts for both agents' own policy updates and the learning of their dependent counterparts. This is achieved by propagating the feedback through action chains. With the proposed framework, our Bidirectional Proximal Policy Optimisation (BPPO) outperforms the state-of-the-art methods. Extensive experiments on matrix games, StarCraftII v2, Multi-agent MuJoCo, and Google Research Football demonstrate the effectiveness of the proposed method.


title: Linear stability and spectral modal decomposition of three-dimensional turbulent wake flow of a generic high-speed train

abstract: This work investigates the spatio-temporal evolution of coherentstructures in the wake of a generic high-speed train. Spectral properorthogonal decomposition is used to extract energy spectra and empiricalmodes of the fluctuating field. The spectrum of the symmetriccomponent shows overall higher energy and more pronounced low-rankbehavior compared to the antisymmetric one, with the most dominantsymmetric mode at $\omega=3.437$ characterized by vortex sheddingin the near wake and constant streamwise wavenumber structures in thefar wake. The mode bispectrum further reveals the dominant role of selfinteraction of the symmetric component, leading to first harmonic andsubharmonic triads of the fundamental frequency. Then, the stability ofthe wake flow is analyzed based on two-dimensional local analysis. Theabsolute frequency of the near-wake eigenmode is determined based onspatio-temporal analysis, then tracked along the streamwise direction tofind out the global frequency, which indicate a marginally stable globalmode oscillating at a frequency very close to the dominant SPOD mode.The global mode wavemaker is then located, and the structuralsensitivity is calculated based on the direct and adjoint modes derivedfrom a local spatial analysis, with the maximum value localized withinthe recirculation region close to the train tail. Finally, the global modeshape is computed by tracking the most spatially unstable eigenmode,and the alignment with the SPOD mode is computed as a function ofstreamwise location. By combining data-driven and theoreticalapproaches, the mechanisms of coherent structures in complex wakeflows are well identified and isolated.


title: LLMCheckup: Conversational Examination of Large Language Models via Interpretability Tools and Self-Explanations

abstract: Interpretability tools that offer explanations in the form of a dialogue have demonstrated their efficacy in enhancing users' understanding (Slack et al., 2023; Shen et al., 2023), as one-off explanations may fall short in providing sufficient information to the user. Current solutions for dialogue-based explanations, however, often require external tools and modules and are not easily transferable to tasks they were not designed for. With LLMCheckup, we present an easily accessible tool that allows users to chat with any state-of-the-art large language model (LLM) about its behavior. We enable LLMs to generate explanations and perform user intent recognition without fine-tuning, by connecting them with a broad spectrum of Explainable AI (XAI) methods, including white-box explainability tools such as feature attributions, and self-explanations (e.g., for rationale generation). LLM-based (self-)explanations are presented as an interactive dialogue that supports follow-up questions and generates suggestions. LLMCheckupprovides tutorials for operations available in the system, catering to individuals with varying levels of expertise in XAI and supporting multiple input modalities. We introduce a new parsing strategy that substantially enhances the user intent recognition accuracy of the LLM. Finally, we showcase LLMCheckup for the tasks of fact checking and commonsense question answering.


title: Noise-cancellation algorithm for simulations of Brownian particles

abstract: We investigate the usage of a recently introduced noise-cancellation algorithm for Brownian simulations to enhance the precision of measuring transport properties such as the mean-square displacement or the velocity-autocorrelation function. The algorithm is based on explicitly storing the pseudo-random numbers used to create the randomized displacements in computer simulations and subtracting them from the simulated trajectories. The resulting correlation function of the reduced motion is connected to the target correlation function up to a cross-correlation term. Using analytical theory and computer simulations, we demonstrate that the cross-correlation term can be neglected in all three systems studied in this aper. We further expand the algorithm to Monte Carlo simulations and analyze the performance of the algorithm and rationalize that it works particularly well for unbounded, weakly interacting systems in which the precision of the mean-square displacement can be improved by orders of magnitude.


title: ToDA: Target-oriented Diffusion Attacker against Recommendation System

abstract: Recommendation systems (RS) have become indispensable tools for web services to address information overload, thus enhancing user experiences and bolstering platforms' revenues. However, with their increasing ubiquity, security concerns have also emerged. As the public accessibility of RS, they are susceptible to specific malicious attacks where adversaries can manipulate user profiles, leading to biased recommendations. Recent research often integrates additional modules using generative models to craft these deceptive user profiles, ensuring them are imperceptible while causing the intended harm. Albeit their efficacy, these models face challenges of unstable training and the exploration-exploitation dilemma, which can lead to suboptimal results. In this paper, we pioneer to investigate the potential of diffusion models (DMs), for shilling attacks. Specifically, we propose a novel Target-oriented Diffusion Attack model (ToDA). It incorporates a pre-trained autoencoder that transforms user profiles into a high dimensional space, paired with a Latent Diffusion Attacker (LDA)-the core component of ToDA. LDA introduces noise into the profiles within this latent space, adeptly steering the approximation towards targeted items through cross-attention mechanisms. The global horizon, implemented by a bipartite graph, is involved in LDA and derived from the encoded user profile feature. This makes LDA possible to extend the generation outwards the on-processing user feature itself, and bridges the gap between diffused user features and target item features. Extensive experiments compared to several SOTA baselines demonstrate ToDA's effectiveness. Specific studies exploit the elaborative design of ToDA and underscore the potency of advanced generative models in such contexts.


title: On polynomial images of a closed ball

abstract: In this work we approach the problem of determining which (compact) semialgebraic subsets of ${\mathbb R}^n$ are images under polynomial maps $f:{\mathbb R}^m\to{\mathbb R}^n$ of the closed unit ball $\overline{{\mathcal B}}_m$ centered at the origin of some Euclidean space ${\mathbb R}^m$ and that of estimating (when possible) which is the smallest $m$ with this property. Contrary to what happens with the images of ${\mathbb R}^m$ under polynomial maps, it is quite straightforward to provide basic examples of semialgebraic sets that are polynomial images of the closed unit ball. For instance, simplices, cylinders, hypercubes, elliptic, parabolic or hyperbolic segments (of dimension $n$) are polynomial images of the closed unit ball in ${\mathbb R}^n$. The previous examples (and other basic ones proposed in the article) provide a large family of `$n$-bricks' and we find necessary and sufficient conditions to guarantee that a finite union of `$n$-bricks' is again a polynomial image of the closed unit ball either of dimension $n$ or $n+1$. In this direction, we prove: {\em A finite union ${\mathcal S}$ of $n$-dimensional convex polyhedra is the image of the $n$-dimensional closed unit ball $\overline{{\mathcal B}}_n$ if and only if ${\mathcal S}$ is connected by analytic paths}. The previous result can be generalized using the `$n$-bricks' mentioned before and we show: {\em If ${\mathcal S}_1,\ldots,{\mathcal S}_\ell\subset{\mathbb R}^n$ are `$n$-bricks', the union ${\mathcal S}:=\bigcup_{i=1}^\ell{\mathcal S}_i$ is the image of the closed unit ball $\overline{{\mathcal B}}_{n+1}$ of ${\mathbb R}^{n+1}$ under a polynomial map $f:{\mathbb R}^{n+1}\to{\mathbb R}^n$ if and only if ${\mathcal S}$ is connected by analytic paths}.


abstract: In the paper, we show the Chow ring of moduli spaces of quasi-polarised K3 surfaces in lower genus ($\le 5$) is tautological.


title: Center stable manifolds for the radial semi-linear wave equation outside a ball

abstract: We consider the nonlinear wave equation, with a large exponent, power-like non-linearity, outside a ball of the Euclidean 3-dimensional space. In a previous article, we have proved that any global solution converges, up to a radiation term, to a stationary solution of the equation. In this work, we construct the center-stable manifold associated to each of the stationary solution, giving a complete description of the dynamics of global solutions. We also study the behavior of solutions close to each of the center-stable manifold.


title: Investigation of FlexAlgo for User-driven Path Control

abstract: This paper examines the Flexible Algorithm (FlexAlgo) for its potential to enable user-driven path control in intra-domain Segment Routing (SR) enabled networks. FlexAlgo is a relatively new approach to intra-domain routing that allows multiple custom algorithms to coexist within a single domain. This capability has the potential to provide users with greater control over the paths their data takes through a network. The research includes a thorough investigation of the FlexAlgo approach, including an examination of its underlying techniques, as well as a practical implementation of a FlexAlgo-based solution. We depict performed experiments where we implemented FlexAlgo in three different scenarios. We also present how we developed an automated tool for users to control traffic steering using preferred metrics and constraints. The results of this investigation demonstrate the capabilities of FlexAlgo as a means of enabling user-driven path control and therefore increase security and trust of users towards the network.


title: Work statistics at first-passage times

abstract: We investigate the work fluctuations in an overdamped non-equilibrium process that is stopped at a stochastic time. The latter is characterized by a first passage event that marks the completion of the non-equilibrium process. In particular, we consider a particle diffusing in one dimension in the presence of a time-dependent potential $U(x,t) = k |x-vt|^n/n$, where $k>0$ is the stiffness and $n>0$ is the order of the potential. Moreover, the particle is confined between two absorbing walls, located at $L_{\pm}(t) $, that move with a constant velocity $v$ and are initially located at $L_{\pm}(0) = \pm L$. As soon as the particle reaches any of the boundaries, the process is said to be completed and here, we compute the work done $W$ by the particle in the modulated trap upto this random time. Employing the Feynman-Kac path integral approach, we find that the typical values of the work scale with $L$ with a crucial dependence on the order $n$. While for $n>1$, we show that $\mom{W} \sim L^{1-n}~\exp \left[ \left( {k L^{n}}/{n}-v L \right)/D \right] $ for large $L$, we get an algebraic scaling of the form $\mom{W} \sim L^n$ for the $n<1$ case. The marginal case of $n=1$ is exactly solvable and our analysis unravels three distinct scaling behaviours: (i) $\mom{W} \sim L$ for $v>k$, (ii) $\mom{W} \sim L^2$ for $v=k$ and (iii) $\mom{W} \sim \exp\left[{-(v-k)L}\right]$ for $v<k$. For all cases, we also obtain the probability distribution associated with the typical values of $W$. Finally, we observe an interesting set of relations between the relative fluctuations of the work done and the first-passage time for different $n$ -- which we argue physically. Our results are well supported by the numerical simulations.


title: Keldysh crossover in one-dimensional Mott insulators

abstract: Recent advancements in pulse laser technology have facilitated the exploration of non-equilibrium spectroscopy of electronic states in the presence of strong electric fields across a broad range of photon energies. The Keldysh crossover serves as an indicator that distinguishes between excitations resulting from photon absorption triggered by near-infrared multicycle pulses and those arising from quantum tunneling induced by terahertz pulses. Using time-dependent density-matrix renormalization group, we investigate the emergence of the Keldysh crossover in a one-dimensional (1D) Mott insulator. We find that the Drude weight is proportional to photo-doped doublon density when a pump pulse induces photon absorption. In contrast, the Drude weight is suppressed when a terahertz pulse introduces doublons and holons via quantum tunneling. The suppressed Drude weight accompanies glassy dynamics with suppressed diffusion, which is a consequence of strong correlations and exhibits finite polarization decaying slowly after pulse irradiation. In the quantum tunneling region, entanglement entropy slowly grows logarithmically. These contrasting behaviors between the photon-absorption and quantum tunneling regions are a manifestation of the Keldysh crossover in 1D Mott insulators and provide a novel methodology for designing the localization and symmetry of electronic states called subcycle-pulse engineering.


title: SLANG: New Concept Comprehension of Large Language Models

abstract: The dynamic nature of language, particularly evident in the realm of slang and memes on the Internet, poses serious challenges to the adaptability of large language models (LLMs). Traditionally anchored to static datasets, these models often struggle to keep up with the rapid linguistic evolution characteristic of online communities. This research aims to bridge this gap by enhancing LLMs' comprehension of the evolving new concepts on the Internet, without the high cost of continual retraining. In pursuit of this goal, we introduce $\textbf{SLANG}$, a benchmark designed to autonomously integrate novel data and assess LLMs' ability to comprehend emerging concepts, alongside $\textbf{FOCUS}$, an approach uses causal inference to enhance LLMs to understand new phrases and their colloquial context. Our benchmark and approach involves understanding real-world instances of linguistic shifts, serving as contextual beacons, to form more precise and contextually relevant connections between newly emerging expressions and their meanings. The empirical analysis shows that our causal inference-based approach outperforms the baseline methods in terms of precision and relevance in the comprehension of Internet slang and memes.


title: C2Ideas: Supporting Creative Interior Color Design Ideation with Large Language Model

abstract: Interior color design is a creative process that endeavors to allocate colors to furniture and other elements within an interior space. While much research focuses on generating realistic interior designs, these automated approaches often misalign with user intention and disregard design rationales. Informed by a need-finding preliminary study, we develop C2Ideas, an innovative system for designers to creatively ideate color schemes enabled by an intent-aligned and domain-oriented large language model. C2Ideas integrates a three-stage process: Idea Prompting stage distills user intentions into color linguistic prompts; Word-Color Association stage transforms the prompts into semantically and stylistically coherent color schemes; and Interior Coloring stage assigns colors to interior elements complying with design principles. We also develop an interactive interface that enables flexible user refinement and interpretable reasoning. C2Ideas has undergone a series of indoor cases and user studies, demonstrating its effectiveness and high recognition of interactive functionality by designers.


title: An Efficient Implicit Neural Representation Image Codec Based on Mixed Autoregressive Model for Low-Complexity Decoding

abstract: Displaying high-quality images on edge devices, such as augmented reality devices, is essential for enhancing the user experience. However, these devices often face power consumption and computing resource limitations, making it challenging to apply many deep learning-based image compression algorithms in this field. Implicit Neural Representation (INR) for image compression is an emerging technology that offers two key benefits compared to cutting-edge autoencoder models: low computational complexity and parameter-free decoding. It also outperforms many traditional and early neural compression methods in terms of quality. In this study, we introduce a new Mixed AutoRegressive Model (MARM) to significantly reduce the decoding time for the current INR codec, along with a new synthesis network to enhance reconstruction quality. MARM includes our proposed AutoRegressive Upsampler (ARU) blocks, which are highly computationally efficient, and ARM from previous work to balance decoding time and reconstruction quality. We also propose enhancing ARU's performance using a checkerboard two-stage decoding strategy. Moreover, the ratio of different modules can be adjusted to maintain a balance between quality and speed. Comprehensive experiments demonstrate that our method significantly improves computational efficiency while preserving image quality. With different parameter settings, our method can achieve over a magnitude acceleration in decoding time without industrial level optimization, or achieve state-of-the-art reconstruction quality compared with other INR codecs. To the best of our knowledge, our method is the first INR-based codec comparable with Hyperprior in both decoding speed and quality while maintaining low complexity.


title: Interpreting Equivariant Representations

abstract: Latent representations are used extensively for downstream tasks, such as visualization, interpolation or feature extraction of deep learning models. Invariant and equivariant neural networks are powerful and well-established models for enforcing inductive biases. In this paper, we demonstrate that the inductive bias imposed on the by an equivariant model must also be taken into account when using latent representations. We show how not accounting for the inductive biases leads to decreased performance on downstream tasks, and vice versa, how accounting for inductive biases can be done effectively by using an invariant projection of the latent representations. We propose principles for how to choose such a projection, and show the impact of using these principles in two common examples: First, we study a permutation equivariant variational auto-encoder trained for molecule graph generation; here we show that invariant projections can be designed that incur no loss of information in the resulting invariant representation. Next, we study a rotation-equivariant representation used for image classification. Here, we illustrate how random invariant projections can be used to obtain an invariant representation with a high degree of retained information. In both cases, the analysis of invariant latent representations proves superior to their equivariant counterparts. Finally, we illustrate that the phenomena documented here for equivariant neural networks have counterparts in standard neural networks where invariance is encouraged via augmentation. Thus, while these ambiguities may be known by experienced developers of equivariant models, we make both the knowledge as well as effective tools to handle the ambiguities available to the broader community.


title: Superconvergent postprocessing of $C^0$ interior penalty method

abstract: This paper focuses on the superconvergence analysis of the Hessian recovery technique for the $C^0$ Interior Penalty Method (C0IP) in solving the biharmonic equation. We establish interior error estimates for C0IP method that serve as the superconvergent analysis tool. Using the argument of superconvergence by difference quotient, we prove superconvergent results of the recovered Hessian matrix on translation-invariant meshes. The Hessian recovery technique enables us to construct an asymptotically exact ${\it a\, posteriori}$ error estimator for the C0IP method. Numerical experiments are provided to support our theoretical results.


title: PolyCF: Towards the Optimal Spectral Graph Filters for Collaborative Filtering

abstract: Collaborative Filtering (CF) is a pivotal research area in recommender systems that capitalizes on collaborative similarities between users and items to provide personalized recommendations. With the remarkable achievements of node embedding-based Graph Neural Networks (GNNs), we explore the upper bounds of expressiveness inherent to embedding-based methodologies and tackle the challenges by reframing the CF task as a graph signal processing problem. To this end, we propose PolyCF, a flexible graph signal filter that leverages polynomial graph filters to process interaction signals. PolyCF exhibits the capability to capture spectral features across multiple eigenspaces through a series of Generalized Gram filters and is able to approximate the optimal polynomial response function for recovering missing interactions. A graph optimization objective and a pair-wise ranking objective are jointly used to optimize the parameters of the convolution kernel. Experiments on three widely adopted datasets demonstrate the superiority of PolyCF over current state-of-the-art CF methods. Moreover, comprehensive studies empirically validate each component's efficacy in the proposed PolyCF.


title: Valorizing Sewage Sludge: Using Nature-Inspired Architecture to Overcome Intrinsic Weaknesses of Waste-Based Materials

abstract: Sewage sludge, a biosolid product of wastewater processing, is an often-overlooked source of rich organic waste. Hydrothermal processing (HTP), which uses heat and pressure to convert biomass into various solid, liquid, and gaseous products, has shown promise in converting sewage sludge into new materials with potential application in biofuels, asphalt binders, and bioplastics. In this study we focus on hydrochar, the carbonaceous HTP solid phase, and investigate its use as a bio-based filler in additive manufacturing technologies. We explore the impact of HTP and subsequent thermal activation on chemical and structural properties of sewage sludge and discuss the role of atypical metallic and metalloid dopants in organic material processing. In additive manufacturing composites, although the addition of hydrochar generally decreases mechanical performance, we show that toughness and strain can be recovered with hierarchical microstructures, much like biological materials that achieve outstanding properties by architecting relatively weak building blocks.


title: RGBD Objects in the Wild: Scaling Real-World 3D Object Learning from RGB-D Videos

abstract: We introduce a new RGB-D object dataset captured in the wild called WildRGB-D. Unlike most existing real-world object-centric datasets which only come with RGB capturing, the direct capture of the depth channel allows better 3D annotations and broader downstream applications. WildRGB-D comprises large-scale category-level RGB-D object videos, which are taken using an iPhone to go around the objects in 360 degrees. It contains around 8500 recorded objects and nearly 20000 RGB-D videos across 46 common object categories. These videos are taken with diverse cluttered backgrounds with three setups to cover as many real-world scenarios as possible: (i) a single object in one video; (ii) multiple objects in one video; and (iii) an object with a static hand in one video. The dataset is annotated with object masks, real-world scale camera poses, and reconstructed aggregated point clouds from RGBD videos. We benchmark four tasks with WildRGB-D including novel view synthesis, camera pose estimation, object 6d pose estimation, and object surface reconstruction. Our experiments show that the large-scale capture of RGB-D objects provides a large potential to advance 3D object learning. Our project page is https://wildrgbd.github.io/.


title: MOReGIn: Multi-Objective Recommendation at the Global and Individual Levels

abstract: Multi-Objective Recommender Systems (MORSs) emerged as a paradigm to guarantee multiple (often conflicting) goals. Besides accuracy, a MORS can operate at the global level, where additional beyond-accuracy goals are met for the system as a whole, or at the individual level, meaning that the recommendations are tailored to the needs of each user. The state-of-the-art MORSs either operate at the global or individual level, without assuming the co-existence of the two perspectives. In this study, we show that when global and individual objectives co-exist, MORSs are not able to meet both types of goals. To overcome this issue, we present an approach that regulates the recommendation lists so as to guarantee both global and individual perspectives, while preserving its effectiveness. Specifically, as individual perspective, we tackle genre calibration and, as global perspective, provider fairness. We validate our approach on two real-world datasets, publicly released with this paper.


title: SCORPION Cyber Range: Fully Customizable Cyberexercises, Gamification and Learning Analytics to Train Cybersecurity Competencies

abstract: It is undeniable that we are witnessing an unprecedented digital revolution. However, recent years have been characterized by the explosion of cyberattacks, making cybercrime one of the most profitable businesses on the planet. That is why training in cybersecurity is increasingly essential to protect the assets of cyberspace. One of the most vital tools to train cybersecurity competencies is the Cyber Range, a virtualized environment that simulates realistic networks. The paper at hand introduces SCORPION, a fully functional and virtualized Cyber Range, which manages the authoring and automated deployment of scenarios. In addition, SCORPION includes several elements to improve student motivation, such as a gamification system with medals, points, or rankings, among other elements. Such a gamification system includes an adaptive learning module that is able to adapt the cyberexercise based on the users' performance. Moreover, SCORPION leverages learning analytics that collects and processes telemetric and biometric user data, including heart rate through a smartwatch, which is available through a dashboard for instructors. Finally, we developed a case study where SCORPION obtained 82.10% in usability and 4.57 out of 5 in usefulness from the viewpoint of a student and an instructor. The positive evaluation results are promising, indicating that SCORPION can become an effective, motivating, and advanced cybersecurity training tool to help fill current gaps in this context.


title: On the stability and emittance growth of different particle phase-space distributions in a long magnetic quadrupole channel

abstract: The behavior of K-V, waterbag, parabolic, conical and Gaussian distributions in periodic quadrupole channels is studied by particle simulations. It is found that all these different distributions exhibit the known K-V instabilities. But the action of the K-V type modes becomes more and more damped in the order of the types of distributions quoted above. This damping is so strong for the Gaussian distribution that the emittance growth factor after a large number of periods is considerably lower than in the case of an equivalent K-V distribution. In addition, the non K-V distributions experience in only one period of the channel a rapid initial emittance growth, which becomes very significant at high beam intensities. This growth is attributed to the homogenization of the space-charge density, resulting in a conversion of electric-field energy into transverse kinetic and potential energy. Two simple analytical formulae are derived to estimate the upper and lower boundary values for this effect and are compared with the results obtained from particle simulations.


title: UniHDA: A Unified and Versatile Framework for Multi-Modal Hybrid Domain Adaptation

abstract: Recently, generative domain adaptation has achieved remarkable progress, enabling us to adapt a pre-trained generator to a new target domain. However, existing methods simply adapt the generator to a single target domain and are limited to a single modality, either text-driven or image-driven. Moreover, they cannot maintain well consistency with the source domain, which impedes the inheritance of the diversity. In this paper, we propose UniHDA, a \textbf{unified} and \textbf{versatile} framework for generative hybrid domain adaptation with multi-modal references from multiple domains. We use CLIP encoder to project multi-modal references into a unified embedding space and then linearly interpolate the direction vectors from multiple target domains to achieve hybrid domain adaptation. To ensure \textbf{consistency} with the source domain, we propose a novel cross-domain spatial structure (CSS) loss that maintains detailed spatial structure information between source and target generator. Experiments show that the adapted generator can synthesise realistic images with various attribute compositions. Additionally, our framework is generator-agnostic and versatile to multiple generators, e.g., StyleGAN, EG3D, and Diffusion Models.


title: Towards Privacy-, Budget-, and Deadline-Aware Service Optimization for Large Medical Image Processing across Hybrid Clouds

abstract: Efficiently processing medical images, such as whole slide images in digital pathology, is essential for timely diagnosing high-risk diseases. However, this demands advanced computing infrastructure, e.g., GPU servers for deep learning inferencing, and local processing is time-consuming and costly. Besides, privacy concerns further complicate the employment of remote cloud infrastructures. While previous research has explored privacy and security-aware workflow scheduling in hybrid clouds for distributed processing, privacy-preserving data splitting, optimizing the service allocation of outsourcing computation on split data to the cloud, and privacy evaluation for large medical images still need to be addressed. This study focuses on tailoring a virtual infrastructure within a hybrid cloud environment and scheduling the image processing services while preserving privacy. We aim to minimize the use of untrusted nodes, lower monetary costs, and reduce execution time under privacy, budget, and deadline requirements. We consider a two-phase solution and develop 1) a privacy-preserving data splitting algorithm and 2) a greedy Pareto front-based algorithm for optimizing the service allocation. We conducted experiments with real and simulated data to validate and compare our method with a baseline. The results show that our privacy mechanism design outperforms the baseline regarding the average lower band on individual privacy and information gain for privacy evaluation. In addition, our approach can obtain various Pareto optimal-based allocations with users' preferences on the maximum number of untrusted nodes, budget, and time threshold. Our solutions often dominate the baseline's solution and are superior on a tight budget. Specifically, our approach has been ahead of baseline, up to 85.2% and 6.8% in terms of the total financial and time costs, respectively.


title: Asymptotic confidence interval for R2 in multiple linear regression

abstract: Following White's approach of robust multiple linear regression, we give asymptotic confidence intervals for the multiple correlation coefficient R2 under minimal moment conditions. We also give the asymptotic joint distribution of the empirical estimators of the individual R2's. Through different sets of simulations, we show that the procedure is indeed robust (contrary to the procedure involving the near exact distribution of the empirical estimator of R2 is the multivariate Gaussian case) and can be also applied to count linear regression.


title: Revolutionizing Retrieval-Augmented Generation with Enhanced PDF Structure Recognition

abstract: With the rapid development of Large Language Models (LLMs), Retrieval-Augmented Generation (RAG) has become a predominant method in the field of professional knowledge-based question answering. Presently, major foundation model companies have opened up Embedding and Chat API interfaces, and frameworks like LangChain have already integrated the RAG process. It appears that the key models and steps in RAG have been resolved, leading to the question: are professional knowledge QA systems now approaching perfection? This article discovers that current primary methods depend on the premise of accessing high-quality text corpora. However, since professional documents are mainly stored in PDFs, the low accuracy of PDF parsing significantly impacts the effectiveness of professional knowledge-based QA. We conducted an empirical RAG experiment across hundreds of questions from the corresponding real-world professional documents. The results show that, ChatDOC, a RAG system equipped with a panoptic and pinpoint PDF parser, retrieves more accurate and complete segments, and thus better answers. Empirical experiments show that ChatDOC is superior to baseline on nearly 47% of questions, ties for 38% of cases, and falls short on only 15% of cases. It shows that we may revolutionize RAG with enhanced PDF structure recognition.


title: EEND-M2F: Masked-attention mask transformers for speaker diarization

abstract: In this paper, we make the explicit connection between image segmentation methods and end-to-end diarization methods. From these insights, we propose a novel, fully end-to-end diarization model, EEND-M2F, based on the Mask2Former architecture. Speaker representations are computed in parallel using a stack of transformer decoders, in which irrelevant frames are explicitly masked from the cross attention using predictions from previous layers. EEND-M2F is lightweight, efficient, and truly end-to-end, as it does not require any additional diarization, speaker verification, or segmentation models to run, nor does it require running any clustering algorithms. Our model achieves state-of-the-art performance on several public datasets, such as AMI, AliMeeting and RAMC. Most notably our DER of 16.07% on DIHARD-III is the first major improvement upon the challenge winning system.


title: Experiencing an elongated limb in virtual reality modifies the tactile distance perception of the corresponding real limb

abstract: In measurement, a reference frame is needed to compare the measured object to something already known. This raises the neuroscientific question of which reference frame is used by humans when exploring the environment. Previous studies suggested that, in touch, the body employed as measuring tool also serves as reference frame. Indeed, an artificial modification of the perceived dimensions of the body changes the tactile perception of external object dimensions. However, it is unknown if such a change in tactile perception would occur when the body schema is modified through the illusion of owning an limb altered in size. Therefore, employing a virtual hand illusion paradigm with an elongated forearm of different lengths, we systematically tested the subjective perception of distance between two points (tactile distance perception task, TDP task) on the corresponding real forearm following the illusion. Thus, TDP task is used as a proxy to gauge changes in the body schema. Embodiment of the virtual arm was found significantly greater after the synchronous visuo-tactile stimulation condition compared to the asynchronous one, and the forearm elongation significantly increased the TDP. However, we did not find any link between the visuo-tactile induced ownership over the elongated arm and TDP variation, suggesting that vision plays the main role in the modification of the body schema. Additionally, significant effect of elongation found on TDP but not on proprioception suggests that these are affected differently by body schema modifications. These findings confirm the body schema malleability and its role as reference frame in touch.