title: Hole doping and electronic correlations in Cr-substituted BaFe$_{2}$As$_{2}$

abstract: The absence of superconductivity (SC) in Cr-substituted BaFe$_{2}$As$_{2}$ (CrBFA) is a well-established but poorly understood topic. It is also established that the suppression of the spin density wave transition temperature ($T_{\text{SDW}}$) in CrBFA and Mn-substituted BaFe$_{2}$As$_{2}$ (MnBFA) almost coincides as a function of the Cr/Mn concentrations, irrespective of the putative distinct electronic effects of these substitutions. In this work, we employ angle-resolved photoemission spectroscopy (ARPES) and combined density functional theory plus dynamical mean field theory calculations (DFT+DMFT) to address the evolution of the Fermi surface (FS) and electronic correlations in CrBFA. Our findings reveal that incorporating Cr leads to an effective hole doping of the states near the FS in a way that can be well described within the virtual crystal approximation (VCA). Moreover, our results show orbital-specific correlation effects that support the Hund localization scenario for the CrBFA phase diagram. We found a fractional scaling of the imaginary part of self-energy as a function of the binding energy, which is a signature property of Hund's metals. We conclude that CrBFA is a correlated electron system for which the changes in the FS as a function of Cr are not related to the suppression of $T_{\text{SDW}}$. Rather, this suppression and the absence of SC are primarily due to the competition between Cr local moments and the Fe-derived itinerant spin fluctuations.


title: Uncertainty in GNN Learning Evaluations: A Comparison Between Measures for Quantifying Randomness in GNN Community Detection

abstract: (1) The enhanced capability of Graph Neural Networks (GNNs) in unsupervised community detection of clustered nodes is attributed to their capacity to encode both the connectivity and feature information spaces of graphs. The identification of latent communities holds practical significance in various domains, from social networks to genomics. Current real-world performance benchmarks are perplexing due to the multitude of decisions influencing GNN evaluations for this task. (2) Three metrics are compared to assess the consistency of algorithm rankings in the presence of randomness. The consistency and quality of performance between the results under a hyperparameter optimisation with the default hyperparameters is evaluated. (3) The results compare hyperparameter optimisation with default hyperparameters, revealing a significant performance loss when neglecting hyperparameter investigation. A comparison of metrics indicates that ties in ranks can substantially alter the quantification of randomness. (4) Ensuring adherence to the same evaluation criteria may result in notable differences in the reported performance of methods for this task. The $W$ Randomness coefficient, based on the Wasserstein distance, is identified as providing the most robust assessment of randomness.


title: Symmetry Breaking and Equivariant Neural Networks

abstract: Using symmetry as an inductive bias in deep learning has been proven to be a principled approach for sample-efficient model design. However, the relationship between symmetry and the imperative for equivariance in neural networks is not always obvious. Here, we analyze a key limitation that arises in equivariant functions: their incapacity to break symmetry at the level of individual data samples. In response, we introduce a novel notion of 'relaxed equivariance' that circumvents this limitation. We further demonstrate how to incorporate this relaxation into equivariant multilayer perceptrons (E-MLPs), offering an alternative to the noise-injection method. The relevance of symmetry breaking is then discussed in various application domains: physics, graph representation learning, combinatorial optimization and equivariant decoding.


title: High-$T_c$ Berezinskii-Kosterlitz-Thouless transition in 2D superconducting systems with coupled deep and quasi-flat electronic bands with van Hove singularities

abstract: In the pursuit of higher critical temperature of superconductivity, quasi-flat electronic bands and van Hove singularities in two dimensions (2D) have emerged as a potential approach to enhance Cooper pairing on the basis of mean-field expectations. However, these special electronic features suppress the superfluid stiffness and, hence, the Berezinskii-Kosterlitz-Thouless (BKT) transition in 2D superconducting systems, leading to the emergence of a significant pseudogap regime due to superconducting fluctuations. In the strong-coupling regime, one finds that superfluid stiffness is inversely proportional to the superconducting gap, which is the predominant factor contributing to the strong suppression of superfluid stiffness. Here we reveal that the aforementioned limitation is avoided in a 2D superconducting electronic system with a quasi-flat electronic band with a strong pairing strength coupled to a deep band with weak electronic pairing strength. Owing to the multiband effects, we demonstrate a screening-like mechanism that circumvents the suppression of the superfluid stiffness. We report the optimal conditions for achieving a large enhancement of the BKT transition temperature and a substantial shrinking of the pseudogap regime by tuning the intraband couplings and the pair-exchange coupling between the two band-condensates.


title: Fault Diagnosis and Prognosis Capabilities for Wind Turbine Hydraulic Pitch Systems: An Overview

abstract: Wind energy is the leading non-hydro renewable technology. Increasing reliability is a key factor in reducing the downtime of high-power wind turbines installed in remote off-shore places, where maintenance is costly and less reactive. Defects in the pitch system are responsible for up to $20\%$ of a wind turbine downtime. Thus, prognosis and condition monitoring of such defects are essential for avoiding downtime. This paper presents a generic assessment of diagnosis capabilities in hydraulic pitch systems characterizing high-power wind turbines. A mathematical model of the non-linear system dynamics is presented along with a description of the most frequent faults that can affect it. Structural analysis is employed to assess the diagnosis and prognosis capabilities of defects in the pitch system. The structural properties are furthermore explored to investigate possible sensor reduction without compromising fault diagnosis capabilities.


title: Marked length spectra of Gromov hyperbolic space

