title: A seven-Earth-radius helium-burning star inside a 20.5-min detached binary

abstract: Binary evolution theory predicts that the second common envelope (CE) ejection can produce low-mass (0.32-0.36 Msun) subdwarf B (sdB) stars inside ultrashort-orbital-period binary systems, as their helium cores are ignited under nondegenerate conditions. With the orbital decay driven by gravitational-wave (GW) radiation, the minimum orbital periods of detached sdB binaries could be as short as ~20 minutes. However, only four sdB binaries with orbital periods below an hour have been reported so far, while none of them has an orbital period approaching the above theoretical limit. Here we report the discovery of a 20.5-minute-orbital-period ellipsoidal binary, TMTS J052610.43+593445.1, in which the visible star is being tidally deformed by an invisible carbon-oxygen white dwarf (WD) companion. The visible component is inferred to be an sdB star with a mass of ~0.33 Msun, approaching that of helium-ignition limit, although a He-core WD cannot be completely ruled out. In particular, the radius of this low-mass sdB star is only 0.066 Rsun, about seven Earth radii, possibly representing the most compact nondegenerate star ever known. Such a system provides a key clue to map the binary evolution scheme from the second CE ejection to the formation of AM CVn stars having a helium-star donor, and it will also serve as a crucial verification binary of space-borne GW detectors in the future.

categories: astro-ph.SR astro-ph.EP astro-ph.HE astro-ph.IM


title: Reduction on the congruences of partial sums of P-recursive sequences

abstract: Hou and Liu developed a telescoping method to prove the congruence of partial sums of P-recursive sequences. We release the requirement on the telescoper and utilize the congruence of the sequence. With this approach, we are able to confirm a conjecture of Sun and find a new congruence on the central trinomial coefficient.


title: Structure-Aware Path Inference for Neural Finite State Transducers

abstract: Neural finite-state transducers (NFSTs) form an expressive family of neurosymbolic sequence transduction models. An NFST models each string pair as having been generated by a latent path in a finite-state transducer. As they are deep generative models, both training and inference of NFSTs require inference networks that approximate posterior distributions over such latent variables. In this paper, we focus on the resulting challenge of imputing the latent alignment path that explains a given pair of input and output strings (e.g., during training). We train three autoregressive approximate models for amortized inference of the path, which can then be used as proposal distributions for importance sampling. All three models perform lookahead. Our most sophisticated (and novel) model leverages the FST structure to consider the graph of future paths; unfortunately, we find that it loses out to the simpler approaches -- except on an artificial task that we concocted to confuse the simpler approaches.


title: Self-supervised Complex Network for Machine Sound Anomaly Detection

abstract: In this paper, we propose an anomaly detection algorithm for machine sounds with a deep complex network trained by self-supervision. Using the fact that phase continuity information is crucial for detecting abnormalities in time-series signals, our proposed algorithm utilizes the complex spectrum as an input and performs complex number arithmetic throughout the entire process. Since the usefulness of phase information can vary depending on the type of machine sound, we also apply an attention mechanism to control the weights of the complex and magnitude spectrum bottleneck features depending on the machine type. We train our network to perform a self-supervised task that classifies the machine identifier (id) of normal input sounds among multiple classes. At test time, an input signal is detected as anomalous if the trained model is unable to correctly classify the id. In other words, we determine the presence of an anomality when the output cross-entropy score of the multiclass identification task is lower than a pre-defined threshold. Experiments with the MIMII dataset show that the proposed algorithm has a much higher area under the curve (AUC) score than conventional magnitude spectrum-based algorithms.


title: Navigating the Structured What-If Spaces: Counterfactual Generation via Structured Diffusion

abstract: Generating counterfactual explanations is one of the most effective approaches for uncovering the inner workings of black-box neural network models and building user trust. While remarkable strides have been made in generative modeling using diffusion models in domains like vision, their utility in generating counterfactual explanations in structured modalities remains unexplored. In this paper, we introduce Structured Counterfactual Diffuser or SCD, the first plug-and-play framework leveraging diffusion for generating counterfactual explanations in structured data. SCD learns the underlying data distribution via a diffusion model which is then guided at test time to generate counterfactuals for any arbitrary black-box model, input, and desired prediction. Our experiments show that our counterfactuals not only exhibit high plausibility compared to the existing state-of-the-art but also show significantly better proximity and diversity.


title: High-harmonic Plasma Emission Induced by Electron Beams in Weakly Magnetized Plasmas

abstract: Electromagnetic radiation at higher harmonics of the plasma frequency ($\omega \sim n\omega_{pe}, n > 2$) has been occasionally observed in type II and type III solar radio bursts, yet the underlying mechanism remains undetermined. Here we present two-dimensional fully kinetic electromagnetic particle-in-cell simulations with high spectral resolution to investigate the beam-driven plasma emission process in weakly magnetized plasmas of typical coronal conditions. We focused on the generation mechanisms of high-harmonic emission. We found that a larger beam velocity ($u_d$) favors the generation of the higher-harmonic emission. The emissions grow later for higher harmonics and decrease in intensity by $\sim$2 orders of magnitude for each jump of the harmonic number. The second and third harmonic ($\rm H_2$ and $\rm H_3$) emissions get closer in intensity with larger $u_d$. We also show that (1) the $\rm H_3$ emission is mainly generated via the coalescence of the $\rm H_2$ emission with the Langmuir waves, i.e., $\rm H_2 + L \rightarrow H_3$, wherein the coalescence with the forward-propagating beam-Langmuir wave leads to the forward-propagating $\rm H_3$, and coalescence with the backward-propagating Langmuir wave leads to the backward-propagating $\rm H_3$; and (2) the $\rm H_4$ emission mainly arises from the coalescence of the $\rm H_3$ emission with the forward- (backward-) propagating Langmuir wave, in terms of $\rm H_3 + L \rightarrow H_4$.

categories: astro-ph.SR astro-ph.HE physics.plasm-ph physics.space-ph


title: Generalized system-bath entanglement theorem for Gaussian environments

abstract: A system-bath entanglement theorem (SBET) with Gaussian environments was established previously in J. Chem. Phys. 152, 034102 (2020) in terms of linear response functions. This theorem connects the system-bath entanglement responses to the local system and bare bath ones. In this work, we generalize it to correlation functions. Key steps in derivation are the generalized Langevin dynamics for the hybridizing bath modes as in the previous work, together with the Bogoliubov transformation mapping the original finite-temperature canonical reservoir to an effective zero-temperature vacuum via an auxiliary bath. With the theorem, the system-bath entangled correlations and the bath modes correlations in the full composite space can be evaluated as long as the bare-bath statistical properties are known and the reduced system correlations are obtained. Numerical demonstrations are carried out for the evaluation of the solvation free energy of an electron transfer system with a certain intramolecular vibrational modes.


title: The many routes to the ubiquitous Bradley-Terry model

abstract: The rating of items based on pairwise comparisons has been a topic of statistical investigation for many decades. Numerous approaches have been proposed. One of the best known is the Bradley-Terry model. This paper seeks to assemble and explain a variety of motivations for its use. Some are based on principles or on maximising an objective function; others are derived from well-known statistical models, or stylised game scenarios. They include both examples well-known in the literature as well as what are believed to be novel presentations.


title: A Comprehensive End-to-End Computer Vision Framework for Restoration and Recognition of Low-Quality Engineering Drawings

abstract: The digitization of engineering drawings is crucial for efficient reuse, distribution, and archiving. Existing computer vision approaches for digitizing engineering drawings typically assume the input drawings have high quality. However, in reality, engineering drawings are often blurred and distorted due to improper scanning, storage, and transmission, which may jeopardize the effectiveness of existing approaches. This paper focuses on restoring and recognizing low-quality engineering drawings, where an end-to-end framework is proposed to improve the quality of the drawings and identify the graphical symbols on them. The framework uses K-means clustering to classify different engineering drawing patches into simple and complex texture patches based on their gray level co-occurrence matrix statistics. Computer vision operations and a modified Enhanced Super-Resolution Generative Adversarial Network (ESRGAN) model are then used to improve the quality of the two types of patches, respectively. A modified Faster Region-based Convolutional Neural Network (Faster R-CNN) model is used to recognize the quality-enhanced graphical symbols. Additionally, a multi-stage task-driven collaborative learning strategy is proposed to train the modified ESRGAN and Faster R-CNN models to improve the resolution of engineering drawings in the direction that facilitates graphical symbol recognition, rather than human visual perception. A synthetic data generation method is also proposed to construct quality-degraded samples for training the framework. Experiments on real-world electrical diagrams show that the proposed framework achieves an accuracy of 98.98% and a recall of 99.33%, demonstrating its superiority over previous approaches. Moreover, the framework is integrated into a widely-used power system software application to showcase its practicality.


title: Scattering results for the (1+4) dimensional massive Maxwell-Dirac system under Lorenz gauge condition

abstract: This paper investigates the \emph{massive} Maxwell-Dirac system under the Lorenz gauge condition in (4+1) dimensional Minkowski space. The focus is on establishing global existence and scattering results for small solutions on the weighted Sobolev class. The imposition of the Lorenz gauge condition transforms the Maxwell-Dirac system into a set of Dirac equations coupled with an electromagnetic potential derived from five quadratic wave equations. To achieve a comprehensive understanding of the global solution and its behavior, we employ various energy estimates based on the space-time resonance argument. This involves addressing diverse resonance functions arising from the free Dirac and wave propagators. Additionally, we identify the space-time resonant sets associated with the \emph{massive} Maxwell-Dirac system.


title: Jointly Optimal RIS Placement and Power Allocation for Underlay D2D Communications: An Outage Probability Minimization Approach

abstract: In this paper, we study underlay device-to-device (D2D) communication systems empowered by a reconfigurable intelligent surface (RIS) for cognitive cellular networks. Considering Rayleigh fading channels and the general case where there exist both the direct and RIS-enabled D2D channels, the outage probability (OP) of the D2D communication link is presented in closed-form. Next, for the considered RIS-empowered underlaid D2D system, we frame an OP minimization problem. We target the joint optimization of the transmit power at the D2D source and the RIS placement, under constraints on the transmit power at the D2D source and on the limited interference imposed on the cellular user for two RIS deployment topologies. Due to the coupled optimization variables, the formulated optimization problem is extremely intractable. We propose an equivalent transformation which we are able to solve analytically. In the transformed problem, an expression for the average value of the signal-to-interference-noise ratio (SINR) at the D2D receiver is derived in closed-form. Our theoretical derivations are corroborated through simulation results, and various system design insights are deduced. It is indicatively showcased that the proposed RIS-empowered underlaid D2D system design outperforms the benchmark semi-adaptive optimal power and optimal distance schemes, offering $44\%$ and $20\%$ performance improvement, respectively.


