title: Generation of realistic input parameters for simulating atmospheric point-spread functions at astronomical observatories

abstract: High-fidelity simulated astronomical images are an important tool in developing and measuring the performance of image-processing algorithms, particularly for high precision measurements of cosmic shear -- correlated distortions of images of distant galaxies due to weak gravitational lensing caused by the large-scale mass distribution in the Universe. For unbiased measurements of cosmic shear, all other sources of correlated image distortions must be modeled or removed. One such source is the correlated blurring of images due to optical turbulence in the atmosphere, which dominates the point-spread function (PSF) for ground-based instruments. In this work, we leverage data from weather forecasting models to produce wind speeds and directions, and turbulence parameters, that are realistically correlated with altitude. To study the resulting correlations in the size and shape of the PSF, we generate simulated images of the PSF across a ~10 square-degree field of view -- the size of the camera focal plane for the Vera C. Rubin Observatory in Chile -- using weather data and historical seeing for a geographic location near the Observatory. We make quantitative predictions for two-point correlation functions (2PCF) that are used in analyses of cosmic shear. We observe a strong anisotropy in the two-dimensional 2PCF, which is expected based on observations in real images, and study the dependence of the orientation of the anisotropy on dominant wind directions near the ground and at higher altitudes. The code repository for producing the correlated weather parameters for input to simulations (psf-weather-station) is public at https://github.com/LSSTDESC/psf-weather-station.


title: Joint Optimization of Traffic Signal Control and Vehicle Routing in Signalized Road Networks using Multi-Agent Deep Reinforcement Learning

abstract: Urban traffic congestion is a critical predicament that plagues modern road networks. To alleviate this issue and enhance traffic efficiency, traffic signal control and vehicle routing have proven to be effective measures. In this paper, we propose a joint optimization approach for traffic signal control and vehicle routing in signalized road networks. The objective is to enhance network performance by simultaneously controlling signal timings and route choices using Multi-Agent Deep Reinforcement Learning (MADRL). Signal control agents (SAs) are employed to establish signal timings at intersections, whereas vehicle routing agents (RAs) are responsible for selecting vehicle routes. By establishing relevance between agents and enabling them to share observations and rewards, interaction and cooperation among agents are fostered, which enhances individual training. The Multi-Agent Advantage Actor-Critic algorithm is used to handle multi-agent environments, and Deep Neural Network (DNN) structures are designed to facilitate the algorithm's convergence. Notably, our work is the first to utilize MADRL in determining the optimal joint policy for signal control and vehicle routing. Numerical experiments conducted on the modified Sioux network demonstrate that our integration of signal control and vehicle routing outperforms controlling signal timings or vehicles' routes alone in enhancing traffic efficiency.


title: The impact of finite span and wing-tip vortices on a turbulent NACA0012 wing

abstract: High-fidelity simulations are conducted to investigate the turbulent boundary layers around a finite-span NACA0012 wing with a rounded wing-tip geometry at a chord-based Reynolds number of $Re_c=200\,000$ and at various angles of attack up to $10^\circ$. The study aims to discern the differences between the boundary layers on the finite-span wing and those on infinite-span wings at equivalent angles of attack. The finite-span boundary layers exhibit: (i) an altered streamwise and a non-zero spanwise pressure gradient as a result of the variable downwash induced by the wing-tip vortices (an inviscid effect typical of finite-span wings); (ii) differences in the flow history at different wall-normal distances, caused by the variable flow angle in the wall-normal direction (due to constant pressure gradients and variable momentum normal to the wall); (iii) laminar flow entrainment into the turbulent boundary layers near the wing tip (due to a laminar/turbulent interface); and (iv) variations in boundary layer thickness across the span, attributed to the variable wall-normal velocity in that direction (a primarily inviscid effect). These physical effects are then used to explain the differences in the Reynolds stress profiles and other boundary layer quantities, including the reduced near-wall peak of the streamwise Reynolds stress and the elevated Reynolds stress levels near the boundary layer edge, both observed in the finite-span wings. Other aspects of the flow, such as the downstream development of wing-tip vortices and their interactions with the surrounding flow, are reserved for future investigations.


title: Designing Shared Information Displays for Agents of Varying Strategic Sophistication

abstract: Data-driven predictions are often perceived as inaccurate in hindsight due to behavioral responses. In this study, we explore the role of interface design choices in shaping individuals' decision-making processes in response to predictions presented on a shared information display in a strategic setting. We introduce a novel staged experimental design to investigate the effects of design features, such as visualizations of prediction uncertainty and error, within a repeated congestion game. In this game, participants assume the role of taxi drivers and use a shared information display to decide where to search for their next ride. Our experimental design endows agents with varying level-$k$ depths of thinking, allowing some agents to possess greater sophistication in anticipating the decisions of others using the same information display. Through several extensive experiments, we identify trade-offs between displays that optimize individual decisions and those that best serve the collective social welfare of the system. We find that the influence of display characteristics varies based on an agent's strategic sophistication. We observe that design choices promoting individual-level decision-making can lead to suboptimal system outcomes, as manifested by a lower realization of potential social welfare. However, this decline in social welfare is offset by a reduction in the distribution shift, narrowing the gap between predicted and realized system outcomes, which potentially enhances the perceived reliability and trustworthiness of the information display post hoc. Our findings pave the way for new research questions concerning the design of effective prediction interfaces in strategic environments.


title: Conjugating Representations in $PGL(k, \mathbb{C})$ into $PGL(k, \mathbb{R})$

abstract: The space of representations of a surface group into a given simple Lie group is a very active area of research and is particularly relevant to higher Teichm\"uller theory. For a closed surface, classical Teichm\"uller space is a connected component of the moduli space of representations into $PSL(2, \mathbb{R})$ and [Fock:2006] showed that the space of positive representations into $PSL(k, \mathbb{R})$ coincides with the Hitchin component. In this paper we study representations of finitely generated groups into $PGL(k, \mathbb{C})$ and determine necessary and sufficient conditions for such a representation to be conjugate into $PGL(k, \mathbb{R})$. In this way, we identify representations in the larger representation variety which are conjugate in $PGL(k, \mathbb{C})$ to a representation in $\hom ( \pi_1 (\Sigma), PGL(k, \mathbb{R}) ) / PGL(k, \mathbb{R})$.


title: Exactly solvable statistical physics models for large neuronal populations

abstract: Maximum entropy methods provide a principled path connecting measurements of neural activity directly to statistical physics models, and this approach has been successful for populations of $N\sim 100$ neurons. As $N$ increases in new experiments, we enter an undersampled regime where we have to choose which observables should be constrained in the maximum entropy construction. The best choice is the one that provides the greatest reduction in entropy, defining a "minimax entropy" principle. This principle becomes tractable if we restrict attention to correlations among pairs of neurons that link together into a tree; we can find the best tree efficiently, and the underlying statistical physics models are exactly solved. We use this approach to analyze experiments on $N\sim 1500$ neurons in the mouse hippocampus, and show that the resulting model captures the distribution of synchronous activity in the network.

categories: physics.bio-ph cond-mat.dis-nn cond-mat.stat-mech q-bio.NC


title: SoybeanNet: Transformer-Based Convolutional Neural Network for Soybean Pod Counting from Unmanned Aerial Vehicle (UAV) Images

