title: DelGrad: Exact gradients in spiking networks for learning transmission delays and weights

abstract: Spiking neural networks (SNNs) inherently rely on the timing of signals for representing and processing information. Transmission delays play an important role in shaping these temporal characteristics. Recent work has demonstrated the substantial advantages of learning these delays along with synaptic weights, both in terms of accuracy and memory efficiency. However, these approaches suffer from drawbacks in terms of precision and efficiency, as they operate in discrete time and with approximate gradients, while also requiring membrane potential recordings for calculating parameter updates. To alleviate these issues, we propose an analytical approach for calculating exact loss gradients with respect to both synaptic weights and delays in an event-based fashion. The inclusion of delays emerges naturally within our proposed formalism, enriching the model's search space with a temporal dimension. Our algorithm is purely based on the timing of individual spikes and does not require access to other variables such as membrane potentials. We explicitly compare the impact on accuracy and parameter efficiency of different types of delays - axonal, dendritic and synaptic. Furthermore, while previous work on learnable delays in SNNs has been mostly confined to software simulations, we demonstrate the functionality and benefits of our approach on the BrainScaleS-2 neuromorphic platform.


title: Large CP violation in charmed baryon decays

abstract: We present our study of CP violation in two-body weak decays of antitriplet charmed baryons. In the standard model, the $\Delta c =1$ quark level interactions inducing CP violation for the relevant decays can be grouped into two types, one proportional to the CKM matrix elements $\lambda_d= V_{ud}V^*_{cd}$ and another $\lambda_b = V_{us}V^*_{cs}$. Recent studies have shown that with $SU(3)_F$ flavor symmetry, the decay amplitudes, including their strong phases, can be determined by data if contributions from $\lambda_b$ are neglected. However, the $\lambda_b$ terms must be retained to create interferences that induce CP violation. Some of them can be recovered in the framework of $SU(3)_F$ flavor symmetry, and the CP-violating rate asymmetry $A_{CP}$ is predicted to be of the order of ${\cal O}(10^{-4})$. We find that final state re-scattering effects, which link hadronic matrix elements proportional to $\lambda_d$ and $\lambda_b$, can help recover the missing terms. The re-scattering effects can enhance CP violation by an order of magnitude, with $A_{CP} (\Xi_c^0 \to p K^-) - A_{CP} (\Xi_c^0 \to \Sigma^+ \pi^-)$ being as large as $1.87 \times 10^{-3}$. This makes it promising to observe CP violation for the first time in baryon decays.


title: Advancing low-field MRI with a universal denoising imaging transformer: Towards fast and high-quality imaging

abstract: Recent developments in low-field (LF) magnetic resonance imaging (MRI) systems present remarkable opportunities for affordable and widespread MRI access. A robust denoising method to overcome the intrinsic low signal-noise-ratio (SNR) barrier is critical to the success of LF MRI. However, current data-driven MRI denoising methods predominantly handle magnitude images and rely on customized models with constrained data diversity and quantity, which exhibit limited generalizability in clinical applications across diverse MRI systems, pulse sequences, and organs. In this study, we present ImT-MRD: a complex-valued imaging transformer trained on a vast number of clinical MRI scans aiming at universal MR denoising at LF systems. Compared with averaging multiple-repeated scans for higher image SNR, the model obtains better image quality from fewer repetitions, demonstrating its capability for accelerating scans under various clinical settings. Moreover, with its complex-valued image input, the model can denoise intermediate results before advanced post-processing and prepare high-quality data for further MRI research. By delivering universal and accurate denoising across clinical and research tasks, our model holds great promise to expedite the evolution of LF MRI for accessible and equal biomedical applications.


title: PEVA-Net: Prompt-Enhanced View Aggregation Network for Zero/Few-Shot Multi-View 3D Shape Recognition

abstract: Large vision-language models have impressively promote the performance of 2D visual recognition under zero/few-shot scenarios. In this paper, we focus on exploiting the large vision-language model, i.e., CLIP, to address zero/few-shot 3D shape recognition based on multi-view representations. The key challenge for both tasks is to generate a discriminative descriptor of the 3D shape represented by multiple view images under the scenarios of either without explicit training (zero-shot 3D shape recognition) or training with a limited number of data (few-shot 3D shape recognition). We analyze that both tasks are relevant and can be considered simultaneously. Specifically, leveraging the descriptor which is effective for zero-shot inference to guide the tuning of the aggregated descriptor under the few-shot training can significantly improve the few-shot learning efficacy. Hence, we propose Prompt-Enhanced View Aggregation Network (PEVA-Net) to simultaneously address zero/few-shot 3D shape recognition. Under the zero-shot scenario, we propose to leverage the prompts built up from candidate categories to enhance the aggregation process of multiple view-associated visual features. The resulting aggregated feature serves for effective zero-shot recognition of the 3D shapes. Under the few-shot scenario, we first exploit a transformer encoder to aggregate the view-associated visual features into a global descriptor. To tune the encoder, together with the main classification loss, we propose a self-distillation scheme via a feature distillation loss by treating the zero-shot descriptor as the guidance signal for the few-shot descriptor. This scheme can significantly enhance the few-shot learning efficacy.


title: Correlations between X-rays, Visible Light and Drive-Beam Energy Loss Observed in Plasma Wakefield Acceleration Experiments at FACET-II

abstract: This study documents several correlations observed during the first run of the plasma wakefield acceleration experiment E300 conducted at FACET-II, using a single drive electron bunch. The established correlations include those between the measured maximum energy loss of the drive electron beam and the integrated betatron x-ray signal, the calculated total beam energy deposited in the plasma and the integrated x-ray signal, among three visible light emission measuring cameras, and between the visible plasma light and x-ray signal. The integrated x-ray signal correlates almost linearly with both the maximum energy loss of the drive beam and the energy deposited into the plasma, demonstrating its usability as a measure of energy transfer from the drive beam to the plasma. Visible plasma light is found to be a useful indicator of the presence of wake at three locations that overall are two meters apart. Despite the complex dynamics and vastly different timescales, the x-ray radiation from the drive bunch and visible light emission from the plasma may prove to be effective non-invasive diagnostics for monitoring the energy transfer from the beam to the plasma in future high-repetition-rate experiments.


title: Asymptotically Compatible Fractional Gr\"onwall Inequality and its Applications

abstract: In this work, we will give proper estimates for the discrete convolution complementary (DCC) kernels, which leads to the asymptotically compatible fractional Gr\"onwall inequality. The consequence can be applied in the analysis of the stability and pointwise-in-time error of difference-type schemes on a non-uniform mesh. The pointwise error is explicitly bound when a non-uniform time grid is given by a specific scale function e.g. graded mesh, can be given directly. Numerical experiments towards the conclusion of this work validate the error analysis.


title: Explicit Correlation Learning for Generalizable Cross-Modal Deepfake Detection