abstract: Let $(X,d)$, $(Y, d')$ be two roughly geodesically complete Gromov hyperbolic spaces under comparable isometric actions of $\Gamma$. Assume that the limit set $\Lambda \Gamma=\partial X\partial Y$. If spaces $X$ and $Y$ have the same asymptotic marked length spectrum, meaning that $$\lim_{{l_{d}([\gamma])\to \infty}}\frac{l_d(\gamma)}{l_{d'}(\gamma)}=1.$$ Then $(X,d)$ and $(Y,d')$ are $\Gamma$-equivariantly roughly isometric.


title: Exploring Transferability for Randomized Smoothing

abstract: Training foundation models on extensive datasets and then finetuning them on specific tasks has emerged as the mainstream approach in artificial intelligence. However, the model robustness, which is a critical aspect for safety, is often optimized for each specific task rather than at the pretraining stage. In this paper, we propose a method for pretraining certifiably robust models that can be readily finetuned for adaptation to a particular task. A key challenge is dealing with the compromise between semantic learning and robustness. We address this with a simple yet highly effective strategy based on significantly broadening the pretraining data distribution, which is shown to greatly benefit finetuning for downstream tasks. Through pretraining on a mixture of clean and various noisy images, we find that surprisingly strong certified accuracy can be achieved even when finetuning on only clean images. Furthermore, this strategy requires just a single model to deal with various noise levels, thus substantially reducing computational costs in relation to previous works that employ multiple models. Despite using just one model, our method can still yield results that are on par with, or even superior to, existing multi-model methods.


title: Odd moments and adding fractions

abstract: We prove near-optimal upper bounds for the odd moments of the distribution of coprime residues in short intervals, confirming a conjecture of Montgomery and Vaughan. As an application we prove near-optimal upper bounds for the average of the refined singular series in the Hardy-Littlewood conjectures concerning the number of prime $k$-tuples for $k$ odd. The main new ingredient is a near-optimal upper bound for the number of solutions to $\sum_{1\leq i\leq k}\frac{a_i}{q_i}\in \mathbb{Z}$ when $k$ is odd, with $(a_i,q_i)=1$ and restrictions on the size of the numerators and denominators, that is of independent interest.


title: BDHT: Generative AI Enables Causality Analysis for Mild Cognitive Impairment

abstract: Effective connectivity estimation plays a crucial role in understanding the interactions and information flow between different brain regions. However, the functional time series used for estimating effective connectivity is derived from certain software, which may lead to large computing errors because of different parameter settings and degrade the ability to model complex causal relationships between brain regions. In this paper, a brain diffuser with hierarchical transformer (BDHT) is proposed to estimate effective connectivity for mild cognitive impairment (MCI) analysis. To our best knowledge, the proposed brain diffuser is the first generative model to apply diffusion models to the application of generating and analyzing multimodal brain networks. Specifically, the BDHT leverages structural connectivity to guide the reverse processes in an efficient way. It makes the denoising process more reliable and guarantees effective connectivity estimation accuracy. To improve denoising quality, the hierarchical denoising transformer is designed to learn multi-scale features in topological space. By stacking the multi-head attention and graph convolutional network, the graph convolutional transformer (GraphConformer) module is devised to enhance structure-function complementarity and improve the ability in noise estimation. Experimental evaluations of the denoising diffusion model demonstrate its effectiveness in estimating effective connectivity. The proposed model achieves superior performance in terms of accuracy and robustness compared to existing approaches. Moreover, the proposed model can identify altered directional connections and provide a comprehensive understanding of parthenogenesis for MCI treatment.


title: A Framework for Exploring Federated Community Detection

abstract: Federated Learning is machine learning in the context of a network of clients whilst maintaining data residency and/or privacy constraints. Community detection is the unsupervised discovery of clusters of nodes within graph-structured data. The intersection of these two fields uncovers much opportunity, but also challenge. For example, it adds complexity due to missing connectivity information between privately held graphs. In this work, we explore the potential of federated community detection by conducting initial experiments across a range of existing datasets that showcase the gap in performance introduced by the distributed data. We demonstrate that isolated models would benefit from collaboration establishing a framework for investigating challenges within this domain. The intricacies of these research frontiers are discussed alongside proposed solutions to these issues.


title: Bayes Net based highbrid Monte Carlo Optimization for Redundant Manipulator

abstract: This paper proposes a Bayes Net based Monte Carlo optimization for motion planning (BN-MCO). Primarily, we adjust the potential fields determined by goal and start constraints to progressively guide the sampled clusters toward the goal and start points. Then, we utilize the Gaussian mixed modal (GMM) to perform the Monte Carlo optimization, confronting these two non-convex potential fields. Moreover, KL divergence measures the bias between the true distribution determined by the fields and the proposed GMM, whose parameters are learned incrementally according to the manifold information of the bias. In this way, the Bayesian network consisting of sequential updated GMMs expands until the constraints are satisfied and the shortest path method can find a feasible path. Finally, we tune the key parameters and benchmark BN-MCO against the other 5 planners on LBR-iiwa in a bookshelf. The result shows the highest success rate and moderate solving efficiency of BN-MCO.


title: On the Complexity of Simultaneous Geometric Embedding for Edge-Disjoint Graphs

abstract: Simultaneous Geometric Embedding (SGE) asks whether, for a given collection of graphs on the same vertex set V, there is an embedding of V in the plane that admits a crossing-free drawing with straightline edges for each of the given graphs. It is known that SGE is $\exists\mathbb{R}$-complete, that is, the problem is polynomially equivalent to deciding whether a system of polynomial equations and inequalities with integer coefficients has a real solution. We prove that SGE remains $\exists\mathbb{R}$-complete for edge-disjoint input graphs, that is, for collections of graphs without so-called public edges. As an intermediate result, we prove that it is $\exists\mathbb{R}$-complete to decide whether a directional walk without repeating edges is realizable. Here, a directional walk consists of a sequence of not-necessarily distinct vertices (a walk) and a function prescribing for each inner position whether the walk shall turn left or shall turn right. A directional walk is realizable, if there is an embedding of its vertices in the plane such that the embedded walk turns according to the given directions. Previously it was known that realization is $\exists\mathbb{R}$-complete to decide for directional walks repeating each edge at most 336 times. This answers two questions posed by Schaefer ["On the Complexity of Some Geometric Problems With Fixed Parameters", JGAA 2021].


title: Phase Trombone Design in the Beam Transfer line for the Project PIP-II at Fermilab

abstract: PIP-II beam transfer line (BTL) to transport the beam from PIP-II Linac to the Booster ring at Fermilab. One crucial aspect of the BTL design involved the implementation of collimators. These collimators play a vital role in removing large amplitude particles from the beamline that might otherwise miss the horizontal and vertical edge of the foil at the point of the Booster injection. To ensure the effectiveness of these collimators, simulation was conducted to determine their optical placement within the BTL. The simulation revealed that the precise control of accumulated phase advances between the collimators and the foil was crucial. To achieve this control, a phase trombone is needed within the BTL. The phase trombone serves as an adjustment mechanism, allowing for the fine-tuning of the phase advance between the collimators and the foil, thus optimizing the performance of the collimation process. This paper discusses and presents the details of the design and implementation of the phase trombone within the PIP-II BTL.


title: DRAM-Locker: A General-Purpose DRAM Protection Mechanism against Adversarial DNN Weight Attacks

abstract: In this work, we propose DRAM-Locker as a robust general-purpose defense mechanism that can protect DRAM against various adversarial Deep Neural Network (DNN) weight attacks affecting data or page tables. DRAM-Locker harnesses the capabilities of in-DRAM swapping combined with a lock-table to prevent attackers from singling out specific DRAM rows to safeguard DNN's weight parameters. Our results indicate that DRAM-Locker can deliver a high level of protection downgrading the performance of targeted weight attacks to a random attack level. Furthermore, the proposed defense mechanism demonstrates no reduction in accuracy when applied to CIFAR-10 and CIFAR-100. Importantly, DRAM-Locker does not necessitate any software retraining or result in extra hardware burden.


title: Design Space Exploration of Low-Bit Quantized Neural Networks for Visual Place Recognition

abstract: Visual Place Recognition (VPR) is a critical task for performing global re-localization in visual perception systems. It requires the ability to accurately recognize a previously visited location under variations such as illumination, occlusion, appearance and viewpoint. In the case of robotic systems and augmented reality, the target devices for deployment are battery powered edge devices. Therefore whilst the accuracy of VPR methods is important so too is memory consumption and latency. Recently new works have focused on the recall@1 metric as a performance measure with limited focus on resource utilization. This has resulted in methods that use deep learning models too large to deploy on low powered edge devices. We hypothesize that these large models are highly over-parameterized and can be optimized to satisfy the constraints of a low powered embedded system whilst maintaining high recall performance. Our work studies the impact of compact convolutional network architecture design in combination with full-precision and mixed-precision post-training quantization on VPR performance. Importantly we not only measure performance via the recall@1 score but also measure memory consumption and latency. We characterize the design implications on memory, latency and recall scores and provide a number of design recommendations for VPR systems under these resource limitations.


title: Some points of view on Grothendieck's inequalities

abstract: Haagerup's proof of the non commutative little Grothendieck inequality raises some questions on the commutative little inequality, and it offers a new result on scalar matrices with non negative entries. The theory of completely bounded maps implies that the commutative Grothendieck inequality follows from the little commutative inequality, and that this passage may be given a geometric form as a relation between a pair of compact convex sets of positive matrices, which, in turn, characterizes the little constant in the complex case.

categories: math.FA cs.IT math-ph math.IT math.MP math.OA


title: Dual Branch Network Towards Accurate Printed Mathematical Expression Recognition

abstract: Over the past years, Printed Mathematical Expression Recognition (PMER) has progressed rapidly. However, due to the insufficient context information captured by Convolutional Neural Networks, some mathematical symbols might be incorrectly recognized or missed. To tackle this problem, in this paper, a Dual Branch transformer-based Network (DBN) is proposed to learn both local and global context information for accurate PMER. In our DBN, local and global features are extracted simultaneously, and a Context Coupling Module (CCM) is developed to complement the features between the global and local contexts. CCM adopts an interactive manner so that the coupled context clues are highly correlated to each expression symbol. Additionally, we design a Dynamic Soft Target (DST) strategy to utilize the similarities among symbol categories for reasonable label generation. Our experimental results have demonstrated that DBN can accurately recognize mathematical expressions and has achieved state-of-the-art performance.


title: iComMa: Inverting 3D Gaussian Splatting for Camera Pose Estimation via Comparing and Matching

abstract: We present a method named iComMa to address the 6D camera pose estimation problem in computer vision. Conventional pose estimation methods typically rely on the target's CAD model or necessitate specific network training tailored to particular object classes. Some existing methods have achieved promising results in mesh-free object and scene pose estimation by inverting the Neural Radiance Fields (NeRF). However, they still struggle with adverse initializations such as large rotations and translations. To address this issue, we propose an efficient method for accurate camera pose estimation by inverting 3D Gaussian Splatting (3DGS). Specifically, a gradient-based differentiable framework optimizes camera pose by minimizing the residual between the query image and the rendered image, requiring no training. An end-to-end matching module is designed to enhance the model's robustness against adverse initializations, while minimizing pixel-level comparing loss aids in precise pose estimation. Experimental results on synthetic and complex real-world data demonstrate the effectiveness of the proposed approach in challenging conditions and the accuracy of camera pose estimation.


title: Effects of Symmetry in a Diffusive Energy Balance Model

abstract: In this paper, we solve a North-type Energy Balance Model (EBM) using an analytical method, the Boundary Integral Method. This approach is discussed in light of existing analytical techniques for this type of equation. We use the method to demonstrate that the placement of a zonally symmetric continent, with an altered ice-albedo feedback dynamic, introduces new equilibrium states. A finite difference algorithm is implemented to solve the time-dependent equation and assess the stability of the equilibrium states, along with a numerical perturbation scheme. Bifurcation diagrams are drawn and we show that the bifurcation curve is extremely sensitive to the placement of a continent. The continent is initially configured with meridional symmetry, and we investigate how the system dynamics respond to a gradual reduction of the system's symmetry properties. We find that meridional symmetry increases the number of fold bifurcations and equilibria. Additionally, we discuss how the emerging bifurcation structures may provide insights into the complex dynamics involved as one ascends the climate model hierarchy.


title: Using Surprise Index for Competency Assessment in Autonomous Decision-Making

abstract: This paper considers the problem of evaluating an autonomous system's competency in performing a task, particularly when working in dynamic and uncertain environments. The inherent opacity of machine learning models, from the perspective of the user, often described as a `black box', poses a challenge. To overcome this, we propose using a measure called the Surprise index, which leverages available measurement data to quantify whether the dynamic system performs as expected. We show that the surprise index can be computed in closed form for dynamic systems when observed evidence in a probabilistic model if the joint distribution for that evidence follows a multivariate Gaussian marginal distribution. We then apply it to a nonlinear spacecraft maneuver problem, where actions are chosen by a reinforcement learning agent and show it can indicate how well the trajectory follows the required orbit.


title: Fusion of Audio and Visual Embeddings for Sound Event Localization and Detection

abstract: Sound event localization and detection (SELD) combines two subtasks: sound event detection (SED) and direction of arrival (DOA) estimation. SELD is usually tackled as an audio-only problem, but visual information has been recently included. Few audio-visual (AV)-SELD works have been published and most employ vision via face/object bounding boxes, or human pose keypoints. In contrast, we explore the integration of audio and visual feature embeddings extracted with pre-trained deep networks. For the visual modality, we tested ResNet50 and Inflated 3D ConvNet (I3D). Our comparison of AV fusion methods includes the AV-Conformer and Cross-Modal Attentive Fusion (CMAF) model. Our best models outperform the DCASE 2023 Task3 audio-only and AV baselines by a wide margin on the development set of the STARSS23 dataset, making them competitive amongst state-of-the-art results of the AV challenge, without model ensembling, heavy data augmentation, or prediction post-processing. Such techniques and further pre-training could be applied as next steps to improve performance.


title: On the existence and partial stability of standing waves for a nematic liquid crystal director field equation

abstract: In this paper, following the studies of Amorim and al. in Partial Differ.Equ. Appl. '23, we consider some new aspects of the motion of the director field of a nematic liquid crystal submitted to a magnetic field and to a laser beam. In particular, we study the existence and partial orbital stability of special standing waves, in the spirit of Cazenave and Lions and Hadj Selem and al. in Milan J. Math. '14 and we present some numerical simulations.


title: Quantum improvement in Spatial Discretization

abstract: Quantum algorithms have begun to surpass classical ones in several computation fields, yet practical application remains challenging due to hardware and software limitations. Here, we introduce a quantum algorithm that quadratically improves spatial discretization within these constraints. Implemented in the quantum software library Pennylane, our algorithm bridges the gap from theoretical models to tangible quantum circuitry. The approach promises enhanced efficiency in quantum spatial analysis, with simulations and hardware experiments validating its potential.


title: Impact of Ground Truth Quality on Handwriting Recognition

abstract: Handwriting recognition is a key technology for accessing the content of old manuscripts, helping to preserve cultural heritage. Deep learning shows an impressive performance in solving this task. However, to achieve its full potential, it requires a large amount of labeled data, which is difficult to obtain for ancient languages and scripts. Often, a trade-off has to be made between ground truth quantity and quality, as is the case for the recently introduced Bullinger database. It contains an impressive amount of over a hundred thousand labeled text line images of mostly premodern German and Latin texts that were obtained by automatically aligning existing page-level transcriptions with text line images. However, the alignment process introduces systematic errors, such as wrongly hyphenated words. In this paper, we investigate the impact of such errors on training and evaluation and suggest means to detect and correct typical alignment errors.


title: Object Recognition from Scientific Document based on Compartment Refinement Framework

abstract: With the rapid development of the internet in the past decade, it has become increasingly important to extract valuable information from vast resources efficiently, which is crucial for establishing a comprehensive digital ecosystem, particularly in the context of research surveys and comprehension. The foundation of these tasks focuses on accurate extraction and deep mining of data from scientific documents, which are essential for building a robust data infrastructure. However, parsing raw data or extracting data from complex scientific documents have been ongoing challenges. Current data extraction methods for scientific documents typically use rule-based (RB) or machine learning (ML) approaches. However, using rule-based methods can incur high coding costs for articles with intricate typesetting. Conversely, relying solely on machine learning methods necessitates annotation work for complex content types within the scientific document, which can be costly. Additionally, few studies have thoroughly defined and explored the hierarchical layout within scientific documents. The lack of a comprehensive definition of the internal structure and elements of the documents indirectly impacts the accuracy of text classification and object recognition tasks. From the perspective of analyzing the standard layout and typesetting used in the specified publication, we propose a new document layout analysis framework called CTBR(Compartment & Text Blocks Refinement). Firstly, we define scientific documents into hierarchical divisions: base domain, compartment, and text blocks. Next, we conduct an in-depth exploration and classification of the meanings of text blocks. Finally, we utilize the results of text block classification to implement object recognition within scientific documents based on rule-based compartment segmentation.


title: TAP4LLM: Table Provider on Sampling, Augmenting, and Packing Semi-structured Data for Large Language Model Reasoning

abstract: Table-based reasoning has shown remarkable progress in combining deep models with discrete reasoning, which requires reasoning over both free-form natural language (NL) questions and semi-structured tabular data. However, previous table reasoning solutions only consider small-sized tables and exhibit limitations in handling larger tables. In addition, most existing methods struggle to reason over complex questions since they lack essential information or they are scattered in different places. To alleviate these challenges, we propose TAP4LLM as a versatile pre-processing toolbox to generate table prompts through (1) table sampling, (2) table augmentation, and (3) table packing while balancing the token allocation trade-off. In each module, we collect and design several common methods for usage in various scenarios (e.g., speed over accuracy). We also provide a comprehensive evaluation on performance of each components inside TAP4LLM and show that our method improves LLMs' reasoning capabilities in various tabular tasks and enhances the interaction between LLMs and tabular data by employing effective pre-processing.


title: STaR: Distilling Speech Temporal Relation for Lightweight Speech Self-Supervised Learning Models

abstract: Albeit great performance of Transformer-based speech selfsupervised learning (SSL) models, their large parameter size and computational cost make them unfavorable to utilize. In this study, we propose to compress the speech SSL models by distilling speech temporal relation (STaR). Unlike previous works that directly match the representation for each speech frame, STaR distillation transfers temporal relation between speech frames, which is more suitable for lightweight student with limited capacity. We explore three STaR distillation objectives and select the best combination as the final STaR loss. Our model distilled from HuBERT BASE achieves an overall score of 79.8 on SUPERB benchmark, the best performance among models with up to 27 million parameters. We show that our method is applicable across different speech SSL models and maintains robust performance with further reduced parameters.


title: Graph Neural Networks with Diverse Spectral Filtering

abstract: Spectral Graph Neural Networks (GNNs) have achieved tremendous success in graph machine learning, with polynomial filters applied for graph convolutions, where all nodes share the identical filter weights to mine their local contexts. Despite the success, existing spectral GNNs usually fail to deal with complex networks (e.g., WWW) due to such homogeneous spectral filtering setting that ignores the regional heterogeneity as typically seen in real-world networks. To tackle this issue, we propose a novel diverse spectral filtering (DSF) framework, which automatically learns node-specific filter weights to exploit the varying local structure properly. Particularly, the diverse filter weights consist of two components -- A global one shared among all nodes, and a local one that varies along network edges to reflect node difference arising from distinct graph parts -- to balance between local and global information. As such, not only can the global graph characteristics be captured, but also the diverse local patterns can be mined with awareness of different node positions. Interestingly, we formulate a novel optimization problem to assist in learning diverse filters, which also enables us to enhance any spectral GNNs with our DSF framework. We showcase the proposed framework on three state-of-the-arts including GPR-GNN, BernNet, and JacobiConv. Extensive experiments over 10 benchmark datasets demonstrate that our framework can consistently boost model performance by up to 4.92% in node classification tasks, producing diverse filters with enhanced interpretability. Code is available at \url{https://github.com/jingweio/DSF}.


title: Cosmological gravitational particle production and its implications for cosmological relics

abstract: Cosmological gravitational particle production (CGPP) is the creation of particles in an expanding universe due solely to their gravitational interaction. These particles can play an important role in the cosmic history through their connection to various cosmological relics including dark matter, gravitational wave radiation, dark radiation, and the baryon asymmetry. This review explains the phenomenon of CGPP as a consequence of quantum fields in a time-dependent background, catalogs known results for the spectra and cosmological abundance of gravitationally produced particles of various spins, and explores the phenomenological consequences and observational signatures of CGPP.


title: Topic Bias in Emotion Classification

abstract: Emotion corpora are typically sampled based on keyword/hashtag search or by asking study participants to generate textual instances. In any case, these corpora are not uniform samples representing the entirety of a domain. We hypothesize that this practice of data acquisition leads to unrealistic correlations between overrepresented topics in these corpora that harm the generalizability of models. Such topic bias could lead to wrong predictions for instances like "I organized the service for my aunt's funeral." when funeral events are over-represented for instances labeled with sadness, despite the emotion of pride being more appropriate here. In this paper, we study this topic bias both from the data and the modeling perspective. We first label a set of emotion corpora automatically via topic modeling and show that emotions in fact correlate with specific topics. Further, we see that emotion classifiers are confounded by such topics. Finally, we show that the established debiasing method of adversarial correction via gradient reversal mitigates the issue. Our work points out issues with existing emotion corpora and that more representative resources are required for fair evaluation of models predicting affective concepts from text.


title: Past and Present Dynamics of the Iron Biogeochemical Cycle

abstract: This chapter investigates the complexities surrounding the iron biogeochemical cycle from the Archean to present, with a focus on assessing the balance between iron sources and sinks during long periods of Earth's history with relatively invariable redox conditions, when steady state can be safely assumed. Currently, the residence time of iron in the ocean may be as short as approximately 5 years. The input flux of iron is highly sensitive to redox cycling in sediments, while its removal primarily occurs through dispersed processes of oxidation and precipitation. In the Archean, we find a significant imbalance between continental and hydrothermal inputs, which collectively contribute between 61,500 to 263,000 Gg/yr of dissolved iron to the oceans, and the most obvious sinks such as iron formations (IFs), which sequester up to ~43,000 Gg/yr of iron. A possible solution to this imbalance involves the dispersed abiotic precipitation and removal of iron as silicates, sulfides, and carbonates in marine basins. Additionally, we calculate the residence time of dissolved iron in the Archean oceans to be between 6 kyr and 3 Myr, which is significantly longer than the ocean mixing timescale. Our estimates indicate that under the anoxic Archean atmosphere, the iron cycle was more protracted than today, and the isotopic compositions and concentrations of dissolved iron were likely more uniform. Distinct water bodies were likely confined to limited areas or specific, dynamic systems with intense iron turnover, such as regions where deep-sea upwelling currents brought hydrothermal iron to photic zones rich in biotic or abiotic oxidants.


title: High-energy behavior of scattering amplitudes in theories with purely virtual particles

abstract: We study a class of renormalizable quantum field theories with purely virtual particles that exhibits nonrenormalizable behavior in the high-energy limit of scattering cross sections, which grow as powers of the center-of-mass energy squared and seems to violate unitarity bounds. We point out that the problem should be viewed as a violation of perturbativity, instead of unitarity, and show that the resummation of self energies fixes the issue. As an explicit example, we consider a class of $O(N)$ theories at the leading order in the large-$N$ expansion and show that the different quantization prescription of purely virtual particles takes care of the nonrenormalizable behavior, making the resummed cross sections to decrease at high energies and the amplitudes to satisfy the unitarity bounds. We compare the results to the case of theories with ghosts, where the resummation cannot change the behavior of cross sections due to certain cancellations in the high-energy expansion of the self energies. These results are particularly relevant for quantum gravity.


title: High-contrast random systems of PDEs: homogenisation and spectral theory

abstract: We develop a qualitative homogenisation and spectral theory for elliptic systems of partial differential equations in divergence form with highly contrasting (i.e., non uniformly elliptic) random coefficients. The focus of the paper is on the behaviour of the spectrum as the heterogeneity parameter tends to zero; in particular, we show that in general one doesn't have Hausdorff convergence of spectra. The theoretical analysis is complemented by several explicit examples, showcasing the wider range of applications and physical effects of systems with random coefficients, when compared with systems with periodic coefficients or with scalar operators (both random and periodic).


title: Dynamical Vacuum Compressibility of Space

abstract: This paper continues the investigation initiated in arXiv:2204.08634 into the quantum thermodynamic properties of space by deriving the vacuum compressibility of a variety of dynamical spacetimes containing massive and massless conformally coupled quantum fields. The quantum processes studied here include particle creation, Casimir effect, and the trace anomaly. The spaces include $S^2, S^3$, and $T^3$ with prescribed time evolution and $S^1$, where the temporal developments are backreaction determined. Vacuum compressibility belongs to the same group of quantum thermodynamic / mechanical response functions as vacuum viscosity, a concept first proposed in 1970 by Zel'dovich for capturing the effects of vacuum particle production on the dynamics of the early universe, made precise by rigorous work of many authors in the following decade using quantum field theory in curved spacetime methodologies and semiclassical gravity theory for treating backreaction effects. Various subtleties in understanding the behavior of the vacuum energies of quantum field origins, negative pressures and novel complicated features of dynamical compressibility are discussed.

categories: gr-qc cond-mat.stat-mech hep-th quant-ph


title: On The Expressivity of Recurrent Neural Cascades

abstract: Recurrent Neural Cascades (RNCs) are the recurrent neural networks with no cyclic dependencies among recurrent neurons. This class of recurrent networks has received a lot of attention in practice. Besides training methods for a fixed architecture such as backpropagation, the cascade architecture naturally allows for constructive learning methods, where recurrent nodes are added incrementally one at a time, often yielding smaller networks. Furthermore, acyclicity amounts to a structural prior that even for the same number of neurons yields a more favourable sample complexity compared to a fully-connected architecture. A central question is whether the advantages of the cascade architecture come at the cost of a reduced expressivity. We provide new insights into this question. We show that the regular languages captured by RNCs with sign and tanh activation with positive recurrent weights are the star-free regular languages. In order to establish our results we developed a novel framework where capabilities of RNCs are accessed by analysing which semigroups and groups a single neuron is able to implement. A notable implication of our framework is that RNCs can achieve the expressivity of all regular languages by introducing neurons that can implement groups.


title: Adiabatic Hydrodynamization: a Natural Framework to Find and Describe Prehydrodynamic Attractors

abstract: The adiabatic hydrodynamization framework is a promising framework within which to describe and characterize pre-hydrodynamic attractors in a model-independent fashion. Using this framework, we define a procedure to identify a time-dependent change in coordinates which reveals a dynamical reduction in the number of active degrees of freedom. Applying this procedure to the kinetic theory of a Bjorken-expanding gas of gluons in the small angle elastic scattering limit, we are able to intuitively explain the self-similar evolution of the gluon distribution function long before the applicability of hydrodynamics, as well as the loss of memory of its initial condition.


title: A Sparse Cross Attention-based Graph Convolution Network with Auxiliary Information Awareness for Traffic Flow Prediction

abstract: Deep graph convolution networks (GCNs) have recently shown excellent performance in traffic prediction tasks. However, they face some challenges. First, few existing models consider the influence of auxiliary information, i.e., weather and holidays, which may result in a poor grasp of spatial-temporal dynamics of traffic data. Second, both the construction of a dynamic adjacent matrix and regular graph convolution operations have quadratic computation complexity, which restricts the scalability of GCN-based models. To address such challenges, this work proposes a deep encoder-decoder model entitled AIMSAN. It contains an auxiliary information-aware module (AIM) and sparse cross attention-based graph convolution network (SAN). The former learns multi-attribute auxiliary information and obtains its embedded presentation of different time-window sizes. The latter uses a cross-attention mechanism to construct dynamic adjacent matrices by fusing traffic data and embedded auxiliary data. Then, SAN applies diffusion GCN on traffic data to mine rich spatial-temporal dynamics. Furthermore, AIMSAN considers and uses the spatial sparseness of traffic nodes to reduce the quadratic computation complexity. Experimental results on three public traffic datasets demonstrate that the proposed method outperforms other counterparts in terms of various performance indices. Specifically, the proposed method has competitive performance with the state-of-the-art algorithms but saves 35.74% of GPU memory usage, 42.25% of training time, and 45.51% of validation time on average.


title: Domain nucleation across the metal-insulator transition of self-strained V2O3 films

abstract: Bulk V2O3 features concomitant metal-insulator (MIT) and structural (SPT) phase transitions at TC ~ 160 K. In thin films, where the substrate clamping can impose geometrical restrictions on the SPT, the epitaxial relation between the V2O3 film and substrate can have a profound effect on the MIT. Here we present a detailed characterization of domain nucleation and growth across the MIT in (001)-oriented V2O3 films grown on sapphire. By combining scanning electron transmission microscopy (STEM) and photoelectron emission microscopy (PEEM), we imaged the MIT with planar and vertical resolution. We observed that upon cooling, insulating domains nucleate at the top of the film, where strain is lowest, and expand downwards and laterally. This growth is arrested at a critical thickness of 50 nm from the substrate interface, leaving a persistent bottom metallic layer. As a result, the MIT cannot take place in the interior of films below this critical thickness. However, PEEM measurements revealed that insulating domains can still form on a very thin superficial layer at the top interface. Our results demonstrate the intricate spatial complexity of the MIT in clamped V2O3, especially the strain-induced large variations along the c-axis. Engineering the thickness-dependent MIT can provide an unconventional way to build out-of-plane geometry devices by using the persistent bottom metal layer as a native electrode.


title: Applying Pre-Trained Deep-Learning Model on Wrist Angel Data -- An Analysis Plan

abstract: We aim to investigate if we can improve predictions of stress caused by OCD symptoms using pre-trained models, and present our statistical analysis plan in this paper. With the methods presented in this plan, we aim to avoid bias from data knowledge and thereby strengthen our hypotheses and findings. The Wrist Angel study, which this statistical analysis plan concerns, contains data from nine participants, between 8 and 17 years old, diagnosed with obsessive-compulsive disorder (OCD). The data was obtained by an Empatica E4 wristband, which the participants wore during waking hours for 8 weeks. The purpose of the study is to assess the feasibility of predicting the in-the-wild OCD events captured during this period. In our analysis, we aim to investigate if we can improve predictions of stress caused by OCD symptoms, and to do this we have created a pre-trained model, trained on four open-source data for stress prediction. We intend to apply this pre-trained model to the Wrist Angel data by fine-tuning, thereby utilizing transfer learning. The pre-trained model is a convolutional neural network that uses blood volume pulse, heart rate, electrodermal activity, and skin temperature as time series windows to predict OCD events. Furthermore, using accelerometer data, another model filters physical activity to further improve performance, given that physical activity is physiologically similar to stress. By evaluating various ways of applying our model (fine-tuned, non-fine-tuned, pre-trained, non-pre-trained, and with or without activity classification), we contextualize the problem such that it can be assessed if transfer learning is a viable strategy in this domain.


title: A Survey on Green Computing in Video Games: The Dawn of Green Video Games

abstract: Today, the large number of players and the high computational requirements of video games have motivated research on Green Video Games. We present a survey that provides an overview of this recent research area. A total of 2,637 papers were reviewed, selecting 69 papers as primary studies for further analysis. Through a detailed analysis of the results, we propose a new way to define the Green Video Game issues based on motivation, device, and layer of the primary studies. Then, we analyze the different applied techniques, the limitations and levels of evidence, and specific aspects of video games.


title: Eduction of acoustics-related coherent structures from Schlieren images of supersonic twin jets by coupling Doak's decomposition and SPOD

abstract: This work proposes a methodology to improve the extraction of coherent structures associated with the generation of acoustic fluctuations in turbulent jets from high-speed Schlieren images. This methodology employs the momentum potential theory of Doak to compute potential (acoustic and thermal) energy fluctuations from the Schlieren images by solving a Poisson equation, in the manner introduced by Prasad and Gaitonde. The calculation of momentum potential fluctuations is then combined with the spectral proper orthogonal decomposition (SPOD) technique: the cross-spectral density is defined based on the momentum potential field, instead of the Schlieren images. While the latter are dominated by a broad range of vortical fluctuations in the turbulent mixing region of unheated high-speed jets, the momentum potential field is governed by acoustic fluctuations and its spatial structure in the frequency domain is remarkably coherent. This approach is applied here to Schlieren visualizations of a twin-jet configuration with a small jet separation and two supersonic operation conditions: a perfectly-expanded and a overexpanded one. The SPOD modes based on momentum potential fluctuations retain the wavepacket structure including the direct Mach-wave radiation together with upstream- and downstream-traveling acoustic waves, similar to SPOD modes based on the Schlieren images. However, they result in a remarkably lower-rank decomposition than Schlieren-based SPOD and, as opposed to the latter, provide an effective separation of twin-jet fluctuations into independent toroidal and flapping oscillations that are recovered as different SPOD modes.


title: Exploration of magnetoelastic deformations in spin-chain compound CuBr$_2$

abstract: We investigate a spin-$\frac{1}{2}$ antiferromagnet, CuBr$_2$, which has quasi-one-dimensional structural motifs. The system has previously been observed to exhibit unusual Raman modes possibly due to a locally deformed crystal structure driven by the low-dimensional magnetism. Using hard X-ray scattering and neutron total scattering, here we aim to verify a specific form of tetramerized lattice deformation proposed in the previous study. Apart from diffuse scattering signals which we can reproduce by performing a thorough modeling of the lattice's thermal vibrations, we do not observe evidence for a tetramerized lattice structure within our detection sensitivity. As a result, it is more likely that the unusual Raman modes in CuBr$_2$ arise from classical magnon-phonon hybridization, rather than from quantum spin-singlet-driven lattice deformation.


title: ReCoRe: Regularized Contrastive Representation Learning of World Model

abstract: While recent model-free Reinforcement Learning (RL) methods have demonstrated human-level effectiveness in gaming environments, their success in everyday tasks like visual navigation has been limited, particularly under significant appearance variations. This limitation arises from (i) poor sample efficiency and (ii) over-fitting to training scenarios. To address these challenges, we present a world model that learns invariant features using (i) contrastive unsupervised learning and (ii) an intervention-invariant regularizer. Learning an explicit representation of the world dynamics i.e. a world model, improves sample efficiency while contrastive learning implicitly enforces learning of invariant features, which improves generalization. However, the na\"ive integration of contrastive loss to world models is not good enough, as world-model-based RL methods independently optimize representation learning and agent policy. To overcome this issue, we propose an intervention-invariant regularizer in the form of an auxiliary task such as depth prediction, image denoising, image segmentation, etc., that explicitly enforces invariance to style interventions. Our method outperforms current state-of-the-art model-based and model-free RL methods and significantly improves on out-of-distribution point navigation tasks evaluated on the iGibson benchmark. With only visual observations, we further demonstrate that our approach outperforms recent language-guided foundation models for point navigation, which is essential for deployment on robots with limited computation capabilities. Finally, we demonstrate that our proposed model excels at the sim-to-real transfer of its perception module on the Gibson benchmark.


title: On the Difficulty of Defending Contrastive Learning against Backdoor Attacks

abstract: Recent studies have shown that contrastive learning, like supervised learning, is highly vulnerable to backdoor attacks wherein malicious functions are injected into target models, only to be activated by specific triggers. However, thus far it remains under-explored how contrastive backdoor attacks fundamentally differ from their supervised counterparts, which impedes the development of effective defenses against the emerging threat. This work represents a solid step toward answering this critical question. Specifically, we define TRL, a unified framework that encompasses both supervised and contrastive backdoor attacks. Through the lens of TRL, we uncover that the two types of attacks operate through distinctive mechanisms: in supervised attacks, the learning of benign and backdoor tasks tends to occur independently, while in contrastive attacks, the two tasks are deeply intertwined both in their representations and throughout their learning processes. This distinction leads to the disparate learning dynamics and feature distributions of supervised and contrastive attacks. More importantly, we reveal that the specificities of contrastive backdoor attacks entail important implications from a defense perspective: existing defenses for supervised attacks are often inadequate and not easily retrofitted to contrastive attacks. We also explore several alternative defenses and discuss their potential challenges. Our findings highlight the need for defenses tailored to the specificities of contrastive backdoor attacks, pointing to promising directions for future research.


title: Learning Coalition Structures with Games

abstract: Coalitions naturally exist in many real-world systems involving multiple decision makers such as ridesharing, security, and online ad auctions, but the coalition structure among the agents is often unknown. We propose and study an important yet previously overseen problem -- Coalition Structure Learning (CSL), where we aim to carefully design a series of games for the agents and infer the underlying coalition structure by observing their interactions in those games. We establish a lower bound on the sample complexity -- defined as the number of games needed to learn the structure -- of any algorithms for CSL and propose the Iterative Grouping (IG) algorithm for designing normal-form games to achieve the lower bound. We show that IG can be extended to other succinct games such as congestion games and graphical games. Moreover, we solve CSL in a more restrictive and practical setting: auctions. We show a variant of IG to solve CSL in the auction setting even if we cannot design the bidder valuations. Finally, we conduct experiments to evaluate IG in the auction setting and the results align with our theoretical analysis.


title: Auto-Prox: Training-Free Vision Transformer Architecture Search via Automatic Proxy Discovery

abstract: The substantial success of Vision Transformer (ViT) in computer vision tasks is largely attributed to the architecture design. This underscores the necessity of efficient architecture search for designing better ViTs automatically. As training-based architecture search methods are computationally intensive, there is a growing interest in training-free methods that use zero-cost proxies to score ViTs. However, existing training-free approaches require expert knowledge to manually design specific zero-cost proxies. Moreover, these zero-cost proxies exhibit limitations to generalize across diverse domains. In this paper, we introduce Auto-Prox, an automatic proxy discovery framework, to address the problem. First, we build the ViT-Bench-101, which involves different ViT candidates and their actual performance on multiple datasets. Utilizing ViT-Bench-101, we can evaluate zero-cost proxies based on their score-accuracy correlation. Then, we represent zero-cost proxies with computation graphs and organize the zero-cost proxy search space with ViT statistics and primitive operations. To discover generic zero-cost proxies, we propose a joint correlation metric to evolve and mutate different zero-cost proxy candidates. We introduce an elitism-preserve strategy for search efficiency to achieve a better trade-off between exploitation and exploration. Based on the discovered zero-cost proxy, we conduct a ViT architecture search in a training-free manner. Extensive experiments demonstrate that our method generalizes well to different datasets and achieves state-of-the-art results both in ranking correlation and final accuracy. Codes can be found at https://github.com/lilujunai/Auto-Prox-AAAI24.


title: Crystal Structure Generation Based on Polyhedra using Dual Periodic Graphs

abstract: Crystal structure design is important for the discovery of new highly functional materials because crystal structure strongly influences material properties. Crystal structures are composed of space-filling polyhedra, which affect material properties such as ionic conductivity and dielectric constant. However, most conventional methods of crystal structure prediction use random structure generation methods that do not take space-filling polyhedra into account, contributing to the inefficiency of materials development. In this work, we propose a crystal structure generation method based on discrete geometric analysis of polyhedra information. In our method, the shape and connectivity of a space-filling polyhedron are represented as a dual periodic graph, and the crystal structure is generated by the standard realization of this graph. We demonstrate that this method can correctly generate face-centered cubic, hexagonal close-packed, and body-centered cubic structures from dual periodic graphs. This work is a first step toward generating undiscovered crystal structures based on the target polyhedra, leading to major advances in materials design in areas including electronics and energy storage.


title: Fair Clustering: A Causal Perspective

abstract: Clustering algorithms may unintentionally propagate or intensify existing disparities, leading to unfair representations or biased decision-making. Current fair clustering methods rely on notions of fairness that do not capture any information on the underlying causal mechanisms. We show that optimising for non-causal fairness notions can paradoxically induce direct discriminatory effects from a causal standpoint. We present a clustering approach that incorporates causal fairness metrics to provide a more nuanced approach to fairness in unsupervised learning. Our approach enables the specification of the causal fairness metrics that should be minimised. We demonstrate the efficacy of our methodology using datasets known to harbour unfair biases.


title: W4$\Lambda$: leveraging $\Lambda$ coupled cluster for accurate computational thermochemistry approaches

abstract: High-accuracy composite wavefunction methods like Weizmann-4 (W4) theory, high-accuracy extrapolated \textit{ab initio} thermochemistry (HEAT), and Feller-Peterson-Dixon (FPD) enable sub-kJ/mol accuracy in gas-phase thermochemical properties. Their biggest computational bottleneck is the evaluation of the valence post-CCSD(T) correction term. We demonstrate here, for the W4-17 thermochemistry benchmark and subsets thereof, that the lambda coupled cluster expansion converges more rapidly and smoothly than the regular coupled cluster series. By means of CCSDT(Q)$_\Lambda$ and CCSDTQ(5)$_\Lambda$, we can considerably (up to an order of magnitude) accelerate W4- and W4.3-type calculations without loss in accuracy, leading to the W4$\Lambda$ and W4.3$\Lambda$ computational thermochemistry protocols.


title: Image Demoireing in RAW and sRGB Domains

abstract: Moire patterns frequently appear when capturing screens with smartphones or cameras, potentially compromising image quality. Previous studies suggest that moire pattern elimination in the RAW domain offers greater effectiveness compared to demoireing in the sRGB domain. Nevertheless, relying solely on RAW data for image demoireing is insufficient in mitigating the color cast due to the absence of essential information required for the color correction by the image signal processor (ISP). In this paper, we propose to jointly utilize both RAW and sRGB data for image demoireing (RRID), which are readily accessible in modern smartphones and DSLR cameras. We develop Skip-Connection-based Demoireing Module (SCDM) with Gated Feedback Module (GFM) and Frequency Selection Module (FSM) embedded in skip-connections for the efficient and effective demoireing of RAW and sRGB features, respectively. Subsequently, we design a RGB Guided ISP (RGISP) to learn a device-dependent ISP, assisting the process of color recovery. Extensive experiments demonstrate that our RRID outperforms state-of-the-art approaches, in terms of the performance in moire pattern removal and color cast correction by 0.62dB in PSNR and 0.003 in SSIM.


title: Parallel Inexact Levenberg-Marquardt Method for Nearly-Separable Nonlinear Least Squares

abstract: Motivated by localization problems such as cadastral maps refinements, we consider a generic Nonlinear Least Squares (NLS) problem of minimizing an aggregate squared fit across all nonlinear equations (measurements) with respect to the set of unknowns, e.g., coordinates of the unknown points' locations. In a number of scenarios, NLS problems exhibit a nearly-separable structure: the set of measurements can be partitioned into disjoint groups (blocks), such that the unknowns that correspond to different blocks are only loosely coupled. We propose an efficient parallel method, termed Parallel Inexact Levenberg Marquardt (PILM), to solve such generic large scale NLS problems. PILM builds upon the classical Levenberg-Marquard (LM) method, with a main novelty in that the nearly-block separable structure is leveraged in order to obtain a scalable parallel method. Therein, the problem-wide system of linear equations that needs to be solved at every LM iteration is tackled iteratively. At each (inner) iteration, the block-wise systems of linear equations are solved in parallel, while the problem-wide system is then handled via sparse, inexpensive inter-block communication. We establish strong convergence guarantees of PILM that are analogous to those of the classical LM; provide PILM implementation in a master-worker parallel compute environment; and demonstrate its efficiency on huge scale cadastral map refinement problems.


title: Precision Determination of Baryon Masses including Isospin-breaking

abstract: We give an update on an ongoing project in which we calculate the masses of octet and decuplet baryons including isospin-breaking effects. To this end, we employ single- and two-state-fits to effective masses up to leading order in the expansion in isospin-breaking parameters. In order to remove subjective bias on asymptotic masses we furthermore compute an AIC-based model-average of our fits, for which we show results on ensembles at lattice spacings of 0.064 fm and 0.076 fm with corresponding pion masses ranging from 220 MeV to 360 MeV.


title: CMOSE: Comprehensive Multi-Modality Online Student Engagement Dataset with High-Quality Labels

abstract: Online learning is a rapidly growing industry. However, a major doubt about online learning is whether students are as engaged as they are in face-to-face classes. An engagement recognition system can notify the instructors about the students condition and improve the learning experience. Current challenges in engagement detection involve poor label quality, extreme data imbalance, and intra-class variety - the variety of behaviors at a certain engagement level. To address these problems, we present the CMOSE dataset, which contains a large number of data from different engagement levels and high-quality labels annotated according to psychological advice. We also propose a training mechanism MocoRank to handle the intra-class variety and the ordinal pattern of different degrees of engagement classes. MocoRank outperforms prior engagement detection frameworks, achieving a 1.32% increase in overall accuracy and 5.05% improvement in average accuracy. Further, we demonstrate the effectiveness of multi-modality in engagement detection by combining video features with speech and audio features. The data transferability experiments also state that the proposed CMOSE dataset provides superior label quality and behavior diversity.


title: Holodeck: Language Guided Generation of 3D Embodied AI Environments

abstract: 3D simulated environments play a critical role in Embodied AI, but their creation requires expertise and extensive manual effort, restricting their diversity and scope. To mitigate this limitation, we present Holodeck, a system that generates 3D environments to match a user-supplied prompt fully automatedly. Holodeck can generate diverse scenes, e.g., arcades, spas, and museums, adjust the designs for styles, and can capture the semantics of complex queries such as "apartment for a researcher with a cat" and "office of a professor who is a fan of Star Wars". Holodeck leverages a large language model (i.e., GPT-4) for common sense knowledge about what the scene might look like and uses a large collection of 3D assets from Objaverse to populate the scene with diverse objects. To address the challenge of positioning objects correctly, we prompt GPT-4 to generate spatial relational constraints between objects and then optimize the layout to satisfy those constraints. Our large-scale human evaluation shows that annotators prefer Holodeck over manually designed procedural baselines in residential scenes and that Holodeck can produce high-quality outputs for diverse scene types. We also demonstrate an exciting application of Holodeck in Embodied AI, training agents to navigate in novel scenes like music rooms and daycares without human-constructed data, which is a significant step forward in developing general-purpose embodied agents.


title: Global and local polarization of $\Lambda$ hyperons across RHIC-BES energies

abstract: We report our recent study on the global and local polarization of $\Lambda$ hyperons in Au+Au collisions at RHIC-BES energies within the (3+1)-dimensional CLVisc hydrodynamics framework. We present our numerical results for the global polarization as the function of collision energies and the local polarization along the beam direction as functions of azimuthal angle in $20-50$% centrality at $\sqrt{s_{NN}}$=7.7 GeV Au+Au collision energy. We have discussed the effects of initial conditions, Spin Hall effect and baryon diffusion.


title: PI3D: Efficient Text-to-3D Generation with Pseudo-Image Diffusion

abstract: Diffusion models trained on large-scale text-image datasets have demonstrated a strong capability of controllable high-quality image generation from arbitrary text prompts. However, the generation quality and generalization ability of 3D diffusion models is hindered by the scarcity of high-quality and large-scale 3D datasets. In this paper, we present PI3D, a framework that fully leverages the pre-trained text-to-image diffusion models' ability to generate high-quality 3D shapes from text prompts in minutes. The core idea is to connect the 2D and 3D domains by representing a 3D shape as a set of Pseudo RGB Images. We fine-tune an existing text-to-image diffusion model to produce such pseudo-images using a small number of text-3D pairs. Surprisingly, we find that it can already generate meaningful and consistent 3D shapes given complex text descriptions. We further take the generated shapes as the starting point for a lightweight iterative refinement using score distillation sampling to achieve high-quality generation under a low budget. PI3D generates a single 3D shape from text in only 3 minutes and the quality is validated to outperform existing 3D generative models by a large margin.


title: Photonic fusion of entangled resource states from a quantum emitter

abstract: Fusion-based photonic quantum computing architectures rely on two primitives: i) near-deterministic generation and control of constant-size entangled states and ii) probabilistic entangling measurements (photonic fusion gates) between entangled states. Here, we demonstrate these key functionalities by fusing resource states deterministically generated using a solid-state spin-photon interface. Repetitive operation of the source leads to sequential entanglement generation, whereby curiously entanglement is created between the quantum states of the same spin at two different instances in time. Such temporal multiplexing of photonic entanglement provides a resource-efficient route to scaling many-body entangled systems with photons.


