title: Multi-Objective Model-Predictive Control for Dielectric Elastomer Wave Harvesters

abstract: This contribution deals with multi-objective model-predictive control (MPC) of a wave energy converter (WEC) device concept, which can harvest energy from sea waves using a dielectric elastomer generator (DEG) power take-off system. We aim to maximise the extracted energy through control while minimising the accumulated damage to the DEG. With reference to system operation in stochastic waves, we first generate ground truth solutions by solving an optimal control problem, and we analyse the MPC performance to determine a prediction horizon that trades off accuracy and efficiency for computation. Fixed weights in the MPC scheme can produce unpredictable costs for variable sea condition, meaning the average rate of cost accumulation can vary vastly. To steer this cost growth, we propose a heuristic to adapt the algorithm by changing the weighting of the cost functions using for fulfilling the long-time goal of accumulating a small enough damage in a fixed time. A simulated case-study is presented in order to evaluate the performance of the proposed MPC framework and the weight-adaptation algorithm. The proposed heuristic proves to be able to limit the amount of accumulated damage while remaining close to (or even improving) the energy yield obtained with a comparable fixed-weight MPC.


title: Global well-posedness and convergence to equilibrium for the Abels-Garcke-Gr\"{u}n model with nonlocal free energy

abstract: We investigate the nonlocal version of the Abels-Garcke-Gr\"{u}n (AGG) system, which describes the motion of a mixture of two viscous incompressible fluids. This consists of the incompressible Navier-Stokes-Cahn-Hilliard system characterized by concentration-dependent density and viscosity, and an additional flux term due to interface diffusion. In particular, the Cahn-Hilliard dynamics of the concentration (phase-field) is governed by the aggregation/diffusion competition of the nonlocal Helmholtz free energy with singular (logarithmic) potential and constant mobility. We first prove the existence of global strong solutions in general two-dimensional bounded domains and their uniqueness when the initial datum is strictly separated from the pure phases. The key points are a novel well-posedness result of strong solutions to the nonlocal convective Cahn-Hilliard equation with singular potential and constant mobility under minimal integral assumption on the incompressible velocity field, and a new two-dimensional interpolation estimate for the $L^4(\Omega)$ control of the pressure in the stationary Stokes problem. Secondly, we show that any weak solution, whose existence was already known, is globally defined, enjoys the propagation of regularity and converges towards an equilibrium (i.e., a stationary solution) as $t\rightarrow \infty$. Furthermore, we demonstrate the uniqueness of strong solutions and their continuous dependence with respect to general (not necessarily separated) initial data in the case of matched densities and unmatched viscosities (i.e., the nonlocal model H with variable viscosity, singular potential and constant mobility). Finally, we provide a stability estimate between the strong solutions to the nonlocal AGG model and the nonlocal Model H in terms of the difference of densities.


title: Truthful Meta-Explanations for Local Interpretability of Machine Learning Models

abstract: Automated Machine Learning-based systems' integration into a wide range of tasks has expanded as a result of their performance and speed. Although there are numerous advantages to employing ML-based systems, if they are not interpretable, they should not be used in critical, high-risk applications where human lives are at risk. To address this issue, researchers and businesses have been focusing on finding ways to improve the interpretability of complex ML systems, and several such methods have been developed. Indeed, there are so many developed techniques that it is difficult for practitioners to choose the best among them for their applications, even when using evaluation metrics. As a result, the demand for a selection tool, a meta-explanation technique based on a high-quality evaluation metric, is apparent. In this paper, we present a local meta-explanation technique which builds on top of the truthfulness metric, which is a faithfulness-based metric. We demonstrate the effectiveness of both the technique and the metric by concretely defining all the concepts and through experimentation.


title: The CARMENES search for exoplanets around M dwarfs. Variability on long timescales as seen in chromospheric indicators

abstract: It is clearly established that the Sun has an 11-year cycle that is caused by its internal magnetic field. This cycle is also observed in a sample of M dwarfs. In the framework of exoplanet detection or atmospheric characterisation of exoplanets, the activity status of the host star plays a crucial role, and inactive states are preferable for such studies. This means that it is important to know the activity cycles of these stars. We study systematic long-term variability in a sample of 211 M dwarfs observed with CARMENES, the high-resolution optical and near-infrared spectrograph at Calar Alto Observatory. In an automatic search using time series of different activity indicators, we identified 26 stars with linear or quadratic trends or with potentially cyclic behaviour. Additionally, we performed an independent search in archival R$^{\prime}_{\rm HK}$ data collected from different instruments whose time baselines were usually much longer. These data are available for a subset of 186 of our sample stars. Our search revealed 22 cycle candidates in the data. We found that the percentage of stars showing long-term variations drops dramatically to the latest M dwarfs. Moreover, we found that the pseudo-equivalent width (pEW) of the H$\alpha$ and Ca ii infrared triplet more often triggers automatic detections of long-term variations than the TiO index, differential line width, chromatic index, or radial velocity. This is in line with our comparison of the median relative amplitudes of the different indicators. For stars that trigger our automatic detection, this leads to the highest amplitude variation in R$^{\prime}_{\rm HK}$, followed by pEW(H$\alpha$), pEW(Ca ii IRT), and the TiO index.


title: FPGA Implementation of Multi-Layer Machine Learning Equalizer with On-Chip Training

abstract: We design and implement an adaptive machine learning equalizer that alternates multiple linear and nonlinear computational layers on an FPGA. On-chip training via gradient backpropagation is shown to allow for real-time adaptation to time-varying channel impairments.


title: Site Assessment and Layout Optimization for Rooftop Solar Energy Generation in Worldview-3 Imagery

abstract: With the growth of residential rooftop PV adoption in recent decades, the problem of effective layout design has become increasingly important in recent years. Although a number of automated methods have been introduced, these tend to rely on simplifying assumptions and heuristics to improve computational tractability. We demonstrate a fully automated layout design pipeline that attempts to solve a more general formulation with greater geometric flexibility that accounts for shading losses. Our approach generates rooftop areas from satellite imagery and uses MINLP optimization to select panel positions, azimuth angles and tilt angles on an individual basis rather than imposing any predefined layouts. Our results demonstrate that shading plays a critical role in automated rooftop PV optimization and significantly changes the resulting layouts. Additionally, they suggest that, although several common heuristics are often effective, they may not be universally suitable due to complications resulting from geometric restrictions and shading losses. Finally, we evaluate a few specific heuristics from the literature and propose a potential new rule of thumb that may help improve rooftop solar energy potential when shading effects are considered.


title: AsyInst: Asymmetric Affinity with DepthGrad and Color for Box-Supervised Instance Segmentation

abstract: The weakly supervised instance segmentation is a challenging task. The existing methods typically use bounding boxes as supervision and optimize the network with a regularization loss term such as pairwise color affinity loss for instance segmentation. Through systematic analysis, we found that the commonly used pairwise affinity loss has two limitations: (1) it works with color affinity but leads to inferior performance with other modalities such as depth gradient, (2)the original affinity loss does not prevent trivial predictions as intended but actually accelerates this process due to the affinity loss term being symmetric. To overcome these two limitations, in this paper, we propose a novel asymmetric affinity loss which provides the penalty against the trivial prediction and generalizes well with affinity loss from different modalities. With the proposed asymmetric affinity loss, our method outperforms the state-of-the-art methods on the Cityscapes dataset and outperforms our baseline method by 3.5% in mask AP.


title: Early universe dynamics of PQ field with very small self-coupling and its implications for axion dark matter

abstract: Axion-like particles (ALPs) are often considered as good candidates for dark matter. Several mechanisms generating relic abundance of ALP dark matter have been proposed. They may involve processes which take place before, during or after cosmic inflation. In all cases an important role is played by the potential of the corresponding Peccei-Quinn (PQ) field. Quite often this potential is assumed to be dominated by a quartic term with a very small coupling. We show that in such situation it is crucial to take into account different kinds of corrections especially in models in which the PQ field evolves during and after inflation. We investigate how such evolution changes due to radiative, thermal and geometric corrections. In many cases those changes are very important and result in strong modifications of the predictions of a model. They may strongly influence the amount of ALP contributions to cold and warm components of dark matter as well as the power spectrum of associated isocurvature perturbations. Models with a quasi-supersymmetric spectrum of particles to which the PQ field couples seem to be especially interesting. Qualitative features of such models are discussed with the help of approximate analytical formulae. However, the dynamics of the PQ field with the considered corrections taken into account is more complicated than in the case without corrections so dedicated numerical calculations are necessary to obtain precise predictions. We present such results for some characteristic benchmark points in the parameter space.


title: MOB-FL: Mobility-Aware Federated Learning for Intelligent Connected Vehicles

abstract: Federated learning (FL) is a promising approach to enable the future Internet of vehicles consisting of intelligent connected vehicles (ICVs) with powerful sensing, computing and communication capabilities. We consider a base station (BS) coordinating nearby ICVs to train a neural network in a collaborative yet distributed manner, in order to limit data traffic and privacy leakage. However, due to the mobility of vehicles, the connections between the BS and ICVs are short-lived, which affects the resource utilization of ICVs, and thus, the convergence speed of the training process. In this paper, we propose an accelerated FL-ICV framework, by optimizing the duration of each training round and the number of local iterations, for better convergence performance of FL. We propose a mobility-aware optimization algorithm called MOB-FL, which aims at maximizing the resource utilization of ICVs under short-lived wireless connections, so as to increase the convergence speed. Simulation results based on the beam selection and the trajectory prediction tasks verify the effectiveness of the proposed solution.


title: COVID-bit: Keep a Distance of (at least) 2m From My Air-Gap Computer!