abstract: With the rising prevalence of deepfakes, there is a growing interest in developing generalizable detection methods for various types of deepfakes. While effective in their specific modalities, traditional detection methods fall short in addressing the generalizability of detection across diverse cross-modal deepfakes. This paper aims to explicitly learn potential cross-modal correlation to enhance deepfake detection towards various generation scenarios. Our approach introduces a correlation distillation task, which models the inherent cross-modal correlation based on content information. This strategy helps to prevent the model from overfitting merely to audio-visual synchronization. Additionally, we present the Cross-Modal Deepfake Dataset (CMDFD), a comprehensive dataset with four generation methods to evaluate the detection of diverse cross-modal deepfakes. The experimental results on CMDFD and FakeAVCeleb datasets demonstrate the superior generalizability of our method over existing state-of-the-art methods. Our code and data can be found at \url{https://github.com/ljj898/CMDFD-Dataset-and-Deepfake-Detection}.


title: Striking the Right Balance of Encoding Electron Correlation in the Hamiltonian and the Wavefunction Ansatz

abstract: Multi-configurational electronic structure theory delivers the most versatile approximations to many-electron wavefunctions, flexible enough to deal with all sorts of transformations, ranging from electronic excitations, to open-shell molecules and chemical reactions. Multi-configurational models are therefore essential to establish universally applicable, predictive ab initio methods for chemistry. Here, we present a discussion of explicit correlation approaches which address the nagging problem of dealing with static and dynamic electron correlation in multi-configurational active-space approaches. We review the latest developments and then point to their key obstacles. Our discussion is supported by new data obtained with tensor network methods. We argue in favor of simple electrons-only correlator expressions that may allow one to define transcorrelated models in which the correlator does not bear a dependence on molecular structure.

categories: physics.chem-ph cond-mat.str-el physics.comp-ph quant-ph


title: Revisiting Reward Design and Evaluation for Robust Humanoid Standing and Walking

abstract: A necessary capability for humanoid robots is the ability to stand and walk while rejecting natural disturbances. Recent progress has been made using sim-to-real reinforcement learning (RL) to train such locomotion controllers, with approaches differing mainly in their reward functions. However, prior works lack a clear method to systematically test new reward functions and compare controller performance through repeatable experiments. This limits our understanding of the trade-offs between approaches and hinders progress. To address this, we propose a low-cost, quantitative benchmarking method to evaluate and compare the real-world performance of standing and walking (SaW) controllers on metrics like command following, disturbance recovery, and energy efficiency. We also revisit reward function design and construct a minimally constraining reward function to train SaW controllers. We experimentally verify that our benchmarking framework can identify areas for improvement, which can be systematically addressed to enhance the policies. We also compare our new controller to state-of-the-art controllers on the Digit humanoid robot. The results provide clear quantitative trade-offs among the controllers and suggest directions for future improvements to the reward functions and expansion of the benchmarks.


title: XFeat: Accelerated Features for Lightweight Image Matching

abstract: We introduce a lightweight and accurate architecture for resource-efficient visual correspondence. Our method, dubbed XFeat (Accelerated Features), revisits fundamental design choices in convolutional neural networks for detecting, extracting, and matching local features. Our new model satisfies a critical need for fast and robust algorithms suitable to resource-limited devices. In particular, accurate image matching requires sufficiently large image resolutions - for this reason, we keep the resolution as large as possible while limiting the number of channels in the network. Besides, our model is designed to offer the choice of matching at the sparse or semi-dense levels, each of which may be more suitable for different downstream applications, such as visual navigation and augmented reality. Our model is the first to offer semi-dense matching efficiently, leveraging a novel match refinement module that relies on coarse local descriptors. XFeat is versatile and hardware-independent, surpassing current deep learning-based local features in speed (up to 5x faster) with comparable or better accuracy, proven in pose estimation and visual localization. We showcase it running in real-time on an inexpensive laptop CPU without specialized hardware optimizations. Code and weights are available at www.verlab.dcc.ufmg.br/descriptors/xfeat_cvpr24.


title: Game-MUG: Multimodal Oriented Game Situation Understanding and Commentary Generation Dataset

abstract: The dynamic nature of esports makes the situation relatively complicated for average viewers. Esports broadcasting involves game expert casters, but the caster-dependent game commentary is not enough to fully understand the game situation. It will be richer by including diverse multimodal esports information, including audiences' talks/emotions, game audio, and game match event information. This paper introduces GAME-MUG, a new multimodal game situation understanding and audience-engaged commentary generation dataset and its strong baseline. Our dataset is collected from 2020-2022 LOL game live streams from YouTube and Twitch, and includes multimodal esports game information, including text, audio, and time-series event logs, for detecting the game situation. In addition, we also propose a new audience conversation augmented commentary dataset by covering the game situation and audience conversation understanding, and introducing a robust joint multimodal dual learning model as a baseline. We examine the model's game situation/event understanding ability and commentary generation capability to show the effectiveness of the multimodal aspects coverage and the joint integration learning approach.


title: Detecting Spectral Breaks in Spiked Covariance Models

abstract: In this paper, the key objects of interest are the sequential covariance matrices $\mathbf{S}_{n,t}$ and their largest eigenvalues. Here, the matrix $\mathbf{S}_{n,t}$ is computed as the empirical covariance associated with observations $\{\mathbf{x}_1,\ldots,\mathbf{x}_{ \lfloor nt \rfloor } \}$, for $t\in [0,1]$. The observations $\mathbf{x}_1,\ldots,\mathbf{x}_n$ are assumed to be i.i.d. $p$-dimensional vectors with zero mean, and a covariance matrix that is a fixed-rank perturbation of the identity matrix. Treating $\{ \mathbf{S}_{n,t}\}_{t \in [0,1]}$ as a matrix-valued stochastic process indexed by $t$, we study the behavior of the largest eigenvalues of $\mathbf{S}_{n,t}$, as $t$ varies, with $n$ and $p$ increasing simultaneously, so that $p/n \to y \in (0,1)$. As a key contribution of this work, we establish the weak convergence of the stochastic process corresponding to the sample spiked eigenvalues, if their population counterparts exceed the critical phase-transition threshold. Our analysis of the limiting process is fully comprehensive revealing, in general, non-Gaussian limiting processes. As an application, we consider a class of change-point problems, where the interest is in detecting structural breaks in the covariance caused by a change in magnitude of the spiked eigenvalues. For this purpose, we propose two different maximal statistics corresponding to centered spiked eigenvalues of the sequential covariances. We show the existence of limiting null distributions for these statistics, and prove consistency of the test under fixed alternatives. Moreover, we compare the behavior of the proposed tests through a simulation study.


title: The moduli space of left-invariant metrics on six-dimensional characteristically solvable nilmanifolds

abstract: A real Lie algebra is said to be characteristically solvable if its derivation algebra is solvable. We explicitly determine the moduli space of left-invariant metrics, up to isometric automorphism, for $6$-dimensional nilmanifolds whose associated Lie algebra is characteristically solvable. We also compute the corresponding full isometry groups. For each left-invariant metric on these nilmanifolds we compute the index and distribution of symmetry. In particular, we find the first known examples of Lie groups which do not admit a left-invariant metric with positive index of symmetry. As an application we study the index of symmetry of nilsoliton metrics on characteristically solvable Lie algebras. We prove that nilsoliton metrics detect the existence of left-invariant metrics with positive index of symmetry.


title: Revenge of the Fallen? Recurrent Models Match Transformers at Predicting Human Language Comprehension Metrics

abstract: Transformers have supplanted Recurrent Neural Networks as the dominant architecture for both natural language processing tasks and, despite criticisms of cognitive implausibility, for modelling the effect of predictability on online human language comprehension. However, two recently developed recurrent neural network architectures, RWKV and Mamba, appear to perform natural language tasks comparably to or better than transformers of equivalent scale. In this paper, we show that contemporary recurrent models are now also able to match - and in some cases, exceed - performance of comparably sized transformers at modeling online human language comprehension. This suggests that transformer language models are not uniquely suited to this task, and opens up new directions for debates about the extent to which architectural features of language models make them better or worse models of human language comprehension.


title: On the Determining Physical Factor of Jet-Related Coronal Mass Ejection's Morphology in the High Corona

abstract: A solar jet can often cause coronal mass ejections (CMEs) with different morphologies in the high corona, for example, jet-like CMEs, bubble-like CMEs, and so-called twin CMEs that include a pair of simultaneous jet-like and bubble-like CMEs. However, what determines the morphology of a jet-related CME is still an open question. Using high spatiotemporal resolution stereoscopic observations taken by the Solar Dynamics Observatory (SDO) and the Solar Terrestrial Relations Observatory (STEREO) from October 2010 to December 2012, we performed a statistical study of jet-related CMEs to study the potential physical factors that determine the morphology of CMEs in the outer corona. Our statistical sample includes 16 jet-related CME events of which 7 are twin CME events and 9 are jet-like narrow CMEs. We find that all CMEs in our sample were accompanied by filament-driven blowout jets and Type III radio bursts during their initial formation and involved magnetic reconnection between filament channels and the surrounding magnetic fields. Most of our cases occurred in a fan-spine magnetic configuration. Our study suggests that the bubble-like components of twin CMEs lacking an obvious core are related to the expansion of the closed-loop systems next to the fan-spine topology, while the jet-like component is from the coronal extension of the jet plasma along open fields. Based on the statistical results, we conclude that the morphology of jet-related CMEs in the high corona may be related to the filament length and the initial magnetic null point height of the fan-spine structures.


title: MACO: Exploring GEMM Acceleration on a Loosely-Coupled Multi-core Processor

abstract: General-purpose processor vendors have integrated customized accelerator in their products due to the widespread use of General Matrix-Matrix Multiplication (GEMM) kernels. However, it remains a challenge to further improve the flexibilityand scalability of these GEMM-enhanced processors to cater to the emerging large-scale GEMM workloads. In this paper we propose MACO, a novel loosely-coupled multi-core general-purpose architecture optimized for GEMM-related applications. To enhance the programmability and flexibility of MACO, the paper introduces a tile-based instruction set architecture. Additionally, the paper presents techniques such as hardware-assisted data prefetching and locking, and predictive address translation to further enhance the computational efficiency of MACO for GEMM workloads. The experimental results demonstrate that MACO exhibits good scalability, achieving an average computational efficiency of 90% across multiple cores. Furthermore, evaluations on state-of-the-art deep neural networks show that MACO can achieve up to 1.1 TFLOPS with 88% computational efficiency, indicating its adaptivity to deep learning workloads.


title: Low-energy Injection and Nonthermal Particle Acceleration in Relativistic Magnetic Turbulence

abstract: Relativistic magnetic turbulence has been proposed as a process for producing nonthermal particles in high-energy astrophysics. The particle energization may be contributed by both magnetic reconnection and turbulent fluctuations, but their interplay is poorly understood. It has been suggested that during magnetic reconnection the parallel electric field dominates the particle acceleration up to the lower bound of the power-law particle spectrum, but recent studies show that electric fields perpendicular to the magnetic field can play an important, if not dominant role. In this study, we carry out fully kinetic particle-in-cell simulations of magnetically dominated decaying turbulence in a relativistic pair plasma. For a fixed magnetization parameter $\sigma_0 = 20$, we find that the injection energy~$\varepsilon_{\rm inj}$ converges with increasing domain size to~$\varepsilon_{\rm inj} \simeq 10 \, m_ec^2$. In contrast, the power-law index, the cut-off energy, and the power-law extent increase steadily with domain size. We trace a large number of particles and evaluate the contributions of the work done by the parallel ($W_\parallel$) and perpendicular ($W_\perp$) electric fields during both the injection phase and the post-injection phase. We find that during the injection phase, the $W_\perp$ contribution increases with domain size, suggesting that it may eventually dominate injection for a sufficiently large domain. In contrast, both components contribute equally during the post-injection phase, insensitive to the domain size. For high energy ($\varepsilon \gg \varepsilon_{\rm inj}$) particles, $W_\perp$ dominates the subsequent energization. These findings may improve our understanding of nonthermal particles and their emissions in astrophysical plasmas.


title: Robust Proximity Detection using On-Device Gait Monitoring

abstract: Proximity detection in indoor environments based on WiFi signals has gained significant attention in recent years. Existing works rely on the dynamic signal reflections and their extracted features are dependent on motion strength. To address this issue, we design a robust WiFi-based proximity detector by considering gait monitoring. Specifically, we propose a gait score that accurately evaluates gait presence by leveraging the speed estimated from the autocorrelation function (ACF) of channel state information (CSI). By combining this gait score with a proximity feature, our approach effectively distinguishes different transition patterns, enabling more reliable proximity detection. In addition, to enhance the stability of the detection process, we employ a state machine and extract temporal information, ensuring continuous proximity detection even during subtle movements. Extensive experiments conducted in different environments demonstrate an overall detection rate of 92.5% and a low false alarm rate of 1.12% with a delay of 0.825s.


title: Logarithmic geometry and Frobenius

abstract: Based on the logarithmic algebraic geometry and the theory of Deligne systems, we define an abelian category of $\ell$-adic sheaves with weight filtrations on a logarithmic scheme over a finite field, which is similar to the category of variations of mixed Hodge structure. We consider asymptotic behaviors and simple cases of higher direct images of objects of this category. This category is closely related to the monodromy-weight conjecture.


title: Tunable plasmonic properties of spatially overlapping asymmetric nanoparticle dimers

abstract: In this work, the plasmonic properties of nanoparticle dimers with optical responses over a wide spectral range have been investigated by varying the inter-particle gap, dimer geometry, gap morphology, nanoparticle composition, and refractive index of the surrounding medium. In particular, we have theoretically investigated the plasmonic properties of spatially overlapping symmetric gold nanodisks, shape-asymmetric gold nanodisk nanoplates, and compositionally asymmetric gold-silver nanodisk dimers by varying the gap separation from touching to overlapping regime. In such a configuration, we have observed the appearance of a dominant bonding dimer plasmon (BDP) mode that blue-shifts as gap separation turns from touching to overlapping. In addition, it is found that asymmetric dimer produces a broader resonance shift compared to symmetric dimer because of the hybridization of bright and dark plasmon modes, making it a viable option for sensing applications. It is also found that blue shifting of the plasmon mode occurred by changing the gap morphology of the contacting region of the dimer for fixed nanoparticle size and dimer overlapping. Moreover, we explored the influence of overlapping nanoparticle dimer thickness and observed a notable resonance shift by varying the thickness of the nanoparticle dimer. Finally, based on this tunable resonance shift, we explored the sensing applications of bonding dimer plasmon mode with optimized geometries. Thus, the computed figure of merit (FOM) of the overlapping symmetric, shape-asymmetric, and compositionally asymmetric nanoparticle dimers were found to be 1.55, 2.08, and 3.04, respectively, and comparative advantages among the three configurations with implications for surface-based sensing have been thoroughly discussed.


title: Distributionally Robust Optimization with Multimodal Decision-Dependent Ambiguity Sets

abstract: We consider a two-stage distributionally robust optimization (DRO) model with multimodal uncertainty, where both the mode probabilities and uncertainty distributions could be affected by the first-stage decisions. To address this setting, we propose a generic framework by introducing a $\phi$-divergence based ambiguity set to characterize the decision-dependent mode probabilities and further consider both moment-based and Wasserstein distance-based ambiguity sets to characterize the uncertainty distribution under each mode. We identify two special $\phi$-divergence examples (variation distance and $\chi^2$-distance) and provide specific forms of decision dependence relationships under which we can derive tractable reformulations. Furthermore, we investigate the benefits of considering multimodality in a DRO model compared to a single-modal counterpart through an analytical analysis. We provide a computational study over the facility location problem to illustrate our results, which demonstrate that omission of multimodality and decision-dependent uncertainties within DRO frameworks result in inadequately performing solutions with worse in-sample and out-of-sample performances under various settings.


title: The Mathematical Foundation of Post-Quantum Cryptography

abstract: On July 5, 2022, the National Institute of Standards and Technology announced four possible post-quantum cryptography standards, three of them are based on lattice theory and the other one is based on Hash function. It is well-known that the security of the lattice cryptography relies on the hardness of the shortest vector problem (SVP) and the closest vector problem (CVP). In fact, the SVP is a sphere packing problem and the CVP is a sphere covering problem. Furthermore, both SVP and CVP are equivalent to arithmetic problems of positive definite quadratic forms. This paper will briefly introduce the post-quantum cryptography and show its connections with sphere packing, sphere covering, and positive definite quadratic forms.


title: CONTUNER: Singing Voice Beautifying with Pitch and Expressiveness Condition

abstract: Singing voice beautifying is a novel task that has application value in people's daily life, aiming to correct the pitch of the singing voice and improve the expressiveness without changing the original timbre and content. Existing methods rely on paired data or only concentrate on the correction of pitch. However, professional songs and amateur songs from the same person are hard to obtain, and singing voice beautifying doesn't only contain pitch correction but other aspects like emotion and rhythm. Since we propose a fast and high-fidelity singing voice beautifying system called ConTuner, a diffusion model combined with the modified condition to generate the beautified Mel-spectrogram, where the modified condition is composed of optimized pitch and expressiveness. For pitch correction, we establish a mapping relationship from MIDI, spectrum envelope to pitch. To make amateur singing more expressive, we propose the expressiveness enhancer in the latent space to convert amateur vocal tone to professional. ConTuner achieves a satisfactory beautification effect on both Mandarin and English songs. Ablation study demonstrates that the expressiveness enhancer and generator-based accelerate method in ConTuner are effective.


title: Maximum bound principle and original energy dissipation of arbitrarily high-order rescaled exponential time differencing Runge-Kutta schemes for Allen--Cahn equations

abstract: The energy dissipation law and the maximum bound principle are two critical physical properties of the Allen--Cahn equations. While many existing time-stepping methods are known to preserve the energy dissipation law, most apply to a modified form of energy. In this work, we demonstrate that, when the nonlinear term of the Allen--Cahn equation is Lipschitz continuous, a class of arbitrarily high-order exponential time differencing Runge--Kutta (ETDRK) schemes preserve the original energy dissipation property, under a mild step-size constraint. Additionally, we guarantee the Lipschitz condition on the nonlinear term by applying a rescaling post-processing technique, which ensures that the numerical solution unconditionally satisfies the maximum bound principle. Consequently, our proposed schemes maintain both the original energy dissipation law and the maximum bound principle and can achieve arbitrarily high-order accuracy. We also establish an optimal error estimate for the proposed schemes. Some numerical experiments are carried out to verify our theoretical results.


title: Assessing the safety benefits of CACC+ based coordination of connected and autonomous vehicle platoons in emergency braking scenarios

abstract: Ensuring safety is the most important factor in connected and autonomous vehicles, especially in emergency braking situations. As such, assessing the safety benefits of one information topology over other is a necessary step towards evaluating and ensuring safety. In this paper, we compare the safety benefits of a cooperative adaptive cruise control which utilizes information from one predecessor vehicle (CACC) with the one that utilizes information from multiple predecessors (CACC+) for the maintenance of spacing under an emergency braking scenario. A constant time headway policy is employed for maintenance of spacing (that includes a desired standstill spacing distance and a velocity dependent spacing distance) between the vehicles in the platoon. The considered emergency braking scenario consists of braking of the leader vehicle of the platoon at its maximum deceleration and that of the following vehicles to maintain the spacing as per CACC or CACC+. By focusing on the standstill spacing distance and utilizing Monte Carlo simulations, we assess the safety benefits of CACC+ over CACC by utilizing the following safety metrics: (1) probability of collision, (2) expected number of collisions, and (3) severity of collision (defined as the relative velocity of the two vehicles at impact). We present and provide discussion of these results.


title: Analysing 2-$(v,k,2)$ designs admitting a flag-transitive almost simple automorphism group with socle $PSL(2,q)$ by means of conics and hyperovals of $PG(2,q)$

abstract: The classification of the $2$-designs with $\lambda=2$ admitting a flag-transitive automorphism groups with socle $PSL(2,q)$ is completed by settling the two open cases in \cite{ABDT}. The result is achieved by using conics and hyperovals of $PG(2,q)$.


title: High-energy neutrino signals from supernova explosions: a new window into dark photon parameter space

abstract: Dark photons, hypothetical feebly interacting massive vector bosons, appear in many extensions of the Standard Model. This study investigates their production and subsequent decay during supernova explosions. We demonstrate that the decay of dark photons, with masses ranging from 200 to 400 MeV, can lead to the emission of neutrinos with energies surpassing those emitted by supernovae. These neutrinos therefore serve as a distinct signal of new physics, allowing for the exploration of previously uncharted regions of the dark photon parameter space and complementing both accelerator-based searches and other astrophysical constraints. The signal is largely unaffected by the specifics of the supernova's temperature and density radial profiles outside the SN core, rendering the prediction both robust and model-independent. Our results indicate that searching for high-energy neutrinos accompanying supernova explosions provides a novel approach to probe physics beyond the Standard Model, including dark photons, heavy neutral leptons, and other feebly interacting particles with masses in the hundreds of MeV range.


title: Mix of Experts Language Model for Named Entity Recognition

abstract: Named Entity Recognition (NER) is an essential steppingstone in the field of natural language processing. Although promising performance has been achieved by various distantly supervised models, we argue that distant supervision inevitably introduces incomplete and noisy annotations, which may mislead the model training process. To address this issue, we propose a robust NER model named BOND-MoE based on Mixture of Experts (MoE). Instead of relying on a single model for NER prediction, multiple models are trained and ensembled under the Expectation-Maximization (EM) framework, so that noisy supervision can be dramatically alleviated. In addition, we introduce a fair assignment module to balance the document-model assignment process. Extensive experiments on real-world datasets show that the proposed method achieves state-of-the-art performance compared with other distantly supervised NER.


title: Tunable Collective Excitations in Epitaxial Perovskite Nickelates

abstract: The formation of plasmons through the collective excitation of charge density has generated intense discussions, offering insights to fundamental sciences and potential applications. While the underlying physical principles have been well-established, the effects of many-body interactions and orbital hybridization on plasmonic dynamics remain understudied. In this work, we present the observation of conventional metallic and correlated plasmons in epitaxial La1-xSrxNiO3 (LSNO) films with varying Sr doping concentrations (x = 0, 0.125, 0.25), unveiling their intriguing evolution. Unlike samples at other doping concentrations, the x = 0.125 intermediate doping sample does not exhibit the correlated plasmons despite showing high optical conductivity. Through a comprehensive experimental investigation using spectroscopic ellipsometry and X-ray absorption spectroscopy, the O2p-Ni3d orbital hybridization for LSNO with a doping concentration of x = 0.125 is found to be significantly enhanced, alongside a considerable weakening of its effective correlation U*. These factors account for the absence of correlated plasmons and the high optical conductivity observed in LSNO (0.125). Our results underscore the profound impact of orbital hybridization on the electronic structure and the formation of plasmon in strongly-correlated systems. This in turn suggest that LSNO could serve as a promising alternative material in optoelectronic devices.


title: Updated observational constraints on spatially-flat and non-flat $\Lambda$CDM and XCDM cosmological models

abstract: We study 6 LCDM models, with 4 allowing for non-flat geometry and 3 allowing for a non-unity lensing consistency parameter $A_L$. We also study 6 XCDM models with a dynamical dark energy density X-fluid with equation of state $w$. For the non-flat models we use two different primordial power spectra, Planck $P(q)$ and new $P(q)$. These models are tested against: Planck 2018 CMB power spectra (P18) and lensing potential power spectrum (lensing), and an updated compilation of BAO, SNIa, $H(z)$, and $f\sigma_8$ data [non-CMB data]. P18 data favor closed geometry for the LCDM and XCDM models and $w<-1$ (phantom-like dark energy) for the XCDM models while non-CMB data favor open geometry for the LCDM models and closed geometry and $w>-1$ (quintessence-like dark energy) for the XCDM models. When P18 and non-CMB data are jointly analyzed there is weak evidence for open geometry and moderate evidence for quintessence-like dark energy. Regardless of data used, $A_L>1$ is always favored. The XCDM model constraints obtained from CMB data and from non-CMB data are incompatible, ruling out the 3 $A_L = 1$ XCDM models at $> 3\sigma$. In the 9 models not ruled out, for the P18+lensing+non-CMB data set we find little deviation from flat geometry and moderate deviation from $w=-1$. In all 6 non-flat models (not ruled out), open geometry is mildly favored, and in all 3 XCDM+$A_L$ models (not ruled out) quintessence-like dark energy is moderately favored (by at most $1.6 \sigma$). In the $A_L = 1$ non-flat LCDM cases, we find for P18+lensing+non-CMB data $\Omega_k = 0.0009 \pm 0.0017$ [$0.0008 \pm 0.0017$] for the Planck [new] $P(q)$ model, favoring open geometry. The flat LCDM model remains the simplest (largely) observationally-consistent cosmological model. Our cosmological parameter constraints obtained for the flat LCDM model (and other models) are the most restrictive results to date (Abridged).


title: Evaluation of Thermal Performance of a Wick-free Vapor Chamber in Power Electronics Cooling

abstract: Efficient thermal management in high-power electronics cooling can be achieved using phase-change heat transfer devices, such as vapor chambers. Traditional vapor chambers use wicks to transport condensate for efficient thermal exchange and to prevent "dry-out" of the evaporator. However, wicks in vapor chambers present significant design challenges arising out of large pressure drops across the wicking material, which slows down condensate transport rates and increases the chances for dry-out. Thicker wicks add to overall thermal resistance, while deterring the development of thinner devices by limiting the total thickness of the vapor chamber. Wickless vapor chambers eliminate the use of metal wicks entirely, by incorporating complementary wettability-patterned flat plates on both the evaporator and the condenser side. Such surface modifications enhance fluid transport on the evaporator side, while allowing the chambers to be virtually as thin as imaginable, thereby permitting design of thermally efficient thin electronic cooling devices. While wick-free vapor chambers have been studied and efficient design strategies have been suggested, we delve into real-life applications of wick-free vapor chambers in forced air cooling of high-power electronics. An experimental setup is developed wherein two Si-based MOSFETs of TO-247-3 packaging having high conduction resistance, are connected in parallel and switched at 100 kHz, to emulate high frequency power electronics operations. A rectangular copper wick-free vapor chamber spreads heat laterally over a surface 13 times larger than the heating area. This chamber is cooled externally by a fan that circulates air at room temperature. The present experimental setup extends our previous work on wick-free vapor chambers, while demonstrating the effectiveness of low-cost air cooling in vapor-chamber enhanced high-power electronics applications.


title: Tail Asymptotic of Heavy-Tail Risks with Elliptical Copula

abstract: We consider a family of multivariate distributions with heavy-tailed margins and the type I elliptical dependence structure. This class of risks is common in finance, insurance, environmental and biostatistic applications. We obtain the asymptotic tail risk probabilities and characterize the multivariate regular variation property. The results demonstrate how the rate of decay of probabilities on tail sets varies in tail sets and the covariance matrix of the elliptical copula. The theoretical results are well illustrated by typical examples and numerical simulations. A real data application shows its advantages in a more flexible dependence structure to characterize joint insurance losses.


title: Does the Electron EDM Preclude Electroweak Baryogenesis ?

abstract: Electroweak baryogenesis (EWBG) constitutes a theoretically compelling and experimentally testable mechanism for explaining the origin of the baryon asymmetry of the universe (BAU). New results for the electric dipole moment (EDM) of the electron place significant constraints on the beyond Standard Model CP-violation needed for successful EWBG. We show how new developments in EWBG quantum transport theory that include CP-violating sources first order in gradients imply more relaxed EDM constraints than implied by previous approximation formulations. Consequently, EWBG remains viable even in light of present EDM bounds. We also illustrate how these developments enable a more realistic treatment of CP-conserving interactions that can also have a decisive impact on the predicted BAU.


title: $CP$-violating observables of four-body $B_{(s)} \to (\pi\pi)(K\bar{K})$ decays in perturbative QCD

abstract: In this work, we investigate six helicity amplitudes of the four-body $B_{(s)} \to (\pi\pi)(K\bar{K})$ decays in the perturbative QCD (PQCD) approach. The $\pi\pi$ invariant mass spectrum is dominated by the vector resonance $\rho(770)$ together with scalar resonance $f_0(980)$, while the vector resonance $\phi(1020)$ and scalar resonance $f_0(980)$ are expected to contribute in the $K\bar{K}$ invariant mass range. We extract the two-body branching ratios ${\cal B}(B_{(s)}\to \rho\phi)$ from the corresponding four-body decays $B_{(s)}\to \rho\phi\to (\pi\pi)(K \bar K)$. The predicted ${\cal B}(B^0_{s}\to \rho\phi)$ agrees well with the current experimental data within errors. The longitudinal polarization fractions of the $B_{(s)}\to \rho\phi$ decays are found to be as large as $90\%$, basically consistent with the previous two-body predictions within uncertainties. In addition, the triple-product asymmetries (TPAs) of the considered decays are also presented for the first time. Since the $B_s^0\to \rho^0\phi\to(\pi^+\pi^-)(K^+K^-)$ decay is induced by both tree and penguin operators, the values of the ${\cal A}^{\rm CP}_{\rm dir}$ and ${\cal A}^{1}_{\text{T-true}}$ are calculated to be $(21.8^{+2.7}_{-3.3})\%$ and $(-10.23^{+1.73}_{-1.56})\%$ respectively. While for pure penguin decays $B^0\to \rho^0\phi\to(\pi^+\pi^-)(K^+K^-)$ and $B^+\to \rho^+\phi\to(\pi^+\pi^0)(K^+K^-)$, both the direct $CP$ asymmetries and ``true" TPAs are naturally expected to be zero in the standard model (SM). The ``fake" TPAs requiring no weak phase difference are usually none zero for all considered decay channels. The sizable ``fake" ${\cal A}^{1}_{\text{T-fake}}=(-20.92^{+6.26}_{-2.80})\%$ of the $B^0\to \rho^0\phi\to(\pi^+\pi^-)(K^+K^-)$ decay is predicted in the PQCD approach, which provides valuable information on the final-state interactions.Our predictions can be tested by the future experiments.


title: Near-ultrastrong nonlinear light-matter coupling in superconducting circuits

abstract: The interaction between an atom and an electromagnetic mode of a resonator is of both fundamental interest and is ubiquitous in quantum technologies. Most prior work studies a linear light-matter coupling of the form $g \widehat{\sigma}_x (\widehat{a} + \widehat{a}^\dagger)$, where $g$ measured relative to photonic ($\omega_a$) and atomic ($\omega_b$) mode frequencies can reach the ultrastrong regime ($g/\omega_{a}\!>\!10^{-1}$). In contrast, a nonlinear light-matter coupling of the form $\frac{\chi}{2} \widehat{\sigma}_z \widehat{a}^\dagger \widehat{a}$ has the advantage of commuting with the atomic $\widehat{\sigma}_z$ and photonic $\widehat{a}^\dagger\widehat{a}$ Hamiltonian, allowing for fundamental operations such as quantum-non-demolition measurement. However, due to the perturbative nature of nonlinear coupling, the state-of-the-art $\chi/\text{max}(\omega_a, \omega_b)$ is limited to $\!<\!10^{-2}$. Here, we use a superconducting circuit architecture featuring a quarton coupler to experimentally demonstrate, for the first time, a near-ultrastrong $\chi/\text{max}(\omega_a, \omega_b)= (4.852\pm0.006)\times10^{-2}$ nonlinear coupling of a superconducting artificial atom and a nearly-linear resonator. We also show signatures of light-light nonlinear coupling ($\chi\widehat{a}^\dagger\widehat{a}\widehat{b}^\dagger\widehat{b}$), and $\chi/2\pi = 580.3 \pm 0.4 $ MHz matter-matter nonlinear coupling ($\frac{\chi}{4}\widehat{\sigma}_{z,a}\widehat{\sigma}_{z,b}$) which represents the largest reported $ZZ$ interaction between two coherent qubits. Such advances in the nonlinear coupling strength of light, matter modes enable new physical regimes and could lead to applications such as orders of magnitude faster qubit readout and gates.


title: All bipartite circulants are dispersable

abstract: We show that a cyclic vertex order due to Yu, Shao and Li gives a dispersable book embedding for any bipartite circulant.


title: Global Search Optics: Automatically Exploring Optimal Solutions to Compact Computational Imaging Systems

abstract: The popularity of mobile vision creates a demand for advanced compact computational imaging systems, which call for the development of both a lightweight optical system and an effective image reconstruction model. Recently, joint design pipelines come to the research forefront, where the two significant components are simultaneously optimized via data-driven learning to realize the optimal system design. However, the effectiveness of these designs largely depends on the initial setup of the optical system, complicated by a non-convex solution space that impedes reaching a globally optimal solution. In this work, we present Global Search Optics (GSO) to automatically design compact computational imaging systems through two parts: (i) Fused Optimization Method for Automatic Optical Design (OptiFusion), which searches for diverse initial optical systems under certain design specifications; and (ii) Efficient Physic-aware Joint Optimization (EPJO), which conducts parallel joint optimization of initial optical systems and image reconstruction networks with the consideration of physical constraints, culminating in the selection of the optimal solution. Extensive experimental results on the design of three-piece (3P) sphere computational imaging systems illustrate that the GSO serves as a transformative end-to-end lens design paradigm for superior global optimal structure searching ability, which provides compact computational imaging systems with higher imaging quality compared to traditional methods. The source code will be made publicly available at https://github.com/wumengshenyou/GSO.


title: Dihadron helicity correlation in photon-nucleus collisions

abstract: The helicity correlation of two back-to-back hadrons is a powerful tool that makes it possible to probe the longitudinal spin transfer, $G_{1L}$, in unpolarized hadronic collisions. In this work, we investigate the helicity correlation of back-to-back dihadrons produced in photon-nucleus collisions with both space-like and quasireal photons and explore its potential in understanding the flavor dependence of spin-dependent fragmentation functions. We present helicity amplitudes of partonic scatterings with both virtual and real photons and make numerical predictions for the dihadron helicity correlations at the future Electron Ion Collider experiment and the current RHIC/LHC ultra-peripheral collision experiment. Future experimental measurements can also illuminate the fragmentation function of circularly polarized gluons.


title: Thermal Performance of a Liquid-cooling Assisted Thin Wickless Vapor Chamber

abstract: The ever-increasing need for power consumption in electronic devices, coupled with the requirement for thinner size, calls for the development of efficient heat spreading components. Vapor chambers (VCs), because of their ability to effectively spread heat over a large area by two-phase heat transfer, seem ideal for such applications. However, creating thin and efficient vapor chambers that work over a wide range of power inputs is a persisting challenge. VCs that use wicks for circulating the phase changing media, suffer from capillary restrictions, dry-out, clogging, increase in size and weight, and can often be costly. Recent developments in wick-free wettability patterned vapor chambers replace traditional wicks with laser-fabricated wickless components. An experimental setup allows for fast testing and experimental evaluation of water-charged VCs with liquid-assisted cooling. The sealed chamber can maintain vacuum for long durations, and can be used for testing of very thin wick-free VCs. This work extends our previous study by decreasing overall thickness of the wick-free VC down to 3 mm and evaluates its performance. Furthermore, the impact of wettability patterns on VC performance is investigated, by carrying out experiments both in non-patterned and patterned VCs. Experiments are first carried out on a wick-free VC with no wettability patterns and comprising of an entirely superhydrophilic evaporator coupled with a hydrophobic condenser. Thereafter, wettability patterns that aid the rapid return of water to the heated site on the evaporator and improve condensation on the condenser of the vapor chamber are implemented. The thermal characteristics show that the patterned VCs outperform the non-patterned VCs under all scenarios. The patterned VCs exhibit low thermal resistance independent of fluid charging ratio withstanding higher power inputs without thermal dry-outs.


title: NeRF-Insert: 3D Local Editing with Multimodal Control Signals

abstract: We propose NeRF-Insert, a NeRF editing framework that allows users to make high-quality local edits with a flexible level of control. Unlike previous work that relied on image-to-image models, we cast scene editing as an in-painting problem, which encourages the global structure of the scene to be preserved. Moreover, while most existing methods use only textual prompts to condition edits, our framework accepts a combination of inputs of different modalities as reference. More precisely, a user may provide a combination of textual and visual inputs including images, CAD models, and binary image masks for specifying a 3D region. We use generic image generation models to in-paint the scene from multiple viewpoints, and lift the local edits to a 3D-consistent NeRF edit. Compared to previous methods, our results show better visual quality and also maintain stronger consistency with the original NeRF.


title: TableVQA-Bench: A Visual Question Answering Benchmark on Multiple Table Domains

abstract: In this paper, we establish a benchmark for table visual question answering, referred to as the TableVQA-Bench, derived from pre-existing table question-answering (QA) and table structure recognition datasets. It is important to note that existing datasets have not incorporated images or QA pairs, which are two crucial components of TableVQA. As such, the primary objective of this paper is to obtain these necessary components. Specifically, images are sourced either through the application of a \textit{stylesheet} or by employing the proposed table rendering system. QA pairs are generated by exploiting the large language model (LLM) where the input is a text-formatted table. Ultimately, the completed TableVQA-Bench comprises 1,500 QA pairs. We comprehensively compare the performance of various multi-modal large language models (MLLMs) on TableVQA-Bench. GPT-4V achieves the highest accuracy among commercial and open-sourced MLLMs from our experiments. Moreover, we discover that the number of vision queries plays a significant role in TableVQA performance. To further analyze the capabilities of MLLMs in comparison to their LLM backbones, we investigate by presenting image-formatted tables to MLLMs and text-formatted tables to LLMs, respectively. Our findings suggest that processing visual inputs is more challenging than text inputs, as evidenced by the lower performance of MLLMs, despite generally requiring higher computational costs than LLMs. The proposed TableVQA-Bench and evaluation codes are available at \href{https://github.com/naver-ai/tablevqabench}{https://github.com/naver-ai/tablevqabench}.


title: Periodic Event-Triggered Boundary Control of Neuron Growth with Actuation at Soma

abstract: Exploring novel strategies for the regulation of axon growth, we introduce a periodic event-triggered control (PETC) to enhance the practical implementation of the associated PDE backstepping control law. Neurological injuries may impair neuronal function, but therapies like Chondroitinase ABC (ChABC) have shown promise in improving axon elongation by influencing the extracellular matrix. This matrix, composed of extracellular macromolecules and minerals, regulates tubulin protein concentration, potentially aiding in neuronal recovery. The concentration and spatial distribution of tubulin influence axon elongation dynamics. Recent research explores feedback control strategies for this model, leading to the development of an event-triggering control (CETC) approach. In this approach, the control law updates when the monitored triggering condition is met, reducing actuation resource consumption. Through the meticulous redesign of the triggering mechanism, we introduce a periodic event-triggering control (PETC), updating control inputs at specific intervals, but evaluating the event-trigger only periodically, an ideal tool for standard time-sliced actuators like ChABC. PETC is a step forward to the design of practically feasible feedback laws for the neuron growth process. The PETC strategy establishes an upper bound on event triggers between periodic examinations, ensuring convergence and preventing Zeno behavior. Through Lyapunov analysis, we demonstrate the local exponential convergence of the system with the periodic event-triggering mechanism in the $L^2$-norm sense. Numerical examples are presented to confirm the theoretical findings.


title: Equivalence between validity of the $p$-Poincar\'e inequality and finiteness of the strict $p$-capacitary inradius

abstract: It is shown that the $p$-Poincar\'e inequality holds on an open set $\Omega$ in $\mathbb{R}^n$ if and only if the strict $p$-capacitary inradius of $\Omega$ is finite. To that end, new upper and lower bounds for the infimum for the associated nonlinear Rayleigh quotients are derived.


title: Optical Spectroscopy of Type Ia Supernovae by the Carnegie Supernova Projects I and II

abstract: We present the second and final release of optical spectroscopy of Type Ia Supernovae (SNe Ia) obtained during the first and second phases of the Carnegie Supernova Project (CSP-I and CSP-II). The newly released data consist of 148 spectra of 30 SNe Ia observed in the course of the CSP-I, and 234 spectra of 127 SNe Ia obtained during the CSP-II. We also present 216 optical spectra of 46 historical SNe Ia, including 53 spectra of 30 SNe Ia observed by the Cal\'an/Tololo Supernova Survey. We combine these observations with previously published CSP data and publicly-available spectra to compile a large sample of measurements of spectroscopic parameters at maximum light, consisting of pseudo-equivalent widths and expansion velocities of selected features, for 232 CSP and historical SNe Ia (including more than 1000 spectra). Finally, we review some of the strongest correlations between spectroscopic and photometric properties of SNe Ia. Specifically, we define two samples: one consisting of SNe Ia discovered by targeted searches (most of them CSP-I objects) and the other composed of SNe Ia discovered by untargeted searches, which includes most of the CSP-II objects. The analysed correlations are similar for both samples. We find a larger incidence of SNe Ia belonging to the Cool (CL)and Broad Line (BL) Branch subtypes among the events discovered by targeted searches, Shallow Silicon (SS) SNe Ia are present with similar frequencies in both samples, while Core Normal (CN) SNe Ia are more frequent in untargeted searches.


title: AdaOper: Energy-efficient and Responsive Concurrent DNN Inference on Mobile Devices

abstract: Deep neural network (DNN) has driven extensive applications in mobile technology. However, for long-running mobile apps like voice assistants or video applications on smartphones, energy efficiency is critical for battery-powered devices. The rise of heterogeneous processors in mobile devices today has introduced new challenges for optimizing energy efficiency. Our key insight is that partitioning computations across different processors for parallelism and speedup doesn't necessarily correlate with energy consumption optimization and may even increase it. To address this, we present AdaOper, an energy-efficient concurrent DNN inference system. It optimizes energy efficiency on mobile heterogeneous processors while maintaining responsiveness. AdaOper includes a runtime energy profiler that dynamically adjusts operator partitioning to optimize energy efficiency based on dynamic device conditions. We conduct preliminary experiments, which show that AdaOper reduces energy consumption by 16.88% compared to the existing concurrent method while ensuring real-time performance.


title: Character Sheaves on Reductive Lie Algebras in Positive Characteristic

abstract: We prove a microlocal characterisation of character sheaves on a reductive Lie algebra over an algebraically closed field of sufficiently large positive characteristic: a perverse irreducible G-equivariant sheaf is a character sheaf if and only if it has nilpotent singular support and is quasi-admissible. We also present geometric proofs, in positive characteristic, of the equivalence between being admissible and being a character sheaf, and various characterisations of cuspidal sheaves, following the work of Mirkovi\'c.


title: Triply efficient shadow tomography

abstract: Given copies of a quantum state $\rho$, a shadow tomography protocol aims to learn all expectation values from a fixed set of observables, to within a given precision $\epsilon$. We say that a shadow tomography protocol is triply efficient if it is sample- and time-efficient, and only employs measurements that entangle a constant number of copies of $\rho$ at a time. The classical shadows protocol based on random single-copy measurements is triply efficient for the set of local Pauli observables. This and other protocols based on random single-copy Clifford measurements can be understood as arising from fractional colorings of a graph $G$ that encodes the commutation structure of the set of observables. Here we describe a framework for two-copy shadow tomography that uses an initial round of Bell measurements to reduce to a fractional coloring problem in an induced subgraph of $G$ with bounded clique number. This coloring problem can be addressed using techniques from graph theory known as chi-boundedness. Using this framework we give the first triply efficient shadow tomography scheme for the set of local fermionic observables, which arise in a broad class of interacting fermionic systems in physics and chemistry. We also give a triply efficient scheme for the set of all $n$-qubit Pauli observables. Our protocols for these tasks use two-copy measurements, which is necessary: sample-efficient schemes are provably impossible using only single-copy measurements. Finally, we give a shadow tomography protocol that compresses an $n$-qubit quantum state into a $\text{poly}(n)$-sized classical representation, from which one can extract the expected value of any of the $4^n$ Pauli observables in $\text{poly}(n)$ time, up to a small constant error.


title: EAD-VC: Enhancing Speech Auto-Disentanglement for Voice Conversion with IFUB Estimator and Joint Text-Guided Consistent Learning

abstract: Using unsupervised learning to disentangle speech into content, rhythm, pitch, and timbre for voice conversion has become a hot research topic. Existing works generally take into account disentangling speech components through human-crafted bottleneck features which can not achieve sufficient information disentangling, while pitch and rhythm may still be mixed together. There is a risk of information overlap in the disentangling process which results in less speech naturalness. To overcome such limits, we propose a two-stage model to disentangle speech representations in a self-supervised manner without a human-crafted bottleneck design, which uses the Mutual Information (MI) with the designed upper bound estimator (IFUB) to separate overlapping information between speech components. Moreover, we design a Joint Text-Guided Consistent (TGC) module to guide the extraction of speech content and eliminate timbre leakage issues. Experiments show that our model can achieve a better performance than the baseline, regarding disentanglement effectiveness, speech naturalness, and similarity. Audio samples can be found at https://largeaudiomodel.com/eadvc.


title: Nonexistence of Majorana fermions in Kerr-Newman type spacetimes with nontrivial charge

abstract: In this short paper, we study Majorana fermions in terms of a modified Chandrasekhar's separation for the Dirac equation in Kerr-Newman-type spacetimes. If the electric charge or magnetic charge is nonzero, we show that nontrivial differentiable time-periodic Majorana fermions do not exist outside the event horizon in Kerr-Newman and Kerr-Newman-AdS spacetimes, and between the event horizon and the cosmological horizon in Kerr-Newman-dS spacetime.


title: EfficientASR: Speech Recognition Network Compression via Attention Redundancy and Chunk-Level FFN Optimization

abstract: In recent years, Transformer networks have shown remarkable performance in speech recognition tasks. However, their deployment poses challenges due to high computational and storage resource requirements. To address this issue, a lightweight model called EfficientASR is proposed in this paper, aiming to enhance the versatility of Transformer models. EfficientASR employs two primary modules: Shared Residual Multi-Head Attention (SRMHA) and Chunk-Level Feedforward Networks (CFFN). The SRMHA module effectively reduces redundant computations in the network, while the CFFN module captures spatial knowledge and reduces the number of parameters. The effectiveness of the EfficientASR model is validated on two public datasets, namely Aishell-1 and HKUST. Experimental results demonstrate a 36% reduction in parameters compared to the baseline Transformer network, along with improvements of 0.3% and 0.2% in Character Error Rate (CER) on the Aishell-1 and HKUST datasets, respectively.


title: An Invariance Principle of 1D KPZ with Robin Boundary Conditions

abstract: We consider a discrete one-dimensional random interface on the half-space whose height at any positive point is defined as a sum of an independent random noise and a function of the heights at its two closest neighbours. In 2022, Adhikari and Chatterjee proved for the full-space model that assuming the function is equivariant, symmetric, and at least six times differentiable in a neighbourhood of zero, as the variance of the noise variables goes to zero, the height function converges to the Cole-Hopf solution of the 1D KPZ equation under a parabolic rescaling on full space. In this paper, we obtained the same convergence result for such a random interface model with Robin boundary conditions.


title: Optimal quantum strategy for locating Unruh channels

abstract: From the perspective of quantum information theory, the effect of Unruh radiation on a two-level accelerated detector can be modeled as a quantum channel. In this work, we employ the tools of channel-position finding to locate Unruh channels. The signal-idler and idler-free protocols are explored to determine the position of the target Unruh channel within a sequence of background channels. We derive the fidelity-based bounds for the ultimate error probability of each strategy and obtain the conditions where the signal-idler protocol is superior to the protocol involving idler-free states. It is found that the lower bound of the error probability for the signal-idler scheme exhibits clear advantages in all cases, while the idler-free scheme can only be implemented when the temperature of the two channels is very close and the number of initial states is insufficient. Interestingly, it is shown that the optimal detection protocol relies on the residual correlations shared between the emitted probe state and the retained idler modes.


title: FOTS: A Fast Optical Tactile Simulator for Sim2Real Learning of Tactile-motor Robot Manipulation Skills

abstract: Simulation is a widely used tool in robotics to reduce hardware consumption and gather large-scale data. Despite previous efforts to simulate optical tactile sensors, there remain challenges in efficiently synthesizing images and replicating marker motion under different contact loads. In this work, we propose a fast optical tactile simulator, named FOTS, for simulating optical tactile sensors. We utilize multi-layer perceptron mapping and planar shadow generation to simulate the optical response, while employing marker distribution approximation to simulate the motion of surface markers caused by the elastomer deformation. Experimental results demonstrate that FOTS outperforms other methods in terms of image generation quality and rendering speed, achieving 28.6 fps for optical simulation and 326.1 fps for marker motion simulation on a single CPU without GPU acceleration. In addition, we integrate the FOTS simulation model with physical engines like MuJoCo, and the peg-in-hole task demonstrates the effectiveness of our method in achieving zero-shot Sim2Real learning of tactile-motor robot manipulation skills. Our code is available at https://github.com/Rancho-zhao/FOTS.


title: Flight Trajectory Prediction Using an Enhanced CNN-LSTM Network

abstract: Aiming at the problem of low accuracy of flight trajectory prediction caused by the high speed of fighters, the diversity of tactical maneuvers, and the transient nature of situational change in close range air combat, this paper proposes an enhanced CNN-LSTM network as a fighter flight trajectory prediction method. Firstly, we extract spatial features from fighter trajectory data using CNN, aggregate spatial features of multiple fighters using the social-pooling module to capture geographic information and positional relationships in the trajectories, and use the attention mechanism to capture mutated trajectory features in air combat; subsequently, we extract temporal features by using the memory nature of LSTM to capture long-term temporal dependence in the trajectories; and finally, we merge the temporal and spatial features to predict the flight trajectories of enemy fighters. Extensive simulation experiments verify that the proposed method improves the trajectory prediction accuracy compared to the original CNN-LSTM method, with the improvements of 32% and 34% in ADE and FDE indicators.


title: Chiral magnon in ferromagnetic chiral crystals

abstract: We theoretically propose chiral magnon in ferromagnetic chiral crystals. We show that the crystal chirality is imprinted in orbital angular momentum of magnons which exhibits the opposite signs for opposite chiralities of the crystal. We also show that a finite magnon orbital angular momentum can be induced by a temperature gradient which is a magnonic analogue of the Edelstein effect.


title: Regression for matrix-valued data via Kronecker products factorization

abstract: We study the matrix-variate regression problem $Y_i = \sum_{k} \beta_{1k} X_i \beta_{2k}^{\top} + E_i$ for $i=1,2\dots,n$ in the high dimensional regime wherein the response $Y_i$ are matrices whose dimensions $p_{1}\times p_{2}$ outgrow both the sample size $n$ and the dimensions $q_{1}\times q_{2}$ of the predictor variables $X_i$ i.e., $q_{1},q_{2} \ll n \ll p_{1},p_{2}$. We propose an estimation algorithm, termed KRO-PRO-FAC, for estimating the parameters $\{\beta_{1k}\} \subset \Re^{p_1 \times q_1}$ and $\{\beta_{2k}\} \subset \Re^{p_2 \times q_2}$ that utilizes the Kronecker product factorization and rearrangement operations from Van Loan and Pitsianis (1993). The KRO-PRO-FAC algorithm is computationally efficient as it does not require estimating the covariance between the entries of the $\{Y_i\}$. We establish perturbation bounds between $\hat{\beta}_{1k} -\beta_{1k}$ and $\hat{\beta}_{2k} - \beta_{2k}$ in spectral norm for the setting where either the rows of $E_i$ or the columns of $E_i$ are independent sub-Gaussian random vectors. Numerical studies on simulated and real data indicate that our procedure is competitive, in terms of both estimation error and predictive accuracy, compared to other existing methods.


title: Transcrib3D: 3D Referring Expression Resolution through Large Language Models

abstract: If robots are to work effectively alongside people, they must be able to interpret natural language references to objects in their 3D environment. Understanding 3D referring expressions is challenging -- it requires the ability to both parse the 3D structure of the scene and correctly ground free-form language in the presence of distraction and clutter. We introduce Transcrib3D, an approach that brings together 3D detection methods and the emergent reasoning capabilities of large language models (LLMs). Transcrib3D uses text as the unifying medium, which allows us to sidestep the need to learn shared representations connecting multi-modal inputs, which would require massive amounts of annotated 3D data. As a demonstration of its effectiveness, Transcrib3D achieves state-of-the-art results on 3D reference resolution benchmarks, with a great leap in performance from previous multi-modality baselines. To improve upon zero-shot performance and facilitate local deployment on edge computers and robots, we propose self-correction for fine-tuning that trains smaller models, resulting in performance close to that of large models. We show that our method enables a real robot to perform pick-and-place tasks given queries that contain challenging referring expressions. Project site is at https://ripl.github.io/Transcrib3D.


title: Cycles of Well-Linked Sets and an Elementary Bound for the Directed Grid Theorem

abstract: In 2015, Kawarabayashi and Kreutzer proved the directed grid theorem confirming a conjecture by Reed, Johnson, Robertson, Seymour, and Thomas from the mid-nineties. The theorem states the existence of a function $f$ such that every digraph of directed tree-width $f(k)$ contains a cylindrical grid of order $k$ as a butterfly minor, but the given function grows non-elementarily with the size of the grid minor. In this paper we present an alternative proof of the directed grid theorem which is conceptually much simpler, more modular in its composition and also improves the upper bound for the function $f$ to a power tower of height 22. Our proof is inspired by the breakthrough result of Chekuri and Chuzhoy, who proved a polynomial bound for the excluded grid theorem for undirected graphs. We translate a key concept of their proof to directed graphs by introducing \emph{cycles of well-linked sets (CWS)}, and show that any digraph of high directed tree-width contains a large CWS, which in turn contains a large cylindrical grid, improving the result due to Kawarabayashi and Kreutzer from an non-elementary to an elementary function. An immediate application of our result is an improvement of the bound for Younger's conjecture proved by Reed, Robertson, Seymour and Thomas (1996) from a non-elementary to an elementary function. The same improvement applies to other types of Erd\H{o}s-P\'osa style problems on directed graphs. To the best of our knowledge this is the first significant improvement on the bound for Younger's conjecture since it was proved in 1996. We believe that the theoretical tools we developed may find applications beyond the directed grid theorem, in a similar way as the path-of-sets-system framework due to Chekuri and Chuzhoy (2016) did (see for example Hatzel, Komosa, Pilipczuk and Sorge (2022); Chekuri and Chuzhoy (2015); Chuzhoy and Nimavat (2019)).


title: Temporal Logic Resilience for Dynamical Systems

abstract: We consider the notion of resilience for cyber-physical systems, that is, the ability of the system to withstand adverse events while maintaining acceptable functionality. We use finite temporal logic to express the requirements on the acceptable functionality and define the resilience metric as the maximum disturbance under which the system satisfies the temporal requirements. We fix a parameterized template for the set of disturbances and form a robust optimization problem under the system dynamics and the temporal specifications to find the maximum value of the parameter. Additionally, we introduce two novel classes of specifications: closed and convex finite temporal logics specifications, offering a comprehensive analysis of the resilience metric within these specific frameworks. From a computational standpoint, we present an exact solution for linear systems and exact-time reachability and finite-horizon safety, complemented by an approximate solution for finite-horizon reachability. Extending our findings to nonlinear systems, we leverage linear approximations and SMT-based approaches to offer viable computational methodologies. The theoretical results are demonstrated on the temperature regulation of buildings, adaptive cruise control and DC motors.


title: Variational approximations of possibilistic inferential models

abstract: Inferential models (IMs) offer reliable, data-driven, possibilistic statistical inference. But despite IMs' theoretical/foundational advantages, efficient computation in applications is a major challenge. This paper presents a simple and apparently powerful Monte Carlo-driven strategy for approximating the IM's possibility contour, or at least its $\alpha$-level set for a specified $\alpha$. Our proposal utilizes a parametric family that, in a certain sense, approximately covers the credal set associated with the IM's possibility measure, which is reminiscent of variational approximations now widely used in Bayesian statistics.


title: Electromagnetic field and chaotic charged-particle motion around hairy black holes in Horndeski gravity

abstract: The Wald vector potential is an exact solution of the source-less Maxwell equations regarding an electromagnetic field of a vacuum uncharged black hole like the Kerr background black hole in an asymptotically uniform magnetic field. However, it is not if the black hole is a nonvacuum solution in a theory of modified gravity with extra fields or a charged Kerr-Newman spacetime. To satisfy the source-less Maxwell equations in this case, the Wald vector potential must be modified and generalized appropriately. Following this idea, we derive an expression for the vector potential of an electromagnetic field surrounding a hairy black hole in the Horndeski modified gravity theory. Explicit symplectic integrators with excellent long-term behaviour are used to simulate the motion of charged particles around the hairy black hole immersed in the external magnetic field. The recurrence plot method based on the recurrence quantification analysis uses diagonal structures parallel to the main diagonal to show regular dynamics, but adopts no diagonal structures to indicate chaotic dynamics. The method is efficient to detect chaos from order in the curved spacetime, as the Poincare map and the fast Lyapunov indicator are.


title: A Survey of Deep Learning Based Software Refactoring

abstract: Refactoring is one of the most important activities in software engineering which is used to improve the quality of a software system. With the advancement of deep learning techniques, researchers are attempting to apply deep learning techniques to software refactoring. Consequently, dozens of deep learning-based refactoring approaches have been proposed. However, there is a lack of comprehensive reviews on such works as well as a taxonomy for deep learning-based refactoring. To this end, in this paper, we present a survey on deep learning-based software refactoring. We classify related works into five categories according to the major tasks they cover. Among these categories, we further present key aspects (i.e., code smell types, refactoring types, training strategies, and evaluation) to give insight into the details of the technologies that have supported refactoring through deep learning. The classification indicates that there is an imbalance in the adoption of deep learning techniques for the process of refactoring. Most of the deep learning techniques have been used for the detection of code smells and the recommendation of refactoring solutions as found in 56.25\% and 33.33\% of the literature respectively. In contrast, only 6.25\% and 4.17\% were towards the end-to-end code transformation as refactoring and the mining of refactorings, respectively. Notably, we found no literature representation for the quality assurance for refactoring. We also observe that most of the deep learning techniques have been used to support refactoring processes occurring at the method level whereas classes and variables attracted minimal attention. Finally, we discuss the challenges and limitations associated with the employment of deep learning-based refactorings and present some potential research opportunities for future work.


title: Espresso: Robust Concept Filtering in Text-to-Image Models

abstract: Diffusion-based text-to-image (T2I) models generate high-fidelity images for given textual prompts. They are trained on large datasets scraped from the Internet, potentially containing unacceptable concepts (e.g., copyright infringing or unsafe). Retraining T2I models after filtering out unacceptable concepts in the training data is inefficient and degrades utility. Hence, there is a need for concept removal techniques (CRTs) which are effective in removing unacceptable concepts, utility-preserving on acceptable concepts, and robust against evasion with adversarial prompts. None of the prior filtering and fine-tuning CRTs satisfy all these requirements simultaneously. We introduce Espresso, the first robust concept filter based on Contrastive Language-Image Pre-Training (CLIP). It identifies unacceptable concepts by projecting the generated image's embedding onto the vector connecting unacceptable and acceptable concepts in the joint text-image embedding space. This ensures robustness by restricting the adversary to adding noise only along this vector, in the direction of the acceptable concept. Further fine-tuning Espresso to separate embeddings of acceptable and unacceptable concepts, while preserving their pairing with image embeddings, ensures both effectiveness and utility. We evaluate Espresso on eleven concepts to show that it is effective (~5% CLIP accuracy on unacceptable concepts), utility-preserving (~93% normalized CLIP score on acceptable concepts), and robust (~4% CLIP accuracy on adversarial prompts for unacceptable concepts). Finally, we present theoretical bounds for the certified robustness of Espresso against adversarial prompts, and an empirical analysis.


title: Understanding Multimodal Contrastive Learning Through Pointwise Mutual Information

abstract: Multimodal representation learning to integrate different modalities, such as text, vision, and audio is important for real-world applications. The symmetric InfoNCE loss proposed in CLIP is a key concept in multimodal representation learning. In this work, we provide a theoretical understanding of the symmetric InfoNCE loss through the lens of the pointwise mutual information and show that encoders that achieve the optimal similarity in the pretraining provide a good representation for downstream classification tasks under mild assumptions. Based on our theoretical results, we also propose a new similarity metric for multimodal contrastive learning by utilizing a nonlinear kernel to enrich the capability. To verify the effectiveness of the proposed method, we demonstrate pretraining of multimodal representation models on the Conceptual Caption datasets and evaluate zero-shot classification and linear classification on common benchmark datasets.


title: On the Hodge Structures of Global Smoothings of Normal Crossing Varieties

abstract: Let $f:X \rightarrow \Delta $ be a one-parameter semistable degeneration of $m$-dimensional compact complex manifolds. Assume that each component of the central fiber $X_0$ is K\"ahler. Then, we provide a criterion for a general fiber to satisfy the $\partial\overline{\partial}$-lemma and a formula to compute the Hodge index on the middle cohomology of the general fiber in terms of the topological conditions/invariants on the central fiber. We apply our theorem to several examples, including the global smoothing of $m$-fold ODPs, Hashimoto-Sano's non-K\"ahler Calabi-Yau threefolds, and Sano's non-K\"ahler Calabi-Yau $m$-folds. To deal with the last example, we also prove a Lefschetz-type theorem for the cohomology of the fiber product of two Lefschetz fibrations over $\mathbb{P}^1$ with disjoint critical locus.


title: Deep Lead Optimization: Leveraging Generative AI for Structural Modification

abstract: The idea of using deep-learning-based molecular generation to accelerate discovery of drug candidates has attracted extraordinary attention, and many deep generative models have been developed for automated drug design, termed molecular generation. In general, molecular generation encompasses two main strategies: de novo design, which generates novel molecular structures from scratch, and lead optimization, which refines existing molecules into drug candidates. Among them, lead optimization plays an important role in real-world drug design. For example, it can enable the development of me-better drugs that are chemically distinct yet more effective than the original drugs. It can also facilitate fragment-based drug design, transforming virtual-screened small ligands with low affinity into first-in-class medicines. Despite its importance, automated lead optimization remains underexplored compared to the well-established de novo generative models, due to its reliance on complex biological and chemical knowledge. To bridge this gap, we conduct a systematic review of traditional computational methods for lead optimization, organizing these strategies into four principal sub-tasks with defined inputs and outputs. This review delves into the basic concepts, goals, conventional CADD techniques, and recent advancements in AIDD. Additionally, we introduce a unified perspective based on constrained subgraph generation to harmonize the methodologies of de novo design and lead optimization. Through this lens, de novo design can incorporate strategies from lead optimization to address the challenge of generating hard-to-synthesize molecules; inversely, lead optimization can benefit from the innovations in de novo design by approaching it as a task of generating molecules conditioned on certain substructures.


title: Evolution of static to dynamic mechanical behavior in topological nonreciprocal robotic metamaterials

abstract: Based on the Maxwell-Beatty reciprocity theorem, static non-reciprocity has been realized by using nonlinearity, but this non-reciprocity has strict restrictions on input amplitude and structure size (number of units). Here, we propose a robotic metamaterial with two components of displacement and rotation, which uses active control to add external forces on the units to break reciprocity at the level of the interactions between the units. We show analytically and simulatively that breaking reciprocity at the level of the interactions directly leads to a strong asymmetric response of displacement in a static system, this displacement-specific characteristic not only has no restrictions on size, input amplitude, and suitable geometric asymmetry, but also can be transmitted to rotation by coupling under large deformation. After the evolution from statics to dynamics, asymmetric transmission and unidirectional amplification of vector solitons are both implemented in this system. Our research uncovers the evolution of static non-reciprocity to dynamic non-reciprocity while building a bridge between non-reciprocity physics and soliton science.


title: GRAMMAR: Grounded and Modular Methodology for Assessment of Domain-Specific Retrieval-Augmented Language Model

abstract: Retrieval-augmented Generation (RAG) systems have been actively studied and deployed across various industries to query on domain-specific knowledge base. However, evaluating these systems presents unique challenges due to the scarcity of domain-specific queries and corresponding ground truths, as well as a lack of systematic approaches to diagnosing the cause of failure cases -- whether they stem from knowledge deficits or issues related to system robustness. To address these challenges, we introduce GRAMMAR (GRounded And Modular Methodology for Assessment of RAG), an evaluation framework comprising two key elements: 1) a data generation process that leverages relational databases and LLMs to efficiently produce scalable query-answer pairs. This method facilitates the separation of query logic from linguistic variations for enhanced debugging capabilities; and 2) an evaluation framework that differentiates knowledge gaps from robustness and enables the identification of defective modules. Our empirical results underscore the limitations of current reference-free evaluation approaches and the reliability of GRAMMAR to accurately identify model vulnerabilities.