title: Phenomenology and periodicity of radio emission from the stellar system AU Microscopii

abstract: Stellar radio emission can measure a star's magnetic field strength and structure, plasma density and dynamics, and the stellar wind pressure impinging on exoplanet atmospheres. However, properly interpreting the radio data often requires temporal baselines that cover the rotation of the stars, orbits of their planets and any longer-term stellar activity cycles. Here we present our monitoring campaign on the young, active M dwarf AU Microscopii with the Australia Telescope Compact Array between 1.1 and 3.1 GHz. With over 250 hours of observations, these data represent the longest radio monitoring campaign on a single main-sequence star to date. We find that AU Mic produces a wide variety of radio emission, for which we introduce a phenomenological classification scheme predicated on the polarisation fraction and time-frequency structure of the emission. The radio emission detected on AU Mic can be broadly categorised into five distinct types of bursts, and broadband quiescent emission. The radio bursts are highly circularly polarised and periodic with the rotation period of the star, implying that the emission is beamed. It is therefore most likely produced by the electron cyclotron maser instability. We present a model to show that the observed emission can be explained with auroral rings on the magnetic poles. The total intensity of the broadband emission is stochastic, but we show that its circular polarisation fraction is also periodic with the rotation of the star. We present a qualitative model to describe the periodicity in the polarisation fraction of the broadband emission using gyromagnetic emission, and infer a magnetic obliquity of at least 20 degrees from the observed variation in polarisation fraction. Finally, we show that the radio emission might be evolving on long timescales, hinting at a potential stellar magnetic activity cycle.


