title: Bi-level Multi-objective Evolutionary Learning: A Case Study on Multi-task Graph Neural Topology Search

abstract: The construction of machine learning models involves many bi-level multi-objective optimization problems (BL-MOPs), where upper level (UL) candidate solutions must be evaluated via training weights of a model in the lower level (LL). Due to the Pareto optimality of sub-problems and the complex dependency across UL solutions and LL weights, an UL solution is feasible if and only if the LL weight is Pareto optimal. It is computationally expensive to determine which LL Pareto weight in the LL Pareto weight set is the most appropriate for each UL solution. This paper proposes a bi-level multi-objective learning framework (BLMOL), coupling the above decision-making process with the optimization process of the UL-MOP by introducing LL preference $r$. Specifically, the UL variable and $r$ are simultaneously searched to minimize multiple UL objectives by evolutionary multi-objective algorithms. The LL weight with respect to $r$ is trained to minimize multiple LL objectives via gradient-based preference multi-objective algorithms. In addition, the preference surrogate model is constructed to replace the expensive evaluation process of the UL-MOP. We consider a novel case study on multi-task graph neural topology search. It aims to find a set of Pareto topologies and their Pareto weights, representing different trade-offs across tasks at UL and LL, respectively. The found graph neural network is employed to solve multiple tasks simultaneously, including graph classification, node classification, and link prediction. Experimental results demonstrate that BLMOL can outperform some state-of-the-art algorithms and generate well-representative UL solutions and LL weights.


title: Mobile Cell-Free Massive MIMO: Challenges, Solutions, and Future Directions

abstract: Cell-free (CF) massive multiple-input multiple-output (MIMO) systems, which exploit many geographically distributed access points to coherently serve user equipments via spatial multiplexing on the same time-frequency resource, has become a vital component of the next-generation mobile communication networks. Theoretically, CF massive MIMO systems have many advantages, such as large capacity, great coverage, and high reliability, but several obstacles must be overcome. In this article, we study the paradigm of CF massive MIMO-aided mobile communications, including the main application scenarios and associated deployment architectures. Furthermore, we thoroughly investigate the challenges of CF massive MIMO-aided mobile communications. We then exploit a novel predictor antenna, hierarchical cancellation, rate-splitting and dynamic clustering system for CF massive MIMO. Finally, several important research directions regarding CF massive MIMO for mobile communications are presented to facilitate further investigation.


title: Stochastic Minimum Vertex Cover in General Graphs: a $3/2$-Approximation