title: Learning Rhythmic Trajectories with Geometric Constraints for Laser-Based Skincare Procedures

abstract: The increasing deployment of robots has significantly enhanced the automation levels across a wide and diverse range of industries. This paper investigates the automation challenges of laser-based dermatology procedures in the beauty industry; This group of related manipulation tasks involves delivering energy from a cosmetic laser onto the skin with repetitive patterns. To automate this procedure, we propose to use a robotic manipulator and endow it with the dexterity of a skilled dermatology practitioner through a learning-from-demonstration framework. To ensure that the cosmetic laser can properly deliver the energy onto the skin surface of an individual, we develop a novel structured prediction-based imitation learning algorithm with the merit of handling geometric constraints. Notably, our proposed algorithm effectively tackles the imitation challenges associated with quasi-periodic motions, a common feature of many laser-based cosmetic tasks. The conducted real-world experiments illustrate the performance of our robotic beautician in mimicking realistic dermatological procedures; Our new method is shown to not only replicate the rhythmic movements from the provided demonstrations but also to adapt the acquired skills to previously unseen scenarios and subjects.


title: Microscopic study of $M$1 resonances in Sn isotopes

abstract: The magnetic dipole ($M$1) resonances of even-even $^{112-120, 124}$Sn isotopes are investigated in the framework of the self-consistent Skyrme Hartree-Fock (HF) + BCS and Quasiparticle Random Phase Approximation (QRPA). The Skyrme energy density functionals SLy5 and T11 with and without tensor terms are adopted in our calculations. The mixed type pairing interaction is used to take care of the pairing effect for open-shell nuclei both in the ground and excited states calculations. The calculated magnetic dipole strengths are compared with available experimental data. The QRPA results calculated by SLy5 and T11 with tensor force show a better agreement with the experimental data than those without the tensor force. By analyzing the HF and QRPA strength distributions of $^{112}$Sn and $^{124}$Sn, we discuss the effect of tensor force on the $M$1 resonances in detail. It is found that the $M$1 resonance is sensitive to the tensor interaction, and favors especially a negative triplet-odd tensor one. Depending on the nucleus, a quenching factor of the $M$1 operator of about 0.71-0.95 is needed to reproduce the total observed transition strength. In our calculations, we also find some low-lying, pygmy-type magnetic dipole states distributed below 6.0 MeV, and they are formed mainly from the neutron configuration $\nu$2$d_{5/2}$$\rightarrow$$\nu$2$d_{3/2}$.


title: New Convergence Analysis of GMRES with Weighted Norms, Preconditioning and Deflation, Leading to a New Deflation Space

abstract: New convergence bounds are presented for weighted, preconditioned, and deflated GMRES for the solution of large, sparse, non-Hermitian linear systems. These bounds are given for the case when the Hermitian part of the coefficient matrix is positive definite, the preconditioner is Hermitian positive definite, and the weight is equal to the preconditioner. The new bounds are a novel contribution in and of themselves. In addition, they are sufficiently explicit to indicate how to choose the preconditioner and the deflation space to accelerate the convergence. One such choice of deflating space is presented, and numerical experiments illustrate the effectiveness of such space.


title: Averaging multipliers on locally compact quantum groups

abstract: We study an averaging procedure for completely bounded multipliers on a locally compact quantum group with respect to a compact quantum subgroup. As a consequence we show that central approximation properties of discrete quantum groups are equivalent to the corresponding approximation properties of their Drinfeld doubles. This is complemented by a discussion of the averaging of Fourier algebra elements. We compare the biinvariant Fourier algebra of the Drinfeld double of a discrete quantum group with the central Fourier algebra. In the unimodular case these are naturally identified, but we show by exhibiting a family of counter-examples that they differ in general.


title: Limits on heavy neutral leptons, $Z'$ bosons and majorons from high-energy supernova neutrinos

abstract: Light hypothetical particles with masses up to $\mathcal{O}(100)\ {\rm MeV}$ can be produced in the core of supernovae. Their subsequent decays to neutrinos can produce a flux component with higher energies than the standard flux. We study the impact of heavy neutral leptons, $Z'$ bosons, in particular ${\rm U(1)}_{L_\mu-L_\tau}$ and ${\rm U(1)}_{B-L}$ gauge bosons, and majorons coupled to neutrinos flavor-dependently. We obtain new strong limits on these particles from no events of high-energy SN 1987A neutrinos and their future sensitivities from observations of galactic supernova neutrinos.


title: Where and How to Attack? A Causality-Inspired Recipe for Generating Counterfactual Adversarial Examples

abstract: Deep neural networks (DNNs) have been demonstrated to be vulnerable to well-crafted \emph{adversarial examples}, which are generated through either well-conceived $\mathcal{L}_p$-norm restricted or unrestricted attacks. Nevertheless, the majority of those approaches assume that adversaries can modify any features as they wish, and neglect the causal generating process of the data, which is unreasonable and unpractical. For instance, a modification in income would inevitably impact features like the debt-to-income ratio within a banking system. By considering the underappreciated causal generating process, first, we pinpoint the source of the vulnerability of DNNs via the lens of causality, then give theoretical results to answer \emph{where to attack}. Second, considering the consequences of the attack interventions on the current state of the examples to generate more realistic adversarial examples, we propose CADE, a framework that can generate \textbf{C}ounterfactual \textbf{AD}versarial \textbf{E}xamples to answer \emph{how to attack}. The empirical results demonstrate CADE's effectiveness, as evidenced by its competitive performance across diverse attack scenarios, including white-box, transfer-based, and random intervention attacks.


title: $PT$ Symmetric PINN for integrable nonlocal equations: Forward and inverse problems

abstract: Since the $PT$-symmetric nonlocal equations contain the physical information of the $PT$-symmetric, it is very appropriate to embed the physical information of the $PT$-symmetric into the loss function of PINN, named PTS-PINN. For general $PT$-symmetric nonlocal equations, especially those equations involving the derivation of nonlocal terms, due to the existence of nonlocal terms, directly using the original PINN method to solve such nonlocal equations will face certain challenges. This problem can be solved by the PTS-PINN method which can be illustrated in two aspects. First, we treat the nonlocal term of the equation as a new local component, so that the equation is coupled at this time. In this way, we successfully avoid differentiating nonlocal terms in neural networks. On the other hand, in order to improve the accuracy, we make a second improvement, which is to embed the physical information of the $PT$-symmetric into the loss function. Through a series of independent numerical experiments, we evaluate the efficacy of PTS-PINN in tackling the forward and inverse problems for the nonlocal nonlinear Schr\"{o}dinger (NLS) equation, the nonlocal derivative NLS equation, the nonlocal (2+1)-dimensional NLS equation, and the nonlocal three wave interaction systems. The numerical experiments demonstrate that PTS-PINN has good performance. In particular, PTS-PINN has also demonstrated an extraordinary ability to learn large space-time scale rogue waves for nonlocal equations.


title: MFABA: A More Faithful and Accelerated Boundary-based Attribution Method for Deep Neural Networks

abstract: To better understand the output of deep neural networks (DNN), attribution based methods have been an important approach for model interpretability, which assign a score for each input dimension to indicate its importance towards the model outcome. Notably, the attribution methods use the axioms of sensitivity and implementation invariance to ensure the validity and reliability of attribution results. Yet, the existing attribution methods present challenges for effective interpretation and efficient computation. In this work, we introduce MFABA, an attribution algorithm that adheres to axioms, as a novel method for interpreting DNN. Additionally, we provide the theoretical proof and in-depth analysis for MFABA algorithm, and conduct a large scale experiment. The results demonstrate its superiority by achieving over 101.5142 times faster speed than the state-of-the-art attribution algorithms. The effectiveness of MFABA is thoroughly evaluated through the statistical analysis in comparison to other methods, and the full implementation package is open-source at: https://github.com/LMBTough/MFABA


title: Diff-Oracle: Diffusion Model for Oracle Character Generation with Controllable Styles and Contents

abstract: Deciphering the oracle bone script plays a significant role in Chinese archaeology and philology. However, it is significantly challenging due to the scarcity of oracle character images. To overcome this issue, we propose Diff-Oracle, based on diffusion models (DMs), to generate sufficient controllable oracle characters. In contrast to most DMs that rely on text prompts, we incorporate a style encoder to control style information during the generation process. This encoder extracts style prompts from existing oracle character images, where style details are converted from a CLIP model into a text embedding format. Inspired by ControlNet, we introduce a content encoder to capture desired content information from content images, ensuring the fidelity of character glyphs. To train Diff-Oracle effectively, we propose to obtain pixel-level paired oracle character images (i.e., style and content images) by a pre-trained image-to-image translation model. Extensive qualitative and quantitative experiments conducted on two benchmark datasets, Oracle-241 and OBC306, demonstrate that our Diff-Oracle outperforms existing generative methods in terms of image generation, further enhancing recognition accuracy. Source codes will be available.


title: ProvFL: Client-Driven Interpretability of Global Model Predictions in Federated Learning

abstract: Federated Learning (FL) trains a collaborative machine learning model by aggregating multiple privately trained clients' models over several training rounds. Such a long, continuous action of model aggregations poses significant challenges in reasoning about the origin and composition of such a global model. Regardless of the quality of the global model or if it has a fault, understanding the model's origin is equally important for debugging, interpretability, and explainability in federated learning. FL application developers often question: (1) what clients contributed towards a global model and (2) if a global model predicts a label, which clients are responsible for it? We introduce, neuron provenance, a fine-grained lineage capturing mechanism that tracks the flow of information between the individual participating clients in FL and the final global model. We operationalize this concept in ProvFL that functions on two key principles. First, recognizing that monitoring every neuron of every client's model statically is ineffective and noisy due to the uninterpretable nature of individual neurons, ProvFL dynamically isolates influential and sensitive neurons in the global model, significantly reducing the search space. Second, as multiple clients' models are fused in each round to form a global model, tracking each client's contribution becomes challenging. ProvFL leverages the invertible nature of fusion algorithms to precisely isolate each client's contribution derived from selected neurons. When asked to localize the clients responsible for the given behavior (i.e., prediction) of the global model, ProvFL successfully localizes them with an average provenance accuracy of 97%. Additionally, ProvFL outperforms the state-of-the-art FL fault localization approach by an average margin of 50%.