title: On variants of multivariate quantum signal processing and their characterizations

abstract: Quantum signal processing (QSP) is a highly successful algorithmic primitive in quantum computing which leads to conceptually simple and efficient quantum algorithms using the block-encoding framework of quantum linear algebra. Multivariate variants of quantum signal processing (MQSP) could be a valuable tool in extending earlier results via implementing multivariate (matrix) polynomials. However, MQSP remains much less understood than its single-variate version lacking a clear characterization of "achievable" multivariate polynomials. We show that Haah's characterization of general univariate QSP can be extended to homogeneous bivariate (commuting) quantum signal processing. We also show a similar result for an alternative inhomogeneous variant when the degree in one of the variables is at most 1, but construct a counterexample where both variables have degree 2, which in turn refutes an earlier characterization proposed / conjectured by Rossi and Chuang for a related restricted class of MQSP. Finally, we describe homogeneous multivariate (non-commuting) QSP variants that break away from the earlier two-dimensional treatment limited by its reliance on Jordan-like decompositions, and might ultimately lead to the development of novel quantum algorithms.


title: Optimal Motion Planning using Finite Fourier Series in a Learning-based Collision Field

abstract: This paper utilizes finite Fourier series to represent a time-continuous motion and proposes a novel planning method that adjusts the motion harmonics of each manipulator joint. Primarily, we sum the potential energy for collision detection and the kinetic energy up to calculate the Hamiltonian of the manipulator motion harmonics. Though the adaptive interior-point method is designed to modify the harmonics in its finite frequency domain, we still encounter the local minima due to the non-convexity of the collision field. In this way, we learn the collision field through a support vector machine with a Gaussian kernel, which is highly convex. The learning-based collision field is applied for Hamiltonian, and the experiment results show our method's high reliability and efficiency.