abstract: Soybeans are a critical source of food, protein and oil, and thus have received extensive research aimed at enhancing their yield, refining cultivation practices, and advancing soybean breeding techniques. Within this context, soybean pod counting plays an essential role in understanding and optimizing production. Despite recent advancements, the development of a robust pod-counting algorithm capable of performing effectively in real-field conditions remains a significant challenge This paper presents a pioneering work of accurate soybean pod counting utilizing unmanned aerial vehicle (UAV) images captured from actual soybean fields in Michigan, USA. Specifically, this paper presents SoybeanNet, a novel point-based counting network that harnesses powerful transformer backbones for simultaneous soybean pod counting and localization with high accuracy. In addition, a new dataset of UAV-acquired images for soybean pod counting was created and open-sourced, consisting of 113 drone images with more than 260k manually annotated soybean pods captured under natural lighting conditions. Through comprehensive evaluations, SoybeanNet demonstrated superior performance over five state-of-the-art approaches when tested on the collected images. Remarkably, SoybeanNet achieved a counting accuracy of $84.51\%$ when tested on the testing dataset, attesting to its efficacy in real-world scenarios. The publication also provides both the source code (\url{https://github.com/JiajiaLi04/Soybean-Pod-Counting-from-UAV-Images}) and the labeled soybean dataset (\url{https://www.kaggle.com/datasets/jiajiali/uav-based-soybean-pod-images}), offering a valuable resource for future research endeavors in soybean pod counting and related fields.


title: The Invisible Map: Visual-Inertial SLAM with Fiducial Markers for Smartphone-based Indoor Navigation

abstract: We present a system for creating building-scale, easily navigable 3D maps using mainstream smartphones. In our approach, we formulate the 3D-mapping problem as an instance of Graph SLAM and infer the position of both building landmarks (fiducial markers) and navigable paths through the environment (phone poses). Our results demonstrate the system's ability to create accurate 3D maps. Further, we highlight the importance of careful selection of mapping hyperparameters and provide a novel technique for tuning these hyperparameters to adapt our algorithm to new environments.


title: Greedy Perspectives: Multi-Drone View Planning for Collaborative Perception in Cluttered Environments

abstract: Deployment of teams of aerial robots could enable large-scale filming of dynamic groups of people (actors) in complex environments for applications in areas such as team sports and cinematography. Toward this end, methods for submodular maximization via sequential greedy planning can be used for scalable optimization of camera views across teams of robots but face challenges with efficient coordination in cluttered environments. Obstacles can produce occlusions and increase chances of inter-robot collision which can violate requirements for near-optimality guarantees. To coordinate teams of aerial robots in filming groups of people in dense environments, a more general view-planning approach is required. We explore how collision and occlusion impact performance in filming applications through the development of a multi-robot multi-actor view planner with an occlusion-aware objective for filming groups of people and compare with a formation planner and a greedy planner that ignores inter-robot collisions. We evaluate our approach based on five test environments and complex multi-actor behaviors. Compared with a formation planner, our sequential planner generates 14% greater view reward over the actors for three scenarios and comparable performance to formation planning on two others. We also observe near identical view rewards for sequential planning both with and without inter-robot collision constraints which indicates that robots are able to avoid collisions without impairing performance in the perception task. Overall, we demonstrate effective coordination of teams of aerial robots for filming groups that may split, merge, or spread apart and in environments cluttered with obstacles that may cause collisions or occlusions.


title: Signatures of Rotating Black Holes in Quantum Superposition

abstract: A new approach for operationally studying the effects of spacetime in quantum superpositions of semiclassical states has recently been proposed by some of the authors. This approach was applied to the case of a (2+1)-dimensional Ba\~nados-Teitelboim-Zanelli (BTZ) black hole in a superposition of masses, where it was shown that a two-level system interacting with a quantum field residing in the spacetime exhibits resonant peaks in its response at certain values of the superposed masses. Here, we extend this analysis to a mass-superposed rotating BTZ black hole, considering the case where the two-level system co-rotates with the black hole in a superposition of trajectories. We find similar resonances in the detector response function at rational ratios of the superposed outer horizon radii, specifically in the case where the ratio of the inner and outer horizons is fixed. This suggests a connection with Bekenstein's seminal conjecture concerning the discrete horizon spectra of black holes in quantum gravity, generalized to the case of rotating black holes. Our results suggest that deeper insights into quantum-gravitational phenomena may be accessible via tools in relativistic quantum information and curved spacetime quantum field theory.


title: Will the Prince Get True Love's Kiss? On the Model Sensitivity to Gender Perturbation over Fairytale Texts

abstract: Recent studies show that traditional fairytales are rife with harmful gender biases. To help mitigate these gender biases in fairytales, this work aims to assess learned biases of language models by evaluating their robustness against gender perturbations. Specifically, we focus on Question Answering (QA) tasks in fairytales. Using counterfactual data augmentation to the FairytaleQA dataset, we evaluate model robustness against swapped gender character information, and then mitigate learned biases by introducing counterfactual gender stereotypes during training time. We additionally introduce a novel approach that utilizes the massive vocabulary of language models to support text genres beyond fairytales. Our experimental results suggest that models are sensitive to gender perturbations, with significant performance drops compared to the original testing set. However, when first fine-tuned on a counterfactual training dataset, models are less sensitive to the later introduced anti-gender stereotyped text.


title: The linear elasticity system under singular forces

abstract: We study the linear elasticity system subject to singular forces. We show existence and uniqueness of solutions in two frameworks: weighted Sobolev spaces, where the weight belongs to the Muckenhoupt class $A_2$; and standard Sobolev spaces where the integrability index is less than $d/(d-1)$; $d$ is the spatial dimension. We propose a standard finite element scheme and provide optimal error estimates in the $\mathbf{L}^2$--norm. By proving well posedness, we clarify some issues concerning the study of generalized mixed problems in Banach spaces.


title: Evolving Horizons in Radiotherapy Auto-Contouring: Distilling Insights, Embracing Data-Centric Frameworks, and Moving Beyond Geometric Quantification

abstract: Deep learning has significantly advanced the potential for automated contouring in radiotherapy planning. In this manuscript, guided by contemporary literature, we underscore three key insights: (1) High-quality training data is essential for auto-contouring algorithms; (2) Auto-contouring models demonstrate commendable performance even with limited medical image data; (3) The quantitative performance of auto-contouring is reaching a plateau. Given these insights, we emphasize the need for the radiotherapy research community to embrace data-centric approaches to further foster clinical adoption of auto-contouring technologies.


title: Dynamics of operators on the space of Radon measures

abstract: In this paper, we study the dynamics of the adjoint of a weighted composition operator and we give necessary and sufficient conditions for this adjoint operator to be topologically hyper-transitive on the space of Radon measures on a locally compact Hausdorff space. Moreover, we provide sufficient conditions for this operator to be chaotic and we give concrete examples. Next, we consider the real Banach space of signed Radon measures and we give in this context the sufficient conditions for the convergence of Markov chains induced by the adjoint of an integral operator. Also, we illustrate this result with a concrete example. In addition, we obtain some structural results regarding the space of Radon measures. We characterize a class of cones whose complement is spaceable in the space of Radon measures.


title: Approximation properties of slice-matching operators

abstract: Iterative slice-matching procedures are efficient schemes for transferring a source measure to a target measure, especially in high dimensions. These schemes have been successfully used in applications such as color transfer and shape retrieval, and are guaranteed to converge under regularity assumptions. In this paper, we explore approximation properties related to a single step of such iterative schemes by examining an associated slice-matching operator, depending on a source measure, a target measure, and slicing directions. In particular, we demonstrate an invariance property with respect to the source measure, an equivariance property with respect to the target measure, and Lipschitz continuity concerning the slicing directions. We furthermore establish error bounds corresponding to approximating the target measure by one step of the slice-matching scheme and characterize situations in which the slice-matching operator recovers the optimal transport map between two measures. We also investigate connections to affine registration problems with respect to (sliced) Wasserstein distances. These connections can be also be viewed as extensions to the invariance and equivariance properties of the slice-matching operator and illustrate the extent to which slice-matching schemes incorporate affine effects.


title: Maximum Principles and Consequences for $\gamma$-translators in $\mathbb{R}^{n+1}$ II

abstract: In this paper, several results regarding $\gamma$-translators in $\mathbb{R}^{n+1}$ are obtained by means of maximum principle arguments. The paper delves into characterizations of grim reaper cylinders and establishes convexity results for translators in $\mathbb{R}^3$. Finally, it discusses the property of bounded extrinsic geometry in terms of the function $H\gamma^{-1}$.


title: Basal force fluctuations and granular rheology: Linking macroscopic descriptions of granular flows to bed forces with implications for monitoring signals

abstract: Granular flows are ubiquitous in nature with single flows traversing a wide range of dynamic conditions from initiation to deposition. Many of these flows are responsible for significant hazards and have the ability to generate remotely detectable seismic signals. These signals provide a potential for real-time flow measurements from a safe distance. To fully realize the benefit of seismic measurements, basal granular forces must be linked to macroscopic internal flow dynamics across a wide range of flow conditions. We utilize discrete element simulations to observe dry and submerged granular flows under plane-shear and inclined flow configurations, relating bulk kinematics to basal force distributions. We find that force fluctuations scale with non-dimensional shear-rate ($I$), and this scaling tracks three flow regimes that can be described by $\mu(I)$ rheology, as well as a fourth regime that marks a `phase change' from a liquid-like to a gas-like state: (1) an unsteady particle rearrangement regime when $I<10^{-3}$, where basal forces are dominated by low frequencies; (2) an intermediate regime when $10^{-3}< I<10^{-2}$, where basal forces start to become noise-like, (3) a transitional regime at $10^{-2}<I<10^{-1}$, where the increase in basal tractions with increasing shear-rates stalls as the granular bed dilates, partially destroying the contact network and memory stored in the particle contact network, and (4) a fully collisional regime when $I>10^{-1}$, where the signal is nearly flat up to a cutoff frequency. This effort suggests that basal forces can be used to interpret complex granular processes in geophysical flows.


title: Computing Sparse Tensor Decompositions via Chapel and C++/MPI Interoperability without Intermediate I/O

abstract: We extend an existing approach for efficient use of shared mapped memory across Chapel and C++ for graph data stored as 1-D arrays to sparse tensor data stored using a combination of 2-D and 1-D arrays. We describe the specific extensions that provide use of shared mapped memory tensor data for a particular C++ tensor decomposition tool called GentenMPI. We then demonstrate our approach on several real-world datasets, providing timing results that illustrate minimal overhead incurred using this approach. Finally, we extend our work to improve memory usage and provide convenient random access to sparse shared mapped memory tensor elements in Chapel, while still being capable of leveraging high performance implementations of tensor algorithms in C++.


title: IDEAL: Influence-Driven Selective Annotations Empower In-Context Learners in Large Language Models

abstract: In-context learning is a promising paradigm that utilizes in-context examples as prompts for the predictions of large language models. These prompts are crucial for achieving strong performance. However, since the prompts need to be sampled from a large volume of annotated examples, finding the right prompt may result in high annotation costs. To address this challenge, this paper introduces an influence-driven selective annotation method that aims to minimize annotation costs while improving the quality of in-context examples. The essence of our method is to select a pivotal subset from a large-scale unlabeled data pool to annotate for the subsequent sampling of prompts. Specifically, a directed graph is first constructed to represent unlabeled data. Afterward, the influence of candidate unlabeled subsets is quantified with a diffusion process. A simple yet effective greedy algorithm for unlabeled data selection is lastly introduced. It iteratively selects the data if it provides a maximum marginal gain with respect to quantified influence. Compared with previous efforts on selective annotations, our influence-driven method works in an end-to-end manner, avoids an intractable explicit balance between data diversity and representativeness, and enjoys theoretical support. Experiments confirm the superiority of the proposed method on various benchmarks, achieving better performance under lower time consumption during subset selection. The project page is available at https://skzhang1.github.io/IDEAL/.


title: Religious Affiliation in the Twenty-First Century: A Machine Learning Perspective on the World Value Survey

abstract: This paper is a quantitative analysis of the data collected globally by the World Value Survey. The data is used to study the trajectories of change in individuals' religious beliefs, values, and behaviors in societies. Utilizing random forest, we aim to identify the key factors of religiosity and classify respondents of the survey as religious and non religious using country level data. We use resampling techniques to balance the data and improve imbalanced learning performance metrics. The results of the variable importance analysis suggest that Age and Income are the most important variables in the majority of countries. The results are discussed with fundamental sociological theories regarding religion and human behavior. This study is an application of machine learning in identifying the underlying patterns in the data of 30 countries participating in the World Value Survey. The results from variable importance analysis and classification of imbalanced data provide valuable insights beneficial to theoreticians and researchers of social sciences.


title: Filling the Holes on 3D Heritage Object Surface based on Automatic Segmentation Algorithm

abstract: Reconstructing and processing the 3D objects are popular activities in the research field of computer graphics, image processing and computer vision. The 3D objects are processed based on the methods like geometric modeling, a branch of applied mathematics and computational geometry, or the machine learning algorithms based on image processing. The computation of geometrical objects includes processing the curves and surfaces, subdivision, simplification, meshing, holes filling, reconstructing, and refining the 3D surface objects on both point cloud data and triangular mesh. While the machine learning methods are developed using deep learning models. With the support of 3D laser scan devices and Lidar techniques, the obtained dataset is close to original shape of the real objects. Besides, the photography and its application based on the modern techniques in recent years help us collect data and process the 3D models more precise. This article proposes an improved method for filling holes on the 3D object surface based on an automatic segmentation. Instead of filling the hole directly as the existing methods, we now subdivide the hole before filling it. The hole is first determined and segmented automatically based on computation of its local curvature. It is then filled on each part of the hole to match its local curvature shape. The method can work on both 3D point cloud surfaces and triangular mesh surface. Comparing to the state of the art methods, our proposed method obtained higher accuracy of the reconstructed 3D objects.


title: Spectral gap of nonreversible Markov chains

abstract: We define the spectral gap of a Markov chain on a finite state space as the second-smallest singular value of the generator of the chain, generalizing the usual definition of spectral gap for reversible chains. We then define the relaxation time of the chain as the inverse of this spectral gap, and show that this relaxation time can be characterized, for any Markov chain, as the time required for convergence of empirical averages. This relaxation time is related to the Cheeger constant and the mixing time of the chain through inequalities that are similar to the reversible case, and the path argument can be used to get upper bounds. Several examples are worked out. An interesting finding from the examples is that the time for convergence of empirical averages in nonreversible chains can often be substantially smaller than the mixing time.


title: Balanced metrics, Zoll deformations and isosystolic inequalities in $\mathbb{C}P^n$

abstract: The $k$-systole of a Riemannian manifold is the infimum of the volume over all homologically non-trivial $k$-cycles. In this paper we discuss the behavior of the dimension two and co-dimension two systole of the complex projective space for distinguished classes of metrics, namely the homogeneous metrics and the Balanced metrics. In particular, we argue that every homogeneous metric maximizes the systole in its volume-normalized conformal class, as well as that each K\"ahler metric locally minimizes the systole on the set of volume-normalized Balanced metrics. The proof demands the implementation of integral geometric techniques, and a careful analysis of the second variation of the systole functional. As an application, we characterize the systolic behavior of almost-Hermitian 1-parameter Zoll-like deformations of the Fubini-Study metric.


title: Eco-Driving Control of Connected and Automated Vehicles using Neural Network based Rollout

abstract: Connected and autonomous vehicles have the potential to minimize energy consumption by optimizing the vehicle velocity and powertrain dynamics with Vehicle-to-Everything info en route. Existing deterministic and stochastic methods created to solve the eco-driving problem generally suffer from high computational and memory requirements, which makes online implementation challenging. This work proposes a hierarchical multi-horizon optimization framework implemented via a neural network. The neural network learns a full-route value function to account for the variability in route information and is then used to approximate the terminal cost in a receding horizon optimization. Simulations over real-world routes demonstrate that the proposed approach achieves comparable performance to a stochastic optimization solution obtained via reinforcement learning, while requiring no sophisticated training paradigm and negligible on-board memory.


title: BLoad: Enhancing Neural Network Training with Efficient Sequential Data Handling

abstract: The increasing complexity of modern deep neural network models and the expanding sizes of datasets necessitate the development of optimized and scalable training methods. In this white paper, we addressed the challenge of efficiently training neural network models using sequences of varying sizes. To address this challenge, we propose a novel training scheme that enables efficient distributed data-parallel training on sequences of different sizes with minimal overhead. By using this scheme we were able to reduce the padding amount by more than 100$x$ while not deleting a single frame, resulting in an overall increased performance on both training time and Recall in our experiments.


title: Coherence conditions for the characters of trivial source modules and strong isotypies

abstract: We introduce a new type of equivalence between blocks of finite group algebras called a strong isotypy. A strong isotypy is equivalent to a $p$-permutation equivalence and restricts to an isotypy in the sense of Brou\'{e}. To prove these results we first establish that the group $T_{\mathcal{O}}(B)$ of trivial source $B$-modules, where $B$ is a block of a finite group algebra, is isomorphic to groups of ``coherent character tuples.'' This provides a refinement of work by Boltje and Carman which characterizes the ring $T_{\mathcal{O}}(G)$ of trivial source $\mathcal{O}G$-modules, where $G$ is a finite group, in terms of coherent character tuples.


title: On two possible ways to recover Ordinary Thermodynamics from Extended Thermodynamics of Polyatomic gases

abstract: We consider two possible ways, i.e., the Maxwellian Iteration and the Chapman-Enskog Method, to recover Relativistic Ordinary Thermodynamics from Relativistic Extended Thermodynamics of Polyatomic gases with N moments. Both of these methods give the Eckart equations which are the relativistic version of the Navier-Stokes and Fourier laws as a first iteration. However, these methods do not lead to the same expressions of the heat conductivity \chi, the shear viscosity \mu, and the bulk viscosity \nu which appear as coefficients in the Eckart equations. In particular, we prove that the expressions of \chi, \mu, and \nu obtained via the Chapman-Enskog method do not depend on N , while those obtained through the Maxwellian Iteration depend on N . Moreover, we also prove that these two methods lead to the same results in the nonrelativistic limit.


title: A simple asymptotically optimal Clifford circuit compilation algorithm

abstract: We present an algorithm that decomposes any $n$-qubit Clifford operator into a circuit consisting of three subcircuits containing only CNOT or CPHASE gates with layers of one-qubit gates before and after each of these subcircuits. As with other asymptotically optimal Clifford compilation algorithms, the resulting circuit contains $O(n^2/\log n)$ two-qubit gates. The derivation of our algorithm only requires the symplectic representation of Clifford gates, basic row and column matrix manipulations, and some known properties of general matrices over 0 and 1.


title: CAT(0) and cubulated Shephard groups

abstract: Shephard groups are common generalizations of Coxeter groups, Artin groups, and graph products of cyclic groups. Their definition is similar to that of a Coxeter group, but generators may have arbitrary order rather than strictly order 2. We extend a well known result that Coxeter groups are $\mathrm{CAT}(0)$ to a class of Shephard groups that have "enough" finite parabolic subgroups. We also show that in this setting, if the associated Coxeter group is type (FC), then the Shephard group acts properly and cocompactly on a $\mathrm{CAT}(0)$ cube complex. As part of our proof of the former result, we introduce a new criteria for a complex made of $A_3$ simplices to be $\mathrm{CAT}(1)$.


title: Diamond-lattice photonic crystals assembled from DNA origami

abstract: Colloidal self-assembly allows rational design of structures on the micrometer and submicrometer scale. One architecture that can generate complete 3D photonic band gaps is the diamond cubic lattice, which has remained difficult to realize at length scales comparable to the wavelength of visible or ultraviolet light. Here, we demonstrate three-dimensional photonic crystals self-assembled from DNA origami that act as precisely programmable patchy colloids. Our DNA-based nanoscale tetrapods crystallize into a rod-connected diamond cubic lattice with a periodicity of 170 nm. This structure serves as a scaffold for atomic layer deposition of high refractive index materials such as TiO$_2$, yielding a tunable photonic band gap in the near-ultraviolet.


title: Calibrating the role of entanglement in variational quantum circuits

abstract: Entanglement is a key property of quantum computing that separates it from its classical counterpart, however, its exact role in the performance of quantum algorithms, especially variational quantum algorithms, is not well understood. In this work, we utilise tensor network methods to systematically probe the role of entanglement in the working of two variational quantum algorithms, the Quantum Approximate Optimisation Algorithm (QAOA) and Quantum Neural Networks (QNNs), on prototypical problems under controlled entanglement environments. We find that for the MAX-CUT problem solved using QAOA, the fidelity as a function of entanglement is highly dependent on the number of layers, layout of edges in the graph, and edge density, generally exhibiting that a high number of layers indicates a higher resilience to truncation of entanglement. This is in contrast to previous studies based on no more than four QAOA layers which show that the fidelity of QAOA follows a scaling law with respect to the entanglement per qubit of the system. Contrarily, in the case of QNNs, trained circuits with high test accuracies are underpinned by higher entanglement, with any enforced limitation in entanglement resulting in a sharp decline in test accuracy. This is corroborated by the entanglement entropy of these circuits which is consistently high suggesting that, unlike QAOA, QNNs may require quantum devices capable of generating highly entangled states. Overall our work provides a deeper understanding of the role of entanglement in the working of variational quantum algorithms which may help to implement these algorithms on NISQ-era quantum hardware in a way that maximises their accuracies.


title: The Calysto Scheme Project

abstract: Calysto Scheme is written in Scheme in Continuation-Passing Style, and converted through a series of correctness-preserving program transformations into Python. It has support for standard Scheme functionality, including call/cc, as well as syntactic extensions, a nondeterministic operator for automatic backtracking, and many extensions to allow Python interoperation. Because of its Python foundation, it can take advantage of modern Python libraries, including those for machine learning and other pedagogical contexts. Although Calysto Scheme was developed with educational purposes in mind, it has proven to be generally useful due to its simplicity and ease of installation. It has been integrated into the Jupyter Notebook ecosystem and used in the classroom to teach introductory Programming Languages with some interesting and unique twists.


title: The Stackage Repository: An Exploratory Study of its Evolution

abstract: Context. Package repositories for a programming language are increasingly common. A repository can keep a register of the evolution of its packages. In the programming language Haskell, with its defining characteristic monads, we can find the Stackage repository, which is a curated repository for stable Haskell packages in the Hackage repository. Despite the widespread use of Stackage in its industrial target, we are not aware of much empirical research about how this repository has evolved, including the use of monads. Objective. This paper conducts empirical research about the evolution of Stackage considering monad packages through 22 Long-Term Support releases during the period 2014-2023. Focusing on five research questions, this evolution is analyzed in terms of packages with their dependencies and imports; including the most used monad packages. To the best of our knowledge, this is the first large-scale analysis of the evolution of the Stackage repository regarding packages used and monads. Method. We define six research questions regarding the repository's evolution, and analyze them on 51,716 packages (17.05 GB) spread over 22 releases. For each package, we parse its cabal file and source code to extract the data, which is analyzed in terms of dependencies and imports using Pandas scripts. Results. From the methodology we get different findings. For example, there are packages that depend on other packages whose versions are not available in a particular release of Stackage; opening a potential stability issue. The mtl and transformers are on the top 10 packages most used/imported across releases of the Stackage evolution. We discussed these findings with Stackage maintainers, which allowed us to refine the research questions.


title: GMagAO-X: A First Light Coronagraphic Adaptive Optics System for the GMT

abstract: GMagAO-X is a visible to NIR extreme adaptive optics (ExAO) system that will be used at first light for the Giant Magellan Telescope (GMT). GMagAO-X is designed to deliver diffraction-limited performance at visible and NIR wavelengths (6 to 10 mas) and contrasts on the order of $10^{-7}$. The primary science case of GMagAO-X will be the characterization of mature, and potentially habitable, exoplanets in reflected light. GMagAO-X employs a woofer-tweeter system and includes segment phasing control. The tweeter is a 21,000 actuator segmented deformable mirror (DM), composed of seven individual 3,000 actuator DMs. This new ExAO framework of seven DMs working in parallel to produce a 21,000 actuator DM significantly surpasses any current or near future actuator count for a monolithic DM architecture. Bootstrapping, phasing, and high order sensing are enabled by a multi-stage wavefront sensing system. GMT's unprecedented 25.4 m aperture composed of seven segments brings a new challenge of co-phasing massive mirrors to 1/100th of a wavelength. The primary mirror segments of the GMT are separated by large >30 cm gaps so there will be fluctuations in optical path length (piston) across the pupil due to vibration of the segments, atmospheric conditions, etc. We have developed the High Contrast Adaptive-optics Testbed (HCAT) to test new wavefront sensing and control approaches for GMT and GMagAO-X, such as the holographic dispersed fringe sensor (HDFS), and the new ExAO parallel DM concept for correcting aberrations across a segmented pupil. The CoDR for GMagAO-X was held in September 2021 and a preliminary design review is planned for early 2024. In this paper we will discuss the science cases and requirements for the overall architecture of GMagAO-X, as well as the current efforts to prototype the novel hardware components and new wavefront sensing and control concepts for GMagAO-X on HCAT.


title: Reaching the fundamental sensitivity limit of wavefront sensing on arbitrary apertures with the Phase Induced Amplitude Apodized Zernike Wavefront Sensor (PIAA-ZWFS)

abstract: In the last two decades many people have been searching for the optimal wavefront sensor as it can boost the performance of high-contrast imagining by orders of magnitude on the ELTs. According classical information theory, the optimal sensitivity of a wavefront sensor is 1/2 radian rms per photon. We show that classical limit is also the quantum metrology limit for starlight, which means that 1/2 radian rms per photon is really the limit. This proceeding introduces the Phase Induced Amplitude Apodized Zernike Wavefront sensor. The PIAA-ZWFS modifies a standard ZWFS with a set of aspheric lenses to increase its sensitivity. The optimized system reaches the fundamental limit for all spatial frequencies >1.7 cycles/pupil and is very close to the limit for the spatial frequencies <1.7 cycles/pupil. The PIAA-ZWFS can be seamlessly integrated with the PIAA-CMC coronagraphy. This makes the PIAA-ZWFS an ideal candidate as wavefront sensor for high-contrast imaging.


title: Variation of holonomy for projective structures and an application to drilling hyperbolic 3-manifolds

abstract: We bound the derivative of complex length of a geodesic under variation of the projective structure on a closed surface in terms of the norm of the Schwarzian in a neighborhood of the geodesic. One application is to cone-manifold deformations of acylindrical hyperbolic 3-manifolds.


title: Global strong solutions to the radially symmetric compressible MHD equations in 2D solid balls with arbitrary large initial data

abstract: In this paper, we prove the global existence of strong solutions to the two-dimensional compressible MHD equations with density dependent viscosity coefficients (known as Kazhikhov-Vaigant model) on 2D solid balls with arbitrary large initial smooth data where shear viscosity $\mu$ being constant and the bulk viscosity $\lambda$ be a polynomial of density up to power $\beta$. The global existence of the radially symmetric strong solutions was established under Dirichlet boundary conditions for $\beta>1$. Moreover, as long as $\beta\in (\max\{1,\frac{\gamma+2}{4}\},\gamma]$, the density is shown to be uniformly bounded with respect to time. This generalizes the previous result of \cite{2022Li,2016Huang,2022Huang} of the compressible Navier-Stokes equations on 2D bounded domains where they require $\beta>4/3$ and also improves the result of \cite{chen2022,2015Mei-1,2015Mei-2} of compressible MHD equations on 2D solid balls.


title: Integrated coronagraphy and wavefront sensing with the PIAACMC

abstract: Uncorrected wavefront errors create speckle noise in high-contrast observations at small inner-working angles. These speckles can be sensed and controlled by using coronagraph integrated wavefront sensors. Here, we will present how the Phase Induced Amplitude Apodized Complex Mask Corongraph (PIAACMC) can be integrated with both a Self-Coherent Camera (SCC) for focal plane wavefront sensing and an extremely sensitivity high-order pupil plane Zernike wavefront sensor (ZWFS). Non-common path aberrations can be completely erased by integrating both sensors into the PIAACMC, which is of extremely high importance in high-contrast imaging.


title: Active Learning Framework for Cost-Effective TCR-Epitope Binding Affinity Prediction

abstract: T cell receptors (TCRs) are critical components of adaptive immune systems, responsible for responding to threats by recognizing epitope sequences presented on host cell surface. Computational prediction of binding affinity between TCRs and epitope sequences using machine/deep learning has attracted intense attention recently. However, its success is hindered by the lack of large collections of annotated TCR-epitope pairs. Annotating their binding affinity requires expensive and time-consuming wet-lab evaluation. To reduce annotation cost, we present ActiveTCR, a framework that incorporates active learning and TCR-epitope binding affinity prediction models. Starting with a small set of labeled training pairs, ActiveTCR iteratively searches for unlabeled TCR-epitope pairs that are ''worth'' for annotation. It aims to maximize performance gains while minimizing the cost of annotation. We compared four query strategies with a random sampling baseline and demonstrated that ActiveTCR reduces annotation costs by approximately 40%. Furthermore, we showed that providing ground truth labels of TCR-epitope pairs to query strategies can help identify and reduce more than 40% redundancy among already annotated pairs without compromising model performance, enabling users to train equally powerful prediction models with less training data. Our work is the first systematic investigation of data optimization for TCR-epitope binding affinity prediction.


title: Extended Sobolev Scale on $\mathbb{Z}^n$

abstract: In analogy with the definition of ``extended Sobolev scale" on $\mathbb{R}^n$ by Mikhailets and Murach, working in the setting of the lattice $\mathbb{Z}^n$, we define the ``extended Sobolev scale" $H^{\varphi}(\mathbb{Z}^n)$, where $\varphi$ is a function which is $RO$-varying at infinity. Using the scale $H^{\varphi}(\mathbb{Z}^n)$, we describe all Hilbert function-spaces that serve as interpolation spaces with respect to a pair of discrete Sobolev spaces $[H^{(s_0)}(\mathbb{Z}^n), H^{(s_1)}(\mathbb{Z}^n)]$, with $s_0<s_1$. We use this interpolation result to obtain the mapping property and the Fredholmness property of (discrete) pseudo-differential operators (PDOs) in the context of the scale $H^{\varphi}(\mathbb{Z}^n)$. Furthermore, starting from a first-order positive-definite (discrete) PDO $A$ of elliptic type, we define the ``extended discrete $A$-scale" $H^{\varphi}_{A}(\mathbb{Z}^n)$ and show that it coincides, up to norm equivalence, with the scale $H^{\varphi}(\mathbb{Z}^n)$. Additionally, we establish the $\mathbb{Z}^n$-analogues of several other properties of the scale $H^{\varphi}(\mathbb{R}^n)$.


title: Fibration symmetry uncovers minimal regulatory networks for logical computation in bacteria

abstract: Symmetry principles have proven important in physics, deep learning and geometry, allowing for the reduction of complicated systems to simpler, more comprehensible models that preserve the system's features of interest. Biological systems often show a high level of complexity and consist of a high number of interacting parts. Using symmetry fibrations, the relevant symmetries for biological 'message-passing' networks, we reduced the gene regulatory networks of E. coli and B. subtilis bacteria in a way that preserves information flow and highlights the computational capabilities of the network. Nodes that share isomorphic input trees are grouped into equivalence classes called fibers, whereby genes that receive signals with the same 'history' belong to one fiber and synchronize. We further reduce the networks to its computational core by removing 'dangling ends' via k-core decomposition. The computational core of the network consists of a few strongly connected components in which signals can cycle while signals are transmitted between these 'information vortices' in a linear feed-forward manner. These components are in charge of decision making in the bacterial cell by employing a series of genetic toggle-switch circuits that store memory, and oscillator circuits. These circuits act as the central computation machine of the network, whose output signals then spread to the rest of the network.


title: Two graph homologies and the space of long embeddings

abstract: Graph homologies are powerful tools to compute the rational homotopy group of the space of long embeddings. Two graph homologies have been invented from two approaches to study the space of long embeddings: the hairy graph homology from embedding calculus, and BCR graph homology from configuration space integral. In this paper, we construct a monomorphism from the top hairy graph homology to the top BCR graph homology, though the latter graph homology is quite modified. This map and its left inverse are analogs of PBW isomorphism between the space of open Jacobi diagrams and the space of Jacobi diagrams on the unit circle, in the theory of Vassiliev knot invariants.


title: Attractive gravity probe surface, positivity of quasi-local mass and Arnowitt-Deser-Misner mass expression

abstract: Under certain conditions, it is shown that the positivity of the Geroch/Hawking quasi-local mass holds for the attractive gravity probe surfaces in any higher dimensions than three. We also comment on the Arnowitt-Deser-Misner mass.


title: Analyzing Modularity Maximization in Approximation, Heuristic, and Graph Neural Network Algorithms for Community Detection

abstract: Community detection, which involves partitioning nodes within a network, has widespread applications across computational sciences. Modularity-based algorithms identify communities by attempting to maximize the modularity function across network node partitions. Our study assesses the performance of various modularity-based algorithms in obtaining optimal partitions. Our analysis utilizes 104 networks, including both real-world instances from diverse contexts and modular graphs from two families of synthetic benchmarks. We analyze ten inexact modularity-based algorithms against the exact integer programming baseline that globally optimizes modularity. Our comparative analysis includes eight heuristics, two variants of a graph neural network algorithm, and nine variations of the Bayan approximation algorithm. Our findings reveal that the average modularity-based heuristic yields optimal partitions in only 43.9% of the 104 networks analyzed. Graph neural networks and approximate Bayan, on average, achieve optimality on 68.7% and 82.3% of the networks respectively. Additionally, our analysis of three partition similarity metrics exposes substantial dissimilarities between high-modularity sub-optimal partitions and any optimal partition of the networks. We observe that near-optimal partitions are often disproportionately dissimilar to any optimal partition. Taken together, our analysis points to a crucial limitation of the commonly used modularity-based methods: they rarely produce an optimal partition or a partition resembling an optimal partition even on networks with modular structures. If modularity is to be used for detecting communities, we recommend approximate optimization algorithms for a more methodologically sound usage of modularity within its applicability limits.


title: Instilling Inductive Biases with Subnetworks

abstract: Despite the recent success of artificial neural networks on a variety of tasks, we have little knowledge or control over the exact solutions these models implement. Instilling inductive biases -- preferences for some solutions over others -- into these models is one promising path toward understanding and controlling their behavior. Much work has been done to study the inherent inductive biases of models and instill different inductive biases through hand-designed architectures or carefully curated training regimens. In this work, we explore a more mechanistic approach: Subtask Induction. Our method discovers a functional subnetwork that implements a particular subtask within a trained model and uses it to instill inductive biases towards solutions utilizing that subtask. Subtask Induction is flexible and efficient, and we demonstrate its effectiveness with two experiments. First, we show that Subtask Induction significantly reduces the amount of training data required for a model to adopt a specific, generalizable solution to a modular arithmetic task. Second, we demonstrate that Subtask Induction successfully induces a human-like shape bias while increasing data efficiency for convolutional and transformer-based image classification models.


title: Stability of Sequential Lateration and of Stress Minimization in the Presence of Noise

abstract: Sequential lateration is a class of methods for multidimensional scaling where a suitable subset of nodes is first embedded by some method, e.g., a clique embedded by classical scaling, and then the remaining nodes are recursively embedded by lateration. A graph is a lateration graph when it can be embedded by such a procedure. We provide a stability result for a particular variant of sequential lateration. We do so in a setting where the dissimilarities represent noisy Euclidean distances between nodes in a geometric lateration graph. We then deduce, as a corollary, a perturbation bound for stress minimization. To argue that our setting applies broadly, we show that a (large) random geometric graph is a lateration graph with high probability under mild conditions, extending a previous result of Aspnes et al (2006).


title: Similarity Between Two Stochastic Differential Systems

abstract: The main focus of this paper is to explore how much similarity between two stochastic differential systems. Motivated by the conjugate theory of stochastic dynamic systems, we study the relationship between two systems by finding homeomorphic mappings $K$. Particularly, we use the minimizer $K^*$ to measure the degree of similarity. Under appropriate assumptions, we give sufficient and necessary conditions for the existence of the minimizer $K^*$. The former result can be regarded as a strong law of large numbers, while the latter is a stochastic maximum principle. Finally, we provide different examples of stochastic systems and an application to stochastic Hartman Grobman theorem. Thus, the results illustrate what is the similarity, extending the conjugacy in stochastic dynamical systems.


title: Reuse Kernels or Activations? A Flexible Dataflow for Low-latency Spectral CNN Acceleration

abstract: Spectral-domain CNNs have been shown to be more efficient than traditional spatial CNNs in terms of reducing computation complexity. However they come with a `kernel explosion' problem that, even after compression (pruning), imposes a high memory burden and off-chip bandwidth requirement for kernel access. This creates a performance gap between the potential acceleration offered by compression and actual FPGA implementation performance, especially for low-latency CNN inference. In this paper, we develop a principled approach to overcoming this performance gap and designing a low-latency, low-bandwidth, spectral sparse CNN accelerator on FPGAs. First, we analyze the bandwidth-storage tradeoff of sparse convolutional layers and locate communication bottlenecks. We then develop a dataflow for flexibly optimizing data reuse in different layers to minimize off-chip communication. Finally, we propose a novel scheduling algorithm to optimally schedule the on-chip memory access of multiple sparse kernels and minimize read conflicts. On a state-of-the-art FPGA platform, our design reduces data transfers by 42\% with DSP utilization up to 90\% and achieves inference latency of 9 ms for VGG16, compared to the baseline state-of-the-art latency of 68 ms.


title: Emergent AI-Assisted Discourse: Case Study of a Second Language Writer Authoring with ChatGPT

abstract: The rapid proliferation of ChatGPT has incited debates regarding its impact on human writing. Amid concerns about declining writing standards, this study investigates the role of ChatGPT in facilitating academic writing, especially among language learners. Using a case study approach, this study examines the experiences of Kailing, a doctoral student, who integrates ChatGPT throughout their academic writing process. The study employs activity theory as a lens for understanding writing with generative AI tools and data analyzed includes semi-structured interviews, writing samples, and GPT logs. Results indicate that Kailing effectively collaborates with ChatGPT across various writing stages while preserving her distinct authorial voice and agency. This underscores the potential of AI tools such as ChatGPT to enhance academic writing for language learners without overshadowing individual authenticity. This case study offers a critical exploration of how ChatGPT is utilized in the academic writing process and the preservation of a student's authentic voice when engaging with the tool.


title: Kiladze Caldera: A possible "supervolcano" on Pluto*

abstract: In data from the New Horizons encounter with Pluto in 2015, attention was called to a crater named Kiladze and its surroundings because of the water ice spectral properties, which contrast with the primarily methane ice regional surface composition. The water ice carries the spectral signature of an ammoniated compound, similar to that seen at two other sites on Pluto where cryovolcanism has been identified. The faulted structure of Kiladze, including shaping by numerous collapse pits and the distorted shape of the crater, are compatible with the surroundings in Hayabusa Terra, east of Spunik Planitia. They are further compatible with an interpretation as a resurgent caldera formed during a past era of active cryovolcanic period that appears to be significantly more recent than the overall age of the planet's surface, possibly in the last several million years. In view of the size of the caldera and the large scale of the surrounding distribution of water ice, we propose that Kiladze is a "supervolcano" in which one or more explosive events has scattered more than ~1000 km$^{3}$ of icy cryomagma erupted from the interior onto the surface.


title: Eliminating qubit type cross-talk in the $\textit{omg}$ protocol

abstract: The $\textit{omg}$ protocol is a promising paradigm that uses multiple, application-specific qubit subspaces within the Hilbert space of each single atom during quantum information processing. A key assumption for $\textit{omg}$ operation is that a subspace can be accessed independently without deleterious effects on information stored in other subspaces. We find that intensity noise during laser-based quantum gates in one subspace can cause decoherence in other subspaces, potentially complicating $\textit{omg}$ operation. We show, however, that a magnetic-field-induced vector light shift can be used to eliminate this source of decoherence. As this technique requires simply choosing a certain, magnetic field dependent, polarization for the gate lasers it is straightforward to implement and potentially helpful for $\textit{omg}$ based quantum technology.


title: Magnetic field driven Lifshitz transition and one-dimensional Weyl nodes in three-dimensional pentatellurides

abstract: Recent experiments reported that the magnetic field can drive the Lifshitz transition and one-dimensional (1D) Weyl nodes in the quantum limit of three-dimensional pentatellurides, as they own low carrier densities and can achieve the extreme quantum limit at a low magnetic field. In this paper, we will investigate the conditions for the existence of the 1D Weyl nodes and their dc transport properties. We find that in the strong topological insulator (TI) phase of ZrTe5, the formation of the Weyl nodes depends heavily on the carrier density; while in the weak TI phase of HfTe5, the Weyl nodes are more likely to appear. These behaviors are attributed to the fact that in the strong and weak TI phases, the zeroth Landau levels exhibit opposite evolutions with the magnetic field. Moreover, the signatures of the critical fields that characterize the distinct behaviors of the system can be directly captured in the conductivities.


title: Surrogate Active Subspaces for Jump-Discontinuous Functions

abstract: Surrogate modeling and active subspaces have emerged as powerful paradigms in computational science and engineering. Porting such techniques to computational models in the social sciences brings into sharp relief their limitations in dealing with discontinuous simulators, such as Agent-Based Models, which have discrete outputs. Nevertheless, prior applied work has shown that surrogate estimates of active subspaces for such estimators can yield interesting results. But given that active subspaces are defined by way of gradients, it is not clear what quantity is being estimated when this methodology is applied to a discontinuous simulator. We begin this article by showing some pathologies that can arise when conducting such an analysis. This motivates an extension of active subspaces to discontinuous functions, clarifying what is actually being estimated in such analyses. We also conduct numerical experiments on synthetic test functions to compare Gaussian process estimates of active subspaces on continuous and discontinuous functions. Finally, we deploy our methodology on Flee, an agent-based model of refugee movement, yielding novel insights into which parameters of the simulation are most important across 8 displacement crises in Africa and the Middle East.


title: Unlocking Emergent Modularity in Large Language Models

abstract: Modular Neural Networks (MNNs) demonstrate various advantages over monolithic models. Existing MNNs are generally $\textit{explicit}$: their modular architectures are pre-defined, with individual modules expected to implement distinct functions. Recent works reveal that there exists $\textit{implicit}$ modularity in standard pre-trained transformers, namely $\textit{Emergent Modularity}$. They indicate that such modular structures spontaneously exhibit during the early pre-training phase. Despite the benefits of modularity, most Language Models (LMs) are still treated as monolithic models in the pre-train and fine-tune paradigm, with their emergent modularity locked and underutilized. In this work, focusing on unlocking the emergent modularity in LMs, we showcase that standard LMs could be fine-tuned as their Mixture-of-Expert (MoEs) counterparts without introducing any extra parameters. Such MoEs are derived from emergent modularity and are referred to as Emergent MoEs (EMoE). Our experiments demonstrate that fine-tuning EMoE effectively improves downstream in-domain and out-of-domain generalization compared with vanilla fine-tuning. Our analysis and ablation studies further illustrate that it is robust to various configurations and can scale up to Large Language Models (i.e., Llama2-7B and Llama-30B). Code is available at https://github.com/qiuzh20/EMoE.


title: Heterogenous Memory Augmented Neural Networks

abstract: It has been shown that semi-parametric methods, which combine standard neural networks with non-parametric components such as external memory modules and data retrieval, are particularly helpful in data scarcity and out-of-distribution (OOD) scenarios. However, existing semi-parametric methods mostly depend on independent raw data points - this strategy is difficult to scale up due to both high computational costs and the incapacity of current attention mechanisms with a large number of tokens. In this paper, we introduce a novel heterogeneous memory augmentation approach for neural networks which, by introducing learnable memory tokens with attention mechanism, can effectively boost performance without huge computational overhead. Our general-purpose method can be seamlessly combined with various backbones (MLP, CNN, GNN, and Transformer) in a plug-and-play manner. We extensively evaluate our approach on various image and graph-based tasks under both in-distribution (ID) and OOD conditions and show its competitive performance against task-specific state-of-the-art methods. Code is available at \url{https://github.com/qiuzh20/HMA}.


title: Machine Learning in the Quantum Age: Quantum vs. Classical Support Vector Machines

abstract: This work endeavors to juxtapose the efficacy of machine learning algorithms within classical and quantum computational paradigms. Particularly, by emphasizing on Support Vector Machines (SVM), we scrutinize the classification prowess of classical SVM and Quantum Support Vector Machines (QSVM) operational on quantum hardware over the Iris dataset. The methodology embraced encapsulates an extensive array of experiments orchestrated through the Qiskit library, alongside hyperparameter optimization. The findings unveil that in particular scenarios, QSVMs extend a level of accuracy that can vie with classical SVMs, albeit the execution times are presently protracted. Moreover, we underscore that augmenting quantum computational capacity and the magnitude of parallelism can markedly ameliorate the performance of quantum machine learning algorithms. This inquiry furnishes invaluable insights regarding the extant scenario and future potentiality of machine learning applications in the quantum epoch. Colab: https://t.ly/QKuz0


title: Layer-Selective Non-Reciprocal Electric-Field Switching of Magnetism in van der Waals Heterostructure Multiferroics

abstract: Multiferroic materials provide robust and efficient routes for the control of magnetism by electric fields, which has been diligently sought after for a long time. The two-dimensional (2D) vdW multiferroics is a more exciting endeavour. To date, the nonvolatile manipulation of magnetism through ferroelectric polarization still remains challenging in a 2D vdW heterostructure multiferroic. Here, we report a van der Waals (vdW) heterostructure multiferroic comprising atomically thin layered antiferromagnet (AFM) CrI3 and ferroelectric (FE) {\alpha}-In2Se3. We demonstrate anomalously layer-selective nonreciprocal and nonvolatile electric-field control of magnetization by the ferroelectric polarization. The nonreciprocal electric control originates from an intriguing antisymmetric enhancement of interlayer ferromagnetic coupling in the opposite ferroelectric polarization configurations of {\alpha}-In2Se3, which favor to selectively switch the spins in the second layer. Our work provides numerous possibilities for creating diverse heterostructure multiferroics at the limit of few atomic layers for multi-stage magnetic memories and brain inspired in-memory computing.


title: Towards Training-free Open-world Segmentation via Image Prompt Foundation Models

abstract: The realm of computer vision has witnessed a paradigm shift with the advent of foundational models, mirroring the transformative influence of large language models in the domain of natural language processing. This paper delves into the exploration of open-world segmentation, presenting a novel approach called Image Prompt Segmentation (IPSeg) that harnesses the power of vision foundational models. IPSeg lies the principle of a training-free paradigm, which capitalizes on image prompt techniques. Specifically, IPSeg utilizes a single image containing a subjective visual concept as a flexible prompt to query vision foundation models like DINOv2 and Stable Diffusion. Our approach extracts robust features for the prompt image and input image, then matches the input representations to the prompt representations via a novel feature interaction module to generate point prompts highlighting target objects in the input image. The generated point prompts are further utilized to guide the Segment Anything Model to segment the target object in the input image. The proposed method stands out by eliminating the need for exhaustive training sessions, thereby offering a more efficient and scalable solution. Experiments on COCO, PASCAL VOC, and other datasets demonstrate IPSeg's efficacy for flexible open-world segmentation using intuitive image prompts. This work pioneers tapping foundation models for open-world understanding through visual concepts conveyed in images.


title: Iterative Clustering Material Decomposition Aided by Empirical Spectral Correction for High-Resolution Photon-Counting Detectors in Micro-CT

abstract: Photon counting detectors (PCDs) offer promising advancements in computed tomography (CT) imaging by enabling the quantification and 3D imaging of contrast agents and tissue types through multi-energy projections. However, the accuracy of these decomposition methods hinges on precise composite spectral attenuation values that one must reconstruct from spectral micro CT. Factors such as surface defects, local temperature, signal amplification, and impurity levels can cause variations in detector efficiency between pixels, leading to significant quantitative errors. In addition, some inaccuracies such as the charge-sharing effects in PCDs are amplified with a high Z sensor material and also with a smaller detector pixels that are preferred for micro CT. In this work, we propose a comprehensive approach that combines practical instrumentation and measurement strategies leading to the quantitation of multiple materials within an object in a spectral micro CT with a photon counting detector. Our Iterative Clustering Material Decomposition (ICMD) includes an empirical method for detector spectral response corrections, cluster analysis and multi-step iterative material decomposition. Utilizing a CdTe-1mm Medipix detector with a 55$\mu$m pitch, we demonstrate the quantitatively accurate decomposition of several materials in a phantom study, where the sample includes mixtures of material, soft material and K-edge materials. We also show an example of biological sample imaging and separating three distinct types of tissue in mouse: muscle, fat and bone. Our experimental results show that the combination of spectral correction and high-dimensional data clustering enhances decomposition accuracy and reduces noise in micro CT. This ICMD allows for quantitative separation of more than three materials including mixtures and also effectively separates multi-contrast agents.

categories: physics.med-ph eess.IV physics.ins-det physics.optics


title: Global solutions of 2D non-resistive MHD system with constant background magnetic vorticity

abstract: This paper investigates the stabilization effect of a background magnetic vorticity on electrically conducting fluids. By exploring the dissipation nature of the linearized equations, we prove the global existence of smooth solutions to the two-dimensional incompressible viscous and non-resistive MHD system.


title: Identifiability of the Multinomial Processing Tree-IRT model for the Philadelphia Naming Test

abstract: Naming tests represent an essential tool in gauging the severity of aphasia and monitoring the trajectory of recovery for individuals afflicted with this debilitating condition. In these assessments, patients are presented with images corresponding to common nouns, and their responses are evaluated for accuracy. The Philadelphia Naming Test (PNT) stands as a paragon in this domain, offering nuanced insights into the type of errors made in responses. In a groundbreaking advancement, Walker et al. (2018) introduced a model rooted in Item Response Theory and multinomial processing trees (MPT-IRT). This innovative approach seeks to unravel the intricate mechanisms underlying the various errors patients make when responding to an item, aiming to pinpoint the specific stage of word production where a patient's capability falters. However, given the sophisticated nature of the IRT-MPT model proposed by Walker et al. (2018), it is imperative to scrutinize both its conceptual as well as its statistical validity. Our endeavor here is to closely examine the model's formulation to ensure its parameters are identifiable as a first step in evaluating its validity.


title: Low energy electrodynamics and a hidden Fermi liquid in the heavy-fermion CeCoIn$_5$

abstract: We present time-domain THz spectroscopy of thin films of the heavy-fermion superconductor CeCoIn$_5$. The complex optical conductivity is analyzed through a Drude model and extended Drude model analysis. Below the $\approx$ 40 K Kondo coherence temperature, a narrow Drude-like peak forms, as the result of the $f$ orbital - conduction electron hybridization and the formation of the heavy-fermion state. Via an extended Drude model analysis, we measure the frequency-dependent scattering rate ($1/ \tau $) and effective mass ($m^*/m_b$). This scattering rate shows a linear dependence on temperature, which matches the dependence of the resistivity as expected. Nonetheless, the width of the low-frequency Drude peak (characterized by a {\it renormalized} quasiparticle scattering rate ($1 / \tau^* = m_b/ m^* \tau $) does show a $T^2$ dependence giving evidence for a hidden Fermi state.


title: Modeling and Analysis of Near-Field ISAC

abstract: As the technical trends for the next-generation wireless network significantly extend the near-field region, a performance reevaluation of integrated sensing and communications (ISAC) with an appropriate channel model to account for the effects introduced by the near field becomes essential. In this paper, a near-field ISAC framework is proposed for both downlink and uplink scenarios based on an accurate channel model. A uniform planar array is equipped at a base station, where the impacts of the effective aperture and polarization of antennas are considered. For the downlink case, three distinct designs are studied: a communications-centric (C-C) design, a sensing-centric (S-C) design, and a Pareto optimal design. Regarding the uplink case, the C-C design, the S-C design and a time-sharing strategy are considered. Within each design, sensing rates (SRs) and communication rates (CRs) are derived. To gain further insights, high signal-to-noise ratio slopes and rate scaling laws concerning the number of antennas are examined. The attainable near-field SR-CR regions of ISAC and the baseline frequency-division S&C are also characterized. Numerical results reveal that, as the number of antennas in the array grows, the SRs and CRs under our accurate model converge to finite values, while those under conventional far- and near-field models exhibit unbounded growth, highlighting the importance of precisely modeling the channels for near-field ISAC.


title: Milnor's invariants for knots and links in closed orientable 3-manifolds

abstract: In his 1957 paper, John Milnor introduced a collection of invariants for links in $S^3$ detecting higher-order linking phenomena by studying lower central quotients of link groups and comparing them to those of the unlink. These invariants, now known as Milnor's $\overline{\mu}$-invariants, were later shown to be topological link concordance invariants and have since inspired decades of consequential research. Milnor's invariants have many interpretations, and there have been numerous attempts to extend them to other settings. In this paper, we extend Milnor's invariants to topological concordance invariants of knots and links in general closed orientable 3-manifolds. These invariants unify and generalize all previous versions of Milnor's invariants in dimension 3, including Milnor's original invariants for links in $S^3$.


title: Taking apart squeezed light

abstract: We develop a formalism to describe squeezed light with large spectral-temporal correlations. This description is valid in all regimes, but is especially applicable in the long pulse to continuous-wave limit where the photon density at any particular time is small, although the total number of photons can be quite large. Our method relies on the Whittaker-Shannon interpolation formula applied to the joint temporal amplitude of squeezed light, which allows us to "take apart" the squeezed state. This provides a local description of the state and its photon statistics, making the underlying physics more transparent than does the use of the Schmidt decomposition. The formalism can easily be extended to more exotic nonclassical states where a Schmidt decomposition is not possible.


title: NuclearQA: A Human-Made Benchmark for Language Models for the Nuclear Domain

abstract: As LLMs have become increasingly popular, they have been used in almost every field. But as the application for LLMs expands from generic fields to narrow, focused science domains, there exists an ever-increasing gap in ways to evaluate their efficacy in those fields. For the benchmarks that do exist, a lot of them focus on questions that don't require proper understanding of the subject in question. In this paper, we present NuclearQA, a human-made benchmark of 100 questions to evaluate language models in the nuclear domain, consisting of a varying collection of questions that have been specifically designed by experts to test the abilities of language models. We detail our approach and show how the mix of several types of questions makes our benchmark uniquely capable of evaluating models in the nuclear domain. We also present our own evaluation metric for assessing LLM's performances due to the limitations of existing ones. Our experiments on state-of-the-art models suggest that even the best LLMs perform less than satisfactorily on our benchmark, demonstrating the scientific knowledge gap of existing LLMs.


title: Intelligent Software Tooling for Improving Software Development

abstract: Software has eaten the world with many of the necessities and quality of life services people use requiring software. Therefore, tools that improve the software development experience can have a significant impact on the world such as generating code and test cases, detecting bugs, question and answering, etc., The success of Deep Learning (DL) over the past decade has shown huge advancements in automation across many domains, including Software Development processes. One of the main reasons behind this success is the availability of large datasets such as open-source code available through GitHub or image datasets of mobile Graphical User Interfaces (GUIs) with RICO and ReDRAW to be trained on. Therefore, the central research question my dissertation explores is: In what ways can the software development process be improved through leveraging DL techniques on the vast amounts of unstructured software engineering artifacts?


title: Spatial HuBERT: Self-supervised Spatial Speech Representation Learning for a Single Talker from Multi-channel Audio

abstract: Self-supervised learning has been used to leverage unlabelled data, improving accuracy and generalisation of speech systems through the training of representation models. While many recent works have sought to produce effective representations across a variety of acoustic domains, languages, modalities and even simultaneous speakers, these studies have all been limited to single-channel audio recordings. This paper presents Spatial HuBERT, a self-supervised speech representation model that learns both acoustic and spatial information pertaining to a single speaker in a potentially noisy environment by using multi-channel audio inputs. Spatial HuBERT learns representations that outperform state-of-the-art single-channel speech representations on a variety of spatial downstream tasks, particularly in reverberant and noisy environments. We also demonstrate the utility of the representations learned by Spatial HuBERT on a speech localisation downstream task. Along with this paper, we publicly release a new dataset of 100 000 simulated first-order ambisonics room impulse responses.


title: Metallised 3D printed plastic resonator demonstrates superconductivity below 4 K

abstract: We report the first observation of a superconducting transition in a 3D printed, metallised-plastic device. A cylindrical cavity is 3D printed from a photosensitive polymer resin and then a 20 $\mu$m layer of tin deposited. A resonant TE microwave mode at 13.41 GHz is observed to reduce its losses by an order of magnitude once it is cooled below 3.72 K; the superconducting transition temperature of tin, with the mode's $Q$ factor increasing from $2.7\times10^4$ to $4.0\times10^5$.


title: Resonance fluorescence in $\Lambda$, $V$ and $\Xi$ -- type three-level configurations

abstract: We theoretically study the resonance fluorescence spectra of the lambda ($\Lambda$), vee ($V$) and cascade ($\Xi$) type three-level configurations. It is shown that each system with two detuning frequencies can be modelled using the $SU(3)$ symmetry group to derive a generalized optical Bloch equation. For each configuration, this equation is solved to calculate the two-time correlation function by invoking the quantum regression theorem. The incoherent part of the power spectra gives the characteristic multi-peak fluorescence profiles which are different for different configurations. We also discuss how the dressed-state structure of such system can explain the origin of quintuplet profile of the fluorescent spectrum.


title: Path Following Control of Automated Vehicle Considering Uncertainties and Disturbances with Parametric Varying

abstract: Automated Vehicle Path Following Control (PFC) is an advanced control system that can regulate the vehicle into a collision-free region in the presence of other objects on the road. Common collision avoidance functions, such as forward collision warning and automatic emergency braking, have recently been developed and equipped on production vehicles. However, it is impossible to develop a perfectly precise vehicle model when the vehicle is driving. Most PFCs did not consider uncertainties in the vehicle model, external disturbances, and parameter variations at the same time. To address the issues associated with this important feature and function in autonomous driving, a new vehicle PFC is proposed using a robust model predictive control (MPC) design technique based on matrix inequality and the theoretical approach of the hybrid $\&$ switched system. The proposed methodology requires a combination of continuous and discrete states, e.g. regulating the continuous states of the AV (e.g., velocity and yaw angle) and discrete switching of the control strategy that affects the dynamic behaviors of the AV under different driving speeds. Firstly, considering bounded model uncertainties, and norm-bounded external disturbances, the system states and control matrices are modified.


title: Destabilization of synchronous periodic solutions for patch models: a criterion by period functions

abstract: In this paper, we study the destabilization of synchronous periodic solutions for patch models. By applying perturbation theory for matrices, we derive asymptotic expressions of the Floquet spectra and provide a destabilization criterion for synchronous periodic solutions arising from closed orbits or degenerate Hopf bifurcations in terms of period functions. Finally, we apply the main results to the well-known two-patch Holling-Tanner model.


title: Dissipative Effects as New Observables for Cosmological Phase Transitions

abstract: We show that dissipative effects during cosmological first order phase transitions lead to a frequency-dependent suppression for the usually dominant gravitational wave production from sound waves, through an analytical modelling of the source based on the sound shell model. This damping effect is more pronounced for high frequencies or small scales, and modifies the spectral shape and possibly the peak frequency. These modifications can be used to reveal more information about the underlying particle interactions, serving as a way of breaking the parameter degeneracy that plagues particle physics studies based on the perfect fluid approximation.


title: Using Audio Data to Facilitate Depression Risk Assessment in Primary Health Care

abstract: Telehealth is a valuable tool for primary health care (PHC), where depression is a common condition. PHC is the first point of contact for most people with depression, but about 25% of diagnoses made by PHC physicians are inaccurate. Many other barriers also hinder depression detection and treatment in PHC. Artificial intelligence (AI) may help reduce depression misdiagnosis in PHC and improve overall diagnosis and treatment outcomes. Telehealth consultations often have video issues, such as poor connectivity or dropped calls. Audio-only telehealth is often more practical for lower-income patients who may lack stable internet connections. Thus, our study focused on using audio data to predict depression risk. The objectives were to: 1) Collect audio data from 24 people (12 with depression and 12 without mental health or major health condition diagnoses); 2) Build a machine learning model to predict depression risk. TPOT, an autoML tool, was used to select the best machine learning algorithm, which was the K-nearest neighbors classifier. The selected model had high performance in classifying depression risk (Precision: 0.98, Recall: 0.93, F1-Score: 0.96). These findings may lead to a range of tools to help screen for and treat depression. By developing tools to detect depression risk, patients can be routed to AI-driven chatbots for initial screenings. Partnerships with a range of stakeholders are crucial to implementing these solutions. Moreover, ethical considerations, especially around data privacy and potential biases in AI models, need to be at the forefront of any AI-driven intervention in mental health care.


title: Optical Regulation of Chiral-Induced Spin Selectivity

abstract: We present a non-perturbative theory that describes how light regulates chiral-induced spin selectivity (CISS) from the perspective of strong light-matter interactions. The research results indicate that 1) light can have opposite effects on the CISS, 2) the difference in CISS is caused by the steady states of nuclei coupled to spin electrons and 3) this steady state differences are caused by the different light-induced Lorentz forces felt by spin-up and spin-down electrons. The fundamental reason for these results is the impact of light on spin-orbital coupling (SOC), which is a complex process. This theoretical framework is verified by the calculations of Floquet SOC non-adiabatic nuclear dynamics.