abstract: Air-gapped systems are isolated from the Internet due to the sensitive information they handle. This paper presents COVID-bit, a new COVert channel attack that leaks sensitive information over the air from highly isolated systems. The information emanates from the air-gapped computer over the air to a distance of 2m and more and can be picked up by a nearby insider or spy with a mobile phone or laptop. Malware on an air-gapped computer can generate radio waves by executing crafted code on the target system. The malicious code exploits the dynamic power consumption of modern computers and manipulates the momentary loads on CPU cores. This technique allows the malware to control the computer's internal utilization and generate low-frequency electromagnetic radiation in the 0 - 60 kHz band. Sensitive information (e.g., files, encryption keys, biometric data, and keylogging) can be modulated over the emanated signals and received by a nearby mobile phone at a max speed of 1000 bits/sec. We show that a smartphone or laptop with a small \$1 antenna carried by a malicious insider or visitor can be used as a covert receiver. Notably, the attack is highly evasive since it executes from an ordinary user-level process, does not require root privileges, and is effective even within a Virtual Machine (VM). We discuss the attack model and provide technical details. We implement air-gap transmission of texts and files, and present signal generation and data modulation. We test the covert channel and show evaluation results. Finally, we present a set of countermeasures to this air-gap attack.


title: Recognizing when a preference system is close to admitting a master list

abstract: A preference system $\mathcal{I}$ is an undirected graph where vertices have preferences over their neighbors, and $\mathcal{I}$ admits a master list if all preferences can be derived from a single ordering over all vertices. We study the problem of deciding whether a given preference system $\mathcal{I}$ is close to admitting a master list based on three different distance measures. We determine the computational complexity of the following questions: can $\mathcal{I}$ be modified by (i) $k$ swaps in the preferences, (ii) $k$ edge deletions, or (iii) $k$ vertex deletions so that the resulting instance admits a master list? We investigate these problems in detail from the viewpoint of parameterized complexity and of approximation. We also present two applications related to stable and popular matchings.


title: Lie algebras with Frobenius dihedral groups of automorphisms

abstract: Suppose that a Lie algebra $L$ admits a finite Frobenius group of automorphisms $FH$ with cyclic kernel $F$ and complement $H$ of order 2, such that the fixed-point subalgebra of $F$ is trivial and the fixed-point subalgebra of $H$ is metabelian. Then the derived length of $L$ is bounded by a constant.


title: Criteria for Classifying Forecasting Methods

abstract: Classifying forecasting methods as being either of a "machine learning" or "statistical" nature has become commonplace in parts of the forecasting literature and community, as exemplified by the M4 competition and the conclusion drawn by the organizers. We argue that this distinction does not stem from fundamental differences in the methods assigned to either class. Instead, this distinction is probably of a tribal nature, which limits the insights into the appropriateness and effectiveness of different forecasting methods. We provide alternative characteristics of forecasting methods which, in our view, allow to draw meaningful conclusions. Further, we discuss areas of forecasting which could benefit most from cross-pollination between the ML and the statistics communities.


title: Variation of Vorticity Gradient and Formation of Sunspots

abstract: Based on the rotating turbulent thermal convection model and using the rotating equivalent temperature assumption and new convection criterion, this paper analyzed the repression of the vorticity gradient on the heat transport and explained that the formation of sunspots originated from the variation of the vorticity gradient in the solar troposphere.


title: Superimposed Pilot-based Channel Estimation for RIS-Assisted IoT Systems Using Lightweight Networks

abstract: Conventional channel estimation (CE) for Internet of Things (IoT) systems encounters challenges such as low spectral efficiency, high energy consumption, and blocked propagation paths. Although superimposed pilot-based CE schemes and the reconfigurable intelligent surface (RIS) could partially tackle these challenges, limited researches have been done for a systematic solution. In this paper, a superimposed pilot-based CE with the reconfigurable intelligent surface (RIS)-assisted mode is proposed and further enhanced the performance by networks. Specifically, at the user equipment (UE), the pilot for CE is superimposed on the uplink user data to improve the spectral efficiency and energy consumption for IoT systems, and two lightweight networks at the base station (BS) alleviate the computational complexity and processing delay for the CE and symbol detection (SD). These dedicated networks are developed in a cooperation manner. That is, the conventional methods are employed to perform initial feature extraction, and the developed neural networks (NNs) are oriented to learn along with the extracted features. With the assistance of the extracted initial feature, the number of training data for network training is reduced. Simulation results show that, the computational complexity and processing delay are decreased without sacrificing the accuracy of CE and SD, and the normalized mean square error (NMSE) and bit error rate (BER) performance at the BS are improved against the parameter variance.