title: Anomalies of Average Symmetries: Entanglement and Open Quantum Systems

abstract: Symmetries and their anomalies are powerful tools for understanding quantum systems. However, realistic systems are often subject to disorders, dissipation and decoherence. In many circumstances, symmetries are not exact but only on average. This work investigates the constraints on mixed states resulting from non-commuting average symmetries. We will focus on the cases where the commutation relations of the average symmetry generators are violated by nontrivial phases, and call such average symmetry anomalous. We show that anomalous average symmetry implies degeneracy in the density matrix eigenvalues, and present several lattice examples with average symmetries, including XY chain, Heisenberg chain, and deformed toric code models. In certain cases, the results can be further extended to reduced density matrices, leading to a new lower bound on the entanglement entropy. We discuss several applications in the contexts of many body localization, quantum channels, entanglement phase transitions and also derive new constraints on the Lindbladian evolution of open quantum systems.

categories: cond-mat.str-el cond-mat.stat-mech hep-th quant-ph


title: Towards Verifiable Text Generation with Evolving Memory and Self-Reflection

abstract: Despite the remarkable ability of large language models (LLMs) in language comprehension and generation, they often suffer from producing factually incorrect information, also known as hallucination. A promising solution to this issue is verifiable text generation, which prompts LLMs to generate content with citations for accuracy verification. However, verifiable text generation is non-trivial due to the focus-shifting phenomenon, the intricate reasoning needed to align the claim with correct citations, and the dilemma between the precision and breadth of retrieved documents. In this paper, we present VTG, an innovative framework for Verifiable Text Generation with evolving memory and self-reflection. VTG introduces evolving long short-term memory to retain both valuable documents and recent documents. A two-tier verifier equipped with an evidence finder is proposed to rethink and reflect on the relationship between the claim and citations. Furthermore, active retrieval and diverse query generation are utilized to enhance both the precision and breadth of the retrieved documents. We conduct extensive experiments on five datasets across three knowledge-intensive tasks and the results reveal that VTG significantly outperforms baselines.