title: Avoiding short progressions in Euclidean Ramsey theory

abstract: We provide a general framework to construct colorings avoiding short monochromatic arithmetic progressions in Euclidean Ramsey theory. Specifically, if $\ell_m$ denotes $m$ collinear points with consecutive points of distance one apart, we say that $\mathbb{E}^n \not \to (\ell_r,\ell_s)$ if there is a red/blue coloring of $n$-dimensional Euclidean space that avoids red congruent copies of $\ell_r$ and blue congruent copies of $\ell_s$. We show that $\mathbb{E}^n \not \to (\ell_3, \ell_{20})$, improving the best-known result $\mathbb{E}^n \not \to (\ell_3, \ell_{1177})$ by F\"uhrer and T\'oth, and also establish $\mathbb{E}^n \not \to (\ell_4, \ell_{18})$ and $\mathbb{E}^n \not \to (\ell_5, \ell_{10})$ in the spirit of the classical result $\mathbb{E}^n \not \to (\ell_6, \ell_{6})$ due to Erd{\H{o}}s et. al. We also show a number of similar $3$-coloring results, as well as $\mathbb{E}^n \not \to (\ell_3, \alpha\ell_{6889})$, where $\alpha$ is an arbitrary positive real number. This final result answers a question of F\"uhrer and T\'oth in the positive.


