title: The 3D kinematics of stellar substructures in the periphery of the Large Magellanic Cloud

abstract: We report the 3D kinematics of 27 Mira-like stars in the northern, eastern and southern periphery of the Large Magellanic Cloud (LMC), based on Gaia proper motions and a dedicated spectroscopic follow-up. Low-resolution spectra were obtained for more than 40 Mira-like candidates, selected to trace known substructures in the LMC periphery. Radial velocities and stellar parameters were derived for all stars. Gaia data release 3 astrometry and photometry were used to discard outliers, derive periods for those stars with available light curves, and determine their photometric chemical types. The 3D motion of the stars in the reference frame of the LMC revealed that most of the stars, in all directions, have velocities consistent with being part of the LMC disk population, out of equilibrium in the radial and vertical directions. A suite of N-body simulations was used to constrain the most likely past interaction history between the Clouds given the phase-space distribution of our targets. Model realizations in which the Small Magellanic Cloud (SMC) had three pericentric passages around the LMC best resemble the observations. The interaction history of those model realizations has a recent SMC pericentric passage ($\sim$320 Myr ago), preceded by an SMC crossing of the LMC disk at $\sim$0.97 Gyr ago, having a radial crossing distance of only $\sim$4.5 kpc. The previous disk crossing of the SMC was found to occur at $\sim$1.78 Gyr ago, with a much larger radial crossing distance of $\sim$10 kpc.


title: Generating a Structured Summary of Numerous Academic Papers: Dataset and Method

abstract: Writing a survey paper on one research topic usually needs to cover the salient content from numerous related papers, which can be modeled as a multi-document summarization (MDS) task. Existing MDS datasets usually focus on producing the structureless summary covering a few input documents. Meanwhile, previous structured summary generation works focus on summarizing a single document into a multi-section summary. These existing datasets and methods cannot meet the requirements of summarizing numerous academic papers into a structured summary. To deal with the scarcity of available data, we propose BigSurvey, the first large-scale dataset for generating comprehensive summaries of numerous academic papers on each topic. We collect target summaries from more than seven thousand survey papers and utilize their 430 thousand reference papers' abstracts as input documents. To organize the diverse content from dozens of input documents and ensure the efficiency of processing long text sequences, we propose a summarization method named category-based alignment and sparse transformer (CAST). The experimental results show that our CAST method outperforms various advanced summarization methods.


title: A Reduction from Chores Allocation to Job Scheduling

abstract: We consider allocating indivisible chores among agents with different cost functions, such that all agents receive a cost of at most a constant factor times their maximin share. The state-of-the-art was presented in In EC 2021 by Huang and Lu. They presented a non-polynomial-time algorithm, called HFFD, that attains an 11/9 approximation, and a polynomial-time algorithm that attains a 5/4 approximation. In this paper, we show that HFFD can be reduced to an algorithm called MultiFit, developed by Coffman, Garey and Johnson in 1978 for makespan minimization in job scheduling. Using this reduction, we prove that the approximation ratio of HFFD is in fact equal to that of MultiFit, which is known to be 13/11 in general, 20/17 for n at most 7, and 15/13 for n=3. Moreover, we develop an algorithm for (13/11+epsilon)-maximin-share allocation for any epsilon>0, with run-time polynomial in the problem size and 1/epsilon. For n=3, we can improve the algorithm to find a 15/13-maximin-share allocation with run-time polynomial in the problem size. Thus, we have practical algorithms that attain the best known approximation to maximin-share chore allocation.


title: Reliable event rates for disease mapping

abstract: When analyzing spatially referenced event data, the criteria for declaring rates as "reliable" is still a matter of dispute. What these varying criteria have in common, however, is that they are rarely satisfied for crude estimates in small area analysis settings, prompting the use of spatial models to improve reliability. While reasonable, recent work has quantified the extent to which popular models from the spatial statistics literature can overwhelm the information contained in the data, leading to oversmoothing. Here, we begin by providing a definition for a "reliable" estimate for event rates that can be used for crude and model-based estimates and allows for discrete and continuous statements of reliability. We then construct a spatial Bayesian framework that allows users to infuse prior information into their models to improve reliability while also guarding against oversmoothing. We apply our approach to county-level birth data from Pennsylvania, highlighting the effect of oversmoothing in spatial models and how our approach can allow users to better focus their attention to areas where sufficient data exists to drive inferential decisions. We then conclude with a brief discussion of how this definition of reliability can be used in the design of small area studies.


title: Hornbook of solving problems for mixed parabolic--hyperbolic equations

abstract: In this small paper, we study a boundary value problem for an equation of parabolic-hyperbolic type. The goal is to show how we can prove existence and uniqueness theorem for a regular solution.


title: Complex Network for Complex Problems: A comparative study of CNN and Complex-valued CNN

abstract: Neural networks, especially convolutional neural networks (CNN), are one of the most common tools these days used in computer vision. Most of these networks work with real-valued data using real-valued features. Complex-valued convolutional neural networks (CV-CNN) can preserve the algebraic structure of complex-valued input data and have the potential to learn more complex relationships between the input and the ground-truth. Although some comparisons of CNNs and CV-CNNs for different tasks have been performed in the past, a large-scale investigation comparing different models operating on different tasks has not been conducted. Furthermore, because complex features contain both real and imaginary components, CV-CNNs have double the number of trainable parameters as real-valued CNNs in terms of the actual number of trainable parameters. Whether or not the improvements in performance with CV-CNN observed in the past have been because of the complex features or just because of having double the number of trainable parameters has not yet been explored. This paper presents a comparative study of CNN, CNNx2 (CNN with double the number of trainable parameters as the CNN), and CV-CNN. The experiments were performed using seven models for two different tasks - brain tumour classification and segmentation in brain MRIs. The results have revealed that the CV-CNN models outperformed the CNN and CNNx2 models.


title: Liver Segmentation in Time-resolved C-arm CT Volumes Reconstructed from Dynamic Perfusion Scans using Time Separation Technique

abstract: Perfusion imaging is a valuable tool for diagnosing and treatment planning for liver tumours. The time separation technique (TST) has been successfully used for modelling C-arm cone-beam computed tomography (CBCT) perfusion data. The reconstruction can be accompanied by the segmentation of the liver - for better visualisation and for generating comprehensive perfusion maps. Recently introduced Turbolift learning has been seen to perform well while working with TST reconstructions, but has not been explored for the time-resolved volumes (TRV) estimated out of TST reconstructions. The segmentation of the TRVs can be useful for tracking the movement of the liver over time. This research explores this possibility by training the multi-scale attention UNet of Turbolift learning at its third stage on the TRVs and shows the robustness of Turbolift learning since it can even work efficiently with the TRVs, resulting in a Dice score of 0.864$\pm$0.004.


title: New directions in the applications of rough path theory

abstract: This article provides a concise overview of some of the recent advances in the application of rough path theory to machine learning. Controlled differential equations (CDEs) are discussed as the key mathematical model to describe the interaction of a stream with a physical control system. A collection of iterated integrals known as the signature naturally arises in the description of the response produced by such interactions. The signature comes equipped with a variety of powerful properties rendering it an ideal feature map for streamed data. We summarise recent advances in the symbiosis between deep learning and CDEs, studying the link with RNNs and culminating with the Neural CDE model. We concluded with a discussion on signature kernel methods.


title: Quantum Channel Modelling by Statistical Quantum Signal Processing

abstract: In this paper we are interested to model quantum signal by statistical signal processing methods. The Gaussian distribution has been considered for the input quantum signal as Gaussian state have been proven to a type of important robust state and most of the important experiments of quantum information are done with Gaussian light. Along with that a joint noise model has been invoked, and followed by a received signal model has been formulated by using convolution of transmitted signal and joint quantum noise to realized theoretical achievable capacity of the single quantum link. In joint quantum noise model we consider the quantum Poisson noise with classical Gaussian noise. We compare the capacity of the quantum channel with respect to SNR to detect its overall tendency. In this paper we use the channel equation in terms of random variable to investigate the quantum signals and noise model statistically. These methods are proposed to develop Quantum statistical signal processing and the idea comes from the statistical signal processing.


title: Sedimentation and migration dynamics of a spherical particle in an elastoviscoplastic fluid near a wall

abstract: The sedimentation of a spherical particle in an elastoviscoplastic fluid in proximity of a flat wall is investigated by direct numerical simulations. The governing equations under inertialess conditions are solved by the finite element method with an Arbitrary Lagrangian-Eulerian formulation to manage the particle motion. The fluid is modeled with the Giesekus constitutive equation modified as proposed by Saramito (2007). The sedimentation, migration, and angular velocities are computed as a function of the particle-wall distance for various Weissenberg and Bingham numbers. The presence of a yield stress reduces the settling velocity and reverses the migration direction as compared to the purely viscoelastic case. The effect of the confining wall on the yielded and unyielded regions around the particle is investigated. The reversed particle migration phenomenon observed in the elastoviscoplastic fluid is attributed to the different shear rate distribution around the particle due to the presence of the yielded region. The negative wake behind the particle is discussed and related to the axial component of the viscoelastic stress.


title: MAPS: A Noise-Robust Progressive Learning Approach for Source-Free Domain Adaptive Keypoint Detection

abstract: Existing cross-domain keypoint detection methods always require accessing the source data during adaptation, which may violate the data privacy law and pose serious security concerns. Instead, this paper considers a realistic problem setting called source-free domain adaptive keypoint detection, where only the well-trained source model is provided to the target domain. For the challenging problem, we first construct a teacher-student learning baseline by stabilizing the predictions under data augmentation and network ensembles. Built on this, we further propose a unified approach, Mixup Augmentation and Progressive Selection (MAPS), to fully exploit the noisy pseudo labels of unlabeled target data during training. On the one hand, MAPS regularizes the model to favor simple linear behavior in-between the target samples via self-mixup augmentation, preventing the model from over-fitting to noisy predictions. On the other hand, MAPS employs the self-paced learning paradigm and progressively selects pseudo-labeled samples from `easy' to `hard' into the training process to reduce noise accumulation. Results on four keypoint detection datasets show that MAPS outperforms the baseline and achieves comparable or even better results in comparison to previous non-source-free counterparts.


