title: A minimal and non-alternative realisation of the Cayley plane

abstract: The compact 16-dimensional Moufang plane, also known as the Cayley plane, has traditionally been defined through the lens of octonionic geometry. In this study, we present a novel approach, demonstrating that the Cayley plane can be defined in an equally clean, straightforward and more economic way using two different division and composition algebras: the paraoctonions and the Okubo algebra. The result is quite surprising since paraoctonions and Okubo algebra possess a weaker algebraic structure than the octonions, since they are non-alternative and do not uphold the Moufang identities. Intriguingly, the real Okubo algebra has $\text{SU}\left(3\right)$ as automorphism group, which is a classical Lie group, while octonions and paraoctonions have an exceptional Lie group of type $\text{G}_{2}$. This is remarkable, given that the projective plane defined over the real Okubo algebra is nevertheless isomorphic and isometric to the octonionic projective plane which is at the very heart of the geometric realisations of all types of exceptional Lie groups. Despite its historical ties with octonionic geometry, our research underscores the real Okubo algebra as the weakest algebraic structure allowing the definition of the compact 16-dimensional Moufang plane.


title: Multiscale Modeling with Differential Equations

abstract: Many physical systems are governed by ordinary or partial differential equations (see, for example, Chapter ''Differential equations'', ''System of Differential Equations''). Typically the solution of such systems are functions of time or of a single space variable (in the case of ODE's), or they depend on multidimensional space coordinates or on space and time (in the case of PDE's). In some cases, the solutions may depend on several time or space scales. An example governed by ODE's is the damped harmonic oscillator, in the two extreme cases of very small or very large damping, the cardiovascular system, where the thickness of the arteries and veins varies from centimeters to microns, shallow water equations, which are valid when water depth is small compared to typical wavelength of surface waves, and sorption kinetics, in which the range of interaction of a surfactant with an air bubble is much smaller than the size of the bubble itself. In all such cases a detailed simulation of the models which resolves all space or time scales is often inefficient or intractable, and usually even unnecessary to provide a reasonable description of the behavior of the system. In the Chapter ''Multiscale modeling with differential equations'' we present examples of systems described by ODE's and PDE's which are intrinsically multiscale, and illustrate how suitable modeling provide an effective way to capture the essential behavior of the solutions of such systems without resolving the small scales.


title: High-efficiency, high-speed, and low-noise photonic quantum memory

abstract: We present a demonstration of simultaneous high-efficiency, high-speed, and low-noise operation of a photonic quantum memory. By leveraging controllable collisional dephasing in a neutral barium atomic vapor, we demonstrate a significant improvement in memory efficiency and bandwidth over existing techniques. We achieve greater than 95% storage efficiency and 26% total efficiency of 880 GHz bandwidth photons, with $\mathcal{O}(10^{-5})$ noise photons per retrieved pulse. These ultrabroad bandwidths enable rapid quantum information processing and contribute to the development of practical quantum memories with potential applications in quantum communication, computation, and networking.


title: Rapid pre-merger localization of binary neutron stars in third generation gravitational wave detectors

abstract: Pre-merger localization of binary neutron stars (BNSs) is one of the most important scientific goals for the third generation (3G) gravitational wave (GW) detectors. It will enable the electromagnetic observation of the whole process of BNS coalescence, especially for the pre-merger and merger phases which have not been observed yet, opening a window for deeper understandings of compact objects. To reach this goal, we describe a novel combination of multi-band matched filtering and semi-analytical localization algorithms to achieve early-warning localization of long BNS signals in 3G detectors. Using our method we are able to efficiently simulate one month of observations with a three-detector 3G network, and show that it is possible to provide accurate sky localizations more than 30 minutes before the merger. Our simulation shows that there could be ~ 10 (~ 100) BNS events localized within 100 deg2, 20 (6) minutes before merger, per month of observation.


title: AdLER: Adversarial Training with Label Error Rectification for One-Shot Medical Image Segmentation

abstract: Accurate automatic segmentation of medical images typically requires large datasets with high-quality annotations, making it less applicable in clinical settings due to limited training data. One-shot segmentation based on learned transformations (OSSLT) has shown promise when labeled data is extremely limited, typically including unsupervised deformable registration, data augmentation with learned registration, and segmentation learned from augmented data. However, current one-shot segmentation methods are challenged by limited data diversity during augmentation, and potential label errors caused by imperfect registration. To address these issues, we propose a novel one-shot medical image segmentation method with adversarial training and label error rectification (AdLER), with the aim of improving the diversity of generated data and correcting label errors to enhance segmentation performance. Specifically, we implement a novel dual consistency constraint to ensure anatomy-aligned registration that lessens registration errors. Furthermore, we develop an adversarial training strategy to augment the atlas image, which ensures both generation diversity and segmentation robustness. We also propose to rectify potential label errors in the augmented atlas images by estimating segmentation uncertainty, which can compensate for the imperfect nature of deformable registration and improve segmentation authenticity. Experiments on the CANDI and ABIDE datasets demonstrate that the proposed AdLER outperforms previous state-of-the-art methods by 0.7% (CANDI), 3.6% (ABIDE "seen"), and 4.9% (ABIDE "unseen") in segmentation based on Dice scores, respectively. The source code will be available at https://github.com/hsiangyuzhao/AdLER.


title: Two-Moment Neutrino Flavor Transformation with applications to the Fast Flavor Instability in Neutron Star Mergers

abstract: Multi-messenger astrophysics has produced a wealth of data with much more to come in the future. This enormous data set will reveal new insights into the physics of core collapse supernovae, neutron star mergers, and many other objects where it is actually possible, if not probable, that new physics is in operation. To tease out different possibilities, we will need to analyze signals from photons, neutrinos, gravitational waves, and chemical elements. This task is made all the more difficult when it is necessary to evolve the neutrino component of the radiation field and associated quantum-mechanical property of flavor in order to model the astrophysical system of interest -- a numerical challenge that has not been addressed to this day. In this work, we take a step in this direction by adopting the technique of angular-integrated moments with a truncated tower of dynamical equations and a closure, convolving the flavor-transformation with spatial transport to evolve the neutrino radiation quantum field. We show that moments capture the dynamical features of fast flavor instabilities in a variety of systems, although our technique is by no means a universal blueprint for solving fast flavor transformation. To evaluate the effectiveness of our moment results, we compare to a more precise particle-in-cell method. Based on our results, we propose areas for improvement and application to complementary techniques in the future.


title: Evading no-go for PBH formation and production of SIGWs using Multiple Sharp Transitions in EFT of single field inflation

abstract: Deploying \textit{multiple sharp transitions} (MSTs) under a unified framework, we investigate the formation of Primordial Black Holes (PBHs) and the production of Scalar Induced Gravitational Waves (SIGWs) by incorporating one-loop corrected renormalized-resummed scalar power spectrum. With effective sound speed parameter, $1 \leq c_s \leq 1.17$, the direct consequence is the generation of PBH masses spanning $M_{\rm PBH}\sim{\cal O}(10^{-31}M_{\odot}- 10^{4}M_{\odot})$, thus evading well known \textit{No-go theorem} on PBH mass. Our results align coherently with the extensive NANOGrav 15-year data and the sensitivities outlined by other terrestrial and space-based experiments (e.g.: LISA, HLVK, BBO, HLV(O3), etc.).


title: Deep-Learning Framework for Optimal Selection of Soil Sampling Sites

abstract: This work leverages the recent advancements of deep learning in image processing to find optimal locations that present the important characteristics of a field. The data for training are collected at different fields in local farms with five features: aspect, flow accumulation, slope, NDVI (normalized difference vegetation index), and yield. The soil sampling dataset is challenging because the ground truth is highly imbalanced binary images. Therefore, we approached the problem with two methods, the first approach involves utilizing a state-of-the-art model with the convolutional neural network (CNN) backbone, while the second is to innovate a deep-learning design grounded in the concepts of transformer and self-attention. Our framework is constructed with an encoder-decoder architecture with the self-attention mechanism as the backbone. In the encoder, the self-attention mechanism is the key feature extractor, which produces feature maps. In the decoder, we introduce atrous convolution networks to concatenate, fuse the extracted features, and then export the optimal locations for soil sampling. Currently, the model has achieved impressive results on the testing dataset, with a mean accuracy of 99.52%, a mean Intersection over Union (IoU) of 57.35%, and a mean Dice Coefficient of 71.47%, while the performance metrics of the state-of-the-art CNN-based model are 66.08%, 3.85%, and 1.98%, respectively. This indicates that our proposed model outperforms the CNN-based method on the soil-sampling dataset. To the best of our knowledge, our work is the first to provide a soil-sampling dataset with multiple attributes and leverage deep learning techniques to enable the automatic selection of soil-sampling sites. This work lays a foundation for novel applications of data science and machine-learning technologies to solve other emerging agricultural problems.


title: Constraining broad photon spectrum injections from exotic and astrophysical sources

abstract: We study the evolution of photon injections with a power-law type spectrum inserted at various epochs of the universe, and obtain constraints on their parameter space from multiple different cosmological probes. Our work is motivated by the realistic possibility of having extended photon spectra from astrophysical and exotic sources. Going beyond a $\delta$-function like approximation, the physics becomes richer and the constraining power of cosmological probes starts to depend on the photon injection history in a complex way. As a toy model, we first consider a decaying particle scenario, and then generalize to a more model independent power law type injection in redshift. Different combinations of our parameters can be mapped to a wide variety of realistic astrophysical and exotic sources, providing useful benchmarks for study in future work.


title: Pure Message Passing Can Estimate Common Neighbor for Link Prediction