abstract: Our main result is designing an algorithm that returns a vertex cover of $\mathcal{G}^\star$ with size at most $(3/2+\epsilon)$ times the expected size of the minimum vertex cover, using only $O(n/\epsilon p)$ non-adaptive queries. This improves over the best-known 2-approximation algorithm by Behnezhad, Blum, and Derakhshan [SODA'22], who also show that $\Omega(n/p)$ queries are necessary to achieve any constant approximation. Our guarantees also extend to instances where edge realizations are not fully independent. We complement this upper bound with a tight $3/2$-approximation lower bound for stochastic graphs whose edges realizations demonstrate mild correlations.


title: Less is More: Understanding Word-level Textual Adversarial Attack via n-gram Frequency Descend

abstract: Word-level textual adversarial attacks have demonstrated notable efficacy in misleading Natural Language Processing (NLP) models. Despite their success, the underlying reasons for their effectiveness and the fundamental characteristics of adversarial examples (AEs) remain obscure. This work aims to interpret word-level attacks by examining their $n$-gram frequency patterns. Our comprehensive experiments reveal that in approximately 90\% of cases, word-level attacks lead to the generation of examples where the frequency of $n$-grams decreases, a tendency we term as the $n$-gram Frequency Descend ($n$-FD). This finding suggests a straightforward strategy to enhance model robustness: training models using examples with $n$-FD. To examine the feasibility of this strategy, we employed the $n$-gram frequency information, as an alternative to conventional loss gradients, to generate perturbed examples in adversarial training. The experiment results indicate that the frequency-based approach performs comparably with the gradient-based approach in improving model robustness. Our research offers a novel and more intuitive perspective for understanding word-level textual adversarial attacks and proposes a new direction to improve model robustness.


title: Spectroscopic Analysis of Hidden-Charm Pentaquarks

abstract: In this work, the multiquark approach is used to analyze the spectroscopy of hidden-charm pentaquark states, motivated by recent discoveries at the LHCb collaboration. Using the SU(3) flavor representation, pentaquarks having $J^P = 5/2^-$ are arranged into 10 (decuplet) of the SU(3) flavor multiplets. The masses of pentaquarks are calculated using the extension of the Gursey-Radicati mass formula and the effective mass scheme. Also, we calculated the magnetic moments of the hidden-charm pentaquarks using the effective mass and shielded charge technique. Further, we suggested the possible production modes for $J^P = 5/2^-$ pentaquarks from the decay of bottom baryons, which consist of pentaquark states as intermediate states. Our results for masses demonstrate reasonable agreement with the available data and our analysis for both masses and magnetic moments may be useful for future experimental studies.


title: Improved Policy Evaluation for Randomized Trials of Algorithmic Resource Allocation

abstract: We consider the task of evaluating policies of algorithmic resource allocation through randomized controlled trials (RCTs). Such policies are tasked with optimizing the utilization of limited intervention resources, with the goal of maximizing the benefits derived. Evaluation of such allocation policies through RCTs proves difficult, notwithstanding the scale of the trial, because the individuals' outcomes are inextricably interlinked through resource constraints controlling the policy decisions. Our key contribution is to present a new estimator leveraging our proposed novel concept, that involves retrospective reshuffling of participants across experimental arms at the end of an RCT. We identify conditions under which such reassignments are permissible and can be leveraged to construct counterfactual trials, whose outcomes can be accurately ascertained, for free. We prove theoretically that such an estimator is more accurate than common estimators based on sample means -- we show that it returns an unbiased estimate and simultaneously reduces variance. We demonstrate the value of our approach through empirical experiments on synthetic, semi-synthetic as well as real case study data and show improved estimation accuracy across the board.


title: Offline Learning in Markov Games with General Function Approximation

abstract: We study offline multi-agent reinforcement learning (RL) in Markov games, where the goal is to learn an approximate equilibrium -- such as Nash equilibrium and (Coarse) Correlated Equilibrium -- from an offline dataset pre-collected from the game. Existing works consider relatively restricted tabular or linear models and handle each equilibria separately. In this work, we provide the first framework for sample-efficient offline learning in Markov games under general function approximation, handling all 3 equilibria in a unified manner. By using Bellman-consistent pessimism, we obtain interval estimation for policies' returns, and use both the upper and the lower bounds to obtain a relaxation on the gap of a candidate policy, which becomes our optimization objective. Our results generalize prior works and provide several additional insights. Importantly, we require a data coverage condition that improves over the recently proposed "unilateral concentrability". Our condition allows selective coverage of deviation policies that optimally trade-off between their greediness (as approximate best responses) and coverage, and we show scenarios where this leads to significantly better guarantees. As a new connection, we also show how our algorithmic framework can subsume seemingly different solution concepts designed for the special case of two-player zero-sum games.


title: 183 GHz water megamasers in active galactic nuclei: a new accretion disk tracer

abstract: We present the results of an ALMA survey to identify 183 GHz H$_2$O maser emission from AGN already known to host 22 GHz megamaser systems. Out of 20 sources observed, we detect significant 183 GHz maser emission from 13; this survey thus increases the number of AGN known to host (sub)millimeter megamasers by a factor of 5. We find that the 183 GHz emission is systematically fainter than the 22 GHz emission from the same targets, with typical flux densities being roughly an order of magnitude lower at 183 GHz than at 22 GHz. However, the isotropic luminosities of the detected 183 GHz sources are comparable to their 22 GHz values. For two of our sources -- ESO 269-G012 and the Circinus galaxy -- we detect rich 183 GHz spectral structure containing multiple line complexes. The 183 GHz spectrum of ESO 269-G012 exhibits the triple-peaked structure characteristic of an edge-on AGN disk system. The Circinus galaxy contains the strongest 183 GHz emission detected in our sample, peaking at a flux density of nearly 5 Jy. The high signal-to-noise ratios achieved by these strong lines enable a coarse mapping of the 183 GHz maser system, in which the masers appear to be distributed similarly to those seen in VLBI maps of the 22 GHz system in the same galaxy and may be tracing the circumnuclear accretion disk at larger orbital radii than are occupied by the 22 GHz masers. This newly identified population of AGN disk megamasers presents a motivation for developing VLBI capabilities at 183 GHz.


title: Topology-aware Federated Learning in Edge Computing: A Comprehensive Survey

abstract: The ultra-low latency requirements of 5G/6G applications and privacy constraints call for distributed machine learning systems to be deployed at the edge. With its simple yet effective approach, federated learning (FL) is a natural solution for massive user-owned devices in edge computing with distributed and private training data. FL methods based on FedAvg typically follow a naive star topology, ignoring the heterogeneity and hierarchy of the volatile edge computing architectures and topologies in reality. Several other network topologies exist and can address the limitations and bottlenecks of the star topology. This motivates us to survey network topology-related FL solutions. In this paper, we conduct a comprehensive survey of the existing FL works focusing on network topologies. After a brief overview of FL and edge computing networks, we discuss various edge network topologies as well as their advantages and disadvantages. Lastly, we discuss the remaining challenges and future works for applying FL to topology-specific edge networks.


title: Effects of Average Number of Platelets Through the Thickness and Platelet Width on the Mechanical Properties of Discontinuous Fiber Composites

abstract: In this study, we experimentally and numerically investigate the evolution of the tensile material properties of Discontinuous Fiber Composites (DFCs) with an increasing average number of platelets through the thickness for two different platelet widths. The results show that both the number of platelets and the platelet width have significant effects on the tensile modulus and strength. We find that not only the average mechanical properties but also their coefficients of variation change according to the different DFC mesostructures. To understand the relationship between material morphology at the mesoscale and corresponding material properties, we developed a random platelet mesostructure generation algorithm combined with explicit finite element models. Leveraging the computational tools, we find that moduli and strength increase with increasing average number of platelets through the thickness. The increasing trend continues until reaching an asymptotic limit at about 45 layers through the thickness for the narrow platelets and 27 layers for the square platelets. In the study, we address the importance of having accurate simulations of the mesostructure to match not only the average modulus and strength but also their associated coefficients of variation. We show that it is possible to accurately predict the tensile material properties of DFCs, including their B-basis design values. This is a quintessential condition for the adoption of DFCs in structural applications.


title: Optimizing Energy-Harvesting Hybrid VLC/RF Networks with Random Receiver Orientation

abstract: In this paper, we consider an indoor hybrid visible light communication (VLC) and radio frequency (RF) communication scenario with two-hop downlink transmission. The LED carries both data and energy in the first phase, VLC, to an energy harvester relay node, which then uses the harvested energy to re-transmit the decoded information to the RF user in the second phase, RF communication. The direct current (DC) bias and the assigned time duration for VLC transmission are taken into account as design parameters. The optimization problem is formulated to maximize the data rate with the assumption of decode-and-forward relaying for fixed receiver orientation. The non-convex optimization is split into two sub-problems and solved cyclically. It optimizes the data rate by solving two sub-problems: fixing time duration for VLC link to solve DC bias and fixing DC bias to solve time duration. The effect of random receiver orientation on the data rate is also studied, and closed-form expressions for both VLC and RF data rates are derived. The optimization is solved through an exhaustive search, and the results show that a higher data rate can be achieved by solving the joint problem of DC bias and time duration compared to solely optimizing the DC bias.


title: Critical behaviors of cascading dynamics on multiplex two-dimensional lattices

abstract: We study the critical phenomena of viable clusters in multiplex two-dimensional lattices using numerical simulations. We identify viable sites on multiplex lattices using two cascading algorithms: the cascade of activations (CA) and deactivations (CD). We found that the giant viable clusters identified by CA and CD processes exhibit different critical behaviors. Specifically, the critical phenomena of CA processes are consistent with the ordinary bond percolation on a single layer but CD processes exhibit the critical behaviors consistent with mutual percolation on multiplex lattices. In addition, we computed the susceptibility of cascading dynamics by using the concept of ghost field. Our results suggest that the CA and CD processes generate viable clusters in different ways.


title: Atom probe analysis of BaTiO3 enabled by metallic shielding

abstract: Atom probe tomography has been raising in prominence as a microscopy and microanalysis technique to gain sub-nanoscale information from technologically-relevant materials. However, the analysis of some functional ceramics, particularly perovskites, has remained challenging with extremely low yield and success rate. This seems particularly problematic for materials with high piezoelectric activity, which may be difficult to express at the low temperatures necessary for satisfactory atom probe analysis. Here, we demonstrate the analysis of commercial BaTiO3 particles embedded in a metallic matrix. Density-functional theory shows that a metallic coating prevents charge penetration of the electrostatic field, and thereby suppresses the associated volume associated change linked to the piezoelectric effect.


title: Revealing compositional evolution of PdAu electrocatalyst by atom probe tomography

abstract: Pd-based electro-catalysts are a key component to improve the methanol oxidation reaction (MOR) kinetics from alcohol fuel cells. However, the performance of such catalysts is degraded over time. To understand the microstructural/atomic scale chemical changes responsible for such effect, scanning (transmission) electron microscopies and atom probe tomography (APT) were performed after accelerated degradation tests (ADT). No morphological changes are observed after 1000 MOR cycles. Contrastingly, (1) Pd and B are leached from PdAu nanoparticles and (2) Au-rich regions are formed at the surface of the catalyst. These insights highlight the importance of understanding the chemical modification undergoing upon MOR to design superior catalysts.


title: Recommender Systems: A Primer

abstract: Personalized recommendations have become a common feature of modern online services, including most major e-commerce sites, media platforms and social networks. Today, due to their high practical relevance, research in the area of recommender systems is flourishing more than ever. However, with the new application scenarios of recommender systems that we observe today, constantly new challenges arise as well, both in terms of algorithmic requirements and with respect to the evaluation of such systems. In this paper, we first provide an overview of the traditional formulation of the recommendation problem. We then review the classical algorithmic paradigms for item retrieval and ranking and elaborate how such systems can be evaluated. Afterwards, we discuss a number of recent developments in recommender systems research, including research on session-based recommendation, biases in recommender systems, and questions regarding the impact and value of recommender systems in practice.


title: Optimal Diffusion Auctions

abstract: Diffusion auction design is a new trend in mechanism design for which the main goal is to incentivize existing buyers to invite new buyers, who are their neighbors on a social network, to join an auction even though they are competitors. With more buyers, a diffusion auction will be able to give a more efficient allocation and receive higher revenue. Existing studies have proposed many interesting diffusion auctions to attract more buyers, but the seller's revenue is not optimized. Hence, in this study, we investigate what optimal revenue the seller can achieve by attracting more buyers. In traditional single-item auctions, Myerson has proposed a mechanism to achieve optimal revenue. However, in the network setting, we prove that a globally optimal mechanism for all structures does not exist. Instead, we show that given a structure, we have a mechanism to get the optimal revenue under this structure only. Since a globally optimal mechanism does not exist, our next goal is to design a mechanism that has a bounded approximation of the optimal revenue in all structures. The approximation of all the early diffusion auctions is zero, and we propose the first mechanism with a non-zero approximation.


title: The Mouse Set Theorem Just Past Projective

abstract: We identify a particular mouse, $M^{\text{ld}}$, the minimal ladder mouse, that sits in the mouse order just past $M_n^{\sharp}$ for all $n$, and we show that $\mathbb{R}\cap M^{\text{ld}} = Q_{\omega+1}$, the set of reals that are $\Delta^1_{\omega+1}$ in a countable ordinal. Thus $Q_{\omega+1}$ is a mouse set. This is analogous to the fact that $\mathbb{R}\cap M^{\sharp}_1 = Q_3$ where $M^{\sharp}_1$ is the the sharp for the minimal inner model with a Woodin cardinal, and $Q_3$ is the set of reals that are $\Delta^1_3$ in a countable ordinal. More generally $\mathbb{R}\cap M^{\sharp}_{2n+1} = Q_{2n+3}$. The mouse $M^{\text{ld}}$ and the set $Q_{\omega+1}$ compose the next natural pair to consider in this series of results. Thus we are proving the mouse set theorem just past projective. Some of this is not new. $\mathbb{R}\cap M^{\text{ld}} \subseteq Q_{\omega+1}$ was known in the 1990's. But $Q_{\omega+1} \subseteq M^{\text{ld}}$ was open until Woodin found a proof in 2018. The main goal of this paper is to give Woodin's proof.


title: Analytical detection of stationary and dynamic patterns in a prey-predator model with reproductive Allee effect in prey growth

abstract: Allee effect in population dynamics has a major impact in suppressing the paradox of enrichment through global bifurcation, and it can generate highly complex dynamics. The influence of the reproductive Allee effect, incorporated in the prey's growth rate of a prey-predator model with Beddington-DeAngelis functional response, is investigated here. Preliminary local and global bifurcations are identified of the temporal model. Existence and non-existence of heterogeneous steady-state solutions of the spatio-temporal system are established for suitable ranges of parameter values. The spatio-temporal model satisfies Turing instability conditions, but numerical investigation reveals that the heterogeneous patterns corresponding to unstable Turing eigen modes acts as a transitory pattern. Inclusion of the reproductive Allee effect in the prey population has a destabilising effect on the coexistence equilibrium. For a range of parameter values, various branches of stationary solutions including mode-dependent Turing solutions and localized pattern solutions are identified using numerical bifurcation technique. The model is also capable to produce some complex dynamic patterns such as travelling wave, moving pulse solution, and spatio-temporal chaos for certain range of parameters and diffusivity along with appropriate choice of initial conditions Judicious choices of parametrization for the Beddington-DeAngelis functional response help us to infer about the resulting patterns for similar prey-predator models with Holling type-II functional response and ratio-dependent functional response.


title: DAO for curves

abstract: We prove the Dynamical Andr\'e-Oort (DAO) conjecture proposed by Baker and DeMarco for families of rational maps parameterized by an algebraic curve. In fact, we prove a stronger result, which is a Bogomolov type generalization of DAO for curves.


title: Distinguishing cosmological models through quantum signatures of primordial perturbations

abstract: We study the evolution of various measures of quantumness of the curvature perturbation by integrating out the inaccessible entropic fluctuations in the multi-field models of inflation. In particular, we discuss the following measures of quantumness, namely purity, entanglement entropy and quantum discord. The models being considered in this work are ones that produce large scale curvature power spectra similar to those produced by single-field models of inflation. More specifically, we consider different multi-field models which generate nearly scale invariant and oscillatory curvature power spectrum and compare their quantum signatures in the perturbations with the corresponding single-field models. We find that, even though different models of inflation may produce the same observable power spectrum on large scales, they have distinct quantum signatures arising from the perturbation modes. This may allow for a way to distinguish between different models of inflation based on their quantum signatures. Intriguingly, this result generalizes to bouncing scenarios as well.


title: Tensor Network Based Finite-Size Scaling for Two-Dimensional Classical Models

abstract: We propose a scheme to perform tensor network based finite-size scaling analysis for two-dimensional classical models. In the tensor network representation of the partition function, we use higher-order tensor renormalization group (HOTRG) method to coarse grain the weight tensor. The renormalized tensor is then used to construct the approximated transfer matrix of an infinite strip of finite width. By diagonalizing the transfer matrix we obtain the correlation length, the magnetization, and the energy density which are used in finite-size scaling analysis to determine the critical temperature and the critical exponents. As a benchmark we study the two-dimensional classical Ising model. We show that the critical temperature and the critical exponents can be accurately determined. With HOTRG bond dimension $D=70$, the absolute errors of the critical temperature $T_c$ and the critical exponent $\nu$, $\beta$ are at the order of $10^{-7}, 10^{-5}$, $10^{-4}$ respectively. Furthermore, the results can be systematically improved by increasing the bond dimension of the HOTRG method. Finally, we study the length scale induced by the finite cut-off in bond dimension and elucidate its physical meaning in this context.


title: Optimal LZ-End Parsing is Hard

abstract: LZ-End is a variant of the well-known Lempel-Ziv parsing family such that each phrase of the parsing has a previous occurrence, with the additional constraint that the previous occurrence must end at the end of a previous phrase. LZ-End was initially proposed as a greedy parsing, where each phrase is determined greedily from left to right, as the longest factor that satisfies the above constraint~[Kreft & Navarro, 2010]. In this work, we consider an optimal LZ-End parsing that has the minimum number of phrases in such parsings. We show that a decision version of computing the optimal LZ-End parsing is NP-complete by showing a reduction from the vertex cover problem. Moreover, we give a MAX-SAT formulation for the optimal LZ-End parsing adapting an approach for computing various NP-hard repetitiveness measures recently presented by [Bannai et al., 2022]. We also consider the approximation ratio of the size of greedy LZ-End parsing to the size of the optimal LZ-End parsing, and give a lower bound of the ratio which asymptotically approaches $2$.


title: Joint Scattering Environment Sensing and Channel Estimation Based on Non-stationary Markov Random Field

abstract: This paper considers an integrated sensing and communication system, where some radar targets also serve as communication scatterers. A location domain channel modeling method is proposed based on the position of targets and scatterers in the scattering environment, and the resulting radar and communication channels exhibit a two-dimensional (2-D) joint burst sparsity. We propose a joint scattering environment sensing and channel estimation scheme to enhance the target/scatterer localization and channel estimation performance simultaneously, where a spatially non-stationary Markov random field (MRF) model is proposed to capture the 2-D joint burst sparsity. An expectation maximization (EM) based method is designed to solve the joint estimation problem, where the E-step obtains the Bayesian estimation of the radar and communication channels and the M-step automatically learns the dynamic position grid and prior parameters in the MRF. However, the existing sparse Bayesian inference methods used in the E-step involve a high-complexity matrix inverse per iteration. Moreover, due to the complicated non-stationary MRF prior, the complexity of M-step is exponentially large. To address these difficulties, we propose an inverse-free variational Bayesian inference algorithm for the E-step and a low-complexity method based on pseudo-likelihood approximation for the M-step. In the simulations, the proposed scheme can achieve a better performance than the state-of-the-art method while reducing the computational overhead significantly.


title: B dopant evolution in Pd catalysts after H evolution/oxidation reaction in alkaline environment

abstract: Introduction of interstitial dopants has opened a new pathway to optimize nanoparticle catalytic activity for, e.g., hydrogen evolution/oxidation and other reactions. Here, we discuss the stability of a property-enhancing dopant, B, introduced through controlled synthesis of an electrocatalyst Pd aerogel. We observe significant removal of B after the hydrogen evolution/oxidation reaction. Ab-initio calculations show that the high stability of sub-surface B in Pd is substantially reduced when H is ad/absorbed on the surface, favoring its departure from the host nanostructure. The destabilization of sub-surface B is more pronounced as more H occupies surface sites and empty interstitial sites. We hence demonstrate that the H2 fuel/product itself favors the microstructural degradation of the electrocatalyst and an associated drop in activity.


title: $z$-SignFedAvg: A Unified Stochastic Sign-based Compression for Federated Learning

abstract: Federated Learning (FL) is a promising privacy-preserving distributed learning paradigm but suffers from high communication cost when training large-scale machine learning models. Sign-based methods, such as SignSGD \cite{bernstein2018signsgd}, have been proposed as a biased gradient compression technique for reducing the communication cost. However, sign-based algorithms could diverge under heterogeneous data, which thus motivated the development of advanced techniques, such as the error-feedback method and stochastic sign-based compression, to fix this issue. Nevertheless, these methods still suffer from slower convergence rates. Besides, none of them allows multiple local SGD updates like FedAvg \cite{mcmahan2017communication}. In this paper, we propose a novel noisy perturbation scheme with a general symmetric noise distribution for sign-based compression, which not only allows one to flexibly control the tradeoff between gradient bias and convergence performance, but also provides a unified viewpoint to existing stochastic sign-based methods. More importantly, the unified noisy perturbation scheme enables the development of the very first sign-based FedAvg algorithm ($z$-SignFedAvg) to accelerate the convergence. Theoretically, we show that $z$-SignFedAvg achieves a faster convergence rate than existing sign-based methods and, under the uniformly distributed noise, can enjoy the same convergence rate as its uncompressed counterpart. Extensive experiments are conducted to demonstrate that the $z$-SignFedAvg can achieve competitive empirical performance on real datasets and outperforms existing schemes.


title: Consensus dynamics and coherence in hierarchical small-world networks

abstract: The hierarchical small-world network is a real-world network. It models well the benefit transmission web of the pyramid selling in China and many other countries. In this paper, by applying the spectral graph theory, we study three important aspects of the consensus problem in the hierarchical small-world network: convergence speed, communication time-delay robustness, and network coherence. Firstly, we explicitly determine the Laplacian eigenvalues of the hierarchical small-world network by making use of its treelike structure. Secondly, we find that the consensus algorithm on the hierarchical small-world network converges faster than that on some well-studied sparse networks, but is less robust to time delay. The closed-form of the first-order and the second-order network coherence are also derived. Our result shows that the hierarchical small-world network has an optimal structure of noisy consensus dynamics. Therefore, we provide a positive answer to two open questions of Yi \emph{et al}. Finally, we argue that some network structure characteristics, such as large maximum degree, small average path length, and large vertex and edge connectivity, are responsible for the strong robustness with respect to external perturbations.


title: Generative Diffusion Models on Graphs: Methods and Applications

abstract: Diffusion models, as a novel generative paradigm, have achieved remarkable success in various image generation tasks such as image inpainting, image-to-text translation, and video generation. Graph generation is a crucial computational task on graphs with numerous real-world applications. It aims to learn the distribution of given graphs and then generate new graphs. Given the great success of diffusion models in image generation, increasing efforts have been made to leverage these techniques to advance graph generation in recent years. In this paper, we first provide a comprehensive overview of generative diffusion models on graphs, In particular, we review representative algorithms for three variants of graph diffusion models, i.e., Score Matching with Langevin Dynamics (SMLD), Denoising Diffusion Probabilistic Model (DDPM), and Score-based Generative Model (SGM). Then, we summarize the major applications of generative diffusion models on graphs with a specific focus on molecule and protein modeling. Finally, we discuss promising directions in generative diffusion models on graph-structured data. For this survey, we also created a GitHub project website by collecting the supporting resources for generative diffusion models on graphs, at the link: https://github.com/ChengyiLIU-cs/Generative-Diffusion-Models-on-Graphs


title: RLTP: Reinforcement Learning to Pace for Delayed Impression Modeling in Preloaded Ads

abstract: To increase brand awareness, many advertisers conclude contracts with advertising platforms to purchase traffic and then deliver advertisements to target audiences. In a whole delivery period, advertisers usually desire a certain impression count for the ads, and they also expect that the delivery performance is as good as possible (e.g., obtaining high click-through rate). Advertising platforms employ pacing algorithms to satisfy the demands via adjusting the selection probabilities to traffic requests in real-time. However, the delivery procedure is also affected by the strategies from publishers, which cannot be controlled by advertising platforms. Preloading is a widely used strategy for many types of ads (e.g., video ads) to make sure that the response time for displaying after a traffic request is legitimate, which results in delayed impression phenomenon. Traditional pacing algorithms cannot handle the preloading nature well because they rely on immediate feedback signals, and may fail to guarantee the demands from advertisers. In this paper, we focus on a new research problem of impression pacing for preloaded ads, and propose a Reinforcement Learning To Pace framework RLTP. It learns a pacing agent that sequentially produces selection probabilities in the whole delivery period. To jointly optimize the two objectives of impression count and delivery performance, RLTP employs tailored reward estimator to satisfy the guaranteed impression count, penalize the over-delivery and maximize the traffic value. Experiments on large-scale industrial datasets verify that RLTP outperforms baseline pacing algorithms by a large margin. We have deployed the RLTP framework online to our advertising platform, and results show that it achieves significant uplift to core metrics including delivery completion rate and click-through rate.


title: SU UMa-type supercycle in the IW And-type dwarf nova BO Cet above the period gap

abstract: BO Cet is renowned cataclysmic variable having an orbital period above the period gap (0.139835 d) and showing both features of a Z Cam/IW And star and an SU UMa star. Using the Asteroid Terrestrial-impact Last Alert System (ATLAS) forced photometry and the All-Sky Automated Survey for Supernovae (ASAS-SN) Sky Patrol data, I found that BO Cet underwent a superoutburst in 2022 October-November after a series of short, normal outbursts with increasing amplitudes. This sequence of outbursts (supercycle) is what is seen in many SU UMa stars and this observation strengthened the suggestion that the accumulating mass and angular momentum in the disk during repeated normal outbursts caused a superoutburst even in the unusual system BO Cet. The outburst just preceding the superoutburst bore characteristics of an IW And-type standstill. This phenomenon reinforces the suggestion that the terminal outburst in IW And stars occurs when the disk radius reaches a certain limit. I consider that this outburst was a failed superoutburst, during which the disk reached the radius of the 3:1 resonance but the outburst faded before superhumps developed. In BO Cet with a mass ratio on the borderline of the stability of the 3:1 resonance, there may have been a competition between the effects of tidal truncation and the 3:1 resonance as the disk radius grew and the latter won in the current case. This finding in BO Cet might suggest that IW And-type and SU UMa-type phenomena are more strongly physically related than have been thought.


title: Generating Subsurface Earth Models using Discrete Representation Learning and Deep Autoregressive Network

abstract: Subsurface earth models (referred to as geo-models) are crucial for characterizing complex subsurface systems. Multiple-point statistics are commonly used to generate geo-models. In this paper, a deep-learning-based generative method is developed as an alternative to the traditional Geomodel generation procedure. The generative method comprises two deep-learning models, namely the hierarchical vector-quantized variational autoencoder (VQ-VAE-2) and PixelSNAIL autoregressive model. Based on the principle of neural discrete representation learning, the VQ-VAE-2 learns to massively compress the Geomodels to extract the low-dimensional, discrete latent representation corresponding to each Geomodel. Following that, PixelSNAIL uses the deep autoregressive network to learn the prior distribution of the latent codes. For the purpose of Geomodel generation, PixelSNAIL samples from the newly learned prior distribution of latent codes, and then the decoder of the VQ-VAE-2 converts the newly sampled latent code to a newly constructed geo-model. PixelSNAIL can be used for unconditional or conditional geo-model generation. In an unconditional generation, the generative workflow generates an ensemble of geo-models without any constraint. On the other hand, in the conditional geo-model generation, the generative workflow generates an ensemble of geo-models similar to a user-defined source image, which ultimately facilitates the control and manipulation of the generated geo-models. To better construct the fluvial channels in the geo-models, the perceptual loss is implemented in the VQ-VAE-2 model instead of the traditional mean squared error loss. At a specific compression ratio, the quality of multi-attribute geo-model generation is better than that of single-attribute geo-model generation.


title: Clarifying Trust of Materials Property Predictions using Neural Networks with Distribution-Specific Uncertainty Quantification

abstract: It is critical that machine learning (ML) model predictions be trustworthy for high-throughput catalyst discovery approaches. Uncertainty quantification (UQ) methods allow estimation of the trustworthiness of an ML model, but these methods have not been well explored in the field of heterogeneous catalysis. Herein, we investigate different UQ methods applied to a crystal graph convolutional neural network (CGCNN) to predict adsorption energies of molecules on alloys from the Open Catalyst 2020 (OC20) dataset, the largest existing heterogeneous catalyst dataset. We apply three UQ methods to the adsorption energy predictions, namely k-fold ensembling, Monte Carlo dropout, and evidential regression. The effectiveness of each UQ method is assessed based on accuracy, sharpness, dispersion, calibration, and tightness. Evidential regression is demonstrated to be a powerful approach for rapidly obtaining tunable, competitively trustworthy UQ estimates for heterogeneous catalysis applications when using neural networks. Recalibration of model uncertainties is shown to be essential in practical screening applications of catalysts using uncertainties.


title: Ten Lessons We Have Learned in the New "Sparseland": A Short Handbook for Sparse Neural Network Researchers

abstract: This article does not propose any novel algorithm or new hardware for sparsity. Instead, it aims to serve the "common good" for the increasingly prosperous Sparse Neural Network (SNN) research community. We attempt to summarize some most common confusions in SNNs, that one may come across in various scenarios such as paper review/rebuttal and talks - many drawn from the authors' own bittersweet experiences! We feel that doing so is meaningful and timely, since the focus of SNN research is notably shifting from traditional pruning to more diverse and profound forms of sparsity before, during, and after training. The intricate relationships between their scopes, assumptions, and approaches lead to misunderstandings, for non-experts or even experts in SNNs. In response, we summarize ten Q\&As of SNNs from many key aspects, including dense vs. sparse, unstructured sparse vs. structured sparse, pruning vs. sparse training, dense-to-sparse training vs. sparse-to-sparse training, static sparsity vs. dynamic sparsity, before-training/during-training vs. post-training sparsity, and many more. We strive to provide proper and generically applicable answers to clarify those confusions to the best extent possible. We hope our summary provides useful general knowledge for people who want to enter and engage with this exciting community; and also provides some "mind of ease" convenience for SNN researchers to explain their work in the right contexts. At the very least (and perhaps as this article's most insignificant target functionality), if you are writing/planning to write a paper or rebuttal in the field of SNNs, we hope some of our answers could help you!