title: Existence of a small cover over a 15-colorable simple 4-polytope

abstract: The chromatic number for properly colouring the facets of a combinatorial simple $n$-polytope $P^n$ that is the orbit space of a quasitoric manifold satisfies the inequality $n\leq P^n\leq 2^n-1$. The inequality is sharp for $n=2$ but not for $n=3$ due to the Four Color theorem. In this note, we construct a simple 4-polytope admitting a characteristic map whose chromatic number equals $15$ and deduce that the predicted upper bound is attained for $n=4$. Analogues results are verified for the case of oriented small covers in dimensions $4$ and $5$.


title: Compact MILP formulations for the $p$-center problem

abstract: The p-center problem consists in selecting p centers among M to cover N clients, such that the maximal distance between a client and its closest selected center is minimized. For this problem we propose two new and compact integer formulations. Our first formulation is an improvement of a previous formulation. It significantly decreases the number of constraints while preserving the optimal value of the linear relaxation. Our second formulation contains less variables and constraints but it has a weaker linear relaxation bound. We besides introduce an algorithm which enables us to compute strong bounds and significantly reduce the size of our formulations. Finally, the efficiency of the algorithm and the proposed formulations are compared in terms of quality of the linear relaxation and computation time over instances from OR-Library.


title: Quantifying the contamination from nebular emission in NIRSpec spectra of massive star forming regions