title: ProSGNeRF: Progressive Dynamic Neural Scene Graph with Frequency Modulated Auto-Encoder in Urban Scenes

abstract: Implicit neural representation has demonstrated promising results in view synthesis for large and complex scenes. However, existing approaches either fail to capture the fast-moving objects or need to build the scene graph without camera ego-motions, leading to low-quality synthesized views of the scene. We aim to jointly solve the view synthesis problem of large-scale urban scenes and fast-moving vehicles, which is more practical and challenging. To this end, we first leverage a graph structure to learn the local scene representations of dynamic objects and the background. Then, we design a progressive scheme that dynamically allocates a new local scene graph trained with frames within a temporal window, allowing us to scale up the representation to an arbitrarily large scene. Besides, the training views of urban scenes are relatively sparse, which leads to a significant decline in reconstruction accuracy for dynamic objects. Therefore, we design a frequency auto-encoder network to encode the latent code and regularize the frequency range of objects, which can enhance the representation of dynamic objects and address the issue of sparse image inputs. Additionally, we employ lidar point projection to maintain geometry consistency in large-scale urban scenes. Experimental results demonstrate that our method achieves state-of-the-art view synthesis accuracy, object manipulation, and scene roaming ability. The code will be open-sourced upon paper acceptance.


title: Entropy Regularization and Faster Decremental Matching in General Graphs