title: ProbPNN: Enhancing Deep Probabilistic Forecasting with Statistical Information

abstract: Probabilistic forecasts are essential for various downstream applications such as business development, traffic planning, and electrical grid balancing. Many of these probabilistic forecasts are performed on time series data that contain calendar-driven periodicities. However, existing probabilistic forecasting methods do not explicitly take these periodicities into account. Therefore, in the present paper, we introduce a deep learning-based method that considers these calendar-driven periodicities explicitly. The present paper, thus, has a twofold contribution: First, we apply statistical methods that use calendar-driven prior knowledge to create rolling statistics and combine them with neural networks to provide better probabilistic forecasts. Second, we benchmark ProbPNN with state-of-the-art benchmarks by comparing the achieved normalised continuous ranked probability score (nCRPS) and normalised Pinball Loss (nPL) on two data sets containing in total more than 1000 time series. The results of the benchmarks show that using statistical forecasting components improves the probabilistic forecast performance and that ProbPNN outperforms other deep learning forecasting methods whilst requiring less computation costs.


title: Cluster-aware Contrastive Learning for Unsupervised Out-of-distribution Detection

abstract: Unsupervised out-of-distribution (OOD) Detection aims to separate the samples falling outside the distribution of training data without label information. Among numerous branches, contrastive learning has shown its excellent capability of learning discriminative representation in OOD detection. However, for its limited vision, merely focusing on instance-level relationship between augmented samples, it lacks attention to the relationship between samples with same semantics. Based on the classic contrastive learning, we propose Cluster-aware Contrastive Learning (CCL) framework for unsupervised OOD detection, which considers both instance-level and semantic-level information. Specifically, we study a cooperation strategy of clustering and contrastive learning to effectively extract the latent semantics and design a cluster-aware contrastive loss function to enhance OOD discriminative ability. The loss function can simultaneously pay attention to the global and local relationships by treating both the cluster centers and the samples belonging to the same cluster as positive samples. We conducted sufficient experiments to verify the effectiveness of our framework and the model achieves significant improvement on various image benchmarks.