title: Riemannian Smoothing Gradient Type Algorithms]{Riemannian Smoothing Gradient Type Algorithms for Nonsmooth Optimization Problem on Compact Riemannian Submanifold Embedded in Euclidean Space

abstract: In this paper, we introduce the notion of generalized $\epsilon$-stationarity for a class of nonconvex and nonsmooth composite minimization problems on compact Riemannian submanifold embedded in Euclidean space. To find a generalized $\epsilon$-stationarity point, we develop a family of Riemannian gradient-type methods based on the Moreau envelope technique with a decreasing sequence of smoothing parameters, namely Riemannian smoothing gradient and Riemannian smoothing stochastic gradient methods. We prove that the Riemannian smoothing gradient method has the iteration complexity of $\mathcal{O}(\epsilon^{-3})$ for driving a generalized $\epsilon$-stationary point. To our knowledge, this is the best-known iteration complexity result for the nonconvex and nonsmooth composite problem on manifolds. For the Riemannian smoothing stochastic gradient method, one can achieve the iteration complexity of $\mathcal{O}(\epsilon^{-5})$ for driving a generalized $\epsilon$-stationary point. Numerical experiments are conducted to validate the superiority of our algorithms.


title: Orientation dependent pinning of (sub)grains by dispersoids during recovery and recrystallization in an Al-Mn alloy

abstract: The recrystallized grain size and texture in alloys can be controlled via the microchemistry state during thermomechanical processing. The influence of concurrent precipitation on recovery and recrystallization is here analyzed by directly correlating (sub)grains of P, CubeND or Cube orientation with second-phase particles in a cold-rolled and non-isothermally annealed Al-Mn alloy. The recrystallized state is dominated by coarse elongated grains with a strong P, weaker CubeND and even weaker Cube texture. The correlated data enables orientation dependent quantification of the density and size of dispersoids on sub-boundaries and subgrains in the deformation zones around large constituent particles. A new modified expression for the Smith-Zener drag from dispersoids on sub-boundaries is derived and used. The results show that the drag on (sub)grain boundaries from dispersoids is orientation dependent, with Cube subgrains experiencing the highest drag after recovery and partial recrystallization. The often observed size advantage of Cube subgrains in Al alloys is not realized due to the increased drag, thereby promoting particle-stimulated nucleation (PSN). Relatively fewer and larger dispersoids in deformation zones around large particles give a reduced Smith-Zener drag on PSN nuclei, thus further strengthening the effect of PSN. Observations substantiating the stronger P texture compared to the CubeND texture are a higher frequency of P subgrains and a faster growth of these subgrains. The applied methodology enables a better understanding of the mechanisms behind the orientation dependent nucleation and growth behavior during recovery and recrystallization with strong concurrent precipitation in Al-Mn alloys. In particular, the methodology gives new insights into the strong P and CubeND textures compared to the Cube texture.


title: Supersymmetrization of the 3-particle elliptic Calogero model

abstract: $\mathcal{N}{=}\,2$ and $\mathcal{N}{=}\,4$ supersymmetric generalizations of the 3-particle elliptic Calogero system are proposed. Supersymmetry generators of the system are found in which the center of mass sector is described by the supermultiplet ${\bf (1,\mathcal{N},\mathcal{N}-1)}$, while the sector of relative coordinates is the supermultiplet ${\bf (2,\mathcal{N},\mathcal{N}- 2)}$. The $\mathcal{N}{=}\,2$ model described with three supermultiplets ${\bf (1,2,1)}$ is also presented.


title: Towards Fleet-wide Sharing of Wind Turbine Condition Information through Privacy-preserving Federated Learning

abstract: Terabytes of data are collected by wind turbine manufacturers from their fleets every day. And yet, a lack of data access and sharing impedes exploiting the full potential of the data. We present a distributed machine learning approach that preserves the data privacy by leaving the data on the wind turbines while still enabling fleet-wide learning on those local data. We show that through federated fleet-wide learning, turbines with little or no representative training data can benefit from more accurate normal behavior models. Customizing the global federated model to individual turbines yields the highest fault detection accuracy in cases where the monitored target variable is distributed heterogeneously across the fleet. We demonstrate this for bearing temperatures, a target variable whose normal behavior can vary widely depending on the turbine. We show that no turbine experiences a loss in model performance from participating in the federated learning process, resulting in superior performance of the federated learning strategy in our case studies. The distributed learning increases the normal behavior model training times by about a factor of ten due to increased communication overhead and slower model convergence.


title: Curiosity creates Diversity in Policy Search

abstract: When searching for policies, reward-sparse environments often lack sufficient information about which behaviors to improve upon or avoid. In such environments, the policy search process is bound to blindly search for reward-yielding transitions and no early reward can bias this search in one direction or another. A way to overcome this is to use intrinsic motivation in order to explore new transitions until a reward is found. In this work, we use a recently proposed definition of intrinsic motivation, Curiosity, in an evolutionary policy search method. We propose Curiosity-ES, an evolutionary strategy adapted to use Curiosity as a fitness metric. We compare Curiosity with Novelty, a commonly used diversity metric, and find that Curiosity can generate higher diversity over full episodes without the need for an explicit diversity criterion and lead to multiple policies which find reward.


title: An explicit coercivity estimate of the linearized quantum Boltzmann operator without angular cutoff

abstract: The quantum Boltzmann-Bose equation describes a large system of Bose-Einstein particles in the weak-coupling regime. If the particle interaction is governed by the inverse power law, the corresponding collision kernel has angular singularity. In this paper, we give a constructive proof of the coercivity estimate for the linearized quantum Boltzmann-Bose operator to capture the effects of the singularity and the fugacity. Precisely, the estimate explicitly reveals the dependence on the fugacity parameter before the Bose-Einstein condensation. With the coercivity estimate, the global in time well-posedness of the inhomogeneous quantum Boltzmann-Bose equation in the perturbative framework and stability of the Bose-Einstein equilibrium can be established.


title: On universal conformal envelopes for quadratic conformal algebras

abstract: We prove that every quadratic Lie conformal algebra constructed on a special Gelfand-Dorfman algebra embeds into the universal enveloping associative conformal algebra with a locality function bound N = 3.


title: Text Embeddings by Weakly-Supervised Contrastive Pre-training

abstract: This paper presents E5, a family of state-of-the-art text embeddings that transfer well to a wide range of tasks. The model is trained in a contrastive manner with weak supervision signals from our curated large-scale text pair dataset (called CCPairs). E5 can be readily used as a general-purpose embedding model for any tasks requiring a single-vector representation of texts such as retrieval, clustering, and classification, achieving strong performance in both zero-shot and fine-tuned settings. We conduct extensive evaluations on 56 datasets from the BEIR and MTEB benchmarks. For zero-shot settings, E5 is the first model that outperforms the strong BM25 baseline on the BEIR retrieval benchmark without using any labeled data. When fine-tuned, E5 obtains the best results on the MTEB benchmark, beating existing embedding models with 40x more parameters.


title: Superfluid transition in quasi-two-dimensional disordered dipolar Fermi gases

abstract: We investigate the effect of weak disorder on the superfluid properties of two-component quasi-two-dimensional dipolar Fermi gases. The dipole-dipole interaction amplitude is momentum dependent, which violates the Anderson theorem claiming that the weak disorder has practically no influence on the superfluid transition temperature in the weakly interacting regime. We find that for dipolar fermions the transition temperature in this regime can be strongly increased by the disorder like in the purely two-dimensional case. However, the effect becomes smaller with increasing the intercomponent fermion-fermion interaction, and in the strongly interacting regime the superfluid transition temperature in the weak disorder becomes very close to that in the absence of disorder.


title: Concentration behavior of liquidus temperatures and undercooling of Al-Cu-Co at normal pressure

abstract: Differential thermal analysis has been conducted for the Al-Cu-Co alloys with the composition range of 15 at.% Co and 10 to 30 at.% Cu, and 25 at.% Co and 2.5 to 20 at.% Co. The features of the formation of solid phases have been studied during the crystallization in a crucible in the conditions of slow cooling (rate of cooling to 1 K s-1) at normal pressure. On the state diagram of the Al-Cu-Co system with 15 at.% Co and 25 at.% Cu the concentration sections have been built, which allows to determine the concentration ranges from which different phases are formed during the first stage of crystallization. Along the boundaries of different phase regions, extrema are observed on the liquidus line. The observed extrema on the liquidus lines and concentration dependences of undercooling are associated with change in the chemical short-range order at the considered concentrations both in the liquid and solid states.


title: Extended Sibuya distribution in the Subcritical Markov Branching processes

abstract: The subcritical Markov branching process X(t) starting with one particle as the initial condition has the ultimate extinction probability q = 1. The branching mechanism in consideration is defined by the mixture of logarithmic distributions on the nonnegative integers. The purpose of the present paper is to prove that in this case the random number of particles X(t) alive at time t>0 follows the shifted extended Sibuya distribution, with parameters depending on the time $t>0$. The conditional limit probability is exactly the logarithmic series distribution supported by the positive integers.


title: Efficient Stein Variational Inference for Reliable Distribution-lossless Network Pruning

abstract: Network pruning is a promising way to generate light but accurate models and enable their deployment on resource-limited edge devices. However, the current state-of-the-art assumes that the effective sub-network and the other superfluous parameters in the given network share the same distribution, where pruning inevitably involves a distribution truncation operation. They usually eliminate values near zero. While simple, it may not be the most appropriate method, as effective models may naturally have many small values associated with them. Removing near-zero values already embedded in model space may significantly reduce model accuracy. Another line of work has proposed to assign discrete prior over all possible sub-structures that still rely on human-crafted prior hypotheses. Worse still, existing methods use regularized point estimates, namely Hard Pruning, that can not provide error estimations and fail reliability justification for the pruned networks. In this paper, we propose a novel distribution-lossless pruning method, named DLLP, to theoretically find the pruned lottery within Bayesian treatment. Specifically, DLLP remodels the vanilla networks as discrete priors for the latent pruned model and the other redundancy. More importantly, DLLP uses Stein Variational Inference to approach the latent prior and effectively bypasses calculating KL divergence with unknown distribution. Extensive experiments based on small Cifar-10 and large-scaled ImageNet demonstrate that our method can obtain sparser networks with great generalization performance while providing quantified reliability for the pruned model.


title: Hysteretic Electronic Phase Transitions in Correlated Charge-Density-Wave State of 1T-TaS2

abstract: Recently, many exotic electronic states, such as quantum spin liquid (QSL) and superconductivity (SC), have been extensively discovered and introduced in layered transition metal dichalcogenides 1T-TaS2 by controlling their complex correlated charge-density-wave (CDW) states. However, few studies have focused on its hysteretic electronic phase transitions based on the in-depth discussion of the delicate interplay among temperature-dependent electronic interactions. Here, we reported a sequence of spatial electronic phase transitions in the hysteresis temperature range of 1T-TaS2 via variable-temperature scanning tunneling microscopy (VT-STM). The emergence, evolution, coexistence, and separation of diverse novel electronic states within the commensurate CDW/triclinic CDW (CCDW/TCDW) phase are investigated in detail through the warming/cooling process. These novel emergent electronic states can be attributed to the delicate temperature-dependent competition and/or cooperation of interlayer interactions, intralayer electron-electron correlation, and electron-phonon (e-ph) coupling of 1T-TaS2. Our results not only provide a novel insight to understand the hysteretic electronic phase transitions of correlated CDW state, but also pave a way to realize more exotic quantum states by accurately and effectively controlling various interactions in correlated materials.


title: MetaStackVis: Visually-Assisted Performance Evaluation of Metamodels

abstract: Stacking (or stacked generalization) is an ensemble learning method with one main distinctiveness from the rest: even though several base models are trained on the original data set, their predictions are further used as input data for one or more metamodels arranged in at least one extra layer. Composing a stack of models can produce high-performance outcomes, but it usually involves a trial-and-error process. Therefore, our previously developed visual analytics system, StackGenVis, was mainly designed to assist users in choosing a set of top-performing and diverse models by measuring their predictive performance. However, it only employs a single logistic regression metamodel. In this paper, we investigate the impact of alternative metamodels on the performance of stacking ensembles using a novel visualization tool, called MetaStackVis. Our interactive tool helps users to visually explore different singular and pairs of metamodels according to their predictive probabilities and multiple validation metrics, as well as their ability to predict specific problematic data instances. MetaStackVis was evaluated with a usage scenario based on a medical data set and via expert interviews.


title: EASpace: Enhanced Action Space for Policy Transfer

abstract: Formulating expert policies as macro actions promises to alleviate the long-horizon issue via structured exploration and efficient credit assignment. However, traditional option-based multi-policy transfer methods suffer from inefficient exploration of macro action's length and insufficient exploitation of useful long-duration macro actions. In this paper, a novel algorithm named EASpace (Enhanced Action Space) is proposed, which formulates macro actions in an alternative form to accelerate the learning process using multiple available sub-optimal expert policies. Specifically, EASpace formulates each expert policy into multiple macro actions with different execution {times}. All the macro actions are then integrated into the primitive action space directly. An intrinsic reward, which is proportional to the execution time of macro actions, is introduced to encourage the exploitation of useful macro actions. The corresponding learning rule that is similar to Intra-option Q-learning is employed to improve the data efficiency. Theoretical analysis is presented to show the convergence of the proposed learning rule. The efficiency of EASpace is illustrated by a grid-based game and a multi-agent pursuit problem. The proposed algorithm is also implemented in physical systems to validate its effectiveness.


title: Three-quark potential at finite temperature and chemical potential

abstract: Using gauge/gravity duality, we study the potential energy and the melting of triply heavy baryon at finite temperature and chemical potential in this paper. First, we calculate three-quark potential and compare the results with quark-antiquark potential. With the increase of temperature and chemical potential, the potential energy will decrease at large distances. It is found that the three-quark potential will have an endpoint at high temperature and/or large chemical potential, which means triply heavy baryons will melt at enough high temperature and/or large chemical potential. We also discuss screening distance which can be extracted from the three-quark potential. At last, we draw the melting diagram of triply heavy baryons in the $T-\mu$ plane.


title: Bilinear pseudodifferential operators with symbol in $BS_{1,1}^m$ on Triebel-Lizorkin spaces with critical Sobolev index

abstract: In this paper we obtain new estimates for bilinear pseudodifferential operators with symbol in the class $BS_{1,1}^m$, when both arguments belong to Triebel-Lizorkin spaces of the type $F_{p,q}^{n/p}(\mathbb{R}^n)$. The inequalities are obtained as a consequence of a refinement of the classical Sobolev embedding $F^{n/p}_{p,q}(\mathbb{R}^n)\hookrightarrow\mathrm{bmo}(\mathbb{R}^n)$, where we replace $\mathrm{bmo}(\mathbb{R}^n)$ by an appropriate subspace which contains $L^\infty(\mathbb{R}^n)$. As an application, we study the product of functions on $F_{p,q}^{n/p}(\mathbb{R}^n)$ when $1<p<\infty$, where those spaces fail to be multiplicative algebras.


title: Fragile electronic superconductivity in Bi Single crystal

abstract: It was presumed that semimetal Bismuth (Bi) would not show superconductivity (SC) even at ultra-low temperatures ($<$10 mK) due to its very low carrier density ($\approx 3\times10^{17}$cm$^{-3}$). Recently, we have established bulk superconductivity in ultra-pure (99.9999\%) Bi single crystal at $\mathrm{T_C = 0.53}$ mK with an extrapolated upper critical field $\mathrm{H_C(0) = 5.2\mu}$T measured along the [$0001$] (trigonal) -crystallographic direction. At very low concentrations of the charge carriers, we are dealing with fragile Cooper pairs with an estimated large coherence length $\mathrm{\xi_{GL}(0)\approx 96 \mu}$m. We also stated that one needs to go beyond the conventional electron-phonon coupling (BCS-like) mechanism to understand the SC state in Bi. Bi is a compensated semi-metal with electrons and holes as charge carriers. In order to find the charge carriers responsible for the SC, we report the temperature dependence of the anisotropic critical field along the [$01\bar 10$] (bisectrix)-crystallographic direction and compared it with the earlier data from measurements along the trigonal. Our theoretical analysis of the anisotropy of critical fields suggests that the light electrons in the three pockets of Bi bands are responsible for the SC and indicates that Bi is an extremely weak type-II (close to type-I) superconductor. Finally, we review the current theories proposed to explain the SC in Bi.


title: Quantum algorithm for time-dependent differential equations using Dyson series

abstract: Time-dependent linear differential equations are a common type of problem that needs to be solved in classical physics. Here we provide a quantum algorithm for solving time-dependent linear differential equations with logarithmic dependence of the complexity on the error and derivative. As usual, there is an exponential improvement over classical approaches in the scaling of the complexity with the dimension, with the caveat that the solution is encoded in the amplitudes of a quantum state. Our method is to encode the Dyson series in a system of linear equations, then solve via the optimal quantum linear equation solver. Our method also provides a simplified approach in the case of time-independent differential equations.


title: Smoothly Connected Preemptive Impact Reduction and Contact Impedance Control

abstract: This study proposes novel control methods that lower impact force by preemptive movement and smoothly transition to conventional contact impedance control. These suggested techniques are for force control-based robots and position/velocity control-based robots, respectively. Strong impact forces have a negative influence on multiple robotic tasks. Recently, preemptive impact reduction techniques that expand conventional contact impedance control by using proximity sensors have been examined. However, a seamless transition from impact reduction to contact impedance control has not yet been accomplished. The proposed methods utilize a serial combined impedance control framework to solve this problem. The preemptive impact reduction feature can be added to the already implemented impedance controller because the parameter design is divided into impact reduction and contact impedance control. There is no undesirable contact force during the transition. Furthermore, even though the preemptive impact reduction employs a crude optical proximity sensor, the influence of reflectance is minimized using a virtual viscous force. Analyses and real-world experiments confirm these benefits.


title: Label Guidance based Object Locating in Virtual Reality

abstract: Object locating in virtual reality (VR) has been widely used in many VR applications, such as virtual assembly, virtual repair, virtual remote coaching. However, when there are a large number of objects in the virtual environment(VE), the user cannot locate the target object efficiently and comfortably. In this paper, we propose a label guidance based object locating method for locating the target object efficiently in VR. Firstly, we introduce the label guidance based object locating pipeline to improve the efficiency of the object locating. It arranges the labels of all objects on the same screen, lets the user select the target labels first, and then uses the flying labels to guide the user to the target object. Then we summarize five principles for constructing the label layout for object locating and propose a two-level hierarchical sorted and orientated label layout based on the five principles for the user to select the candidate labels efficiently and comfortably. After that, we propose the view and gaze based label guidance method for guiding the user to locate the target object based on the selected candidate labels.It generates specific flying trajectories for candidate labels, updates the flying speed of candidate labels, keeps valid candidate labels , and removes the invalid candidate labels in real time during object locating with the guidance of the candidate labels. Compared with the traditional method, the user study results show that our method significantly improves efficiency and reduces task load for object locating.


title: A Fault Tolerant Elastic Resource Management Framework Towards High Availability of Cloud Services

abstract: Cloud computing has become inevitable for every digital service which has exponentially increased its usage. However, a tremendous surge in cloud resource demand stave off service availability resulting into outages, performance degradation, load imbalance, and excessive power-consumption. The existing approaches mainly attempt to address the problem by using multi-cloud and running multiple replicas of a virtual machine (VM) which accounts for high operational-cost. This paper proposes a Fault Tolerant Elastic Resource Management (FT-ERM) framework that addresses aforementioned problem from a different perspective by inducing high-availability in servers and VMs. Specifically, (1) an online failure predictor is developed to anticipate failure-prone VMs based on predicted resource contention; (2) the operational status of server is monitored with the help of power analyser, resource estimator and thermal analyser to identify any failure due to overloading and overheating of servers proactively; and (3) failure-prone VMs are assigned to proposed fault-tolerance unit composed of decision matrix and safe box to trigger VM migration and handle any outage beforehand while maintaining desired level of availability for cloud users. The proposed framework is evaluated and compared against state-of-the-arts by executing experiments using two real-world datasets. FT-ERM improved the availability of the services up to 34.47% and scales down VM-migration and power-consumption up to 88.6% and 62.4%, respectively over without FT-ERM approach.


title: Improvement on Quantum bidirectional teleportation 2-2 or 2-3 qubit teleportation protocol via 6-qubit entangled state

abstract: Recently, Ri-Gui Zhou et al. [Int. J. Theor. Phys. 59, 166-172 (2020)] proposed a scheme for bidirectional quantum teleportation of two-two and two-three qubit states by utilizing a six-qubit entangled state as a quantum channel. It is observed that the intrinsic efficiency calculated by Zhou et al. is not correct. In this improved scheme, we show that bidirectional teleportation of two-two and two-three qubit quantum states can be done by using optimized quantum resource and less consumption of classical resource. We also calculate the intrinsic efficiency of our improved scheme which is much better than the Zhou's scheme. Additionally, we also discuss about the security of the protocol.


title: A Novel Analytical Model for LEO and MEO Satellite Networks based on Cox Point Processes

abstract: This work develops an analytical framework for downlink low Earth orbit (LEO) or medium Earth orbit (MEO) satellite communications, leveraging tools from stochastic geometry. We propose a tractable approach to the analysis of such satellite communication systems, accounting for the fact that satellites are located on circular orbits. We accurately incorporate this geometric property of LEO or MEO satellite constellations by developing a Cox point process model that jointly produces orbits and satellites on these orbits. Our work contrasts with previous modeling studies that presumed satellite locations to be entirely random, thereby overlooking the fundamental fact that satellites are jointly positioned on orbits. Employing this Cox model, we analyze the network performance experienced by users located on Earth. Specifically, we evaluate the no-satellite probability of the proposed network and the Laplace transform of the interference created by such a network. Using it, we compute its SIR (signal-to-interference) distribution, namely its coverage probability. By presenting fundamental network performance as functions of key parameters, this model allows one to assess the statistical properties of downlink LEO or MEO satellite communications and can thus be used as a system-level design tool to operate and optimize forthcoming complex LEO or MEO satellite networks.


title: Support Vector Machine for Determining Euler Angles in an Inertial Navigation System

abstract: The paper discusses the improvement of the accuracy of an inertial navigation system created on the basis of MEMS sensors using machine learning (ML) methods. As input data for the classifier, we used infor-mation obtained from a developed laboratory setup with MEMS sensors on a sealed platform with the ability to adjust its tilt angles. To assess the effectiveness of the models, test curves were constructed with different values of the parameters of these models for each core in the case of a linear, polynomial radial basis function. The inverse regularization parameter was used as a parameter. The proposed algorithm based on MO has demonstrated its ability to correctly classify in the presence of noise typical for MEMS sensors, where good classification results were obtained when choosing the optimal values of hyperpa-rameters.

categories: cs.RO cs.AI cs.SY eess.SP eess.SY physics.ins-det


title: Talking About Large Language Models

abstract: Thanks to rapid progress in artificial intelligence, we have entered an era when technology and philosophy intersect in interesting ways. Sitting squarely at the centre of this intersection are large language models (LLMs). The more adept LLMs become at mimicking human language, the more vulnerable we become to anthropomorphism, to seeing the systems in which they are embedded as more human-like than they really are. This trend is amplified by the natural tendency to use philosophically loaded terms, such as "knows", "believes", and "thinks", when describing these systems. To mitigate this trend, this paper advocates the practice of repeatedly stepping back to remind ourselves of how LLMs, and the systems of which they form a part, actually work. The hope is that increased scientific precision will encourage more philosophical nuance in the discourse around artificial intelligence, both within the field and in the public sphere.


title: A mesh-free particle method for continuum modeling of granular flow

abstract: Based on the continuum model for granular media developed in Dunatunga et al. we propose a mesh-free generalized finite difference method for the simulation of granular flows. The model is given by an elasto-viscoplastic model with a yield criterion using the $\mu(I)$ rheology from Jop et al. The numerical procedure is based on a mesh-free particle method with a least squares approximation of the derivatives in the balance equations combined with the numerical algorithm developed in Dunatunga et al. to compute the plastic stresses. The method is numerically tested and verified for several numerical experiments including granular column collapse and rigid body motion in granular materials. For comparison a nonlinear microscopic model from Lacaze et al. is implemented and results are compared to the those obtained from the continuum model for granular column collapse and rigid body coupling to granular flow.


title: Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests

abstract: SHACL is a W3C-proposed schema language for expressing structural constraints on RDF graphs. Recent work on formalizing this language has revealed a striking relationship to description logics. SHACL expressions can use three fundamental features that are not so common in description logics. These features are equality tests; disjointness tests; and closure constraints. Moreover, SHACL is peculiar in allowing only a restricted form of expressions (so-called targets) on the left-hand side of inclusion constraints. The goal of this paper is to obtain a clear picture of the impact and expressiveness of these features and restrictions. We show that each of the four features is primitive: using the feature, one can express boolean queries that are not expressible without using the feature. We also show that the restriction that SHACL imposes on allowed targets is inessential, as long as closure constraints are not used. In addition, we show that enriching SHACL with "full" versions of equality tests, or disjointness tests, results in a strictly more powerful language.


title: Microwave-induced conductance replicas in hybrid Josephson junctions without Floquet-Andreev states

abstract: Light-matter interaction enables engineering of non-equilibrium quantum systems. In condensed matter, spatially and temporally cyclic Hamiltonians are expected to generate energy-periodic Floquet states, with properties inaccessible at thermal equilibrium. A recent work explored the tunnelling conductance of a planar Josephson junction under microwave irradiation, and interpreted replicas of conductance features as evidence of steady Floquet-Andreev states. Here we realise a similar device in a hybrid superconducting-semiconducting heterostructure, which utilises a tunnelling probe with gate-tunable transparency and allows simultaneous measurements of Andreev spectrum and current-phase relation of the planar Josephson junction. We show that, in our devices, spectral replicas in sub-gap conductance emerging under microwave irradiation are caused by photon assisted tunnelling of electrons into Andreev states. The current-phase relation under microwave irradiation is also explained by the interaction of Andreev states with microwave photons, without the need to invoke Floquet states. The techniques outlined in this study establish a baseline to distinguish photon assisted tunnelling from Floquet-Andreev states in mesoscopic devices, a crucial development towards understanding light-matter coupling in hybrid nanostructures.


title: Inverse MultiView II: Microarcsecond Trigonometric Parallaxes for Southern Hemisphere 6.7~GHz Methanol Masers G232.62+00.99 and G323.74$-$00.26

abstract: We present the first results from the Southern Hemisphere Parallax Interferometric Radio Astrometry Legacy Survey (\spirals): $10\mu$as-accurate parallaxes and proper motions for two southern hemisphere 6.7 GHz methanol masers obtained using the inverse MultiView calibration method. Using an array of radio telescopes in Australia and New Zealand, we measured the trigonometric parallax and proper motions for the masers associated with the star formation region G232.62+00.99 of $\pi = 0.610\pm0.011$~mas, $\mu_x=-2.266\pm0.021$~mas~y$^{-1}$ and $\mu_y=2.249\pm0.049$~mas~y$^{-1}$, which implies its distance to be $d=1.637\pm0.029$~kpc. These measurements represent an improvement in accuracy by more than a factor of 3 over the previous measurements obtained through Very Long Baseline Array observations of the 12~GHz methanol masers associated with this region. We also measure the trigonometric parallax and proper motion for G323.74--00.26 as $\pi = 0.364\pm0.009$~mas, $\mu_x=-3.239\pm0.025$~mas~y$^{-1}$ and $\mu_y=-3.976\pm0.039$~mas~y$^{-1}$, which implies a distance of $d=2.747\pm0.068$~kpc. These are the most accurate measurements of trigonometric parallax obtained for 6.7~GHz class II methanol masers to date. We confirm that G232.62+00.99 is in the Local arm and find that G323.74--00.26 is in the Scutum-Centaurus arm. We also investigate the structure and internal dynamics of both masers.


title: Mechanism of Spin Scattering in Ta investigated by Scanning Inverse Spin Hall Effect Meters

abstract: In this work, a scanning inverse spin Hall effect measurement system based on a shorted coaxial resonator has been built, which provides a high throughput method to characterize spin transport properties. The spin diffusion length of Ta at room temperature is determined via automatic measurements of Py/Ta bilayer strips with different thicknesses of Ta. The results show that the spin diffusion length is about 4 nm with a conductivity of about 7.5E5 {\Omega}-1m-1, which leads to the conclusion that the intrinsic mechanism of spin relaxation of Ta is the Elliott-Yafet interactions. The setup developed in this work provides a convenient, efficient, and non-destructive way to obtain the spin and electron transportation characteristics of the spintronic materials, which will fertilize this community by developing new materials and figuring out their mechanism.


title: Contact instantons, anti-contact involution and proof of Shelukhin's conjecture

abstract: In this paper, we prove Shelukhin's conjecture on the translated points on any compact contact manifold $(Q,\xi)$ which reads that for any choice of function $H = H(t,x)$ and contact form $\lambda$ the contactomorphism $\psi_H^1$ carries a translated point in the sense of Sandon, whenever the inequality $ \|H\| \leq 2 T(\lambda,M)$ holds the case. Main geometro-analytical tools are those of bordered contact instantons employed in the present author's previous papers with Legendrian boundary condition via the Legendrianization of contact diffeomorphisms. In addition, the usage of the $\mathbb Z_2$-symmetry of anti-contact involution and the relevant intersection theory argument for the contact instantons based on the generic mapping and the evaluation map transversality plays an important role in the proof of the main theorem. Along the way, we define the notion of contact product and develop relevant contact Hamiltonian geometry which plays a fundamental role in our proof in combination with the analysis of contact instantons, which has its own interest in relation to the systematic study of quantitative contact topology.


title: Low-Resource End-to-end Sanskrit TTS using Tacotron2, WaveGlow and Transfer Learning

abstract: End-to-end text-to-speech (TTS) systems have been developed for European languages like English and Spanish with state-of-the-art speech quality, prosody, and naturalness. However, development of end-to-end TTS for Indian languages is lagging behind in terms of quality. The challenges involved in such a task are: 1) scarcity of quality training data; 2) low efficiency during training and inference; 3) slow convergence in the case of large vocabulary size. In our work reported in this paper, we have investigated the use of fine-tuning the English-pretrained Tacotron2 model with limited Sanskrit data to synthesize natural sounding speech in Sanskrit in low resource settings. Our experiments show encouraging results, achieving an overall MOS of 3.38 from 37 evaluators with good Sanskrit spoken knowledge. This is really a very good result, considering the fact that the speech data we have used is of duration 2.5 hours only.