abstract: We provide an algorithm that maintains, against an adaptive adversary, a $(1-\varepsilon)$-approximate maximum matching in $n$-node $m$-edge general (not necessarily bipartite) undirected graph undergoing edge deletions with high probability with (amortized) $O(\mathrm{poly}(\varepsilon^{-1}, \log n))$ time per update. We also obtain the same update time for maintaining a fractional approximate weighted matching (and hence an approximation to the value of the maximum weight matching) and an integral approximate weighted matching in dense graphs. Our unweighted result improves upon the prior state-of-the-art which includes a $\mathrm{poly}(\log{n}) \cdot 2^{O(1/\varepsilon^2)}$ update time [Assadi-Bernstein-Dudeja 2022] and an $O(\sqrt{m} \varepsilon^{-2})$ update time [Gupta-Peng 2013], and our weighted result improves upon the $O(\sqrt{m}\varepsilon^{-O(1/\varepsilon)}\log{n})$ update time due to [Gupta-Peng 2013]. To obtain our results, we generalize a recent optimization approach to dynamic algorithms from [Jambulapati-Jin-Sidford-Tian 2022]. We show that repeatedly solving entropy-regularized optimization problems yields a lazy updating scheme for fractional decremental problems with a near-optimal number of updates. To apply this framework we develop optimization methods compatible with it and new dynamic rounding algorithms for the matching polytope.


title: Coevolutionary Algorithm for Building Robust Decision Trees under Minimax Regret

abstract: In recent years, there has been growing interest in developing robust machine learning (ML) models that can withstand adversarial attacks, including one of the most widely adopted, efficient, and interpretable ML algorithms-decision trees (DTs). This paper proposes a novel coevolutionary algorithm (CoEvoRDT) designed to create robust DTs capable of handling noisy high-dimensional data in adversarial contexts. Motivated by the limitations of traditional DT algorithms, we leverage adaptive coevolution to allow DTs to evolve and learn from interactions with perturbed input data. CoEvoRDT alternately evolves competing populations of DTs and perturbed features, enabling construction of DTs with desired properties. CoEvoRDT is easily adaptable to various target metrics, allowing the use of tailored robustness criteria such as minimax regret. Furthermore, CoEvoRDT has potential to improve the results of other state-of-the-art methods by incorporating their outcomes (DTs they produce) into the initial population and optimize them in the process of coevolution. Inspired by the game theory, CoEvoRDT utilizes mixed Nash equilibrium to enhance convergence. The method is tested on 20 popular datasets and shows superior performance compared to 4 state-of-the-art algorithms. It outperformed all competing methods on 13 datasets with adversarial accuracy metrics, and on all 20 considered datasets with minimax regret. Strong experimental results and flexibility in choosing the error measure make CoEvoRDT a promising approach for constructing robust DTs in real-world applications.


title: Constraints on Lorentz invariance violation from the LHAASO observation of GRB 221009A

abstract: In some quantum gravity (QG) theories, Lorentz symmetry may be broken above the Planck scale. The Lorentz invariance violation (LIV) may induce observable effects at low energies and be detected at high energy astrophysical measurements. The Large High Altitude Air Shower Observatory(LHAASO) has detected the onset, rise, and decay phases of the afterglow of GRB 221009A, covering a wide energy range of photons approximately from $0.2$ to $18$ TeV. This observation provides an excellent opportunity to study the Lorentz invariance violation effect. In this study, we simultaneously utilize the data from the KM2A and WCDA detectors of LHAASO, and apply two event by event methods, namely the pair view method and maximum likelihood method, to investigate LIV. We obtain stringent constraints on the QG energy scale. For instance, through the maximum likelihood method, we determine the 95$\%$ confidence level lower limits to be $E_{QG,1} > 14.7 (6.5)\times 10^{19}$GeV for the subluminal (superluminal) scenario of $n = 1$, and $E_{QG,2} > 12.0 (7.2)\times 10^{11}$GeV for the subluminal (superluminal) scenario of $n = 2$. We find that the rapid rise and slow decay behaviors of the afterglow can impose strong constraints on the subluminal scenario, while the constraints are weaker for the superluminal scenario.


title: Pseudodifferential Models for Ultrasound Waves with Fractional Attenuation

abstract: To strike a balance between modeling accuracy and computational efficiency for simulations of ultrasound waves in soft tissues, we derive a pseudodifferential factorization of the wave operator with fractional attenuation. This factorization allows us to approximately solve the Helmholtz equation via one-way (transmission) or two-way (transmission and reflection) sweeping schemes tailored to high-frequency wave fields. We provide explicitly the three highest order terms of the pseudodifferential expansion to incorporate the well-known square-root first order symbol for wave propagation, the zeroth order symbol for amplitude modulation due to changes in wave speed and damping, and the next symbol to model fractional attenuation. We also propose wide-angle Pade approximations for the pseudodifferential operators corresponding to these three highest order symbols. Our analysis provides insights regarding the role played by the frequency and the Pade approximations in the estimation of error bounds. We also provide a proof-of-concept numerical implementation of the proposed method and test the error estimates numerically.


title: Forecasting skill of a crowd-prediction platform: A comparison of exchange rate forecasts

abstract: Open online crowd-prediction platforms are increasingly used to forecast trends and complex events. Despite the large body of research on crowd-prediction and forecasting tournaments, online crowd-prediction platforms have never been directly compared to other forecasting methods. In this analysis, exchange rate crowd-predictions made on Metaculus are compared to predictions made by the random-walk, a statistical model considered extremely hard-to-beat. The random-walk provides less erroneous forecasts, but the crowd-prediction does very well. By using the random-walk as a benchmark, this analysis provides a rare glimpse into the forecasting skill displayed on open online crowd-prediction platforms.


title: Learned Fusion: 3D Object Detection using Calibration-Free Transformer Feature Fusion

abstract: The state of the art in 3D object detection using sensor fusion heavily relies on calibration quality, which is difficult to maintain in large scale deployment outside a lab environment. We present the first calibration-free approach for 3D object detection. Thus, eliminating the need for complex and costly calibration procedures. Our approach uses transformers to map the features between multiple views of different sensors at multiple abstraction levels. In an extensive evaluation for object detection, we not only show that our approach outperforms single modal setups by 14.1% in BEV mAP, but also that the transformer indeed learns mapping. By showing calibration is not necessary for sensor fusion, we hope to motivate other researchers following the direction of calibration-free fusion. Additionally, resulting approaches have a substantial resilience against rotation and translation changes.


title: Sparse Linear Ensemble Systems and Structural Averaged Controllability: Single-input Case

abstract: We consider continuum ensembles of linear time-invariant control systems with single inputs. A sparsity pattern is said to be structurally averaged controllability if it admits an averaged controllable linear ensemble system. We provide a necessary and sufficient condition for a sparsity pattern to be structurally averaged controllable.


title: Language Modeling on a SpiNNaker 2 Neuromorphic Chip

abstract: As large language models continue to scale in size rapidly, so too does the computational power required to run them. Event-based networks on neuromorphic devices offer a potential way to reduce energy consumption for inference significantly. However, to date, most event-based networks that can run on neuromorphic hardware, including spiking neural networks (SNNs), have not achieved task performance even on par with LSTM models for language modeling. As a result, language modeling on neuromorphic devices has seemed a distant prospect. In this work, we demonstrate the first-ever implementation of a language model on a neuromorphic device - specifically the SpiNNaker 2 chip - based on a recently published event-based architecture called the EGRU. SpiNNaker 2 is a many-core neuromorphic chip designed for large-scale asynchronous processing, while the EGRU is architected to leverage such hardware efficiently while maintaining competitive task performance. This implementation marks the first time a neuromorphic language model matches LSTMs, setting the stage for taking task performance to the level of large language models. We also demonstrate results on a gesture recognition task based on inputs from a DVS camera. Overall, our results showcase the feasibility of this neuro-inspired neural network in hardware, highlighting significant gains versus conventional hardware in energy efficiency for the common use case of single batch inference.