title: Colossal-Auto: Unified Automation of Parallelization and Activation Checkpoint for Large-scale Models

abstract: In recent years, large-scale models have demonstrated state-of-the-art performance across various domains. However, training such models requires various techniques to address the problem of limited computing power and memory on devices such as GPUs. Some commonly used techniques include pipeline parallelism, tensor parallelism, and activation checkpointing. While existing works have focused on finding efficient distributed execution plans (Zheng et al. 2022) and activation checkpoint scheduling (Herrmann et al. 2019, Beaumont et al. 2021}, there has been no method proposed to optimize these two plans jointly. Moreover, ahead-of-time compilation relies heavily on accurate memory and computing overhead estimation, which is often time-consuming and misleading. Existing training systems and machine learning pipelines either physically execute each operand or estimate memory usage with a scaled input tensor. To address these challenges, we introduce a system that can jointly optimize distributed execution and gradient checkpointing plans. Additionally, we provide an easy-to-use symbolic profiler that generates memory and computing statistics for any PyTorch model with a minimal time cost. Our approach allows users to parallelize their model training on the given hardware with minimum code change based. The source code is publicly available at Colossal-AI GitHub or https://github.com/hpcaitech/ColossalAI


title: Contact problems in porous media

abstract: The Biot problem of poroelasticity is extended by Signorini contact conditions. The resulting Biot contact problem is formulated and analyzed as a two field variational inequality problem of a perturbed saddle point structure. We present an a priori error analysis for a general as well as for a $hp$-FE discretization including convergence and guaranteed convergence rates for the latter. Moreover, we derive a family of reliable and efficient residual based a posteriori error estimators, and elaborate how a simple and efficient primal-dual active set solver can be applied to solve the discrete Galerkin problem. Numerical results underline our theoretical finding and show that optimal, in particular exponential, convergence rates can be achieved by adaptive schemes for two dimensional problems.


title: Learning Representations of Bi-level Knowledge Graphs for Reasoning beyond Link Prediction

abstract: Knowledge graphs represent known facts using triplets. While existing knowledge graph embedding methods only consider the connections between entities, we propose considering the relationships between triplets. For example, let us consider two triplets $T_1$ and $T_2$ where $T_1$ is (Academy_Awards, Nominates, Avatar) and $T_2$ is (Avatar, Wins, Academy_Awards). Given these two base-level triplets, we see that $T_1$ is a prerequisite for $T_2$. In this paper, we define a higher-level triplet to represent a relationship between triplets, e.g., $\langle T_1$, PrerequisiteFor, $T_2\rangle$ where PrerequisiteFor is a higher-level relation. We define a bi-level knowledge graph that consists of the base-level and the higher-level triplets. We also propose a data augmentation strategy based on the random walks on the bi-level knowledge graph to augment plausible triplets. Our model called BiVE learns embeddings by taking into account the structures of the base-level and the higher-level triplets, with additional consideration of the augmented triplets. We propose two new tasks: triplet prediction and conditional link prediction. Given a triplet $T_1$ and a higher-level relation, the triplet prediction predicts a triplet that is likely to be connected to $T_1$ by the higher-level relation, e.g., $\langle T_1$, PrerequisiteFor, ?$\rangle$. The conditional link prediction predicts a missing entity in a triplet conditioned on another triplet, e.g., $\langle T_1$, PrerequisiteFor, (Avatar, Wins, ?)$\rangle$. Experimental results show that BiVE significantly outperforms all other methods in the two new tasks and the typical base-level link prediction in real-world bi-level knowledge graphs.


title: Random matching in 2D with exponent 2 for gaussian densities

abstract: We solve the Random Euclidean Matching problem with exponent 2 for the Gaussian distribution defined on the plane. Previous works by Ledoux and Talagrand determined the leading behavior of the average cost up to a multiplicative constant. We explicitly determine the constant, showing that the average cost is proportional to (log N)^2, where N is the number of points. Our approach relies on a geometric decomposition allowing an explicit computation of the constant. Our results illustrate the potential for exact solutions of random matching problems for many distributions defined on unbounded domains on the plane.


title: Quantum spin helices more stable than the ground state: onset of helical protection