title: Attribute Graph Clustering via Learnable Augmentation

abstract: Contrastive deep graph clustering (CDGC) utilizes contrastive learning to group nodes into different clusters. Better augmentation techniques benefit the quality of the contrastive samples, thus being one of key factors to improve performance. However, the augmentation samples in existing methods are always predefined by human experiences, and agnostic from the downstream task clustering, thus leading to high human resource costs and poor performance. To this end, we propose an Attribute Graph Clustering method via Learnable Augmentation (\textbf{AGCLA}), which introduces learnable augmentors for high-quality and suitable augmented samples for CDGC. Specifically, we design two learnable augmentors for attribute and structure information, respectively. Besides, two refinement matrices, including the high-confidence pseudo-label matrix and the cross-view sample similarity matrix, are generated to improve the reliability of the learned affinity matrix. During the training procedure, we notice that there exist differences between the optimization goals for training learnable augmentors and contrastive learning networks. In other words, we should both guarantee the consistency of the embeddings as well as the diversity of the augmented samples. Thus, an adversarial learning mechanism is designed in our method. Moreover, a two-stage training strategy is leveraged for the high-confidence refinement matrices. Extensive experimental results demonstrate the effectiveness of AGCLA on six benchmark datasets.


title: CrossPyramid: Neural Ordinary Differential Equations Architecture for Partially-observed Time-series

