title: Model approximation in MDPs with unbounded per-step cost

abstract: We consider the problem of designing a control policy for an infinite-horizon discounted cost Markov decision process $\mathcal{M}$ when we only have access to an approximate model $\hat{\mathcal{M}}$. How well does an optimal policy $\hat{\pi}^{\star}$ of the approximate model perform when used in the original model $\mathcal{M}$? We answer this question by bounding a weighted norm of the difference between the value function of $\hat{\pi}^\star $ when used in $\mathcal{M}$ and the optimal value function of $\mathcal{M}$. We then extend our results and obtain potentially tighter upper bounds by considering affine transformations of the per-step cost. We further provide upper bounds that explicitly depend on the weighted distance between cost functions and weighted distance between transition kernels of the original and approximate models. We present examples to illustrate our results.


title: The impact of CP-violating phases on DM observables in the cpMSSM

abstract: In this paper we examine the effect of adding CP-violating phases to the pMSSM on the Dark-Matter (DM) direct-detection cross sections, the velocity-weighted annihilation cross section, and the DM relic density. We show that $\varphi_{M_2}$ and $\varphi_{\mu}$, the phases of the wino and higgsino mass parameters, are sufficiently constrained by electron electric-dipole-moment (EDM) measurements such that the allowed values of these phases are too small to influence these DM observables. Conversely, the phase of the bino-mass parameter $\varphi_{M_1}$ and the phases associated with the trilinear couplings, $\varphi_{A^t}$, $\varphi_{A^b}$, and $\varphi_{A^\tau}$, are barely constrained by EDM experiments. We find that these cpMSSM phases can have an important impact on the mentioned DM observables. This especially concerns pMSSM points that lie on the boundary of exclusion, as observables can be affected by cpMSSM phases to the extent that they are either pushed into the observable region, or outside the excluded region.


title: Interacting Scalar fields: Dark Matter--Early Dark Energy

abstract: The main aim of this work is to explore the possibility that cold dark matter (CDM) and early dark energy (EDE) can be described by canonical scalar fields that are coupled at the level of its conservation equations. The formalism covers dynamical aspects at the background and linear perturbation levels for an arbitrary coupling function, followed by an example of it. We emphasize the impact of this model on the Matter Power Spectrum and the Cosmic Microwave Background (CMB) spectra, with or without direct interaction. Our findings indicate that the presence of a scalar field can partially counteract the known effects of the other, opening the possibility to avoid some undesired aspects, such as the increase in $\Omega_{m}$ that usually is needed in the case of a purely EDE scalar field scenario, in order to fit the CMB spectra. This opens up the possibility to analyzing whether the interaction can help to ameliorate the cosmological tensions.


title: Parameterized dynamic data structure for Split Completion

abstract: We design a randomized data structure that, for a fully dynamic graph $G$ updated by edge insertions and deletions and integers $k, d$ fixed upon initialization, maintains the answer to the Split Completion problem: whether one can add $k$ edges to $G$ to obtain a split graph. The data structure can be initialized on an edgeless $n$-vertex graph in time $n \cdot (k d \cdot \log n)^{\mathcal{O}(1)}$, and the amortized time complexity of an update is $5^k \cdot (k d \cdot \log n)^{\mathcal{O}(1)}$. The answer provided by the data structure is correct with probability $1-\mathcal{O}(n^{-d})$.


title: An Adaptive System Architecture for Multimodal Intelligent Transportation Systems

abstract: Multimodal intelligent transportation systems (M-ITS) encompass a range of transportation services that utilise various modes of transport and incorporate intelligent technologies for enhanced efficiency and user experience. There are several challenges in M-ITS including data integration, Interoperability, scalability, user experience, etc. To address these challenges, such a system requires an adaptive system architecture that enables M-ITS to operate as an integrated ecosystem. In this paper, we provide an adaptive, user-centric, and layered architecture for multimodal transportation systems. The proposed architecture ensures scalability for seamless interactions of various subcomponents, that are often managed by different stakeholders. Concurrently, the data architecture is detailed, covering diverse data sources, advanced analytics, and stringent governance, providing a robust basis for intelligent decision-making. We provide two example use cases of the proposed architecture, showing how the data architecture and the system architecture can be fused and serve multimodal intelligent transport services.


title: Corridor Geometry in Gradient-Based Optimization

abstract: We characterize regions of a loss surface as corridors when the continuous curves of steepest descent -- the solutions of the gradient flow -- become straight lines. We show that corridors provide insights into gradient-based optimization, since corridors are exactly the regions where gradient descent and the gradient flow follow the same trajectory, while the loss decreases linearly. As a result, inside corridors there are no implicit regularization effects or training instabilities that have been shown to occur due to the drift between gradient descent and the gradient flow. Using the loss linear decrease on corridors, we devise a learning rate adaptation scheme for gradient descent; we call this scheme Corridor Learning Rate (CLR). The CLR formulation coincides with a special case of Polyak step-size, discovered in the context of convex optimization. The Polyak step-size has been shown recently to have also good convergence properties for neural networks; we further confirm this here with results on CIFAR-10 and ImageNet.


title: Infinite-horizon optimal scheduling for feedback control

abstract: Emerging cyber-physical systems impel the development of communication protocols to efficiently utilize resources. This paper investigates the optimal co-design of control and scheduling in networked control systems. The objective is to co-design the control law and the scheduling mechanism that jointly optimize the tradeoff between regulation performance and communication resource consumption in the long run. The concept of the value of information (VoI) is employed to evaluate the importance of data being transmitted. The optimal solution includes a certainty equivalent control law and a stationary scheduling policy based on the VoI function. The closed-loop system under the designed scheduling policy is shown to be stochastically stable. By analyzing the property of the VoI function, we show that the optimal scheduling policy is symmetric and is a monotone function when the system matrix is diagonal. Moreover, by the diagonal system matrix assumption, the optimal scheduling policy is shown to be of threshold type. Then we provide a simplified yet equivalent form of the threshold-based optimal scheduling policy. The threshold value searching region is also given. Finally, the numerical simulation illustrates the theoretical result of the VoI-based scheduling.


title: Topological Symmetry Groups of the Generalized Petersen Graphs

abstract: The topological symmetry group $\mathrm{TSG}(\Gamma)$ of an embedding $\Gamma$ of a graph in $S^3$ is the subgroup of the automorphism group of the graph which is induced by homeomorphisms of $(S^3,\Gamma)$. If we restrict to orientation preserving homeomorphisms then we obtain the orientation preserving topological symmetry group $\mathrm{TSG}_+(\Gamma)$. In this paper we determine all groups that can be $\mathrm{TSG}(\Gamma)$ or $\mathrm{TSG}_+(\Gamma)$ for some embedding $\Gamma$ of a generalized Petersen graph other than the exceptional graphs $P(12,5)$ and $P(24, 5)$ (which will be addressed in a separate paper.


title: Problem-Parameter-Free Decentralized Nonconvex Stochastic Optimization

abstract: Existing decentralized algorithms usually require knowledge of problem parameters for updating local iterates. For example, the hyperparameters (such as learning rate) usually require the knowledge of Lipschitz constant of the global gradient or topological information of the communication networks, which are usually not accessible in practice. In this paper, we propose D-NASA, the first algorithm for decentralized nonconvex stochastic optimization that requires no prior knowledge of any problem parameters. We show that D-NASA has the optimal rate of convergence for nonconvex objectives under very mild conditions and enjoys the linear-speedup effect, i.e. the computation becomes faster as the number of nodes in the system increases. Extensive numerical experiments are conducted to support our findings.


title: Extended symmetry analysis of (1+2)-dimensional fine Kolmogorov backward equation

abstract: Within the class of (1+2)-dimensional ultraparabolic linear equations, we distinguish a fine Kolmogorov backward equation with a quadratic diffusivity. Modulo the point equivalence, it is a unique equation within the class whose essential Lie invariance algebra is five-dimensional and nonsolvable. Using the direct method, we compute the point symmetry pseudogroup of this equation and analyze its structure. In particular, we single out its essential subgroup and classify its discrete elements. We exhaustively classify all subalgebras of the corresponding essential Lie invariance algebra up to inner automorphisms and up to the action of the essential point-symmetry group. This allowed us to classify Lie reductions and Lie invariant solutions of the equation under consideration. We also discuss the generation of its solutions using point and linear generalized symmetries and carry out its peculiar generalized reductions. As a result, we construct wide families of its solutions parameterized by an arbitrary finite number of arbitrary solutions of the (1+1)-dimensional linear heat equation or one or two arbitrary solutions of (1+1)-dimensional linear heat equations with inverse square potentials.


title: RanDumb: A Simple Approach that Questions the Efficacy of Continual Representation Learning

abstract: We propose RanDumb to examine the efficacy of continual representation learning. RanDumb embeds raw pixels using a fixed random transform which approximates an RBF-Kernel, initialized before seeing any data, and learns a simple linear classifier on top. We present a surprising and consistent finding: RanDumb significantly outperforms the continually learned representations using deep networks across numerous continual learning benchmarks, demonstrating the poor performance of representation learning in these scenarios. RanDumb stores no exemplars and performs a single pass over the data, processing one sample at a time. It complements GDumb, operating in a low-exemplar regime where GDumb has especially poor performance. We reach the same consistent conclusions when RanDumb is extended to scenarios with pretrained models replacing the random transform with pretrained feature extractor. Our investigation is both surprising and alarming as it questions our understanding of how to effectively design and train models that require efficient continual representation learning, and necessitates a principled reinvestigation of the widely explored problem formulation itself. Our code is available at https://github.com/drimpossible/RanDumb.


title: Disambiguated Node Classification with Graph Neural Networks

abstract: Graph Neural Networks (GNNs) have demonstrated significant success in learning from graph-structured data across various domains. Despite their great successful, one critical challenge is often overlooked by existing works, i.e., the learning of message propagation that can generalize effectively to underrepresented graph regions. These minority regions often exhibit irregular homophily/heterophily patterns and diverse neighborhood class distributions, resulting in ambiguity. In this work, we investigate the ambiguity problem within GNNs, its impact on representation learning, and the development of richer supervision signals to fight against this problem. We conduct a fine-grained evaluation of GNN, analyzing the existence of ambiguity in different graph regions and its relation with node positions. To disambiguate node embeddings, we propose a novel method, {\method}, which exploits additional optimization guidance to enhance representation learning, particularly for nodes in ambiguous regions. {\method} identifies ambiguous nodes based on temporal inconsistency of predictions and introduces a disambiguation regularization by employing contrastive learning in a topology-aware manner. {\method} promotes discriminativity of node representations and can alleviating semantic mixing caused by message propagation, effectively addressing the ambiguity problem. Empirical results validate the efficiency of {\method} and highlight its potential to improve GNN performance in underrepresented graph regions.


title: Maximizing Throughput with Routing Interference Avoidance in RIS-Assisted Relay Mesh Networks

abstract: In the modern landscape of wireless communications, multi-hop, high-bandwidth, indoor Terahertz (THz) wireless communications are gaining significant attention. These systems couple Reconfigurable Intelligent Surface (RIS) and relay devices within the emerging 6G network framework, offering promising solutions for creating cell-less, indoor, and on-demand mesh networks. RIS devices are especially attractive, constructed by an array of reflecting elements that can phase shifts, such that the reflecting signals can be focused, steered, and the power of the signal enhanced towards the destination. This paper presents an in-depth, analytical examination of how path allocation impacts interference within such networks. We develop the first model which analyzes interference based on the geometric parameters of beams (conic, cylindrical) as they interact with RIS, User Equipment (UE), and relay devices. We introduce a transmission scheduling heuristic designed to mitigate interference, alongside an efficient optimization method to maximize throughput. Our performance results elucidate the interference's effect on communication path quality and highlight effective path selection strategies with throughput maximization.


title: Equilibria of Data Marketplaces with Privacy-Aware Sellers under Endogenous Privacy Costs

abstract: We study a two-sided online data ecosystem comprised of an online platform, users on the platform, and downstream learners or data buyers. The learners can buy user data on the platform (to run a statistic or machine learning task). Potential users decide whether to join by looking at the trade-off between i) their benefit from joining the platform and interacting with other users and ii) the privacy costs they incur from sharing their data. First, we introduce a novel modeling element for two-sided data platforms: the privacy costs of the users are endogenous and depend on how much of their data is purchased by the downstream learners. Then, we characterize marketplace equilibria in certain simple settings. In particular, we provide a full characterization in two variants of our model that correspond to different utility functions for the users: i) when each user gets a constant benefit for participating in the platform and ii) when each user's benefit is linearly increasing in the number of other users that participate. In both variants, equilibria in our setting are significantly different from equilibria when privacy costs are exogenous and fixed, highlighting the importance of taking endogeneity in the privacy costs into account. Finally, we provide simulations and semi-synthetic experiments to extend our results to more general assumptions. We experiment with different distributions of users' privacy costs and different functional forms of the users' utilities for joining the platform.