abstract: Topological magnetic structures are promising candidates for resilient information storage. An elementary example are spin helices in one-dimensional easy-plane quantum magnets. To quantify their stability, we numerically implement the stochastic Schr\"odinger equation and time-dependent perturbation theory for spin chains with fluctuating local magnetic fields. We find two classes of quantum spin helices that can reach and even exceed ground-state stability: Spin-current-maximizing helices and, for fine-tuned boundary conditions, the recently discovered "phantom helices". Beyond that, we show that the helicity itself (left- or right-rotating) is even more stable. We explain these findings by separated helical sectors and connect them to topological sectors in continuous spin systems. The resulting helical protection mechanism is a promising phenomenon towards stabilizing helical quantum structures, e.g., in ultracold atoms and solid state systems. We also identify an - up to our knowledge - previously unknown new type of phantom helices.


title: Temperature dependent anisotropy and two-band superconductivity revealed by lower critical field in organic superconductor $\kappa$-(BEDT-TTF)$_{2}$Cu[N(CN)$_{2}$]Br

abstract: Resistivity and magnetization have been measured at different temperatures and magnetic fields in organic superconductors $\kappa$-(BEDT-TTF)$_{2}$Cu[N(CN)$_{2}$]Br. The lower critical field and upper critical field are determined, which allow to depict a complete phase diagram. Through the comparison between the upper critical fields with magnetic field perpendicular and parallel to the conducting ac-planes, and the scaling of the in-plane resistivity with field along different directions, we found that the anisotropy $\Gamma$ is strongly temperature dependent. It is found that $\Gamma$ is quite large (above 20) near $T_{c}$, which satisfies the 2D model, but approaches a small value in the low-temperature region. The 2D-Tinkham model can also be used to fit the data at high temperatures. This is explained as a crossover from the orbital depairing mechanism in high-temperature and low-field region to the paramagnetic depairing mechanism in the high-field and low-temperature region. The temperature dependence of lower critical field $H_{c1} (T)$ shows a concave shape in wide temperature region. It is found that neither a single $d$-wave nor a single $s$-wave gap can fit the $H_{c1} (T)$, however a two-gap model containing an $s$-wave and a $d$-wave can fit the data rather well, suggesting two-band superconductivity and an unconventional pairing mechanism in this organic superconductor.


title: Toward Large Kernel Models

abstract: Recent studies indicate that kernel machines can often perform similarly or better than deep neural networks (DNNs) on small datasets. The interest in kernel machines has been additionally bolstered by the discovery of their equivalence to wide neural networks in certain regimes. However, a key feature of DNNs is their ability to scale the model size and training data size independently, whereas in traditional kernel machines model size is tied to data size. Because of this coupling, scaling kernel machines to large data has been computationally challenging. In this paper, we provide a way forward for constructing large-scale general kernel models, which are a generalization of kernel machines that decouples the model and data, allowing training on large datasets. Specifically, we introduce EigenPro 3.0, an algorithm based on projected dual preconditioned SGD and show scaling to model and data sizes which have not been possible with existing kernel methods.


title: Real analytic extension of functions on normal crossings

abstract: We consider a compact $C^\omega$ manifold $X$ and finitely many regular $C^\omega$ submanifolds $Y_1, \dots, Y_q$ of $X$, which are closed subsets in $X$, such that the union of $Y_j$'s has only normal crossings. We show that every continuous function on the union which is of class $C^\omega$ on each $Y_j$ can be extended to a $C^\omega$ function on $X$. A crucial feature of our proof is to employ basic tools of real analytic geometry -- Cartan Theorems A and B.


title: Target-based Surrogates for Stochastic Optimization

abstract: We consider minimizing functions for which it is expensive to compute the (possibly stochastic) gradient. Such functions are prevalent in reinforcement learning, imitation learning and adversarial training. Our target optimization framework uses the (expensive) gradient computation to construct surrogate functions in a \emph{target space} (e.g. the logits output by a linear model for classification) that can be minimized efficiently. This allows for multiple parameter updates to the model, amortizing the cost of gradient computation. In the full-batch setting, we prove that our surrogate is a global upper-bound on the loss, and can be (locally) minimized using a black-box optimization algorithm. We prove that the resulting majorization-minimization algorithm ensures convergence to a stationary point of the loss. Next, we instantiate our framework in the stochastic setting and propose the $SSO$ algorithm, which can be viewed as projected stochastic gradient descent in the target space. This connection enables us to prove theoretical guarantees for $SSO$ when minimizing convex functions. Our framework allows the use of standard stochastic optimization algorithms to construct surrogates which can be minimized by any deterministic optimization method. To evaluate our framework, we consider a suite of supervised learning and imitation learning problems. Our experiments indicate the benefits of target optimization and the effectiveness of $SSO$.


title: Cooperative Task-Oriented Communication for Multi-Modal Data with Transmission Control

abstract: Real-time intelligence applications in Internet of Things (IoT) environment depend on timely data communication. However, it is challenging to transmit and analyse massive data of various modalities. Recently proposed task-oriented communication methods based on deep learning have showed its superiority in communication efficiency. In this paper, we propose a cooperative task-oriented communication method for the transmission of multi-modal data from multiple end devices to a central server. In particular, we use the transmission result of data of one modality, which is with lower rate, to control the transmission of other modalities with higher rate in order to reduce the amount of transmitted date. We take the human activity recognition (HAR) task in a smart home environment and design the semantic-oriented transceivers for the transmission of monitoring videos of different rooms and acceleration data of the monitored human. The numerical results demonstrate that by using the transmission control based on the obtained results of the received acceleration data, the transmission is reduced to 2% of that without transmission control while preserving the performance on the HAR task.


title: Improving Domain Generalization with Domain Relations

abstract: Distribution shift presents a significant challenge in machine learning, where models often underperform during the test stage when faced with a different distribution than the one they were trained on. This paper focuses on domain shifts, which occur when the model is applied to new domains that are different from the ones it was trained on, and propose a new approach called D$^3$G. Unlike previous methods that aim to learn a single model that is domain invariant, D$^3$G leverages domain similarities based on domain metadata to learn domain-specific models. Concretely, D$^3$G learns a set of training-domain-specific functions during the training stage and reweights them based on domain relations during the test stage. These domain relations can be directly obtained and learned from domain metadata. Under mild assumptions, we theoretically prove that using domain relations to reweight training-domain-specific functions achieves stronger out-of-domain generalization compared to the conventional averaging approach. Empirically, we evaluate the effectiveness of D$^3$G using real-world datasets for tasks such as temperature regression, land use classification, and molecule-protein binding affinity prediction. Our results show that D$^3$G consistently outperforms state-of-the-art methods.


title: Drastic enhancement of the superconducting temperature in type-II Weyl semimetal candidate MoTe$_2$ via biaxial strain

abstract: Type-II Weyl semimetal candidate MoTe$_2$, which superconducts at T_c~0.1 K, is one of the promising candidates for realizing topological superconductivity. However, the exceedingly low $T_c$ is associated with a small upper critical field ($H_{c2}$), implying a fragile superconducting phase that only exists on a small region of the $H$-$T$ phase diagram. Here, we describe a simple and versatile approach based on the differential thermal expansion between dissimilar materials to subject a thin single crystalline MoTe$_2$ to biaxial strain. With this approach, we successfully enhance the $T_c$ of MoTe$_2$ five-fold and consequently expand the superconducting region on the $H$-$T$ phase diagram significantly. To demonstrate the relative ease of studying the superconductivity in the biaxially strained MoTe$_2$, we further present the magnetotransport data, enabling the study of the temperature-dependent $H_{c2}$ and the anisotropy of the superconducting state which would otherwise be difficult to obtain in a free-standing MoTe$_2$. Our work shows that biaxial strain is an effective knob to tune the electronic properties of MoTe$_2$. Due to the simplicity of our methodology to apply biaxial strain, we anticipate its direct applicability to a wider class of quantum materials.


title: Robust Data-driven Metallicities for 175 Million Stars from Gaia XP Spectra

abstract: We derive and publish data-driven estimates of stellar metallicities [M/H] for 175 million stars with low-resolution XP spectra published in Gaia DR3. The [M/H] values, along with Teff and logg, are derived using the XGBoost algorithm, trained on stellar parameters from APOGEE, augmented by a set of very metal-poor stars. XGBoost draws on a number of data features: the full set of XP spectral coefficients, narrowband fluxes derived from XP spectra, and broadband magnitudes. In particular, we include CatWISE magnitudes, as they reduce the degeneracy of Teff and dust reddening. We also include the parallax as a data feature, which helps constrain logg and [M/H]. The resulting mean stellar parameter precision is 0.1 dex in [M/H], 50 K in Teff, and 0.08 dex in logg. This all-sky [M/H] sample is substantially larger than published samples of comparable fidelity across -3<[M/H]<+0.5. Additionally, we provide a catalog of over 17 million bright (G<16) red giants whose [M/H] are vetted to be precise and pure. We present all-sky maps of the Milky Way in different [M/H] regimes that illustrate the purity of the dataset, and demonstrate the power of this unprecedented sample to reveal the Milky Way's structure from its heart to its disk.


title: Theoretical description of optofluidic force induction