abstract: Ordinary Differential Equations (ODE)-based models have become popular foundation models to solve many time-series problems. Combining neural ODEs with traditional RNN models has provided the best representation for irregular time series. However, ODE-based models require the trajectory of hidden states to be defined based on the initial observed value or the last available observation. This fact raises questions about how long the generated hidden state is sufficient and whether it is effective when long sequences are used instead of the typically used shorter sequences. In this article, we introduce CrossPyramid, a novel ODE-based model that aims to enhance the generalizability of sequences representation. CrossPyramid does not rely only on the hidden state from the last observed value; it also considers ODE latent representations learned from other samples. The main idea of our proposed model is to define the hidden state for the unobserved values based on the non-linear correlation between samples. Accordingly, CrossPyramid is built with three distinctive parts: (1) ODE Auto-Encoder to learn the best data representation. (2) Pyramidal attention method to categorize the learned representations (hidden state) based on the relationship characteristics between samples. (3) Cross-level ODE-RNN to integrate the previously learned information and provide the final latent state for each sample. Through extensive experiments on partially-observed synthetic and real-world datasets, we show that the proposed architecture can effectively model the long gaps in intermittent series and outperforms state-of-the-art approaches. The results show an average improvement of 10\% on univariate and multivariate datasets for both forecasting and classification tasks.


title: Searching for $a_0(980)$-meson parton distribution function

abstract: In this paper, we calculate the scalar $a_0(980)$-meson leading-twist wavefunction by using light-cone harmonic oscillator model (LCHO). In which the model parameters are determined by fitting the $\xi$-moments $\langle\xi_{a_0}^n\rangle_\zeta$ of its light-cone distribution amplitudes. Then, the $a_0(980)$-meson leading-twist light-cone distribution amplitudes with three different scales $\zeta= (1.0, 2.0, 5.2)~{\rm GeV}$ are given. After constructing the relationship between $a_0(980)$-meson leading-twist parton distribution functions/valence quark distribution function and its LCHO wavefunction, we exhibit the $q^{a_0}(x,\zeta)$ and $x q^{a_0}(x,\zeta)$ with different scales. Furthermore, we also calculate the Mellin moments of the $a_0(980)$-meson's valence quark distribution function $\langle x^n q^{a_0}\rangle_\zeta$ with $n = (1,2,3)$, i.e. $\langle x q^{a_0}\rangle_{\zeta_5} = 0.026$, $\langle x^2 q^{a_0}\rangle_{\zeta_5} = 0.017$ and $\langle x^3 q^{a_0}\rangle_{\zeta_5} = 0.012$. Finally, the scale evolution for the ratio of the Mellin moments $x^n_{a_0}(\zeta,\zeta_k)$ are presented.


title: Accelerating Self-Imitation Learning from Demonstrations via Policy Constraints and Q-Ensemble

abstract: Deep reinforcement learning (DRL) provides a new way to generate robot control policy. However, the process of training control policy requires lengthy exploration, resulting in a low sample efficiency of reinforcement learning (RL) in real-world tasks. Both imitation learning (IL) and learning from demonstrations (LfD) improve the training process by using expert demonstrations, but imperfect expert demonstrations can mislead policy improvement. Offline to Online reinforcement learning requires a lot of offline data to initialize the policy, and distribution shift can easily lead to performance degradation during online fine-tuning. To solve the above problems, we propose a learning from demonstrations method named A-SILfD, which treats expert demonstrations as the agent's successful experiences and uses experiences to constrain policy improvement. Furthermore, we prevent performance degradation due to large estimation errors in the Q-function by the ensemble Q-functions. Our experiments show that A-SILfD can significantly improve sample efficiency using a small number of different quality expert demonstrations. In four Mujoco continuous control tasks, A-SILfD can significantly outperform baseline methods after 150,000 steps of online training and is not misled by imperfect expert demonstrations during training.