title: The Mixed Integer Trust Region Problem

abstract: In this paper we consider the problem of minimizing a general quadratic function over the mixed integer points in an ellipsoid. This problem is strongly NP-hard, NP-hard to approximate within a constant factor, and optimal solutions can be irrational. In our main result we show that an arbitrarily good solution can be found in polynomial time, if we fix the number of integer variables. This algorithm provides a natural extension to the mixed integer setting, of the polynomial solvability of the trust region problem proven by Ye, Karmarkar, Vavasis, and Zippel. Our result removes a key bottleneck in the design and analysis of model trust region methods for mixed integer nonlinear optimization problems. The techniques introduced to prove this result are of independent interest and can be used in other mixed integer programming problems involving quadratic functions. As an example we consider the problem of minimizing a general quadratic function over the mixed integer points in a polyhedron. For this problem, we show that a solution satisfying weak bounds with respect to optimality can be computed in polynomial time, provided that the number of integer variables is fixed. It is well-known that finding a solution satisfying stronger bounds cannot be done in polynomial time, unless P=NP.


title: Fusing Individualized Treatment Rules Using Secondary Outcomes

abstract: An individualized treatment rule (ITR) is a decision rule that recommends treatments for patients based on their individual feature variables. In many practices, the ideal ITR for the primary outcome is also expected to cause minimal harm to other secondary outcomes. Therefore, our objective is to learn an ITR that not only maximizes the value function for the primary outcome, but also approximates the optimal rule for the secondary outcomes as closely as possible. To achieve this goal, we introduce a fusion penalty to encourage the ITRs based on different outcomes to yield similar recommendations. Two algorithms are proposed to estimate the ITR using surrogate loss functions. We prove that the agreement rate between the estimated ITR of the primary outcome and the optimal ITRs of the secondary outcomes converges to the true agreement rate faster than if the secondary outcomes are not taken into consideration. Furthermore, we derive the non-asymptotic properties of the value function and misclassification rate for the proposed method. Finally, simulation studies and a real data example are used to demonstrate the finite-sample performance of the proposed method.


title: Phase transition to turbulence via moving fronts

abstract: Directed percolation (DP), a universality class of continuous phase transitions, has recently been established as a possible route to turbulence in subcritical wall-bounded flows. In canonical straight pipe or planar flows, DP occurs via discrete large-scale turbulent structures, known as puffs in pipe flow or bands in planar flows, which either self-replicate or laminarize. However, these processes might not be universal to all subcritical shear flows. Here, we design a numerical experiment that eliminates discrete structures in plane Couette flow and show that it follows a different, simpler transition scenario. Turbulence proliferates via expanding fronts and decays via spontaneous creation of laminar zones. We map this phase transition onto a stochastic one-variable system. The level of turbulent fluctuations dictates whether moving-front transition belongs to the DP universality class, which has profound implications for many other hydrodynamic systems.


title: Sequence graphs realizations and ambiguity in language models

abstract: Several popular language models represent local contexts in an input text as bags of words. Such representations are naturally encoded by a sequence graph whose vertices are the distinct words occurring in x, with edges representing the (ordered) co-occurrence of two words within a sliding window of size w. However, this compressed representation is not generally bijective, and may introduce some degree of ambiguity. Some sequence graphs may admit several realizations as a sequence, while others may not admit any realization. In this paper, we study the realizability and ambiguity of sequence graphs from a combinatorial and computational point of view. We consider the existence and enumeration of realizations of a sequence graph under multiple settings: window size w, presence/absence of graph orientation, and presence/absence of weights (multiplicities). When w = 2, we provide polynomial time algorithms for realizability and enumeration in all cases except the undirected/weighted setting, where we show the #P-hardness of enumeration. For a window of size at least 3, we prove hardness of all variants, even when w is considered as a constant, with the notable exception of the undirected/unweighted case for which we propose an XP algorithms for both (realizability and enumeration) problems, tight due to a corresponding W[1]-hardness result. We conclude with an integer program formulation to solve the realizability problem, and with dynamic programming to solve the enumeration problem. This work leaves open the membership to NP for both problems, a non-trivial question due to the existence of minimum realizations having exponential size on the instance encoding.


title: eCeLLM: Generalizing Large Language Models for E-commerce from Large-scale, High-quality Instruction Data

abstract: With tremendous efforts on developing effective e-commerce models, conventional e-commerce models show limited success in generalist e-commerce modeling, and suffer from unsatisfactory performance on new users and new products - a typical out-of-domain generalization challenge. Meanwhile, large language models (LLMs) demonstrate outstanding performance in generalist modeling and out-of-domain generalizability in many fields. Toward fully unleashing their power for e-commerce, in this paper, we construct ECInstruct, the first open-sourced, large-scale, and high-quality benchmark instruction dataset for e-commerce. Leveraging ECInstruct, we develop eCeLLM, a series of e-commerce LLMs, by instruction-tuning general-purpose LLMs. Our comprehensive experiments and evaluation demonstrate that eCeLLM models substantially outperform baseline models, including the most advanced GPT-4, and the state-of-the-art task-specific models in in-domain evaluation. Moreover, eCeLLM exhibits excellent generalizability to out-of-domain settings, including unseen products and unseen instructions, highlighting its superiority as a generalist e-commerce model. Both the ECInstruct dataset and the eCeLLM models show great potential in empowering versatile and effective LLMs for e-commerce. ECInstruct and eCeLLM models are publicly accessible through https://ninglab.github.io/eCeLLM.


title: Intelligent Agricultural Management Considering N$_2$O Emission and Climate Variability with Uncertainties

abstract: This study examines how artificial intelligence (AI), especially Reinforcement Learning (RL), can be used in farming to boost crop yields, fine-tune nitrogen use and watering, and reduce nitrate runoff and greenhouse gases, focusing on Nitrous Oxide (N$_2$O) emissions from soil. Facing climate change and limited agricultural knowledge, we use Partially Observable Markov Decision Processes (POMDPs) with a crop simulator to model AI agents' interactions with farming environments. We apply deep Q-learning with Recurrent Neural Network (RNN)-based Q networks for training agents on optimal actions. Also, we develop Machine Learning (ML) models to predict N$_2$O emissions, integrating these predictions into the simulator. Our research tackles uncertainties in N$_2$O emission estimates with a probabilistic ML approach and climate variability through a stochastic weather model, offering a range of emission outcomes to improve forecast reliability and decision-making. By incorporating climate change effects, we enhance agents' climate adaptability, aiming for resilient agricultural practices. Results show these agents can align crop productivity with environmental concerns by penalizing N$_2$O emissions, adapting effectively to climate shifts like warmer temperatures and less rain. This strategy improves farm management under climate change, highlighting AI's role in sustainable agriculture.