abstract: Optofluidic force induction (OF2i) is an optical nanoparticle characterization scheme which achieves real-time optical counting with single-particle sensitivity and high throughput. In a recent paper [\v{S}imi\'c et al., Phys. Rev. Appl. 18, 024056 (2022)], we have demonstrated the working principle for standardized polystrene nanoparticles, and have developed a theoretical model to analyze the experimental data. In this paper we give a detailed account of the model ingredients including the full working equations, provide additional justification for the assumptions underlying OF2i, and discuss directions for further developments and future research.


title: On the asymptotic behavior of a finite section of the optimal causal filter

abstract: We establish an $L_1$-bound between the coefficients of the optimal causal filter applied to the data-generating process and its finite sample approximation. Here, we assume that the data-generating process is a second-order stationary time series with either short or long memory autocovariances. To derive the $L_1$-bound, we first provide an exact expression for the coefficients of the causal filter and their approximations in terms of the absolute convergent series of the multistep ahead infinite and finite predictor coefficients, respectively. Then, we prove a so-called uniform Baxter's inequality to obtain a bound for the difference between the infinite and finite multistep ahead predictor coefficients in both short and long memory time series. The $L_1$-approximation error bound for the causal filter coefficients can be used to evaluate the performance of the linear predictions of time series through the mean squared error criterion.


title: A Pre-training Framework for Knowledge Graph Completion

abstract: Knowledge graph completion (KGC) is one of the effective methods to identify new facts in knowledge graph. Except for a few methods based on graph network, most of KGC methods trend to be trained based on independent triples, while are difficult to take a full account of the information of global network connection contained in knowledge network. To address these issues, in this study, we propose a simple and effective Network-based Pre-training framework for knowledge graph completion (termed NetPeace), which takes into account the information of global network connection and local triple relationships in knowledge graph. Experiments show that in NetPeace framework, multiple KGC models yields consistent and significant improvements on benchmarks (e.g., 36.45% Hits@1 and 27.40% MRR improvements for TuckER on FB15k-237), especially dense knowledge graph. On the challenging low-resource task, NetPeace that benefits from the global features of KG achieves higher performance (104.03% MRR and 143.89% Hit@1 improvements at most) than original models.


title: Rethinking Out-of-distribution (OOD) Detection: Masked Image Modeling is All You Need

abstract: The core of out-of-distribution (OOD) detection is to learn the in-distribution (ID) representation, which is distinguishable from OOD samples. Previous work applied recognition-based methods to learn the ID features, which tend to learn shortcuts instead of comprehensive representations. In this work, we find surprisingly that simply using reconstruction-based methods could boost the performance of OOD detection significantly. We deeply explore the main contributors of OOD detection and find that reconstruction-based pretext tasks have the potential to provide a generally applicable and efficacious prior, which benefits the model in learning intrinsic data distributions of the ID dataset. Specifically, we take Masked Image Modeling as a pretext task for our OOD detection framework (MOOD). Without bells and whistles, MOOD outperforms previous SOTA of one-class OOD detection by 5.7%, multi-class OOD detection by 3.0%, and near-distribution OOD detection by 2.1%. It even defeats the 10-shot-per-class outlier exposure OOD detection, although we do not include any OOD samples for our detection


title: Nonholonomic systems with inequality constraints

abstract: In this paper we derive the equations of motion for nonholonomic systems subject to inequality constraints, both, in continuous-time and discrete-time. The last is done by discretizing the continuous time-variational principle which defined the equations of motion for a nonholonomic system subject to inequality constraints. An example is show to illustrate the theoretical results.


title: Interface engineering of charge-transfer excitons in 2D lateral heterostructures

abstract: The existence of bound charge transfer (CT) excitons at the interface of monolayer lateral heterojunctions has been debated in literature, but contrary to the case of interlayer excitons in vertical heterostructure their observation still has to be confirmed. Here, we present a microscopic study investigating signatures of bound CT excitons in photoluminescence spectra at the interface of hBN-encapsulated lateral MoSe$_2$-WSe$_2$ heterostructures. Based on a fully microscopic and material-specific theory, we reveal the many-particle processes behind the formation of CT excitons and how they can be tuned via interface- and dielectric engineering. For junction widths smaller than the Coulomb-induced Bohr radius we predict the appearance of a low-energy CT exciton. The theoretical prediction is compared with experimental low-temperature photoluminescence measurements showing emission in the bound CT excitons energy range. Our joint theory-experiment study presents a significant step towards a microscopic understanding of optical properties of technologically promising 2D lateral heterostructures.


title: Band topology and non-trivial surface States in type-II Dirac semi-metal (Ni, Pd)Te2

abstract: The semi-metals having electrons near the Fermi level follow the relativistic equation of motion, and show Dirac or Weyl-type behavior. Their orbital resolved electronic bands analysis indicates the non-trivial topological states. Through the first principle methods, the electronic band structure of bulk and thin layers of transition metal dichalcogenides NiTe2 and PdTe2 are calculated and analyzed. Implementation of Hubbard corrections to the band structure indicates zero magnetization, though atoms of Ni are magnetic. Z2 invariant index is calculated for topological classification for both materials and is found to possess strong topology indicating robust topological surface states. Further, Fermi surfaces and topological surface states are computed into kz plane showing the presence of Dirac-fermions by forming of Dirac cone for PdTe2 but for NiTe2 we do not get clear evidence.


title: COVID-19 Infection Analysis Framework using Novel Boosted CNNs and Radiological Images

abstract: COVID-19 is a new pathogen that first appeared in the human population at the end of 2019, and it can lead to novel variants of pneumonia after infection. COVID-19 is a rapidly spreading infectious disease that infects humans faster. Therefore, efficient diagnostic systems may accurately identify infected patients and thus help control their spread. In this regard, a new two-stage analysis framework is developed to analyze minute irregularities of COVID-19 infection. A novel detection Convolutional Neural Network (CNN), STM-BRNet, is developed that incorporates the Split-Transform-Merge (STM) block and channel boosting (CB) to identify COVID-19 infected CT slices in the first stage. Each STM block extracts boundary and region-smoothing-specific features for COVID-19 infection detection. Moreover, the various boosted channels are obtained by introducing the new CB and Transfer Learning (TL) concept in STM blocks to capture small illumination and texture variations of COVID-19-specific images. The COVID-19 CTs are provided with new SA-CB-BRSeg segmentation CNN for delineating infection in images in the second stage. SA-CB-BRSeg methodically utilized smoothening and heterogeneous operations in the encoder and decoder to capture simultaneously COVID-19 specific patterns that are region homogeneity, texture variation, and boundaries. Additionally, the new CB concept is introduced in the decoder of SA-CB-BRSeg by combining additional channels using TL to learn the low contrast region. The proposed STM-BRNet and SA-CB-BRSeg yield considerable achievement in accuracy: 98.01 %, Recall: 98.12%, F-score: 98.11%, and Dice Similarity: 96.396%, IOU: 98.845 % for the COVID-19 infectious region, respectively. The proposed two-stage framework significantly increased performance compared to single-phase and other reported systems and reduced the burden on the radiologists.


title: The geodesic flow of the BGPP metric is Liouville integrable

abstract: We prove that the geodesics equations corresponding to the BGPP metric are integrable in the Liouville sense. The $\mathrm{SO}(3,\mathbb{R})$ symmetry of the model allows to reduce the system from four to two degrees of freedom. Moreover, solutions of the reduced system and its degenerations can be solved explicitly or reduced to a certain quadrature. In degenerated cases BGPP metric coincides with the Eguchi-Hanson metric and for this case the mentioned quadrature can be calculated explicitly in terms of elliptic integrals.


title: Prediction of Room-Temperature Superconductivity in Quasi-atomic H2-Type Hydrides at High Pressure

abstract: Achieving superconductivity at room temperature (RT) is a holy grail in physics. Recent discoveries on high-Tc superconductivity in binary hydrides H3S and LaH10 at high pressure have directed the search for RT superconductors to compress hydrides with conventional electron-phonon mechanisms. Here, we predict an exceptional family of superhydrides under high pressures, MH12 (M = Mg, Sc, Zr, Hf, Lu), all exhibiting RT superconductivity with calculated Tcs ranging from 313 to 398 K. In contrast to H3S and LaH10, the hydrogen sublattice in MH12 is arranged as quasi-atomic H2 units. This unique configuration is closely associated with high Tc, attributed to the high electronic density of states derived from H2 antibonding states at the Fermi level and the strong electron-phonon coupling related to the bending vibration of H2 and H-M-H. Notably, MgH12 and ScH12 remain dynamically stable even at pressure below 100 GPa. Our findings offer crucial insights into achieving RT superconductivity and pave the way for innovative directions in experimental research.


title: Uncertainty Calibration and its Application to Object Detection

abstract: Image-based environment perception is an important component especially for driver assistance systems or autonomous driving. In this scope, modern neuronal networks are used to identify multiple objects as well as the according position and size information within a single frame. The performance of such an object detection model is important for the overall performance of the whole system. However, a detection model might also predict these objects under a certain degree of uncertainty. [...] In this work, we examine the semantic uncertainty (which object type?) as well as the spatial uncertainty (where is the object and how large is it?). We evaluate if the predicted uncertainties of an object detection model match with the observed error that is achieved on real-world data. In the first part of this work, we introduce the definition for confidence calibration of the semantic uncertainty in the context of object detection, instance segmentation, and semantic segmentation. We integrate additional position information in our examinations to evaluate the effect of the object's position on the semantic calibration properties. Besides measuring calibration, it is also possible to perform a post-hoc recalibration of semantic uncertainty that might have turned out to be miscalibrated. [...] The second part of this work deals with the spatial uncertainty obtained by a probabilistic detection model. [...] We review and extend common calibration methods so that it is possible to obtain parametric uncertainty distributions for the position information in a more flexible way. In the last part, we demonstrate a possible use-case for our derived calibration methods in the context of object tracking. [...] We integrate our previously proposed calibration techniques and demonstrate the usefulness of semantic and spatial uncertainty calibration in a subsequent process. [...]


title: Light hyperon physics at the BESIII experiment

abstract: The BESIII experiment at the electron-positron collider BEPCII in Beijing (China) is successfully operating since 2008 and has collected large data samples in the tau-mass region, including the world's largest data samples at the $J/\psi$ and $\psi'$ resonances. The recent observations of hyperon polarizations at BESIII opens a new window for testing CP violation, as it allows for simultaneous production and detection of hyperon and anti-hyperon pair two-body weak decays. The CP-symmetry tests can be performed in processes like e.g. $J/\psi\to\Lambda\bar{\Lambda}$, $J/\psi,\psi'\to\Sigma^+\bar{\Sigma}^-$ and $J/\psi\to\Xi^-\bar{\Xi}^+$. For the $\Xi^-\to\Lambda\pi^-$ decay it is possible to perform three independent CP tests and determine the strong phase and weak phase difference.


title: Concentration limit for non-local dissipative convection-diffusion kernels on the hyperbolic space

abstract: We study a non-local evolution equation on the hyperbolic space $\mathbb{H}^N$. We first consider a model for particle transport governed by a non-local interaction kernel defined on the tangent bundle and invariant under the geodesic flow. We study the relaxation limit of this model to a local transport problem, as the kernel gets concentrated near the origin of each tangent space. Under some regularity and integrability conditions on the kernel, we prove that the solution of the rescaled non-local problem converges to that of the local transport equation. Then, we construct a large class of interaction kernels that satisfy those conditions. We also consider a non-local, non-linear convection-diffusion equation on $\mathbb{H}^N$ governed by two kernels, one for each of the diffusion and convection parts, and we prove that the solution converges to the solution of a local problem as the kernels get concentrated. We prove and then use in this sense a compactness tool on manifolds inspired by the work of Bourgain-Brezis-Mironescu.


title: $L^4$-norms and sign changes of Maass forms

abstract: Unconditionally, we prove the Iwaniec-Sarnak conjecture for $L^4$-norms of the Hecke-Maass cusp forms. From this result, we can justify that for even Maass cusp form $\phi$ with the eigenvalue $\lambda_{\phi}=\frac{1}{4}+t_{\phi}^2$, for $a>0$, a sufficiently large $h>0$ and for any $0<\epsilon_1<\epsilon/10^7$ ($\epsilon>0$) , for almost all $1\le k<t_{\phi}^{1-\epsilon}$, we are able to find $\beta_k=\{X_k+yi:a<y<a+h\}$ with $-\frac{1}{2}+\frac{k-1}{t_{\phi}^{1-\epsilon}}\le X_k\le-\frac{1}{2}+\frac{k}{t_{\phi}^{1-\epsilon}}$ such that the number of sign changes of $\phi$ along the segment $\beta_k$ is $\gg_{\epsilon} t_{\phi}^{1-\epsilon_1}$ as $t_{\phi}\to\infty$. Also, we obtain the similar result for horizontal lines. On the other hand, we conditionally prove that for a sufficiently large segment $\beta$ on $\textrm{Re}(z)=0$ and $\textrm{Im}(z)>0$, the number of sign changes of $\phi$ along $\beta$ is $\gg_{\epsilon} t_{\phi}^{1-\epsilon}$ and consequently, the number of inert nodal domains meeting any compact vertical segment on the imaginary axis is $\gg_{\epsilon} t_{\phi}^{1-\epsilon}$ as $t_{\phi}\to\infty$.


title: Virtual quantum error detection

abstract: Quantum error correction and quantum error detection necessitate syndrome measurements to detect errors. Performing syndrome measurements for each stabilizer generator can be a significant overhead, considering the fact that the readout fidelity in the current quantum hardware is generally lower than gate fidelity. Here, by generalizing a quantum error mitigation method known as symmetry expansion, we propose a protocol called virtual quantum error detection (VQED). This method virtually allows for evaluating computation results corresponding to post-selected quantum states obtained through quantum error detection during circuit execution, without implementing syndrome measurements. Unlike conventional quantum error detection, which requires the implementation of Hadamard test circuits for each stabilizer generator, our VQED protocol can be performed with a constant depth shallow quantum circuit with an ancilla qubit, irrespective of the number of stabilizer generators. Furthermore, for some simple error models, the computation results obtained using VQED are robust against the noise that occurred during the operation of VQED, and our method is fully compatible with other error mitigation schemes, enabling further improvements in computation accuracy and facilitating high-fidelity quantum computing.


title: Effective Mid-Range Wireless Power Transfer with Compensated Radiation Loss

abstract: In conventional inductive wireless power devices, the energy is transferred via only reactive near fields, which is equivalent to non-radiative F\"orster energy transfer in optics. Radiation from transmitting and receiving coils is usually considered as a parasitic effect that reduces the power transfer efficiency. As long as the distance between the two antennas is small as compared to the antenna size, conventional WPT devices offer rather high power transfer efficiency, of the order of 80-90\%. However, for larger distances, the transfer efficiency dramatically drops, making such devices not practical. In this paper, we develop a dynamic theory of wireless power transfer between two small loop antennas, clarify the role of far-field radiation, and find a possibility to realize efficient wireless power transfer at large distances utilizing the regime of radiation suppression due to optimized mutual dynamic interactions between the transmitting and receiving antennas. The analytical results have been validated by simulations and measurements, and they open a possibility to greatly expand the range of distances of compact wireless power transfer devices. The developed theory can be applied also to coupling between antennas of different types and to energy transfer between nano-objects.


title: Trust, but Verify: Using Self-Supervised Probing to Improve Trustworthiness

abstract: Trustworthy machine learning is of primary importance to the practical deployment of deep learning models. While state-of-the-art models achieve astonishingly good performance in terms of accuracy, recent literature reveals that their predictive confidence scores unfortunately cannot be trusted: e.g., they are often overconfident when wrong predictions are made, or so even for obvious outliers. In this paper, we introduce a new approach of self-supervised probing, which enables us to check and mitigate the overconfidence issue for a trained model, thereby improving its trustworthiness. We provide a simple yet effective framework, which can be flexibly applied to existing trustworthiness-related methods in a plug-and-play manner. Extensive experiments on three trustworthiness-related tasks (misclassification detection, calibration and out-of-distribution detection) across various benchmarks verify the effectiveness of our proposed probing framework.


title: Numerical wetting benchmarks -- advancing the plicRDF-isoAdvector unstructured Volume-of-Fluid (VOF) method

abstract: The numerical simulation of wetting and dewetting of geometrically complex surfaces benefits from unstructured numerical methods because they discretize the domain with second-order accuracy. A recently developed unstructured geometric Volume-of-Fluid (VOF) method, the plicRDF-isoAdvector method, is chosen to investigate wetting processes because of its volume conservation property and high computational efficiency. The present work verifies and validates the plicRDF-isoAdvector method for wetting problems. We present four verification studies. The first study investigates the accuracy of the interface advection near walls. The method is further investigated for the spreading of droplets on a flat and a spherical surface, respectively, for which excellent agreement with the reference solutions is obtained. Furthermore, a 2D capillary rise is considered, and a benchmark comparison based on results from previous work is performed. The benchmark suite, input data, and Jupyter Notebooks used in this study are publicly available to facilitate further research and comparison with other numerical codes.


title: Eisenstein series, $p$-adic modular functions, and overconvergence, II

abstract: Let $p$ be a prime number. Continuing and extending our previous paper with the same title, we prove explicit rates of overconvergence for modular functions of the form $\frac{E_k^{\ast}}{V(E_k^{\ast})}$ where $E_k^{\ast}$ is a classical, normalized Eisenstein series on $\Gamma_0(p)$ and $V$ the $p$-adic Frobenius operator. In particular, we extend our previous paper to the primes $2$ and $3$. For these primes our main theorem improves somewhat upon earlier results by Emerton, Buzzard and Kilford, and Roe. We include a detailed discussion of those earlier results as seen from our perspective. We also give some improvements to our earlier paper for primes $p\ge 5$. Apart from establishing these improvements, our main purpose here is also to show that all of these results can be obtained by a uniform method, i.e., a method where the main points in the argumentation is the same for all primes. We illustrate the results by some numerical examples.


title: An Estimation of Distribution Algorithm based on interactions between requirements to solve the bi-objective Next Release Problem

abstract: Selecting the appropriate requirements to develop in the next release of an open market software product under evolution, is a compulsory step of each software development project. This selection should be done by maximizing stakeholders' satisfaction and minimizing development costs, while keeping constraints. In this work we investigate what is the requirements interactions impact when searching for solutions of the bi-objective Next Release Problem. In one hand, these interactions are explicitly included in two algorithms: a branch and bound algorithm and an estimation of distribution algorithm (EDA). And on the other, we study the performance of these not previously used solving approaches by applying them in several instances of small, medium and large size data sets. We find that interactions inclusion do enhance the search and when time restrictions exists, as in the case of the bi-objective Next Release Problem, EDAs have proven to be stable and reliable locating a large number of solutions on the reference Pareto front.


title: Sharp error estimates for spatial-temporal finite difference approximations to fractional sub-diffusion equation without regularity assumption on the exact solution

abstract: Finite difference method as a popular numerical method has been widely used to solve fractional diffusion equations. In the general spatial error analyses, an assumption $u\in C^{4}(\bar{\Omega})$ is needed to preserve $\mathcal{O}(h^{2})$ convergence when using central finite difference scheme to solve fractional sub-diffusion equation with Laplace operator, but this assumption is somewhat strong, where $u$ is the exact solution and $h$ is the mesh size. In this paper, a novel analysis technique is proposed to show that the spatial convergence rate can reach $\mathcal{O}(h^{\min(\sigma+\frac{1}{2}-\epsilon,2)})$ in both $l^{2}$-norm and $l^{\infty}$-norm in one-dimensional domain when the initial value and source term are both in $\hat{H}^{\sigma}(\Omega)$ but without any regularity assumption on the exact solution, where $\sigma\geq 0$ and $\epsilon>0$ being arbitrarily small. After making slight modifications on the scheme, acting on the initial value and source term, the spatial convergence rate can be improved to $\mathcal{O}(h^{2})$ in $l^{2}$-norm and $\mathcal{O}(h^{\min(\sigma+\frac{3}{2}-\epsilon,2)})$ in $l^{\infty}$-norm. It's worth mentioning that our spatial error analysis is applicable to high dimensional cube domain by using the properties of tensor product. Moreover, two kinds of averaged schemes are provided to approximate the Riemann--Liouville fractional derivative, and $\mathcal{O}(\tau^{2})$ convergence is obtained for all $\alpha\in(0,1)$. Finally, some numerical experiments verify the effectiveness of the built theory.


title: Toward a normative theory of (self-)management by goal-setting

abstract: People are often confronted with problems whose complexity exceeds their cognitive capacities. To deal with this complexity, individuals and managers can break complex problems down into a series of subgoals. Which subgoals are most effective depends on people's cognitive constraints and the cognitive mechanisms of goal pursuit. This creates an untapped opportunity to derive practical recommendations for which subgoals managers and individuals should set from cognitive models of bounded rationality. To seize this opportunity, we apply the principle of resource-rationality to formulate a mathematically precise normative theory of (self-)management by goal-setting. We leverage this theory to computationally derive optimal subgoals from a resource-rational model of human goal pursuit. Finally, we show that the resulting subgoals improve the problem-solving performance of bounded agents and human participants. This constitutes a first step towards grounding prescriptive theories of management and practical recommendations for goal-setting in computational models of the relevant psychological processes and cognitive limitations.


title: On the Schmidt--Kolchin conjecture on differentially homogeneous polynomials. Applications to (twisted) jet differentials on projective spaces

abstract: The main goal of this paper is to prove the Schmidt--Kolchin conjecture. This conjecture says the following: the vector space of degree \(d\) differentially homogeneous polynomials in \((N+1)\) variables is of dimension \((N+1)^{d}\). Next, we establish a one-to-one correspondance between differentially homogeneous polynomials in \((N+1)\) variables, and twisted jet differentials on projective spaces. As a by-product of our study of differentially homogeneous polynomials, we are thus able to understand explicitly twisted jet differentials on projective spaces.


title: FastCat Catalogues: Interactive Entity-based Exploratory Analysis of Archival Documents

abstract: We describe FastCat Catalogues, a Web application that supports researchers studying archival material, such as historians, in exploring and quantitatively analysing the data (transcripts) of archival documents. The application was designed based on real information needs provided by a large group of researchers, makes use of JSON technology, and is configurable for use over any type of archival documents whose contents have been transcribed and exported in JSON format. The supported functionalities include a) source- or record-specific entity browsing, b) source-independent entity browsing, c) data filtering, d) inspection of provenance information, e) data aggregation and visualisation in charts, f) table and chart data export for further (external) analysis. The application is provided as open source and is currently used by historians in maritime history research.


