title: Likelihood-Based Methods Improve Parameter Estimation in Opinion Dynamics Models

abstract: We show that a maximum likelihood approach for parameter estimation in agent-based models (ABMs) of opinion dynamics outperforms the typical simulation-based approach. Simulation-based approaches simulate the model repeatedly in search of a set of parameters that generates data similar enough to the observed one. In contrast, likelihood-based approaches derive a likelihood function that connects the unknown parameters to the observed data in a statistically principled way. We compare these two approaches on the well-known bounded-confidence model of opinion dynamics. We do so on three realistic scenarios of increasing complexity depending on data availability: (i) fully observed opinions and interactions, (ii) partially observed interactions, (iii) observed interactions with noisy proxies of the opinions. We highlight how identifying observed and latent variables is fundamental for connecting the model to the data. To realize the likelihood-based approach, we first cast the model into a probabilistic generative guise that supports a proper data likelihood. Then, we describe the three scenarios via probabilistic graphical models and show the nuances that go into translating the model. Finally, we implement the resulting probabilistic models in an automatic differentiation framework (PyTorch). This step enables easy and efficient maximum likelihood estimation via gradient descent. Our experimental results show that the maximum likelihood estimates are up to 4x more accurate and require up to 200x less computational time.


title: Kernel-based function learning in dynamic and non stationary environments

abstract: One central theme in machine learning is function estimation from sparse and noisy data. An example is supervised learning where the elements of the training set are couples, each containing an input location and an output response. In the last decades, a substantial amount of work has been devoted to design estimators for the unknown function and to study their convergence to the optimal predictor, also characterizing the learning rate. These results typically rely on stationary assumptions where input locations are drawn from a probability distribution that does not change in time. In this work, we consider kernel-based ridge regression and derive convergence conditions under non stationary distributions, addressing also cases where stochastic adaption may happen infinitely often. This includes the important exploration-exploitation problems where e.g. a set of agents/robots has to monitor an environment to reconstruct a sensorial field and their movements rules are continuously updated on the basis of the acquired knowledge on the field and/or the surrounding environment.


title: On the tilt of the Earth's polar axis (climat): Some 'impressionist' remarks