title: Multi-hop Question Answering over Knowledge Graphs using Large Language Models

abstract: Knowledge graphs (KGs) are large datasets with specific structures representing large knowledge bases (KB) where each node represents a key entity and relations amongst them are typed edges. Natural language queries formed to extract information from a KB entail starting from specific nodes and reasoning over multiple edges of the corresponding KG to arrive at the correct set of answer nodes. Traditional approaches of question answering on KG are based on (a) semantic parsing (SP), where a logical form (e.g., S-expression, SPARQL query, etc.) is generated using node and edge embeddings and then reasoning over these representations or tuning language models to generate the final answer directly, or (b) information-retrieval based that works by extracting entities and relations sequentially. In this work, we evaluate the capability of (LLMs) to answer questions over KG that involve multiple hops. We show that depending upon the size and nature of the KG we need different approaches to extract and feed the relevant information to an LLM since every LLM comes with a fixed context window. We evaluate our approach on six KGs with and without the availability of example-specific sub-graphs and show that both the IR and SP-based methods can be adopted by LLMs resulting in an extremely competitive performance.


title: Computational Approaches of Modelling Human Papillomavirus Transmission and Prevention Strategies: A Systematic Review

abstract: Human papillomavirus (HPV) infection is the most common sexually transmitted infection in the world. Persistent oncogenic Human papillomavirus infection has been a leading threat to global health and can lead to serious complications such as cervical cancer. Prevention interventions including vaccination and screening have been proved effective in reducing the risk of HPV-related diseases. In recent decades, computational epidemiology has been serving as a very useful tool to study HPV transmission dynamics and evaluation of prevention strategies. In this paper, we conduct a comprehensive literature review on state-of-the-art computational epidemic models for HPV disease dynamics, transmission dynamics, as well as prevention efforts. We summarise current research trends, identify gaps in the present literature, and identify future research directions with potential in accelerating the containment and/or elimination of HPV infection.