abstract: Message Passing Neural Networks (MPNNs) have emerged as the {\em de facto} standard in graph representation learning. However, when it comes to link prediction, they often struggle, surpassed by simple heuristics such as Common Neighbor (CN). This discrepancy stems from a fundamental limitation: while MPNNs excel in node-level representation, they stumble with encoding the joint structural features essential to link prediction, like CN. To bridge this gap, we posit that, by harnessing the orthogonality of input vectors, pure message-passing can indeed capture joint structural features. Specifically, we study the proficiency of MPNNs in approximating CN heuristics. Based on our findings, we introduce the Message Passing Link Predictor (MPLP), a novel link prediction model. MPLP taps into quasi-orthogonal vectors to estimate link-level structural features, all while preserving the node-level complexities. Moreover, our approach demonstrates that leveraging message-passing to capture structural features could offset MPNNs' expressiveness limitations at the expense of estimation variance. We conduct experiments on benchmark datasets from various domains, where our method consistently outperforms the baseline methods.


title: Improved stability ranges in the homology of Torelli and congruence subgroups

abstract: We improve the central stability ranges for H2(Torelli subgroup of Aut(Fn)'s) as GL_n(Z)-representations, H2(Torelli subgroup of mapping class groups) as Sp_2g(Z)-representations, Hk(congruence subgroups of GL_n(R)'s) as SL_n^U(R/I)-representations.


title: Robust Joint Active-Passive Beamforming Design for IRS-Assisted ISAC Systems

abstract: The idea of Integrated Sensing and Communication (ISAC) offers a promising solution to the problem of spectrum congestion in future wireless networks. This paper studies the integration of intelligent reflective surfaces (IRS) with ISAC systems to improve the performance of radar and communication services. Specifically, an IRS-assisted ISAC system is investigated where a multi-antenna base station (BS) performs multi-target detection and multi-user communication. A low complexity and efficient joint optimization of transmit beamforming at the BS and reflective beamforming at the IRS is proposed. This is done by jointly optimizing the BS beamformers and IRS reflection coefficients to minimize the Frobenius distance between the covariance matrices of the transmitted signal and the desired radar beam pattern. This optimization aims to satisfy the signal-to-interference-and-noise ratio (SINR) constraints of the communication users, the total transmit power limit at the BS, and the unit modulus constraints of the IRS reflection coefficients. To address the resulting complex non-convex optimization problem, an efficient alternating optimization (AO) algorithm combining fractional programming (FP), semi-definite programming (SDP), and second order cone programming (SOCP) methods is proposed. Furthermore, we propose robust beamforming optimization for IRS-ISAC systems by adapting the proposed optimization algorithm to the IRS channel uncertainties that may exist in practical systems. Using advanced tools from convex optimization theory, the constraints containing uncertainty are transformed to their equivalent linear matrix inequalities (LMIs) to account for the channels' uncertainty radius. The results presented quantify the benefits of IRS-ISAC systems under various conditions and demonstrate the effectiveness of the proposed algorithm.


title: ADI schemes for heat equations with irregular boundaries and interfaces in 3D with applications

abstract: In this paper, efficient alternating direction implicit (ADI) schemes are proposed to solve three-dimensional heat equations with irregular boundaries and interfaces. Starting from the well-known Douglas-Gunn ADI scheme, a modified ADI scheme is constructed to mitigate the issue of accuracy loss in solving problems with time-dependent boundary conditions. The unconditional stability of the new ADI scheme is also rigorously proven with the Fourier analysis. Then, by combining the ADI schemes with a 1D kernel-free boundary integral (KFBI) method, KFBI-ADI schemes are developed to solve the heat equation with irregular boundaries. In 1D sub-problems of the KFBI-ADI schemes, the KFBI discretization takes advantage of the Cartesian grid and preserves the structure of the coefficient matrix so that the fast Thomas algorithm can be applied to solve the linear system efficiently. Second-order accuracy and unconditional stability of the KFBI-ADI schemes are verified through several numerical tests for both the heat equation and a reaction-diffusion equation. For the Stefan problem, which is a free boundary problem of the heat equation, a level set method is incorporated into the ADI method to capture the time-dependent interface. Numerical examples for simulating 3D dendritic solidification phenomenons are also presented.


title: Kostant's generating functions and McKay-Slodowy correspondence

abstract: Let $N\unlhd G$ be a pair of finite subgroups of $\mathrm{SL}_2(\mathbb{C})$ and $V$ a finite-dimensional fundamental $G$-module. We study Kostant's generating functions for the decomposition of the $\mathrm{SL}_2(\mathbb C)$-module $S^k(V)$ restricted to $N\lhd G$ in connection with the McKay-Slodowy correspondence. In particular, the classical Kostant formula was generalized to a uniform version of the Poincar\'{e} series for the symmetric invariants in which the multiplicities of any individual module in the symmetric algebra are completely determined.


title: A mathematical model for understanding and controlling monkeypox transmission dynamics in the United States and its implications for future epidemic management

abstract: Although the outbreak of human monkeypox (Mpox) caused by the monkeypox virus (MPXV) has slowed down around the world, little is known about this epidemic-like disease. To identify and re-examine the underlying pattern of the disease through a modified logistic growth model, Mpox data set of the United States from 10 May 2022 to 31 December 2022 was used in this study. The main focus is on the two non-pharmaceutical interventions (policies for reducing human-to-human, and animal-to-human transmissions) which were applied to understand their significance on the epidemic. The interventions are used as control parameters in the model with a view to analyzing the strengths of such controls in minimizing the infected cases. The model reveals a complying acceptance to the United States data. The findings disclose that preventive measures could play important roles in controlling the deadly spread of the transmission in the year of 2022. During the transmission period, better outcomes could have been possible to achieve in the US if both controls were brought to action simultaneously. Our model reflects that to prevent the outbreak of Mpox and/or any similar diseases from a community in future, the continuous application of the preventive strategies displayed through the model might be an effective tool. Moreover, such strategies could play supporting roles during pre-and/or post-vaccination periods.


title: Densities for sets of natural numbers vanishing on a given family

abstract: Abstract upper densities are monotone and subadditive functions from the power set of positive integers into the unit real interval that generalize the upper densities used in number theory, including the upper asymptotic density, the upper Banach density, and the upper logarithmic density. At the open problem session of the Workshop ``Densities and their application'', held at St. \'{E}tienne in July 2013, G. Grekos asked a question whether there is a ``nice'' abstract upper density, whose the family of null sets is precisely a given ideal of subsets of $\mathbb{N}$, where ``nice'' would mean the properties of the familiar densities consider in number theory. In 2018, M. Di Nasso and R. Jin (Acta Arith. 185 (2018), no. 4) showed that the answer is positive for the summable ideals (for instance, the family of finite sets and the family of sequences whose series of reciprocals converge) when ``nice'' density means translation invariant and rich density (i.e. density which is onto the unit interval). In this paper we extend their result to all ideals with the Baire property.


title: An Ensemble Score Filter for Tracking High-Dimensional Nonlinear Dynamical Systems

abstract: We propose an ensemble score filter (EnSF) for solving high-dimensional nonlinear filtering problems with superior accuracy. A major drawback of existing filtering methods, e.g., particle filters or ensemble Kalman filters, is the low accuracy in handling high-dimensional and highly nonlinear problems. EnSF attacks this challenge by exploiting the score-based diffusion model, defined in a pseudo-temporal domain, to characterizing the evolution of the filtering density. EnSF stores the information of the recursively updated filtering density function in the score function, in stead of storing the information in a set of finite Monte Carlo samples (used in particle filters and ensemble Kalman filters). Unlike existing diffusion models that train neural networks to approximate the score function, we develop a training-free score estimation that uses mini-batch-based Monte Carlo estimator to directly approximate the score function at any pseudo-spatial-temporal location, which provides sufficient accuracy in solving high-dimensional nonlinear problems as well as saves tremendous amount of time spent on training neural networks. Another essential aspect of EnSF is its analytical update step, gradually incorporating data information into the score function, which is crucial in mitigating the degeneracy issue faced when dealing with very high-dimensional nonlinear filtering problems. High-dimensional Lorenz systems are used to demonstrate the performance of our method. EnSF provides surprisingly impressive performance in reliably tracking extremely high-dimensional Lorenz systems (up to 1,000,000 dimension) with highly nonlinear observation processes, which is a well-known challenging problem for existing filtering methods.


title: Out-of-plane spin-to-charge conversion at low temperatures in graphene/MoTe$_2$ heterostructures

abstract: Multi-directional spin-to-charge conversion - in which spin polarizations with different orientations can be converted into a charge current in the same direction - has been demonstrated in low-symmetry materials and interfaces. This is possible because, in these systems, spin to charge conversion can occur in unconventional configurations in which spin polarization and charge current where charge current, spin current and polarization do not need to be mutually orthogonal. Here, we explore, in the low temperature regime, the spin-to-charge conversion in heterostructures of graphene with the low-symmetry 1T' phase of MoTe$_2$. First, we observe the emergence of charge conversion for out-of-plane spins at temperatures below 100 K. This unconventional component is allowed by the symmetries of both MoTe$_2$ and graphene and likely arises from spin Hall effect in the spin-orbit proximitized graphene. Moreover, we examine the low-temperature evolution of non-local voltage signals arising from the charge conversion of the two in-plane spin polarizations, which have been previously observed at higher temperature. As a result, we report omni-directional spin-to-charge conversion - for all spin polarization orientations - in graphene/MoTe${_2}$ heterostructures at low temperatures.


title: Multi-agent Collective Construction using 3D Decomposition

abstract: This paper addresses a Multi-Agent Collective Construction (MACC) problem that aims to build a three-dimensional structure comprised of cubic blocks. We use cube-shaped robots that can carry one cubic block at a time, and move forward, reverse, left, and right to an adjacent cell of the same height or climb up and down one cube height. To construct structures taller than one cube, the robots must build supporting stairs made of blocks and remove the stairs once the structure is built. Conventional techniques solve for the entire structure at once and quickly become intractable for larger workspaces and complex structures, especially in a multi-agent setting. To this end, we present a decomposition algorithm that computes valid substructures based on intrinsic structural dependencies. We use Mixed Integer Linear Programming (MILP) to solve for each of these substructures and then aggregate the solutions to construct the entire structure. Extensive testing on 200 randomly generated structures shows an order of magnitude improvement in the solution computation time compared to an MILP approach without decomposition. Additionally, compared to Reinforcement Learning (RL) based and heuristics-based approaches drawn from the literature, our solution indicates orders of magnitude improvement in the number of pick-up and drop-off actions required to construct a structure. Furthermore, we leverage the independence between substructures to detect which sub-structures can be built in parallel. With this parallelization technique, we illustrate a further improvement in the number of time steps required to complete building the structure. This work is a step towards applying multi-agent collective construction for real-world structures by significantly reducing solution computation time with a bounded increase in the number of time steps required to build the structure.