title: The Earth is Flat because...: Investigating LLMs' Belief towards Misinformation via Persuasive Conversation

abstract: Large language models (LLMs) encapsulate vast amounts of knowledge but still remain vulnerable to external misinformation. Existing research mainly studied this susceptibility behavior in a single-turn setting. However, belief can change during a multi-turn conversation, especially a persuasive one. Therefore, in this study, we delve into LLMs' susceptibility to persuasive conversations, particularly on factual questions that they can answer correctly. We first curate the Farm (i.e., Fact to Misinform) dataset, which contains factual questions paired with systematically generated persuasive misinformation. Then, we develop a testing framework to track LLMs' belief changes in a persuasive dialogue. Through extensive experiments, we find that LLMs' correct beliefs on factual knowledge can be easily manipulated by various persuasive strategies.


title: COMBHelper: A Neural Approach to Reduce Search Space for Graph Combinatorial Problems

abstract: Combinatorial Optimization (CO) problems over graphs appear routinely in many applications such as in optimizing traffic, viral marketing in social networks, and matching for job allocation. Due to their combinatorial nature, these problems are often NP-hard. Existing approximation algorithms and heuristics rely on the search space to find the solutions and become time-consuming when this space is large. In this paper, we design a neural method called COMBHelper to reduce this space and thus improve the efficiency of the traditional CO algorithms based on node selection. Specifically, it employs a Graph Neural Network (GNN) to identify promising nodes for the solution set. This pruned search space is then fed to the traditional CO algorithms. COMBHelper also uses a Knowledge Distillation (KD) module and a problem-specific boosting module to bring further efficiency and efficacy. Our extensive experiments show that the traditional CO algorithms with COMBHelper are at least 2 times faster than their original versions.


title: A Comprehensive Trusted Runtime for WebAssembly with Intel SGX

abstract: In real-world scenarios, trusted execution environments (TEEs) frequently host applications that lack the trust of the infrastructure provider, as well as data owners who have specifically outsourced their data for remote processing. We present Twine, a trusted runtime for running WebAssembly-compiled applications within TEEs, establishing a two-way sandbox. Twine leverages memory safety guarantees of WebAssembly (Wasm) and abstracts the complexity of TEEs, empowering the execution of legacy and language-agnostic applications. It extends the standard WebAssembly system interface (WASI), providing controlled OS services, focusing on I/O. Additionally, through built-in TEE mechanisms, Twine delivers attestation capabilities to ensure the integrity of the runtime and the OS services supplied to the application. We evaluate its performance using general-purpose benchmarks and real-world applications, showing it compares on par with state-of-the-art solutions. A case study involving fintech company Credora reveals that Twine can be deployed in production with reasonable performance trade-offs, ranging from a 0.7x slowdown to a 1.17x speedup compared to native run time. Finally, we identify performance improvement through library optimisation, showcasing one such adjustment that leads up to 4.1x speedup. Twine is open-source and has been upstreamed into the original Wasm runtime, WAMR.


title: Robust ship pipe routing: navigating the energy transition

abstract: The maritime industry must prepare for the energy transition from fossil fuels to sustainable alternatives. Making ships future-proof is necessary given their long lifetime, but it is also complex because the future fuel type is uncertain. Within this uncertainty, one typically overlooks pipe routing, although it is a crucial driver for design time and costs. Therefore, we propose a mathematical approach for modeling uncertainty in pipe routing with deterministic, stochastic, and robust optimization. All three models are based on state-of-the-art integer linear optimization models for the Stochastic Steiner Forest Problem and adjusted to the maritime domain using specific constraints for pipe routing. We compare the models using both artificial and realistic instances and show that considering uncertainty using stochastic optimization and robust optimization leads to cost reductions of up to 22% in our experiments.


title: On-Chip Multidimensional Dynamic Control of Twisted Moir\'e Photonic Crystal for Smart Sensing and Imaging

abstract: Reconfigurable optics, optical systems that have a dynamically tunable configuration, are emerging as a new frontier in photonics research. Recently, twisted moir\'e photonic crystal has become a competitive candidate for implementing reconfigurable optics because of its high degree of tunability. However, despite its great potential as versatile optics components, simultaneous and dynamic modulation of multiple degrees of freedom in twisted moir\'e photonic crystal has remained out of reach, severely limiting its area of application. In this paper, we present a MEMS-integrated twisted moir\'e photonic crystal sensor that offers precise control over the interlayer gap and twist angle between two photonic crystal layers, and demonstrate an active twisted moir\'e photonic crystal-based optical sensor that can simultaneously resolve wavelength and polarization. Leveraging twist- and gap-tuned resonance modes, we achieve high-accuracy spectropolarimetric reconstruction of light using an adaptive sensing algorithm over a broad operational bandwidth in the telecom range and full Poincar\'e sphere. Our research showcases the remarkable capabilities of multidimensional control over emergent degrees of freedom in reconfigurable nanophotonics platforms and establishes a scalable pathway towards creating comprehensive flat-optics devices suitable for versatile light manipulation and information processing tasks.


title: Fast Explicit Solutions for Neutrino-Electron Scattering: Explicit Asymptotic Methods

abstract: We present results of explicit asymptotic approximations applied to neutrino--electron scattering in a representative model of neutrino population evolution under conditions characteristic of core-collapse supernova explosions or binary neutron star mergers. It is shown that this approach provides stable solutions of these stiff systems of equations, with accuracy and timestepping comparable to that for standard implicit treatments such as backward Euler, fixed point iteration, and Anderson-accelerated fixed point iteration. Because each timestep can be computed more rapidly with the explicit asymptotic approximation than with implicit methods, this suggests that algebraically stabilized explicit integration methods could be used to compute neutrino evolution coupled to hydrodynamics more efficiently in stellar explosions and mergers than the methods currently in use.


title: Multiple New Important Conjectures on Equivalence to Perfect Cuboid and Euler Brick

abstract: Nobody has discovered any perfect cuboid and there is no formula to deliver all possible Euler bricks. During investigations of famous open problems related to the perfect cuboid and Euler brick; I have found some new important conjectures on Pythagorean triples and biquadratic Diophantine equation [4] which are reduced & quivalence form for perfect cuboid and Euler brick problems. The details of the conjectures have been provided in Sections 2-3. If any perfect cuboid exists it will be only among the solutions of six conjectures and all the Euler bricks are only among the solutions of next three conjectures [4]. For example, if any odd $n\in \mathbb{N}$ satisfy $n=e^2-f^2=g^2-h^2=k^2-l^2$ and $e^2f^2=g^2h^2+k^2l^2$; then we can discover a perfect cuboid of type 1 as $\{e^2-f^2,2gh,2kl,g^2+h^2,k^2+l^2,2ef,e^2+f^2\}$ having $(e^2-f^2,2gh,2kl)$ having $(e^2-f^2,2gh,2kl)$ as its edges; $(g^2+h^2,k^2+l^2,2ef)$ as its face diagonals and $e^2+f^2$ as its body diagonal where $e,f,g,h,k,l~(>1)\in \mathbb{N}$.


title: DeepSurveySim: Simulation Software and Benchmark Challenges for Astronomical Observation Scheduling

abstract: Modern astronomical surveys have multiple competing scientific goals. Optimizing the observation schedule for these goals presents significant computational and theoretical challenges, and state-of-the-art methods rely on expensive human inspection of simulated telescope schedules. Automated methods, such as reinforcement learning, have recently been explored to accelerate scheduling. However, there do not yet exist benchmark data sets or user-friendly software frameworks for testing and comparing these methods. We present DeepSurveySim -- a high-fidelity and flexible simulation tool for use in telescope scheduling. DeepSurveySim provides methods for tracking and approximating sky conditions for a set of observations from a user-supplied telescope configuration. We envision this tool being used to produce benchmark data sets and for evaluating the efficacy of ground-based telescope scheduling algorithms, particularly for machine learning algorithms that would suffer in efficacy if limited to real data for training.We introduce three example survey configurations and related code implementations as benchmark problems that can be simulated with DeepSurveySim.


title: Aleth-NeRF: Illumination Adaptive NeRF with Concealing Field Assumption

abstract: The standard Neural Radiance Fields (NeRF) paradigm employs a viewer-centered methodology, entangling the aspects of illumination and material reflectance into emission solely from 3D points. This simplified rendering approach presents challenges in accurately modeling images captured under adverse lighting conditions, such as low light or over-exposure. Motivated by the ancient Greek emission theory that posits visual perception as a result of rays emanating from the eyes, we slightly refine the conventional NeRF framework to train NeRF under challenging light conditions and generate normal-light condition novel views unsupervised. We introduce the concept of a "Concealing Field," which assigns transmittance values to the surrounding air to account for illumination effects. In dark scenarios, we assume that object emissions maintain a standard lighting level but are attenuated as they traverse the air during the rendering process. Concealing Field thus compel NeRF to learn reasonable density and colour estimations for objects even in dimly lit situations. Similarly, the Concealing Field can mitigate over-exposed emissions during the rendering stage. Furthermore, we present a comprehensive multi-view dataset captured under challenging illumination conditions for evaluation. Our code and dataset available at https://github.com/cuiziteng/Aleth-NeRF


title: Hopf Arborescent Links, Minor Theory, and Decidability of the Genus Defect

abstract: While the problem of computing the genus of a knot is now fairly well understood, no algorithm is known for its four-dimensional variants, both in the smooth and in the topological locally flat category. In this article, we investigate a class of knots and links called Hopf arborescent links, which are obtained as the boundaries of some iterated plumbings of Hopf bands. We show that for such links, computing the genus defects, which measure how much the four-dimensional genera differ from the classical genus, is decidable. Our proof is non-constructive, and is obtained by proving that Seifert surfaces of Hopf arborescent links under a relation of minors defined by containment of their Seifert surfaces form a well-quasi-order.