title: Symbolic powers: Simis and weighted monomial ideals

abstract: The aim of this work is to compare symbolic and ordinary powers of monomial ideals using commutative algebra and combinatorics. Monomial ideals whose symbolic and ordinary powers coincide are called Simis ideals. Weighted monomial ideals are defined by assigning linear weights to monomials. We examine Simis and normally torsion-free ideals, relate some of the properties of monomial ideals and weighted monomial ideals, and present an structure theorem for edge ideals of $d$-uniform clutters whose ideal of covers is Simis in degree $d$. One of our main results is a combinatorial classification of when the dual of the edge ideal of a weighted oriented graph is Simis in degree $2$.


title: Machine Learning Potential Powered Insights into the Mechanical Stability of Amorphous Li-Si Alloys

abstract: Understanding the mechanical properties of solid-state materials at the atomic scale is crucial for developing novel materials. For example, amorphous LiSi alloys are attractive anode materials for solid-state Li-ion batteries but face mechanical instabilities due to significant volume variations with changing Li content. A fundamental grasp of the mechanical behavior in such systems is essential to address their poor mechanical integrity. Experimental methods offer insufficient information to elaborate on dynamic mechanical degradation mechanisms at the atomic scale, and computationally demanding first-principles methods, like DFT, struggle to access the system sizes needed for modeling mechanical phenomena. Machine learning potentials (MLPs) can overcome the computational constraints of traditional DFT-based simulations, enabling large-scale, accurate, and efficient simulations. Here, we provide a concise tutorial on developing and applying MLPs to investigate mechanical properties in materials systems, ranging from bulk to nanoparticles, using Li-Si alloys as an example. Trained on a comprehensive dataset (~45,000 DFT structures) with the aenet package accelerated by PyTorch, a robust MLP is constructed to reproduce results consistent with previous experimental observations. We demonstrate applying the MLP to realistic structures to visualize the deformation mechanism and determine the origin of mechanical instabilities caused by fracturing. This work aims to establish MLP-based simulations as a tool to understand the atomic-scale mechanical behavior in different materials systems.


title: Fast Pulsars, Neutron Stars, and Astrophysical Strange Quark Matter Objects

abstract: This book chapter explores key aspects of neutron stars, pulsar glitches, tidal deformability, fast pulsars, the equation of state, and strange quark matter stars. Challenges in directly measuring neutron star radius have led to reliance on spectroscopic and timing techniques, with uncertainties addressed through careful source selection and theoretical modeling. Pulsar glitches reveal insights into the equation of state through angular momentum transfer within the neutron star. Tidal deformability is crucial in gravitational-wave astronomy, exemplified by the GW170817 event. Fast pulsars, instrumental in astrophysical testing, are classified into ordinary pulsars, millisecond pulsars, and magnetars. The EOS is vital for understanding neutron star internal structure, explored through various models. The chapter delves into the theoretical framework for rotating neutron stars, addressing uniform and differential rotation scenarios and their impacts on mass and radius. Additionally, the intriguing concept of quark stars and strange dwarfs is investigated. The various topics discussed in this book chapter contribute to a broader understanding of dense matter physics, astrophysical phenomena, and the potential for transformative discoveries through advanced observational techniques and technologies like gravitational wave detectors, radio telescopes, and X-ray telescopes.


title: The Euler non-mixing made easy

abstract: The non-transitivity without extra constraints in the 3D Euler equation is almost evident and can be derived, e.g. from Morse theory.


title: Learning to Generate Context-Sensitive Backchannel Smiles for Embodied AI Agents with Applications in Mental Health Dialogues

abstract: Addressing the critical shortage of mental health resources for effective screening, diagnosis, and treatment remains a significant challenge. This scarcity underscores the need for innovative solutions, particularly in enhancing the accessibility and efficacy of therapeutic support. Embodied agents with advanced interactive capabilities emerge as a promising and cost-effective supplement to traditional caregiving methods. Crucial to these agents' effectiveness is their ability to simulate non-verbal behaviors, like backchannels, that are pivotal in establishing rapport and understanding in therapeutic contexts but remain under-explored. To improve the rapport-building capabilities of embodied agents we annotated backchannel smiles in videos of intimate face-to-face conversations over topics such as mental health, illness, and relationships. We hypothesized that both speaker and listener behaviors affect the duration and intensity of backchannel smiles. Using cues from speech prosody and language along with the demographics of the speaker and listener, we found them to contain significant predictors of the intensity of backchannel smiles. Based on our findings, we introduce backchannel smile production in embodied agents as a generation problem. Our attention-based generative model suggests that listener information offers performance improvements over the baseline speaker-centric generation approach. Conditioned generation using the significant predictors of smile intensity provides statistically significant improvements in empirical measures of generation quality. Our user study by transferring generated smiles to an embodied agent suggests that agent with backchannel smiles is perceived to be more human-like and is an attractive alternative for non-personal conversations over agent without backchannel smiles.


title: Design of a compact, radiation tolerant AlGaAs Geiger photodiode

abstract: The Geiger photodiodes, or single photon avalanche photodiodes, for a radiation tolerant solid-state photomultiplier (SSPM) are being designed using Aluminum Gallium Arsenide (AlGaAs) and are less than 1 micrometer thick. Studies on the changes in dark current compared to silicon from thermal neutron damage were conducted demonstrating that the design concept is feasible, as the device sensitivity to incident radiation is low relative to silicon devices. To achieve the required high fields for Geiger mode operation within a thin device, a triple mesa structure was developed, and simulations show a favorable field profile that constrains the highest electric fields to the middle of the device and keeps the field strength at all corners and surfaces 3-6x lower than the field in the center at breakdown.


title: Error correction of parity-encoding-based annealing through post-readout decoding

abstract: Lechner, Hauke, and Zoller proposed a parity-encoded spin-embedding scheme for quantum annealing (QA) with all-to-all connectivity to avoid the issue of limited connectivity in near-term QA hardware and to enable the implementation thereof using only geometrically local interactions between spins fabricated on the planar substrate. Nevertheless, the redundant encoding of logical information, i.e., using a large number of spins to embed the logical information, increases the computational cost and reduces the efficiency. In this study, we show through Monte Carlo simulation that this redundant encoding may be exploited to solve the problems of the inefficiency and computational cost of the parity-encoded scheme by incorporating appropriate decoding, namely classical post-processing, of the spins to retrieve the logical information. Our findings open up the possibility of parity-encoded schemes for realizing the QA with near-term quantum technologies.


title: On the cohomology of SL$_n(\mathbb{Z})$

abstract: Let St denote the Steinberg module of $SL_n(Q)$ tensored with Q. Let Sh denote the sharbly resolution of St. By Borel-Serre duality, $H^{n(n-1)/2-i}(SL_n(Z),Q)$ is isomorphic to $H_i(SL_n(Z),St)$. The latter is isomorphic to the homology of the $SL_n(Z)$-coinvariants of Sh. We produce nonzero classes in $H_i(SL_n(Z),St)$ for certain small $i$ in terms of sharbly cycles and cosharbly cocycles.


title: Approximate Sequential Optimization for Informative Path Planning

abstract: We consider the problem of finding an informative path through a graph, given initial and terminal nodes and a given maximum path length. We assume that a linear noise corrupted measurement is taken at each node of an underlying unknown vector that we wish to estimate. The informativeness is measured by the reduction in uncertainty in our estimate, evaluated using several metrics. We present a convex relaxation for this informative path planning problem, which we can readily solve to obtain a bound on the possible performance. We develop an approximate sequential method where the path is constructed segment by segment through dynamic programming. This involves solving an orienteering problem, with the node reward acting as a surrogate for informativeness, taking the first step, and then repeating the process. The method scales to very large problem instances and achieves performance not too far from the bound produced by the convex relaxation. We also demonstrate our method's ability to handle adaptive objectives, multimodal sensing, and multi-agent variations of the informative path planning problem.


title: Synchronization Games

abstract: We propose a new mean-field game model with two states to study synchronization phenomena, and we provide a comprehensive characterization of stationary and dynamic equilibria along with their stability properties. The game undergoes a phase transition with increasing interaction strength. In the subcritical regime, the uniform distribution, representing incoherence, is the unique and stable stationary equilibrium. Above the critical interaction threshold, the uniform equilibrium becomes unstable and there is a multiplicity of stationary equilibria that are self-organizing. Under a discounted cost, dynamic equilibria spiral around the uniform distribution before converging to the self-organizing equilibria. With an ergodic cost, however, unexpected periodic equilibria around the uniform distribution emerge.


title: Variable stars in galactic globular Clusters I. The population of RR Lyrae stars

abstract: We present a comprehensive catalog of 2824 RR Lyrae stars (RRLs) residing in 115 Galactic globular clusters (GCs). Our catalog includes 1594 fundamental-mode (RRab), 824 first-overtone (RRc), and 28 double-mode (RRd) RRLs, as well as 378 RRLs of an unknown pulsation mode. We cross-matched 481349 RRLs reported in the third data release (DR3) of the ESA mission Gaia and the literature to 170 known GCs. Membership probabilities were computed as the products of a position and shape-dependent prior and a likelihood was computed using parallaxes, proper motions, and, where available, radial velocities from Gaia. Membership likelihoods of RRLs were computed by comparing cluster average parameters based on known member stars and the cross-matched RRLs. We determined empirical RRL instability strip (IS) boundaries based on our catalog and detected three new cluster RRLs inside this region via their excess Gaia G-band photometric uncertainties. We find that 77% of RRLs in GCs are included in the Gaia DR3 Specific Object Study, and 82% were classified as RRLs by the Gaia DR3 classifier, with the majority of the missing sources being located at the crowded GC centers. Surprisingly, we find that 25% of cluster member stars located within the empirical IS are not RRLs and appear to be non-variable. Additionally, we find that 80% of RRab, 84% of RRc, and 100% of the RRd stars are located within theoretical IS boundaries predicted using MESA models with Z = 0.0003, M = 0.7 (M_\odot), and Y = 0.290. Unexpectedly, a higher Y = 0.357 is required to fully match the location of RRc stars, and lower Y = 0.220 is needed to match the location of RRab stars. Lastly, our catalog does not exhibit an Oosterhoff dichotomy, with at least 22 GCs located inside the Oosterhoff "gap," which is close to the mode of the distribution of mean RRL periods in GCs.