title: On the Effect of Bounded Rationality in Electricity Markets

abstract: Nash equilibrium is a common solution concept that captures the strategic interaction in electricity market analysis. However, it requires a fundamental but impractical assumption that all market participants are fully rational, which implies unlimited computational resources and cognitive abilities. To tackle the limitation, level-k reasoning is proposed and studied to model the bounded rational behaviors. In this paper, we consider a Cournot competition in electricity markets with two suppliers both following level-k reasoning. One is a self-interested firm and the other serves as a benevolent social planner. First, we observe that the optimal strategy of the social planner is to be of a particular rationality level. Being less or more rational may both result in reduced social welfare. Then, we investigate the effect of bounded rationality on social welfare performance and find that it could largely deviate from that at the Nash equilibrium point. Finally, we characterize optimal, mean maximizing and max-min strategies for the benevolent social planner, when having access to different information. The numerical experiments further demonstrate and validate our findings.


title: Origin of Superconductivity in Rhombohedral Trilayer Graphene: Quasiparticle Pairing within the Inter-Valley Coherent Phase

abstract: Superconductivity (SC) is observed in rhombohedral trilayer graphene (RTG) with an extremely low charge carrier densities, between the normal metal state and a probable inter-valley coherent (IVC) state. The measured coherence length in RTG is roughly two orders of magnitude shorter than the value predicted by a conventional BCS theory. To resolve these discrepancies, we propose that the RTG SC phase arises from the pairing of quasiparticles within the IVC phase. We illustrate the SC behavior using gapped Dirac cones with the chemical potential close to the conduction band's bottom and establish the Ginzburg-Landau theory. Our findings indicate that the mean-field transition temperature, $T_\mathrm{MF}$, is primarily determined by the density of states of quasiparticles within the IVC phase, and is more suppressed in comparison with the BCS relation. Interestingly, we discover that the coherence length behaves according to $\xi\sim 1/\sqrt{T_\mathrm{MF}}$. When the chemical potential lies within the band gap, the conventional coherence length becomes small, while the quantum metric contribution can diverge. Applying our approach to a microscopic model for RTG, our predictions align well with experimental data and effectively capture key measurable features of quantities such as the mean-field transition temperature $T_\mathrm{MF}$ and the coherence length $\xi$. Furthermore, we reveal that the quantum metric contribution, stemming from the multi-band properties of the IVC quasiparticles, plays a significant role in determining the coherence length around the transition regime from superconductivity to IVC. Lastly, experimental predictions are discussed on bebaviors of the upper critical field and coherence length at low temperatures.