title: A high resolution study of near-IR diffuse interstellar bands, search for small scale structure, time variability and stellar features

abstract: Diffuse interstellar bands comprise hundreds of absorption features in the ISM. Most DIBs are observed in the optical, but some are in the IR. We observed 76 early-type stars at R=50,000 and S/N ratios of several hundreds using CRIRES. We measure DIBs around 1318, 1527, 1561, 1565, 1567, 1574 and/or 1624 nm. We detect a total of 6 DIB features and 17 likely stellar features assisted by a CMFGEN model. We also measured the DIBs at 1318 and 1527 nm using X-shooter towards ten Ceph. variables with 3.2 < E(B-V) < 6.5 and 4 stars at low values of water vapour. Correlation coeffs. of 0.73-0.96 are found comparing NIRDIB eq. width vs. E(B-V) and with r > 0.8 when comparing the NIR and optical DIBs 5705, 5780, 6203, 6283 and 6269 A. The 5797 A DIB is less well correlated with the NIDIBs. The "C60+" DIB at 9632 A is not well correlated with the 1318 nm DIB. Partial correlation coefficients using E(B-V) as the covariate were also determined. For stars earlier than B2, the 1318 nm DIB is affected by an emission line on its blue wing, likely stellar in nature, although we cannot rule out interstellar/circumstellar origin for example caused by by a DIB in emission. The 1318 nm DIB has a red wing and is reasonably well fitted by two gaussians. Neither the component ratios nor separation are correlated with 5780/5797 or E(B-V). EW(1318 nm) correlates with HI with EW(1318 nm)/E(B-V) decreasing with f(H2). Five pairs of stars within 1 am show similar 1318 nm DIB profiles. Variation in 1318 nm is seen in HD 145501/145502 and HD 168607/168625 pairs. CRIRES data for 17 stars separated by 6-14 months and 2 X-shooter sightlines separated by 9.9 yr were analysed. No time-variability is detected in the 5780, 5797 A, 1318 nm or 1527 nm DIBs. Tentative time variation is observed in the C60+ DIBs at 9577 and 9632 A towards HD 183143 although very close to the noise level with confirmation required.


title: Optimizing a Digital Twin for Fault Diagnosis in Grid Connected Inverters -- A Bayesian Approach

abstract: In this paper, a hyperparameter tuning based Bayesian optimization of digital twins is carried out to diagnose various faults in grid connected inverters. As fault detection and diagnosis require very high precision, we channelize our efforts towards an online optimization of the digital twins, which, in turn, allows a flexible implementation with limited amount of data. As a result, the proposed framework not only becomes a practical solution for model versioning and deployment of digital twins design with limited data, but also allows integration of deep learning tools to improve the hyperparameter tuning capabilities. For classification performance assessment, we consider different fault cases in virtual synchronous generator (VSG) controlled grid-forming converters and demonstrate the efficacy of our approach. Our research outcomes reveal the increased accuracy and fidelity levels achieved by our digital twin design, overcoming the shortcomings of traditional hyperparameter tuning methods.


title: Essential Hereditary Undecidability

abstract: In this paper we study \emph{essential hereditary undecidability}. Theories with this property are a convenient tool to prove undecidability of other theories. The paper develops the basic facts concerning essentially hereditary undecidability and provides salient examples, like a construction of \ehu\ theories due to Hanf and an example of a rather natural essentially hereditarily undecidable theory strictly below {\sf R}. We discuss the (non-)interaction of essential hereditary undecidability with recursive boolean isomorphism. We develop a reduction relation \emph{essential tolerance}, or, in the converse direction, \emph{lax interpretability} that interacts in a good way with essential hereditary undecidability. We introduce the class of $\Sigma^0_1$-friendly theories and show that $\Sigma^0_1$-friendliness is sufficient but not necessary for essential hereditary undecidability. Finally, we adapt an argument due to Pakhomov, Murwanashyaka and Visser to show that there is no interpretability minimal essentially hereditarilyundecidable theory.


title: Red noise in continuous-time stochastic modelling

abstract: The concept of correlated noise is well-established in discrete-time stochastic modelling but there is no generally agreed-upon definition of the notion of red noise in continuous-time stochastic modelling. Here we discuss the generalization of discrete-time correlated noise to the continuous case. We give an overview of existing continuous-time approaches to model red noise, which relate to their discrete-time analogue via characteristics like the autocovariance structure or the power spectral density. The implications of carrying certain attributes from the discrete-time to the continuous-time setting are explored while assessing the inherent ambiguities in such a generalization. We find that the attribute of a power spectral density decaying as $S(\omega)\sim\omega^{-2}$ commonly ascribed to the notion of red noise has far reaching consequences when posited in the continuous-time stochastic differential setting. In particular, any It\^{o}-differential $\mathrm{d} Y_t=\alpha_t\mathrm{d} t+\beta_t\mathrm{d} W_t$ with continuous, square-integrable integrands must have a vanishing martingale part, i.e. $\mathrm{d} Y_t=\alpha_t\mathrm{d} t$ for almost all $t\geq 0$. We further argue that $\alpha$ should be an Ornstein-Uhlenbeck process.


title: The unequal effects of the health-economy tradeoff during the COVID-19 pandemic

abstract: The potential tradeoff between health outcomes and economic impact has been a major challenge in the policy making process during the COVID-19 pandemic. Epidemic-economic models designed to address this issue are either too aggregate to consider heterogeneous outcomes across socio-economic groups, or, when sufficiently fine-grained, not well grounded by empirical data. To fill this gap, we introduce a data-driven, granular, agent-based model that simulates epidemic and economic outcomes across industries, occupations, and income levels with geographic realism. The key mechanism coupling the epidemic and economic modules is the reduction in consumption demand due to fear of infection. We calibrate the model to the first wave of COVID-19 in the New York metropolitan area, showing that it reproduces key epidemic and economic statistics, and then examine counterfactual scenarios. We find that: (a) both high fear of infection and strict restrictions similarly harm the economy but reduce infections; (b) low-income workers bear the brunt of both the economic and epidemic harm; (c) closing non-customer-facing industries such as manufacturing and construction only marginally reduces the death toll while considerably increasing unemployment; and (d) delaying the start of protective measures does little to help the economy and worsens epidemic outcomes in all scenarios. We anticipate that our model will help designing effective and equitable non-pharmaceutical interventions that minimize disruptions in the face of a novel pandemic.


title: A comment on: Adam R. Brown and Leonard Susskind's paper "A holographic wormhole traversed in a quantum computer"

abstract: Adam Brown and Leonard Susskind write in their new paper, "A holographic wormhole traversed in a quantum computer": "The idea of a wormhole dates back to 1935, when Albert Einstein and his collaborator, Nathan Rosen, studied black holes in the context of Einstein's general theory of relativity. [...] In the same year, Einstein and Rosen wrote another paper, this time in collaboration with Boris Podolsky. [...] At the time, these two ideas - wormholes and entanglement - were considered to be entirely separate". I will show in this comment that for Einstein the Einstein-Rosen (ER) bridge and the EPR argument were not "entirely separate".


title: Equivariant non-archimedean Arakelov theory of toric varieties

abstract: We develop an equivariant version of the non-archimedean Arakelov theory of [BGS95] in the case of toric varieties. We define the equivariant analogues of the non-archimedean differential forms and currents appearing in loc. cit. and relate them to piecewise polynomial functions on the polyhedral complexes defining the toric models. In particular, we give combinatorial characterizations of the Green currents associated to invariant cycles and combinatorial descriptions of the arithmetic Chow groups.


title: Combining Planning, Reasoning and Reinforcement Learning to solve Industrial Robot Tasks

abstract: One of today's goals for industrial robot systems is to allow fast and easy provisioning for new tasks. Skill-based systems that use planning and knowledge representation have long been one possible answer to this. However, especially with contact-rich robot tasks that need careful parameter settings, such reasoning techniques can fall short if the required knowledge not adequately modeled. We show an approach that provides a combination of task-level planning and reasoning with targeted learning of skill parameters for a task at hand. Starting from a task goal formulated in PDDL, the learnable parameters in the plan are identified and an operator can choose reward functions and parameters for the learning process. A tight integration with a knowledge framework allows to form a prior for learning and the usage of multi-objective Bayesian optimization eases to balance aspects such as safety and task performance that can often affect each other. We demonstrate the efficacy and versatility of our approach by learning skill parameters for two different contact-rich tasks and show their successful execution on a real 7-DOF KUKA-iiwa.


title: Minimum algebraic connectivity and maximum diameter: Aldous--Fill and Guiduli--Mohar conjectures

abstract: Aldous and Fill (2002) conjectured that the maximum relaxation time for the random walk on a connected regular graph with $n$ vertices is $(1+o(1)) \frac{3n^{2}}{2\pi ^{2}}$. A conjecture by Guiduli and Mohar (1996) predicts the structure of graphs whose algebraic connectivity $\mu $ is the smallest among all connected graphs whose minimum degree $\delta $ is a given $d$. We prove that this conjecture implies the Aldous--Fill conjecture for odd $d$. We pose another conjecture on the structure of $d$-regular graphs with minimum $\mu $, and show that this also implies the Aldous--Fill conjecture for even $d$. In the literature, it has been noted empirically that graphs with small $\mu $ tend to have a large diameter. In this regard, Guiduli (1996) asked if the cubic graphs with maximum diameter have algebraic connectivity smaller than all others. Motivated by these, we investigate the interplay between the graphs with maximum diameter and those with minimum algebraic connectivity. We show that the answer to Guiduli problem in its general form, that is for $d$-regular graphs for every $d\ge 3$ is negative. We aim to develop an asymptotic formulation of the problem. It is proven that $d$-regular graphs for $d\ge 5$ as well as graphs with $\delta =d$ for $d\ge 4$ with asymptotically maximum diameter, do not necessarily exhibit the asymptotically smallest $\mu$. We conjecture that $d$-regular graphs (or graphs with $\delta =d$) that have asymptotically smallest $\mu $, should have asymptotically maximum diameter. The above results rely heavily on our understanding of the structure as well as optimal estimation of the algebraic connectivity of nearly maximum-diameter graphs, from which the Aldous--Fill conjecture for this family of graphs also follows.