title: Multi-Modal Domain Adaptation Across Video Scenes for Temporal Video Grounding

abstract: Temporal Video Grounding (TVG) aims to localize the temporal boundary of a specific segment in an untrimmed video based on a given language query. Since datasets in this domain are often gathered from limited video scenes, models tend to overfit to scene-specific factors, which leads to suboptimal performance when encountering new scenes in real-world applications. In a new scene, the fine-grained annotations are often insufficient due to the expensive labor cost, while the coarse-grained video-query pairs are easier to obtain. Thus, to address this issue and enhance model performance on new scenes, we explore the TVG task in an unsupervised domain adaptation (UDA) setting across scenes for the first time, where the video-query pairs in the source scene (domain) are labeled with temporal boundaries, while those in the target scene are not. Under the UDA setting, we introduce a novel Adversarial Multi-modal Domain Adaptation (AMDA) method to adaptively adjust the model's scene-related knowledge by incorporating insights from the target data. Specifically, we tackle the domain gap by utilizing domain discriminators, which help identify valuable scene-related features effective across both domains. Concurrently, we mitigate the semantic gap between different modalities by aligning video-query pairs with related semantics. Furthermore, we employ a mask-reconstruction approach to enhance the understanding of temporal semantics within a scene. Extensive experiments on Charades-STA, ActivityNet Captions, and YouCook2 demonstrate the effectiveness of our proposed method.


title: Peano Arithmetic and $\mu$MALL

abstract: Formal theories of arithmetic have traditionally been based on either classical or intuitionistic logic, leading to the development of Peano and Heyting arithmetic, respectively. We propose a use $\mu$MALL as a formal theory of arithmetic based on linear logic. This formal system is presented as a sequent calculus proof system that extends the standard proof system for multiplicative-additive linear logic (MALL) with the addition of the logical connectives universal and existential quantifiers (first-order quantifiers), term equality and non-equality, and the least and greatest fixed point operators. We first demonstrate how functions defined using $\mu$MALL relational specifications can be computed using a simple proof search algorithm. By incorporating weakening and contraction into $\mu$MALL, we obtain $\mu$LK+, a natural candidate for a classical sequent calculus for arithmetic. While important proof theory results are still lacking for $\mu$LK+ (including cut-elimination and the completeness of focusing), we prove that $\mu$LK+ is consistent and that it contains Peano arithmetic. We also prove two conservativity results regarding $\mu$LK+ over $\mu$MALL.


title: Weak type $A_p$ estimate for bilinear Calder\'on-Zygmund operators

abstract: In this paper, we investigate the boundedness of bilinear Calder\'on-Zygmund operators $T$ from ${L^{p_1}\left(w_1\right)} \times {L^{p_2}\left(w_2\right)}$ to ${L^{p,\infty}\left(v_{\vec{w}}\right)}$ with the stopping time method, where $1 / p = 1 / p_1 + 1 / p_2$ , $1 < p_1, p_2 < \infty$ and $\vec{w}$ is a multiple $A_{\vec{P}}$ weight. Specifically, we studied the exponent $\alpha$ of $A_{\vec{P}}$ constant in formula $$\|T(\vec{f})\|_{L^{p,\infty}\left(v_{\vec{w}}\right)} \leqslant C_{m, n, \vec{P}, T}[\vec{w}]_{A_{\vec{P}}}^{\alpha}\left\|f_1\right\|_{L^{p_1}\left(w_1\right)}\left\|f_2\right\|_{L^{p_2}\left(w_2\right)}.$$ Surprisingly, we show that when $p \geqslant \frac{3+\sqrt{5}}{2}$ or $\min\{p_1,p_2\} > 4$, the index $\alpha$ in the above equation can be less than $1$, which is different from the linear scenario.


title: Quantum Optimization Algorithms in Operations Research: Methods, Applications, and Implications

abstract: Quantum optimization algorithms (QOAs) have the potential to fundamentally transform the application of optimization methods in decision making. For certain classes of optimization problems, it is widely believed that QOA enables significant run-time performance benefits over current state-of-the-art solutions. With the latest progress on building quantum computers entering the industrialization stage, quantum-based optimization algorithms have become more relevant. The recent extreme increase in the number of publications in the field of QOA demonstrates the growing importance of the topic in both the academia and the industry. The objectives of this paper are as follows: (1) First, we provide insight into the main techniques of quantum-based optimization algorithms for decision making. (2) We describe and compare the two basic classes of adiabatic and gate-based optimization algorithms and argue their potentials and limitations. (3) Herein, we also investigate the key operations research application areas that are expected to be considerably impacted by the use of QOA in decision making in the future. (4) Finally, current implications arising from the future use of QOA from an operations research perspective are discussed.


title: Layer-dependent evolution of electronic structures and correlations in rhombohedral multilayer graphene

abstract: The recent discovery of superconductivity and magnetism in trilayer rhombohedral graphene (RG) establishes an ideal, untwisted platform to study strong correlation electronic phenomena. However, the correlated effects in multilayer RG have received limited attention, and, particularly, the evolution of the correlations with increasing layer number remains an unresolved question. Here, we show the observation of layer-dependent electronic structures and correlations in RG multilayers from 3 to 9 layers by using scanning tunneling microscopy and spectroscopy. We explicitly determine layer-enhanced low-energy flat bands and interlayer coupling strength. The former directly demonstrates the further flattening of low-energy bands in thicker RG, and the later indicates the presence of varying interlayer interactions in RG multilayers. Moreover, we find significant splitting of the flat bands, ranging from ~50-80 meV, under liquid nitrogen temperature when they are partially filled, indicating the emergence of interaction-induced strongly correlated states. Particularly, the strength of the correlated states is notably enhanced in thicker RG and reaches its maximum in the six-layer, validating directly theoretical predictions and establishing abundant new candidates for strongly correlated systems. Our results provide valuable insights into the layer dependence of the electronic properties in RG, paving the way for investigating robust and highly accessible correlated phases in simpler systems.


title: Colouring defect of a cubic graph and the conjectures of Fan-Raspaud and Fulkerson

abstract: We introduce a new invariant of a cubic graph - its regular defect - which is defined as the smallest number of edges left uncovered by any collection of three perfect matchings that have no edge in common. This invariant is a modification of defect, an invariant introduced by Steffen (J. Graph Theory 78 (2015), 195--206), whose definition does not require the empty intersection condition. In this paper we discuss the relationship of this invariant to the well-known conjectures of Fulkerson (1971) and Fan and Raspaud (1994) and prove that defect and regular defect can be arbitrarily far apart.


title: A new compact symmetric rotational diamond anvil cell for in situ high-pressure-torsion studies

abstract: In situ studies under severe plastic deformation at high pressures, employing rotational/shear diamond anvil cells (RDAC), have recently gained much interest in the high-pressure community owing to their potential applications in material processing methods, mechanochemistry, geophysics, etc. These studies, combined with multi-scale computational simulations, provide important insights into the transient hierarchical microstructural evolution, structural phase transitions, and orientation relationship between parent and daughter phases and help establish the kinetics of strain-induced phase transitions under severe plastic deformation. Existing RDACs are mostly used in axial x-ray diffraction geometry due to geometrical constraints providing less reliable information about stress states and texture. Their asymmetric design also poses serious limitations to high-pressure shear studies on single crystals. To overcome these limitations, a new compact symmetric rotational diamond anvil cell has been designed and developed for in situ high-pressure torsion studies on materials. The symmetric angular opening and short working distance in this new design help obtain a more reliable crystallographic orientation distribution function and lattice strain states up to a large Q range. Here, we present the advantages of the symmetric design with a few demonstrative studies.


title: Optical Integrated Sensing and Communication: Architectures, Potentials and Challenges

abstract: Integrated sensing and communication (ISAC) is viewed as a crucial component of future mobile networks and has gained much interest in both academia and industry. Similar to the emergence of radio-frequency (RF) ISAC, the integration of free space optical communication and optical sensing yields optical ISAC (O-ISAC), which is regarded as a powerful complement to its RF counterpart. In this article, we first introduce the generalized system structure of O-ISAC, and then elaborate on three advantages of O-ISAC, i.e., increasing communication rate, enhancing sensing precision, and reducing interference. Next, waveform design and resource allocation of O-ISAC are discussed based on pulsed waveform, constant-modulus waveform, and multi-carrier waveform. Furthermore, we put forward future trends and challenges of O-ISAC, which are expected to provide some valuable directions for future research.


title: SPGroup3D: Superpoint Grouping Network for Indoor 3D Object Detection

abstract: Current 3D object detection methods for indoor scenes mainly follow the voting-and-grouping strategy to generate proposals. However, most methods utilize instance-agnostic groupings, such as ball query, leading to inconsistent semantic information and inaccurate regression of the proposals. To this end, we propose a novel superpoint grouping network for indoor anchor-free one-stage 3D object detection. Specifically, we first adopt an unsupervised manner to partition raw point clouds into superpoints, areas with semantic consistency and spatial similarity. Then, we design a geometry-aware voting module that adapts to the centerness in anchor-free detection by constraining the spatial relationship between superpoints and object centers. Next, we present a superpoint-based grouping module to explore the consistent representation within proposals. This module includes a superpoint attention layer to learn feature interaction between neighboring superpoints, and a superpoint-voxel fusion layer to propagate the superpoint-level information to the voxel level. Finally, we employ effective multiple matching to capitalize on the dynamic receptive fields of proposals based on superpoints during the training. Experimental results demonstrate our method achieves state-of-the-art performance on ScanNet V2, SUN RGB-D, and S3DIS datasets in the indoor one-stage 3D object detection. Source code is available at https://github.com/zyrant/SPGroup3D.


title: Absolute Properties of the Oscillating Eclipsing Algol XZ Ursae Majoris