title: Adaptive tempered reversible jump algorithm for Bayesian curve fitting

abstract: Bayesian curve fitting plays an important role in inverse problems, and is often addressed using the Reversible Jump Markov Chain Monte Carlo (RJMCMC) algorithm. However, this algorithm can be computationally inefficient without appropriately tuned proposals. As a remedy, we present an adaptive RJMCMC algorithm for the curve fitting problems by extending the Adaptive Metropolis sampler from a fixed-dimensional to a trans-dimensional case. In this presented algorithm, both the size and orientation of the proposal function can be automatically adjusted in the sampling process. Specifically, the curve fitting setting allows for the approximation of the posterior covariance of the a priori unknown function on a representative grid of points. This approximation facilitates the definition of efficient proposals. In addition, we introduce an auxiliary-tempered version of this algorithm via non-reversible parallel tempering. To evaluate the algorithms, we conduct numerical tests involving a series of controlled experiments. The results demonstrate that the adaptive algorithms exhibit significantly higher efficiency compared to the conventional ones. Even in cases where the posterior distribution is highly complex, leading to ineffective convergence in the auxiliary-tempered conventional RJMCMC, the proposed auxiliary-tempered adaptive RJMCMC performs satisfactorily. Furthermore, we present a realistic inverse example to test the algorithms. The successful application of the adaptive algorithm distinguishes it again from the conventional one that fails to converge effectively even after millions of iterations.


title: Feature Attribution with Necessity and Sufficiency via Dual-stage Perturbation Test for Causal Explanation

abstract: We investigate the problem of explainability for machine learning models, focusing on Feature Attribution Methods (FAMs) that evaluate feature importance through perturbation tests. Despite their utility, FAMs struggle to distinguish the contributions of different features, when their prediction changes are similar after perturbation. To enhance FAMs' discriminative power, we introduce Feature Attribution with Necessity and Sufficiency (FANS), which find a neighborhood of the input such that perturbing samples within this neighborhood have a high Probability of being Necessity and Sufficiency (PNS) cause for the change in predictions, and use this PNS as the importance of the feature. Specifically, FANS compute this PNS via a heuristic strategy for estimating the neighborhood and a perturbation test involving two stages (factual and interventional) for counterfactual reasoning. To generate counterfactual samples, we use a resampling-based approach on the observed samples to approximate the required conditional distribution. We demonstrate that FANS outperforms existing attribution methods on six benchmarks. Please refer to the source code via \url{https://github.com/DMIRLAB-Group/FANS}.


title: An Embarrassingly Simple Approach for LLM with Strong ASR Capacity

abstract: In this paper, we focus on solving one of the most important tasks in the field of speech processing, i.e., automatic speech recognition (ASR), with speech foundation encoders and large language models (LLM). Recent works have complex designs such as compressing the output temporally for the speech encoder, tackling modal alignment for the projector, and utilizing parameter-efficient fine-tuning for the LLM. We found that delicate designs are not necessary, while an embarrassingly simple composition of off-the-shelf speech encoder, LLM, and the only trainable linear projector is competent for the ASR task. To be more specific, we benchmark and explore various combinations of LLMs and speech encoders, leading to the optimal LLM-based ASR system, which we call SLAM-ASR. The proposed SLAM-ASR provides a clean setup and little task-specific design, where only the linear projector is trained. To the best of our knowledge, SLAM-ASR achieves the best performance on the Librispeech benchmark among LLM-based ASR models and even outperforms the latest LLM-based audio-universal model trained on massive pair data. Finally, we explore the capability emergence of LLM-based ASR in the process of modal alignment. We hope that our study can facilitate the research on extending LLM with cross-modality capacity and shed light on the LLM-based ASR community.


title: Space-Time Bridge-Diffusion

abstract: In this study, we introduce a novel method for generating new synthetic samples that are independent and identically distributed (i.i.d.) from high-dimensional real-valued probability distributions, as defined implicitly by a set of Ground Truth (GT) samples. Central to our method is the integration of space-time mixing strategies that extend across temporal and spatial dimensions. Our methodology is underpinned by three interrelated stochastic processes designed to enable optimal transport from an easily tractable initial probability distribution to the target distribution represented by the GT samples: (a) linear processes incorporating space-time mixing that yield Gaussian conditional probability densities, (b) their bridge-diffusion analogs that are conditioned to the initial and final state vectors, and (c) nonlinear stochastic processes refined through score-matching techniques. The crux of our training regime involves fine-tuning the nonlinear model, and potentially the linear models - to align closely with the GT data. We validate the efficacy of our space-time diffusion approach with numerical experiments, laying the groundwork for more extensive future theory and experiments to fully authenticate the method, particularly providing a more efficient (possibly simulation-free) inference.


title: Hybrid Inverse Reinforcement Learning

abstract: The inverse reinforcement learning approach to imitation learning is a double-edged sword. On the one hand, it can enable learning from a smaller number of expert demonstrations with more robustness to error compounding than behavioral cloning approaches. On the other hand, it requires that the learner repeatedly solve a computationally expensive reinforcement learning (RL) problem. Often, much of this computation is wasted searching over policies very dissimilar to the expert's. In this work, we propose using hybrid RL -- training on a mixture of online and expert data -- to curtail unnecessary exploration. Intuitively, the expert data focuses the learner on good states during training, which reduces the amount of exploration required to compute a strong policy. Notably, such an approach doesn't need the ability to reset the learner to arbitrary states in the environment, a requirement of prior work in efficient inverse RL. More formally, we derive a reduction from inverse RL to expert-competitive RL (rather than globally optimal RL) that allows us to dramatically reduce interaction during the inner policy search loop while maintaining the benefits of the IRL approach. This allows us to derive both model-free and model-based hybrid inverse RL algorithms with strong policy performance guarantees. Empirically, we find that our approaches are significantly more sample efficient than standard inverse RL and several other baselines on a suite of continuous control tasks.


title: Chromo-natural warm inflation

abstract: Chromo-natural inflation is a model where non-abelian gauge fields are sustained by the coupling of the axion with the gauge field through the Chern-Simons term. While minimal warm inflation is a model where the axion produces a thermal bath of non-abelian gauge particles through the Chern-Simons term. Since both axion inflation models are based on the same action, a natural question is if those are compatible or not. We study axion inflation with the Chern-Simons term and find that chromo-natural inflation can accommodate radiation with a temperature much larger than the Hubble parameter during inflation, which is a characteristic feature of warm inflation. Thus, we conclude that chromo-natural warm inflation exists, which must have phenomenologically interesting consequences.


title: Simultaneous Diophantine approximation with a divisibility condition

abstract: In a previous paper, we studied certain sequences of simultaneous rational approximations in ${\bf R}^2$ which present some analogy with the continued fractions. We got results around the Littlewood conjecture by using such approximations. Here we show that such results also hold when we add divisibility conditions.


title: Cardinal-Utility Matching Markets: The Quest for Envy-Freeness, Pareto-Optimality, and Efficient Computability

abstract: Unlike ordinal-utility matching markets, which are well-developed from the viewpoint of both theory and practice, recent insights from a computer science perspective have left cardinal-utility matching markets in a state of flux. The celebrated pricing-based mechanism for one-sided cardinal-utility matching markets due to Hylland and Zeckhauser, which had long eluded efficient algorithms, was finally shown to be intractable; the problem of computing an approximate equilibrium is PPAD-complete. This led us to ask the question: is there an alternative, polynomial time, mechanism for one-sided cardinal-utility matching markets which achieves the desirable properties of HZ, i.e.\ (ex-ante) envy-freeness (EF) and Pareto-optimality (PO)? In this paper we show: 1. The problem of finding an EF+PO lottery in a one-sided cardinal-utility matching market is PPAD-complete. 2. A $(2 + \epsilon)$-approximately envy-free and (exactly) Pareto-optimal lottery can be found in polynomial time using Nash bargaining. Moreover, the resulting mechanism is $(2 + \epsilon)$-approximately incentive compatible. We also present several results on two-sided cardinal-utility matching markets, including non-existence of EF+PO lotteries as well as existence of justified-envy-free and weak Pareto-optimal lotteries.


title: Coexistence and interplay of two ferroelectric mechanisms in Zn1-xMgxO

abstract: Ferroelectric materials promise exceptional attributes including low power dissipation, fast operational speeds, enhanced endurance, and superior retention to revolutionize information technology. However, the practical application of ferroelectric-semiconductor memory devices has been significantly challenged by the incompatibility of traditional perovskite oxide ferroelectrics with metal-oxide-semiconductor technology. Recent discoveries of ferroelectricity in binary oxides such as Zn1-xMgxO and Hf1-xZrxO have been a focal point of research in ferroelectric information technology. This work investigates the ferroelectric properties of Zn1-xMgxO utilizing automated band excitation piezoresponse force microscopy. Our findings reveal the coexistence of two ferroelectric subsystems within Zn1-xMgxO. We propose a "fringing-ridge mechanism" of polarization switching that is characterized by initial lateral expansion of nucleation without significant propagation in depth, contradicting the conventional domain growth process observed in ferroelectrics. This unique polarization dynamics in Zn1-xMgxO suggests a new understanding of ferroelectric behavior, contributing to both the fundamental science of ferroelectrics and their application in information technology.


title: Doubly isogenous curves of genus two with a rational action of $D_6$