title: Hybrid Contrastive Constraints for Multi-Scenario Ad Ranking

abstract: Multi-scenario ad ranking aims at leveraging the data from multiple domains or channels for training a unified ranking model to improve the performance at each individual scenario. Although the research on this task has made important progress, it still lacks the consideration of cross-scenario relations, thus leading to limitation in learning capability and difficulty in interrelation modeling. In this paper, we propose a Hybrid Contrastive Constrained approach (HC^2) for multi-scenario ad ranking. To enhance the modeling of data interrelation, we elaborately design a hybrid contrastive learning approach to capture commonalities and differences among multiple scenarios. The core of our approach consists of two elaborated contrastive losses, namely generalized and individual contrastive loss, which aim at capturing common knowledge and scenario-specific knowledge, respectively. To adapt contrastive learning to the complex multi-scenario setting, we propose a series of important improvements. For generalized contrastive loss, we enhance contrastive learning by extending the contrastive samples (label-aware and diffusion noise enhanced contrastive samples) and reweighting the contrastive samples (reciprocal similarity weighting). For individual contrastive loss, we use the strategies of dropout-based augmentation and {cross-scenario encoding} for generating meaningful positive and negative contrastive samples, respectively. Extensive experiments on both offline evaluation and online test have demonstrated the effectiveness of the proposed HC$^2$ by comparing it with a number of competitive baselines.