title: One-loop gauge invariant amplitudes with a space-like gluon

abstract: Nowadays the particle physics has entered an era where high precision calculations are required in order to compare the theoretical predictions with the experimental data. In this paper, we explicitly compute the virtual contributions for the space-like one-jet processes, $\procgg,\procqq,\procH$ and $\procee$ within the auxiliary parton method. Our results, which are expected to play an important role in high precision description of small $x$ physics, explicitly confirm the conjecture developed in Ref. \cite{vanHameren:2022mtk}, thus helping to bridge the gap between lowest order calculations and NLO corrections within hybrid $k_T$-factorization scheme.


title: Incompatibility of Standard Galaxy Bias Models in General Relativity

abstract: The standard model for galaxy bias is built in a Newtonian framework, and several attempts have been made in the past to put it in a relativistic framework. The focus of past works was, however, to use the same Newtonian formulation, but to provide its interpretation in a relativistic framework by either fixing a gauge condition or transforming to a local coordinate system. Here we demonstrate that these reverse-engineered approaches do not respect the diffeomorphism symmetry in general relativity, and we need to develop a covariant model of galaxy bias that is diffeomorphism compatible. We consider a simple toy model for galaxy bias and discuss the impact for measuring the primordial non-Gaussianity.


title: Learning rigid dynamics with face interaction graph networks

abstract: Simulating rigid collisions among arbitrary shapes is notoriously difficult due to complex geometry and the strong non-linearity of the interactions. While graph neural network (GNN)-based models are effective at learning to simulate complex physical dynamics, such as fluids, cloth and articulated bodies, they have been less effective and efficient on rigid-body physics, except with very simple shapes. Existing methods that model collisions through the meshes' nodes are often inaccurate because they struggle when collisions occur on faces far from nodes. Alternative approaches that represent the geometry densely with many particles are prohibitively expensive for complex shapes. Here we introduce the Face Interaction Graph Network (FIGNet) which extends beyond GNN-based methods, and computes interactions between mesh faces, rather than nodes. Compared to learned node- and particle-based methods, FIGNet is around 4x more accurate in simulating complex shape interactions, while also 8x more computationally efficient on sparse, rigid meshes. Moreover, FIGNet can learn frictional dynamics directly from real-world data, and can be more accurate than analytical solvers given modest amounts of training data. FIGNet represents a key step forward in one of the few remaining physical domains which have seen little competition from learned simulators, and offers allied fields such as robotics, graphics and mechanical design a new tool for simulation and model-based planning.


title: Tag Embedding and Well-defined Intermediate Representation improve Auto-Formulation of Problem Description

abstract: In this report, I address auto-formulation of problem description, the task of converting an optimization problem into a canonical representation. I first simplify the auto-formulation task by defining an intermediate representation, then introduce entity tag embedding to utilize a given entity tag information. The ablation study demonstrate the effectiveness of the proposed method, which finally took second place in NeurIPS 2022 NL4Opt competition subtask 2.


title: Equilibrium, social welfare, and revenue in an infinite-server queue

abstract: Motivated by the impact of emerging technologies on toll parks, this paper studies a problem of equilibrium, social welfare, and revenue for an infinite-server queue. More specifically, we assume that a customer's utility consists of a positive reward for receiving service minus a cost caused by the other customers in the system. In the observable setting, we show the existence, uniqueness, and expressions of the individual threshold, the socially optimal threshold, and the optimal revenue threshold, respectively. Then, we prove that the optimal revenue threshold is smaller than the socially optimal threshold, which is smaller than the individual one. Furthermore, we also extend the cost functions to any finite polynomial function with non-negative coefficients. In the unobservable setting, we derive the joining probabilities of individual and optimal revenue. Finally, using numerical experiments, we complement our results and compare the social welfare and the revenue under these two information levels.


title: Primordial black holes generated by the non-minimal spectator field

abstract: In this paper, we propose a model in which a spectator field non-minimally couples to an inflaton field and the power spectrum of the perturbation of the spectator field at small scales is dramatically enhanced by the sharp feature in the form of non-minimal coupling. At or after the end of inflation, the perturbation of the spectator field is converted into curvature perturbation and leads to the formation of primordial black holes (PBHs). Furthermore, for example, we consider three phenomenological models for generating PBHs with mass function peaked at $\sim10^{-12}M_\odot$ and representing all the cold dark matter in our Universe and find that the scalar induced gravitational waves generated by the curvature perturbation can be detected by the future space-borne gravitational-wave detectors such as Taiji, TianQin and LISA.


title: Nonparametric Estimation of Conditional Incremental Effects

abstract: Conditional effect estimation has great scientific and policy importance because interventions may impact subjects differently depending on their characteristics. Most research has focused on estimating the conditional average treatment effect (CATE). However, identification of the CATE requires all subjects have a non-zero probability of receiving treatment, or positivity, which may be unrealistic in practice. Instead, we propose conditional effects based on incremental propensity score interventions, which are stochastic interventions where the odds of treatment are multiplied by some factor. These effects do not require positivity for identification and can be better suited for modeling scenarios in which people cannot be forced into treatment. We develop a projection estimator and a flexible nonparametric estimator that can each estimate all the conditional effects we propose and derive model-agnostic error guarantees showing both estimators satisfy a form of double robustness. Further, we propose a summary of treatment effect heterogeneity and a test for any effect heterogeneity based on the variance of a conditional derivative effect and derive a nonparametric estimator that also satisfies a form of double robustness. Finally, we demonstrate our estimators by analyzing the effect of intensive care unit admission on mortality using a dataset from the (SPOT)light study.


title: Spin-orbit maximally discordant mixed states

abstract: We introduce a proposal to prepare spin-obit maximally discordant mixed states by a linear optical circuit, with quantum bits (qubits) encoded in the polarization and transverse mode degrees of freedom of photons. In particular, we discuss how to prepare non-balanced spin-orbit entangled states, applying this technique to obtain maximally discordant mixed states. We present a simulation of the optical circuit by using the Jones matrix formalism. We performed a study of entanglement, classical and quantum correlations. The results show excellent agreement with the underlying theory and open a new experimental approach for addressing quantum correlations in optical setups.


title: Computing differential operators of the particle velocity in moving particle clouds using tessellations

abstract: We propose finite-time measures to compute the divergence, the curl and the velocity gradient tensor of the point particle velocity for two- and three-dimensional moving particle clouds. For this purpose, a tessellation of the particle positions is performed to assign a volume to each particle. We introduce a modified Voronoi tessellation which overcomes some drawbacks of the classical construction. Instead of the circumcenter we use the center of gravity of the Delaunay cell for defining the vertices. Considering then two subsequent time instants, the dynamics of the volume can be assessed. Determining the volume change of tessellation cells yields the divergence of the particle velocity. Reorganizing the various velocity coefficients allows computing the curl and even the velocity gradient tensor. The helicity of particle velocity can be likewise computed and swirling motion of particle clouds can be quantified. First we assess the numerical accuracy for randomly distributed particles. We find a strong Pearson correlation between the divergence computed with the the modified tessellation, and the exact value. Moreover, we show that the proposed method converges with first order in space and time in two and three dimensions. Then we consider particles advected with random velocity fields with imposed power-law energy spectra. We study the number of particles necessary to guarantee a given precision. Finally, applications to fluid particles advected in three-dimensional fully developed isotropic turbulence show the utility of the approach for real world applications to quantify self-organization in particle clouds and their vortical or even swirling motion.

categories: math.NA cs.NA physics.comp-ph physics.flu-dyn


title: LSVL: Large-scale season-invariant visual localization for UAVs

abstract: Localization of autonomous unmanned aerial vehicles (UAVs) relies heavily on Global Navigation Satellite Systems (GNSS), which are susceptible to interference. Especially in security applications, robust localization algorithms independent of GNSS are needed to provide dependable operations of autonomous UAVs also in interfered conditions. Typical non-GNSS visual localization approaches rely on known starting pose, work only on a small-sized map, or require known flight paths before a mission starts. We consider the problem of localization with no information on initial pose or planned flight path. We propose a solution for global visual localization on a map at scale up to 100 km2, based on matching orthoprojected UAV images to satellite imagery using learned season-invariant descriptors. We show that the method is able to determine heading, latitude and longitude of the UAV at 12.6-18.7 m lateral translation error in as few as 23.2-44.4 updates from an uninformed initialization, also in situations of significant seasonal appearance difference (winter-summer) between the UAV image and the map. We evaluate the characteristics of multiple neural network architectures for generating the descriptors, and likelihood estimation methods that are able to provide fast convergence and low localization error. We also evaluate the operation of the algorithm using real UAV data and evaluate running time on a real-time embedded platform. We believe this is the first work that is able to recover the pose of an UAV at this scale and rate of convergence, while allowing significant seasonal difference between camera observations and map.


title: Modeling and simulation of a quantum thermal noise on the qubit

abstract: Quantum noise or decoherence is a major factor impacting the performance of quantum technologies. On the qubit, an important quantum noise, often relevant in practice, is the thermal noise or generalized amplitude damping noise, describing the interaction with a thermal bath at an arbitrary temperature. A qubit thermal noise however cannot be modeled nor directly simulated with a few elementary Pauli operators, but instead requires specific operators. Our main goal here is to construct a circuit model for simulating the thermal noise from standard elementary qubit operators. Starting from a common quantum-operation model based on Kraus operators and an associated qubit-environment model, we derive a proper Stinespring dilated representation for the thermal noise. This dilated unitary model is then decomposed in terms of simple elementary qubit operators, and converted into a circuit based on elementary quantum gates. We arrive at our targeted simulator circuit for the thermal noise, coming with built-in easy control on the noise parameters. The noise simulator is then physically implemented and tested on an IBM-Q quantum processor. The simulator represents a useful addition to existing libraries of quantum circuits for quantum processors, and it offers a new tool for investigating quantum signal and information processing having to cope with thermal noise.