abstract: It is known from archival TESS data that the semi-detached Algol system XZ UMa is one of the candidate binary stars exhibiting short-period oscillations. We secured new high-resolution spectroscopic observations for the program target to better understand its binary and pulsation properties. From the echelle spectra, the radial velocities (RVs) of the eclipsing pair were derived, and the atmosphere parameters of the primary component were measured to be $v_{\rm A}\sin$$i = 80\pm7$ km s$^{-1}$, $T_{\rm eff,A}$ = $7940\pm120$ K, and [M/H] = $-0.15\pm0.20$. The combined solution of our double-lined RVs and the TESS data provides robust physical parameters for XZ UMa with mass and radius measurement precision of better than 2 \%. The outside-eclipse residuals from a mean light curve in the 0.002 phase bin were used for multifrequency analyses, and we extracted 32 significant frequencies (22 in $<$ 5.0 day$^{-1}$ and 10 in 39$-$52 day$^{-1}$). The low frequencies may be mostly aliasing sidelobes, while six of the high frequencies may be pulsation signals arising from the detached primary located inside the $\delta$ Sct domain. Their periods, pulsation constants, and pulsational-orbital-period ratios indicate that the mass-accretion primary star is a $\delta$ Sct pulsator and, hence, XZ UMa is an oscillating eclipsing Algol.


title: Debiasing Welch's Method for Spectral Density Estimation

abstract: Welch's method provides an estimator of the power spectral density that is statistically consistent. This is achieved by averaging over periodograms calculated from overlapping segments of a time series. For a finite length time series, while the variance of the estimator decreases as the number of segments increase, the magnitude of the estimator's bias increases: a bias-variance trade-off ensues when setting the segment number. We address this issue by providing a novel method for debiasing Welch's method which maintains the computational complexity and asymptotic consistency, and leads to improved finite-sample performance. Theoretical results are given for fourth-order stationary processes with finite fourth-order moments and absolutely convergent fourth-order cumulant function. The significant bias reduction is demonstrated with numerical simulation and an application to real-world data. Our estimator also permits irregular spacing over frequency and we demonstrate how this may be employed for signal compression and further variance reduction. Code accompanying this work is available in R and python.


title: Theoretical analysis of git bisect

abstract: In this paper, we consider the problem of finding a regression in a version control system (VCS), such as \texttt{git}. The set of versions is modelled by a Directed Acyclic Graph (DAG) where vertices represent versions of the software, and arcs are the changes between different versions. We assume that somewhere in the DAG, a bug was introduced, which persists in all of its subsequent versions. It is possible to query a vertex to check whether the corresponding version carries the bug. Given a DAG and a bugged vertex, the Regression Search Problem consists in finding the first vertex containing the bug in a minimum number of queries in the worst-case scenario. This problem is known to be NP-complete. We study the algorithm used in \texttt{git} to address this problem, known as \texttt{git bisect}. We prove that in a general setting, \texttt{git bisect} can use an exponentially larger number of queries than an optimal algorithm. We also consider the restriction where all vertices have indegree at most 2 (i.e. where merges are made between at most two branches at a time in the VCS), and prove that in this case, \texttt{git bisect} is a $\frac{1}{\log_2(3/2)}$-approximation algorithm, and that this bound is tight. We also provide a better approximation algorithm for this case. Finally, we give an alternative proof of the NP-completeness of the Regression Search Problem, via a variation with bounded indegree.


title: Conservation of a spectral asymmetry invariant in optical fiber four-wave mixing