abstract: The Near InfraRed Spectrograph (NIRSpec) on the James Webb Space Telescope (JWST) includes a novel micro shutter array (MSA) to perform multi object spectroscopy. While the MSA is mainly targeting galaxies across a larger field, it can also be used for studying star formation in crowded fields. Crowded star formation regions typically feature strong nebular emission, both in emission lines and continuum. In this work, nebular emission is referred to as nebular contamination. Nebular contamination can obscure the light from the stars, making it more challenging to obtain high quality spectra. The amount of the nebular contamination mainly depends on the brightness distribution of the observed `scene'. Here we focus on 30 Doradus in the Large Magellanic Cloud, which is part of the NIRSpec GTO program. Using spectrophotometry of 30 Doradus from the Hubble Space Telescope (HST) and the Very Large Telescope (VLT)/SINFONI, we have created a 3D model of the nebular emission of 30 Doradus. Feeding the NIRSpec Instrument Performance Simulator (IPS) with this model allows us to quantify the impact of nebular emission on target stellar spectra as a function of various parameters, such as configuration of the MSA, angle on the sky, filter band, etc. The results from these simulations show that the subtraction of nebular contamination from the emission lines of pre-main sequence stars produces a typical error of $0.8\%$, with a $1\sigma$ spread of $13\%$. The results from our simulations will eventually be compared to data obtained in space, and will be important to optimize future NIRSpec observations of massive star forming regions. The results will also be useful to apply the best calibration strategy and to quantify calibration uncertainties due to nebular contamination.


title: Measurements of two-pion HBT correlations in Be+Be collisions at 150A GeV/c beam momentum, at the NA61/SHINE experiment at CERN

abstract: This paper reports measurements of two-pion Bose-Einstein (HBT) correlations in Be+Be collisions at a beam momentum of 150$A\,\mbox{GeV}/\textit{c}$ by the $\mbox{NA61/SHINE}$ experiment at the CERN SPS accelerator. The obtained momentum space correlation functions can be well described by a L\'evy distributed source model. The transverse mass dependence of the L\'evy source parameters is presented, and their possible theoretical interpretations are discussed. The results show that the L\'evy exponent $\alpha$ is approximately constant as a function of $m_{\rm{T}}$ , and far from both the Gaussian case of $\alpha = 2$ or the conjectured value at the critical endpoint, $\alpha = 0.5$. The radius scale parameter $R$ shows a slight decrease in $m_{\rm{T}}$, which can be explained as a signature of transverse flow. Finally, an approximately constant trend of the intercept parameter $\lambda$ as a function of $m_{\rm{T}}$ was observed, different from measurement results at RHIC.


title: Ecological system with fear induced group defence and prey refuge

abstract: In this study, we investigate the dynamics of a spatial and non spatial prey-predator interaction model that includes the following: (i) fear effect incorporated in prey birth rate; (ii) group defence of prey against predators; and (iii) prey refuge. We provide comprehensive mathematical analysis of extinction and persistence scenarios for both prey and predator species. To better explore the dynamics of the system, a thorough investigation of bifurcation analysis has been performed using fear level, prey birth rate, and prey death rate caused by intra-prey competition as bifurcation parameter. All potential occurrences of bi-stability dynamics have also been investigated for some relevant sets of parametric values. Our numerical evaluations show that high levels of fear can stabilize the prey-predator system by ruling out the possibility of periodic solutions. Also, our model Hopf bifurcation is subcritical in contrast to traditional prey-predator models, which ignore the cost of fear and have supercritical Hopf bifurcations in general. In contrast to the general trend, predator species go extinct at higher values of prey birth rates. We have also found that, contrary to the typical tendency for prey species to go extinct, both prey and predator populations may coexist in the system as intra-prey competition level grows noticeably. The stability and Turing instability of associated spatial model have also been investigated analytically. We also perform the numerical simulation to observe the effect of different parameters on the density distribution of species. Different types of spatiotemporal patterns like spot, mixture of spots and stripes have been observed via variation of time evolution, diffusion coefficient of predator population, level of fear factor and prey refuge. The fear level parameter (k) has a great impact on the spatial dynamics of model system.


title: First detailed study of two eccentric eclipsing binaries: TYC 5378-1590-1 and TYC 8378-252-1

abstract: Aims: The analysis of combined photometry and spectroscopy of eccentric eclipsing binary systems facilitates the derivation of precise values for the parameters of the component stars and their orbits, thereby providing stringent tests of theories of stellar structure and evolution. In this paper two eccentric eclipsing binary systems, TYC 5378-1590-1 and TYC 8378-252-1, are studied in detail for the first time. Methods: Radial velocities were obtained using cross-correlation methods applied to mid-resolution spectra covering almost the entire orbital phase domains of these two systems. TESS photometry was used for the analysis of TYC 5378-1590-1, whereas ASAS-SN photometry was used for the analysis of TYC 8378-252-1. Results: We obtained the first precise derivation of the physical parameters of these systems. Both systems display moderately eccentric orbits (e = 0.3 and 0.2) with periods of 3.7323 and 2.8776 days, respectively. The apsidal motion is very slow, with a duration of several centuries. We present two models for the apsidal motion of TYC 5378-1590-1. The internal structure constant derived from observations for TYC 8378-252-1 is approximately 11% lower than theoretical predictions. We discuss possible reasons for this discrepancy. Our analysis indicates that the components of both systems are on the main sequence. The components of TYC 5378-1590-1 are relatively young stars (age 600 Myr) close to the ZAMS, whereas the components of TYC 8378-252-1 are relatively old stars (age 4 Gyr) close to the TAMS. Our finding that the circularization timescale for TYC 5378-1590-1 is 200 times longer than its evolutionary age is compatible with theory; however, our the evolutionary age of TYC 8378-252-1 is approximately ten times longer than the circulation age, while its orbital eccentricity is quite high (e= 0.2), challenges the present theories of circularization.


title: Evaluation of population structure inferred by principal component analysis or the admixture model

abstract: Principal component analysis (PCA) is commonly used in genetics to infer and visualize population structure and admixture between populations. PCA is often interpreted in a way similar to inferred admixture proportions, where it is assumed that individuals belong to one of several possible populations or are admixed between these populations. We propose a new method to assess the statistical fit of PCA (interpreted as a model spanned by the top principal components) and to show that violations of the PCA assumptions affect the fit. Our method uses the chosen top principal components to predict the genotypes. By assessing the covariance (and the correlation) of the residuals (the differences between observed and predicted genotypes), we are able to detect violation of the model assumptions. Based on simulations and genome wide human data we show that our assessment of fit can be used to guide the interpretation of the data and to pinpoint individuals that are not well represented by the chosen principal components. Our method works equally on other similar models, such as the admixture model, where the mean of the data is represented by linear matrix decomposition.


title: The tt*-Toda equations of A_n type

abstract: In previous articles we have studied the A_n tt*-Toda equations (topological-antitopological fusion equations of Toda type) of Cecotti and Vafa, giving details mainly for n=3. Here we give a proof of the existence and uniqueness of global solutions for any n, and a new treatment of their asymptotic data, monodromy data, and Stokes data.


title: Equivariant Euler characteristics on permutohedral varieties

abstract: By the work of J.Huh, one can interpret binomial coefficients as a solution to an intersection problem on a permutohedral variety $X_E$. Applying Hirzebruch-Riemann-Roch, this intersection problem is equivalent to computing Euler characteristic of a specific element of $K$-theory of $X_E$. This element has a natural lifting to equivariant $K$-theory and thus the Euler characteristic may be upgraded to a Laurent polynomial. We provide and implement three different approaches, in particular a recursive one, to computing these polynomials.


title: Principled and Efficient Motif Finding for Structure Learning of Lifted Graphical Models

abstract: Structure learning is a core problem in AI central to the fields of neuro-symbolic AI and statistical relational learning. It consists in automatically learning a logical theory from data. The basis for structure learning is mining repeating patterns in the data, known as structural motifs. Finding these patterns reduces the exponential search space and therefore guides the learning of formulas. Despite the importance of motif learning, it is still not well understood. We present the first principled approach for mining structural motifs in lifted graphical models, languages that blend first-order logic with probabilistic models, which uses a stochastic process to measure the similarity of entities in the data. Our first contribution is an algorithm, which depends on two intuitive hyperparameters: one controlling the uncertainty in the entity similarity measure, and one controlling the softness of the resulting rules. Our second contribution is a preprocessing step where we perform hierarchical clustering on the data to reduce the search space to the most relevant data. Our third contribution is to introduce an O(n ln n) (in the size of the entities in the data) algorithm for clustering structurally-related data. We evaluate our approach using standard benchmarks and show that we outperform state-of-the-art structure learning approaches by up to 6% in terms of accuracy and up to 80% in terms of runtime.


title: Plan-Based Derivation of General Functional Structures in Product Design

abstract: In product design, a decomposition of the overall product function into a set of smaller, interacting functions is usually considered a crucial first step for any computer-supported design tool. Here, we propose a new approach for the decomposition of functions especially suited for later solutions based on Artificial Intelligence. The presented approach defines the decomposition problem in terms of a planning problem--a well established field in Artificial Intelligence. For the planning problem, logic-based solvers can be used to find solutions that compute a useful function structure for the design process. Well-known function libraries from engineering are used as atomic planning steps. The algorithms are evaluated using two different application examples to ensure the transferability of a general function decomposition.


title: Magnetic square lattice with vertex coupling of a preferred orientation

abstract: We analyze a square lattice graph in a magnetic field assuming that the vertex coupling is of a particular type violating the time reversal invariance. Calculating the spectrum numerically for rational values of the flux per plaquette we show how the two effects compete; at the high energies it is the magnetic field which dominates restoring asymptotically the familiar Hofstadter's butterfly pattern.


title: Coexistence of Merons with Skyrmions in the Centrosymmetric van der Waals Ferromagnet Fe5GeTe2

abstract: Fe$_{5-x}$GeTe$_2$ is a centrosymmetric, layered van der Waals (vdW) ferromagnet that displays Curie temperatures $T_c$ (270-330 K) that are within the useful range for spintronic applications. However, little is known about the interplay between its topological spin textures (e.g., merons, skyrmions) with technologically relevant transport properties such as the topological Hall effect (THE), or topological thermal transport. Here, we show via high-resolution Lorentz transmission electron microscopy that merons and anti-meron pairs coexist with N\'{e}el skyrmions in Fe$_{5-x}$GeTe$_2$ over a wide range of temperatures and probe their effects on thermal and electrical transport. We detect a THE, even at room $T$, that senses merons at higher $T$s as well as their coexistence with skyrmions as $T$ is lowered indicating an on-demand thermally driven formation of either type of spin texture. Remarkably, we also observe an unconventional THE in absence of Lorentz force and attribute it to the interaction between charge carriers and magnetic field-induced chiral spin textures. Our results expose Fe$_{5-x}$GeTe$_2$ as a promising candidate for the development of applications in skyrmionics/meronics due to the interplay between distinct but coexisting topological magnetic textures and unconventional transport of charge/heat carriers.


title: Contestable Camera Cars: A Speculative Design Exploration of Public AI That Is Open and Responsive to Dispute

abstract: Local governments increasingly use artificial intelligence (AI) for automated decision-making. Contestability, making systems responsive to dispute, is a way to ensure they respect human rights to autonomy and dignity. We investigate the design of public urban AI systems for contestability through the example of camera cars: human-driven vehicles equipped with image sensors. Applying a provisional framework for contestable AI, we use speculative design to create a concept video of a contestable camera car. Using this concept video, we then conduct semi-structured interviews with 17 civil servants who work with AI employed by a large northwestern European city. The resulting data is analyzed using reflexive thematic analysis to identify the main challenges facing the implementation of contestability in public AI. We describe how civic participation faces issues of representation, public AI systems should integrate with existing democratic practices, and cities must expand capacities for responsible AI development and operation.


title: A Radial Basis Function Partition of Unity Method for Steady Flow Simulations

abstract: A methodology is presented for the numerical solution of nonlinear elliptic systems in unbounded domains, consisting of three elements. First, the problem is posed on a finite domain by means of a proper nonlinear change of variables. The compressed domain is then discretised, regardless of its final shape, via the radial basis function partition of unity method. Finally, the system of nonlinear algebraic collocation equations is solved with the trust-region algorithm, taking advantage of analytically derived Jacobians. We validate the methodology on a benchmark of computational fluid mechanics: the steady viscous flow past a circular cylinder. The resulting flow characteristics compare very well with the literature. Then, we stress-test the methodology on less smooth obstacles - rounded and sharp square cylinders. As expected, in the latter scenario the solution is polluted by spurious oscillations, owing to the presence of boundary singularities.


title: A Sequence of Nested Exponential Random Variables with Connections to Two Constants of Euler

abstract: We investigate a recursively generated sequence of random variables that begins with an Exponential random variable with parameter (i.e., inverse-mean) 1, and continues with additional Exponentials, each of whose random parameter possesses the distribution of the prior term in the sequence. Although such sequences enjoy some (limited) applicability as models of parameter uncertainty, our present interest is primarily theoretical. Specifically, we observe that the implied sequence of distribution functions manifests a surprising connection to two well-known mathematical quantities first studied by Leonhard Euler: the Euler-Gompertz and Euler-Mascheroni constants. Through a close analysis of one member of this distribution-function sequence, we are able to shed new light on these constants.


title: On Discovering Interesting Combinatorial Integer Sequences

abstract: We study the problem of generating interesting integer sequences with a combinatorial interpretation. For this we introduce a two-step approach. In the first step, we generate first-order logic sentences which define some combinatorial objects, e.g., undirected graphs, permutations, matchings etc. In the second step, we use algorithms for lifted first-order model counting to generate integer sequences that count the objects encoded by the first-order logic formulas generated in the first step. For instance, if the first-order sentence defines permutations then the generated integer sequence is the sequence of factorial numbers $n!$. We demonstrate that our approach is able to generate interesting new sequences by showing that a non-negligible fraction of the automatically generated sequences can actually be found in the Online Encyclopaedia of Integer Sequences (OEIS) while generating many other similar sequences which are not present in OEIS and which are potentially interesting. A key technical contribution of our work is the method for generation of first-order logic sentences which is able to drastically prune the space of sentences by discarding large fraction of sentences which would lead to redundant integer sequences.


title: Deep Intra-Image Contrastive Learning for Weakly Supervised One-Step Person Search

abstract: Weakly supervised person search aims to perform joint pedestrian detection and re-identification (re-id) with only person bounding-box annotations. Recently, the idea of contrastive learning is initially applied to weakly supervised person search, where two common contrast strategies are memory-based contrast and intra-image contrast. We argue that current intra-image contrast is shallow, which suffers from spatial-level and occlusion-level variance. In this paper, we present a novel deep intra-image contrastive learning using a Siamese network. Two key modules are spatial-invariant contrast (SIC) and occlusion-invariant contrast (OIC). SIC performs many-to-one contrasts between two branches of Siamese network and dense prediction contrasts in one branch of Siamese network. With these many-to-one and dense contrasts, SIC tends to learn discriminative scale-invariant and location-invariant features to solve spatial-level variance. OIC enhances feature consistency with the masking strategy to learn occlusion-invariant features. Extensive experiments are performed on two person search datasets CUHK-SYSU and PRW, respectively. Our method achieves a state-of-the-art performance among weakly supervised one-step person search approaches. We hope that our simple intra-image contrastive learning can provide more paradigms on weakly supervised person search. The source code is available at \url{https://github.com/jiabeiwangTJU/DICL}.


title: Differentially Private Deep Q-Learning for Pattern Privacy Preservation in MEC Offloading

abstract: Mobile edge computing (MEC) is a promising paradigm to meet the quality of service (QoS) requirements of latency-sensitive IoT applications. However, attackers may eavesdrop on the offloading decisions to infer the edge server's (ES's) queue information and users' usage patterns, thereby incurring the pattern privacy (PP) issue. Therefore, we propose an offloading strategy which jointly minimizes the latency, ES's energy consumption, and task dropping rate, while preserving PP. Firstly, we formulate the dynamic computation offloading procedure as a Markov decision process (MDP). Next, we develop a Differential Privacy Deep Q-learning based Offloading (DP-DQO) algorithm to solve this problem while addressing the PP issue by injecting noise into the generated offloading decisions. This is achieved by modifying the deep Q-network (DQN) with a Function-output Gaussian process mechanism. We provide a theoretical privacy guarantee and a utility guarantee (learning error bound) for the DP-DQO algorithm and finally, conduct simulations to evaluate the performance of our proposed algorithm by comparing it with greedy and DQN-based algorithms.


title: Stochastic Maximum Likelihood Direction Finding in the Presence of Nonuniform Noise Fields

abstract: In this letter, we employ and design the expectation--conditional maximization either (ECME) algorithm, a generalisation of the EM algorithm, for solving the maximum likelihood direction finding problem of stochastic sources, which may be correlated, in unknown nonuniform noise. Unlike alternating maximization, the ECME algorithm updates both the source and noise covariance matrix estimates by explicit formulas and can guarantee that both estimates are positive semi-definite and definite, respectively. Thus, the ECME algorithm is computationally efficient and operationally stable. Simulation results confirm the effectiveness of the algorithm.


title: Outlier-Robust Gromov-Wasserstein for Graph Data

abstract: Gromov-Wasserstein (GW) distance is a powerful tool for comparing and aligning probability distributions supported on different metric spaces. Recently, GW has become the main modeling technique for aligning heterogeneous data for a wide range of graph learning tasks. However, the GW distance is known to be highly sensitive to outliers, which can result in large inaccuracies if the outliers are given the same weight as other samples in the objective function. To mitigate this issue, we introduce a new and robust version of the GW distance called RGW. RGW features optimistically perturbed marginal constraints within a Kullback-Leibler divergence-based ambiguity set. To make the benefits of RGW more accessible in practice, we develop a computationally efficient and theoretically provable procedure using Bregman proximal alternating linearized minimization algorithm. Through extensive experimentation, we validate our theoretical results and demonstrate the effectiveness of RGW on real-world graph learning tasks, such as subgraph matching and partial shape correspondence.


title: A Text-guided Protein Design Framework

abstract: Current AI-assisted protein design mainly utilizes protein sequential and structural information. Meanwhile, there exists tremendous knowledge curated by humans in the text format describing proteins' high-level functionalities. Yet, whether the incorporation of such text data can help protein design tasks has not been explored. To bridge this gap, we propose ProteinDT, a multi-modal framework that leverages textual descriptions for protein design. ProteinDT consists of three subsequent steps: ProteinCLAP which aligns the representation of two modalities, a facilitator that generates the protein representation from the text modality, and a decoder that creates the protein sequences from the representation. To train ProteinDT, we construct a large dataset, SwissProtCLAP, with 441K text and protein pairs. We quantitatively verify the effectiveness of ProteinDT on three challenging tasks: (1) over 90\% accuracy for text-guided protein generation; (2) best hit ratio on 10 zero-shot text-guided protein editing tasks; (3) superior performance on four out of six protein property prediction benchmarks.


title: Sharp interface analysis of a diffuse interface model for cell blebbing with linker dynamics

abstract: We investigate the convergence of solutions of a recently proposed diffuse interface/phase field model for cell blebbing by means of matched asymptotic expansions. It is a biological phenomenon that increasingly attracts attention by both experimental and theoretical communities. Key to understanding the process of cell blebbing mechanically are proteins that link the cell cortex and the cell membrane. Another important model component is the bending energy of the cell membrane and cell cortex which accounts for differential equations up to sixth order. Both aspects pose interesting mathematical challenges that will be addressed in this work like showing non-singularity formation for the pressure at boundary layers, deriving equations for asymptotic series coefficients of uncommonly high order, and dealing with a highly coupled system of equations.


title: V907 Sco Switched to the Eclipsing Mode Again

abstract: V907 Scorpii is a unique triple system in which the inner binary component has been reported to have switched on and off eclipses several times in modern history. In spite of its peculiarity, observational data on this system are surprisingly scarce. Here we make use of the recent Transiting Exoplanet Survey Satellite observations, as well as our own photometric and spectroscopic data, to expand the overall data set and study the V907 Sco system in more detail. Our analysis provides both new and improved values for several of its fundamental parameters: (i) the masses of the stars in the eclipsing binary are 2.74 +/- 0.02 M_0 and 2.56 +/- 0.02 M_0; and (ii) the third component is a solar-type star with mass 1.06 +/-0.11 M_0 (90% C.L.), orbiting the binary on an elongated orbit with an eccentricity of 0.47 +/- 0.02 and a period of 142.01 +/- 0.05 days. The intermittent intervals of time when eclipses of the inner binary are switched on and off are caused by a mutual 26.2 (+/- 2.6) inclination of the inner- and outer-orbit planes, and a favorable inclination of about 71 deg of the total angular momentum of the system. The nodal precession period is Pv = 63.5 +/- 3.3 yr. The inner binary will remain eclipsing for another approx 26 yr, offering an opportunity to significantly improve the parameters of the model. This is especially true during the next decade when the inner-orbit inclination will increase to nearly 90 degrees. Further spectroscopic observations are also desirable, as they can help to improve constraints on the system's orbital architecture and its physical parameters.


title: SoK: A Data-driven View on Methods to Detect Reflective Amplification DDoS Attacks Using Honeypots

abstract: In this paper, we revisit the use of honeypots for detecting reflective amplification attacks. These measurement tools require careful design of both data collection and data analysis including cautious threshold inference. We survey common amplification honeypot platforms as well as the underlying methods to infer attack detection thresholds and to extract knowledge from the data. By systematically exploring the threshold space, we find most honeypot platforms produce comparable results despite their different configurations. Moreover, by applying data from a large-scale honeypot deployment, network telescopes, and a real-world baseline obtained from a leading DDoS mitigation provider, we question the fundamental assumption of honeypot research that convergence of observations can imply their completeness. Conclusively we derive guidance on precise, reproducible honeypot research, and present open challenges.


title: Divisibility properties of Dedekind numbers

abstract: We study some divisibility properties of Dedekind numbers. We show that the ninth Dedekind number is congruent to 6 modulo 210.


title: Straightforward Bias and Frequency Dependent Small-Signal Model Extraction for Single-Layer Graphene FETs

abstract: We propose an explicit small-signal graphene field-effect transistor (GFET) parameter extraction procedure based on a charge-based quasi-static model. The dependence of the small-signal parameters on both gate voltage and frequency is precisely validated by high-frequency (up to 18 GHz) on-wafer measurements from a 300 nm device. These parameters are studied simultaneously, in contrast to other works which focus exclusively on few. Efficient procedures have been applied to GFETs for the first time to remove contact and gate resistances from the Y-parameters. The use of these methods yields straightforward equations for extracting the small-signal model parameters, which is extremely useful for radio-frequency circuit design. Furthermore, we show for the first time experimental validation vs. both gate voltage and frequency of the intrinsic GFET non-reciprocal capacitance model. Accurate models are also presented for the gate voltage-dependence of the measured unity-gain and maximum oscillation frequencies as well as of the current and power gains.


title: BCS-BCS crossover between atomic and molecular superfluids in a Bose-Fermi mixture

abstract: We theoretically examine a continuity between atomic and molecular Fermi superfluids in a Bose-Fermi mixture near the Feshbach resonance. Considering a two-channel model describing the Feshbach resonance between Fermi and Bose atoms, we have constructed the mean-field framework based on the perturbative expansion of the Feshbach atom-dimer coupling. The resulting effective Hamiltonian exhibits not only the continuity between atom-atom to molecule-molecule Cooper pairings but also becomes equivalent to the two-band-superconductor model with Suhl-Matthias-Walker type pair-exchange coupling. We demonstrate how these atomic and molecular Fermi superfluids coexist within the two-band-like superfluid theory. The pair-exchange coupling and resulting superfluid gaps are found to be strongly enhanced near the Feshbach resonance due to the interplay between the infrared singularity of Bogoliubov phonons and their Landau damping arising from the coupling with fermions. The pair-exchange coupling can be probed via the observation of the intrinsic Josephson effect between atomic and molecular superfluids.


title: Robust Question Answering against Distribution Shifts with Test-Time Adaptation: An Empirical Study

abstract: A deployed question answering (QA) model can easily fail when the test data has a distribution shift compared to the training data. Robustness tuning (RT) methods have been widely studied to enhance model robustness against distribution shifts before model deployment. However, can we improve a model after deployment? To answer this question, we evaluate test-time adaptation (TTA) to improve a model after deployment. We first introduce COLDQA, a unified evaluation benchmark for robust QA against text corruption and changes in language and domain. We then evaluate previous TTA methods on COLDQA and compare them to RT methods. We also propose a novel TTA method called online imitation learning (OIL). Through extensive experiments, we find that TTA is comparable to RT methods, and applying TTA after RT can significantly boost the performance on COLDQA. Our proposed OIL improves TTA to be more robust to variation in hyper-parameters and test distributions over time.


title: Analysis of Black Hole Solutions in Parabolic Class Using Neural Networks

abstract: In this paper, we introduce a numerical method based on Artificial Neural Networks (ANNs) for the analysis of black hole solutions to the Einstein-axion-dilaton system in a high dimensional parabolic class. Leveraging a profile root-finding technique based on General Relativity we describe an ANN solver to directly tackle the system of ordinary differential equations. Through our extensive numerical analysis, we demonstrate, for the first time, that there is no self-similar critical solution for the parabolic class in the high dimensions of space-time. Specifically, we develop $95\%$ ANN-based confidence intervals for all the solutions in their domains. At the $95\%$ confidence level, our ANN estimators confirm that there is no black hole solution in higher dimensions, hence the gravitational collapse does not occur. Results provide some doubts about the universality of the Choptuik phenomena. Therefore, we conclude that the fastest-growing mode of the perturbations that determine the critical exponent does not exist for the parabolic class in the high dimensions.

categories: gr-qc hep-th math-ph math.MP physics.comp-ph physics.data-an


title: Slave fermion interpretation of the pseudogap in doped Mott insulators

abstract: We apply the recently developed slave fermion approach to study the doped Mott insulator in the one-band Hubbard and Hubbard-Heisenberg models. Our results produce several subtle features in the electron spectra and confirm the key role of antiferromagnetic (AFM) correlations in the appearance of the pseudogap. Upon hole doping, the electron spectra exhibit a single peak near the Fermi energy in the local approximation of the Hubbard model where AFM correlations are not included. When AFM correlations are included through an explicit mean-field Heisenberg interaction, a second peak emerges at slightly lower energy and pushes the other peak to higher energy, so that a pseudogap emerges between the two peaks at small doping. Both peaks grow rapidly with increasing doping and eventually merge together, where the pseudogap no longer exists. Detailed analyses of the spectral evolution with doping and the strength of the Heisenberg interaction confirm that the lower-energy peak comes from a polaronic mechanism due to the holon-spinon interaction in the AFM-correlated background and the higher-energy peak arises from the holon hybridization to form the electron quasiparticles. Thus, the pseudogap arises from the interplay of the polaronic and hybridization mechanisms. Our results are in good agreement with previous numerical calculations using the dynamical mean-field theory and its cluster extensions, but give a clearer picture of the underlying physics. Our work provides a promising perspective for clarifying the nature of doped Mott insulators and may serve as a starting point for more elaborate investigations in the future.


title: Deep learning of many-body observables and quantum information scrambling

abstract: Machine learning has shown significant breakthroughs in quantum science, where in particular deep neural networks exhibited remarkable power in modeling quantum many-body systems. Here, we explore how the capacity of data-driven deep neural networks in learning the dynamics of physical observables is correlated with the scrambling of quantum information. We train a neural network to find a mapping from the parameters of a model to the evolution of observables in random quantum circuits for various regimes of quantum scrambling and test its \textit{generalization} and \textit{extrapolation} capabilities in applying it to unseen circuits. Our results show that a particular type of recurrent neural network is extremely powerful in generalizing its predictions within the system size and time window that it has been trained on for both, localized and scrambled regimes. These include regimes where classical learning approaches are known to fail in sampling from a representation of the full wave function. Moreover, the considered neural network succeeds in \textit{extrapolating} its predictions beyond the time window and system size that it has been trained on for models that show localization, but not in scrambled regimes.


title: The Event Horizon Telescope Image of the Quasar NRAO 530

abstract: We report on the observations of the quasar NRAO 530 with the Event Horizon Telescope (EHT) on 2017 April 5-7, when NRAO 530 was used as a calibrator for the EHT observations of Sagittarius A*. At z=0.902 this is the most distant object imaged by the EHT so far. We reconstruct the first images of the source at 230 GHz, at an unprecedented angular resolution of $\sim$ 20 $\mu$as, both in total intensity and in linear polarization. We do not detect source variability, allowing us to represent the whole data set with static images. The images reveal a bright feature located on the southern end of the jet, which we associate with the core. The feature is linearly polarized, with a fractional polarization of $\sim$5-8% and has a sub-structure consisting of two components. Their observed brightness temperature suggests that the energy density of the jet is dominated by the magnetic field. The jet extends over 60 $\mu$as along a position angle PA$\sim -$28$^\circ$. It includes two features with orthogonal directions of polarization (electric vector position angle, EVPA), parallel and perpendicular to the jet axis, consistent with a helical structure of the magnetic field in the jet. The outermost feature has a particularly high degree of linear polarization, suggestive of a nearly uniform magnetic field. Future EHT observations will probe the variability of the jet structure on ${\mu}$as scales, while simultaneous multi-wavelength monitoring will provide insight into the high energy emission origin.


title: Employing Channel Probing to Derive End-of-Life Service Margins for Optical Spectrum Services. To appear in OPTICA Journal of Optical Communications and Networking

abstract: Optical Spectrum as a Service (OSaaS) spanning over multiple transparent optical network domains, can significantly reduce the investment and operational costs of the end-to-end service. Based on the black-link approach, these services are empowered by reconfigurable transceivers and the emerging disaggregation trend in optical transport networks. This work investigates the accuracy aspects of the channel probing method used in Generalized Signal to Noise Ratio (GSNR)-based OSaaS characterization in terrestrial brownfield systems. OSaaS service margins to accommodate impacts from enabling neighboring channels and end-of-life channel loads are experimentally derived in a systematic lab study carried out in the Open Ireland testbed. The applicability of the lab-derived margins is then verified in the HEAnet production network using a 400 GHz wide OSaaS. Finally, the probing accuracy is tested by depleting the GSNR margin through power adjustments utilizing the same 400 GHz OSaaS in the HEAnet live network. A minimum of 0.92 dB and 1.46 dB of service margin allocation is recommended to accommodate the impacts of enabling neighboring channels and end-of-life channel loads. Further 0.6 dB of GSNR margin should be allocated to compensate for probing inaccuracies.


title: A new width parameter of graphs based on edge cuts: $\alpha$-edge-crossing width

abstract: We introduce graph width parameters, called $\alpha$-edge-crossing width and edge-crossing width. These are defined in terms of the number of edges crossing a bag of a tree-cut decomposition. They are motivated by edge-cut width, recently introduced by Brand et al. (WG 2022). We show that edge-crossing width is equivalent to the known parameter tree-partition-width. On the other hand, $\alpha$-edge-crossing width is a new parameter; tree-cut width and $\alpha$-edge-crossing width are incomparable, and they both lie between tree-partition-width and edge-cut width. We provide an algorithm that, for a given $n$-vertex graph $G$ and integers $k$ and $\alpha$, in time $2^{O((\alpha+k)\log (\alpha+k))}n^2$ either outputs a tree-cut decomposition certifying that the $\alpha$-edge-crossing width of $G$ is at most $2\alpha^2+5k$ or confirms that the $\alpha$-edge-crossing width of $G$ is more than $k$. As applications, for every fixed $\alpha$, we obtain FPT algorithms for the List Coloring and Precoloring Extension problems parameterized by $\alpha$-edge-crossing width. They were known to be W[1]-hard parameterized by tree-partition-width, and FPT parameterized by edge-cut width, and we close the complexity gap between these two parameters.


title: Weakly Supervised Human Skin Segmentation using Guidance Attention Mechanisms

abstract: Human skin segmentation is a crucial task in computer vision and biometric systems, yet it poses several challenges such as variability in skin color, pose, and illumination. This paper presents a robust data-driven skin segmentation method for a single image that addresses these challenges through the integration of contextual information and efficient network design. In addition to robustness and accuracy, the integration into real-time systems requires a careful balance between computational power, speed, and performance. The proposed method incorporates two attention modules, Body Attention and Skin Attention, that utilize contextual information to improve segmentation results. These modules draw attention to the desired areas, focusing on the body boundaries and skin pixels, respectively. Additionally, an efficient network architecture is employed in the encoder part to minimize computational power while retaining high performance. To handle the issue of noisy labels in skin datasets, the proposed method uses a weakly supervised training strategy, relying on the Skin Attention module. The results of this study demonstrate that the proposed method is comparable to, or outperforms, state-of-the-art methods on benchmark datasets.


title: Self-Supervised Node Representation Learning via Node-to-Neighbourhood Alignment

abstract: Self-supervised node representation learning aims to learn node representations from unlabelled graphs that rival the supervised counterparts. The key towards learning informative node representations lies in how to effectively gain contextual information from the graph structure. In this work, we present simple-yet-effective self-supervised node representation learning via aligning the hidden representations of nodes and their neighbourhood. Our first idea achieves such node-to-neighbourhood alignment by directly maximizing the mutual information between their representations, which, we prove theoretically, plays the role of graph smoothing. Our framework is optimized via a surrogate contrastive loss and a Topology-Aware Positive Sampling (TAPS) strategy is proposed to sample positives by considering the structural dependencies between nodes, which enables offline positive selection. Considering the excessive memory overheads of contrastive learning, we further propose a negative-free solution, where the main contribution is a Graph Signal Decorrelation (GSD) constraint to avoid representation collapse and over-smoothing. The GSD constraint unifies some of the existing constraints and can be used to derive new implementations to combat representation collapse. By applying our methods on top of simple MLP-based node representation encoders, we learn node representations that achieve promising node classification performance on a set of graph-structured datasets from small- to large-scale.


title: Dual scaling of rating data

abstract: When applied to contingency tables, dual scaling and correspondence are mathematically equivalent methods. For the analysis of rating data, however, the methods differ. To a large extent this is due to differences in preprocessing of the data. In particular, in dual scaling, ratings are either transformed to rank order, or to successive category data before applying a customised dual scaling approach. In correspondence analysis, on the other hand, a so-called doubling of the original ratings is applied before applying the usual correspondence analysis formulas. In this paper, we consider these differences in detail. We propose a dual scaling variant that can be applied directly to the ratings and we compare theoretical as well as practical properties of the different approaches.


title: Constraining the Temperature-Density Relation of the Inter-Galactic Medium from Analytically Modeling Lyman-alpha Forest Absorbers

abstract: The absorption by neutral hydrogen in the intergalactic medium (IGM) produces the Ly$\alpha$ forest in the spectra of quasars. The Ly$\alpha$ forest absorbers have a broad distribution of neutral hydrogen column density $N_{\rm HI}$ and Doppler $b$ parameter. The narrowest Ly$\alpha$ absorption lines (of lowest $b$) with neutral hydrogen column density above $\sim 10^{13}{\rm cm^{-2}}$ are dominated by thermal broadening, which can be used to constrain the thermal state of the IGM. Here we constrain the temperature-density relation $T=T_0(\rho/\bar{\rho})^{\gamma-1}$ of the IGM at $1.6<z<3.6$ by using $N_{\rm HI}$ and $b$ parameters measured from 24 high-resolution and high-signal-to-noise quasar spectra and by employing an analytic model to model the $N_{\rm HI}$-dependent low-$b$ cutoff in the $b$ distribution. In each $N_{\rm HI}$ bin, the $b$ cutoff is estimated using two methods, one non-parametric method from computing the cumulative $b$ distribution and a parametric method from fitting the full $b$ distribution. We find that the IGM temperature $T_0$ at the mean gas density $\bar{\rho}$ shows a peak of $\sim 1.5\times 10^4$K at $z\sim $2.7-2.9. At redshift higher than this, the index $\gamma$ approximately remains constant, and it starts to increase toward lower redshifts. The evolution in both parameters is in good agreement with constraints from completely different approaches, which signals that He II reionization completes around $z\sim 3$.


title: Analysing the SEDs of protoplanetary disks with machine learning

abstract: ABRIDGED. The analysis of spectral energy distributions (SEDs) of protoplanetary disks to determine their physical properties is known to be highly degenerate. Hence, a Bayesian analysis is required to obtain parameter uncertainties and degeneracies. The challenge here is computational speed, as one radiative transfer model requires a couple of minutes to compute. We performed a Bayesian analysis for 30 well-known protoplanetary disks to determine their physical disk properties, including uncertainties and degeneracies. To circumvent the computational cost problem, we created neural networks (NNs) to emulate the SED generation process. We created two sets of radiative transfer disk models to train and test two NNs that predict SEDs for continuous and discontinuous disks. A Bayesian analysis was then performed on 30 protoplanetary disks with SED data collected by the DIANA project to determine the posterior distributions of all parameters. We ran this analysis twice, (i) with old distances and additional parameter constraints as used in a previous study, to compare results, and (ii) with updated distances and free choice of parameters to obtain homogeneous and unbiased model parameters. We evaluated the uncertainties in the determination of physical disk parameters from SED analysis, and detected and quantified the strongest degeneracies. The NNs are able to predict SEDs within 1ms with uncertainties of about 5% compared to the true SEDs obtained by the radiative transfer code. We find parameter values and uncertainties that are significantly different from previous values obtained by $\chi^2$ fitting. Comparing the global evidence for continuous and discontinuous disks, we find that 26 out of 30 objects are better described by disks that have two distinct radial zones. Also, we created an interactive tool that instantly returns the SED predicted by our NNs for any parameter combination.


title: Identifying causal significance in three-dimensional isotropic turbulence

abstract: Flow patterns of causal significance to three-dimensional isotropic turbulence are identified through the recently introduced algorithm of Jim\'enez (2018). Localised perturbations are introduced at arbitrary regions of a triple-periodic decaying flow at ${Re}_\lambda \approx 190$, and their evolution is used as a marker of the significance of said regions to the flow. Their dimensions are found to be an important parameter, with sizes of the order of the integral scale being controlled by the kinetic energy content, and sizes within the dissipative range, by the enstrophy and dissipation. The three quantities are found to be important at intermediate (inertial) scales. Prominent differences emerge between regions of high and low significance. The former typically contain strong gradients and/or kinetic energy and the latter are weak. An analysis of the structure of significant and insignificant flow patterns reveals that strain is more efficient than vorticity at propagating the contents of the perturbation to other regions of the flow. Moreover, the flow patterns of significant regions are found to be more complex, typically containing vortex clusters, while simpler vortex sheets are found in insignificant regions. The present results suggest that strategies aiming to manipulate the flow should focus on strain-dominated vortex clusters, avoiding enstrophy-dominated vortex sheets. This is confirmed through an assimilation experiment, in which greater synchronisation between two simulations is achieved when simulations share significant regions rather than insignificant ones. These conclusions have implications for both the control of turbulent flows and the making of predictions based on limited or noisy measurements.


title: The intersection of complemented submodules is not complemented

abstract: We show by (counter)example that the intersection of complemented submodules in a Hilbert $C^*$-module is not necessarily complemented, answering an open question from [MR].


title: Optimal interpolation with spatial rational Pythagorean hodograph curves

abstract: Using a residuum approach, we provide a complete description of the space of the rational spatial curves of given tangent directions. The rational Pythagorean hodograph curves are obtained as a special case when the norm of the direction field is a perfect square. The basis for the curve space is given explicitly. Consequently a number of interpolation problems ($G^1$, $C^1$, $C^2$, $C^1/G^2$) in this space become linear, cusp avoidance can be encoded by linear inequalities, and optimization problems like minimal energy or optimal length are quadratic and can be solved efficiently via quadratic programming. We outline the interpolation/optimization strategy and demonstrate it on several examples.


title: Histopathological Cancer Detection Using Hybrid Quantum Computing

abstract: We present an effective application of quantum machine learning in the field of healthcare. The study here emphasizes on a classification problem of a histopathological cancer detection using quantum transfer learning. Rather than using single transfer learning model, the work model presented here consists of multiple transfer learning models especially ResNet18, VGG-16, Inception-v3, AlexNet and several variational quantum circuits (VQC) with high expressibility. As a result, we provide a comparative analysis of the models and the best performing transfer learning model with the prediction AUC of approximately 93 percent for histopathological cancer detection. We also observed that for 1000 images with Resnet18, Hybrid Quantum and Classical (HQC) provided a slightly better accuracy of 88.5 percent than classical of 88.0 percent.


title: Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study

abstract: Deep neural networks (DNNs) are increasingly used in safety-critical autonomous systems as perception components processing high-dimensional image data. Formal analysis of these systems is particularly challenging due to the complexity of the perception DNNs, the sensors (cameras), and the environment conditions. We present a case study applying formal probabilistic analysis techniques to an experimental autonomous system that guides airplanes on taxiways using a perception DNN. We address the above challenges by replacing the camera and the network with a compact probabilistic abstraction built from the confusion matrices computed for the DNN on a representative image data set. We also show how to leverage local, DNN-specific analyses as run-time guards to increase the safety of the overall system. Our findings are applicable to other autonomous systems that use complex DNNs for perception.


title: Reconstruction of a surface from the category of reflexive sheaves

abstract: We define a normal surface $X$ to be codim-2-saturated if any open embedding of $X$ into a normal surface with the complement of codimension 2 is an isomorphism. We show that any normal surface $X$ allows a codim-2-saturated model $\widehat{X}$ together with the canonical open embedding $X\to \widehat{X}$. Any normal surface which is proper over its affinisation is codim-2-saturated, but the converse does not hold. We give a criterion for a surface to be codim-2-saturated in terms of its Nagata compactification and the boundary divisor. We reconstruct the codim-2-saturated model of a normal surface $X$ from the additive category of reflexive sheaves on $X$. We show that the category of reflexive sheaves on $X$ is quasi-abelian and we use its canonical exact structure for the reconstruction. In order to deal with categorical issues, we introduce a class of weakly localising Serre subcategories in abelian categories. These are Serre subcategories whose categories of closed objects are quasi-abelian. This general technique might be of independent interest.


title: Indecomposable set-theoretical solutions to the Yang--Baxter equation on a set of size $pq$

abstract: Let $p$ and $q$ be different prime numbers. Using recent results of Ced\'o and Okni\'nski, we describe isomorphism classes of indecomposable set-theoretic solutions to the Yang--Baxter equation of cardinality $pq$.


title: Sedimentation of particles with very small inertia I: Convergence to the transport-Stokes equation

abstract: We consider the sedimentation of $N$ spherical particles with identical radii $R$ in a Stokes flow in $\mathbb R^3$. The particles satisfy a no-slip boundary condition and are subject to constant gravity. The dynamics of the particles is modeled by Newton's law but with very small particle inertia as $N$ tends to infinity and $R$ to $0$. In a mean-field scaling, we show that the particle evolution is well approximated by the transport-Stokes system which has been derived previously as the mean-field limit of inertialess particles. In particular this justifies to neglect the particle inertia in the microscopic system, which is a typical modelling assumption in this and related contexts. The proof is based on a relative energy argument that exploits the coercivity of the particle forces with respect to the particle velocities in a Stokes flow. We combine this with an adaptation of Hauray's method for mean-field limits to $2$-Wasserstein distances.Moreover, in order to control the minimal distance between particles, we prove a representation of the particle forces. This representation makes the heuristic \enquote{Stokes law} rigorous that the force on each particle is proportional to the difference of the velocity of the individual particle and the mean-field fluid velocity generated by the other particles.


title: Better Diffusion Models Further Improve Adversarial Training

abstract: It has been recognized that the data generated by the denoising diffusion probabilistic model (DDPM) improves adversarial training. After two years of rapid development in diffusion models, a question naturally arises: can better diffusion models further improve adversarial training? This paper gives an affirmative answer by employing the most recent diffusion model which has higher efficiency ($\sim 20$ sampling steps) and image quality (lower FID score) compared with DDPM. Our adversarially trained models achieve state-of-the-art performance on RobustBench using only generated data (no external datasets). Under the $\ell_\infty$-norm threat model with $\epsilon=8/255$, our models achieve $70.69\%$ and $42.67\%$ robust accuracy on CIFAR-10 and CIFAR-100, respectively, i.e. improving upon previous state-of-the-art models by $+4.58\%$ and $+8.03\%$. Under the $\ell_2$-norm threat model with $\epsilon=128/255$, our models achieve $84.86\%$ on CIFAR-10 ($+4.44\%$). These results also beat previous works that use external data. We also provide compelling results on the SVHN and TinyImageNet datasets. Our code is available at https://github.com/wzekai99/DM-Improves-AT.


title: Spontaneous CP violation electroweak baryogenesis and gravitational wave through multi-step phase transitions

abstract: In a singlet pseudoscalar extension of the two-Higgs-doublet model we discuss spontaneous CP violation electroweak baryogenesis via two different patterns of phase transitions (PTs): (i) two-step PTs whose first-step and second-step are strongly first-order; (ii) three-step PTs whose first-step is second-order and the second-step and third-step are strongly first-order. For the case of the two-step pattern, the first-step PT takes place at a high temperature, converting the origin phase into an electroweak symmetry broken phase and breaking the CP symmetry spontaneously. Thus, the baryon number is produced during the first-step PT. At the second-step PT, the phase is converted into the observed vacuum at zero temperature, and the CP-symmetry is restored. In both phases the sphaleron processes are sufficiently suppressed, which keep the baryon number unchanged. For the case of the three-step PTs, the pseudoscalar field firstly acquires a nonzero VEV, and VEVs of other fields still remain zero during the first-step PT. The following PTs and electroweak baryogenesis are similar to the case of the two-step PTs. In addition, the gravitational wave spectra can have one or two peaks through the two-step and the three-step PTs, and we discuss the detectability at the future gravitational wave detectors.


title: Prefixes of the Fibonacci word

abstract: Mignosi, Restivo, and Salemi (1998) proved that for all $\epsilon > 0$ there exists an integer $N$ such that all prefixes of the Fibonacci word of length $\geq N$ contain a suffix of exponent $\alpha^2-\epsilon$, where $\alpha = (1+\sqrt{5})/2$ is the golden ratio. In this note we show how to prove an explicit version of this theorem with tools from automata theory and logic. Along the way we gain a better understanding of the repetitive structure of the Fibonacci word.


title: Strange attractors for the generalized Lozi-like family

abstract: We generalize the Lozi-like family introduced in Misiurewicz and \v{S}timac work from 2017. The generalized Lozi-like family encompasses in particular certain Lozi-like maps, orientation preserving or reversing Lozi maps or large parameter regions of 2-dimensional border collision normal forms. We prove that it possesses a strange attractor, arising as a homoclinic class.


title: Oblique and checkerboard patterns in the quenched Cahn-Hilliard model

abstract: We consider transversely modulated fronts in a directionally quenched Cahn-Hilliard equation, posed on a two-dimensional infinite channel, with both parameter and source-term type heterogeneities. Such quenching heterogeneities travel through the domain, excite instabilities, and can select the pattern formed in their wake. We in particular study striped patterns which are oblique to the quenching direction and checkerboard type patterns. Under generic spectral assumptions, these patterns arise via an $O(2)$-Hopf bifurcation as the quenching speed is varied, with symmetries arising from translations and reflections in the transverse variable. We employ an abstract functional analytic approach to establish such patterns near the bifurcation point. Exponential weights are used to address neutral continuous spectrum, and a co-domain restriction is used to address neutral mass-flux. We also give a method to determine the direction of bifurcation of fronts. We then give an explicit example for which our hypotheses are satisfied and for which bifurcating fronts can be investigated numerically.


title: A Novel Approach for Auto-Formulation of Optimization Problems

abstract: In the Natural Language for Optimization (NL4Opt) NeurIPS 2022 competition, competitors focus on improving the accessibility and usability of optimization solvers, with the aim of subtask 1: recognizing the semantic entities that correspond to the components of the optimization problem; subtask 2: generating formulations for the optimization problem. In this paper, we present the solution of our team. First, we treat subtask 1 as a named entity recognition (NER) problem with the solution pipeline including pre-processing methods, adversarial training, post-processing methods and ensemble learning. Besides, we treat subtask 2 as a generation problem with the solution pipeline including specially designed prompts, adversarial training, post-processing methods and ensemble learning. Our proposed methods have achieved the F1-score of 0.931 in subtask 1 and the accuracy of 0.867 in subtask 2, which won the fourth and third places respectively in this competition. Our code is available at https://github.com/bigdata-ustc/nl4opt.


title: Can neutrino-assisted early dark energy models ameliorate the $H_0$ tension in a natural way?

abstract: The idea of neutrino-assisted early dark energy ($\nu$EDE), where a coupling between neutrinos and the scalar field that models early dark energy (EDE) is considered, was introduced with the aim of reducing some of the fine-tuning and coincidence problems that appear in usual EDE models. In order to be relevant in ameliorating the $H_0$ tension, the contribution of EDE to the total energy density ($f_\text{EDE}$) should be around 10\% near the redshift of matter-radiation equality. We verify under which conditions $\nu$EDE models can fulfill these requirements for a model with a quartic self-coupling of the EDE field and an exponential coupling to neutrinos. We find that in the situation where the EDE field is frozen initially, the contribution to $f_\text{EDE}$ can be significant but it is not sensitive to the neutrino-EDE coupling and does not address the EDE coincidence problem. On the other hand, if the EDE field starts already dynamical at the minimum of the effective potential, it tracks this time-dependent minimum that presents a feature triggered by the neutrino transition from relativistic to nonrelativistic particles. This feature generates $f_\text{EDE}$ in a natural way at around this transition epoch, that roughly coincides with the matter-radiation equality redshift. For the set of parameters that we considered we did not find values that satisfy the requirements on the background cosmological evolution to mitigate the Hubble tension in a natural way in this particular $\nu$EDE model.


title: Spectroscopy of 9 eruptive young variables using TANSPEC

abstract: In recent times, 3.6m Devasthal Optical Telescope (DOT) has installed an optical to near infra-red spectrograph, TANSPEC, which provides spectral coverage from 0.55-2.5 microns. Using TANSPEC, we have obtained a single epoch spectrum of a set 9 FUors and EXors. We have analysed line profiles of the sources and compared with the previously published spectra of these objects. Comparing the line profile shapes with the existing theoretical predictions, we have tried to interpret the physical processes that are responsible for the current disc evolution and the present accretion dynamics. Our study has shown the importance for time evolved spectroscopic studies for better understanding the evolution of the accretion mechanisms. This in turn can help in better categorisation of the young stars displaying episodic accretion behaviour.


title: Pathways of Survival of Exomoons and Inner Exoplanets

abstract: It is conceivable that a few thousand confirmed exoplanets initially harboured satellites similar to the moons of the Solar system or larger. Could some of them have survived over the aeons of dynamical evolution to the present day? The dynamical conditions are harsh for exomoons in such systems because of the greater influence of the host star and of the tidal torque it exerts on the planet. We investigate the stability niches of exomoons around hundreds innermost exoplanets for which the needed parameters are known today, and determine the conditions of these moons' long-term survival. General lower and upper bounds on the exomoon survival niches are derived for orbital separations, periods, and masses. The fate of an exomoon residing in a stability niche depends on the initial relative rate of the planet's rotation and on the ability of the moon to synchronise the planet by overpowering the tidal action from the star. State of the art models of tidal dissipation and secular orbital evolution are applied to a large sample of known exoplanet systems with their estimated physical parameters. We show that in some plausible scenarios, exomoons can prevent close exoplanets from spiraling into their host stars, thus extending these planets' lifetimes. This is achieved when exomoons synchronise the rotation of their parent planets, overpowering the tidal action from the stars. Massive moons are more likely to survive and to maintain a high rotation rate of their host planets (higher than these planets' mean motion).


title: Recoil contributions in neutron beta decay and their corrections to the correlation coefficients

abstract: In this work, the recoil corrections to the correlation coefficients in the neutron beta decay with polarized neutron and electron are evaluated to order O(m_n^-2) in the Born approximation. Different from the usual calculations applied in the literatures where the phase space factor and the amplitude are expanded independently, we directly expand the full differential scattering cross section and then integrate the solid angles of the neutrino. Furthermore, the most general coupling forms in Wpn are kept in the calculation and the analytic expressions for the angular correlation coefficients are given. The numerical comparisons between the results by the different treatments of the phase space factor and the different choices of the coupling parameters are also presented. The results show that the careful treatment of the expansion on m_n^-1 and the inclusion of the general coupling forms are necessary when aiming to reach the precision 10^-5


title: On the calibration of stochastic car following models

abstract: Recent experimental and empirical observations have demonstrated that stochasticity plays a critical role in car following (CF) dynamics. To reproduce the observations, quite a few stochastic CF models have been proposed. However, while calibrating the deterministic CF models is well investigated, studies on how to calibrate the stochastic models are lacking. Motivated by this fact, this paper aims to address this fundamental research gap. Firstly, the CF experiment under the same driving environment is conducted and analyzed. Based on the experimental results, we test two previous calibration methods, i.e., the method to minimize the Multiple Runs Mean (MRMean) error and the method of maximum likelihood estimation (MLE). Deficiencies of the two methods have been identified. Next, we propose a new method to minimize the Multiple Runs Minimum (MRMin) error. Calibration based on the experimental data and the synthetic data demonstrates that the new method outperforms the two previous methods. Furthermore, the mechanisms of different methods are explored from the perspective of error analysis. The analysis indicates that the new method can be regarded as a nested optimization model. The method separates the aleatoric errors caused by stochasticity from the epistemic error caused by parameters, and it is able to deal with the two kinds of errors effectively. Finally, we find that under the calibration framework of stochastic CF models, the calibrated parameter set using spacing as MoP may not always outperform that using velocity as MoP. These findings are expected to enhance the understanding of the role of stochasticity in CF dynamics where the new calibration framework for stochastic CF models is established.


title: Efficient estimation of trainability for variational quantum circuits

abstract: Parameterized quantum circuits used as variational ans\"atze are emerging as promising tools to tackle complex problems ranging from quantum chemistry to combinatorial optimization. These variational quantum circuits can suffer from the well-known curse of barren plateaus, which is characterized by an exponential vanishing of the cost-function gradient with the system size, making training unfeasible for practical applications. Since a generic quantum circuit cannot be simulated efficiently, the determination of its trainability is an important problem. Here we find an efficient method to compute the gradient of the cost function and its variance for a wide class of variational quantum circuits. Our scheme relies on our proof of an exact mapping from randomly initialized circuits to a set of Clifford circuits that can be efficiently simulated on a classical computer by virtue of the celebrated Gottesmann-Knill theorem. This method is scalable and can be used to certify trainability for variational quantum circuits and explore design strategies that can overcome the barren plateau problem. As illustrative examples, we show results with up to 100 qubits.


title: Zilber's notion of logically perfect structure: Universal Covers

abstract: We sketch recent interactions between model theory and a roughly 150-year old study of analytic functions involving complex analysis, algebraic topology, and number theory, centered in canonicity of universal covers. Towards this goal we discuss in a systematic and unified way several examples indicating the main ideas of the proofs and the necessary changes in method for different situations: exponential covers, modular and Shimura curves, Shimura and abelian varieties, and coherent families of smooth covers.


title: Mass Reconstruction of Galaxy-scale Strong Gravitational Lenses Using a Broken Power-law Model

abstract: With mock strong gravitational lensing images, we investigate the performance of the broken power-law (BPL) model proposed by \citet{2020ApJ...892...62D} on the mass reconstruction of galaxy-scale lenses. An end-to-end test is carried out, including the creation of mock strong lensing images, the subtraction of lens light, and the reconstruction of lensed images, where the lenses are selected from the galaxies in the Illustris-1 simulation. We notice that, regardless of the adopted mass models (the BPL model or its special cases), the Einstein radius can be robustly determined from imaging data alone, and the median bias is typically less than $1\%$. Away from the Einstein radius, the lens mass distribution tends to be harder to measure, especially at radii where there are no lensed images detected. We find that, with rigid priors, the BPL model can clearly outperform the single power-law models by achieving $<5\%$ median bias on the radial convergence profile within the Einstein radius. As for the source light reconstructions, they are found to be sensitive to both lens light contamination and lens mass models, where the BPL model with rigid priors still performs best when there is no lens light contamination. We show that, by correcting for the projection effect, the BPL model can estimate the aperture and luminosity weighted line-of-sight velocity dispersions to an accuracy of $\sim6\%$ scatter. These results highlight the great potential of the BPL model in strong lensing related studies.


title: Hermite Reduction for D-finite Functions via Integral Bases

abstract: Trager's Hermite reduction solves the integration problem for algebraic functions via integral bases. A generalization of this algorithm to D-finite functions has so far been limited to the Fuchsian case. In the present paper, we remove this restriction and propose a reduction algorithm based on integral bases that is applicable to arbitrary D-finite functions.


title: Introduction to rough paths theory

abstract: These notes are an extended version of the course "Introduction to rough paths theory" given at the XXV Brazilian School of Probability in Campinas in August 2022. Their aim is to give a consise overview to Lyon's theory of rough paths with a special focus on applications to stochastic differential equations.


title: Scalarization of planar anti de Sitter charged black holes in Einstein-Maxwell-Scalar theory

abstract: We construct scalarized planar charged black holes in Einstein-Maxwell-scalar (EMS) theory with the presence of a negative cosmological constant. Domains of existence of black hole solutions are given in term of nonminimally coupling constant $\alpha$. Perturbative stability of a scalarized black hole is investigated by calculating its quasinormal modes. Thermodynamic properties of the scalarized planar solution are also discussed. We observe no evidence of instability of the scalarized black holes. Moreover, we find that scalarized planar charged AdS black holes are thermodynamically preferred over scalar-free solutions in grand canonical and canonical ensembles. The transition between scalar-free solutions and scalarized solutions is found to be the thermal second order phase transition. The transition of these solutions shares some similar features with conductor-superconductor phase transition.


title: Smart Resource Allocation Model via Artificial Intelligence in Software Defined 6G Networks

abstract: In this paper, we design a new flexible smart software-defined radio access network (Soft-RAN) architecture with traffic awareness for sixth generation (6G) wireless networks. In particular, we consider a hierarchical resource allocation model for the proposed smart soft-RAN model where the software-defined network (SDN) controller is the first and foremost layer of the framework. This unit dynamically monitors the network to select a network operation type on the basis of distributed or centralized resource allocation procedures to intelligently perform decision-making. In this paper, our aim is to make the network more scalable and more flexible in terms of conflicting performance indicators such as achievable data rate, overhead, and complexity indicators. To this end, we introduce a new metric, i.e., throughput-overhead-complexity (TOC), for the proposed machine learning-based algorithm, which supports a trade-off between these performance indicators. In particular, the decision making based on TOC is solved via deep reinforcement learning (DRL) which determines an appropriate resource allocation policy. Furthermore, for the selected algorithm, we employ the soft actor-critic (SAC) method which is more accurate, scalable, and robust than other learning methods. Simulation results demonstrate that the proposed smart network achieves better performance in terms of TOC compared to fixed centralized or distributed resource management schemes that lack dynamism. Moreover, our proposed algorithm outperforms conventional learning methods employed in recent state-of-the-art network designs.


title: Atlas of photometric and spectroscopic daily monitoring of the very slow Nova Cas 2021 (=V1405 Cas) during the first 660 days of its outburst

abstract: Nova Cas 2021 erupted on 18 March 2021, reaching naked-eye brightness when passing through photometric maximum 53 days later. We describe our ~daily monitoring of its evolution, covering the first 660 days since discovery. In all we obtained 574 highly accurate photometric runs simultaneously in the BVRI bands, and 110 Echelle high-resolution spectra. The multi-band photometric evolution of Nova Cas 2021 has been mapped in detail, and the strict similarities to the proto-type very-slow novae HR Del and V723 Cas are discussed. All three novae displayed multiple and short-lasting maxima while for months lingering around a bright plateau, leading eventually into the final decline and the nebular phase. The decline for all the novae proceeded at the same pace Flux(V)=(t-to)**alpha with alpha=-2.3 Prior to the primary maximum, the emission lines of Nova Cas 2021 were characterized by a slim Voigt profile, and after it all lines became much wider and characterized by a broad central component superimposed on a ever broader pedestal. This transition happened at the same time gamma-ray emission was detected for a few days. Along the 7-month plateau, the line profile displayed a reckless variability at all velocity scales in response to the ever changing brightness of the nova during the secondary maxima. Upon leaving the plateau on day +230, nebular lines appeared and the ionization degree quickly increased, passing from FeII/Balmer/HeI through HeII/Bowen and then to [CaV]/[NeV]/[FeVII]. After about day +550, the profiles stopped evolving, freezing their aspect. At later epochs, the profiles of all emission lines turned densely castellated, with all dents stable in radial velocity at 1 km/s over the last four months.


title: Fine spectral analysis of preconditioned matrices and matrix-sequences arising from stage-parallel implicit Runge-Kutta methods of arbitrarily high order

abstract: The use of high order fully implicit Runge-Kutta methods is of significant importance in the context of the numerical solution of transient partial differential equations, in particular when solving large scale problems due to fine space resolution with many millions of spatial degrees of freedom and long time intervals. In this study we consider strongly A-stable implicit Runge-Kutta methods of arbitrary order of accuracy, based on Radau quadratures, for which efficient preconditioners have been introduced. A refined spectral analysis of the corresponding matrices and matrix-sequences is presented, both in terms of localization and asymptotic global distribution of the eigenvalues. Specific expressions of the eigenvectors are also obtained. The given study fully agrees with the numerically observed spectral behavior and substantially improves the theoretical studies done in this direction so far. Concluding remarks and open problems end the current work, with specific attention to the potential generalizations of the hereby suggested general approach.


title: The Sample Complexity of Approximate Rejection Sampling with Applications to Smoothed Online Learning

abstract: Suppose we are given access to $n$ independent samples from distribution $\mu$ and we wish to output one of them with the goal of making the output distributed as close as possible to a target distribution $\nu$. In this work we show that the optimal total variation distance as a function of $n$ is given by $\tilde\Theta(\frac{D}{f'(n)})$ over the class of all pairs $\nu,\mu$ with a bounded $f$-divergence $D_f(\nu\|\mu)\leq D$. Previously, this question was studied only for the case when the Radon-Nikodym derivative of $\nu$ with respect to $\mu$ is uniformly bounded. We then consider an application in the seemingly very different field of smoothed online learning, where we show that recent results on the minimax regret and the regret of oracle-efficient algorithms still hold even under relaxed constraints on the adversary (to have bounded $f$-divergence, as opposed to bounded Radon-Nikodym derivative). Finally, we also study efficacy of importance sampling for mean estimates uniform over a function class and compare importance sampling with rejection sampling.


title: ManiSkill2: A Unified Benchmark for Generalizable Manipulation Skills

abstract: Generalizable manipulation skills, which can be composed to tackle long-horizon and complex daily chores, are one of the cornerstones of Embodied AI. However, existing benchmarks, mostly composed of a suite of simulatable environments, are insufficient to push cutting-edge research works because they lack object-level topological and geometric variations, are not based on fully dynamic simulation, or are short of native support for multiple types of manipulation tasks. To this end, we present ManiSkill2, the next generation of the SAPIEN ManiSkill benchmark, to address critical pain points often encountered by researchers when using benchmarks for generalizable manipulation skills. ManiSkill2 includes 20 manipulation task families with 2000+ object models and 4M+ demonstration frames, which cover stationary/mobile-base, single/dual-arm, and rigid/soft-body manipulation tasks with 2D/3D-input data simulated by fully dynamic engines. It defines a unified interface and evaluation protocol to support a wide range of algorithms (e.g., classic sense-plan-act, RL, IL), visual observations (point cloud, RGBD), and controllers (e.g., action type and parameterization). Moreover, it empowers fast visual input learning algorithms so that a CNN-based policy can collect samples at about 2000 FPS with 1 GPU and 16 processes on a regular workstation. It implements a render server infrastructure to allow sharing rendering resources across all environments, thereby significantly reducing memory usage. We open-source all codes of our benchmark (simulator, environments, and baselines) and host an online challenge open to interdisciplinary researchers.


title: Doniach phase diagram for Kondo lattice model on the square and triangular lattices

abstract: Geometric frustration adds a new competing energy scale to the antiferromagnetic (AFM) Kondo lattice model (KLM). In this work, we systematically study the doniach phase diagram on the square and triangular lattices in the same theoretical framework and reveal unexpected responses of it on the two lattices. The potential energy created by the geometric frustration is comparable to the Ruderman-Kittel-Kasuya-Yosida (RKKY) coupling, which completely suppresses the long-range antiferromagnetic (AFM) order on the half-filled triangular lattice. While, on the square lattice, the long-range AFM order successfully establishes and constitutes the conventional competition between the RKKY and Kondo couplings. The geometrical frustration on the triangular lattice is partially released when doped with holes, in which two different magnetic orders emerge unexpectedly. The two orders closely relate to the topology of the interacting Fermi surface. Our comprehensive comparison of the KLM on the two lattices not only reveals a significant competition of geometric frustration, RKKY, and Kondo couplings on low-dimensional systems but also sheds light on experimentally finding new phases in related materials.


title: Proving Correctness of Parallel Implementations of Transition System Specifications

abstract: The overall problem addressed in this paper is the long-standing problem of program correctness, and in particular programs that describe systems of parallel executing processes. We propose a new method for proving correctness of parallel implementations of high-level transition system specifications. The implementation language underlying the method is based on the model of active (or concurrent) objects. The method defines correctness in terms of a simulation relation between the transition system which specifies the program semantics and the transition system that is described by the correctness specification. The simulation relation itself abstracts from the fine-grained interleaving of parallel processes by exploiting a global confluence property of the particular model of active objects considered in this paper. As a proof-of-concept we apply our method to the correctness of a parallel simulator of multicore memory systems.