title: Uniaxial negative thermal expansion in a tetragonal V3S-type superconductor IrZr3

abstract: Recently, uniaxial negative thermal expansion (NTE) has been observed in transition-metal zirconides including tetragonal (CuAl2-type) CoZr2 and orthorhombic (Re3B-type) CoZr3. Here, we report the observation of uniaxial NTE in tetragonal (V3S-type) IrZr3. With increasing temperature, the lattice parameter for the a-axis and volume of IrZr3 increase, but the lattice parameter for the c-axis decreases. IrZr3 is a superconductor with a transition temperature of 2.3 K. The present result suggests that uniaxial NTE and related anomalous axis thermal expansion occur in various transition-metal zirconides, which will be important for designing superconducting device robust to temperature cycles using zero-thermal-expansion superconductors.


title: Vortex-driven periodic and aperiodic magnetoresistance oscillations in cuprates

abstract: The study of the interaction between superconductivity and charge ordering is helpful to resolve the pairing mechanism in high-temperature superconductors. Recently, several resistance oscillations studies trigger the speculation that a long-range charge ordering, with an enormous mesh size of several tens of nanometer, can possibly emerge in underdoped high Tc superconductor. However, spectroscopy studies have not traced this kind of long-range charge ordering. Here, we clarify the disagreement between the transport and spectroscopy studies on the mysterious long-range charge ordering by investigating the magneto-oscillations in underdoped Bi2Sr2CaCu2O8+{\delta} flakes. Inspired by the observation that the oscillations evolve from a periodic to an aperiodic one with decreasing doping level, we conclude that the magneto-oscillations can be generated by the interaction between vortices and superconducting loops that enclose randomly distributed underdoped puddles while an assumption of long-range charge ordering is not necessary.


title: Exponential stability for a nonlinear porous-elastic system with delay

abstract: In this work, we consider the existence of global solution and the exponential decay of a nonlinear porous elastic system with time delay. The nonlinear term as well as the delay acting in the equation of the volume fraction. In order to obtain the existence and uniqueness of a global solution, we will use the semigroup theory of linear operators and under a certain relation involving the coefficients of the system together with a Lyapunov functional, we will establish the exponential decay of the energy associated to the system.


title: Multiple Object Tracking Challenge Technical Report for Team MT_IoT

abstract: This is a brief technical report of our proposed method for Multiple-Object Tracking (MOT) Challenge in Complex Environments. In this paper, we treat the MOT task as a two-stage task including human detection and trajectory matching. Specifically, we designed an improved human detector and associated most of detection to guarantee the integrity of the motion trajectory. We also propose a location-wise matching matrix to obtain more accurate trace matching. Without any model merging, our method achieves 66.672 HOTA and 93.971 MOTA on the DanceTrack challenge dataset.


title: The oblateness of the Milky Way dark matter halo from the stellar streams of NGC 3201, M68, and Palomar 5

abstract: We explore constraints on the Milky Way dark matter halo oblateness using three stellar streams from globular clusters NGC 3201, M68, and Palomar 5. Previous constraints on the gravitational potential from dynamical equilibrium of stellar populations and distant Milky Way satellites are included. We model the dark halo as axisymmetric with axis ratio $q_\rho^{\rm h}$ and four additional free parameters of a two power-law density profile. The halo axis ratio, while barely constrained by the NGC 3201 stream alone, is required to be close to spherical by the streams of Palomar 5 ($q_\rho^{\rm h}=1.01\pm0.09$) and M68 ($q_\rho^{\rm h}=1.14^{+0.21}_{-0.14}$), the latter allowing a more prolate shape. The three streams together are well fitted with a halo axis ratio $q_\rho^{\rm h}=1.06\pm0.06$ and core radius $\sim$ 20 kpc. Our estimate of the halo shape agrees with previous studies using other observational data and is in tension with cosmological simulations predicting that most spiral galaxies have oblate dark matter halos with the short axis perpendicular to the disc. We discuss why the impact of the Magellanic Clouds tide is too small to change our conclusion on the halo axis ratio. We note that dynamical equilibrium of a spherical halo in the oblate disk potential implies an anisotropic dark matter velocity dispersion, larger along the vertical direction than the horizontal ones, which should relate to the assembly history of the Milky Way.


title: ZegCLIP: Towards Adapting CLIP for Zero-shot Semantic Segmentation

abstract: Recently, CLIP has been applied to pixel-level zero-shot learning tasks via a two-stage scheme. The general idea is to first generate class-agnostic region proposals and then feed the cropped proposal regions to CLIP to utilize its image-level zero-shot classification capability. While effective, such a scheme requires two image encoders, one for proposal generation and one for CLIP, leading to a complicated pipeline and high computational cost. In this work, we pursue a simpler-and-efficient one-stage solution that directly extends CLIP's zero-shot prediction capability from image to pixel level. Our investigation starts with a straightforward extension as our baseline that generates semantic masks by comparing the similarity between text and patch embeddings extracted from CLIP. However, such a paradigm could heavily overfit the seen classes and fail to generalize to unseen classes. To handle this issue, we propose three simple-but-effective designs and figure out that they can significantly retain the inherent zero-shot capacity of CLIP and improve pixel-level generalization ability. Incorporating those modifications leads to an efficient zero-shot semantic segmentation system called ZegCLIP. Through extensive experiments on three public benchmarks, ZegCLIP demonstrates superior performance, outperforming the state-of-the-art methods by a large margin under both "inductive" and "transductive" zero-shot settings. In addition, compared with the two-stage method, our one-stage ZegCLIP achieves a speedup of about 5 times faster during inference. We release the code at https://github.com/ZiqinZhou66/ZegCLIP.git.


title: On the Global Solution of Soft k-Means

abstract: This paper presents an algorithm to solve the Soft k-Means problem globally. Unlike Fuzzy c-Means, Soft k-Means (SkM) has a matrix factorization-type objective and has been shown to have a close relation with the popular probability decomposition-type clustering methods, e.g., Left Stochastic Clustering (LSC). Though some work has been done for solving the Soft k-Means problem, they usually use an alternating minimization scheme or the projected gradient descent method, which cannot guarantee global optimality since the non-convexity of SkM. In this paper, we present a sufficient condition for a feasible solution of Soft k-Means problem to be globally optimal and show the output of the proposed algorithm satisfies it. Moreover, for the Soft k-Means problem, we provide interesting discussions on stability, solutions non-uniqueness, and connection with LSC. Then, a new model, named Minimal Volume Soft k-Means (MVSkM), is proposed to address the solutions non-uniqueness issue. Finally, experimental results support our theoretical results.


title: Diagrammatic analysis of hidden- and open-charm tetraquark production in $B$ decays

abstract: Discoveries of tetraquarks not only enrich the hadronic spectrum but also provide more platforms to understand quantum chromodynamics. We study the production processes of hidden-charm and open-charm tetraquarks in $B$ decays by analyzing their topological amplitudes. Relations between different channels are found, which confront tests by experiments to probe the nature of the tetraquarks. Furthermore, promising channels to find more tetraquarks are proposed.


title: A $p$-adic approach to the existence of level-raising congruences

abstract: We construct level-raising congruences between $p$-ordinary automorphic representations, and apply this to the problem of symmetric power functoriality for Hilbert modular forms. In particular, we prove the existence of the $n^\text{th}$ symmetric power lift of a Hilbert modular eigenform of regular weight for each odd integer $n = 1, 3, \dots, 25$.


title: A novel energy reconstruction method for the MAGIC stereoscopic observation

abstract: We present a new gamma ray energy reconstruction method based on Random Forest to be commonly used for the data analysis of the MAGIC Telescopes, a system of two Imaging Atmospheric Cherenkov Telescopes. The energy resolution with the new energy reconstruction improves compared to the one obtained with the LUTs method. For standard observations i.e. dark conditions with pointing zenith (Zd) less than 35 deg for a point-like source, the energy resolution goes from $\sim 20\%$ at 100 GeV to $\sim 10\%$ at a few TeV. In addition, the new method suppresses the outlier population in the energy error distribution, which is thus better described by a Gaussian distribution. The new energy reconstruction method enhances the reliability especially for the sources with steep spectra, in higher energies and/or in observations at higher Zd pointings. We validate the new method in different ways and demonstrate some cases of its remarkable benefit in spectral analysis with simulated observation data.


title: Barium stars as tracers of s-process nucleosynthesis in AGB stars II. Using machine learning techniques on 169 stars

abstract: We aim to analyse the abundance pattern of 169 Barium (Ba) stars, using machine learning techniques and the AGB final surface abundances predicted by Fruity and Monash stellar models. We developed machine learning algorithms that use the abundance pattern of Ba stars as input to classify the initial mass and metallicity of its companion star using stellar model predictions. We use two algorithms: the first exploits neural networks to recognise patterns and the second is a nearest-neighbour algorithm, which focuses on finding the AGB model that predicts final surface abundances closest to the observed Ba star values. In the second algorithm we include the error bars and observational uncertainties to find the best fit model. The classification process is based on the abundances of Fe, Rb, Sr, Zr, Ru, Nd, Ce, Sm, and Eu. We selected these elements by systematically removing s-process elements from our AGB model abundance distributions, and identifying those whose removal has the biggest positive effect on the classification. We excluded Nb, Y, Mo, and La. Our final classification combines the output of both algorithms to identify for each Ba star companion an initial mass and metallicity range. With our analysis tools we identify the main properties for 166 of the 169 Ba stars in the stellar sample. The classifications based on both stellar sets of AGB final abundances show similar distributions, with an average initial mass of M = 2.23 MSun and 2.34 MSun and an average [Fe/H] = -0.21 and -0.11, respectively. We investigated why the removal of Nb, Y, Mo, and La improves our classification and identified 43 stars for which the exclusion had the biggest effect. We show that these stars have statistically significant different abundances for these elements compared to the other Ba stars in our sample. We discuss the possible reasons for these differences in the abundance patterns.