abstract: The conservation of spectral asymmetry is a fundamental feature of the ideal four-wave mixing process as it exists in a medium combining quadratic chromatic dispersion and third-order nonlinearity. We test in this paper the robustness of this invariant in an experimental configuration where the excitation conditions of an optical fiber are sequentially updated, mimicking infinite propagation. This theoretical and experimental study reveals the high sensitivity of the asymmetry to very slight deviations from the ideal case, and we show that our idealized system behaves as an intermediate case between the ideal case of non-cascaded fourwave mixing and propagation in a system governed by the nonlinear Schr{\"o}dinger equation.


title: Weakly Supervised Semantic Segmentation for Driving Scenes

abstract: State-of-the-art techniques in weakly-supervised semantic segmentation (WSSS) using image-level labels exhibit severe performance degradation on driving scene datasets such as Cityscapes. To address this challenge, we develop a new WSSS framework tailored to driving scene datasets. Based on extensive analysis of dataset characteristics, we employ Contrastive Language-Image Pre-training (CLIP) as our baseline to obtain pseudo-masks. However, CLIP introduces two key challenges: (1) pseudo-masks from CLIP lack in representing small object classes, and (2) these masks contain notable noise. We propose solutions for each issue as follows. (1) We devise Global-Local View Training that seamlessly incorporates small-scale patches during model training, thereby enhancing the model's capability to handle small-sized yet critical objects in driving scenes (e.g., traffic light). (2) We introduce Consistency-Aware Region Balancing (CARB), a novel technique that discerns reliable and noisy regions through evaluating the consistency between CLIP masks and segmentation predictions. It prioritizes reliable pixels over noisy pixels via adaptive loss weighting. Notably, the proposed method achieves 51.8\% mIoU on the Cityscapes test dataset, showcasing its potential as a strong WSSS baseline on driving scene datasets. Experimental results on CamVid and WildDash2 demonstrate the effectiveness of our method across diverse datasets, even with small-scale datasets or visually challenging conditions. The code is available at https://github.com/k0u-id/CARB.


title: Sandpiles on the Vicsek fractal explode with probability 1/4

abstract: Vicsek fractal graphs are an important class of infinite graphs with self similar properties, polynomial growth and treelike features, on which several dynamical processes such as random walks or Abelian sandpiles can be rigorously analyzed and one can obtain explicit closed form expressions. While such processes on Vicsek fractals and on Euclidean lattices $\mathbb{Z}^2$ share some properties for instance in the recurrence behaviour, many quantities related to sandpiles on Euclidean lattices are still poorly understood. The current work focuses on the stabilization/explosion of Abelian sandpiles on Vicsek fractal graphs, and we prove that a sandpile sampled from the infinite volume limit plus one additional particle stabilizes with probability 3/4, that is, it does not stabilize almost surely and it explodes with the complementary probability 1/4. We prove the main result by using two different approaches: one of probabilistic nature and one of algebraic flavor. The first approach is based on investigating the particles sent to the boundary of finite volumes and showing that their number stays above four with positive probability. In the second approach we relate the question of stabilization and explosion of sandpiles in infinite volume to the order of elements of the sandpile group on finite approximations of the infinite Vicsek graph. The method applies to more general state spaces and by employing it we also find all invariant factors of the sandpile groups on the finite approximations of the infinite Vicsek fractal.


title: Particle imbalanced weakly interacting quantum droplets in one-dimension

abstract: We explore the formation of one-dimensional two-component quantum droplets with intercomponent particle imbalance using an ab-initio many-body method. It is shown that for moderate particle imbalance each component maintains its droplet flat-top or Gaussian type character depending on the intercomponent attraction. Importantly, large particle imbalance leads to a flat-top shape of the majority component with the minority exhibiting spatially localized configurations. The latter imprint modulations on the majority component which become more pronounced for increasing interspecies attraction. The same holds for larger mass or increasing repulsion of the minority species. Such structural transitions are also evident in the underlying two-body correlation functions. To interpret the origin and characteristics of these droplet states we derive an effective model based on the established Lee-Huang-Yang theory providing adequate qualitative analytical predictions even away from its expected parametric region of validity. In contrast, the droplet character is found to vanish in the presence of fermionic minority atoms. Our results pave the way for unveiling complex droplet phases of matter.


title: The Smart Highway to Babel: the coexistence of different generations of Intelligent Transport Systems

abstract: The gap between technology readiness level in Cooperative Intelligent Transport Systems (C-ITS) and its adoption and deployment has caused a phenomenon where at least two types of network access technologies have to coexist. Furthermore, for the case of ETSI Intelligent Transport Systems protocols, work is being completed in Release 2 of the specification while Release 1 deployments are still underway. This, coupled with industry and consumer trends in the vehicle industry, is bound to cause a scenario where fully C-ITS-enabled vehicles have to coexist with non-C-ITS road users and, at the very least, with different versions of C-ITS. In this paper, we analyze the performance in terms of efficiency and safety of two releases of the ETSI GeoNetworking protocol, as well as a discussion on possible paths to tackle the upcoming compatibility and coexistence problems.


title: Distributed Quantum Neural Networks via Partitioned Features Encoding

abstract: Quantum neural networks are expected to be a promising application in near-term quantum computing, but face challenges such as vanishing gradients during optimization and limited expressibility by a limited number of qubits and shallow circuits. To mitigate these challenges, an approach using distributed quantum neural networks has been proposed to make a prediction by approximating outputs of a large circuit using multiple small circuits. However, the approximation of a large circuit requires an exponential number of small circuit evaluations. Here, we instead propose to distribute partitioned features over multiple small quantum neural networks and use the ensemble of their expectation values to generate predictions. To verify our distributed approach, we demonstrate ten class classification of the Semeion and MNIST handwritten digit datasets. The results of the Semeion dataset imply that while our distributed approach may outperform a single quantum neural network in classification performance, excessive partitioning reduces performance. Nevertheless, for the MNIST dataset, we succeeded in ten class classification with exceeding 96\% accuracy. Our proposed method not only achieved highly accurate predictions for a large dataset but also reduced the hardware requirements for each quantum neural network compared to a large single quantum neural network. Our results highlight distributed quantum neural networks as a promising direction for practical quantum machine learning algorithms compatible with near-term quantum devices. We hope that our approach is useful for exploring quantum machine learning applications.


title: X-ray stacking reveals average SMBH accretion properties of star-forming galaxies and their cosmic evolution over 4 <~ z <~ 7

abstract: With an X-ray stacking analysis of ~ 12, 000 Lyman-break galaxies (LBGs) using the Chandra Legacy Survey image, we investigate average supermassive black hole (SMBH) accretion properties of star-forming galaxies (SFGs) at 4 <~ z <~ 7. Although no X-ray signal is detected in any stacked image, we obtain strong 3 sigma upper limits for the average black hole accretion rate (BHAR) as a function of star formation rate (SFR). At z ~ 4 (5) where the stacked image is deeper, the 3 sigma BHAR upper limits per SFR are ~ 1.5 (1.0) dex lower than the local black hole-to-stellar mass ratio, indicating that the SMBHs of SFGs in the inactive (BHAR <~1M_sun yr^{-1}) phase are growing much more slowly than expected from simultaneous evolution. We obtain a similar result for BHAR per dark halo accretion rate. QSOs from the literature are found to have ~ 1 dex higher SFRs and >~ 2 dex higher BHARs than LBGs with the same dark halo mass. We also make a similar comparison for dusty starburst galaxies and quiescent galaxies from the literature. A duty-cycle corrected analysis shows that for a given dark halo, the SMBH mass increase in the QSO phase dominates over that in the much longer inactive phase. Finally, a comparison with the TNG300, TNG100, SIMBA100, and EAGLE100 simulations finds that they overshoot our BHAR upper limits by <~ 1.5 dex, possibly implying that simulated SMBHs are too massive.


title: Hyperfine and Zeeman interactions in ultracold collisions of molecular hydrogen with atomic lithium

abstract: We present a rigorous quantum scattering study of the effects of hyperfine and Zeeman interactions on cold Li - H$_{2}$ collisions in the presence of an external magnetic field using a recent ab initio potential energy surface. We find that the low-field-seeking states of H$_{2}$ predominantly undergo elastic collisions: the ratio of elastic-to-inelastic collisions exceeds 100 for collision energies below 1.5 K. Furthermore, we demonstrate that most inelastic collisions conserve the space-fixed projection of the nuclear spin. We show that the anisotropic hyperfine interaction between the nuclear spin of H$_{2}$ and the electron spin of Li can have a significant effect on inelastic scattering in the ultracold regime, as it mediates two processes: the electron spin relaxation in lithium, and the nuclear spin - electron spin exchange. Given the predominance of elastic collisions and the propensity of inelastic collisions to retain H$_{2}$ in its low-field-seeking states, our results open up the possibility of sympathetic cooling of molecular hydrogen by atomic lithium, paving the way for future exploration of ultracold collisions and high-precision spectroscopy of H$_{2}$ molecules.


title: Singular cscK metrics on smoothable varieties

abstract: We prove the lower semi-continuity of the coercivity threshold of Mabuchi functional along a degenerate family of normal compact K\"ahler varieties with klt singularities. Moreover, we establish the existence of singular cscK metrics on $\mathbb{Q}$-Gorenstein smoothable klt varieties when the Mabuchi functional is coercive, these arise as a limit of cscK metrics on close-by fibres. The proof relies on developing a novel strong topology of pluripotential theory in families and establishing uniform estimates for cscK metrics.


title: Free Space Optical Integrated Sensing and Communication Based on DCO-OFDM: Performance Metrics and Resource Allocation

abstract: As one of the six usage scenarios of the sixth generation (6G) mobile communication system, integrated sensing and communication (ISAC) has garnered considerable attention, and numerous studies have been conducted on radio-frequency (RF)-ISAC. Benefitting from the communication and sensing capabilities of an optical system, free space optical (FSO)-ISAC becomes a potential complement to RF-ISAC. In this paper, a direct-current-biased optical orthogonal frequency division multiplexing (DCO-OFDM) scheme is proposed for FSO-ISAC. To derive the spectral efficiency for communication and the Fisher information for sensing as performance metrics, we model the clipping noise of DCO-OFDM as additive colored Gaussian noise to obtain the expression of the signal-to-noise ratio. Based on the derived performance metrics, joint power allocation problems are formulated for both communication-centric and sensing-centric scenarios. In addition, the non-convex joint optimization problems are decomposed into sub-problems for DC bias and subcarriers, which can be solved by block coordinate descent algorithms. Furthermore, numerical simulations demonstrate the proposed algorithms and reveal the trade-off between communication and sensing functionalities of the OFDM-based FSO-ISAC system.


title: Compositional Zero-Shot Learning for Attribute-Based Object Reference in Human-Robot Interaction

abstract: Language-enabled robots have been widely studied over the past years to enable natural human-robot interaction and teaming in various real-world applications. Language-enabled robots must be able to comprehend referring expressions to identify a particular object from visual perception using a set of referring attributes extracted from natural language. However, visual observations of an object may not be available when it is referred to, and the number of objects and attributes may also be unbounded in open worlds. To address the challenges, we implement an attribute-based compositional zero-shot learning method that uses a list of attributes to perform referring expression comprehension in open worlds. We evaluate the approach on two datasets including the MIT-States and the Clothing 16K. The preliminary experimental results show that our implemented approach allows a robot to correctly identify the objects referred to by human commands.


title: Logarithmic Derivations of Adjoint Discriminants

abstract: We exhibit a relationship between projective duality and the sheaf of logarithmic vector fields along a reduced divisor $D$ of projective space, in that the push-forward of the ideal sheaf of the conormal variety in the point-hyperplane incidence, twisted by the tautological ample line bundle is isomorphic to logarithmic differentials along $D$. Then we focus on the adjoint discriminant $D$ of a simple Lie group with Lie algebra $\mathfrak{g}$ over an algebraically closed field $\mathbf{k}$ of characteristic zero and study the logarithmic module Der$_{\mathbf{U}}(-\log(D))$ over $\mathbf{U}=\mathbf{k}[\mathfrak{g}]$. When $\mathfrak{g}$ is simply laced, we show that this module has two direct summands: the $G$-invariant part, which is free with generators in degrees equal to the exponents of $G$, and the $G$-variant part, which is of projective dimension one, presented by the Jacobian matrix of the basic invariants of $G$ and isomorphic to the image of the map $\mathbf{ad} : \mathfrak{g} \otimes \mathbf{U}(-1) \to \mathfrak{g} \otimes \mathbf{U}$ given by the Lie bracket. When $\mathfrak{g}$ is not simply laced, we give a length-one equivariant graded free resolution of Der$_{\mathbf{U}}(-\log(D))$ in terms of the exponents of $G$ and of the quasi-minuscule representation of $G$.


title: On the Hardness of Analyzing Quantum Programs Quantitatively

abstract: In this paper, we study quantitative properties of quantum programs. Properties of interest include (positive) almost-sure termination, expected runtime or expected cost, that is, for example, the expected number of applications of a given quantum gate, etc. After studying the completeness of these problems in the arithmetical hierarchy over the Clifford+T fragment of quantum mechanics, we express these problems using a variation of a quantum pre-expectation transformer, a weakest precondition based technique that allows to symbolically compute these quantitative properties. Under a smooth restriction-a restriction to polynomials of bounded degree over a real closed field-we show that the quantitative problem, which consists in finding an upper-bound to the pre-expectation, can be decided in time double-exponential in the size of a program, thus providing, despite its great complexity, one of the first decidable results on the analysis and verification of quantum programs. Finally, we sketch how the latter can be transformed into an efficient synthesis method.


title: Sample-based nonlinear detectability for discrete-time systems

abstract: This paper introduces two sample-based formulations of incremental input/output-to-state stability (i-IOSS), a suitable detectability notion for general nonlinear systems. In this work we consider the case of limited output information, i.e., measurements are only infrequently and/or irregularly available. The output-dependent term of the sample-based i-IOSS bound is properly modified to yield a characterization for detectability in presence of incomplete output sequences. We provide both a non-timediscounted and a time-discounted formulation of samplebased i-IOSS. Furthermore, conditions for an i-IOSS system to be also sample-based i-IOSS are given and the relation between the two formulations of sample-based i-IOSS is shown.


title: No black hole bomb for $D$-dimensional non-extremal Reissner-Nordstrom black holes against charged massive scalar perturbation

abstract: The superradiant stability of asymptotically flat $D$-dimensional non-extremal Reissner-Nordstrom black holes under charged massive scalar perturbation is analytically studied. In previous works, it proved that there are no black hole bombs for five and six-dimensional non-extremal Reissner-Nordstrom black holes against charged massive scalar perturbation. In this work, we extend the previous discussions to the $D$-dimensional case ($D\geq7$) and find that the same conclusion holds in arbitrary higher dimensional case.


title: Empowering health in aging: Innovation in undernutrition detection and prevention through comprehensive monitoring

abstract: Addressing the health challenges faced by the aging population, particularly undernutrition, is of paramount importance, given the significant representation of older individuals in society. Undernutrition arises from a disbalance between nutritional intake and energy expenditure, making its diagnosis crucial. Advances in technology allowed a better precision and efficiency of biomarker measurements, making it easier to detect undernutrition in the elderly. This article introduces an innovative system developed as part of the CART initiative at Toulouse University Hospital in France. This system takes a comprehensive approach to monitor health and well-being, collecting data that can provide insights, shape health outcomes, and even predict them. A key focus of this system is on identifying nutrition-related behaviors. By integrating quantitative and clinical assessments, which include biannual nutritional evaluations, as well as physical and physiological measurements like mobility and weight, this approach improves the diagnosis and prevention of undernutrition risks. It offers a more holistic perspective aligned with physiological standards. An example is given with the data collection of an elderly person followed at home for 3 months. We believe that this advance could make a significant contribution to the overall improvement of health and well-being, particularly in the elderly population.


title: The spectral energy distributions and the bolometric luminosities of local AGN: study of the complete 12 micron AGN sample

abstract: We measure the bolometric luminosity of a complete and unbiased 12 micron-selected sample of active galactic nuclei (AGN) in the local Universe. For each galaxy we used a 10-band radio-to-X-ray Spectral Energy Distribution (SED) to isolate the genuine AGN continuum in each band, including sub-arcsecond measurements where available, and correcting those contaminated by the host galaxy. We derive the median SED of Seyfert type 1 AGN, Seyferts with hidden broad-lines (HBL), Seyferts of type 2, and LINER nuclei in our sample. The median Seyfert 1 SED shows the characteristic blue bump feature in the UV, but nevertheless the largest contribution to the bolometric luminosity comes from the IR and X-ray continua. The median SEDs of both HBL and type 2 AGN are affected by starlight contamination in the optical/UV. The median SED of HBL AGN is consistent with that of Seyfert 1's, when an extinction of Av = 1.2 mag is applied. The comprehensive SEDs allowed us to measure accurate bolometric luminosities and derive robust bolometric corrections for the different tracers. The 12 micron and the K-band nuclear luminosities have good linear correlations with the bolometric luminosity, similar to those in the X-rays. We derive bolometric corrections for either continuum bands (K-band, 12 micron, 2-10 keV and 14-195 keV) and narrow emission lines (mid-IR high ionization lines of [OIV] and [NeV] and optical [OIII]5007A) as well as for combinations of IR continuum and line emission. A combination of continuum plus line emission accurately predicts the bolometric luminosity up to quasar luminosities.


title: DENIS-SDN: Software-Defined Network Slicing Solution for Dense and Ultra-Dense IoT Networks

abstract: Traditional Wireless Sensor Networks protocols used in Internet of Things Networks (IoTNs) today face challenges in high- and ultra-density network topology conditions. New networking paradigms like Software-Defined Networks (SDN) have emerged as an up-and-coming approach to address IoT application requirements through implementing global protocol strategies and network programmability. This paper proposes a divide-and-conquer solution that aims to improve the PDR in ultra-dense IoT (UDIoT) network environments using network slicing. As such, we develop and evaluate DENIS-SDN, an open-source SDN solution for UDIoT Network environments consisting of a modular SDN controller and an OpenFlow-like data-plane protocol. DENIS-SDN utilizes our Network Density Control mechanism based on operational specification requirements, which address the challenges UDIoT network deployments pose, including interference, congestion, resource management, control, and quality of service (QoS) performance issues. To achieve this, it divides dense IoT networks into either logically sliced sub-networks separating nodes using routing rules or physically sliced sub-networks separating nodes into different radio channels. We provide evaluation results over realistic scenarios demonstrating improved PDR performance up to 4.8% for logically and up to 11.6% for physically sliced network scenarios.


title: Free-Editor: Zero-shot Text-driven 3D Scene Editing

abstract: Text-to-Image (T2I) diffusion models have gained popularity recently due to their multipurpose and easy-to-use nature, e.g. image and video generation as well as editing. However, training a diffusion model specifically for 3D scene editing is not straightforward due to the lack of large-scale datasets. To date, editing 3D scenes requires either re-training the model to adapt to various 3D edited scenes or design-specific methods for each special editing type. Furthermore, state-of-the-art (SOTA) methods require multiple synchronized edited images from the same scene to facilitate the scene editing. Due to the current limitations of T2I models, it is very challenging to apply consistent editing effects to multiple images, i.e. multi-view inconsistency in editing. This in turn compromises the desired 3D scene editing performance if these images are used. In our work, we propose a novel training-free 3D scene editing technique, Free-Editor, which allows users to edit 3D scenes without further re-training the model during test time. Our proposed method successfully avoids the multi-view style inconsistency issue in SOTA methods with the help of a "single-view editing" scheme. Specifically, we show that editing a particular 3D scene can be performed by only modifying a single view. To this end, we introduce an Edit Transformer that enforces intra-view consistency and inter-view style transfer by utilizing self- and cross-attention, respectively. Since it is no longer required to re-train the model and edit every view in a scene, the editing time, as well as memory resources, are reduced significantly, e.g., the runtime being $\sim \textbf{20} \times$ faster than SOTA. We have conducted extensive experiments on a wide range of benchmark datasets and achieve diverse editing capabilities with our proposed technique.


title: On super quantum discord for high-dimensional bipartite state

abstract: By quantifying the difference between quantum mutual information through weak measurement performed on a subsystem one is led to the notion of super quantum discord. The super version is also known to be difficult to compute as the quantum discord which was captured by the projective (strong) measurements. In this paper, we give effective bounds of the super quantum discord with or without phase damping channels for higher-dimensional bipartite quantum states, and found that the super version is always larger than the usual quantum discord as in the 2-dimensional case.


title: Coherency properties for monoids of transformations and partitions

abstract: A monoid $S$ is right coherent if every finitely generated subact of every finitely presented right $S$-act itself has a finite presentation; it is weakly right coherent if every finitely generated right ideal of $S$ has a finite presentation. We show that full and partial transformation monoids, symmetric inverse monoids and partition monoids over an infinite set are all weakly right coherent, but that none of them is right coherent. Left coherency and weak left coherency are defined dually, and the corresponding results hold for these properties. In order to prove the non-coherency results, we give a presentation of an inverse semigroup which does not embed into any left or right coherent monoid.


title: Evolution of the Termination Region of the Parsec-Scale Jet of 3C 84 Over the Past 20 Years

abstract: We present the kinematics of the parsec-scale jet in 3C 84 from 2003 November to 2022 June observed with the Very Long Baseline Array (VLBA) at 43 GHz. We find that the C3 component, a bright feature at the termination region of the jet component ejected from the core in 2003, has maintained a nearly constant apparent velocity of 0.259 +/- 0.003c over the period covered by observations. We observe the emergence of four new subcomponents from C3, each exhibiting apparent speeds higher than that of C3. Notably, the last two subcomponents exhibit apparent superluminal motion, with the fastest component showing an apparent speed of 1.22 +/- 0.14c. Our analysis suggests that a change in viewing angle alone cannot account for the fast apparent speeds of the new subcomponents, indicating that they are intrinsically faster than C3. We identify jet precession (or reorientation), a jet-cloud collision, and magnetic reconnection as possible physical mechanisms responsible for the ejection of the new subcomponents.


title: Calogero-like model without rearrangement symmetry

abstract: A new generalization of the Calogero's rational ($A_N$) many-body quantum model is proposed and studied. The key innovation lies in an asymmetrization of the Calogero's two-body interaction. In the generalized model the exact solvability is preserved while the Calogeero's single coupling constant $C$ is replaced by a certain multiplet of freely variable parameters. The resulting Calogero-like Hamiltonian ceases to be re-arrangement-invariant. As a consequence, the degeneracy of the bound-state spectrum gets partially unfolded.


title: Finite Temperature Minimal Entangled Typical Thermal States Impurity Solver

abstract: We present a minimally entangled typical thermal state (METTS) quantum impurity solver for general multi-orbital systems at finite temperatures. We introduce an improved estimator for the single-particle Green's function that strongly reduces the large fluctuations at long imaginary time and low temperature, which were a severe limitation of the original algorithm. In combination with the fork tensor product states ansatz, we obtain a dynamical mean field theory (DMFT) quantum impurity solver, which we benchmark for single and three-band models down to low temperatures, including the effect of spin-orbit coupling in a realistic DMFT computation for the Hund's metal Sr$_2$RuO$_4$ down to low temperatures.


title: Modeling and Forecasting Time-Dependent Mortality Rate in Tanzania

abstract: The increasing life expectancy enhances the importance of mortality forecasting. Most developing nations, including Tanzania, forecast mortality rates using static life tables. However, these tables exaggerate death probabilities by neglecting the declining mortality rate trend over time. This paper develops a mortality rate model based on a power exponential function, accounting for age and time variations and providing direct forecasts without methods of forecasting. The model accurately predicted mortality rates from 2023 to 2034 using Tanzanian data. To assess stability and reliability, a Bayesian method was employed, and numerical results revealed a close alignment between the model's forecasts and Bayesian predictions.


title: Contextual particle propagation in a three-path interferometer

abstract: Quantum information is based on the apparent contradictions between classical logic and quantum coherence described by Kochen-Specker contextuality. Surprisingly, this contradiction can be demonstrated in a comparatively simple three-path interferometer, where it is impossible to trace the path of a single photon through five consecutive stages of the interferometer. Here, I discuss the paradoxical aspects of single photon interferences revealed by the three-path interferometer and point out the essential role of dynamics in quantum information.


title: Text2Analysis: A Benchmark of Table Question Answering with Advanced Data Analysis and Unclear Queries

abstract: Tabular data analysis is crucial in various fields, and large language models show promise in this area. However, current research mostly focuses on rudimentary tasks like Text2SQL and TableQA, neglecting advanced analysis like forecasting and chart generation. To address this gap, we developed the Text2Analysis benchmark, incorporating advanced analysis tasks that go beyond the SQL-compatible operations and require more in-depth analysis. We also develop five innovative and effective annotation methods, harnessing the capabilities of large language models to enhance data quality and quantity. Additionally, we include unclear queries that resemble real-world user questions to test how well models can understand and tackle such challenges. Finally, we collect 2249 query-result pairs with 347 tables. We evaluate five state-of-the-art models using three different metrics and the results show that our benchmark presents introduces considerable challenge in the field of tabular data analysis, paving the way for more advanced research opportunities.


title: Angle of Arrival and Centimeter Distance Estimation on a Smart UWB Sensor Node

abstract: Accurate and low-power indoor localization is becoming more and more of a necessity to empower novel consumer and industrial applications. In this field, the most promising technology is based on UWB modulation; however, current UWB positioning systems do not reach centimeter accuracy in general deployments due to multipath and nonisotropic antennas, still necessitating several fixed anchors to estimate an object's position in space. This article presents an in-depth study and assessment of angle of arrival (AoA) UWB measurements using a compact, low-power solution integrating a novel commercial module with phase difference of arrival (PDoA) estimation as integrated feature. Results demonstrate the possibility of reaching centimeter distance precision and ang 2.4 average angular accuracy in many operative conditions, e.g., in a ang 90 range around the center. Moreover, integrating the channel impulse response, the phase differential of arrival, and the point-to-point distance, an error correction model is discussed to compensate for reflections, multipaths, and front-back ambiguity.


title: Number of components of polynomial lemniscates: a problem of Erd\"os, Herzog, and Piranian

abstract: Let $K\subset\mathbb{C}$ be a compact set in the plane whose logarithmic capacity $c(K)$ is strictly positive. Let $\mathscr{P}_n(K)$ be the space of monic polynomials of degree $n,$ \emph{all} of whose zeros lie in $K.$ For $p\in \mathscr{P}_n(K),$ its filled \emph{unit leminscate} is defined by $\Lambda_p = \{z: |p(z)| < 1\}.$ Let $\mathcal{C}(\Lambda_p) $ denote the number of connected components of the open set $\Lambda_p,$ and define $\mathscr{C}_n(K) = \max_{p\in \mathscr{P}_n(K)}\mathcal{C}(\Lambda_p).$ In this paper we show that the quantity \[M(K) = \limsup_{n\to\infty}\dfrac{\mathscr{C}_n(K)}{n},\] satisfies $M(K) < 1$ when the logarithmic capacity $c(K) < 1,$ and $M(K) = 1$ when $c(K)\geq 1.$ In particular, this answers a question of Erd\"os et. al. posed in $1958$. In addition, we show that for nice enough compact sets whose capacity is strictly bigger than $\frac{1}{2}$, the quantity $m(K) = \liminf_{n\to\infty}\dfrac{\mathscr{C}_n(K)}{n} > 0.$


title: Spanning trees for many different numbers of leaves

abstract: Let $G$ be a connected graph and $L(G)$ the set of all integers $k$ such that $G$ contains a spanning tree with exactly $k$ leaves. We show that for a connected graph $G$, the set $L(G)$ is contiguous. It follows from work of Chen, Ren, and Shan that every connected and locally connected $n$-vertex graph -- this includes triangulations -- has a spanning tree with at least $n/2 + 1$ leaves, so by a classic theorem of Whitney and our result, in any plane $4$-connected $n$-vertex triangulation one can find for any integer $k$ which is at least~2 and at most $n/2 + 1$ a spanning tree with exactly $k$ leaves (and each of these trees can be constructed in polynomial time). We also prove that there exist infinitely many $n$ such that there is a plane $4$-connected $n$-vertex triangulation containing a spanning tree with $2n/3$ leaves, but no spanning tree with more than $2n/3$ leaves.


title: A spin analog of the plethystic Murnaghan-Nakayama rule

abstract: As a spin analog of the plethystic Murnaghan-Nakayama rule for Schur functions, the plethystic Murnaghan-Nakayama rule for Schur $Q$-functions is established with the help of the vertex operator realization. This generalizes both the Murnaghan-Nakayama rule and the Pieri rule for Schur $Q$-functions. A plethystic Murnaghan-Nakayama rule for Hall-Littlewood functions is also investigated.


title: Adaptive variational low-rank dynamics for open quantum systems

abstract: We introduce a novel, model-independent method for the efficient simulation of low-entropy systems, whose dynamics can be accurately described with a limited number of states. Our method leverages the time-dependent variational principle to efficiently integrate the Lindblad master equation, dynamically identifying and modifying the low-rank basis over which we decompose the system's evolution. By dynamically adapting the dimension of this basis, and thus the rank of the density matrix, our method maintains optimal representation of the system state, offering a substantial computational advantage over existing adaptive low-rank schemes in terms of both computational time and memory requirements. We demonstrate the efficacy of our method through extensive benchmarks on a variety of model systems, with a particular emphasis on multi-qubit bosonic codes, a promising candidate for fault-tolerant quantum hardware. Our results highlight the method's versatility and efficiency, making it applicable to a wide range of systems characterized by arbitrary degrees of entanglement and moderate entropy throughout their dynamics. We provide an implementation of the method as a Julia package, making it readily available to use.


title: Parallel Trust-Region Approaches in Neural Network Training: Beyond Traditional Methods

abstract: We propose to train neural networks (NNs) using a novel variant of the ``Additively Preconditioned Trust-region Strategy'' (APTS). The proposed method is based on a parallelizable additive domain decomposition approach applied to the neural network's parameters. Built upon the TR framework, the APTS method ensures global convergence towards a minimizer. Moreover, it eliminates the need for computationally expensive hyper-parameter tuning, as the TR algorithm automatically determines the step size in each iteration. We demonstrate the capabilities, strengths, and limitations of the proposed APTS training method by performing a series of numerical experiments. The presented numerical study includes a comparison with widely used training methods such as SGD, Adam, LBFGS, and the standard TR method.


title: The Hele-Shaw semi-flow

abstract: We prove that the Cauchy problem is well-posed in a strong sense and in a general setting. Our main result is the construction of an abstract semi-flow for the Hele-Shaw problem within general fluid domains (enabling, for instance, changes in the topology of the fluid domain) and which satisfies several properties: We provide simple comparison arguments, establish a new stability estimate and derive several consequences, including monotonicity and continuity results for the solutions, along with many Lyapunov functionals. We establish an eventual analytic regularity result for any arbitrary initial data. We also study numerous qualitative properties, including global regularity for initial data in sub-critical Sobolev spaces, well-posedness in a strong sense for initial data with barely a modulus of continuity, as well as waiting-time phenomena for Lipschitz solutions, in any dimension.


title: The second quandle homology group of the knot $n$-quandle

abstract: The knot quandle is a complete invariant for oriented classical knots in the $3$-sphere up to orientation. Eisermann computed the second quandle homology group of the knot quandle and showed that it characterizes the unknot. In this paper, we compute the second quandle homology group of the knot $n$-quandle completely, where the knot $n$-quandle is a certain quotient of the knot quandle for each integer $n$ greater than one. Although the knot $n$-quandle is weaker than the knot quandle, the second quandle homology group of the former is found to have more information than that of the latter. As one of the consequences, it follows that the second quandle homology group of the knot $3$-quandle characterizes the unknot, the trefoil and the cinquefoil.


title: HGE: Embedding Temporal Knowledge Graphs in a Product Space of Heterogeneous Geometric Subspaces

abstract: Temporal knowledge graphs represent temporal facts $(s,p,o,\tau)$ relating a subject $s$ and an object $o$ via a relation label $p$ at time $\tau$, where $\tau$ could be a time point or time interval. Temporal knowledge graphs may exhibit static temporal patterns at distinct points in time and dynamic temporal patterns between different timestamps. In order to learn a rich set of static and dynamic temporal patterns and apply them for inference, several embedding approaches have been suggested in the literature. However, as most of them resort to single underlying embedding spaces, their capability to model all kinds of temporal patterns was severely limited by having to adhere to the geometric property of their one embedding space. We lift this limitation by an embedding approach that maps temporal facts into a product space of several heterogeneous geometric subspaces with distinct geometric properties, i.e.\ Complex, Dual, and Split-complex spaces. In addition, we propose a temporal-geometric attention mechanism to integrate information from different geometric subspaces conveniently according to the captured relational and temporal information. Experimental results on standard temporal benchmark datasets favorably evaluate our approach against state-of-the-art models.


title: Irreducible characters and bitrace for the $q$-rook monoid

abstract: This paper studies irreducible characters of the $q$-rook monoid algebra $R_n(q)$ using the vertex algebraic method. Based on the Frobenius formula for $R_n(q)$, a new iterative character formula is derived with the help of the vertex operator realization of the Schur symmetric function. The same idea also leads to a simple proof of the Murnaghan-Nakayama rule for $R_n(q)$. We also introduce the bitrace for the $q$-monoid and obtain a general combinatorial formula for the bitrace, which generalizes the counterpart for the Iwahori-Hecke algebra. The character table of $R_n(q)$ with $|\mu|=5$ is listed in the appendix.


title: A Constraint Programming Model for Scheduling the Unloading of Trains in Ports: Extended

abstract: In this paper, we propose a model to schedule the next 24 hours of operations in a bulk cargo port to unload bulk cargo trains onto stockpiles. It is a problem that includes multiple parts such as splitting long trains into shorter ones and the routing of bulk material through a configurable network of conveyors to the stockpiles. Managing such trains (up to three kilometers long) also requires specialized equipment. The real world nature of the problem specification implies the necessity to manage heterogeneous data. Indeed, when new equipment is added (e.g. dumpers) or a new type of wagon comes in use, older or different equipment will still be in use as well. All these details need to be accounted for. In fact, avoiding a full deadlock of the facility after a new but ineffective schedule is produced. In this paper, we provide a detailed presentation of this real world problem and its associated data. This allows us to propose an effective constraint programming model to solve this problem. We also discuss the model design and the different implementations of the propagators that we used in practice. Finally, we show how this model, coupled with a large neighborhood search, was able to find 24 hour schedules efficiently.


title: Joint Channel Estimation and Cooperative Localization for Near-Field Ultra-Massive MIMO

abstract: The next-generation (6G) wireless networks are expected to provide not only seamless and high data-rate communications, but also ubiquitous sensing services. By providing vast spatial degrees of freedom (DoFs), ultra-massive multiple-input multiple-output (UM-MIMO) technology is a key enabler for both sensing and communications in 6G. However, the adoption of UM-MIMO leads to a shift from the far field to the near field in terms of the electromagnetic propagation, which poses novel challenges in system design. Specifically, near-field effects introduce highly non-linear spherical wave models that render existing designs based on plane wave assumptions ineffective. In this paper, we focus on two crucial tasks in sensing and communications, respectively, i.e., localization and channel estimation, and investigate their joint design by exploring the near-field propagation characteristics, achieving mutual benefits between two tasks. In addition, multiple base stations (BSs) are leveraged to collaboratively facilitate a cooperative localization framework. To address the joint channel estimation and cooperative localization problem for near-field UM-MIMO systems, we propose a variational Newtonized near-field channel estimation (VNNCE) algorithm and a Gaussian fusion cooperative localization (GFCL) algorithm. The VNNCE algorithm exploits the spatial DoFs provided by the near-field channel to obtain position-related soft information, while the GFCL algorithm fuses this soft information to achieve more accurate localization. Additionally, we introduce a joint architecture that seamlessly integrates channel estimation and cooperative localization.


title: Satellite Impact on Astronomical Observations Based on Elliptical Orbit Model

abstract: Space-based and ground-based telescopes have extensively documented the impact of satellites on astronomical observations. With the proliferation of satellite mega-constellation programs, their influence on astronomical observations has become undeniable. It is crucial to quantify the impact of satellites on telescopes. To address this need, we have enhanced the circular orbit model for satellites and introduced a methodology based on two-line element (TLE) orbit data. This involves constructing a satellite probability distribution model to evaluate the impact of satellites on telescopes. Using our method, we assessed the satellite impact on global observatories. The results indicate that the regions most severely affected by satellite interference currently are those near the equator, with latitudes around 50 and 80 degrees experiencing the most significant impact from low Earth orbit satellites. Furthermore, we validated the reliability of our method using imaging data obtained from the focal surface acquisition camera of the LAMOST telescope.


title: Machine Learning Based Compton Suppression for Nuclear Fusion Plasma Diagnostics

abstract: Diagnostics are critical on the path to commercial fusion reactors, since measurements and characterisation of the plasma is important for sustaining fusion reactions. Gamma spectroscopy is commonly used to provide information about the neutron energy spectrum from activation analysis, which can be used to calculate the neutron flux and fusion power. The detection limits for measuring nuclear dosimetry reactions used in such diagnostics are fundamentally related to Compton scattering events making up a background continuum in measured spectra. This background lies in the same energy region as peaks from low-energy gamma rays, leading to detection and characterisation limitations. This paper presents a digital machine learning Compton suppression algorithm (MLCSA), that uses state-of-the-art machine learning techniques to perform pulse shape discrimination (PSD) for high purity germanium (HPGe) detectors. The MLCSA identifies key features of individual pulses to differentiate between those that are generated from photopeaks and Compton scatter events. Compton events are then rejected, reducing the low energy background. This novel suppression algorithm improves gamma spectroscopy results by lowering minimum detectable activity (MDA) limits and thus reducing the measurement time required to reach the desired detection limit. In this paper, the performance of the MLCSA is demonstrated using an HPGe detector, with a gamma spectrum containing americium-241 (Am-241) and cobalt-60 (Co-60). The MDA of Am-241 improved by 51% and the signal to noise ratio (SNR) improved by 49%, while the Co-60 peaks were partially preserved (reduced by 78%). The MLCSA requires no modelling of the specific detector and so has the potential to be detector agnostic, meaning the technique could be applied to a variety of detector types and applications.


title: Simple and sub-directly irreducible double Boolean algebras

abstract: Double Boolean algebras are algebras $\underline{D}=(D;\sqcap,\sqcup,\neg,\lrcorner,\bot,\top)$ of type $(2,2,1,1,0,0)$ introduced by Rudolf Wille to capture the equational theory of the algebra of protoconcepts. Every double Boolean algebra $\underline{D}$ contains two Boolean algebras denoted by $\underline{D}_{\sqcap}$ and $\underline{D}_{\sqcup}$. A double Boolean algebra $\underline{D}$ is said pure if $D=D_{\sqcap}\cup D_{\sqcup}$, and trivial if $\bot\sqcup\bot=\top\sqcap\top$. In this work, we first show that a double Boolean algebra is pure and trivial if and only if it is a glued sum of two Boolean algebras; secondly, we characterize simple double Boolean algebras; and finally, we determine up to isomorphism all sub-directly irreducible algebras of some sub-classes of the variety of double Boolean algebras.


title: Comment on applying dispersion relations to amplitudes with infrared singularities

abstract: Dispersion Relations (DR) are known to be a powerful instrument for studying scattering amplitudes. In particular, they often apply to calculations in Perturbative QCD and Standard Model. We argue that applying DR to amplitudes with double-logarithmic (DL) contributions should be done with a proper caution because DL terms are often infrared-divergent. Ignoring this circumstance leads to incorrect results. As an example of such situation, we consider applying DR to decays of on-shell W and Z -bosons into fermion pairs in the Double-Logarithmic Approximation


title: Parameter dependence of entanglement spectra in quantum field theories

abstract: In this paper, we explore the characteristics of reduced density matrix spectra in quantum field theories. Previous studies mainly focus on the function $\mathcal{P}(\lambda):=\sum_i \delta(\lambda-\lambda_i)$, where $\lambda_i$ denote the eigenvalues of the reduced density matirx. We introduce a series of functions designed to capture the parameter dependencies of these spectra. These functions encompass information regarding the derivatives of eigenvalues concerning the parameters, notably including the function $\mathcal{P}_{\alpha_J}(\lambda):=\sum_i \frac{\partial \lambda_i }{\partial \alpha_J}\delta(\lambda-\lambda_i)$, where $\alpha_J$ denotes the specific parameter. Computation of these functions is achievable through the utilization of R\'enyi entropy. Intriguingly, we uncover compelling relationships among these functions and demonstrate their utility in constructing the eigenvalues of reduced density matrices for select cases. We perform computations of these functions across several illustrative examples. Specially, we conducted a detailed study of the variations of $\mathcal{P}(\lambda)$ and $\mathcal{P}_{\alpha_J}(\lambda)$ under general perturbation, elucidating their physical implications. In the context of holographic theory, we ascertain that the zero point of the function $\mathcal{P}_{\alpha_J}(\lambda)$ possesses universality, determined as $\lambda_0=e^{-S}$, where $S$ denotes the entanglement entropy of the reduced density matrix. Furthermore, we exhibit potential applications of these functions in analyzing the properties of entanglement entropy.


title: Parametric Resonance in the Einstein frame: the Jordan-frame Doppelg\"anger

abstract: Modified $f(R)$ theories of gravity have been investigated for quite a long time in the literature as a possible explanation for the inflationary period of the universe. The correspondence to General Relativity with an extra scalar field $\tilde\phi$ in the so-called Einstein Frame via a conformal transformation is a major tool in this class of theories. Here, we assume three different potentials $V(\tilde\phi)$ and a parametric-resonance coupling between $\tilde\phi$ and a secondary scalar field $\tilde\psi$ such that one can have both inflation and preheating in the Einstein frame. We study the instability resonance band structure for our models. Further, we determine the correspondent mechanism -- and the function $f(R)$ itself -- in the Jordan frame, that is possibly related to the so-called vacuum awakening mechanism.


title: Spinors from pure spinors

abstract: We propose and develop a new method to classify orbits of the spin group ${\rm Spin}(2d)$ in the space of its semi-spinors. The idea is to consider spinors as being built as a linear combination of their pure constituents, imposing the constraint that no pair of pure spinor constituents sums up to a pure spinor. We show that this leads to a simple combinatorial problem that has a finite number of solutions in dimensions up to and including fourteen. We call each distinct solution a combinatorial type of an impure spinor. We represent each combinatorial type graphically by a simplex, with vertices corresponding to the pure constituents of a spinor, and edges being labelled by the dimension of the totally null space that is the intersection of the annihilator subspaces of the pure spinors living at the vertices. We call the number of vertices in a simplex the impurity of an impure spinor. In dimensions eight and ten the maximal impurity is two. Dimension twelve is the first dimension where one gets an impurity three spinor, represented by a triangle. In dimension fourteen the generic orbit has impurity four, while the maximal impurity is five. We show that each of our combinatorial types uniquely corresponds to one of the known spinor orbits, thus reproducing the classification of spinors in dimensions up to and including fourteen from simple combinatorics. Our methods continue to work in dimensions sixteen and higher, but the number of the possible distinct combinatorial types grows rather rapidly with the dimension.


title: DreamTuner: Single Image is Enough for Subject-Driven Generation

abstract: Diffusion-based models have demonstrated impressive capabilities for text-to-image generation and are expected for personalized applications of subject-driven generation, which require the generation of customized concepts with one or a few reference images. However, existing methods based on fine-tuning fail to balance the trade-off between subject learning and the maintenance of the generation capabilities of pretrained models. Moreover, other methods that utilize additional image encoders tend to lose important details of the subject due to encoding compression. To address these challenges, we propose DreamTurner, a novel method that injects reference information from coarse to fine to achieve subject-driven image generation more effectively. DreamTurner introduces a subject-encoder for coarse subject identity preservation, where the compressed general subject features are introduced through an attention layer before visual-text cross-attention. We then modify the self-attention layers within pretrained text-to-image models to self-subject-attention layers to refine the details of the target subject. The generated image queries detailed features from both the reference image and itself in self-subject-attention. It is worth emphasizing that self-subject-attention is an effective, elegant, and training-free method for maintaining the detailed features of customized subjects and can serve as a plug-and-play solution during inference. Finally, with additional subject-driven fine-tuning, DreamTurner achieves remarkable performance in subject-driven image generation, which can be controlled by a text or other conditions such as pose. For further details, please visit the project page at https://dreamtuner-diffusion.github.io/.


title: Deformations of $(p,q)$-forms and degenerations of the Fr\"olicher spectral sequence

abstract: It is well-known that Hodge numbers are invariant under deformations of complex structures if the Fr\"olicher spectral sequence of the central fiber degenerates at the first page (i.e. $E_1=E_\infty$). As a result, the deformations of $(p,q)$-forms are unobstructed for all $(p,q)$ if $E_1=E_\infty$. We refine this classical result by showing that for any fixed $(p,q)$ the deformations of $(p,q)$-forms are unobstructed if the differentials $d_r^{p-i,q+i}$ in the Fr\"olicher spectral sequence vanish for any $i\geq 0$ and $r\geq1$. Moreover, the deformation stability of the degeneration property for Fr\"olicher spectral sequences in the first page and higher pages is also studied. In particular, we have found suitable conditions to ensure the deformation stability of $E_r^{p,q}=E_\infty^{p,q}$ ($r>1$) for fixed $(p,q)$. Compared to the existing results, our theorems are more flexible and expected to have wider range of applications.


title: Optical decoder learning for fiber communication at the quantum limit

abstract: Quantum information theory predicts that communication technology can be enhanced by using quantum signals to transfer classical bits. In order to fulfill this promise, the message-carrying signals must interact coherently at the decoding stage via a joint-detection receiver (JDR), whose realization with optical technologies remains an outstanding open problem to date. We introduce a supervised-learning framework for the systematic discovery of new JDR designs based on parametrized photonic integrated circuits. Our framework relies on the synthesis of a training set comprising quantum codewords and the corresponding classical message label; the codewords are processed by the JDR circuit and, after photo-detection, produce a guess for the label. The circuit parameters are then updated by minimizing a suitable loss function, reaching an optimal JDR design for that specific architecture. We showcase our method with coherent-state codes for the pure-loss bosonic channel, modelling optical-fiber and space communication, with a circuit architecture comprising linear optics, squeezing and threshold photo-detectors. We train JDR circuits for several code families, varying energy and code-size. We discover optical JDR circuit setups for maximum-size codes and small message-length that offer up to a $3$-fold enhancement in the bit decoding rate with respect to the optimal single-symbol receiver, and less than $7\%$-away from the theoretically optimal decoder, for which an explicit design is missing to date. Furthermore, the discovered receivers surpass previous JDR designs both in terms of bit decoding and bit transmission rate. Finally, we observe that the best-performing codes are those which can be mapped, via the JDR's optical processing, to modulations with different energy levels on different symbols, making the message symbols more distinguishabile via photo-detection.