title: Enhanced Transformer Architecture for Natural Language Processing

abstract: Transformer is a state-of-the-art model in the field of natural language processing (NLP). Current NLP models primarily increase the number of transformers to improve processing performance. However, this technique requires a lot of training resources such as computing capacity. In this paper, a novel structure of Transformer is proposed. It is featured by full layer normalization, weighted residual connection, positional encoding exploiting reinforcement learning, and zero masked self-attention. The proposed Transformer model, which is called Enhanced Transformer, is validated by the bilingual evaluation understudy (BLEU) score obtained with the Multi30k translation dataset. As a result, the Enhanced Transformer achieves 202.96% higher BLEU score as compared to the original transformer with the translation dataset.


title: Open-Structure: a Structural Benchmark Dataset for SLAM Algorithms

abstract: This paper introduces a new benchmark dataset, Open-Structure, for evaluating visual odometry and SLAM methods, which directly equips point and line measurements, correspondences, structural associations, and co-visibility factor graphs instead of providing raw images. Based on the proposed benchmark dataset, these 2D or 3D data can be directly input to different stages of SLAM pipelines to avoid the impact of the data preprocessing modules in ablation experiments. First, we propose a dataset generator for real-world and simulated scenarios. In real-world scenes, it maintains the same observations and occlusions as actual feature extraction results. Those generated simulation sequences enhance the dataset's diversity by introducing various carefully designed trajectories and observations. Second, a SLAM baseline is proposed using our dataset to evaluate widely used modules in camera pose tracking, parametrization, and optimization modules. By evaluating these state-of-the-art algorithms across different scenarios, we discern each module's strengths and weaknesses within the camera tracking and optimization process. Our dataset and baseline are available at \url{https://github.com/yanyan-li/Open-Structure}.


title: An explicit formula for the Hilbert series of a partial flag variety

abstract: For a semisimple, simply-connected linear algebraic group, $G$, and parabolic subgroup, $P\subseteq G$, we use the fact that the Hilbert polynomial of the equivariant embedding of $G/P$ is equal to the Hilbert function to compute an explicit formula for the Hilbert series of $G/P$ in terms of the dimensions of finitely many irreducible representations of $G$. As an example, we compute the Hilbert series of the adjoint variety of $SL(n+1,\mathbb{C})$. We conclude by computing the linear term of the numerator of the Hilbert series of any fundamental representation in type $A$.


title: General approach to realize optimized nonadiabatic holonomic quantum computation

abstract: The nonadiabatic holonomic quantum computation has attracted much attention in the quantum computation realm, however it is required to satisfy the cyclic evolution and parallel transport conditions strictly. In order to relax the parallel condition, the optimized nonadiabatic holonomic quantum computation was proposed which can be more possible to combine with most of the optimization schemes. In this paper, we put forward the general form of reverse Hamiltonian to realize the optimized nonadiabatic holonomic computation gate. The Hamiltonian is only the function of path parameters in projective Hilbert space, hence, we can realize arbitrary holonomic gates with any desired evolution path. As same as other reverse approach, by using our reverse Hamiltonian, we also can select some special evolution path to decrease the path length and the pulse area to decrease the evolution time. Therefore our approach might give a new horizon to realize high-fidelity quantum gate.


title: Optimizing the random search of a finite-lived target by a L\'evy flight

abstract: In many random search processes of interest in chemistry, biology or during rescue operations, an entity must find a specific target site before the latter becomes inactive, no longer available for reaction or lost. We present exact results on a minimal model system, a one-dimensional searcher performing a discrete time random walk or L\'evy flight. In contrast with the case of a permanent target, the capture probability and the conditional mean first passage time can be optimized. The optimal L\'evy index takes a non-trivial value, even in the long lifetime limit, and exhibits an abrupt transition as the initial distance to the target is varied. Depending on the target lifetime, this transition is discontinuous or continuous, separated by a non-conventional tricritical point. These results pave the way to the optimization of search processes under time constraints.


title: Intent Detection and Slot Filling for Home Assistants: Dataset and Analysis for Bangla and Sylheti

abstract: As voice assistants cement their place in our technologically advanced society, there remains a need to cater to the diverse linguistic landscape, including colloquial forms of low-resource languages. Our study introduces the first-ever comprehensive dataset for intent detection and slot filling in formal Bangla, colloquial Bangla, and Sylheti languages, totaling 984 samples across 10 unique intents. Our analysis reveals the robustness of large language models for tackling downstream tasks with inadequate data. The GPT-3.5 model achieves an impressive F1 score of 0.94 in intent detection and 0.51 in slot filling for colloquial Bangla.


title: Twisted Alexander vanishing order of knots

abstract: Based on a vanishing theorem for non-fibered knots due to Friedl and Vidussi, we define the twisted Alexander vanishing order of a knot to be the order of the smallest finite group such that the corresponding twisted Alexander polynomial is zero. In this paper, we show its basic properties, and provide several explicit values for knots with $10$ or fewer crossings. Moreover, we characterize a finite group admitting the zero-twisted Alexander polynomial.


title: Tracking quantum clouds expansion in tunneling ionization

abstract: We study formation and evolution of the electron wave-packets in the process of strong field ionization of various atomic targets. Our study is based on reformulating the problem in terms of conditional amplitudes, i.e., the amplitudes describing outcomes of measurements of different observables provided that the electron is found in the ionized state after the end of the pulse. By choosing the electron coordinate as such an observable, we were able to define unambiguously the notion of the ionized wave-packets and to study their formation and spread. We show that the evolution of the ionized wave packets obtained in this way follows closely the classical trajectories at the initial stages of evolution providing an {\it ab initio} quantum-mechanical confirmation of the basic premises of the Classical Monte Carlo Calculations approach. At the later stages of evolution the picture becomes more complicated due to the wave packets' spread and due to interference of wave packets originating from different field maxima. Our approach also allowed us to obtain information about the coordinate and velocity electron distributions at the tunnel exit.


title: The Levi-Civita connections of manifolds with prescribed optical geometries

abstract: We explicitly derive the Christoffel symbols in terms of adapted frame fields for the Levi-Civita connection of a Lorentzian $n$-manifold $(M, g)$, equipped with a prescribed optical geometry of K\"ahler-Sasaki type. The formulas found in this paper have several important applications, such as determining the geometric invariants of Lorentzian manifolds with prescribed optical geometries or solving curvature constraints.


title: Fast and Simple Spectral Clustering in Theory and Practice

abstract: Spectral clustering is a popular and effective algorithm designed to find $k$ clusters in a graph $G$. In the classical spectral clustering algorithm, the vertices of $G$ are embedded into $\mathbb{R}^k$ using $k$ eigenvectors of the graph Laplacian matrix. However, computing this embedding is computationally expensive and dominates the running time of the algorithm. In this paper, we present a simple spectral clustering algorithm based on a vertex embedding with $O(\log(k))$ vectors computed by the power method. The vertex embedding is computed in nearly-linear time with respect to the size of the graph, and the algorithm provably recovers the ground truth clusters under natural assumptions on the input graph. We evaluate the new algorithm on several synthetic and real-world datasets, finding that it is significantly faster than alternative clustering algorithms, while producing results with approximately the same clustering accuracy.


title: A BBGKY-like Hierarchy for Quantum Field Theories

abstract: We present a Hamiltonian method of constructing BBGKY-like hierarchies for quantum field theories. With suitable choices, our method creates a hierarchical system of evolution equations for the k-th order reduced density matrices. These equations can be closed at finite order using methods developed for the classical BBGKY hierarchy to give non-perturbative approximations for the full quantum equations of motion. Classical observables can then be numerically computed from these approximate equations, providing an analytically tractable method of modeling high-energy environments where quantum effects play a pronounced role.


title: MASON-NLP at eRisk 2023: Deep Learning-Based Detection of Depression Symptoms from Social Media Texts

abstract: Depression is a mental health disorder that has a profound impact on people's lives. Recent research suggests that signs of depression can be detected in the way individuals communicate, both through spoken words and written texts. In particular, social media posts are a rich and convenient text source that we may examine for depressive symptoms. The Beck Depression Inventory (BDI) Questionnaire, which is frequently used to gauge the severity of depression, is one instrument that can aid in this study. We can narrow our study to only those symptoms since each BDI question is linked to a particular depressive symptom. It's important to remember that not everyone with depression exhibits all symptoms at once, but rather a combination of them. Therefore, it is extremely useful to be able to determine if a sentence or a piece of user-generated content is pertinent to a certain condition. With this in mind, the eRisk 2023 Task 1 was designed to do exactly that: assess the relevance of different sentences to the symptoms of depression as outlined in the BDI questionnaire. This report is all about how our team, Mason-NLP, participated in this subtask, which involved identifying sentences related to different depression symptoms. We used a deep learning approach that incorporated MentalBERT, RoBERTa, and LSTM. Despite our efforts, the evaluation results were lower than expected, underscoring the challenges inherent in ranking sentences from an extensive dataset about depression, which necessitates both appropriate methodological choices and significant computational resources. We anticipate that future iterations of this shared task will yield improved results as our understanding and techniques evolve.