title: X-ray holography of skyrmionic cocoons in aperiodic magnetic multilayers

abstract: The development and characterization of three-dimensional (3D) topological magnetic textures has become an important topic in modern magnetism both for fundamental and technological perspectives. Among the novel 3D spin textures, skyrmionic cocoons have been successfully stabilized in magnetic multilayers having a variable thickness of the ferromagnet in the vertical direction of the stack. These ellipsoidal 3D magnetic textures remain vertically confined in a fraction of the total thickness while coexisting with fully columnar skyrmions. Here, we use X-ray holography with about 15 nm lateral resolution to investigate how their properties depend on the field and temperature. We observe circular objects with different amplitude of contrast which evidences the presence of different 3D objects located in various vertical parts of the multilayer. Moreover, we witness during out-of-plane cycling an attractive interaction between cocoons located at various heights, mainly due to the stray field, which impacts their horizontal positioning. The X-ray holography measurements also allow to determine the size of the cocoons at remanence which, at room temperature, possess diameter close to 100 nm in average. Combining this transmission technique with magnetic force microscopy and micromagnetic simulations gives a precise insight into the 3D distribution of the magnetization which demonstrate the 3D nature of skyrmionic cocoons.


title: OnRMap: An Online Radio Mapping Approach for Large Intelligent Surfaces

abstract: We introduce OnRMap, an online radio mapping (RMap) approach for the sensing and localization of active users (AUs), devices that are transmitting radio signals, and passive elements (PEs), elements that are in the environment and are illuminated by the AUs' radio signals. OnRMap processes the signals received by a large intelligent surface and produces a radio map (RM) of the environment based on signal processing techniques. The method then senses and locate the different elements without the need for offline scanning phases, which is important for environments with frequently changing spatial layouts. Empirical results demonstrate that OnRMap presents a higher localization accuracy than an offline method, but the price paid for being an online method is a moderate reduction in the detection rate.


title: New lower bounds for the integration of periodic functions

abstract: We study the integration problem on Hilbert spaces of (multivariate) periodic functions. The standard technique to prove lower bounds for the error of quadrature rules uses bump functions and the pigeon hole principle. Recently, several new lower bounds have been obtained using a different technique which exploits the Hilbert space structure and a variant of the Schur product theorem. The purpose of this paper is to (a) survey the new proof technique, (b) show that it is indeed superior to the bump-function technique, and (c) sharpen and extend the results from the previous papers.


title: A simple formula of the magnetic potential and of the stray field energy induced by a given magnetization

abstract: The primary aim of this paper is the derivation and the proof of a simple and tractable formula for the stray field energy in micromagnetic problems. The formula is based on an expansion in terms of Arar-Boulmezaoud functions. It remains valid even if the magnetization is not of constant magnitude or if the sample is not geometrically bounded. The paper continuous with a direct and important application which consists in a fast summation technique of the stray field energy. The convergence of this technique is established and its efficiency is proved by various numerical experiences.

categories: math-ph cs.NA math.MP math.NA physics.comp-ph


title: Approximation of radiative transfer for surface spectral features

abstract: Remote sensing hyperspectral and more generally spectral instruments are common tools to decipher surface features in Earth and Planetary science. While linear mixture is the most common approximation for compounds detection (mineral, water, ice, etc...), the transfer of light in surface and atmospheric medium are highly non-linear. The exact simulation of non-linearities can be estimated at very high numerical cost. Here I propose a very simple non-linear form (that includes the regular linear area mixture) of radiative transfer to approximate surface spectral feature. I demonstrate that this analytical form is able to approximate the grain size and intimate mixture dependence of surface features. In addition, the same analytical form can approximate the effect of Martian mineral aerosols. Unfortunately, Earth aerosols are more complex (water droplet, water ice, soot,...) and are not expected to follow the same trend.

categories: astro-ph.EP cs.CV physics.ao-ph physics.ins-det


title: Accurate calculation of gravitational wave memory

abstract: Gravitational wave memory is an important prediction of general relativity. The detection of the gravitational wave memory can be used to test general relativity and to deduce the property of the gravitational wave source. Quantitative model is important for such detection and signal interpretation. Previous works on gravitational wave memory always use the energy flux of gravitational wave to calculate memory. Such relation between gravitational wave energy and memory has only been validated for post-Newtonian approximation. The result of numerical relativity about gravitational wave memory is not confident yet. Accurately calculating memory is highly demanded. Here we propose a new method to calculate the gravitational wave memory. This method is based on Bondi-Metzner-Sachs theory. Consequently our method does not need slow motion and weak field conditions for gravitational wave source. Our new method can accurately calculate memory if the non-memory waveform is known. As an example, we combine our method with matured numerical relativity result about non-memory waveform for binary black hole coalescence. We calculate the waveform for memory which can be used to aid memory detection and gravitational wave source understanding. Our calculation result confirms preliminary numerical relativity result about memory. We find out the dependence of the memory amplitude to the mass ratio and the spins of the two spin aligned black holes.


title: Dipole representation of half-filled Landau level

abstract: We introduce a variant of dipole representation for composite fermions in a half-filled Landau level, taking into account the symmetry under exchange of particles and holes. This is implemented by a special constraint on composite fermion and composite hole degree of freedom (of an enlarged space), that makes the resulting composite particle, dipole, a symmetric object. We study an effective Hamiltonian, that commutes with the constraint on the physical space, and fulfills the requirement for boost invariance on the Fermi level. The calculated Fermi liquid parameter F2 is in a good agreement with numerical investigations in [Phys. Rev. Lett. 121, 147601 (2018)].


title: Models and algorithms for simple disjunctive temporal problems

abstract: Simple temporal problems represent a powerful class of models capable of describing the temporal relations between events that arise in many real-world applications such as logistics, robot planning and management systems. The classic simple temporal problem permits each event to have only a single release and due date. In this paper, we focus on the case where events may have an arbitrarily large number of release and due dates. This type of problem, however, has been referred to by various names. In order to simplify and standardize nomenclatures, we introduce the name Simple Disjunctive Temporal Problem. We provide three mathematical models to describe this problem using constraint programming and linear programming. To efficiently solve simple disjunctive temporal problems, we design two new algorithms inspired by previous research, both of which exploit the problem's structure to significantly reduce their space complexity. Additionally, we implement algorithms from the literature and provide the first in-depth empirical study comparing methods to solve simple disjunctive temporal problems across a wide range of experiments. Our analysis and conclusions offer guidance for future researchers and practitioners when tackling similar temporal constraint problems in new applications. All results, source code and instances are made publicly available to further assist future research.