title: Pilot Contamination in Massive MIMO Systems: Challenges and Future Prospects

abstract: Massive multiple input multiple output (M-MIMO) technology plays a pivotal role in fifth-generation (5G) and beyond communication systems, offering a wide range of benefits, from increased spectral efficiency (SE) to enhanced energy efficiency and higher reliability. However, these advantages are contingent upon precise channel state information (CSI) availability at the base station (BS). Ensuring precise CSI is challenging due to the constrained size of the coherence interval and the resulting limitations on pilot sequence length. Therefore, reusing pilot sequences in adjacent cells introduces pilot contamination, hindering SE enhancement. This paper reviews recent advancements and addresses research challenges in mitigating pilot contamination and improving channel estimation, categorizing the existing research into three broader categories: pilot assignment schemes, advanced signal processing methods, and advanced channel estimation techniques. Salient representative pilot mitigation/assignment techniques are analyzed and compared in each category. Lastly, possible future research directions are discussed.


title: Central elements of the degenerate quantum general linear group

abstract: We construct central elements of the degenerate quantum general linear group introduced by Cheng, Wang and Zhang. In particular, we give an explicit formula for the quantum Casimir element. Our method is based on the explicit $L$ operators. Moreover, we construct a universal $L$ operator, which is a spectral parameter-dependent solution of the quantum Yang-Baxter equation in the tensor product of the degenerate quantum general linear group and the endomorphism ring of its natural representation. This construction leads to the FRT approach to the degenerate quantum general linear group.