title: ModelScope-Agent: Building Your Customizable Agent System with Open-source Large Language Models

abstract: Large language models (LLMs) have recently demonstrated remarkable capabilities to comprehend human intentions, engage in reasoning, and design planning-like behavior. To further unleash the power of LLMs to accomplish complex tasks, there is a growing trend to build agent framework that equips LLMs, such as ChatGPT, with tool-use abilities to connect with massive external APIs. In this work, we introduce ModelScope-Agent, a general and customizable agent framework for real-world applications, based on open-source LLMs as controllers. It provides a user-friendly system library, with customizable engine design to support model training on multiple open-source LLMs, while also enabling seamless integration with both model APIs and common APIs in a unified way. To equip the LLMs with tool-use abilities, a comprehensive framework has been proposed spanning over tool-use data collection, tool retrieval, tool registration, memory control, customized model training, and evaluation for practical real-world applications. Finally, we showcase ModelScopeGPT, a real-world intelligent assistant of ModelScope Community based on the ModelScope-Agent framework, which is able to connect open-source LLMs with more than 1000 public AI models and localized community knowledge in ModelScope. The ModelScope-Agent library\footnote{https://github.com/modelscope/modelscope-agent} and online demo\footnote{https://modelscope.cn/studios/damo/ModelScopeGPT/summary} are now publicly available.


title: Sequential Dexterity: Chaining Dexterous Policies for Long-Horizon Manipulation

abstract: Many real-world manipulation tasks consist of a series of subtasks that are significantly different from one another. Such long-horizon, complex tasks highlight the potential of dexterous hands, which possess adaptability and versatility, capable of seamlessly transitioning between different modes of functionality without the need for re-grasping or external tools. However, the challenges arise due to the high-dimensional action space of dexterous hand and complex compositional dynamics of the long-horizon tasks. We present Sequential Dexterity, a general system based on reinforcement learning (RL) that chains multiple dexterous policies for achieving long-horizon task goals. The core of the system is a transition feasibility function that progressively finetunes the sub-policies for enhancing chaining success rate, while also enables autonomous policy-switching for recovery from failures and bypassing redundant stages. Despite being trained only in simulation with a few task objects, our system demonstrates generalization capability to novel object shapes and is able to zero-shot transfer to a real-world robot equipped with a dexterous hand. Code and videos are available at https://sequential-dexterity.github.io


title: The repetition threshold of episturmian sequences

abstract: The repetition threshold of a class $C$ of infinite $d$-ary sequences is the smallest real number $r$ such that in the class $C$ there exists a sequence that avoids $e$-powers for all $e> r$. This notion was introduced by Dejean in 1972 for the class of all sequences over a $d$-letter alphabet. Thanks to the effort of many authors over more than 30 years, the precise value of the repetition threshold in this class is known for every $d \in \mathbb N$. The repetition threshold for the class of Sturmian sequences was determined by Carpi and de Luca in 2000. Sturmian sequences may be equivalently defined in various ways, therefore there exist many generalizations to larger alphabets. Rampersad, Shallit and Vandome in 2020 initiated a study of the repetition threshold for the class of balanced sequences -- one of the possible generalizations of Sturmian sequences. Here, we focus on the class of $d$-ary episturmian sequences -- another generalization of Sturmian sequences introduced by Droubay, Justin and Pirillo in 2001. We show that the repetition threshold of this class is reached by the $d$-bonacci sequence and its value equals $2+\frac{1}{t-1}$, where $t>1$ is the unique positive root of the polynomial $x^d-x^{d-1}- \cdots -x-1$.


title: Equitable list coloring of planar graphs with given maximum degree

abstract: If $L$ is a list assignment of $r$ colors to each vertex of an $n$-vertex graph $G$, then an equitable $L$-coloring of $G$ is a proper coloring of vertices of $G$ from their lists such that no color is used more than $\lceil n/r\rceil$ times. A graph is equitably $r$-choosable if it has an equitable $L$-coloring for every $r$-list assignment $L$. In 2003, Kostochka, Pelsmajer and West (KPW) conjectured that an analog of the famous Hajnal-Szemer\'edi Theorem on equitable coloring holds for equitable list coloring, namely, that for each positive integer $r$ every graph $G$ with maximum degree at most $r-1$ is equitably $r$-choosable. The main result of this paper is that for each $r\geq 9$ and each planar graph $G$, a stronger statement holds: if the maximum degree of $G$ is at most $r$, then $G$ is equitably $r$-choosable. In fact, we prove the result for a broader class of graphs -- the class ${\mathcal{B}}$ of the graphs in which each bipartite subgraph $B$ with $|V(B)|\ge3$ has at most $2|V(B)|-4$ edges. Together with some known results, this implies that the KPW Conjecture holds for all graphs in ${\mathcal{B}}$, in particular, for all planar graphs.


title: Classification of bifurcation diagrams for semilinear elliptic equations in the critical dimension

abstract: We are interested in the global bifurcation diagram of radial solutions for the Gelfand problem with the exponential nonlinearity and a radially symmetric weight $0<a(|x|)\in C^2(\overline{B_1})$ in the unit ball. When the weight is constant, it is known that the bifurcation curve has infinitely many turning points if the dimension $N\le 9$, and it has no turning points if $N\ge 10$. In this paper, we show that the perturbation of the weight does not affect the bifurcation structure when $N\le 9$. Moreover, we find specific radial singular solutions with specific weights and study the Morse index of the solutions. As a consequence, we prove that the perturbation affects the bifurcation structure in the critical dimension $N=10$. Moreover, we give an optimal classification of the bifurcation diagrams in the critical dimension.


title: Pseudofiniteness and measurability of the everywhere infinite forest

abstract: In this paper we study the theories of the infinite-branching tree and the $r$-regular tree, and show that both of them are pseudofinite. Moreover, we show that they can be realized by infinite ultraproducts of polynomial exact classes of graphs, and so they are also generalised measurable.


title: Simulation of RPC responses in mini-Iron Calorimeter for cosmic ray muon studies

abstract: A Prototype of the Iron Calorimeter for the India-based Neutrino Observatory is currently running in Madurai, India. This consists of twenty large area single gap Resistive Plate Chambers (RPCs) of size, $\sim$ 185\,cm $\times$ 175\,cm sandwiched between 11 layers of iron plates of thickness 5.6\,cm. The total size of the mini-Iron Calorimeter(mini-ICAL) is 4\,m$\times$4\,m$\times$1.2\,m and having a weight of 85\,tons is a (1/600) scaled-down version of the ICAL detector of INO~\cite{ichep2018}. The detector is magnetized using iron plates and two sets of copper coils, each coil has 18 turns. The central region of the mini-ICAL, where the RPCs are placed, has a nearly uniform magnetic field of 1.4\,T, similar to the magnetic field in the final ICAL detector. This prototype serves as the basis for the design of the demonstrators, which closely mimics the characteristics of a future ICAL. This detector is built to test the final electronics in the fringe field of the magnet and also to develop the experience to construct the ICAL detector. The mini-ICAL has been operational since 2018 and collects cosmic muon data with different configurations of RPC, and electronics, which are continuously changing for various R\&D efforts. Dedicated efforts are made in parallel to measure the momentum and azimuthal angle of $\mu^+$ and $\mu^-$ independently, which could be an important input to the cosmic neutrino event generators. To improve the precision of those measurements a dedicated simulation effort was made, particularly in the digitisation of the RPC signal for a real detector simulation, where efficiency, noise rate, strip multiplicity, etc. were matched with the real data collected during runs at mini-ICAL.


title: A Boosted Machine Learning Framework for the Improvement of Phase and Crystal Structure Prediction of High Entropy Alloys Using Thermodynamic and Configurational Parameters

abstract: The reason behind the remarkable properties of High-Entropy Alloys (HEAs) is rooted in the diverse phases and the crystal structures they contain. In the realm of material informatics, employing machine learning (ML) techniques to classify phases and crystal structures of HEAs has gained considerable significance. In this study, we assembled a new collection of 1345 HEAs with varying compositions to predict phases. Within this collection, there were 705 sets of data that were utilized to predict the crystal structures with the help of thermodynamics and electronic configuration. Our study introduces a methodical framework i.e., the Pearson correlation coefficient that helps in selecting the strongly co-related features to increase the prediction accuracy. This study employed five distinct boosting algorithms to predict phases and crystal structures, offering an enhanced guideline for improving the accuracy of these predictions. Among all these algorithms, XGBoost gives the highest accuracy of prediction (94.05%) for phases and LightGBM gives the highest accuracy of prediction of crystal structure of the phases (90.07%). The quantification of the influence exerted by parameters on the model's accuracy was conducted and a new approach was made to elucidate the contribution of individual parameters in the process of phase prediction and crystal structure prediction.


title: Synchronization and Fundamental Time: a Connection between Relativity and Quantum Mechanics

abstract: An interesting connection between special relativity and quantum mechanics was put forward by Louis de Broglie, about 60 years ago, who focused on the link between synchronization in a rotating frame and the quantization of the angular momentum. Here we generalise his approach to curved spacetime, using the gravitoelectromagnetic analogy, which can be applied to describe the weak gravitational field around rotating sources, and give a new interpretation of the results.


title: Constrained CycleGAN for Effective Generation of Ultrasound Sector Images of Improved Spatial Resolution

abstract: Objective. A phased or a curvilinear array produces ultrasound (US) images with a sector field of view (FOV), which inherently exhibits spatially-varying image resolution with inferior quality in the far zone and towards the two sides azimuthally. Sector US images with improved spatial resolutions are favorable for accurate quantitative analysis of large and dynamic organs, such as the heart. Therefore, this study aims to translate US images with spatially-varying resolution to ones with less spatially-varying resolution. CycleGAN has been a prominent choice for unpaired medical image translation; however, it neither guarantees structural consistency nor preserves backscattering patterns between input and generated images for unpaired US images. Approach. To circumvent this limitation, we propose a constrained CycleGAN (CCycleGAN), which directly performs US image generation with unpaired images acquired by different ultrasound array probes. In addition to conventional adversarial and cycle-consistency losses of CycleGAN, CCycleGAN introduces an identical loss and a correlation coefficient loss based on intrinsic US backscattered signal properties to constrain structural consistency and backscattering patterns, respectively. Instead of post-processed B-mode images, CCycleGAN uses envelope data directly obtained from beamformed radio-frequency signals without any other non-linear postprocessing. Main Results. In vitro phantom results demonstrate that CCycleGAN successfully generates images with improved spatial resolution as well as higher peak signal-to-noise ratio (PSNR) and structural similarity (SSIM) compared with benchmarks. Significance. CCycleGAN-generated US images of the in vivo human beating heart further facilitate higher quality heart wall motion estimation than benchmarks-generated ones, particularly in deep regions.


title: Machine-learning potentials for nanoscale simulations of deformation and fracture: example of TiB$_2$ ceramic

abstract: Machine-learning interatomic potentials (MLIPs) offer a powerful avenue for simulations beyond length and timescales of ab initio methods. Their development for investigation of mechanical properties and fracture, however, is far from trivial since extended defects -- governing plasticity and crack nucleation in most materials -- are too large to be included in the training set. Using TiB$_2$ as a model ceramic material, we propose a strategy for fitting MLIPs suitable to simulate mechanical response of monocrystals until fracture. Our MLIP accurately reproduces ab initio stresses and failure mechanisms during room-temperature uniaxial tensile deformation of TiB$_2$ at the atomic scale ($\approx{10}^3$ atoms). More realistic tensile tests (low strain rate, Poisson's contraction) at the nanoscale ($\approx{10}^4$--10$^6$ atoms) require MLIP up-fitting, i.e. learning from additional ab initio configurations. Consequently, we elucidate trends in theoretical strength, toughness, and crack initiation patterns under different loading directions. To identify useful environments for further up-fitting, i.e., making the MLIP applicable to a wider spectrum of simulations, we asses transferability to other deformation conditions and phases not explicitly trained on.


title: Switch and Conquer: Efficient Algorithms By Switching Stochastic Gradient Oracles For Decentralized Saddle Point Problems

abstract: We consider a class of non-smooth strongly convex-strongly concave saddle point problems in a decentralized setting without a central server. To solve a consensus formulation of problems in this class, we develop an inexact primal dual hybrid gradient (inexact PDHG) procedure that allows generic gradient computation oracles to update the primal and dual variables. We first investigate the performance of inexact PDHG with stochastic variance reduction gradient (SVRG) oracle. Our numerical study uncovers a significant phenomenon of initial conservative progress of iterates of IPDHG with SVRG oracle. To tackle this, we develop a simple and effective switching idea, where a generalized stochastic gradient (GSG) computation oracle is employed to hasten the iterates' progress to a saddle point solution during the initial phase of updates, followed by a switch to the SVRG oracle at an appropriate juncture. The proposed algorithm is named Decentralized Proximal Switching Stochastic Gradient method with Compression (C-DPSSG), and is proven to converge to an $\epsilon$-accurate saddle point solution with linear rate. Apart from delivering highly accurate solutions, our study reveals that utilizing the best convergence phases of GSG and SVRG oracles makes C-DPSSG well suited for obtaining solutions of low/medium accuracy faster, useful for certain applications. Numerical experiments on two benchmark machine learning applications show C-DPSSG's competitive performance which validate our theoretical findings. The codes used in the experiments can be found \href{https://github.com/chhavisharma123/C-DPSSG-CDC2023}{here}.


title: Local support theorem for the exponential Radon transform

abstract: We prove a local support theorem for the exponential Radon transform for functions of exponential decay at infinity. We also show that our decay condition is essentially sharp for the classical Radon transform for hyperbolic type domains as holes, by showing streched exponential counterexamples. This shows a difference of the support theorems for compact domains, where the decay has to be just faster than any polynomial. Also, gives a refinement for non-compact domains, where support theorem was proved only for functions with compact support. Our method is a version of R. S. Strichartz and J. Boman.


title: Bayesian sparsity and class sparsity priors for dictionary learning and coding

abstract: Dictionary learning methods continue to gain popularity for the solution of challenging inverse problems. In the dictionary learning approach, the computational forward model is replaced by a large dictionary of possible outcomes, and the problem is to identify the dictionary entries that best match the data, akin to traditional query matching in search engines. Sparse coding techniques are used to guarantee that the dictionary matching identifies only few of the dictionary entries, and dictionary compression methods are used to reduce the complexity of the matching problem. In this article, we propose a work flow to facilitate the dictionary matching process. First, the full dictionary is divided into subdictionaries that are separately compressed. The error introduced by the dictionary compression is handled in the Bayesian framework as a modeling error. Furthermore, we propose a new Bayesian data-driven group sparsity coding method to help identify subdictionaries that are not relevant for the dictionary matching. After discarding irrelevant subdictionaries, the dictionary matching is addressed as a deflated problem using sparse coding. The compression and deflation steps can lead to substantial decreases of the computational complexity. The effectiveness of compensating for the dictionary compression error and using the novel group sparsity promotion to deflate the original dictionary are illustrated by applying the methodology to real world problems, the glitch detection in the LIGO experiment and hyperspectral remote sensing.


title: Real Time Vehicle Identification: A Synchronous-Transmission Based Approach

abstract: Identification of the vehicles passing over the roads is a very important component of traffic monitoring/surveillance. There have been many attempts to design and develop efficient strategies to carry out the job. However, from the point of view of practical usefulness and real-time operation, most of them do not score well. In the current work, we perceive the problem as efficient real-time communication and data-sharing between the units in charge of recording the identities of the vehicles, i.e., Vehicle Recorders (VR), and the Vehicles (VE). We propose a strategy to address the issue with the help of Synchronous-Transmission (ST), which is a newer paradigm of communication compared to the traditional paradigm based on Asynchronous-Transmission (AT). First, we theoretically show that the presence of the physical layer phenomena called Capture-Effect in ST brings a significant benefit. Next, we also implement the strategy in a well-known IoT-Operating System Contiki, and compare its performance with the existing best-known strategy.


title: Cops and Robbers on 1-Planar Graphs

abstract: Cops and Robbers is a well-studied pursuit-evasion game in which a set of cops seeks to catch a robber in a graph G, where cops and robber move along edges of G. The cop number of G is the minimum number of cops that is sufficient to catch the robber. Every planar graph has cop number at most three, and there are planar graphs for which three cops are necessary [Aigner and Fromme, DAM 1984]. We study the problem for beyond-planar graphs, that is, graphs that can be drawn in the plane with few crossings. In particular, we focus on 1-planar graphs, that is, graphs that can be drawn in the plane with at most one crossing per edge. In contrast to planar graphs, we show that some 1-planar graphs have unbounded cop number. Meanwhile, for maximal 1-planar graphs, we prove that three cops are always sufficient and sometimes necessary. In addition, we characterize outer 1-planar graphs with respect to their cop number.


title: Adaptive output feedback tracking control for bilinear systems

abstract: This paper deals with the trajectory tracking control problem for a class of bilinear systems with unmeasurable states and unknown parameters. Firstly, a full-information controller is suggested that guarantees global tracking under a persistency of excitation (PE) condition on the desired trajectories. Next, a model-based observer is designed for the system, which is further developed into an adaptive observer through dynamic regressor and mixing (DREM) parameter estimator. This enables global estimation under a weaker convergence condition where the regressor is PE. The estimated states and parameters are then replaced in the full-information controller, instead of their respective unavailable states and parameters, to construct the output feedback controller and its adaptive version. The proposed algorithm is applied to control lossless power factor precompensator (PFP) circuit with an unmeasurable input current and an unknown load conductance.


title: Existence of a positive solution for a class of Schr\"odinger logarithmic equations on exterior domains

abstract: In this paper we will prove the existence of a positive solution for a class of Schr\"odinger logarithmic equation of the form \begin{equation} \left\{\begin{aligned} -\Delta u &+ u =Q(x)u\log u^2,\;\;\mbox{in}\;\;\Omega,\nonumber &\mathcal{B}u=0 \,\,\, \mbox{on} \,\,\, \partial \Omega , \end{aligned} \right. \end{equation} where $\Omega \subset \mathbb{R}^N$, $N \geq 3$, is an \textit{exterior domain}, i.e., $\Omega^c=\mathbb{R}^N \setminus \Omega$ is a bounded smooth domain where $\mathcal{B}u=u$ or $\mathcal{B}u=\frac{\partial u}{\partial \nu}$. We have used new approach that allows us to apply the usual $C^1$-variational methods to get a nontrivial solutions for these classes of problems.


title: Projection-based reduced order modeling of an iterative scheme for linear thermo-poroelasticity

abstract: This paper explores an iterative coupling approach to solve linear thermo-poroelasticity problems, with its application as a high-fidelity discretization utilizing finite elements during the training of projection-based reduced order models. One of the main challenges in addressing coupled multi-physics problems is the complexity and computational expenses involved. In this study, we introduce a decoupled iterative solution approach, integrated with reduced order modeling, aimed at augmenting the efficiency of the computational algorithm. The iterative coupling technique we employ builds upon the established fixed-stress splitting scheme that has been extensively investigated for Biot's poroelasticity. By leveraging solutions derived from this coupled iterative scheme, the reduced order model employs an additional Galerkin projection onto a reduced basis space formed by a small number of modes obtained through proper orthogonal decomposition. The effectiveness of the proposed algorithm is demonstrated through numerical experiments, showcasing its computational prowess.


title: RevColV2: Exploring Disentangled Representations in Masked Image Modeling

abstract: Masked image modeling (MIM) has become a prevalent pre-training setup for vision foundation models and attains promising performance. Despite its success, existing MIM methods discard the decoder network during downstream applications, resulting in inconsistent representations between pre-training and fine-tuning and can hamper downstream task performance. In this paper, we propose a new architecture, RevColV2, which tackles this issue by keeping the entire autoencoder architecture during both pre-training and fine-tuning. The main body of RevColV2 contains bottom-up columns and top-down columns, between which information is reversibly propagated and gradually disentangled. Such design enables our architecture with the nice property: maintaining disentangled low-level and semantic information at the end of the network in MIM pre-training. Our experimental results suggest that a foundation model with decoupled features can achieve competitive performance across multiple downstream vision tasks such as image classification, semantic segmentation and object detection. For example, after intermediate fine-tuning on ImageNet-22K dataset, RevColV2-L attains 88.4% top-1 accuracy on ImageNet-1K classification and 58.6 mIoU on ADE20K semantic segmentation. With extra teacher and large scale dataset, RevColv2-L achieves 62.1 box AP on COCO detection and 60.4 mIoU on ADE20K semantic segmentation. Code and models are released at https://github.com/megvii-research/RevCol


title: A Sub-Terahertz Sliding Correlator Channel Sounder with Absolute Timing using Precision Time Protocol over Wi-Fi

abstract: Radio channels at mmWave and sub-THz frequencies for 5G and 6G communications offer large channel bandwidths (hundreds of MHz to several GHz) to achieve multi-Gbps data rates. Accurate modeling of the radio channel for these wide bandwidths requires capturing the absolute timing of multipath component (MPC) propagation delays with sub-nanosecond accuracy. Achieving such timing accuracy is challenging due to clock drift in untethered transmitter (TX) and receiver (RX) clocks used in time-domain channel sounders, yet will become vital in many future 6G applications. This paper proposes a novel solution utilizing precision time protocol (PTP) and periodic drift correction to achieve absolute timing for MPCs in power delay profiles (PDPs) --captured as discrete samples using sliding correlation channel sounders. Two RaspberryPi computers are programmed to implement PTP over a dedicated Wi-Fi link and synchronize the TX and RX Rubidium clocks continuously every second. This synchronization minimizes clock drift, reducing PDP sample drift to 150 samples/hour, compared to several thousand samples/hour without synchronization. Additionally, a periodic drift correction algorithm is applied to eliminate PDP sample drift and achieve sub-nanosecond timing accuracy for MPC delays. The achieved synchronicity eliminates the need for tedious and sometimes inaccurate ray tracing to synthesize omnidirectional PDPs from directional measurements. The presented solution shows promise in myriad applications, including precise position location and distributed systems that require sub-nanosecond timing accuracy and synchronization among components.


title: Comparative Analysis of Deep Learning Architectures for Breast Cancer Diagnosis Using the BreaKHis Dataset

abstract: Cancer is an extremely difficult and dangerous health problem because it manifests in so many different ways and affects so many different organs and tissues. The primary goal of this research was to evaluate deep learning models' ability to correctly identify breast cancer cases using the BreakHis dataset. The BreakHis dataset covers a wide range of breast cancer subtypes through its huge collection of histopathological pictures. In this study, we use and compare the performance of five well-known deep learning models for cancer classification: VGG, ResNet, Xception, Inception, and InceptionResNet. The results placed the Xception model at the top, with an F1 score of 0.9 and an accuracy of 89%. At the same time, the Inception and InceptionResNet models both hit accuracy of 87% . However, the F1 score for the Inception model was 87, while that for the InceptionResNet model was 86. These results demonstrate the importance of deep learning methods in making correct breast cancer diagnoses. This highlights the potential to provide improved diagnostic services to patients. The findings of this study not only improve current methods of cancer diagnosis, but also make significant contributions to the creation of new and improved cancer treatment strategies. In a nutshell, the results of this study represent a major advancement in the direction of achieving these vital healthcare goals.


title: Luminosity determination using Z boson production at the CMS experiment

abstract: The measurement of Z boson production is presented as a method to determine the integrated luminosity of CMS data sets. The analysis uses proton-proton collision data, recorded by the CMS experiment at the CERN LHC in 2017 at a center-of-mass energy of 13 TeV. Events with Z bosons decaying into a pair of muons are selected. The total number of Z bosons produced in a fiducial volume is determined, together with the identification efficiencies and correlations from the same data set, in small intervals of 2 pb$^{-1}$ of integrated luminosity, thus facilitating the efficiency and rate measurement as a function of time and instantaneous luminosity. Using the ratio of the efficiency-corrected numbers of Z bosons, the precisely measured integrated luminosity of one data set is used to determine the luminosity of another. For the first time, a full quantitative uncertainty analysis of the use of Z bosons for the integrated luminosity measurement is performed. The uncertainty in the extrapolation between two data sets, recorded in 2017 at low and high instantaneous luminosity, is less than 0.5%. We show that the Z boson rate measurement constitutes a precise method, complementary to traditional methods, with the potential to improve the measurement of the integrated luminosity.


title: Modeling single-molecule stretching experiments using statistical thermodynamics

abstract: Single-molecule stretching experiments are widely utilized within the fields of physics and chemistry to characterize the mechanics of individual bonds or molecules, as well as chemical reactions. Analytic relations describing these experiments are valuable, and these relations can be obtained through the statistical thermodynamics of idealized model systems representing the experiments. Since the specific thermodynamic ensembles manifested by the experiments affect the outcome, primarily for small molecules, the stretching device must be included in the idealized model system. Though the model for the stretched molecule might be exactly solvable, including the device in the model often prevents analytic solutions. In the limit of large or small device stiffness, the isometric or isotensional ensembles can provide effective approximations, but the device effects are missing. Here, a dual set of asymptotically correct statistical thermodynamic theories are applied to develop accurate approximations for the full model system that includes both the molecule and the device. The asymptotic theories are first demonstrated to be accurate using the freely jointed chain model, and then using molecular dynamics calculations of a single polyethylene chain.


title: Mitigating Motion Blur for Robust 3D Baseball Player Pose Modeling for Pitch Analysis

abstract: Using videos to analyze pitchers in baseball can play a vital role in strategizing and injury prevention. Computer vision-based pose analysis offers a time-efficient and cost-effective approach. However, the use of accessible broadcast videos, with a 30fps framerate, often results in partial body motion blur during fast actions, limiting the performance of existing pose keypoint estimation models. Previous works have primarily relied on fixed backgrounds, assuming minimal motion differences between frames, or utilized multiview data to address this problem. To this end, we propose a synthetic data augmentation pipeline to enhance the model's capability to deal with the pitcher's blurry actions. In addition, we leverage in-the-wild videos to make our model robust under different real-world conditions and camera positions. By carefully optimizing the augmentation parameters, we observed a notable reduction in the loss by 54.2% and 36.2% on the test dataset for 2D and 3D pose estimation respectively. By applying our approach to existing state-of-the-art pose estimators, we demonstrate an average improvement of 29.2%. The findings highlight the effectiveness of our method in mitigating the challenges posed by motion blur, thereby enhancing the overall quality of pose estimation.


title: Classical Limit of genus two DAHA

abstract: We show that one-parameter deformation $\mathcal A_{q,t}$ of the skein algebra $Sk_q(\Sigma_2)$ of a genus two surface suggested in [AS19] is flat. We solve the word problem in the algebra and describe monomial basis. In addition, we calculate the classical limit $\mathcal A_{q=1,t}$ of the algebra and prove that it is a one-parameter flat Poisson deformation of the coordinate ring $\mathcal A_{q=t=1}$ of an $SL(2,\mathbb C)$-charater variety of a genus two surface. As a byproduct, we obtain a remarkably simple presentation in terms of generators and relations for the coordinate ring $\mathcal A_{q=t=1}$ of a genus two character variety.


title: Investigating the Day-to-Day Experiences of Users with Traumatic Brain Injury with Conversational Agents

abstract: Traumatic brain injury (TBI) can cause cognitive, communication, and psychological challenges that profoundly limit independence in everyday life. Conversational Agents (CAs) can provide individuals with TBI with cognitive and communication support, although little is known about how they make use of CAs to address injury-related needs. In this study, we gave nine adults with TBI an at-home CA for four weeks to investigate use patterns, challenges, and design requirements, focusing particularly on injury-related use. The findings revealed significant gaps between the current capabilities of CAs and accessibility challenges faced by TBI users. We also identified 14 TBI-related activities that participants engaged in with CAs. We categorized those activities into four groups: mental health, cognitive activities, healthcare and rehabilitation, and routine activities. Design implications focus on accessibility improvements and functional designs of CAs that can better support the day-to-day needs of people with TBI.


title: Streaming Active Learning for Regression Problems Using Regression via Classification

abstract: One of the challenges in deploying a machine learning model is that the model's performance degrades as the operating environment changes. To maintain the performance, streaming active learning is used, in which the model is retrained by adding a newly annotated sample to the training dataset if the prediction of the sample is not certain enough. Although many streaming active learning methods have been proposed for classification, few efforts have been made for regression problems, which are often handled in the industrial field. In this paper, we propose to use the regression-via-classification framework for streaming active learning for regression. Regression-via-classification transforms regression problems into classification problems so that streaming active learning methods proposed for classification problems can be applied directly to regression problems. Experimental validation on four real data sets shows that the proposed method can perform regression with higher accuracy at the same annotation cost.


title: Searching for Variable Stars Using the Large Array Survey Telescope (LAST)

abstract: This paper introduces a novel variability report generator developed for the Large Array Survey Telescope (LAST), a cost-effective multi-purpose telescope array conducting a wide survey of the variable sky in the visible-light spectrum. Designed to automate variability detection, the report generator identifies candidate variable stars by employing adjustable thresholds to detect periodic and non-periodic variables. The program outputs a visual and tabular photometric report for each candidate variable source from a given LAST sub-image. Functioning as a whitepaper, this document also provides a concise overview of LAST, discussing its design, data workflow, and variability search performance.


title: MPTopic: Improving topic modeling via Masked Permuted pre-training

abstract: Topic modeling is pivotal in discerning hidden semantic structures within texts, thereby generating meaningful descriptive keywords. While innovative techniques like BERTopic and Top2Vec have recently emerged in the forefront, they manifest certain limitations. Our analysis indicates that these methods might not prioritize the refinement of their clustering mechanism, potentially compromising the quality of derived topic clusters. To illustrate, Top2Vec designates the centroids of clustering results to represent topics, whereas BERTopic harnesses C-TF-IDF for its topic extraction.In response to these challenges, we introduce "TF-RDF" (Term Frequency - Relative Document Frequency), a distinctive approach to assess the relevance of terms within a document. Building on the strengths of TF-RDF, we present MPTopic, a clustering algorithm intrinsically driven by the insights of TF-RDF. Through comprehensive evaluation, it is evident that the topic keywords identified with the synergy of MPTopic and TF-RDF outperform those extracted by both BERTopic and Top2Vec.


title: Bootstrap, Markov Chain Monte Carlo, and LP/SDP Hierarchy for the Lattice Ising Model

abstract: Bootstrap is an idea that imposing consistency conditions on a physical system may lead to rigorous and nontrivial statements about its physical observables. In this work, we discuss the bootstrap problem for the invariant measure of the stochastic Ising model defined as a Markov chain where probability bounds and invariance equations are imposed. It is described by a linear programming (LP) hierarchy whose asymptotic convergence is shown by explicitly constructing the invariant measure from the convergent sequence of moments. We also discuss the relation between the LP hierarchy for the invariant measure and a recently introduced semidefinite programming (SDP) hierarchy for the Gibbs measure of the statistical Ising model based on reflection positivity and spin-flip equations.

categories: hep-th cond-mat.stat-mech hep-lat math.OC math.PR


title: Contrastive Grouping with Transformer for Referring Image Segmentation

abstract: Referring image segmentation aims to segment the target referent in an image conditioning on a natural language expression. Existing one-stage methods employ per-pixel classification frameworks, which attempt straightforwardly to align vision and language at the pixel level, thus failing to capture critical object-level information. In this paper, we propose a mask classification framework, Contrastive Grouping with Transformer network (CGFormer), which explicitly captures object-level information via token-based querying and grouping strategy. Specifically, CGFormer first introduces learnable query tokens to represent objects and then alternately queries linguistic features and groups visual features into the query tokens for object-aware cross-modal reasoning. In addition, CGFormer achieves cross-level interaction by jointly updating the query tokens and decoding masks in every two consecutive layers. Finally, CGFormer cooperates contrastive learning to the grouping strategy to identify the token and its mask corresponding to the referent. Experimental results demonstrate that CGFormer outperforms state-of-the-art methods in both segmentation and generalization settings consistently and significantly.


title: Waste Factor: A New Metric for Evaluating Power Efficiency in any Cascade

abstract: In this paper, we expand upon a new metric called the Waste Factor ($W$), a mathematical framework used to evaluate power efficiency in cascaded communication systems, by accounting for power wasted in individual components along a cascade. We show that the derivation of the Waste Factor, a unifying metric for defining wasted power along the signal path of any cascade, is similar to the mathematical approach used by H. Friis in 1944 to develop the Noise Factor ($F$), which has since served as a unifying metric for quantifying additive noise power in a cascade. Furthermore, the mathematical formulation of $W$ can be utilized in artificial intelligence (AI) and machine learning (ML) design and control for enhanced power efficiency. We consider the power usage effectiveness (PUE), which is a widely used energy efficiency metric for data centers, to evaluate $W$ for the data center as a whole. The use of $W$ allows easy comparison of power efficiency between data centers and their components. Our study further explores how insertion loss of components in a cascaded communication system influences $W$ at 28 GHz and 142 GHz along with the data rate performance, evaluated using the consumption efficiency factor (CEF). We observe CEF's marked sensitivity, particularly to phase shifter insertion loss changes. Notably, CEF variations are more prominent in uplink transmissions, whereas downlink transmissions offer relative CEF stability. Our exploration also covers the effects of varying User Equipment (UE) and Base Station (BS) deployment density on CEF in cellular networks. This work underscores the enhanced energy efficiency at 142 GHz, compared to 28 GHz, as UE and BS numbers escalate.


title: Counting Regions in Billiard Trajectories

abstract: This paper explores the number of parallelograms that appear in a billiard path that enters one corner of a rectangle and leaves a second corner of a rectangle as a function of the normalized dimensions of the rectangle.


title: On the training and generalization of deep operator networks

abstract: We present a novel training method for deep operator networks (DeepONets), one of the most popular neural network models for operators. DeepONets are constructed by two sub-networks, namely the branch and trunk networks. Typically, the two sub-networks are trained simultaneously, which amounts to solving a complex optimization problem in a high dimensional space. In addition, the nonconvex and nonlinear nature makes training very challenging. To tackle such a challenge, we propose a two-step training method that trains the trunk network first and then sequentially trains the branch network. The core mechanism is motivated by the divide-and-conquer paradigm and is the decomposition of the entire complex training task into two subtasks with reduced complexity. Therein the Gram-Schmidt orthonormalization process is introduced which significantly improves stability and generalization ability. On the theoretical side, we establish a generalization error estimate in terms of the number of training data, the width of DeepONets, and the number of input and output sensors. Numerical examples are presented to demonstrate the effectiveness of the two-step training method, including Darcy flow in heterogeneous porous media.


title: Higher-harmonic generation in the driven Mott-Hubbard model

abstract: Using Floquet theory and the hierarchy of correlations, we study the non-equilibrium dynamics of the Mott insulator state in the Fermi-Hubbard model under the influence of a harmonically oscillating electric field representing the pump laser. After deriving the associated Floquet exponents, we consider higher-harmonic generation where the strongest signal is obtained if the driving frequency equals one third of the Mott gap.


title: A Neural Benders Decomposition for the Hub Location Routing Problem

abstract: In this study, we propose an imitation learning framework designed to enhance the Benders decomposition method. Our primary focus is addressing degeneracy in subproblems with multiple dual optima, among which Magnanti-Wong technique identifies the non-dominant solution. We develop two policies. In the first policy, we replicate the Magnanti-Wong method and learn from each iteration. In the second policy, our objective is to determine a trajectory that expedites the attainment of the final subproblem dual solution. We train and assess these two policies through extensive computational experiments on a network design problem with flow subproblem, confirming that the presence of such learned policies significantly enhances the efficiency of the decomposition process.


title: Size effects on atomic collapse in the dice lattice

abstract: We study the role of size effects on atomic collapse of charged impurity in the flat band system. The tight-binding simulations are made for the dice lattice with circular quantum dot shapes. It is shown that the mixing of in-gap edge states with bound states in impurity potential leads to increasing the critical charge value. This effect, together with enhancement of gap due to spatial quantization, makes it more difficult to observe the dive-into-continuum phenomenon in small quantum dots. At the same time, we show that if in-gap states are filled, the resonant tunneling to bound state in the impurity potential might occur at much smaller charge, which demonstrates non-monotonous dependence with the size of sample lattice. In addition, we study the possibility of creating supercritical localized potential well on different sublattices, and show that it is possible only on rim sites, but not on hub site. The predicted effects are expected to naturally occur in artificial flat band lattices.


title: Spectral Libraries for Analyzing Spectra of Low-Metalicity Galaxies

abstract: We present a set of isochrone-tailored spectral libraries for analyzing composite spectra of low-metallicity massive star clusters or starburst galaxies. Specifically, we have computed non-LTE spectra for stars of all initial masses for isochrones at metallicities, Z=0.006, 0.002,and 0.0004, with and without considering rotation. These isochrones were constructed by the Geneva group (Ekstr\"{o}m et al., 2011; Georgy et al., 2013; Groh et al., 2019; Eggenberger et al. 2020). We also present a Python program for integrating individual spectra for an arbitrary initial mass function.


title: Review: Artificial Intelligence for Liquid-Vapor Phase-Change Heat Transfer

abstract: Artificial intelligence (AI) is shifting the paradigm of two-phase heat transfer research. Recent innovations in AI and machine learning uniquely offer the potential for collecting new types of physically meaningful features that have not been addressed in the past, for making their insights available to other domains, and for solving for physical quantities based on first principles for phase-change thermofluidic systems. This review outlines core ideas of current AI technologies connected to thermal energy science to illustrate how they can be used to push the limit of our knowledge boundaries about boiling and condensation phenomena. AI technologies for meta-analysis, data extraction, and data stream analysis are described with their potential challenges, opportunities, and alternative approaches. Finally, we offer outlooks and perspectives regarding physics-centered machine learning, sustainable cyberinfrastructures, and multidisciplinary efforts that will help foster the growing trend of AI for phase-change heat and mass transfer.


title: Zero-Shot Recommendations with Pre-Trained Large Language Models for Multimodal Nudging

abstract: We present a method for zero-shot recommendation of multimodal non-stationary content that leverages recent advancements in the field of generative AI. We propose rendering inputs of different modalities as textual descriptions and to utilize pre-trained LLMs to obtain their numerical representations by computing semantic embeddings. Once unified representations of all content items are obtained, the recommendation can be performed by computing an appropriate similarity metric between them without any additional learning. We demonstrate our approach on a synthetic multimodal nudging environment, where the inputs consist of tabular, textual, and visual data.


title: Hausdorff limits of external rays: the topological picture

abstract: We study Hausdorff limits of the external rays of a given periodic angle along a convergent sequence of polynomials of degree $d \geq 2$ with connected Julia sets.


title: Demonstration of a Hardware-Independent Toolkit for Automated Quantum Subcircuit Synthesis

abstract: The quantum computer has become contemporary reality, with the first two-qubit machine of mere decades ago transforming into cloud-accessible devices with tens, hundreds, or -- in a few cases -- even thousands of qubits. While such hardware is noisy and still relatively small, the increasing number of operable qubits raises another challenge: how to develop the now-sizeable quantum circuits executable on these machines. Preparing circuits manually for specifications of any meaningful size is at best tedious and at worst impossible, creating a need for automation. This article describes an automated quantum-software toolkit for synthesis, compilation, and optimization, which transforms classically-specified, irreversible functions into both technology-independent and technology-dependent quantum circuits. We also describe and analyze the toolkit's application to three situations -- quantum read-only memories, quantum random number generators, and quantum oracles -- and illustrate the toolkit's start-to-finish features, from the input of classical functions to the output of technology-dependent quantum circuits. Furthermore, we illustrate how the toolkit enables research beyond circuit synthesis, including comparison of synthesis and optimization methods and deeper understanding of even well-studied quantum algorithms. As quantum hardware continues to develop, such quantum circuit toolkits will play a critical role in realizing its potential.


title: Explainability for Large Language Models: A Survey

abstract: Large language models (LLMs) have demonstrated impressive capabilities in natural language processing. However, their internal mechanisms are still unclear and this lack of transparency poses unwanted risks for downstream applications. Therefore, understanding and explaining these models is crucial for elucidating their behaviors, limitations, and social impacts. In this paper, we introduce a taxonomy of explainability techniques and provide a structured overview of methods for explaining Transformer-based language models. We categorize techniques based on the training paradigms of LLMs: traditional fine-tuning-based paradigm and prompting-based paradigm. For each paradigm, we summarize the goals and dominant approaches for generating local explanations of individual predictions and global explanations of overall model knowledge. We also discuss metrics for evaluating generated explanations, and discuss how explanations can be leveraged to debug models and improve performance. Lastly, we examine key challenges and emerging opportunities for explanation techniques in the era of LLMs in comparison to conventional machine learning models.


title: Online Adaptive Mahalanobis Distance Estimation

abstract: Mahalanobis metrics are widely used in machine learning in conjunction with methods like $k$-nearest neighbors, $k$-means clustering, and $k$-medians clustering. Despite their importance, there has not been any prior work on applying sketching techniques to speed up algorithms for Mahalanobis metrics. In this paper, we initiate the study of dimension reduction for Mahalanobis metrics. In particular, we provide efficient data structures for solving the Approximate Distance Estimation (ADE) problem for Mahalanobis distances. We first provide a randomized Monte Carlo data structure. Then, we show how we can adapt it to provide our main data structure which can handle sequences of \textit{adaptive} queries and also online updates to both the Mahalanobis metric matrix and the data points, making it amenable to be used in conjunction with prior algorithms for online learning of Mahalanobis metrics.


title: Comparison and uniruledness of asymptotic base loci

abstract: We prove that the asymptotic base loci of an NQC klt generalized pair with big canonical class are uniruled. We also show that the non-nef locus and the diminished base locus of the adjoint divisor of an NQC log canonical generalized pair coincide. As applications, we study the uniruledness of the asymptotic base loci associated with pseudo-effective divisors on generalized log Calabi-Yau type varieties.


title: Hessian-aware Quantized Node Embeddings for Recommendation

abstract: Graph Neural Networks (GNNs) have achieved state-of-the-art performance in recommender systems. Nevertheless, the process of searching and ranking from a large item corpus usually requires high latency, which limits the widespread deployment of GNNs in industry-scale applications. To address this issue, many methods compress user/item representations into the binary embedding space to reduce space requirements and accelerate inference. Also, they use the Straight-through Estimator (STE) to prevent vanishing gradients during back-propagation. However, the STE often causes the gradient mismatch problem, leading to sub-optimal results. In this work, we present the Hessian-aware Quantized GNN (HQ-GNN) as an effective solution for discrete representations of users/items that enable fast retrieval. HQ-GNN is composed of two components: a GNN encoder for learning continuous node embeddings and a quantized module for compressing full-precision embeddings into low-bit ones. Consequently, HQ-GNN benefits from both lower memory requirements and faster inference speeds compared to vanilla GNNs. To address the gradient mismatch problem in STE, we further consider the quantized errors and its second-order derivatives for better stability. The experimental results on several large-scale datasets show that HQ-GNN achieves a good balance between latency and performance.


title: From constant to rough: A survey of continuous volatility modeling

abstract: In this paper, we present a comprehensive survey of continuous stochastic volatility models, discussing their historical development and the key stylized facts that have driven the field. Special attention is dedicated to fractional and rough methods: we outline the motivation behind them and characterize some landmark models. In addition, we briefly touch the problem of VIX modeling and recent advances in the SPX-VIX joint calibration puzzle.


title: Discrete-to-continuum models of pre-stressed cytoskeletal filament networks

abstract: We introduce a mathematical model for the mechanical behaviour of the eukaryotic cell cytoskeleton. This discrete model involves a regular array of pre-stressed protein filaments that exhibit resistance to enthalpic stretching, joined at crosslinks to form a network. Assuming that the inter-crosslink distance is much shorter than the lengthscale of the cell, we upscale the discrete force balance to form a continuum system of governing equations and deduce the corresponding macroscopic stress tensor. We use these discrete and continuum models to analyse the imposed displacement of a bead placed in the domain, characterising the cell rheology through the force-displacement curve. We further derive an analytical approximation to the stress and strain fields in the limit of small bead radius, predicting the net force required to generate a given deformation and elucidating the dependency on the microscale properties of the filaments. We apply these models to networks of the intermediate filament vimentin and demonstrate good agreement between predictions of the discrete, continuum and analytical approaches. In particular, our model predicts that the network stiffness increases sublinearly with the filament pre-stress and scales logarithmically with the bead size.

categories: q-bio.QM math.AP physics.bio-ph q-bio.SC


title: Deep Deformable Models: Learning 3D Shape Abstractions with Part Consistency

abstract: The task of shape abstraction with semantic part consistency is challenging due to the complex geometries of natural objects. Recent methods learn to represent an object shape using a set of simple primitives to fit the target. \textcolor{black}{However, in these methods, the primitives used do not always correspond to real parts or lack geometric flexibility for semantic interpretation.} In this paper, we investigate salient and efficient primitive descriptors for accurate shape abstractions, and propose \textit{Deep Deformable Models (DDMs)}. DDM employs global deformations and diffeomorphic local deformations. These properties enable DDM to abstract complex object shapes with significantly fewer primitives that offer broader geometry coverage and finer details. DDM is also capable of learning part-level semantic correspondences due to the differentiable and invertible properties of our primitive deformation. Moreover, DDM learning formulation is based on dynamic and kinematic modeling, which enables joint regularization of each sub-transformation during primitive fitting. Extensive experiments on \textit{ShapeNet} demonstrate that DDM outperforms the state-of-the-art in terms of reconstruction and part consistency by a notable margin.


title: SEPAL: Spatial Gene Expression Prediction from Local Graphs

abstract: Spatial transcriptomics is an emerging technology that aligns histopathology images with spatially resolved gene expression profiling. It holds the potential for understanding many diseases but faces significant bottlenecks such as specialized equipment and domain expertise. In this work, we present SEPAL, a new model for predicting genetic profiles from visual tissue appearance. Our method exploits the biological biases of the problem by directly supervising relative differences with respect to mean expression, and leverages local visual context at every coordinate to make predictions using a graph neural network. This approach closes the gap between complete locality and complete globality in current methods. In addition, we propose a novel benchmark that aims to better define the task by following current best practices in transcriptomics and restricting the prediction variables to only those with clear spatial patterns. Our extensive evaluation in two different human breast cancer datasets indicates that SEPAL outperforms previous state-of-the-art methods and other mechanisms of including spatial context.


title: A numerical illustration of a recently proposed strongly polynomial-time algorithm for the general linear programming problem

abstract: Utilizing illustrative linear programming (LP) problem instances, this article presents a numerical illustration of a recently proposed strongly polynomial-time algorithm for the general LP problem. With each iteration of the algorithm consisting of two Gauss-Jordan pivoting operations, the algorithm's implementation is very simple. The algorithm is currently being reviewed for correctness by a reputable optimization journal. Our illustrative example LP problem instances include a Klee-Minty LP problem in its general form and an LP problem of Beale.


title: Neurosymbolic Reinforcement Learning and Planning: A Survey

abstract: The area of Neurosymbolic Artificial Intelligence (Neurosymbolic AI) is rapidly developing and has become a popular research topic, encompassing sub-fields such as Neurosymbolic Deep Learning (Neurosymbolic DL) and Neurosymbolic Reinforcement Learning (Neurosymbolic RL). Compared to traditional learning methods, Neurosymbolic AI offers significant advantages by simplifying complexity and providing transparency and explainability. Reinforcement Learning(RL), a long-standing Artificial Intelligence(AI) concept that mimics human behavior using rewards and punishment, is a fundamental component of Neurosymbolic RL, a recent integration of the two fields that has yielded promising results. The aim of this paper is to contribute to the emerging field of Neurosymbolic RL by conducting a literature survey. Our evaluation focuses on the three components that constitute Neurosymbolic RL: neural, symbolic, and RL. We categorize works based on the role played by the neural and symbolic parts in RL, into three taxonomies:Learning for Reasoning, Reasoning for Learning and Learning-Reasoning. These categories are further divided into sub-categories based on their applications. Furthermore, we analyze the RL components of each research work, including the state space, action space, policy module, and RL algorithm. Additionally, we identify research opportunities and challenges in various applications within this dynamic field.


title: Characterizing the assembly of dark matter halos with protohalo size histories: I. Redshift evolution, relation to descendant halos, and halo assembly bias

abstract: We propose a novel method to quantify the assembly histories of dark matter halos with the redshift evolution of the mass-weighted spatial variance of their progenitor halos, i.e. the protohalo size history. We find that the protohalo size history for each individual halo at z~0 can be described by a double power-law function. The amplitude of the fitting function strongly correlates to the central-to-total stellar mass ratios of descendant halos. The variation of the amplitude of the protohalo size history can induce a strong halo assembly bias effect for massive halos. This effect is detectable in observation using the central-to-total stellar mass ratio as a proxy of the protohalo size. The correlation to the descendant central-to-total stellar mass ratio and the halo assembly bias effect seen in the protohalo size are much stronger than that seen in the commonly adopted half-mass formation time derived from the mass accretion history. This indicates that the information loss caused by the compression of halo merger trees to mass accretion histories can be captured by the protohalo size history. Protohalo size thus provides a useful quantity to connect protoclusters across cosmic time and to link protoclusters with their descendant clusters in observations.


title: Efficient Covariance Matrix Reconstruction with Iterative Spatial Spectrum Sampling

abstract: This work presents a cost-effective technique for designing robust adaptive beamforming algorithms based on efficient covariance matrix reconstruction with iterative spatial power spectrum (CMR-ISPS). The proposed CMR-ISPS approach reconstructs the interference-plus-noise covariance (INC) matrix based on a simplified maximum entropy power spectral density function that can be used to shape the directional response of the beamformer. Firstly, we estimate the directions of arrival (DoAs) of the interfering sources with the available snapshots. We then develop an algorithm to reconstruct the INC matrix using a weighted sum of outer products of steering vectors whose coefficients can be estimated in the vicinity of the DoAs of the interferences which lie in a small angular sector. We also devise a cost-effective adaptive algorithm based on conjugate gradient techniques to update the beamforming weights and a method to obtain estimates of the signal of interest (SOI) steering vector from the spatial power spectrum. The proposed CMR-ISPS beamformer can suppress interferers close to the direction of the SOI by producing notches in the directional response of the array with sufficient depths. Simulation results are provided to confirm the validity of the proposed method and make a comparison to existing approaches


title: Energy transport between heat baths with oscillating temperatures

abstract: Energy transport is a fundamental physical process that plays a prominent role in the function and performance of myriad systems and technologies. Recent experimental measurements have shown that subjecting a macroscale system to a time-periodic temperature gradient can increase thermal conductivity in comparison to a static temperature gradient. Here, we theoretically examine this mechanism in a nanoscale model by applying a stochastic Langevin framework to describe the energy transport properties of a particle connecting two heat baths with different temperatures, where the temperature difference between baths is oscillating in time. Analytical expressions for the energy flux of each heat bath and for the system itself are derived for the case of a free particle and a particle in a harmonic potential. We find that dynamical effects in the energy flux induced by temperature oscillations give rise to complex energy transport hysteresis effects. The presented results suggest that applying time-periodic temperature modulations is a potential route to control energy storage and release in molecular devices and nanosystems.


title: Digital Twins and Blockchain for IoT Management

abstract: Security and privacy are primary concerns in IoT management. Security breaches in IoT resources, such as smart sensors, can leak sensitive data and compromise the privacy of individuals. Effective IoT management requires a comprehensive approach to prioritize access security and data privacy protection. Digital twins create virtual representations of IoT resources. Blockchain adds decentralization, transparency, and reliability to IoT systems. This research integrates digital twins and blockchain to manage access to IoT data streaming. Digital twins are used to encapsulate data access and view configurations. Access is enabled on digital twins, not on IoT resources directly. Trust structures programmed as smart contracts are the ones that manage access to digital twins. Consequently, IoT resources are not exposed to third parties, and access security breaches can be prevented. Blockchain has been used to validate digital twins and store their configuration. The research presented in this paper enables multitenant access and customization of data streaming views and abstracts the complexity of data access management. This approach provides access and configuration security and data privacy protection.


title: Distribution learning via neural differential equations: a nonparametric statistical perspective

abstract: Ordinary differential equations (ODEs), via their induced flow maps, provide a powerful framework to parameterize invertible transformations for the purpose of representing complex probability distributions. While such models have achieved enormous success in machine learning, particularly for generative modeling and density estimation, little is known about their statistical properties. This work establishes the first general nonparametric statistical convergence analysis for distribution learning via ODE models trained through likelihood maximization. We first prove a convergence theorem applicable to arbitrary velocity field classes $\mathcal{F}$ satisfying certain simple boundary constraints. This general result captures the trade-off between approximation error (`bias') and the complexity of the ODE model (`variance'). We show that the latter can be quantified via the $C^1$-metric entropy of the class $\mathcal F$. We then apply this general framework to the setting of $C^k$-smooth target densities, and establish nearly minimax-optimal convergence rates for two relevant velocity field classes $\mathcal F$: $C^k$ functions and neural networks. The latter is the practically important case of neural ODEs. Our proof techniques require a careful synthesis of (i) analytical stability results for ODEs, (ii) classical theory for sieved M-estimators, and (iii) recent results on approximation rates and metric entropies of neural network classes. The results also provide theoretical insight on how the choice of velocity field class, and the dependence of this choice on sample size $n$ (e.g., the scaling of width, depth, and sparsity of neural network classes), impacts statistical performance.


title: When are KE-closed subcategories torsion-free classes?

abstract: Let $R$ be a commutative noetherian ring and denote by $\mathsf{mod} R$ the category of finitely generated $R$-modules. In this paper, we study KE-closed subcategories of $\mathsf{mod} R$, that is, additive subcategories closed under kernels and extensions. We first give a characterization of KE-closed subcategories: a KE-closed subcategory is a torsion-free class in a torsion-free class. As an immediate application of the dual statement, we give a conceptual proof of Stanley-Wang's result about narrow subcategories. Next, we classify the KE-closed subcategories of $\mathsf{mod} R$ when $\mathrm{dim} R \le 1$ and when $R$ is a two-dimensional normal domain. More precisely, in the former case, we prove that KE-closed subcategories coincide with torsion-free classes in $\mathsf{mod} R$. Moreover, this condition implies $\mathrm{dim} R \le 1$ when $R$ is a homomorphic image of a Cohen-Macaulay ring (e.g. a finitely generated algebra over a regular ring). Thus, we give a complete answer for the title.


title: Exploring the Structures and Substructures of the Andromeda Satellite Dwarf Galaxies Cassiopeia III, Perseus I, and Lacerta I

abstract: We present results from wide-field imaging of the resolved stellar populations of the dwarf spheroidal galaxies Cassiopeia III (And XXXII) and Perseus I (And XXXIII), two satellites in the outer stellar halo of the Andromeda galaxy (M31). Our WIYN pODI photometry traces the red giant star population in each galaxy to ~2.5-3 half-light radii from the galaxy center. We use the Tip of the Red Giant Branch (TRGB) method to derive distances of (m-M)_0 = 24.62+/-0.12 mag (839 (+48,-450) kpc, or 156 (+16,-13) kpc from M31) for Cas III and 24.47+/-0.13 mag (738 (+48,-45) kpc, or 351 (+17,-16) kpc from M31) for Per I. These values are consistent within the errors with TRGB distances derived from a deeper Hubble Space Telescope study of the galaxies' inner regions. For each galaxy, we derive structural parameters, total magnitude, and central surface brightness. We also place upper limits on the ratio of neutral hydrogen gas mass to optical luminosity, confirming the gas-poor nature of both galaxies. We combine our data set with corresponding data for the M31 satellite galaxy Lacerta I (And XXXI) from earlier work, and search for substructure within the RGB star populations of Cas III, Per I, and Lac I. We find an overdense region on the west side of Lac I at a significance level of 2.5-3-sigma and a low-significance filament extending in the direction of M31. In Cas III, we identify two modestly significant overdensities near the center of the galaxy and another at two half-light radii. Per I shows no evidence for substructure in its RGB star population, which may reflect this galaxy's isolated nature.


title: Theoretical investigation on potential of zero free charge of (111) and (100) surfaces of Group 10 and 11 metals

abstract: The potential of zero free charge (PZFC) value is a crucial parameter in electrochemistry. However, the evaluations of PZFC have traditionally been difficult. To overcome this challenge, we applied a hybrid solvation method that incorporates, both an explicit water layer next to the metal surface and an implicit water layer, combined with density functional theory (DFT) to simplify the PZFC evaluation. Using the (111) and (100) surfaces of Group 10 and 11 metals as model systems, we calculated their PZFC values, which showed excellent agreement with the reported data. This great match validates the accuracy and reliability of our theoretical approach. Notably, we observed that the surface structure and the orientation of water molecules have a significant influence on the PZFC values of the metals. Our study, therefore, paves the way for efficiently and accurately calculating the PZFC values of materials, which can greatly benefit their practical applications.


title: "Extraordinary" Phase Transition Revealed in a van der Waals Antiferromagnet

abstract: While the surface-bulk correspondence has been ubiquitously shown in topological phases, the relationship between surface and bulk in Landau-like phases is much less explored. Theoretical investigations since 1970s for semi-infinite systems have predicted the possibility of the surface order emerging at a higher temperature than the bulk, clearly illustrating a counterintuitive situation and greatly enriching phase transitions. But experimental realizations of this prediction remain missing. Here, we demonstrate the higher-temperature surface and lower-temperature bulk phase transitions in CrSBr, a van der Waals (vdW) layered antiferromagnet. We leverage the surface sensitivity of electric dipole second harmonic generation (SHG) to resolve surface magnetism, the bulk nature of electric quadrupole SHG to probe bulk spin correlations, and their interference to capture the two magnetic domain states. Our density functional theory calculations show the suppression of ferromagnetic-antiferromagnetic competition at the surface responsible for this enhanced surface magnetism. Our results not only show unexpected, richer phase transitions in vdW magnets, but also provide viable ways to enhance magnetism in their 2D form.