abstract: Let $C$ and $C'$ be curves over a finite field $K$, provided with embeddings $\iota$ and $\iota'$ into their Jacobian varieties. Let $D\to C$ and $D'\to C'$ be the pullbacks (via these embeddings) of the multiplication-by-$2$ maps on the Jacobians. We say that $(C,\iota)$ and $(C',\iota')$ are \emph{doubly isogenous} if $\mathrm{Jac}(C)$ and $\mathrm{Jac}(C')$ are isogenous over $K$ and $\mathrm{Jac}(D)$ and $\mathrm{Jac}(D')$ are isogenous over~$K$. When we restrict attention to the case where $C$ and $C'$ are curves of genus $2$ whose groups of $K$-rational automorphisms are isomorphic to the dihedral group $D_6$ of order $12$, we find many more doubly isogenous pairs than one would expect from reasonable heuristics. Our analysis of this overabundance of doubly isogenous curves over finite fields leads to the construction of a pair of doubly isogenous curves over a number field. That such a global example exists seems extremely surprising. We show that the Zilber--Pink conjecture implies that there can only be finitely many such examples. When we exclude reductions of this pair of global curves in our counts, we find that the data for the remaining curves is consistent with our original heuristic. Computationally, we find that doubly isogenous curves in our family of $D_6$ curves can be distinguished from one another by considering the isogeny classes of the Prym varieties of certain unramified covers of exponent $3$ and $4$. We discuss how our family of curves can be potentially be used to obtain a deterministic polynomial-time algorithm to factor univariate polynomials over finite fields via an argument of Kayal and Poonen.


title: Physics-informed deep learning fully quantifies uncertainty in seismic structure and source estimate

abstract: The source estimation of earthquakes and other fault activities in seismogenic subduction zones is essential for hazard assessment. Accurate and reliable earthquake source estimation (ESE) requires full uncertainty quantification (UQ), including uncertainty of assumed subsurface seismic velocity structure that propagates to ESE, which is technically challenging. Here, we address this problem by adopting a physics-informed deep learning approach that enables such full UQ-based ESE by introducing neural network ensembles trained based on active seismic survey data, earthquake observation data, and the physical equation of wavefront propagation. The proposed full UQ-based approach enabled a rapid, accurate and quantitative investigation of the rupture characteristic of an earthquake in southwest Japan in the light of subsurface structural boundaries under uncertainty, which is informative for both the scientific community and public. Our results demonstrate innovations toward stronger scientific objectivity in the studies of seismogenic zones empowered by physics-informed deep learning.


title: GhostWriter: Augmenting Collaborative Human-AI Writing Experiences Through Personalization and Agency

abstract: Large language models (LLMs) are becoming more prevalent and have found a ubiquitous use in providing different forms of writing assistance. However, LLM-powered writing systems can frustrate users due to their limited personalization and control, which can be exacerbated when users lack experience with prompt engineering. We see design as one way to address these challenges and introduce GhostWriter, an AI-enhanced writing design probe where users can exercise enhanced agency and personalization. GhostWriter leverages LLMs to learn the user's intended writing style implicitly as they write, while allowing explicit teaching moments through manual style edits and annotations. We study 18 participants who use GhostWriter on two different writing tasks, observing that it helps users craft personalized text generations and empowers them by providing multiple ways to control the system's writing style. From this study, we present insights regarding people's relationship with AI-assisted writing and offer design recommendations for future work.


title: Approximation of relation functions and attention mechanisms

abstract: Inner products of neural network feature maps arise in a wide variety of machine learning frameworks as a method of modeling relations between inputs. This work studies the approximation properties of inner products of neural networks. It is shown that the inner product of a multi-layer perceptron with itself is a universal approximator for symmetric positive-definite relation functions. In the case of asymmetric relation functions, it is shown that the inner product of two different multi-layer perceptrons is a universal approximator. In both cases, a bound is obtained on the number of neurons required to achieve a given accuracy of approximation. In the symmetric case, the function class can be identified with kernels of reproducing kernel Hilbert spaces, whereas in the asymmetric case the function class can be identified with kernels of reproducing kernel Banach spaces. Finally, these approximation results are applied to analyzing the attention mechanism underlying Transformers, showing that any retrieval mechanism defined by an abstract preorder can be approximated by attention through its inner product relations. This result uses the Debreu representation theorem in economics to represent preference relations in terms of utility functions.