title: Surface energy and elementary excitations of the XYZ spin chain with integrable open boundary fields

abstract: We study the thermodynamic limit of the anisotropic XYZ spin chain with non-diagonal integrable open boundary conditions. Although the $U(1)$-symmetry is broken, by using the new parametrization scheme, we exactly obtain the surface energy and the excitation energy of the system, which has solved the difficulty in the inhomogeneous $T-Q$ relation. With the boundary parameters in the regions making the Hamiltonian Hermitian, we have obtained the distribution patterns of the zero roots of the eigenvalue of the transfer matrix for the ground state and the excited ones. We find that the surface and excitation energies depend on the parities of sites number $N$, due to the long-range Neel order in the bulk. The spontaneous magnetization and easy-axis for all the regions of boundary parameters are studied. We also obtain the physical quantities in the thermodynamic limit of boundary XXZ model by taking the triangular limit.


title: Joint Pricing and Matching for Resource Allocation Platforms via Min-cost Flow Problem

abstract: Stochastic matching is the stochastic version of the well-known matching problem, which consists in maximizing the rewards of a matching under a set of probability distributions associated with the nodes and edges. In most stochastic matching problems, the probability distributions inherent in the nodes and edges are set a priori and are not controllable. However, many resource allocation platforms can control the probability distributions by changing prices. For example, a rideshare platform can control the distribution of the number of requesters by setting the fare to maximize the reward of a taxi-requester matching. Although several methods for optimizing price have been developed, optimizations in consideration of the matching problem are still in its infancy. In this paper, we tackle the problem of optimizing price in the consideration of the resulting bipartite graph matching, given the effect of the price on the probabilistic uncertainty in the graph. Even though our problem involves hard to evaluate objective values and is non-convex, we construct a (1-1/e)-approximation algorithm under the assumption that a convex min-cost flow problem can be solved exactly.