abstract: In this lengthy letter, we wanted to discuss the concept of climate based on definitions established for over a century and direct observations that we have been collecting for more than a century as well. To do this, we present and discuss the remarkably stable maps over time of the various physical parameters that make up the climate corpus: solar temperature, atmospheric pressure, winds, precipitation, temperature anomalies. This impressionistic tableau that we are gradually sketching as our reflection unfolds leads us to the following proposition: What if, as Laplace first proposed in 1799 and later Milankovi\{'}c in 1920, ground temperature were merely a consequence of climate and not a separate parameter of climate in its own right?


title: Self duality in unconventional conformal supersymmetry

abstract: In this work, we study (anti-)self duality conditions in unconventional conformal supersymmetry. We focus on a theory constructed in a Townsend-MacDowell-Mansouri form for an $SU(2,2|N)$ gauge connection with matter fields in the adjoint representation. We found bosonic solutions that correspond to analytic gravitational instantons with nontrivial torsion. These configurations can be regarded as the torsional generalization of the Taub-NUT/Bolt-AdS and Eguchi-Hanson metric and they are (anti-)self-dual with respect to a generalized dual operator. We explore their global properties and show that they saturate a BPS bound.


title: Hybrid packet switching assisted by classical frame for entanglement-based quantum networks

abstract: One of the first problems of studying the quantum internet is how to realize quantum interconnection between users in a quantum network. To address above problem, by referencing the classical Internet, developing the packet switching of quantum networks is a promising way. In this paper, we propose a new hybrid packet switching for entanglement-based quantum networks assisted by classical frame. Different from the previous packet switching for quantum networks based on single photon, the frame used in our scheme is pure classical rather than the classical-quantum structure, and the transmission of classical and quantum signals over physical channels can be independent, which makes our scheme is also valid for quantum networks with heralded entanglement generation. Using our hybrid packet switching, the process of building entanglement channel between end nodes is analogous to the classical packet-switched networks, which provides an effective way to build large-scale packet-switched entanglement-based quantum internet. To verify the feasibility, we perform end-to-end entanglement distribution using our hybrid packet switching in a quantum network and simulate the fidelities of distributed state with respect to the number of hops.


title: Controlling the interactions in a cold atom quantum impurity system

abstract: We implement an experimental architecture in which a single atom of K is trapped in an optical tweezer, and is immersed in a bath of Rb atoms at ultralow temperatures. In this regime, the motion of the single trapped atom is confined to the lowest quantum vibrational levels. This realizes an elementary and fully controllable quantum impurity system. For the trapping of the K atom, we use a species-selective dipole potential, that allows us to independently manipulate the quantum impurity and the bath. We concentrate on the characterization and control of the interactions between the two subsystems. To this end, we perform Feshbach spectroscopy, detecting several inter-dimensional confinement-induced Feshbach resonances for the KRb interspecies scattering length, that parametrizes the strength of the interactions. We compare our data to a theory for inter-dimensional scattering, finding good agreement. Notably, we also detect a series of p-wave resonances stemming from the underlying free-space s-wave interactions. We further determine how the resonances behave as the temperature of the bath and the dimensionality of the interactions change. Additionally, we are able to screen the quantum impurity from the bath by finely tuning the wavelength of the light that produces the optical tweezer, providing us with a new effective tool to control and minimize the interactions. Our results open a range of new possibilities in quantum simulations of quantum impurity models, quantum information, and quantum thermodynamics, where the interactions between a quantized system and the bath is a powerful yet largely underutilized resource.


title: Spike Accumulation Forwarding for Effective Training of Spiking Neural Networks

abstract: In this article, we propose a new paradigm for training spiking neural networks (SNNs), spike accumulation forwarding (SAF). It is known that SNNs are energy-efficient but difficult to train. Consequently, many researchers have proposed various methods to solve this problem, among which online training through time (OTTT) is a method that allows inferring at each time step while suppressing the memory cost. However, to compute efficiently on GPUs, OTTT requires operations with spike trains and weighted summation of spike trains during forwarding. In addition, OTTT has shown a relationship with the Spike Representation, an alternative training method, though theoretical agreement with Spike Representation has yet to be proven. Our proposed method can solve these problems; namely, SAF can halve the number of operations during the forward process, and it can be theoretically proven that SAF is consistent with the Spike Representation and OTTT, respectively. Furthermore, we confirmed the above contents through experiments and showed that it is possible to reduce memory and training time while maintaining accuracy.


title: Moran's I Lasso for models with spatially correlated data

abstract: This paper proposes a Lasso-based estimator which uses information embedded in the Moran statistic to develop a selection procedure called Moran's I Lasso (Mi-Lasso) to solve the Eigenvector Spatial Filtering (ESF) eigenvector selection problem. ESF uses a subset of eigenvectors from a spatial weights matrix to efficiently account for any omitted cross-sectional correlation terms in a classical linear regression framework, thus does not require the researcher to explicitly specify the spatial part of the underlying structural model. We derive performance bounds and show the necessary conditions for consistent eigenvector selection. The key advantages of the proposed estimator are that it is intuitive, theoretically grounded, and substantially faster than Lasso based on cross-validation or any proposed forward stepwise procedure. Our main simulation results show the proposed selection procedure performs well in finite samples. Compared to existing selection procedures, we find Mi-Lasso has one of the smallest biases and mean squared errors across a range of sample sizes and levels of spatial correlation. An application on house prices further demonstrates Mi-Lasso performs well compared to existing procedures.


title: Graph Neural Networks and Time Series as Directed Graphs for Quality Recognition

abstract: Graph Neural Networks (GNNs) are becoming central in the study of time series, coupled with existing algorithms as Temporal Convolutional Networks and Recurrent Neural Networks. In this paper, we see time series themselves as directed graphs, so that their topology encodes time dependencies and we start to explore the effectiveness of GNNs architectures on them. We develop two distinct Geometric Deep Learning models, a supervised classifier and an autoencoder-like model for signal reconstruction. We apply these models on a quality recognition problem.


title: High order numerical methods based on quadratic spline collocation method and averaged L1 scheme for the variable-order time fractional mobile/immobile diffusion equation

abstract: In this paper, we consider the variable-order time fractional mobile/immobile diffusion (TF-MID) equation in two-dimensional spatial domain, where the fractional order $\alpha(t)$ satisfies $0<\alpha_{*}\leq \alpha(t)\leq \alpha^{*}<1$. We combine the quadratic spline collocation (QSC) method and the $L1^+$ formula to propose a QSC-$L1^+$ scheme. It can be proved that, the QSC-$L1^+$ scheme is unconditionally stable and convergent with $\mathcal{O}(\tau^{\min{\{3-\alpha^*-\alpha(0),2\}}} + \Delta x^{2}+\Delta y^{2})$, where $\tau$, $\Delta x$ and $\Delta y$ are the temporal and spatial step sizes, respectively. With some proper assumptions on $\alpha(t)$, the QSC-$L1^+$ scheme has second temporal convergence order even on the uniform mesh, without any restrictions on the solution of the equation. We further construct a novel alternating direction implicit (ADI) framework to develop an ADI-QSC-$L1^+$ scheme, which has the same unconditionally stability and convergence orders. In addition, a fast implementation for the ADI-QSC-$L1^+$ scheme based on the exponential-sum-approximation (ESA) technique is proposed. Moreover, we also introduce the optimal QSC method to improve the spatial convergence to fourth-order. Numerical experiments are attached to support the theoretical analysis, and to demonstrate the effectiveness of the proposed schemes.


title: Dynamic Shuffle: An Efficient Channel Mixture Method

abstract: The redundancy of Convolutional neural networks not only depends on weights but also depends on inputs. Shuffling is an efficient operation for mixing channel information but the shuffle order is usually pre-defined. To reduce the data-dependent redundancy, we devise a dynamic shuffle module to generate data-dependent permutation matrices for shuffling. Since the dimension of permutation matrix is proportional to the square of the number of input channels, to make the generation process efficiently, we divide the channels into groups and generate two shared small permutation matrices for each group, and utilize Kronecker product and cross group shuffle to obtain the final permutation matrices. To make the generation process learnable, based on theoretical analysis, softmax, orthogonal regularization, and binarization are employed to asymptotically approximate the permutation matrix. Dynamic shuffle adaptively mixes channel information with negligible extra computation and memory occupancy. Experiment results on image classification benchmark datasets CIFAR-10, CIFAR-100, Tiny ImageNet and ImageNet have shown that our method significantly increases ShuffleNets' performance. Adding dynamic generated matrix with learnable static matrix, we further propose static-dynamic-shuffle and show that it can serve as a lightweight replacement of ordinary pointwise convolution.


title: The Role of Linguistic Priors in Measuring Compositional Generalization of Vision-Language Models

abstract: Compositionality is a common property in many modalities including natural languages and images, but the compositional generalization of multi-modal models is not well-understood. In this paper, we identify two sources of visual-linguistic compositionality: linguistic priors and the interplay between images and texts. We show that current attempts to improve compositional generalization rely on linguistic priors rather than on information in the image. We also propose a new metric for compositionality without such linguistic priors.


title: Integrating UMLS Knowledge into Large Language Models for Medical Question Answering

abstract: Large language models (LLMs) have demonstrated powerful text generation capabilities, bringing unprecedented innovation to the healthcare field. While LLMs hold immense promise for applications in healthcare, applying them to real clinical scenarios presents significant challenges, as these models may generate content that deviates from established medical facts and even exhibit potential biases. In our research, we develop an augmented LLM framework based on the Unified Medical Language System (UMLS), aiming to better serve the healthcare community. We employ LLaMa2-13b-chat and ChatGPT-3.5 as our benchmark models, and conduct automatic evaluations using the ROUGE Score and BERTScore on 104 questions from the LiveQA test set. Additionally, we establish criteria for physician-evaluation based on four dimensions: Factuality, Completeness, Readability and Relevancy. ChatGPT-3.5 is used for physician evaluation with 20 questions on the LiveQA test set. Multiple resident physicians conducted blind reviews to evaluate the generated content, and the results indicate that this framework effectively enhances the factuality, completeness, and relevance of generated content. Our research demonstrates the effectiveness of using UMLS-augmented LLMs and highlights the potential application value of LLMs in in medical question-answering.


title: Expected flow networks in stochastic environments and two-player zero-sum games

abstract: Generative flow networks (GFlowNets) are sequential sampling models trained to match a given distribution. GFlowNets have been successfully applied to various structured object generation tasks, sampling a diverse set of high-reward objects quickly. We propose expected flow networks (EFlowNets), which extend GFlowNets to stochastic environments. We show that EFlowNets outperform other GFlowNet formulations in stochastic tasks such as protein design. We then extend the concept of EFlowNets to adversarial environments, proposing adversarial flow networks (AFlowNets) for two-player zero-sum games. We show that AFlowNets learn to find above 80% of optimal moves in Connect-4 via self-play and outperform AlphaZero in tournaments.


title: Transonic galactic wind model including stellar feedbacks and application to outflows in high/low-$z$ galaxies

abstract: Galactic winds play a crucial role in the ejection of the interstellar medium (ISM) into intergalactic space. This study presents a model that classifies possible transonic solutions of galactic winds in the gravitational potential of the dark matter halo and stellar component under spherically symmetric and steady assumptions. Our model includes injections of mass and energy resulting from supernovae feedback along a flow line. The mass flux in galactic winds is a critical factor in determining the acceleration process of the flow and revealing the impact of galactic winds on galaxy evolution. We apply the transonic galactic wind model to the observed outflow velocities of star-forming galaxies to estimate the mass flux. Dividing the mass flux by the star formation rate (SFR) yields the mass loading rate (and mass loading factor), which indicates the entrainment effect of the ISM by the hot gas flow. Our results demonstrate that the mass loading rate is inversely correlated with galaxy mass and SFR. In less massive galaxies (stellar mass $\sim 10^{7-8} M_\odot$), the mass loading rate exceeds unity, indicating effective ejection of the ISM into intergalactic space. However, in massive galaxies (stellar mass $\sim 10^{10-11} M_\odot$), the mass loading rate falls below unity, meaning that the mass flux cannot exceed the injected mass by supernovae, thus resulting in the ineffective ejection of the ISM.


title: LROC-PANGU-GAN: Closing the Simulation Gap in Learning Crater Segmentation with Planetary Simulators

abstract: It is critical for probes landing on foreign planetary bodies to be able to robustly identify and avoid hazards - as, for example, steep cliffs or deep craters can pose significant risks to a probe's landing and operational success. Recent applications of deep learning to this problem show promising results. These models are, however, often learned with explicit supervision over annotated datasets. These human-labelled crater databases, such as from the Lunar Reconnaissance Orbiter Camera (LROC), may lack in consistency and quality, undermining model performance - as incomplete and/or inaccurate labels introduce noise into the supervisory signal, which encourages the model to learn incorrect associations and results in the model making unreliable predictions. Physics-based simulators, such as the Planet and Asteroid Natural Scene Generation Utility, have, in contrast, perfect ground truth, as the internal state that they use to render scenes is known with exactness. However, they introduce a serious simulation-to-real domain gap - because of fundamental differences between the simulated environment and the real-world arising from modelling assumptions, unaccounted for physical interactions, environmental variability, etc. Therefore, models trained on their outputs suffer when deployed in the face of realism they have not encountered in their training data distributions. In this paper, we therefore introduce a system to close this "realism" gap while retaining label fidelity. We train a CycleGAN model to synthesise LROC from Planet and Asteroid Natural Scene Generation Utility (PANGU) images. We show that these improve the training of a downstream crater segmentation network, with segmentation performance on a test set of real LROC images improved as compared to using only simulated PANGU images.


title: Discovering General Reinforcement Learning Algorithms with Adversarial Environment Design

abstract: The past decade has seen vast progress in deep reinforcement learning (RL) on the back of algorithms manually designed by human researchers. Recently, it has been shown that it is possible to meta-learn update rules, with the hope of discovering algorithms that can perform well on a wide range of RL tasks. Despite impressive initial results from algorithms such as Learned Policy Gradient (LPG), there remains a generalization gap when these algorithms are applied to unseen environments. In this work, we examine how characteristics of the meta-training distribution impact the generalization performance of these algorithms. Motivated by this analysis and building on ideas from Unsupervised Environment Design (UED), we propose a novel approach for automatically generating curricula to maximize the regret of a meta-learned optimizer, in addition to a novel approximation of regret, which we name algorithmic regret (AR). The result is our method, General RL Optimizers Obtained Via Environment Design (GROOVE). In a series of experiments, we show that GROOVE achieves superior generalization to LPG, and evaluate AR against baseline metrics from UED, identifying it as a critical component of environment design in this setting. We believe this approach is a step towards the discovery of truly general RL algorithms, capable of solving a wide range of real-world environments.


title: Computational Entanglement Theory

abstract: We initiate a rigorous study of computational entanglement theory, inspired by the emerging usefulness of ideas from quantum information theory in computational complexity. We define new operational computational measures of entanglement -- the computational one-shot entanglement cost and distillable entanglement. We then show that the computational measures are fundamentally different from their information-theoretic counterparts by presenting gaps between them. We proceed by refining and extending the definition of pseudo-entanglement, introduced by Aaronson et al., 2022, using the new operational measures; and we present constructions of pseudo-entangled states (for our new definition) based on post-quantum cryptographic assumptions. Finally, we discuss the relations between computational entanglement theory and other topics, such as quantum cryptography and notions of pseudoentropy, as well as the relevance of our new definitions to the study of the AdS/CFT correspondence. We believe that, in addition to the contributions presented in the current manuscript, our work opens multiple research directions, of relevance both to the theoretical quantum information theory community as well as for future applications of quantum networks and cryptography.


title: MAD Max Beyond Single-Node: Enabling Large Machine Learning Model Acceleration on Distributed Systems

abstract: Training and deploying large-scale machine learning models is time-consuming, requires significant distributed computing infrastructures, and incurs high operational costs. Our analysis, grounded in real-world large model training on datacenter-scale infrastructures, reveals that 14~32% of all GPU hours are spent on communication with no overlapping computation. To minimize this outstanding communication latency and other inherent at-scale inefficiencies, we introduce an agile performance modeling framework, MAD-Max. This framework is designed to optimize parallelization strategies and facilitate hardware-software co-design opportunities. Through the application of MAD-Max to a suite of real-world large-scale ML models on state-of-the-art GPU clusters, we showcase potential throughput enhancements of up to 2.24x for pre-training and up to 5.2x for inference scenarios, respectively.


title: Multivariate Regular Variation of Preferential Attachment Models

abstract: We use the framework of multivariate regular variation to analyze the extremal behavior of preferential attachment models. To this end, we follow a directed linear preferential attachment model with a fixed number of outgoing edges per node for a random, heavy-tailed number of steps in time and treat the incoming edge count of all existing nodes as a random vector of random length. By combining martingale properties, moment bounds and a Breiman type theorem we show that the resulting quantity is multivariate regularly varying, both as a vector of fixed length formed by the edge counts of a finite number of oldest nodes, and also as a vector of random length viewed in sequence space. A P\'{o}lya urn representation allows us to explicitly describe the extremal dependence between the degrees with the help of Dirichlet distributions. As a by-product of our analysis we establish new results for almost sure convergence of the edge counts in sequence space as the number of nodes goes to infinity.


title: Unleashing infinite momentum bandgap using resonant material systems

abstract: The realization of photonic time crystals is a major opportunity but also comes with significant challenges. The most pressing one, potentially, is the requirement for a substantial modulation strength in the material properties to create a noticeable momentum bandgap. Reaching that noticeable bandgap in optics is highly demanding with current, and possibly also future, material platforms since their modulation strength is small by tendency. Here we demonstrate that by introducing temporal variations in a resonant material, the momentum bandgap can be drastically expanded, potentially approaching infinity with modulation strengths in reach with known low-loss materials and realistic laser pump powers. The resonance can emerge from an intrinsic material resonance or a suitably spatially structured material supporting a structural resonance. Our concept is validated for resonant bulk media and optical metasurfaces and paves the way toward the first experimental realizations of photonic time crystals.


title: Entire Monge-Amp\`ere equations and weighted Minkowski problems

abstract: In this short note, we prove the existence of solutions to a Monge-Amp\`ere equation of entire type derived by a weighted version of the classical Minkowski problem.


title: Reocurrence and weak approximation over geometric global fields

abstract: In this article, we prove a Reocurrence Theorem over function fields of curves over $\mathbf{C}(\! (t)\! )$ and over finite extensions of the Laurent series field $\mathbf{C}(\! (x,y)\! )$. This provides a partial replacement to Chebotarev's Theorem over such fields. A concrete application to the study of weak approximation for homogeneous spaces under $\mathrm{SL}_n$ and with finite stabilizers is given at the end of the article.


title: Heat flow from a measurement apparatus monitoring a dissipative qubit

abstract: We investigate the heat flow of a qubit coupled to heat baths under continuous quantum measurement. In the steady-state limit, we show that heat always flows from the measurement apparatus into the qubit regardless of the measured qubit state and derive lower and upper bounds for the heat current between the qubit and the measurement apparatus. Furthermore, we study the transient dynamics of the heat current and the excess heat during the transient regime.


title: Low Resource Summarization using Pre-trained Language Models

abstract: With the advent of Deep Learning based Artificial Neural Networks models, Natural Language Processing (NLP) has witnessed significant improvements in textual data processing in terms of its efficiency and accuracy. However, the research is mostly restricted to high-resource languages such as English and low-resource languages still suffer from a lack of available resources in terms of training datasets as well as models with even baseline evaluation results. Considering the limited availability of resources for low-resource languages, we propose a methodology for adapting self-attentive transformer-based architecture models (mBERT, mT5) for low-resource summarization, supplemented by the construction of a new baseline dataset (76.5k article, summary pairs) in a low-resource language Urdu. Choosing news (a publicly available source) as the application domain has the potential to make the proposed methodology useful for reproducing in other languages with limited resources. Our adapted summarization model \textit{urT5} with up to 44.78\% reduction in size as compared to \textit{mT5} can capture contextual information of low resource language effectively with evaluation score (up to 46.35 ROUGE-1, 77 BERTScore) at par with state-of-the-art models in high resource language English \textit{(PEGASUS: 47.21, BART: 45.14 on XSUM Dataset)}. The proposed method provided a baseline approach towards extractive as well as abstractive summarization with competitive evaluation results in a limited resource setup.


title: R-LGP: A Reachability-guided Logic-geometric Programming Framework for Optimal Task and Motion Planning on Mobile Manipulators

abstract: This paper presents an optimization-based solution to task and motion planning (TAMP) on mobile manipulators. Logic-geometric programming (LGP) has shown promising capabilities for optimally dealing with hybrid TAMP problems that involve abstract and geometric constraints. However, LGP does not scale well to high-dimensional systems (e.g. mobile manipulators) and can suffer from obstacle avoidance issues due to local minima. In this work, we extend LGP with a sampling-based reachability graph to enable solving optimal TAMP on high-DoF mobile manipulators. The proposed reachability graph can incorporate environmental information (obstacles) to provide the planner with sufficient geometric constraints. This reachability-aware heuristic efficiently prunes infeasible sequences of actions in the continuous domain, hence, it reduces replanning by securing feasibility at the final full path trajectory optimization. Our framework proves to be time-efficient in computing optimal and collision-free solutions, while outperforming the current state of the art on metrics of success rate, planning time, path length and number of steps. We validate our framework on the physical Toyota HSR robot and report comparisons on a series of mobile manipulation tasks of increasing difficulty. Videos of the experiments are available at https://youtu.be/NEVVHEhQnOQ.


title: Continuous 3D Myocardial Motion Tracking via Echocardiography

abstract: Myocardial motion tracking stands as an essential clinical tool in the prevention and detection of cardiovascular diseases (CVDs), the foremost cause of death globally. However, current techniques suffer from incomplete and inaccurate motion estimation of the myocardium in both spatial and temporal dimensions, hindering the early identification of myocardial dysfunction. To address these challenges, this paper introduces the Neural Cardiac Motion Field (NeuralCMF). NeuralCMF leverages implicit neural representation (INR) to model the 3D structure and the comprehensive 6D forward/backward motion of the heart. This method surpasses pixel-wise limitations by offering the capability to continuously query the precise shape and motion of the myocardium at any specific point throughout the cardiac cycle, enhancing the detailed analysis of cardiac dynamics beyond traditional speckle tracking. Notably, NeuralCMF operates without the need for paired datasets, and its optimization is self-supervised through the physics knowledge priors in both space and time dimensions, ensuring compatibility with both 2D and 3D echocardiogram video inputs. Experimental validations across three representative datasets support the robustness and innovative nature of the NeuralCMF, marking significant advantages over existing state-of-the-art methods in cardiac imaging and motion tracking.


title: Hyperelliptic families and 4d $\mathcal{N}=2$ SCFT

abstract: We classify four dimensional $\mathcal{N}=2$ SCFTs whose Seiberg-Witten (SW) geometries can be written as hyperelliptic families. By using special K\"ahler condition of SW geometry, we reduce the problem to one parameter quasi-homogeneous hyperelliptic families $y^2=f(x,t)$. The classification is given by further demanding that the complex algebraic surface defined by $y^2=f(x,t)$ has an isolated singularity. We then write down the full SW geometry by looking at mini-versal deformations of the one parameter family, and the SW differential is also written down. The detailed physical data for these theories are found by matching the theory with other known construction. Our solutions recover the known rank one and rank two results, and give some infinite sequences valid at arbitrary ranks. We also studied $Z_2$ quotient of above hyperelliptic families which give rise to $B$ type and $D$ type conformal gauge theory, and further generalizations.


title: Stability Improvements for Fast Matrix Multiplication

abstract: We implement an Augmented Lagrangian method to minimize a constrained least-squares cost function designed to find polyadic decompositions of the matrix multiplication tensor. We use this method to obtain new discrete decompositions and parameter families of decompositions. Using these parametrizations, faster and more stable matrix multiplication algorithms can be discovered.


title: Protoplanetary and debris disks in the $\eta$ Chamaeleontis Association: A sub-millimeter survey obtained with APEX/LABOCA

abstract: Nearby associations are ideal regions to study coeval samples of protoplanetary and debris disks down to late M-type stars. Those aged 5-10,Myrs, where most of the disk should have already dissipated forming planets, are of particular interest. We present the first complete study of both protoplanetary and debris disks in a young region, using the $\eta$ Chamaeleontis association as a test bench to study the cold disk content. We obtained sub-millimeter data for the entire core population down to late M-type stars, plus a few halo members. We performed a continuum sub-millimeter survey with APEX/LABOCA of all the core populations of $\eta$ Cha association. Disk properties have been derived by modeling protoplanetary and debris disks using RADMC 2D and DMS, respectively. We find that protoplanetary disks in $\eta$ Cha typically have holes with radii of the order of 0.01 to 0.03 AU, while ring-like emission from the debris disks is located between 20 au and 650 au from the central star. The parallaxes and Gaia eDR3 photometry, in combination with the PARSEC and COLIBRI isochrones, enable us to confirm an age of $\eta$ Cha between 7 and 9 Myrs. In general, the disk mass seems insufficient to support accretion over a long time, even for the lowest mass accretors, a clear difference compared with other regions and also a sign that the mass budget is further underestimated. We do not find a correlation between the stellar masses, accretion rates, and disk masses, although this could be due to sample issues. We confirm that the presence of inner holes is not enough to stop accretion unless accompanied by dramatic changes to the total disk mass content. Comparing $\eta$ Cha with other regions at different ages, we find that the physical processes responsible for debris disks (e.g., dust growth, dust trapping) efficiently act in less than 5 Myrs.


title: Integer mixtures and their generating functions

abstract: We define a class of finite integer sequences called "integer mixtures", which are generalizations of partitions, compositions and unimodal sequences. We introduce unusual forms of $q$-series that combine generating functions for partitions and compositions, to prove generating functions for newly defined types of integer mixtures like multimodal sequences and spliced compositions. We prove compositions with $k$-colored splices are in bijection with the $k$-compositions recently studied by Hopkins-Ouvry.


title: Collaborative electric vehicle routing with meet points

abstract: In this paper, we develop a profit-sharing-based optimal routing mechanism to incentivize horizontal collaboration among urban goods distributors. This paper investigates a collaborative routing problem for urban logistics, in which the exchange of goods at meet points is optimally planned en route. We show that collaboration does not only reduce the total cost but also increases the profit of each company by sharing some customers and the related profit. Hence, we focus on solving a collaborative electric vehicle routing problem under constraints such as customer-specific time windows, opportunity charging, vehicle capacity, and meet-point synchronization. The proposed Collaborative Electric Vehicle Routing Problem with Meet Point (CoEVRPMP) is modeled as a mixed-integer nonlinear programming problem. We first present an exact method for optimal benchmarks via decomposition. To handle real-world problems, we suggest using a metaheuristic method: adaptive large neighborhood search with linear programming. The viability and scalability of the collaborative method are demonstrated via numerical case studies: (i) a real-world case of two grocery stores in the city of Gothenburg, Sweden, and (ii) a large-scale experiment with 500 customers. The results underline the importance of horizontal collaboration among delivery companies. Collaboration helps to reduce the environmental footprint (total energy consumed) and to increase the individual company's profit at the same time.


title: Evolution of Solar-Type Activity: An Observational and Theoretical Perspective

abstract: When stars depart from the main-sequence, various changes occur including the loss of angular momentum owing to changes in the stellar interior and the impact of stellar winds. These processes affect the amount of outer atmospheric heating and emission as revealed by observations in the UV and X-ray spectral regimes. From a theoretical perspective, both magnetic and acoustic energy generation are affected as indicated by detailed theoretical simulations. Here, I will summarize selected observational and theoretical results, including recent work for Beta Hydri (G2~IV), a star constituting a prime example and proxy for the future Sun.


title: Dissecting Smart Contract Languages: A Survey

abstract: Blockchain is a distributed ledger technology that gained popularity for enabling the transformation of cryptocurrency among peers without mediation by a centralized third-party authority. Smart contracts expand the applications of blockchain technology and have played a role in its widespread adoption. Smart contracts are immutable digital programs that are deployed on blockchains to codify agreements between parties. Existing smart contract implementations have faced challenges, including security vulnerabilities, leading to significant losses and concerns. This has stimulated a wave of attempts to improve Smart Contract Languages (SCLs) to overcome implementation challenges and ensure code quality, producing many languages with diverse features. Scholars have made some attempts to classify SCLs and clarify the process of selecting an SCL, but to the best of our knowledge, no comprehensive survey of existing SCLs has been published. Our work surpasses earlier efforts by evaluating a significantly larger set of SCLs, in greater depth, to ease the process of SCL selection for blockchain research and implementation. In this paper, we (1) propose a robust framework for comparing existing SCLs, (2) analyze and discuss 36 SCLs, addressing issues beyond those used to construct the comparison framework, and (3) define new parameters for future research and development of SCLs. The survey provides a guide for those who intend to select or use an SCL to implement smart contracts, develop new SCLs, or add new extensions to the existing SCLs.


title: Everest: GPU-Accelerated System For Mining Temporal Motifs

abstract: Temporal motif mining is the task of finding the occurrences of subgraph patterns within a large input temporal graph that obey the specified structural and temporal constraints. Despite its utility in several critical application domains that demand high performance (e.g., detecting fraud in financial transaction graphs), the performance of existing software is limited on commercial hardware platforms, in that it runs for tens of hours. This paper presents Everest - a system that efficiently maps the workload of mining (supports both enumeration and counting) temporal motifs to the highly parallel GPU architecture. In particular, using an input temporal graph and a more expressive user-defined temporal motif query definition compared to prior works, Everest generates an execution plan and runtime primitives that optimize the workload execution by exploiting the high compute throughput of a GPU. Everest generates motif-specific mining code to reduce long-latency memory accesses and frequent thread divergence operations. Everest incorporates novel low-cost runtime mechanisms to enable load balancing to improve GPU hardware utilization. To support large graphs that do not fit on GPU memory, Everest also supports multi-GPU execution by intelligently partitioning the edge list that prevents inter-GPU communication. Everest hides the implementation complexity of presented optimizations away from the targeted system user for better usability. Our evaluation shows that, using proposed optimizations, Everest improves the performance of a baseline GPU implementation by 19x, on average.


title: Ichino period for CM forms

abstract: In both local and global settings, we establish explicit relations between Ichino triple product period and Waldspurger toric periods for CM forms via the theta lifting and the see-saw principle.


title: VITS-Based Singing Voice Conversion Leveraging Whisper and multi-scale F0 Modeling

abstract: This paper introduces the T23 team's system submitted to the Singing Voice Conversion Challenge 2023. Following the recognition-synthesis framework, our singing conversion model is based on VITS, incorporating four key modules: a prior encoder, a posterior encoder, a decoder, and a parallel bank of transposed convolutions (PBTC) module. We particularly leverage Whisper, a powerful pre-trained ASR model, to extract bottleneck features (BNF) as the input of the prior encoder. Before BNF extraction, we perform pitch perturbation to the source signal to remove speaker timbre, which effectively avoids the leakage of the source speaker timbre to the target. Moreover, the PBTC module extracts multi-scale F0 as the auxiliary input to the prior encoder, thereby capturing better pitch variations of singing. We design a three-stage training strategy to better adapt the base model to the target speaker with limited target speaker data. Official challenge results show that our system has superior performance in naturalness, ranking 1st and 2nd respectively in Task 1 and 2. Further ablation justifies the effectiveness of our system design.


title: Partial magnetic order in kagome spin ice

abstract: Motivated by the observation of partial magnetic order in kagome-based magnets, we study the classical kagome Ising antiferromagnet, known as kagome spin ice, including further-neighbor interactions at zero and finite temperature. While the nearest-neighbor model displays an extensive ground-state degeneracy, various symmetry-breaking states can appear upon including additional couplings. Among these, peculiar partially ordered states have been proposed. We present results from large-scale Monte-Carlo simulations, establishing that such partial order is stabilized by third-neighbor couplings along the hexagon diagonals. We show that these states arise due to the emergence of one-dimensional chains in an entirely frustrated environment, and that they are stable with respect to further couplings. We discuss their finite-temperature properties in detail, highlight the magnetic states' peculiarities depending on the diagonal couplings' sign, and suggest observing these states using thermodynamic probes.


title: DOMINO: A Dual-System for Multi-step Visual Language Reasoning

abstract: Visual language reasoning requires a system to extract text or numbers from information-dense images like charts or plots and perform logical or arithmetic reasoning to arrive at an answer. To tackle this task, existing work relies on either (1) an end-to-end vision-language model trained on a large amount of data, or (2) a two-stage pipeline where a captioning model converts the image into text that is further read by another large language model to deduce the answer. However, the former approach forces the model to answer a complex question with one single step, and the latter approach is prone to inaccurate or distracting information in the converted text that can confuse the language model. In this work, we propose a dual-system for multi-step multimodal reasoning, which consists of a "System-1" step for visual information extraction and a "System-2" step for deliberate reasoning. Given an input, System-2 breaks down the question into atomic sub-steps, each guiding System-1 to extract the information required for reasoning from the image. Experiments on chart and plot datasets show that our method with a pre-trained System-2 module performs competitively compared to prior work on in- and out-of-distribution data. By fine-tuning the System-2 module (LLaMA-2 70B) on only a small amount of data on multi-step reasoning, the accuracy of our method is further improved and surpasses the best fully-supervised end-to-end approach by 5.7% and a pipeline approach with FlanPaLM (540B) by 7.5% on a challenging dataset with human-authored questions.


title: Van der Waals Spin-Orbit Torque Antiferromagnetic Memory

abstract: The technique of conventional ferromagnet/heavy-metal spin-orbit torque (SOT) offers significant potential for enhancing the efficiency of magnetic memories. However, it faces fundamental physical limitations, including hunting effects from the metallic layer, broken symmetry for enabling antidamping switching, spin scattering caused by interfacial defects, and sensitivity to stray magnetic fields. To address these issues, we here propose a van der Waals (vdW) field-free SOT antiferromagnetic memory using a vdW bilayer LaBr$_2$ (an antiferromagnet with perpendicular magnetic anisotropy) and a monolayer T$_d$ phase WTe$_2$ (a Weyl semimetal with broken inversion symmetry). By systematically employing density functional theory in conjunction with non-equilibrium Green's function methods and macrospin simulations, we demonstrate that the proposed vdW SOT devices exhibit remarkably low critical current density approximately 10 MA/cm$^2$ and rapid field-free magnetization switching in 250 ps. This facilitates excellent write performance with extremely low energy consumption. Furthermore, the device shows a significantly low read error rate, as evidenced by a high tunnel magnetoresistance ratio of up to 4250%. The superior write and read performance originates from the unique strong on-site (insulating phase) and off-site (magnetic phase) Coulomb interactions in electride LaBr$_2$, a large non-zero z-component polarization in WTe$_2$, and the proximity effect between them.


title: A Data-facilitated Numerical Method for Richards Equation to Model Water Flow Dynamics in Soil

abstract: Root-zone soil moisture monitoring is essential for precision agriculture, smart irrigation, and drought prevention. Modeling the spatiotemporal water flow dynamics in soil is typically achieved by solving a hydrological model, such as the Richards equation which is a highly nonlinear partial differential equation (PDE). In this paper, we present a novel data-facilitated numerical method for solving the mixed-form Richards equation. This numerical method, which we call the D-GRW (Data-facilitated global Random Walk) method, synergistically integrates adaptive linearization scheme, neural networks, and global random walk in a finite volume discretization framework to produce accurate numerical solutions of the Richards equation with guaranteed convergence under reasonable assumptions. Through three illustrative examples, we demonstrate and discuss the superior accuracy and mass conservation performance of our D-GRW method and compare it with benchmark numerical methods and commercial solver.


title: A Deep Instance Generative Framework for MILP Solvers Under Limited Data Availability

abstract: In the past few years, there has been an explosive surge in the use of machine learning (ML) techniques to address combinatorial optimization (CO) problems, especially mixed-integer linear programs (MILPs). Despite the achievements, the limited availability of real-world instances often leads to sub-optimal decisions and biased solver assessments, which motivates a suite of synthetic MILP instance generation techniques. However, existing methods either rely heavily on expert-designed formulations or struggle to capture the rich features of real-world instances. To tackle this problem, we propose G2MILP, the first deep generative framework for MILP instances. Specifically, G2MILP represents MILP instances as bipartite graphs, and applies a masked variational autoencoder to iteratively corrupt and replace parts of the original graphs to generate new ones. The appealing feature of G2MILP is that it can learn to generate novel and realistic MILP instances without prior expert-designed formulations, while preserving the structures and computational hardness of real-world datasets, simultaneously. Thus the generated instances can facilitate downstream tasks for enhancing MILP solvers under limited data availability. We design a suite of benchmarks to evaluate the quality of the generated MILP instances. Experiments demonstrate that our method can produce instances that closely resemble real-world datasets in terms of both structures and computational hardness. The deliverables are released at https://miralab-ustc.github.io/L2O-G2MILP.


title: Probabilistic Method to Fundamental gap problems on the sphere

abstract: We provide a probabilistic proof of the fundamental gap estimate for Schr\"odinger operators in convex domains on the sphere, which extends the probabilistic proof of F. Gong, H. Li, and D. Luo for the Euclidean case. Our results further generalize the results achieved for the Laplacian by S. Seto, L. Wang, and G. Wei, as well as by C. He, G. Wei, and Qi S. Zhang. The essential ingredient in our analysis is the reflection coupling method on Riemannian manifolds.


title: Persistence and neutrality in interacting replicator dynamics, and invariant measures for the McKean-Vlasov replicator

abstract: We study the large-time behavior of an ensemble of particles obeying replicator-like stochastic dynamics with mean-field interactions. We prove the propagation of chaos property and establish conditions for the strong persistence of the $N$-replicator system and the existence of invariant distributions for the associated McKean-Vlasov dynamics. We illustrate our findings with some simple case studies, provide numerical results, and discuss our conclusions in the light of both, Hubbell's Neutral Theory and the phenomenon of the emergence of ecologies.


title: Circular external difference families, graceful labellings and cyclotomy

abstract: (Strong) circular external difference families (which we denote as CEDFs and SCEDFs) can be used to construct nonmalleable threshold schemes. They are a variation of (strong) external difference families, which have been extensively studied in recent years. We provide a variety of constructions for CEDFs based on graceful labellings ($\alpha$-valuations) of lexicographic products $C_n \boldsymbol{\cdot} K_{\ell}^c$, where $C_n$ denotes a cycle of length $n$. SCEDFs having more than two subsets do not exist. However, we can construct close approximations (more specifically, certain types of circular algebraic manipulation detection (AMD) codes) using the theory of cyclotomic numbers in finite fields.


title: Perfect Absorption at the Ultimate Thickness Limit in Planar Films

abstract: Reducing device volume is one of the key requirements for advanced nanophotonic technologies, however this demand is often at odds with designing highly absorbing elements which usually require sizeable thicknesses, such as for detector and sensor applications. Here we theoretically explore the thickness limitations of perfectly absorbing resonant systems and show surprisingly low bounds on minimal required thicknesses for total light absorption in thin planar films. We present a framework for understanding, predicting, and engineering topologically protected perfect absorption in a wide range of resonantly absorbing materials. The proposed analytical approach leads to a simple relation between a perfect absorbers thickness and dielectric function loss, which also serves as a guide for determining the absorption potential of existing and emerging materials at the ultimate thickness limit. The presented results offer new insights into the extremes of light-matter interaction and can facilitate the design of ultra-sensitive light absorbers for detector and sensor systems.


title: Time-Series Classification in Smart Manufacturing Systems: An Experimental Evaluation of State-of-the-Art Machine Learning Algorithms

abstract: Manufacturing is gathering extensive amounts of diverse data, thanks to the growing number of sensors and rapid advances in sensing technologies. Among the various data types available in SMS settings, time-series data plays a pivotal role. Hence, TSC emerges is crucial in this domain. The objective of this study is to fill this gap by providing a rigorous experimental evaluation of the SoTA ML and DL algorithms for TSC tasks in manufacturing and industrial settings. We first explored and compiled a comprehensive list of more than 92 SoTA algorithms from both TSC and manufacturing literature. Following, we selected the 36 most representative algorithms from this list. To evaluate their performance across various manufacturing classification tasks, we curated a set of 22 manufacturing datasets, representative of different characteristics that cover diverse manufacturing problems. Subsequently, we implemented and evaluated the algorithms on the manufacturing benchmark datasets, and analyzed the results for each dataset. Based on the results, ResNet, DrCIF, InceptionTime, and ARSENAL are the top-performing algorithms, boasting an average accuracy of over 96.6% across all 22 manufacturing TSC datasets. These findings underscore the robustness, efficiency, scalability, and effectiveness of convolutional kernels in capturing temporal features in time-series data, as three out of the top four performing algorithms leverage these kernels for feature extraction. Additionally, LSTM, BiLSTM, and TS-LSTM algorithms deserve recognition for their effectiveness in capturing features within time-series data using RNN-based structures.


title: Parabolic Hitchin connection

abstract: In this paper, we present an algebro-geometric construction of the Hitchin connection in the parabolic setting for a fixed determinant line bundle. Our strategy is based on Hecke modifications, where we provide a decomposition formula for the parabolic determinant line bundle and the canonical line bundle of the moduli space of parabolic bundles. As a special case, we construct a Hitchin connection on the moduli space of vector bundles with fixed non-trivial determinant.


title: Graph-based Simultaneous Localization and Bias Tracking

abstract: We present a factor graph formulation and particle-based sum-product algorithm for robust localization and tracking in multipath-prone environments. The proposed sequential algorithm jointly estimates the mobile agent's position together with a time-varying number of multipath components (MPCs). The MPCs are represented by "delay biases" corresponding to the offset between line-of-sight (LOS) component delay and the respective delays of all detectable MPCs. The delay biases of the MPCs capture the geometric features of the propagation environment with respect to the mobile agent. Therefore, they can provide position-related information contained in the MPCs without explicitly building a map of the environment. We demonstrate that the position-related information enables the algorithm to provide high-accuracy position estimates even in fully obstructed line-of-sight (OLOS) situations. Using simulated and real measurements in different scenarios we demonstrate that the proposed algorithm significantly outperforms state-of-the-art multipath-aided tracking algorithms and show that the performance of our algorithm constantly attains the posterior Cramer-Rao lower bound (P-CRLB). Furthermore, we demonstrate the implicit capability of the proposed method to identify unreliable measurements and, thus, to mitigate lost tracks.


title: CoBEV: Elevating Roadside 3D Object Detection with Depth and Height Complementarity

abstract: Roadside camera-driven 3D object detection is a crucial task in intelligent transportation systems, which extends the perception range beyond the limitations of vision-centric vehicles and enhances road safety. While previous studies have limitations in using only depth or height information, we find both depth and height matter and they are in fact complementary. The depth feature encompasses precise geometric cues, whereas the height feature is primarily focused on distinguishing between various categories of height intervals, essentially providing semantic context. This insight motivates the development of Complementary-BEV (CoBEV), a novel end-to-end monocular 3D object detection framework that integrates depth and height to construct robust BEV representations. In essence, CoBEV estimates each pixel's depth and height distribution and lifts the camera features into 3D space for lateral fusion using the newly proposed two-stage complementary feature selection (CFS) module. A BEV feature distillation framework is also seamlessly integrated to further enhance the detection accuracy from the prior knowledge of the fusion-modal CoBEV teacher. We conduct extensive experiments on the public 3D detection benchmarks of roadside camera-based DAIR-V2X-I and Rope3D, as well as the private Supremind-Road dataset, demonstrating that CoBEV not only achieves the accuracy of the new state-of-the-art, but also significantly advances the robustness of previous methods in challenging long-distance scenarios and noisy camera disturbance, and enhances generalization by a large margin in heterologous settings with drastic changes in scene and camera parameters. For the first time, the vehicle AP score of a camera model reaches 80% on DAIR-V2X-I in terms of easy mode. The source code will be made publicly available at https://github.com/MasterHow/CoBEV.


title: Total and dark mass from observations of galaxy centers with Machine Learning

abstract: The galaxy total mass inside the effective radius encode important information on the dark matter and galaxy evolution model. Total "central" masses can be inferred via galaxy dynamics or with gravitational lensing, but these methods have limitations. We propose a novel approach, based on Random Forest, to make predictions on the total and dark matter content of galaxies using simple observables from imaging and spectroscopic surveys. We use catalogs of multi-band photometry, sizes, stellar mass, kinematic "measurements" (features) and dark matter (targets) of simulated galaxies, from Illustris-TNG100 hydrodynamical simulation, to train a Mass Estimate machine Learning Algorithm (Mela). We separate the simulated sample in passive early-type galaxies (ETGs), both "normal" and "dwarf", and active late-type galaxies (LTGs) and show that the mass estimator can accurately predict the galaxy dark masses inside the effective radius in all samples. We finally test the mass estimator against the central mass estimates of a series of low redshift (z$\leq$0.1) datasets, including SPIDER, MaNGA/DynPop and SAMI dwarf galaxies, derived with standard dynamical methods based on Jeans equations. Dynamical masses are reproduced within 0.30 dex ($\sim2\sigma$), with a limited fraction of outliers and almost no bias. This is independent of the sophistication of the kinematical data collected (fiber vs. 3D spectroscopy) and the dynamical analysis adopted (radial vs. axisymmetric Jeans equations, virial theorem). This makes Mela a powerful alternative to predict the mass of galaxies of massive stage-IV surveys' datasets.


title: Explicit Runge Kutta Methods that Alleviate Order Reduction

abstract: Explicit Runge--Kutta (RK) methods are susceptible to a reduction in the observed order of convergence when applied to initial-boundary value problem with time-dependent boundary conditions. We study conditions on explicit RK methods that guarantee high-order convergence for linear problems; we refer to these conditions as weak stage order conditions. We prove a general relationship between the method's order, weak stage order, and number of stages. We derive explicit RK methods with high weak stage order and demonstrate, through numerical tests, that they avoid the order reduction phenomenon up to any order for linear problems and up to order three for nonlinear problems.


title: Peterson varieties and toric orbifolds associated to Cartan matrices

abstract: The Peterson variety is a remarkable variety introduced by Dale Peterson to describe the quantum cohomology rings of all the partial flag varieties. The rational cohomology ring of the Peterson variety is known to be isomorphic to that of a particular toric orbifold which naturally arises from the given root system. In this paper, we show that it is not an accidental algebraic coincidence; we construct an explicit morphism from the Peterson variety to the toric orbifold which induces a ring isomorphism between their rational cohomology rings.


title: Totally nonnegative part of the Peterson variety in Lie type A

abstract: The Peterson variety (which we denote by $Y$) is a subvariety of the flag variety, introduced by Dale Peterson to describe the quantum cohomology rings of all the partial flag varieties. Motivated by the mirror symmetry for partial flag varieties, Rietsch studied the totally nonnegative part $Y_{\ge0}$ and its cell decomposition. Based on the structure of those cells, Rietsch gave the following conjecture in Lie type A; as a cell decomposed space, $Y_{\ge0}$ is homeomorphic to the cube $[0,1]^{\dim_{\mathbb{C}}Y}$. In this paper, we give a proof of Rietsch's conjecture on $Y_{\ge0}$ in Lie type A by using toric geometry which is closely related to the Peterson variety.


title: Peccei-Quinn mechanism and axion interactions in the 3-3-1 model with Cosmological Inflation

abstract: Based on the Peccei-Quinn (PQ) assignment, the PQ charge operator in the 3-3-1 model with Cosmological Inflation is constructed in terms of diagonal generators $T_3$ and $T_8$ of the $SU(3)_L$ subgroup. The formula shows that difference of PQ charges of up and down quarks is 2, i.e., $\De Q_A =2$, while for electric charge, are assumed to be equal, while the ($Q_A$) are opposite. PQ charge of neutral scalars equal $\pm 2$, while for charged scalars, it vanishes. The couplings of axion with fermions are presented. To have correct kinetic term for the axion, the PQ scale $f_{a}$ is to be VEV of the singlet scalar boson, namely, $f_{a}= v_\phi$. The photon couples to charged particles only, while in this model, the axion does not couple to charged scalar/gauge bosons. The point is worth emphasizing that the axion has doubly derivative coupling with scalar playing the role of inflaton. The new effects mainly happen in the energy region from $10^7 \, \gev$ to $10^{11} \, GeV$. The chiral effective Lagrangian as usually provides axion mass consistent with model-independent prediction.


title: Improving Vision Anomaly Detection with the Guidance of Language Modality

abstract: Recent years have seen a surge of interest in anomaly detection for tackling industrial defect detection, event detection, etc. However, existing unsupervised anomaly detectors, particularly those for the vision modality, face significant challenges due to redundant information and sparse latent space. Conversely, the language modality performs well due to its relatively single data. This paper tackles the aforementioned challenges for vision modality from a multimodal point of view. Specifically, we propose Cross-modal Guidance (CMG), which consists of Cross-modal Entropy Reduction (CMER) and Cross-modal Linear Embedding (CMLE), to tackle the redundant information issue and sparse space issue, respectively. CMER masks parts of the raw image and computes the matching score with the text. Then, CMER discards irrelevant pixels to make the detector focus on critical contents. To learn a more compact latent space for the vision anomaly detector, CMLE learns a correlation structure matrix from the language modality, and then the latent space of vision modality will be learned with the guidance of the matrix. Thereafter, the vision latent space will get semantically similar images closer. Extensive experiments demonstrate the effectiveness of the proposed methods. Particularly, CMG outperforms the baseline that only uses images by 16.81%. Ablation experiments further confirm the synergy among the proposed methods, as each component depends on the other to achieve optimal performance.


title: 3D Global Simulations of Accretion onto Gap-opening Planets: Implications for Circumplanetary Disc Structures and Accretion Rates

abstract: We perform a series of 3D simulations to study the accretion of giant planet embedded in protoplanetary discs (PPDs) over gap-opening timescales. We find that the accretion mass flux mainly comes from the intermediate latitude above the disc midplane. The circumplanetary disc (CPD) for a super-thermal planet is rotation-supported up to $\sim$20-30\% of the planet Hill radius. While both mass inflow and outflow exists in the CPD midplane, the overall trend is an outflow that forms a meridional circulation with high-latitude inflows. We confirm the absence of accretion outburst from disc eccentricity excited by massive planets in our 3D simulations, contrary to the consensus of previous 2D simulations. This suggests the necessity of 3D simulations of accretion even for super-Jupiters. The accretion rates of planets measured in steady-state can be decomposed into the ``geometric" and ``density depletion" factors. Through extensive parameter survey, we identify a power-law scaling for the geometric factor $\propto q_{\rm th}^{2/3}$ for super-thermal planets ($q_{\rm th}$ being the thermal mass ratio), which transforms to $\propto q_{\rm th}^{2}$ for less massive cases. The density depletion factor is limited by the disc accretion rate for mildly super-thermal planets, and by gap-opening for highly super-thermal ones. Moderate planetary eccentricities can enhance the accretion rates by a factor of $2-3$ through making the gap shallower, but does not impact the flow geometry. We have applied our simulations results to accreting protoplanet system PDS 70 and can satisfactorily explain the accretion rate and CPD size in observations.


title: Learning to Scale Logits for Temperature-Conditional GFlowNets

abstract: GFlowNets are probabilistic models that sequentially generate compositional structures through a stochastic policy. Among GFlowNets, temperature-conditional GFlowNets can introduce temperature-based controllability for exploration and exploitation. We propose \textit{Logit-scaling GFlowNets} (Logit-GFN), a novel architectural design that greatly accelerates the training of temperature-conditional GFlowNets. It is based on the idea that previously proposed approaches introduced numerical challenges in the deep network training, since different temperatures may give rise to very different gradient profiles as well as magnitudes of the policy's logits. We find that the challenge is greatly reduced if a learned function of the temperature is used to scale the policy's logits directly. Also, using Logit-GFN, GFlowNets can be improved by having better generalization capabilities in offline learning and mode discovery capabilities in online learning, which is empirically verified in various biological and chemical tasks. Our code is available at \url{https://github.com/dbsxodud-11/logit-gfn}


title: Evolutionary tracks of massive stars with different rotation and metallicity in neutrino H-R diagram

abstract: Neutrino losses play a crucial role in the evolution of massive stars. We study the neutrino luminosity of stars ranging from 20 to 90 M_{\odot} from Zero Age Main Sequence (ZAMS) to Fe Core Collapse (FeCC) with different rotation and metallicity in a neutrino Hertzsprung-Russell diagram. In our simulations, we consider {\omega}/{\omega}crit = 0 and 0.7 to represent non-rotation and high rotation, respectively, and set the metallicities to 0.014, 0.001, and 0.0001. During hydrogen burning stages, neutrino luminosity primarily originates from CNO cycle, and increases with higher stellar mass while decreasing with increasing metallicity. For the high metallicity models (Z = 0.014) during the helium burning stage, the reduction of the hydrogen envelope caused by a larger mass loss rate leads to a gradual decrease in neutrino luminosity. The rapid rotation results in extra mixing inside massive stars, which increases the neutrino luminosity during main sequence (MS), while decreases the neutrino luminosity during helium burning phase. Simultaneously, the rapid rotation also increases CO core mass, which enhances the neutrino luminosity during C and O burning phase. We also investigate the effect of neutrino magnetic moment (NMM) on the massive stars. We find that the energy loss caused by the NMM does not have effects on the evolutionary destiny of massive stars, and it does not significant change the compactness at the time of Fe core collapse.


title: Optimized simulations of 50Ti(p,{\alpha}) and 49Ti(d,{\alpha}) reactions for hospital-cyclotron production of 47Sc

abstract: The production of 47Sc, a promising radioisotope for targeted radionuclide therapy, by means of hospital-cyclotron reactions is investigated. Two possible routes are considered: the proton-induced reaction on enriched 50Ti targets and the deuteron-induced reaction on enriched 49Ti targets. The cross-sections of the reactions are calculated using the TALYS code with optimized parameters and compared with the available experimental data. The optimal energy ranges for the production of 47Sc are determined by taking into account the thick-target yields and the purity of the product. The results show that both reactions can provide high yields and high purity of 47Sc. The feasibility of producing 47Sc with a hospital cyclotron is demonstrated by performing realistic simulations of the irradiation for both 50Ti(p,{\alpha}) and 49Ti(d,{\alpha}) reactions.


title: Average plane-size in complex-representable matroids

abstract: Melchior's inequality implies that the average line-length in a simple, rank-$3$, real-representable matroid is less than $3$. A similar result holds for complex-representable matroids, using Hirzebruch's inequality, but with a weaker bound of $4$. We show that the average plane-size in a simple, rank-$4$, complex-representable matroid is bounded above by an absolute constant, unless the matroid is the direct-sum of two lines. We also prove that, for any integer $k$, in complex-representable matroids with rank at least $2k-1$, the average size of a rank-$k$ flat is bounded above by a constant depending only on $k$. Finally, we prove that, for any integer $r\ge 2$, the average flat-size in rank-$r$ complex-representable matroids is bounded above by a constant depending only on $r$. We obtain our results using a theorem, due to Ben Lund, that gives a good estimate on the number of rank-$k$ flats in a complex-representable matroid.


title: Coverings by open and closed hemispheres

abstract: In this paper we study the nerves of two types of coverings of a sphere $S^{d-1}$: (1) coverings by open hemispheres; (2) antipodal coverings by closed hemispheres. In the first case, nerve theorem implies that the nerve is homotopy equivalent to $S^{d-1}$. In the second case, we prove that the nerve is homotopy equivalent to a wedge of $(2d-2)$-dimensional spheres. The number of wedge summands equals the M\"{o}bius invariant of the geometric lattice (or hyperplane arrangement) associated with the covering. This result explains some observed large-scale phenomena in topological data analysis. We review the particular case, when the coverings are centered in the root system $A_d$. In this case the nerve of the covering by open hemispheres is the space of directed acyclic graphs (DAGs), and the nerve of the covering by closed hemispheres is the space of non-strongly connected directed graphs. The homotopy types of these spaces were described by Bj\"{o}rner and Welker, and the incarnation of these spaces appeared independently as "the poset of orders" and "the poset of preorders" respectively in the works of Bouc. We study the space of DAGs in terms of Gale and combinatorial Alexander dualities, and propose how this space can be applied in automated machine learning.


title: Prospects for a survey of the Galactic plane with the Cherenkov Telescope Array

abstract: Approximately one hundred sources of very-high-energy (VHE) gamma rays are known in the Milky Way. A survey of the entire Galactic Plane in the energy range from a few tens of GeV to a few hundred TeV has been proposed as a Key Science Project for the upcoming Cherenkov Telescope Array Observatory (CTAO). This article presents the status of the studies towards the Galactic Plane Survey (GPS). We build and make publicly available a sky model that combines data from observations of known gamma-ray emitters with state-of-the-art physically-driven models of synthetic populations of the main classes of established Galactic VHE sources, as well as of interstellar emission from cosmic-ray interactions in the Milky Way. We also perform an optimisation of the observation strategy. We use the improved sky model and observation strategy to simulate GPS data that are analysed using the methods and software tools under development for real data. We show that the GPS has the potential to increase the number of known Galactic VHE emitters by almost a factor of five. This corresponds to the detection of more than two hundred pulsar wind nebulae and a few tens of supernova remnants at average integral fluxes one order of magnitude lower than in the existing sample above 1 TeV, therefore opening the possibility to perform unprecedented population studies. The GPS also has the potential to provide new VHE detections of binary systems and pulsars, and to identify any bright PeVatrons. Furthermore, the GPS will constitute a pathfinder for deeper follow-up observations of these source classes. Finally, we show that we can extract from GPS data an estimate of the contribution to diffuse emission from unresolved sources, and that there are good prospects of detecting interstellar emission and statistically distinguishing different scenarios. (Abridged)


title: All Sizes Matter: Improving Volumetric Brain Segmentation on Small Lesions

abstract: Brain metastases (BMs) are the most frequently occurring brain tumors. The treatment of patients having multiple BMs with stereo tactic radiosurgery necessitates accurate localization of the metastases. Neural networks can assist in this time-consuming and costly task that is typically performed by human experts. Particularly challenging is the detection of small lesions since they are often underrepresented in exist ing approaches. Yet, lesion detection is equally important for all sizes. In this work, we develop an ensemble of neural networks explicitly fo cused on detecting and segmenting small BMs. To accomplish this task, we trained several neural networks focusing on individual aspects of the BM segmentation problem: We use blob loss that specifically addresses the imbalance of lesion instances in terms of size and texture and is, therefore, not biased towards larger lesions. In addition, a model using a subtraction sequence between the T1 and T1 contrast-enhanced sequence focuses on low-contrast lesions. Furthermore, we train additional models only on small lesions. Our experiments demonstrate the utility of the ad ditional blob loss and the subtraction sequence. However, including the specialized small lesion models in the ensemble deteriorates segmentation results. We also find domain-knowledge-inspired postprocessing steps to drastically increase our performance in most experiments. Our approach enables us to submit a competitive challenge entry to the ASNR-MICCAI BraTS Brain Metastasis Challenge 2023.


title: Current-driven magnetic resistance in van der Waals spin-filter antiferromagnetic tunnel junctions with MnBi$_2$Te$_4$

abstract: The field of 2D magnetic materials has paved the way for the development of spintronics and nanodevices with new functionalities. Utilizing antiferromagnetic materials, in addition to layered van der Waals (vdW) ferromagnetic materials, has garnered significant interest. In this work, we present a theoretical investigation of the behavior of MnBi$_2$Te$_4$ devices based on the non-equilibrium Green's function method. Our results show that the current-voltage (I-V) characteristics can be influenced significantly by controlling the length of the device and bias voltage and thus allow us to manipulate the tunneling magneto-resistance (TMR) with an external bias voltage. This can be further influenced by the presence of the boron nitride layer which shows significantly enhanced TMR by selectively suppressing specific spin channels for different magnetic configurations. By exploiting this mechanism, the observed TMR value reaches up to 3690\%, which can be attributed to the spin-polarized transmission channel and the projected local density of states. Our findings on the influence of structural and magnetic configurations on the spin-polarized transport properties and TMR ratios give the potential implementation of antiferromagnetic vdW layered materials in ultrathin spintronics.


title: Signature of topology via heat transfer analysis in the Su-Schrieffer-Heeger (SSH) model

abstract: In this work, we explore the potential of thermodynamics as a tool for identifying the topological phase transition. Specifically, we focus on a one-dimensional Su-Schrieffer-Heeger (SSH) chain sandwiched between two fermionic baths. To investigate distinctive thermodynamic signatures associated with the topological phase, we employ heat flow analysis. Our results, derived using a global master equation, unveil a significant suppression of heat flow as we transition from the trivial to the topological phase. This decline in heat flow can be attributed to the reduction in transmission coefficients of non-zero energy modes within the topological phase. It may serve as an indicator of a phase transition. Furthermore, we investigate the heat flow asymmetry to search for phase transition indicators. Interestingly, no asymmetry is observed when employing fermionic baths. However, upon substituting fermionic baths with bosonic ones, we report a non-zero heat flow asymmetry. For the SSH model with a few fermionic sites, this asymmetry is more pronounced in the topological phase compared to the trivial phase. Therefore, the observed behavior of the heat diode provides an additional means of distinguishing between the topological and trivial phases. Finally, we delve into the contributions from both bulk and edge effects in heat flow and rectification to explore the impact of small system sizes on our findings.


title: Out-of-Distribution Detection by Leveraging Between-Layer Transformation Smoothness

abstract: Effective out-of-distribution (OOD) detection is crucial for reliable machine learning models, yet most current methods are limited in practical use due to requirements like access to training data or intervention in training. We present a novel method for detecting OOD data in Transformers based on transformation smoothness between intermediate layers of a network (BLOOD), which is applicable to pre-trained models without access to training data. BLOOD utilizes the tendency of between-layer representation transformations of in-distribution (ID) data to be smoother than the corresponding transformations of OOD data, a property that we also demonstrate empirically. We evaluate BLOOD on several text classification tasks with Transformer networks and demonstrate that it outperforms methods with comparable resource requirements. Our analysis also suggests that when learning simpler tasks, OOD data transformations maintain their original sharpness, whereas sharpness increases with more complex tasks.


title: Reflecting Perfection for Finite Dimensional Differential Graded Algebras

abstract: We generalise two facts about finite dimensional algebras to finite dimensional differential graded algebras. The first is the Nakayama Lemma and the second is that the simples can detect finite projective dimension. We prove two dual versions which relate to Gorenstein differential graded algebras and Koszul duality respectively. As an application, we prove a corepresentability result for finite dimensional differential graded algebras.


title: Post-Newtonian orbital effects induced by the mass quadrupole and spin octupole moments of an axisymmetric body

abstract: The post-Newtonian orbital effects induced by the mass quadrupole and spin octupole moments of an isolated, oblate spheroid of constant density that is rigidly and uniformly rotating on the motion of a test particle are analytically worked out for an arbitrary orbital configuration and without any preferred orientation of the body's spin axis. The resulting expressions are specialized to the cases of (a) equatorial and (b) polar orbits. The opportunity offered by a hypothetical new spacecraft moving around Jupiter along a Juno-like highly elliptical, polar orbit to measure them is preliminarily studied. Although more difficult to be practically implemented, also the case of a less elliptical orbit is considered since it yields much larger figures for the relativistic effects of interest. The possibility of using the S stars orbiting the supermassive black hole in Sgr A$^\ast$ at the Galactic Center as probes to potentially constrain some parameters of the predicted extended mass distribution surrounding the hole by means of the aforementioned orbital effects is briefly examined.


title: Delving into CLIP latent space for Video Anomaly Recognition

abstract: We tackle the complex problem of detecting and recognising anomalies in surveillance videos at the frame level, utilising only video-level supervision. We introduce the novel method AnomalyCLIP, the first to combine Large Language and Vision (LLV) models, such as CLIP, with multiple instance learning for joint video anomaly detection and classification. Our approach specifically involves manipulating the latent CLIP feature space to identify the normal event subspace, which in turn allows us to effectively learn text-driven directions for abnormal events. When anomalous frames are projected onto these directions, they exhibit a large feature magnitude if they belong to a particular class. We also introduce a computationally efficient Transformer architecture to model short- and long-term temporal dependencies between frames, ultimately producing the final anomaly score and class prediction probabilities. We compare AnomalyCLIP against state-of-the-art methods considering three major anomaly detection benchmarks, i.e. ShanghaiTech, UCF-Crime, and XD-Violence, and empirically show that it outperforms baselines in recognising video anomalies.


title: Realistic Neutral Atom Image Simulation

abstract: Neutral atom quantum computers require accurate single atom detection for the preparation and readout of their qubits. This is usually done using fluorescence imaging. The occupancy of an atom site in these images is often somewhat ambiguous due to the stochastic nature of the imaging process. Further, the lack of ground truth makes it difficult to rate the accuracy of reconstruction algorithms. We introduce a bottom-up simulator that is capable of generating sample images of neutral atom experiments from a description of the actual state in the simulated system. Possible use cases include the creation of exemplary images for demonstration purposes, fast training iterations for deconvolution algorithms, and generation of labeled data for machine-learning-based atom detection approaches. The implementation is available through our GitHub as a C library or wrapped Python package. We show the modeled effects and implementation of the simulations at different stages of the imaging process. Not all real-world phenomena can be reproduced perfectly. The main discrepancies are that the simulator allows for only one characterization of optical aberrations across the whole image, supports only discrete atom locations, and does not model all effects of CMOS cameras perfectly. Nevertheless, our experiments show that the generated images closely match real-world pictures to the point that they are practically indistinguishable and can be used as labeled data for training the next generation of detection algorithms.


title: On extra dimensions and the cosmological constant problem

abstract: We consider a massive scalar field with a coordinate-dependent mass in higher-dimensional spacetime. The field satisfies Dirichlet boundary conditions on a brane representing the four-dimensional world. Despite being massive, the theory is scale-invariant. We quantize the theory calculating the zero-point energy. We find the lower bound for the uncertainty product in the uncertainty principle. We show that the zero-point energy density could be small if large extra dimensions exist. Identifying the zero-point energy as a source of dark energy, we extract the four-dimensional cosmological constant from higher-dimensional theory, considering quantum fluctuations close to the brane surface. We examine numerically ten- and eleven-dimensional spaces. The resulting zero-point energy is parameterized by the number of extra dimensions and the additional dimensionless {\it saturation parameter}, expressing the deviation from perfect saturation of the uncertainty principle. Letting the parameter to be small and of order of the fine-structure constant, we reproduce the experimental value of the cosmological constant in four dimensions.


title: The post-Newtonian motion around an oblate spheroid: the mixed orbital effects due to the Newtonian oblateness and the post-Newtonian mass monopole accelerations

abstract: When a test particle moves about an oblate spheroid, it is acted upon, among other things, by two standard perturbing accelerations. One, of Newtonian origin, is due to the quadrupole mass moment $J_2$ of the orbited body. The other one, of the order of $\mathcal{O}\left(1/c^2\right)$, is caused by the static, post-Newtonian field arising solely from the mass of the central object. Both of them concur to induce \textrm{indirect}, \textrm{mixed} orbital effects of the order of $\mathcal{O}\left(J_2/c^2\right)$. They are of the same order of magnitude of the \textrm{direct} ones induced by the post-Newtonian acceleration arising in presence of an oblate source, not treated here. We calculate these less known features of motion in their full generality in terms of the osculating Keplerian orbital elements. Subtleties pertaining the correct calculation of their mixed net \textrm{precessions} per orbit to the full order of $\mathcal{O}\left(J_2/c^2\right)$ are elucidated. The obtained results hold for arbitrary orbital geometries and for any orientation of the body's spin axis $\mathbf{\hat{k}}$ in space. The method presented is completely general, and can be extended to any pair of post-Keplerian accelerations entering the equations of motion of the satellite, irrespectively of their physical nature.


title: On a Traveling Salesman Problem for Points in the Unit Cube

abstract: Let $X$ be an $n$-element point set in the $k$-dimensional unit cube $[0,1]^k$ where $k \geq 2$. According to an old result of Bollob\'as and Meir (1992), there exists a cycle (tour) $x_1, x_2, \ldots, x_n$ through the $n$ points, such that $\left(\sum_{i=1}^n |x_i - x_{i+1}|^k \right)^{1/k} \leq c_k$, where $|x-y|$ is the Euclidean distance between $x$ and $y$, and $c_k$ is an absolute constant that depends only on $k$, where $x_{n+1} \equiv x_1$. From the other direction, for every $k \geq 2$ and $n \geq 2$, there exist $n$ points in $[0,1]^k$, such that their shortest tour satisfies $\left(\sum_{i=1}^n |x_i - x_{i+1}|^k \right)^{1/k} = 2^{1/k} \cdot \sqrt{k}$. For the plane, the best constant is $c_2=2$ and this is the only exact value known. Bollob{\'a}s and Meir showed that one can take $c_k = 9 \left(\frac23 \right)^{1/k} \cdot \sqrt{k}$ for every $k \geq 3$ and conjectured that the best constant is $c_k = 2^{1/k} \cdot \sqrt{k}$, for every $k \geq 2$. Here we significantly improve the upper bound and show that one can take $c_k = 3 \sqrt5 \left(\frac23 \right)^{1/k} \cdot \sqrt{k}$ or $c_k = 2.91 \sqrt{k} \ (1+o_k(1))$. Our bounds are constructive. We also show that $c_3 \geq 2^{7/6}$, which disproves the conjecture for $k=3$. Connections to matching problems, power assignment problems, related problems, including algorithms, are discussed in this context. A slightly revised version of the Bollob\'as--Meir conjecture is proposed.


title: Mosaic benchmark networks: Modular link streams for testing dynamic community detection algorithms

abstract: Community structure is a critical feature of real networks, providing insights into nodes' internal organization. Nowadays, with the availability of highly detailed temporal networks such as link streams, studying community structures becomes more complex due to increased data precision and time sensitivity. Despite numerous algorithms developed in the past decade for dynamic community discovery, assessing their performance on link streams remains a challenge. Synthetic benchmark graphs are a well-accepted approach for evaluating static community detection algorithms. Additionally, there have been some proposals for slowly evolving communities in low-resolution temporal networks like snapshots. Nevertheless, this approach is not yet suitable for link streams. To bridge this gap, we introduce a novel framework that generates synthetic modular link streams with predefined communities. Subsequently, we evaluate established dynamic community detection methods to uncover limitations that may not be evident in snapshots with slowly evolving communities. While no method emerges as a clear winner, we observe notable differences among them.


title: Droplet tilings in precessive fields: hysteresis, elastic defects, and annealing

abstract: Two-component Marangoni contracted droplets can be arranged into arbitrary two-dimensional tiling patterns where they display rich dynamics due to vapor mediated long-range interactions. Recent work has characterized the centered hexagonal honeycomb lattice, showing it to be a highly frustrated system with many metastable states and relaxation occurring over multiple timescales [Molina et al., PNAS, 2021, 18, 34]. Here, we study this system under the influence of a rotating gravitational field. High amplitudes are able to completely disrupt droplet-droplet interactions, making it possible to identify a transition between field-dominated to interaction-dominated regimes. The system displays complex hysteresis behavior, the details of which are connected to the emergence of linear mesoscale structures. These mesoscale features display an elasticity that is governed by the balance between gravity and long-ranged vapor-mediated attractions. We find that disorder plays an important role in determining the dynamics of these features. Finally, we demonstrate the ability to anneal the system by progressively reducing the field amplitude, a process that reduces configurational energy compared to a rapid quench. The ability to manipulate vapor-mediated interactions in deliberately designed droplet tilings provides a novel platform for table-top explorations of multi-body interactions.


title: Sweeping Heterogeneity with Smart MoPs: Mixture of Prompts for LLM Task Adaptation

abstract: Large Language Models (LLMs) have the ability to solve a variety of tasks, such as text summarization and mathematical questions, just out of the box, but they are often trained with a single task in mind. Due to high computational costs, the current trend is to use prompt instruction tuning to better adjust monolithic, pretrained LLMs for new -- but often individual -- downstream tasks. Thus, how one would expand prompt tuning to handle -- concomitantly -- heterogeneous tasks and data distributions is a widely open question. To address this gap, we suggest the use of \emph{Mixture of Prompts}, or MoPs, associated with smart gating functionality: the latter -- whose design is one of the contributions of this paper -- can identify relevant skills embedded in different groups of prompts and dynamically assign combined experts (i.e., collection of prompts), based on the target task. Additionally, MoPs are empirically agnostic to any model compression technique applied -- for efficiency reasons -- as well as instruction data source and task composition. In practice, MoPs can simultaneously mitigate prompt training "interference" in multi-task, multi-source scenarios (e.g., task and data heterogeneity across sources), as well as possible implications from model approximations. As a highlight, MoPs manage to decrease final perplexity from $\sim20\%$ up to $\sim70\%$, as compared to baselines, in the federated scenario, and from $\sim 3\%$ up to $\sim30\%$ in the centralized scenario.


title: Incorporating Target Vehicle Trajectories Predicted by Deep Learning Into Model Predictive Controlled Vehicles

abstract: Model Predictive Control (MPC) has been widely applied to the motion planning of autonomous vehicles. An MPC-controlled vehicle is required to predict its own trajectories in a finite prediction horizon according to its model. Beyond this, the vehicle should also incorporate the prediction of the trajectory of its nearby vehicles, or target vehicles (TVs) into its decision-making. The conventional trajectory prediction methods, such as the constant-speed-based ones, are too trivial to accurately capture the potential collision risks. In this report, we propose a novel MPC-based motion planning method for an autonomous vehicle with a set of risk-aware constraints. These constraints incorporate the predicted trajectory of a TV learned using a deep-learning-based method. A recurrent neural network (RNN) is used to predict the TV's future trajectory based on its historical data. Then, the predicted TV trajectory is incorporated into the optimization of the MPC of the ego vehicle to generate collision-free motion. Simulation studies are conducted to showcase the prediction accuracy of the RNN model and the collision-free trajectories generated by the MPC.


title: The heart fan of an abelian category

abstract: We apply convex geometry (cones, fans) to homological input (abelian categories,hearts of bounded t-structures) to construct a new invariant of an abelian category, its heart fan. When the abelian category is the module category of a finite-dimensional algebra, the heart fan is complete and contains the g-fan as the subfan of full-dimensional simplicial cones. The heart fan is also closely related to the wall-and-chamber structure for King semistability, and to the Hall algebra scattering diagram.


title: Note on a Translation from First-Order Logic into the Calculus of Relations Preserving Validity and Finite Validity

abstract: In this note, we give a linear-size translation from formulas of first-order logic into equations of the calculus of relations preserving validity and finite validity. Our translation also gives a linear-size conservative reduction from formulas of first-order logic into formulas of the three-variable fragment of first-order logic.


title: Three-Sensor 2{\omega} Method with Multi-directional Layout: A General Methodology for Measuring Thermal Conductivity of Solid Materials

abstract: Anisotropic thermal transport plays a key role in both theoretical study and engineering practice of heat transfer, but accurately measuring anisotropic thermal conductivity remains a significant challenge. To address this issue, we propose the three-sensor 2{\omega} method in this study, which is capable of accurately measuring the isotropic or anisotropic thermal conductivity of solid materials. In this method, several three-sensor groups following the design guidelines are fabricated upon the sample along different characteristic directions, and each group consists of three parallel metal sensors with unequal widths and distances optimally designed based on sensitivity analysis. Among the three sensors, the outer two serve as AC heaters and the middle one as a DC detector. The 2{\omega} voltage signals across the detector in each three-sensor group are measured, and then the data are processed by the proposed Intersection Method to derive the thermal conductivities along directions of interest. The application of the detector's 2{\omega} instead of the heater's 3{\omega} voltage signals eliminates the errors introduced by the uncertainties of thermal resistance in superficial structures (metal layer, insulation layer, interface, etc.). Meanwhile, by replacing the fitting algorithm with the Intersection Method, the local optimum trap of multivariate fitting is avoided. To verify the accuracy and reliability, four typical monocrystalline semiconductors, i.e., Si, GaN, AlN, and {\beta -Ga _2 O _3}, are measured, and the results are consistent with the literature. This method will provide a comprehensive and versatile solution for the thermal conductivity measurements of solid materials.