abstract: Generating safe motion plans in real-time is necessary for the wide-scale deployment of robots in unstructured and human-centric environments. These motion plans must be safe to ensure humans are not harmed and nearby objects are not damaged. However, they must also be generated in real-time to ensure the robot can quickly adapt to changes in the environment. Many trajectory optimization methods introduce heuristics that trade-off safety and real-time performance, which can lead to potentially unsafe plans. This paper addresses this challenge by proposing Safe Planning for Articulated Robots Using Reachability-based Obstacle Avoidance With Spheres (SPARROWS). SPARROWS is a receding-horizon trajectory planner that utilizes the combination of a novel reachable set representation and an exact signed distance function to generate provably-safe motion plans. At runtime, SPARROWS uses parameterized trajectories to compute reachable sets composed entirely of spheres that overapproximate the swept volume of the robot's motion. SPARROWS then performs trajectory optimization to select a safe trajectory that is guaranteed to be collision-free. We demonstrate that SPARROWS' novel reachable set is significantly less conservative than previous approaches. We also demonstrate that SPARROWS outperforms a variety of state-of-the-art methods in solving challenging motion planning tasks in cluttered environments. Code, data, and video demonstrations can be found at \url{https://roahmlab.github.io/sparrows/}.


title: Spin-coupled molecular orbitals: chemical intuition meets quantum chemistry

abstract: Molecular orbital theory is powerful both as a conceptual tool for understanding chemical bonding, and as a theoretical framework for ab initio quantum chemistry. Despite its undoubted success, MO theory has well documented shortcomings, most notably that it fails to correctly describe diradical states and homolytic bond fission. In this contribution, we introduce a generalised MO theory that includes spin-coupled radical states. We show through archetypical examples that when bonds break, the electronic state transitions between a small number of valence configurations, characterised by occupation of both delocalised molecular orbitals and spin-coupled localised orbitals. Our theory provides a model for chemical bonding that is both chemically intuitive and qualitatively accurate when combined with ab initio theory. Although exploitation of our theory presents significant challenges for classical computing, the predictable structure of spin-coupled states is ideally suited to algorithms that exploit quantum computers. Our approach provides a systematic route to overcoming the initial state overlap problem and unlocking the potential of quantum computational chemistry.


title: Large Language Model with Graph Convolution for Recommendation

abstract: In recent years, efforts have been made to use text information for better user profiling and item characterization in recommendations. However, text information can sometimes be of low quality, hindering its effectiveness for real-world applications. With knowledge and reasoning capabilities capsuled in Large Language Models (LLMs), utilizing LLMs emerges as a promising way for description improvement. However, existing ways of prompting LLMs with raw texts ignore structured knowledge of user-item interactions, which may lead to hallucination problems like inconsistent description generation. To this end, we propose a Graph-aware Convolutional LLM method to elicit LLMs to capture high-order relations in the user-item graph. To adapt text-based LLMs with structured graphs, We use the LLM as an aggregator in graph processing, allowing it to understand graph-based information step by step. Specifically, the LLM is required for description enhancement by exploring multi-hop neighbors layer by layer, thereby propagating information progressively in the graph. To enable LLMs to capture large-scale graph information, we break down the description task into smaller parts, which drastically reduces the context length of the token input with each step. Extensive experiments on three real-world datasets show that our method consistently outperforms state-of-the-art methods.


title: Pe{\l}czy\'{n}ski's type sets and Pe{\l}czy\'{n}ski's geometrical properties of locally convex spaces

abstract: For $1\leq p\leq q\leq\infty$ and a locally convex space $E$, we introduce and study the $(V^\ast)$ subsets of order $(p,q)$ of $E$ and the $(V)$ subsets of order $(p,q)$ of the topological dual $E'$ of $E$. Using these sets we define and study the (sequential) Pe{\l}czy\'{n}ski's property $V^\ast$ of order $(p,q)$, the (sequential) Pe{\l}czy\'{n}ski's property $V$ of order $(p,q)$, and the Pe{\l}czy\'{n}ski's property $(u)$ of order $p$ in the class of all locally convex spaces. To this end, we also introduce and study several new completeness type properties, weak barrelledness conditions, Schur type properties, the Gantmacher property for locally convex spaces, and $(q,p)$-summing operators between locally convex spaces. Applications to some classical function spaces are given.


title: On generalized Beauville decompositions

abstract: Motivated by the Beauville decomposition of an abelian scheme and the "Perverse = Chern" phenomenon for a compactified Jacobian fibration, we study in this paper splittings of the perverse filtration for compactified Jacobian fibrations. On the one hand, we prove for the Beauville-Mukai system associated with an irreducible curve class on a K3 surface the existence of a Fourier-stable multiplicative splitting of the perverse filtration, which extends the Beauville decomposition for the nonsingular fibers. Our approach is to construct a Lefschetz decomposition associated with a Fourier-conjugate $\mathfrak{sl}_2$-triple, which relies heavily on recent work concerning the interaction between derived equivalences and LLV algebras for hyper-K\"ahler varieties. Motivic lifting and connections to the Beauville-Voisin conjectures are also discussed. On the other hand, we construct for any $g\geq 2$ a compactified Jacobian fibration of genus g curves such that each curve is integral with at worst simple nodes and the (multiplicative) perverse filtration does not admit a multiplicative splitting. This shows that in general an extension of the Beauville decomposition cannot exist for compactified Jacobian fibrations even when the simplest singular point appears.


title: Saliency-aware End-to-end Learned Variable-Bitrate 360-degree Image Compression

abstract: Effective compression of 360$^\circ$ images, also referred to as omnidirectional images (ODIs), is of high interest for various virtual reality (VR) and related applications. 2D image compression methods ignore the equator-biased nature of ODIs and fail to address oversampling near the poles, leading to inefficient compression when applied to ODI. We present a new learned saliency-aware 360$^\circ$ image compression architecture that prioritizes bit allocation to more significant regions, considering the unique properties of ODIs. By assigning fewer bits to less important regions, significant data size reduction can be achieved while maintaining high visual quality in the significant regions. To the best of our knowledge, this is the first study that proposes an end-to-end variable-rate model to compress 360$^\circ$ images leveraging saliency information. The results show significant bit-rate savings over the state-of-the-art learned and traditional ODI compression methods at similar perceptual visual quality.


title: Multiscale graph neural networks with adaptive mesh refinement for accelerating mesh-based simulations

abstract: Mesh-based Graph Neural Networks (GNNs) have recently shown capabilities to simulate complex multiphysics problems with accelerated performance times. However, mesh-based GNNs require a large number of message-passing (MP) steps and suffer from over-smoothing for problems involving very fine mesh. In this work, we develop a multiscale mesh-based GNN framework mimicking a conventional iterative multigrid solver, coupled with adaptive mesh refinement (AMR), to mitigate challenges with conventional mesh-based GNNs. We use the framework to accelerate phase field (PF) fracture problems involving coupled partial differential equations with a near-singular operator due to near-zero modulus inside the crack. We define the initial graph representation using all mesh resolution levels. We perform a series of downsampling steps using Transformer MP GNNs to reach the coarsest graph followed by upsampling steps to reach the original graph. We use skip connectors from the generated embedding during coarsening to prevent over-smoothing. We use Transfer Learning (TL) to significantly reduce the size of training datasets needed to simulate different crack configurations and loading conditions. The trained framework showed accelerated simulation times, while maintaining high accuracy for all cases compared to physics-based PF fracture model. Finally, this work provides a new approach to accelerate a variety of mesh-based engineering multiphysics problems


title: DeepPolar: Inventing Nonlinear Large-Kernel Polar Codes via Deep Learning

abstract: Progress in designing channel codes has been driven by human ingenuity and, fittingly, has been sporadic. Polar codes, developed on the foundation of Arikan's polarization kernel, represent the latest breakthrough in coding theory and have emerged as the state-of-the-art error-correction code for short-to-medium block length regimes. In an effort to automate the invention of good channel codes, especially in this regime, we explore a novel, non-linear generalization of Polar codes, which we call DeepPolar codes. DeepPolar codes extend the conventional Polar coding framework by utilizing a larger kernel size and parameterizing these kernels and matched decoders through neural networks. Our results demonstrate that these data-driven codes effectively leverage the benefits of a larger kernel size, resulting in enhanced reliability when compared to both existing neural codes and conventional Polar codes.


title: New constraints on ultraheavy dark matter from the LZ experiment

abstract: Searches for dark matter with liquid xenon time projection chamber experiments have traditionally focused on the region of the parameter space that is characteristic of weakly interacting massive particles, ranging from a few GeV/$c^2$ to a few TeV/$c^2$. Models of dark matter with a mass much heavier than this are well motivated by early production mechanisms different from the standard thermal freeze-out, but they have generally been less explored experimentally. In this work, we present a re-analysis of the first science run (SR1) of the LZ experiment, with an exposure of $0.9$ tonne$\times$year, to search for ultraheavy particle dark matter. The signal topology consists of multiple energy deposits in the active region of the detector forming a straight line, from which the velocity of the incoming particle can be reconstructed on an event-by-event basis. Zero events with this topology were observed after applying the data selection calibrated on a simulated sample of signal-like events. New experimental constraints are derived, which rule out previously unexplored regions of the dark matter parameter space of spin-independent interactions beyond a mass of 10$^{17}$ GeV/$c^2$.


title: An approximation algorithm for zero forcing

abstract: We give an algorithm that finds a zero forcing set which approximates the optimal size by a factor of $\text{pw}(G)+1$, where $\text{pw}(G)$ is the pathwidth of $G$. Starting from a path decomposition, the algorithm runs in $O(nm)$ time, where $n$ and $m$ are the order and size of the graph, respectively. As a corollary, we obtain a new upper bound on the zero forcing number in terms of the fort number and the pathwidth. The algorithm is based on a correspondence between zero forcing sets and forcing arc sets. This correspondence leads to a new bound on the zero forcing number in terms of vertex cuts, and to new, short proofs for known bounds on the zero forcing number.


title: Distributed Optimization with Consensus Constraint for Multi-Robot Semantic Octree Mapping

abstract: This work develops a distributed optimization algorithm for multi-robot 3-D semantic mapping using streaming range and visual observations and single-hop communication. Our approach relies on gradient-based optimization of the observation log-likelihood of each robot subject to a map consensus constraint to build a common multi-class map of the environment. This formulation leads to closed-form updates which resemble Bayes rule with one-hop prior averaging. To reduce the amount of information exchanged among the robots, we utilize an octree data structure that compresses the multi-class map distribution using adaptive-resolution.


title: Probing the signature of axions through the quasinormal modes of black holes

abstract: The axion-photon coupling allows the existence of a magnetically and electrically charged black hole (BH) solution endowed with a pseudo-scalar hair. For the Reissner-Nordstrom BH with a given total charge and mass, it is known that the quasinormal modes (QNMs) are independent of the mixture between the magnetic and electric charges due to the presence of electric-magnetic duality. We show that the BH with an axion hair breaks this degeneracy by realizing nontrivial QNMs that depend on the ratio between the magnetic and total charges. Thus, the upcoming observations of BH QNMs through gravitational waves offer an exciting possibility for probing the existence of both magnetic monopoles and the axion coupled to photons.


title: ScamSpot: Fighting Financial Fraud in Instagram Comments

abstract: The long-standing problem of spam and fraudulent messages in the comment sections of Instagram pages in the financial sector claims new victims every day. Instagram's current spam filter proves inadequate, and existing research approaches are primarily confined to theoretical concepts. Practical implementations with evaluated results are missing. To solve this problem, we propose ScamSpot, a comprehensive system that includes a browser extension, a fine-tuned BERT model and a REST API. This approach ensures public accessibility of our results for Instagram users using the Chrome browser. Furthermore, we conduct a data annotation study, shedding light on the reasons and causes of the problem and evaluate the system through user feedback and comparison with existing models. ScamSpot is an open-source project and is publicly available at https://scamspot.github.io/.


title: Controllability and feedback stabilizability in a nonuniform framework

abstract: We propose a new controllability property for linear time varying control systems in finite dimension: the nonuniform complete controllability, which is halfway between the classical Kalman's properties of complete controllability and uniform complete controllability. This new concept is described in terms of two gramian inequalities, which have a strong relation; as we prove in our first result; with the property of nonuniform bounded growth for the corresponding plant, also called uncontrolled part. On the other hand, the second result proves that if a control system is nonuniformly completely controllable and its plant has the property of nonuniform bounded growth, then there exist a linear feedback control leading to a nonuniformly exponentially stable closed--loop system.


title: Position: Topological Deep Learning is the New Frontier for Relational Learning

abstract: Topological deep learning (TDL) is a rapidly evolving field that uses topological features to understand and design deep learning models. This paper posits that TDL is the new frontier for relational learning. TDL may complement graph representation learning and geometric deep learning by incorporating topological concepts, and can thus provide a natural choice for various machine learning settings. To this end, this paper discusses open problems in TDL, ranging from practical benefits to theoretical foundations. For each problem, it outlines potential solutions and future research opportunities. At the same time, this paper serves as an invitation to the scientific community to actively participate in TDL research to unlock the potential of this emerging field.


title: Slow-Wave Hybrid Magnonics

abstract: Cavity magnonics is an emerging research area focusing on the coupling between magnons and photons. Despite its great potential for coherent information processing, it has been long restricted by the narrow interaction bandwidth. In this work, we theoretically propose and experimentally demonstrate a novel approach to achieve broadband photon-magnon coupling by adopting slow waves on engineered microwave waveguides. To the best of our knowledge, this is the first time that slow wave is combined with hybrid magnonics. Its unique properties promise great potentials for both fundamental research and practical applications, for instance, by deepening our understanding of the light-matter interaction in the slow wave regime and providing high-efficiency spin wave transducers. The device concept can be extended to other systems such as optomagnonics and magnomechanics, opening up new directions for hybrid magnonics.


title: Balancing Method for Non-monotone Missing Data

abstract: Covariate balancing methods have been widely applied to single or monotone missing patterns and have certain advantages over likelihood-based methods and inverse probability weighting approaches based on standard logistic regression. In this paper, we consider non-monotone missing data under the complete-case missing variable condition (CCMV), which is a case of missing not at random (MNAR). Using relationships between each missing pattern and the complete-case subsample, a weighted estimator can be used for estimation, where the weight is a sum of ratios of conditional probability of observing a particular missing pattern versus that of observing the complete-case pattern, given the variables observed in the corresponding missing pattern. Plug-in estimators of the propensity ratios, however, can be unbounded and lead to unstable estimation. Using further relations between propensity ratios and balancing of moments across missing patterns, we employ tailored loss functions each encouraging empirical balance across patterns to estimate propensity ratios flexibly using functional basis expansion. We propose two penalizations to separately control propensity ratio model complexity and covariate imbalance. We study the asymptotic properties of the proposed estimators and show that they are consistent under mild smoothness assumptions. Asymptotic normality and efficiency are also developed. Numerical simulation results show that the proposed method achieves smaller mean squared errors than other methods.


abstract: While large language models (LLMs) excel at understanding and generating plain text, they are not specifically tailored to handle hierarchical text structures. Extracting the task-desired property from their natural language responses typically necessitates additional processing steps. In fact, selectively comprehending the hierarchical structure of large-scale text is pivotal to understanding its substance. Aligning LLMs more closely with the classification or regression values of specific task through prompting also remains challenging. To this end, we propose a novel framework called Tree-Based Hard Attention with Self-Motivation for Large Language Models (TEAROOM). TEAROOM incorporates a tree-based hard attention mechanism for LLMs to process hierarchically structured text inputs. By leveraging prompting, it enables a frozen LLM to selectively focus on relevant leaves in relation to the root, generating a tailored symbolic representation of their relationship. Moreover, TEAROOM comprises a self-motivation strategy for another LLM equipped with a trainable adapter and a linear layer. The selected symbolic outcomes are integrated into another prompt, along with the predictive value of the task. We iteratively feed output values back into the prompt, enabling the trainable LLM to progressively approximate the golden truth. TEAROOM outperforms existing state-of-the-art methods in experimental evaluations across three benchmark datasets, showing its effectiveness in estimating task-specific properties. Through comprehensive experiments and analysis, we have validated the ability of TEAROOM to gradually approach the underlying golden truth through multiple inferences.


title: Advancing Human Action Recognition with Foundation Models trained on Unlabeled Public Videos

abstract: The increasing variety and quantity of tagged multimedia content on platforms such as TikTok provides an opportunity to advance computer vision modeling. We have curated a distinctive dataset of 283,582 unique video clips categorized under 386 hashtags relating to modern human actions. We release this dataset as a valuable resource for building domain-specific foundation models for human movement modeling tasks such as action recognition. To validate this dataset, which we name TikTokActions, we perform two sets of experiments. First, we pretrain the state-of-the-art VideoMAEv2 with a ViT-base backbone on TikTokActions subset, and then fine-tune and evaluate on popular datasets such as UCF101 and the HMDB51. We find that the performance of the model pre-trained using our Tik-Tok dataset is comparable to models trained on larger action recognition datasets (95.3% on UCF101 and 53.24% on HMDB51). Furthermore, our investigation into the relationship between pre-training dataset size and fine-tuning performance reveals that beyond a certain threshold, the incremental benefit of larger training sets diminishes. This work introduces a useful TikTok video dataset that is available for public use and provides insights into the marginal benefit of increasing pre-training dataset sizes for video-based foundation models.


title: DUDF: Differentiable Unsigned Distance Fields with Hyperbolic Scaling

abstract: In recent years, there has been a growing interest in training Neural Networks to approximate Unsigned Distance Fields (UDFs) for representing open surfaces in the context of 3D reconstruction. However, UDFs are non-differentiable at the zero level set which leads to significant errors in distances and gradients, generally resulting in fragmented and discontinuous surfaces. In this paper, we propose to learn a hyperbolic scaling of the unsigned distance field, which defines a new Eikonal problem with distinct boundary conditions. This allows our formulation to integrate seamlessly with state-of-the-art continuously differentiable implicit neural representation networks, largely applied in the literature to represent signed distance fields. Our approach not only addresses the challenge of open surface representation but also demonstrates significant improvement in reconstruction quality and training performance. Moreover, the unlocked field's differentiability allows the accurate computation of essential topological properties such as normal directions and curvatures, pervasive in downstream tasks such as rendering. Through extensive experiments, we validate our approach across various data sets and against competitive baselines. The results demonstrate enhanced accuracy and up to an order of magnitude increase in speed compared to previous methods.


title: Computational Considerations for the Linear Model of Coregionalization

abstract: In the last two decades, the linear model of coregionalization (LMC) has been widely used to model multivariate spatial processes. From a computational standpoint, the LMC is a substantially easier model to work with than other multidimensional alternatives. Up to now, this fact has been largely overlooked in the literature. Starting from an analogy with matrix normal models, we propose a reformulation of the LMC likelihood that highlights the linear, rather than cubic, computational complexity as a function of the dimension of the response vector. Further, we describe in detail how those simplifications can be included in a Gaussian hierarchical model. In addition, we demonstrate in two examples how the disentangled version of the likelihood we derive can be exploited to improve Markov chain Monte Carlo (MCMC) based computations when conducting Bayesian inference. The first is an interwoven approach that combines samples from centered and whitened parametrizations of the latent LMC distributed random fields. The second is a sparsity-inducing method that introduces structural zeros in the coregionalization matrix in an attempt to reduce the number of parameters in a principled way. It also provides a new way to investigate the strength of the correlation among the components of the outcome vector. Both approaches come at virtually no additional cost and are shown to significantly improve MCMC performance and predictive performance respectively. We apply our methodology to a dataset comprised of air pollutant measurements in the state of California.


title: Distributed Secret Securing in Discrete-Event Systems

abstract: In this paper, we study a security problem of protecting secrets in distributed systems. Specifically, we employ discrete-event systems to describe the structure and behaviour of distributed systems, in which global secret information is separated into pieces and stored in local component agents. The goal is to prevent such secrets from being exposed to intruders by imposing appropriate protection measures. This problem is formulated as to ensure that at least one piece of every distributed global secret is secured by a required number of protections, while the overall cost to apply protections is minimum. We first characterize the solvability of this security problem by providing a necessary and sufficient condition, and then develop an algorithm to compute a solution based on the supervisory control theory of discrete-event systems. Finally, we illustrate the effectiveness of our solution with an example system comprising distributed databases.


title: Inference for an Algorithmic Fairness-Accuracy Frontier

abstract: Decision-making processes increasingly rely on the use of algorithms. Yet, algorithms' predictive ability frequently exhibit systematic variation across subgroups of the population. While both fairness and accuracy are desirable properties of an algorithm, they often come at the cost of one another. What should a fairness-minded policymaker do then, when confronted with finite data? In this paper, we provide a consistent estimator for a theoretical fairness-accuracy frontier put forward by Liang, Lu and Mu (2023) and propose inference methods to test hypotheses that have received much attention in the fairness literature, such as (i) whether fully excluding a covariate from use in training the algorithm is optimal and (ii) whether there are less discriminatory alternatives to an existing algorithm. We also provide an estimator for the distance between a given algorithm and the fairest point on the frontier, and characterize its asymptotic distribution. We leverage the fact that the fairness-accuracy frontier is part of the boundary of a convex set that can be fully represented by its support function. We show that the estimated support function converges to a tight Gaussian process as the sample size increases, and then express policy-relevant hypotheses as restrictions on the support function to construct valid test statistics.


title: Solving the Einstein Constraints Numerically on Compact Three-Manifolds Using Hyperbolic Relaxation

abstract: The effectiveness of the hyperbolic relaxation method for solving the Einstein constraint equations numerically is studied here on a variety of compact orientable three-manifolds. Convergent numerical solutions are found using this method on manifolds admitting negative Ricci scalar curvature metrics, i.e. those from the $H^3$ and the $H^2\times S^1$ geometrization classes. The method fails to produce solutions, however, on all the manifolds examined here admitting non-negative Ricci scalar curvatures, i.e. those from the $S^3$, $S^2\times S^1$, and the $E^3$ classes. This study also finds that the accuracy of the convergent solutions produced by hyperbolic relaxation can be increased significantly by performing fairly low-cost standard elliptic solves using the hyperbolic relaxation solutions as initial guesses.


title: A note on the critical set of harmonic functions near the boundary

abstract: Let $u$ be a harmonic function in a $C^1$ domain $D\subset \mathbb{R}^d$, which vanishes on an open subset of the boundary. In this note we study its critical set $\{x \in \overline{D}: \nabla u(x) = 0 \}$. When $D$ is a $C^{1,\alpha}$ domain for some $\alpha \in (0,1]$, we give an upper bound on the $(d-2)$-dimensional Hausdorff measure of the critical set by the frequency function. We also discuss possible ways to extend such estimate to all $C^1$-Dini domains, the optimal class of domains for which analogous estimates have been shown to hold for the singular set $\{x \in \overline{D}: u(x) = 0 = |\nabla u(x)| \}$ (see [KZ1, KZ2]).


title: Moving Object Proposals with Deep Learned Optical Flow for Video Object Segmentation

abstract: Dynamic scene understanding is one of the most conspicuous field of interest among computer vision community. In order to enhance dynamic scene understanding, pixel-wise segmentation with neural networks is widely accepted. The latest researches on pixel-wise segmentation combined semantic and motion information and produced good performance. In this work, we propose a state of art architecture of neural networks to accurately and efficiently get the moving object proposals (MOP). We first train an unsupervised convolutional neural network (UnFlow) to generate optical flow estimation. Then we render the output of optical flow net to a fully convolutional SegNet model. The main contribution of our work is (1) Fine-tuning the pretrained optical flow model on the brand new DAVIS Dataset; (2) Leveraging fully convolutional neural networks with Encoder-Decoder architecture to segment objects. We developed the codes with TensorFlow, and executed the training and evaluation processes on an AWS EC2 instance.


title: Analytical model of precessing binaries using post-Newtonian theory in the extreme mass-ratio limit I: General Formalism

abstract: We develop a fully analytical waveform model for precessing binaries with arbitrary spin vectors using post-Newtonian theory in the extreme mass-ratio limit and a hierarchical multi-scale analysis. Although the post-Newtonian series poorly converges in this limit, our results can be used to estimate how precession affects the measurability of certain binary parameters, and to inform and compare with other waveform approximants, such as effective-one-body models, hybrid waveforms, and self-force calculations.


title: Machine Learning, Density Functional Theory, and Experiments to Understand the Photocatalytic Reduction of CO$_2$ by CuPt/TiO$_2$

abstract: The photoconversion of CO$_2$ to hydrocarbons is a sustainable route to its transformation into value-added compounds and, thereby, crucial to mitigating the energy and climate crises. CuPt nanoparticles on TiO$_2$ surfaces have been reported to show promising photoconversion efficiency. For further progress, a mechanistic understanding of the catalytic properties of these CuPt/TiO$_2$ systems is vital. Here, we employ $\textit{ab-initio}$ calculations, machine learning, and photocatalysis experiments to explore their configurational space and examine their reactivity and find that the interface plays a key role in stabilizing *CO$_2$, *CO, and other CH-containing intermediates, facilitating higher activity and selectivity for methane. A bias-corrected machine-learning interatomic potential trained on density functional theory data enables efficient exploration of the potential energy surfaces of numerous CO$_2$@CuPt/TiO$_2$ configurations via basin-hopping Monte Carlo simulations, greatly accelerating the study of these photocatalyst systems. Our simulations show that CO$_2$ preferentially adsorbs at the interface, with C atom bonded to a Pt site and one O atom occupying an O-vacancy site. The interface also promotes the formation of *CH and *CH$_2$ intermediates. For confirmation, we synthesize CuPt/TiO$_2$ samples with a variety of compositions and analyze their morphologies and compositions using scanning electron microscopy and energy-dispersive X-ray spectroscopy, and measure their photocatalytic activity. Our computational and experimental findings qualitatively agree and highlight the importance of interface design for selective conversion of CO$_2$ to hydrocarbons.


title: Three-dimensional, multi-wavelength beam formation with integrated metasurface optics for Sr laser cooling

abstract: We demonstrate the formation of a complex, multi-wavelength, three-dimensional laser beam configuration with integrated metasurface optics. Our experiments support the development of a compact Sr optical-lattice clock, which leverages magneto-optical trapping on atomic transitions at 461 nm and 689 nm without bulk free-space optics. We integrate six, mm-scale metasurface optics on a fused-silica substrate and illuminate them with light from optical fibers. The metasurface optics provide full control of beam pointing, divergence, and polarization to create the laser configuration for a magneto-optical trap. We report the efficiency and integration of the three-dimensional visible laser beam configuration, demonstrating the suitability of metasurface optics for atomic laser cooling.

categories: physics.optics physics.app-ph physics.atom-ph physics.ins-det


title: On the associated variety of a highest weight Harish-Chandra module

abstract: We prove a simple formula that calculates the associated variety of a highest weight Harish-Chandra module directly from its highest weight. We also give a formula for the Gelfand--Kirillov dimension of highest weight Harish-Chandra module which is uniform across Cartan types and is valid for arbitrary infinitesimal character.


title: Thermodynamic phase transition rate for the third-order Lovelock black hole in diverse dimensions

abstract: The phase transition has always been a major focus in the study of black hole thermodynamics. This study employs the Kramer escape rate from stochastic processes to investigate the first-order phase transition strength between the large and small black hole states. The results indicate that the phase transition of the third-order Lovelock black holes exhibits significant asymmetric characteristics in diverse dimensions both in the hyperbolic and spherical topology, with an overall trend of the transition from large black holes to small black holes. Especially for the spherical topology, when the dimension is higher than seven, there exists a certain temperature beyond which a dynamic equilibrium is established for the phase transition. This study provides valuable insights into the first-order phase transition rate of black holes and enriches the understanding of black hole phase transitions.


title: Quantum Light Generation based on GaN Microring towards Fully On-chip Source

abstract: Integrated quantum light source is increasingly desirable in large-scale quantum information processing.~Despite recent remarkable advances, new material platform is constantly being explored for the fully on-chip integration of quantum light generation, active and passive manipulation, and detection. Here, for the first time, we demonstrate a gallium nitride (GaN) microring based quantum light generation in the telecom C-band, which has potential towards the monolithic integration of quantum light source.~In our demonstration, the GaN microring has a free spectral range of 330 GHz and a near-zero anomalous dispersion region of over 100 nm. The generation of energy-time entangled photon pair is demonstrated with a typical raw two-photon interference visibility of 95.5$\pm$6.5%, which is further configured to generate heralded single photon with a typical heralded second-order auto-correlation $g^{(2)}_{H}(0)$ of 0.045$\pm$0.001. Our results pave the way for developing chip-scale quantum photonic circuit.


title: Indispensability of cross-shell contributions in neutron resonance spacing

abstract: Spin and parity dependent nuclear level densities (NLDs) are obtained for configuration interaction shell model using a numerically efficient spectral distribution method. The calculations are performed for $^{24}$Na, $^{25,26,27}$Mg nuclei using full $sd$-$pf$ model space that incorporates the cross-shell excitations from $sd$ to $pf$-shell. The NLDs so obtained are then employed to determine the s-wave neutron resonance spacing (D$_0$) which is one of the crucial inputs for the predictions of astrophysical reaction rates. Though the considered nuclei are not neutron-rich, the contributions from cross-shell excitations to $pf$-shell are indispensable to explain the experimental data for D$_0$ which otherwise are significantly overestimated.


title: Predicting the Emergence of Solar Active Regions Using Machine Learning

abstract: To create early warning capabilities for upcoming Space Weather disturbances, we have selected a dataset of 61 emerging active regions, which allows us to identify characteristic features in the evolution of acoustic power density to predict continuum intensity emergence. For our study, we have utilized Doppler shift and continuum intensity observations from the Helioseismic and Magnetic Imager (HMI) onboard the Solar Dynamics Observatory (SDO). The local tracking of 30.66 x 30.66-degree patches in the vicinity of active regions allowed us to trace the evolution of active regions starting from the pre-emergence state. We have developed a machine learning model to capture the acoustic power flux density variations associated with upcoming magnetic flux emergence. The trained Long Short-Term Memory (LSTM) model is able to predict 5 hours ahead whether, in a given area of the solar surface, continuum intensity values will decrease. The performed study allows us to investigate the potential of the machine learning approach to predict the emergence of active regions using acoustic power maps as input.


title: Towards a dynamically reconfigurable pixelated reflective display: Focused ion beam for phase-change metapixel structures

abstract: The switching and optical properties of phase-change thin films are actively investigated for future smart optical devices. The possibility of having more than one stable state, the large optical contrast between phases, and the fast and reversible switching are some attractive properties driving the research interest. Optical devices based on phase change alloys are considered the frontier contenders for tunable photonics. The combination of vivid structural color formation, with partial amorphization/crystallization of phase change alloys, and the associated optical tunability could be integrated into an energy-efficient reflective display device with high pixel density. This work demonstrates a contrast formation due to relative height differences from isolated pixelated structures. A reflective heterostructure device consisting of a low-loss Sb2Se3 alloy on a gold substrate was produced. With a focused ion beam, a pixelated metasurface structure was produced. Moreover, the ability to create local height differences using an ion beam was employed to create a structural color combination mimicking traditional LED like RGB pixels. We believe our approach in creating metapixels on phase change thin film surfaces could open up research interest in phase change alloys and moving away from semi/static plasmonic systems into truly dynamic display devices.


title: Weakly Supervised Segmentation of Vertebral Bodies with Iterative Slice-propagation

abstract: Vertebral body (VB) segmentation is an important preliminary step towards medical visual diagnosis for spinal diseases. However, most previous works require pixel/voxel-wise strong supervisions, which is expensive, tedious and time-consuming for experts to annotate. In this paper, we propose a Weakly supervised Iterative Spinal Segmentation (WISS) method leveraging only four corner landmark weak labels on a single sagittal slice to achieve automatic volumetric segmentation from CT images for VBs. WISS first segments VBs on an annotated sagittal slice in an iterative self-training manner. This self-training method alternates between training and refining labels in the training set. Then WISS proceeds to segment the whole VBs slice by slice with a slice-propagation method to obtain volumetric segmentations. We evaluate the performance of WISS on a private spinal metastases CT dataset and the public lumbar CT dataset. On the first dataset, WISS achieves distinct improvements with regard to two different backbones. For the second dataset, WISS achieves dice coefficients of $91.7\%$ and $83.7\%$ for mid-sagittal slices and 3D CT volumes, respectively, saving a lot of labeling costs and only sacrificing a little segmentation performance.


title: Inconsistency of evaluation metrics in link prediction

abstract: Link prediction is a paradigmatic and challenging problem in network science, which aims to predict missing links, future links and temporal links based on known topology. Along with the increasing number of link prediction algorithms, a critical yet previously ignored risk is that the evaluation metrics for algorithm performance are usually chosen at will. This paper implements extensive experiments on hundreds of real networks and 25 well-known algorithms, revealing significant inconsistency among evaluation metrics, namely different metrics probably produce remarkably different rankings of algorithms. Therefore, we conclude that any single metric cannot comprehensively or credibly evaluate algorithm performance. Further analysis suggests the usage of at least two metrics: one is the area under the receiver operating characteristic curve (AUC), and the other is one of the following three candidates, say the area under the precision-recall curve (AUPR), the area under the precision curve (AUC-Precision), and the normalized discounted cumulative gain (NDCG). In addition, as we have proved the essential equivalence of threshold-dependent metrics, if in a link prediction task, some specific thresholds are meaningful, we can consider any one threshold-dependent metric with those thresholds. This work completes a missing part in the landscape of link prediction, and provides a starting point toward a well-accepted criterion or standard to select proper evaluation metrics for link prediction.


title: Nano-scale dynamics of hydrogen in VO$_{2}$ studied by $\mu $SR

abstract: Hydrogen dynamics in the nanoscale region of VO$_{2}$ was investigated by muon spin rotation/relaxation ($\mu $SR) technique. Positively charged muon acts as a light radioisotope of proton and can be used as a probe to explore the inside of materials from an atomic perspective. By analyzing the muon hopping rate and the spatial distribution of the $^{51}$V nuclear magnetic moments, we have identified two types of diffusion paths in VO$_{2}$ (via oxygen-muon bonds or defects) and the potential of a high diffusion coefficient in the 10$^{-10}$ cm$^{2}$/s range at ambient temperature. Our results provide valuable information for developing hydrogen-driven VO$_{2}$--related electronic devices.