title: Evolution of Solar-Type Activity: Acoustic and Magnetic Energy Generation and Propagation in Beta Hydri (G2 IV)

abstract: We examine the acoustic and magnetic energy generation and propagation in beta Hydri (G2 IV). The underlying motivation for this work is based on the solar, stellar, and galactic relevance of beta Hydri (a star in the Southern hemisphere), which is readily understood as a prime example and proxy of the future Sun - thus allowing assessments and analyses of the secular decay of solar activity. Regarding the magnetic energy generation, we consider longitudinal flux tube waves. We also assess acoustic waves. For the acoustic wave energy flux, the difference between the results obtained for beta Hydri and the Sun is significantly smaller than typically attained for main-sequence stars, which is largely due to the gravity-dependence of the acoustic energy generation. Furthermore, we study the height-dependent behavior of the magnetic energy flux for different magnetic filling factors corresponding to different flux tube spreadings. Finally, we comment on possible directions of future research.


title: Fastcc: fast colour corrections for broadband radio telescope data

abstract: Broadband receiver data need colour corrections applying to correct for the different source spectra across their wide bandwidths. The full integration over a receiver bandpass may be computationally expensive and redundant when repeated many times. Colour corrections can be applied, however, using a simple quadratic fit based on the full integration instead. Here we describe fastcc and interpcc, quick Python and IDL codes that return, respectively, colour correction coefficients for different power-law spectral indices and modified black bodies for various Cosmic Microwave Background related experiments. The codes are publicly available, and can be easily extended to support additional telescopes.


title: Decomposing Chemical Space: Applications to the Machine Learning of Atomic Energies

abstract: We apply a number of atomic decomposition schemes across the standard QM7 dataset -- a small model set of organic molecules at equilibrium geometry -- to inspect the possible emergence of trends among contributions to atomization energies from distinct elements embedded within molecules. Specifically, a recent decomposition scheme of ours based on spatially localized molecular orbitals is compared to alternatives that instead partition molecular energies on account of which nuclei individual atomic orbitals are centred on. We find these partitioning schemes to expose the composition of chemical compound space in very dissimilar ways in terms of the grouping, binning, and heterogeneity of discrete atomic contributions, e.g., those associated with hydrogens bonded to different heavy atoms. Furthermore, unphysical dependencies on the one-electron basis set are found for some, but not all of these schemes. The relevance and importance of these compositional factors for training tailored neural network models based on atomic energies are next assessed. We identify both limitations and possible advantages with respect to contemporary machine learning models and discuss the design of potential counterparts based on atoms and the intrinsic energies of these as the principal decomposition units.


title: Measuring covariate balance in weighted propensity score analyses by the weighted z-difference

abstract: Propensity score (PS) methods have been increasingly used in recent years when assessing treatment effects in nonrandomized studies. In terms of statistical methods, a number of new PS weighting methods were developed, and it was shown that they can outperform PS matching in efficiency of treatment effect estimation in different simulation settings. For assessing balance of covariates in treatment groups, PS weighting methods commonly use the weighted standardized difference, despite some deficiencies of this measure like, for example, the distribution of the weighted standardized difference depending on the sample size and on the distribution of weights. We introduce the weighted z-difference as a balance measure in PS weighting analyses and demonstrate its usage in a simulation study and by applying it to an example from cardiac surgery. The weighted z-difference is computationally simple and can be calculated for continuous, binary, ordinal and nominal covariates. By using Q-Q-plots we can compare the balance of PS weighted samples immediately to the balance in perfectly matched PS samples and to the expected balance in a randomized trial.


title: A defect-correction algorithm for quadratic matrix equations, with applications to quasi-Toeplitz matrices

abstract: A defect correction formula for quadratic matrix equations of the kind $A_1X^2+A_0X+A_{-1}=0$ is presented. This formula, expressed by means of an invariant subspace of a suitable pencil, allows us to introduce a modification of the Structure-preserving Doubling Algorithm (SDA), that enables refining an initial approximation to the sought solution. This modification provides substantial advantages, in terms of convergence acceleration, in the solution of equations coming from stochastic models, by choosing a stochastic matrix as the initial approximation. An application to solving random walks in the quarter plane is shown, where the coefficients $A_{-1},A_0,A_1$ are quasi-Toeplitz matrices of infinite size.


title: When to Reject a Ground State Preparation Algorithm

abstract: In recent years substantial research effort has been devoted to quantum algorithms for ground state energy estimation (GSEE) in chemistry and materials. Given the many heuristic and non-heuristic methods being developed, it is challenging to assess what combination of these will ultimately be used in practice. One important metric for assessing utility is runtime. For most GSEE algorithms, the runtime depends on the ground state preparation (GSP) method. Towards assessing the utility of various combinations of GSEE and GSP methods, we asked under which conditions a GSP method should be accepted over a reference method, such as the Hartree-Fock state. We introduce a criteria for accepting or rejecting a GSP method for the purposes of GSEE. We consider different GSP methods ranging from heuristics to algorithms with provable performance guarantees and perform numerical simulations to benchmark their performance on different chemical systems, starting from small molecules like the hydrogen atom to larger systems like the jellium. In the future this approach may be used to abandon certain VQE ansatzes and other heursitics. Yet so far our findings do not provide evidence against the use of VQE and more expensive heuristic methods, like the low-depth booster. This work sets a foundation from which to further explore the requirements to achieve quantum advantage in quantum chemistry.


title: Depletion-limited Kerr solitons in singly-resonant optical parametric oscillators

abstract: We analyze the impact of pump depletion in the generation of cavity solitons in a singly-resonant parametrical oscillator that includes a $\chi^{(3)}$ nonlinear section. We find an analytical expression that provides the soliton existence region using variational methods, study the efficiency of energy conversion, and compare it to a driven Kerr resonator modeled by the Lugiato-Lefever equation. At high walk-off, solitons in singly-resonant optical parametric oscillators are more efficient than those formed in a Kerr resonator driven through a linear coupler.


title: Optimal Treatment Regimes for Proximal Causal Learning

abstract: A common concern when a policymaker draws causal inferences from and makes decisions based on observational data is that the measured covariates are insufficiently rich to account for all sources of confounding, i.e., the standard no confoundedness assumption fails to hold. The recently proposed proximal causal inference framework shows that proxy variables that abound in real-life scenarios can be leveraged to identify causal effects and therefore facilitate decision-making. Building upon this line of work, we propose a novel optimal individualized treatment regime based on so-called outcome and treatment confounding bridges. We then show that the value function of this new optimal treatment regime is superior to that of existing ones in the literature. Theoretical guarantees, including identification, superiority, excess value bound, and consistency of the estimated regime, are established. Furthermore, we demonstrate the proposed optimal regime via numerical experiments and a real data application.


title: Black holes in asymptotically safe gravity and beyond

abstract: Asymptotically safe quantum gravity is an approach to quantum gravity that achieves formulates a standard quantum field theory for the metric. Therefore, even the deep quantum gravity regime, that is expected to determine the true structure of the core of black holes, is described by a spacetime metric. The essence of asymptotic safety lies in a new symmetry of the theory -- quantum scale symmetry -- which characterizes the short-distance regime of quantum gravity. It implies the absence of physical scales. Therefore, the Newton coupling, which corresponds to a scale, namely the Planck length, must vanish asymptotically in the short-distance regime. This implies a weakening of the gravitational interaction, from which a resolution of classical spacetime singularities can be expected. In practise, properties of black holes in asymptotically safe quantum gravity cannot yet be derived from first principles, but are constructed using a heuristic procedure known as Renormalization Group improvement. The resulting asymptotic-safety inspired black holes have been constructed both for vanishing and for nonvanishing spin parameter. They are characterized by (i) the absence of curvature singularities, (ii) a more compact event horizon and photon sphere, (iii) a second (inner) horizon even at vanishing spin and (iv) a cold remnant as a possible final product of the Hawking evaporation. Observations can start to constrain the quantum-gravity scale that can be treated as a free parameter in asymptotic-safety inspired black holes. For slowly-spinning black holes, constraints from the EHT and X-ray observations can only constrain quantum-gravity scales far above the Planck length. In the limit of near-critical spin, asymptotic-safety inspired black holes may ``light up" in a way the ngEHT may be sensitive to, even for a quantum-gravity scale equalling the Planck length.


title: Digitizing SU(2) Gauge Fields and What to Look Out for When Doing So

abstract: With the long term perspective of using quantum computers and tensor networks for lattice gauge theory simulations, an efficient method of digitizing gauge group elements is needed. We thus present our results for a handful of discretization approaches for the non-trivial example of SU(2), such as its finite subgroups, as well as different classes of finite subsets. We focus our attention on a freezing transition observed towards weak couplings. A generalized version of the Fibonacci spiral appears to be particularly efficient and close to optimal.


title: Target selection for Near-Earth Asteroids in-orbit sample collection missions

abstract: This work presents a mission concept for in-orbit particle collection for sampling and exploration missions towards Near-Earth asteroids. Ejecta is generated via a small kinetic impactor and two possible collection strategies are investigated: collecting the particle along the anti-solar direction, exploiting the dynamical features of the L$_2$ Lagrangian point or collecting them while the spacecraft orbits the asteroid and before they re-impact onto the asteroid surface. Combining the dynamics of the particles in the Circular Restricted Three-Body Problem perturbed by Solar Radiation Pressure with models for the ejecta generation, we identify possible target asteroids as a function of their physical properties, by evaluating the potential for particle collection.


title: Feature Disentanglement Learning with Switching and Aggregation for Video-based Person Re-Identification

abstract: In video person re-identification (Re-ID), the network must consistently extract features of the target person from successive frames. Existing methods tend to focus only on how to use temporal information, which often leads to networks being fooled by similar appearances and same backgrounds. In this paper, we propose a Disentanglement and Switching and Aggregation Network (DSANet), which segregates the features representing identity and features based on camera characteristics, and pays more attention to ID information. We also introduce an auxiliary task that utilizes a new pair of features created through switching and aggregation to increase the network's capability for various camera scenarios. Furthermore, we devise a Target Localization Module (TLM) that extracts robust features against a change in the position of the target according to the frame flow and a Frame Weight Generation (FWG) that reflects temporal information in the final representation. Various loss functions for disentanglement learning are designed so that each component of the network can cooperate while satisfactorily performing its own role. Quantitative and qualitative results from extensive experiments demonstrate the superiority of DSANet over state-of-the-art methods on three benchmark datasets.


title: Noether Symmetries and Some Exact Solutions in $f(R, T^{2})$ Theory

abstract: The main objective of this article is to examine some physically viable solutions through the Noether symmetry technique in $f(R, T^{2})$ theory. For this purpose, we assume a generalized anisotropic and homogenous spacetime that yields distinct cosmic models. In order to investigate Noether equations, symmetry generators and conserved quantities, we use a specific model of this modified theory. We find exact solutions and examine the behavior of various cosmological quantities. It is found the behavior these quantities is consistent with current observations indicating that this theory describes the cosmic accelerated expansion. We conclude that generators of Noether symmetry and conserved quantities exist in this theory.


title: Exploring Tradeoffs in Spiking Neural Networks

abstract: Spiking Neural Networks (SNNs) have emerged as a promising alternative to traditional Deep Neural Networks for low-power computing. However, the effectiveness of SNNs is not solely determined by their performance but also by their energy consumption, prediction speed, and robustness to noise. The recent method Fast \& Deep, along with others, achieves fast and energy-efficient computation by constraining neurons to fire at most once. Known as Time-To-First-Spike (TTFS), this constraint however restricts the capabilities of SNNs in many aspects. In this work, we explore the relationships between performance, energy consumption, speed and stability when using this constraint. More precisely, we highlight the existence of tradeoffs where performance and robustness are gained at the cost of sparsity and prediction latency. To improve these tradeoffs, we propose a relaxed version of Fast \& Deep that allows for multiple spikes per neuron. Our experiments show that relaxing the spike constraint provides higher performance while also benefiting from faster convergence, similar sparsity, comparable prediction latency, and better robustness to noise compared to TTFS SNNs. By highlighting the limitations of TTFS and demonstrating the advantages of unconstrained SNNs we provide valuable insight for the development of effective learning strategies for neuromorphic computing.


title: NAWQ-SR: A Hybrid-Precision NPU Engine for Efficient On-Device Super-Resolution

abstract: In recent years, image and video delivery systems have begun integrating deep learning super-resolution (SR) approaches, leveraging their unprecedented visual enhancement capabilities while reducing reliance on networking conditions. Nevertheless, deploying these solutions on mobile devices still remains an active challenge as SR models are excessively demanding with respect to workload and memory footprint. Despite recent progress on on-device SR frameworks, existing systems either penalize visual quality, lead to excessive energy consumption or make inefficient use of the available resources. This work presents NAWQ-SR, a novel framework for the efficient on-device execution of SR models. Through a novel hybrid-precision quantization technique and a runtime neural image codec, NAWQ-SR exploits the multi-precision capabilities of modern mobile NPUs in order to minimize latency, while meeting user-specified quality constraints. Moreover, NAWQ-SR selectively adapts the arithmetic precision at run time to equip the SR DNN's layers with wider representational power, improving visual quality beyond what was previously possible on NPUs. Altogether, NAWQ-SR achieves an average speedup of 7.9x, 3x and 1.91x over the state-of-the-art on-device SR systems that use heterogeneous processors (MobiSR), CPU (SplitSR) and NPU (XLSR), respectively. Furthermore, NAWQ-SR delivers an average of 3.2x speedup and 0.39 dB higher PSNR over status-quo INT8 NPU designs, but most importantly mitigates the negative effects of quantization on visual quality, setting a new state-of-the-art in the attainable quality of NPU-based SR.


title: Minimally driven Kapitza oscillator: A pedagogical perspective from Newtonian mechanics and geometry

abstract: The unstable top-equilibrium point of a simple pendulum turns stable when its pivot point is given a fast and strong enough vertical vibration. Known as the Kapitza oscillator, it has four symmetrically spaced points of equilibrium in absence of gravity, out of which two are stable and two are unstable. This article, completely based on a geometric argument and an elementary intuition in Newtonian mechanics, is a visual and pedagogical exposition of (a) why the oscillator has four symmetrically spaced equilibrium points in absence of gravity, (b) which of them are stable or unstable, (c) why they are so and (d) how the stability and position and number of the equilibrium points change when gravity is turned on gradually along the line of vibration of the pivot of the oscillator. A minimal impulsive drive of the pivot is sufficient to illustrate the bare bones of the phenomenon. I propose a construction that can sustain the minimal drive passively in absence of dissipative forces, or actively if all dissipative forces can't be eliminated. In either of the cases, the discussed arguments apply.


title: Measuring Annotator Agreement Generally across Complex Structured, Multi-object, and Free-text Annotation Tasks

abstract: When annotators label data, a key metric for quality assurance is inter-annotator agreement (IAA): the extent to which annotators agree on their labels. Though many IAA measures exist for simple categorical and ordinal labeling tasks, relatively little work has considered more complex labeling tasks, such as structured, multi-object, and free-text annotations. Krippendorff's alpha, best known for use with simpler labeling tasks, does have a distance-based formulation with broader applicability, but little work has studied its efficacy and consistency across complex annotation tasks. We investigate the design and evaluation of IAA measures for complex annotation tasks, with evaluation spanning seven diverse tasks: image bounding boxes, image keypoints, text sequence tagging, ranked lists, free text translations, numeric vectors, and syntax trees. We identify the difficulty of interpretability and the complexity of choosing a distance function as key obstacles in applying Krippendorff's alpha generally across these tasks. We propose two novel, more interpretable measures, showing they yield more consistent IAA measures across tasks and annotation distance functions.


title: Calculations in Lorentz-breaking scalar QED

abstract: We purpose a study a Lorentz-breaking extension of the scalar QED. We calculate the contributions in the Lorentz-violating parameters to the two-point functions of scalar and gauge fields. We found that the two background tensors, coming from the two sectors (scalar and gauge) are mixed in the one-loop corrections. This shows that these two Lorentz-breaking terms cannot be studied in an isolated form.


title: Variational Quantum Search with Shallow Depth for Unstructured Database Search

abstract: With the advent of powerful quantum computers, the quest for more efficient quantum algorithms becomes crucial in attaining quantum supremacy over classical counterparts in the noisy intermediate-scale quantum era. While Grover's search algorithm and its generalization, quantum amplitude amplification, offer quadratic speedup in solving various important scientific problems, their exponential time complexity limits scalability as the quantum circuit depths grow exponentially with the number of qubits. To overcome this challenge, we propose Variational Quantum Search (VQS), a novel algorithm based on variational quantum algorithms and parameterized quantum circuits. We show that a depth-10 Ansatz can amplify the total probability of $k$ ($k \geq 1$) good elements, out of $2^n$ elements represented by $n$+1 qubits, from $k/2^n$ to nearly 1, as verified for $n$ up to 26, and that the maximum depth of quantum circuits in the VQS increases linearly with the number of qubits. Our experimental results have validated the efficacy of VQS and its exponential advantage over Grover's algorithm in circuit depth for up to 26 qubits. We demonstrate that a depth-56 circuit in VQS can replace a depth-270,989 circuit in Grover's algorithm. Envisioning its potential, VQS holds promise to accelerate solutions to critical problems.


title: CLIP is Also an Efficient Segmenter: A Text-Driven Approach for Weakly Supervised Semantic Segmentation

abstract: Weakly supervised semantic segmentation (WSSS) with image-level labels is a challenging task. Mainstream approaches follow a multi-stage framework and suffer from high training costs. In this paper, we explore the potential of Contrastive Language-Image Pre-training models (CLIP) to localize different categories with only image-level labels and without further training. To efficiently generate high-quality segmentation masks from CLIP, we propose a novel WSSS framework called CLIP-ES. Our framework improves all three stages of WSSS with special designs for CLIP: 1) We introduce the softmax function into GradCAM and exploit the zero-shot ability of CLIP to suppress the confusion caused by non-target classes and backgrounds. Meanwhile, to take full advantage of CLIP, we re-explore text inputs under the WSSS setting and customize two text-driven strategies: sharpness-based prompt selection and synonym fusion. 2) To simplify the stage of CAM refinement, we propose a real-time class-aware attention-based affinity (CAA) module based on the inherent multi-head self-attention (MHSA) in CLIP-ViTs. 3) When training the final segmentation model with the masks generated by CLIP, we introduced a confidence-guided loss (CGL) focus on confident regions. Our CLIP-ES achieves SOTA performance on Pascal VOC 2012 and MS COCO 2014 while only taking 10% time of previous methods for the pseudo mask generation. Code is available at https://github.com/linyq2117/CLIP-ES.


title: VC dimensions of group convolutional neural networks

abstract: We study the generalization capacity of group convolutional neural networks. We identify precise estimates for the VC dimensions of simple sets of group convolutional neural networks. In particular, we find that for infinite groups and appropriately chosen convolutional kernels, already two-parameter families of convolutional neural networks have an infinite VC dimension, despite being invariant to the action of an infinite group.


title: A note on the smallest eigenvalue of the empirical covariance of causal Gaussian processes

abstract: We present a simple proof for bounding the smallest eigenvalue of the empirical covariance in a causal Gaussian process. Along the way, we establish a one-sided tail inequality for Gaussian quadratic forms using a causal decomposition. Our proof only uses elementary facts about the Gaussian distribution and the union bound. We conclude with an example in which we provide a performance guarantee for least squares identification of a vector autoregression.


title: AdS correction to the Faddeev-Kulish state: Migrating from the Flat Peninsula

abstract: The IR finiteness of $\mathcal{S}$-matrix in flat spacetime is tied to the Faddeev-Kulish dressed state, which suggests dressing the Fock space scattering state with the soft photon modes. We instigate a construction for the Faddeev-Kulish dressed state in the language of AdS/CFT. A salient feature of AdS spacetime is that it acquits itself as a quintessential IR regulator. The IR divergences will take shape after taking the zoomed in limit. We explore the Faddeev-Kulish dressed state to account for the AdS radius corrections. The Wilson line dressing stands as a guiding principle in the study of AdS radius-corrected Faddeev-Kulish dressing. We construct the modes of the Wilson line dressed massive scalar field implementing \textit{``vanilla HKLL reconstruction''} since the field is simply free field. This simplification is owing to the use of soft photon modes in the Wilson line dressing. We map the AdS radius-corrected soft photon modes in terms of CFT current operators. We invert this mapping, use the mapping in the Wilson line dressing, and express the AdS radius-corrected Faddeev-Kulish dressed state.


title: Near-optimal Policy Identification in Active Reinforcement Learning

abstract: Many real-world reinforcement learning tasks require control of complex dynamical systems that involve both costly data acquisition processes and large state spaces. In cases where the transition dynamics can be readily evaluated at specified states (e.g., via a simulator), agents can operate in what is often referred to as planning with a \emph{generative model}. We propose the AE-LSVI algorithm for best-policy identification, a novel variant of the kernelized least-squares value iteration (LSVI) algorithm that combines optimism with pessimism for active exploration (AE). AE-LSVI provably identifies a near-optimal policy \emph{uniformly} over an entire state space and achieves polynomial sample complexity guarantees that are independent of the number of states. When specialized to the recently introduced offline contextual Bayesian optimization setting, our algorithm achieves improved sample complexity bounds. Experimentally, we demonstrate that AE-LSVI outperforms other RL algorithms in a variety of environments when robustness to the initial state is required.


title: Logarithmic negativity of the 1D antiferromagnetic spin-1 Heisenberg model with single-ion anisotropy

abstract: We study the 1D antiferromagnetic spin-1 Heisenberg XXX model with external magnetic field B and single-ion anisotropy D on finite chains. We determine the nearest and non-nearest neighbor logarithmic entanglement LN. Our main result is the disappearance of LN both for nearest and non-nearest neighbor (next-nearest and next-next-nearest) sites at zero temperature and for low temperature states. Such disappearance occurs at a critical value of B and D. The resulting phase diagram for the behaviour of LN is discussed in the B - D plane, including a separating line - ending in a triple point - where the energy density is independent on the size. Finally, results for LN at finite temperature as a function of B and D are presented and commented.


title: Rethinking Label Smoothing on Multi-hop Question Answering

abstract: Multi-Hop Question Answering (MHQA) is a significant area in question answering, requiring multiple reasoning components, including document retrieval, supporting sentence prediction, and answer span extraction. In this work, we analyze the primary factors limiting the performance of multi-hop reasoning and introduce label smoothing into the MHQA task. This is aimed at enhancing the generalization capabilities of MHQA systems and mitigating overfitting of answer spans and reasoning paths in training set. We propose a novel label smoothing technique, F1 Smoothing, which incorporates uncertainty into the learning process and is specifically tailored for Machine Reading Comprehension (MRC) tasks. Inspired by the principles of curriculum learning, we introduce the Linear Decay Label Smoothing Algorithm (LDLA), which progressively reduces uncertainty throughout the training process. Experiment on the HotpotQA dataset demonstrates the effectiveness of our methods in enhancing performance and generalizability in multi-hop reasoning, achieving new state-of-the-art results on the leaderboard.


title: Stochastic Inexact Augmented Lagrangian Method for Nonconvex Expectation Constrained Optimization

abstract: Many real-world problems not only have complicated nonconvex functional constraints but also use a large number of data points. This motivates the design of efficient stochastic methods on finite-sum or expectation constrained problems. In this paper, we design and analyze stochastic inexact augmented Lagrangian methods (Stoc-iALM) to solve problems involving a nonconvex composite (i.e. smooth+nonsmooth) objective and nonconvex smooth functional constraints. We adopt the standard iALM framework and design a subroutine by using the momentum-based variance-reduced proximal stochastic gradient method (PStorm) and a postprocessing step. Under certain regularity conditions (assumed also in existing works), to reach an $\varepsilon$-KKT point in expectation, we establish an oracle complexity result of $O(\varepsilon^{-5})$, which is better than the best-known $O(\varepsilon^{-6})$ result. Numerical experiments on the fairness constrained problem and the Neyman-Pearson classification problem with real data demonstrate that our proposed method outperforms an existing method with the previously best-known complexity result.


title: On extension of the Yang-Baxter equation and the fermionic $R$-operator

abstract: We consider the fermionic $R$-operator based on Bazhanov-Stroganov's three-parameter elliptic parametrization of the free fermion model, and find the most general solution of the related tetrahedral Zamolodchikov algebra in the trigonometric limit for an arbitrary set of parameters. This allows to construct an extension of the $R$-operator and the corresponding Yang-Baxter equation, which are of the difference type in one of the spectral parameters.


title: Using Microbenchmark Suites to Detect Application Performance Changes

abstract: Software performance changes are costly and often hard to detect pre-release. Similar to software testing frameworks, either application benchmarks or microbenchmarks can be integrated into quality assurance pipelines to detect performance changes before releasing a new application version. Unfortunately, extensive benchmarking studies usually take several hours which is problematic when examining dozens of daily code changes in detail; hence, trade-offs have to be made. Optimized microbenchmark suites, which only include a small subset of the full suite, are a potential solution for this problem, given that they still reliably detect the majority of the application performance changes such as an increased request latency. It is, however, unclear whether microbenchmarks and application benchmarks detect the same performance problems and one can be a proxy for the other. In this paper, we explore whether microbenchmark suites can detect the same application performance changes as an application benchmark. For this, we run extensive benchmark experiments with both the complete and the optimized microbenchmark suites of the two time-series database systems InuxDB and VictoriaMetrics and compare their results to the results of corresponding application benchmarks. We do this for 70 and 110 commits, respectively. Our results show that it is possible to detect application performance changes using an optimized microbenchmark suite if frequent false-positive alarms can be tolerated.


title: First-principles study of the gap in the spin excitation spectrum of the CrI$_3$ honeycomb ferromagnet

abstract: The nature of the gap observed at the zone border in the spin-excitation spectrum of CrI$_3$ quasi-2D single crystals is still controversial. We perform first-principles calculations based on time-dependent density-functional perturbation theory, which indicate that the observed gap results from a combination of spin-orbit and inter-layer interaction effects. The former give rise to the anisotropic spin-spin interactions that are responsible for its very existence, while the latter determine both its displacement from the K point of the Brillouin zone due to the in-plane lattice distortions induced by them, and an enhancement of its magnitude, in agreement with experiments and previous theoretical work based on a lattice model.


title: Fake it, Mix it, Segment it: Bridging the Domain Gap Between Lidar Sensors

abstract: Segmentation of lidar data is a task that provides rich, point-wise information about the environment of robots or autonomous vehicles. Currently best performing neural networks for lidar segmentation are fine-tuned to specific datasets. Switching the lidar sensor without retraining on a big set of annotated data from the new sensor creates a domain shift, which causes the network performance to drop drastically. In this work we propose a new method for lidar domain adaption, in which we use annotated panoptic lidar datasets and recreate the recorded scenes in the structure of a different lidar sensor. We narrow the domain gap to the target data by recreating panoptic data from one domain in another and mixing the generated data with parts of (pseudo) labeled target domain data. Our method improves the nuScenes to SemanticKITTI unsupervised domain adaptation performance by 15.2 mean Intersection over Union points (mIoU) and by 48.3 mIoU in our semi-supervised approach. We demonstrate a similar improvement for the SemanticKITTI to nuScenes domain adaptation by 21.8 mIoU and 51.5 mIoU, respectively. We compare our method with two state of the art approaches for semantic lidar segmentation domain adaptation with a significant improvement for unsupervised and semi-supervised domain adaptation. Furthermore we successfully apply our proposed method to two entirely unlabeled datasets of two state of the art lidar sensors Velodyne Alpha Prime and InnovizTwo, and train well performing semantic segmentation networks for both.


title: FedTADBench: Federated Time-Series Anomaly Detection Benchmark

abstract: Time series anomaly detection strives to uncover potential abnormal behaviors and patterns from temporal data, and has fundamental significance in diverse application scenarios. Constructing an effective detection model usually requires adequate training data stored in a centralized manner, however, this requirement sometimes could not be satisfied in realistic scenarios. As a prevailing approach to address the above problem, federated learning has demonstrated its power to cooperate with the distributed data available while protecting the privacy of data providers. However, it is still unclear that how existing time series anomaly detection algorithms perform with decentralized data storage and privacy protection through federated learning. To study this, we conduct a federated time series anomaly detection benchmark, named FedTADBench, which involves five representative time series anomaly detection algorithms and four popular federated learning methods. We would like to answer the following questions: (1)How is the performance of time series anomaly detection algorithms when meeting federated learning? (2) Which federated learning method is the most appropriate one for time series anomaly detection? (3) How do federated time series anomaly detection approaches perform on different partitions of data in clients? Numbers of results as well as corresponding analysis are provided from extensive experiments with various settings. The source code of our benchmark is publicly available at https://github.com/fanxingliu2020/FedTADBench.


title: Explainable Fuzzer Evaluation

abstract: While the aim of fuzzer evaluation is to establish fuzzer performance in general, an evaluation is always conducted on a specific benchmark. In this paper, we investigate the degree to which the benchmarking result depends on the properties of the benchmark and propose a methodology to quantify the impact of benchmark properties on the benchmarking result in relation to the impact of the choice of fuzzer. We found that the measured performance and ranking of a fuzzer substantially depends on properties of the programs and the seed corpora used during evaluation. For instance, if the benchmark contained larger programs or seed corpora with a higher initial coverage, AFL's ranking would improve while LibFuzzer's ranking would worsen. We describe our methodology as explainable fuzzer evaluation because it explains why the specific evaluation setup yields the observed superiority or ranking of the fuzzers and how it might change for different benchmarks. We envision that our analysis can be used to assess the degree to which evaluation results are overfitted to the benchmark and to identify the specific conditions under which different fuzzers performs better than others.


title: Critical subgraphs of Schrijver graphs for the fractional chromatic number

abstract: Schrijver graphs are vertex-color-critical subgraphs of Kneser graphs having the same chromatic number. They also share the value of their fractional chromatic number but Schrijver graphs are not critical for that. Here we present an induced subgraph of every Schrijver graph that is vertex-critical with respect to the fractional chromatic number. These subgraphs turn out to be isomorphic with certain circular complete graphs. We also characterize the critical edges within this subgraph.


title: Mechanism Design With Predictions for Obnoxious Facility Location

abstract: We study mechanism design with predictions for the obnoxious facility location problem. We present deterministic strategyproof mechanisms that display tradeoffs between robustness and consistency on segments, squares, circles and trees. All these mechanisms are actually group strategyproof, with the exception of the case of squares, where manipulations from coalitions of two agents exist. We prove that these tradeoffs are optimal in the 1-dimensional case.


title: MIST: Multi-modal Iterative Spatial-Temporal Transformer for Long-form Video Question Answering

abstract: To build Video Question Answering (VideoQA) systems capable of assisting humans in daily activities, seeking answers from long-form videos with diverse and complex events is a must. Existing multi-modal VQA models achieve promising performance on images or short video clips, especially with the recent success of large-scale multi-modal pre-training. However, when extending these methods to long-form videos, new challenges arise. On the one hand, using a dense video sampling strategy is computationally prohibitive. On the other hand, methods relying on sparse sampling struggle in scenarios where multi-event and multi-granularity visual reasoning are required. In this work, we introduce a new model named Multi-modal Iterative Spatial-temporal Transformer (MIST) to better adapt pre-trained models for long-form VideoQA. Specifically, MIST decomposes traditional dense spatial-temporal self-attention into cascaded segment and region selection modules that adaptively select frames and image regions that are closely relevant to the question itself. Visual concepts at different granularities are then processed efficiently through an attention module. In addition, MIST iteratively conducts selection and attention over multiple layers to support reasoning over multiple events. The experimental results on four VideoQA datasets, including AGQA, NExT-QA, STAR, and Env-QA, show that MIST achieves state-of-the-art performance and is superior at computation efficiency and interpretability.


title: Natural Language Processing in Customer Service: A Systematic Review

abstract: Artificial intelligence and natural language processing (NLP) are increasingly being used in customer service to interact with users and answer their questions. The goal of this systematic review is to examine existing research on the use of NLP technology in customer service, including the research domain, applications, datasets used, and evaluation methods. The review also looks at the future direction of the field and any significant limitations. The review covers the time period from 2015 to 2022 and includes papers from five major scientific databases. Chatbots and question-answering systems were found to be used in 10 main fields, with the most common use in general, social networking, and e-commerce areas. Twitter was the second most commonly used dataset, with most research also using their own original datasets. Accuracy, precision, recall, and F1 were the most common evaluation methods. Future work aims to improve the performance and understanding of user behavior and emotions, and address limitations such as the volume, diversity, and quality of datasets. This review includes research on different spoken languages and models and techniques.


title: Adding Stroboscopic Muon Information For Reduction of Systematic Uncertainties in DUNE

abstract: Muons have a similar latency/energy correlation from pion decay as do the neutrinos, and hence in each time-slice in a stroboscopic analysis measurements of their momentum spectra can reduce systematic uncertainties due to flux. There are, however, unique issues for muons: 1) during standard neutrino data-taking muon measurements in the forward direction must be in formidable high-flux high-radiation environments; 2) because of the very high incident hadron flux in the Absorber Hall, muons must be detected after a thick absorber, imposing a range cutoff at a momentum much above the minimum neutrino momentum of interest; 3) the muon velocity, unlike that of neutrinos, differs from $c$, and so the muon detected time will require correction for the muon flight path, requiring measurement of the muon momentum; 4) multiple scattering is significant for low-momentum muons, and so a `good geometry' is essential for precision muon flux measurements; and 5) developments in psec timing allow muon momenta in the momentum region of interest to be measured precisely by time-of-flight over short distances with photodetectors of a few-psec resolution. Here we advocate that a program of extensive precise low-intensity muon momentum spectrum measurements be carried out early in the LBNF program before the Absorber Hall becomes too hot. The low-momentum muon spectra taken in this experiment would be cross-normalized to the high-intensity neutrino data through the currently planned muon monitors which can operate in both the low and high intensity geometries. While beyond the scope of uniquely muon-related issues, the note includes a proposal for an long-base-line oscillation analysis strategy that exploits stroboscopic information for both neutrinos and muons to reduce systematic uncertainties on the neutrino fluxes and event selection in Far and Near detectors.


title: FreeEnricher: Enriching Face Landmarks without Additional Cost

abstract: Recent years have witnessed significant growth of face alignment. Though dense facial landmark is highly demanded in various scenarios, e.g., cosmetic medicine and facial beautification, most works only consider sparse face alignment. To address this problem, we present a framework that can enrich landmark density by existing sparse landmark datasets, e.g., 300W with 68 points and WFLW with 98 points. Firstly, we observe that the local patches along each semantic contour are highly similar in appearance. Then, we propose a weakly-supervised idea of learning the refinement ability on original sparse landmarks and adapting this ability to enriched dense landmarks. Meanwhile, several operators are devised and organized together to implement the idea. Finally, the trained model is applied as a plug-and-play module to the existing face alignment networks. To evaluate our method, we manually label the dense landmarks on 300W testset. Our method yields state-of-the-art accuracy not only in newly-constructed dense 300W testset but also in the original sparse 300W and WFLW testsets without additional cost.


title: Hubble WFC3 Spectroscopy of the Terrestrial Planets L~98-59~c \& d: No Evidence for a Clear Hydrogen Dominated Primary Atmosphere

abstract: The nearby bright M-dwarf star L~98-59 has three terrestrial-sized planets. One challenge remaining in characterizing atmospheres around such planets is that it is not known a priori whether they possess any atmospheres. Here we report the study of the atmospheres of L~98-59~c and L~98-59~d using the near-infrared spectral data from the G141 grism of HST/WFC3. We can reject the hypothesis of a clear atmosphere dominated by hydrogen and helium at a confidence level of $\sim$ 3~sigma for both planets. Thus they may have a primary hydrogen-dominated atmosphere with an opaque cloud layer, or have lost their primary hydrogen-dominated atmosphere and re-established a secondary thin atmosphere, or have no atmosphere at all. We cannot distinguish between these scenarios for the two planets using the current HST data. Future observations with JWST would be capable of confirming the existence of atmospheres around L~98-59~c and d and determining their compositions.


title: An Efficient Method to Compute the Stationary Probabilities of the $GI^X/M/c/N$ Model

abstract: Consider the batch-arrival $GI^X/M/c/N$ model with $c$ servers, general inter-arrival batch times, finite buffer, and exponential service times. Inter-arrival batch times, batch sizes, and service times are $i.i.d.$ and independent of each other. In this article we give a simple efficient algorithm to derive an exact solution for the steady state system size probabilities. The starting point is computing the one-step transition probabilities of the imbedded Markov chain observed at the system arrival epochs of the the corresponding $G/M/c$ model. The one-step transition probabilities are computed exactly by converting a numerical integration problem into a finite sum. Another key contribution is generating the transition probabilities of the batch-arrival model by using a simple and intuitive method to extend the results of the standard $GI/M/c$ model to batch arrivals with and without a finite buffer, and in the case of finite buffer with partial and full batch rejection. Moreover, we develop an efficient stable algorithm that can accurately solve problems with a larger number of servers than previously known. We give numerical examples to demonstrate the performance of our method.}


title: Polarizations of artin monomial ideals define triangulated balls

abstract: We show that any polarization of an artin monomial ideal defines a triangulated ball. This proves a conjecture of A.Almousa, H.Lohne and the first author. Geometrically, polarizations of ideals containing $(x_1^{a_1}, \ldots, x_n^{a_n})$ define full-dimensional triangulated balls on the sphere which is the join of boundaries of simplices of dimensions $a_1-1, \cdots, a_n-1$. We give a simple description of the boundaries of these triangulated balls, which are triangulated spheres. Combinatorially, these triangulated balls derive from subsets of products of finite sets $A_1 \times A_2 \times \cdots \times A_n$ which we call bitight. The subset and its complement fulfill exchange conditions similar to that of matroids. In the appendix we show that the squeezed balls of G.Kalai derive from polarizations of artin monomial ideals


title: Beyond the four-level model: Dark and hot states in quantum dots degrade photonic entanglement

abstract: Entangled photon pairs are essential for a multitude of photonic quantum applications. To date, the best performing solid-state quantum emitters of entangled photons are semiconductor quantum dots operated around liquid-helium temperatures. To favor the widespread deployment of these sources, it is important to explore and understand their behavior at temperatures accessible with compact Stirling coolers. Here we study the polarization entanglement among photon pairs from the biexciton-exciton cascade in GaAs quantum dots at temperatures up to 65 K. We observe entanglement degradation accompanied by changes in decay dynamics, which we ascribe to thermal population and depopulation of hot and dark states in addition to the four levels relevant for photon pair generation. Detailed calculations considering the presence and characteristics of the additional states and phonon-assisted transitions support the interpretation. We expect these results to guide the optimization of quantum dots as sources of highly entangled photons at elevated temperatures.


title: HARP: Personalized Hand Reconstruction from a Monocular RGB Video

abstract: We present HARP (HAnd Reconstruction and Personalization), a personalized hand avatar creation approach that takes a short monocular RGB video of a human hand as input and reconstructs a faithful hand avatar exhibiting a high-fidelity appearance and geometry. In contrast to the major trend of neural implicit representations, HARP models a hand with a mesh-based parametric hand model, a vertex displacement map, a normal map, and an albedo without any neural components. As validated by our experiments, the explicit nature of our representation enables a truly scalable, robust, and efficient approach to hand avatar creation. HARP is optimized via gradient descent from a short sequence captured by a hand-held mobile phone and can be directly used in AR/VR applications with real-time rendering capability. To enable this, we carefully design and implement a shadow-aware differentiable rendering scheme that is robust to high degree articulations and self-shadowing regularly present in hand motion sequences, as well as challenging lighting conditions. It also generalizes to unseen poses and novel viewpoints, producing photo-realistic renderings of hand animations performing highly-articulated motions. Furthermore, the learned HARP representation can be used for improving 3D hand pose estimation quality in challenging viewpoints. The key advantages of HARP are validated by the in-depth analyses on appearance reconstruction, novel-view and novel pose synthesis, and 3D hand pose refinement. It is an AR/VR-ready personalized hand representation that shows superior fidelity and scalability.


title: Josephson transmission line revisited

abstract: We consider the series-connected Josephson transmission line (JTL), constructed from Josephson junctions, capacitors and (possibly) resistors. We calculate the velocity of shocks in the discrete lossy JTL. We study thoroughly the continuum and the quasi-continuum approximations to the discrete JTL, both lossless and lossy. In the framework of these approximations we show that the compact travelling waves in the lossless JTL are the kinks and the solitons, and calculate their velocities. On top of each of the above mentioned approximations, we propose the simple wave approximation, which decouples the JTL equations into two separate equations for the right- and left-going waves. The approximation, in particular, allows to easily consider the formation of shocks in the lossy JTL.


title: Empowering Control of Antiferromagnets by THz-induced Spin Coherence

abstract: Finding efficient and ultrafast ways to control antiferromagnets is believed to be instrumental in unlocking their potential for magnetic devices operating at THz frequencies. Still, it is challenged by the absence of net magnetization in the ground state. Here, we show that the magnetization emerging from a state of coherent spin precession in antiferromagnetic iron borate FeBO$_3$ can be used to enable the nonlinear coupling of light to another, otherwise weakly susceptible, mode of spin precession. This nonlinear mechanism can facilitate conceptually new ways of controlling antiferromagnetism.


title: Translating topological benefits in very cold lattice simulations

abstract: Master-field simulations offer an approach to lattice QCD in which calculations are performed on a small number of large-volume gauge-field configurations. The latter is advantageous for simulations in which the global topological charge is frozen due to a very fine lattice spacing, as the effect of this on observables is suppressed by the spacetime volume. Here we make use of the recently developed Stabilised Wilson Fermions to investigate a variation of this approach in which only the temporal direction ($T$) is taken larger than in traditional calculations. As compared to a hyper-cubic lattice geometry, this has the advantage that finite-$L$ effects can be useful, e.g. for multi-hadron observables, while compared to open boundary conditions, time-translation invariance is not lost. In this proof-of-concept contribution, we study the idea of using very cold (i.e. long-$T$) lattices to topologically "defrost" observables at fine lattice spacing. We identify the scalar-scalar meson two-point correlation function as a useful probe and present first results from $N_f=3$ ensembles with time extents up to $T=2304$ and a lattice spacing of $a=0.055\,\rm{fm}$.


title: Mid-IR Observations of IRAS, AKARI, WISE/NEOWISE and Subaru for Large Icy Asteroid (704) Interamnia: a New Perspective of Regolith Properties and Water Ice Fraction

abstract: (704) Interamnia is one of the largest asteroids that locates in the outer main-belt region, which may contain a large amount of water ice underneath its surface. We observe this asteroid using 8.2 m Subaru telescope at mid-infrared wavebands, and utilize thermophysical model for realistic surface layers (RSTPM) to analyze mid-infrared data from Subaru along with those of IRAS, AKARI and WISE/NEOWISE. We optimize the method to convert the WISE magnitude to thermal infrared flux with temperature dependent color corrections, which can provide significant references for main-belt asteroids at a large heliocentric distance with low surface temperature. We derive best-fitting thermal parameters of Interamnia - a mean regolith grain size of $190_{-180}^{+460}~\rm \mu m$, with a roughness of $0.30_{-0.17}^{+0.35}$ and RMS slope of $27_{-9}^{+13}$ degrees, thereby producing thermal inertia ranging from 9 to $92~\rm Jm^{-2}s^{-1/2}K^{-1}$ due to seasonal temperature variation. The geometric albedo and effective diameter are evaluated to be $0.0472_{-0.0031}^{+0.0033}$ and $339_{-11}^{+12}~\rm km$, respectively, being indicative of a bulk density of $1.86\pm0.63~\rm g/cm^3$. The low thermal inertia is consistent with typical B/C-type asteroids with $D\geq100$ km. The tiny regolith grain size suggests the presence of a fine regolith on the surface of Interamnia. Moreover, the seasonal and diurnal temperature distribution indicates that thermal features between southern and northern hemisphere appear to be very different. Finally, we present an estimation of volume fraction of water ice of $9\%\sim66\%$ from the published grain density and porosity of carbonaceous chondrites.


title: BLOOM+1: Adding Language Support to BLOOM for Zero-Shot Prompting

abstract: The BLOOM model is a large publicly available multilingual language model, but its pretraining was limited to 46 languages. To extend the benefits of BLOOM to other languages without incurring prohibitively large costs, it is desirable to adapt BLOOM to new languages not seen during pretraining. In this work, we apply existing language adaptation strategies to BLOOM and benchmark its zero-shot prompting performance on eight new languages in a resource-constrained setting. We find language adaptation to be effective at improving zero-shot performance in new languages. Surprisingly, we find that adapter-based finetuning is more effective than continued pretraining for large models. In addition, we discover that prompting performance is not significantly affected by language specifics, such as the writing system. It is primarily determined by the size of the language adaptation data. We also add new languages to BLOOMZ, which is a multitask finetuned version of BLOOM capable of following task instructions zero-shot. We find including a new language in the multitask fine-tuning mixture to be the most effective method to teach BLOOMZ a new language. We conclude that with sufficient training data language adaptation can generalize well to diverse languages. Our code is available at https://github.com/bigscience-workshop/multilingual-modeling.


title: Quantum transport in interacting nanodevices: from quantum dots to single-molecule transistors

abstract: Unprecedented control over the manufacture of electronic devices on nanometer scale has allowed to perform highly controllable and fine-tuned experiments in the quantum regime where exotic effects can nowadays be measured. In quantum dot devices, enhanced conductance below a characteristic energy scale is the signature of Kondo singlet formation. Precise predictions of quantum transport properties in similar nanoelectronics devices are desired to design optimal functionality and control. Standard transport methods suffer from limitations in nanostructure specifics, set-up design, temperature and voltage regime of applicability. To overcome these issues, such that we obtain modelling flexibility and accurate conductance predictions, in this thesis we analytically derive alternative and improved quantum transport formulations having as their starting point scattering theory in the Landauer-B\"uttiker formula, linear response theory in the Kubo formula, nonequilibrium Keldysh theory in the Meir-Wingreen formula and Fermi liquid theory in the Oguri formula. We perform a systematic benchmark of our exact expressions, comparing with the standard approaches using numerical renormalization group techniques. The new formulations not only reproduce literature results, but also show higher accuracy and computational efficiency, as well as a wider applicability under regimes and conditions out of reach by existing methods. We also derive generalized effective models for multi-orbital two-lead interacting nanostructures in both Coulomb blockade and mixed-valence regime, which yield reusable conductance predictions directly in terms of the effective model parameters. We conclude by applying our novel formulations to complex nanoelectronics systems, including a single-molecule benzene transistor, a charge-Kondo quantum dot made from graphene and semiconductor triple quantum dot.

categories: cond-mat.str-el cond-mat.mes-hall physics.comp-ph quant-ph


title: BosonSampling.jl: A Julia package for quantum multi-photon interferometry

abstract: We present a free open source package for high performance simulation and numerical investigation of boson samplers and, more generally, multi-photon interferometry. Our package is written in Julia, allowing C-like performance with easy notations and fast, high-level coding. Underlying building blocks can easily be modified without complicated low-level language modifications. We present a great variety of routines for tasks related to boson sampling, such as statistical tools, optimization methods, classical samplers and validation tools.


title: Estimation of the attributable fraction for time to event outcomes using an inverse probability of exposure weighted Kaplan-Meier estimator

abstract: Population attributable fractions aim to quantify the proportion of the cases of an outcome (for example, a disease) that would have been avoided had no individuals in the population been exposed to a given exposure. This quantity thus plays a crucial role in epidemiology and public health, notably to guide policies, interventions or to assess the burden of a disease due to a particular exposure. Various statistical methods have been proposed to estimate attributable fractions using observational data. When time-to-event data are used, several of these formulas yield invalid results. Alternative valid formulas are available but remain scarcely used. We propose a new estimator of the attributable fraction that is both conceptually simple and easy to implement using common statistical software. Our proposed estimator makes use of the Kaplan-Meier estimator to address censoring and potentially non-proportional hazards, as well as inverse probability weighting to control confounding. Nonparametric bootstrap is proposed to produce inferences. A simulation study is used to illustrate and compare our proposed estimator to several alternatives. The results showcase the bias of many commonly used traditional approaches and the validity of our estimator under its working assumptions.


title: Hyperbolic projections and topological invariance of sublinearly Morse boundaries

abstract: We show that the sublinearly Morse boundary of a CAT(0) cubical group with a factor system is well-defined up to homeomorphism with respect to the visual topology. The key tool used in the proof is a new topology on sublinearly Morse boundaries that is induced by group actions on hyperbolic spaces that are sufficiently nice, for example, largest acylindrical actions. Using the same techniques, we obtain a explicit description of this new topology on the sublinearly Morse boundary of any hierarchically hyperbolic group in terms of medians. Finally, we explicitly describe the sublinear Morse boundaries of graph manifolds using their actions on Bass-Serre trees.


title: Decagonal Sn clathrate on $d$-Al-Ni-Co

abstract: Decagonal quasiperiodic ordering of Sn thin film on $d$-Al-Ni-Co, is shown based on scanning tunneling microscopy (STM), low-energy electron diffraction and density functional theory (DFT). Interestingly, the decagonal structural correlations are partially retained up to a large film thickness of 10 nm grown at a 165$\pm$10 K. The nucleation centers called 'Sn white flowers' identified by STM at submonolayer thickness are recognized as valid patches of the decagonal clathrate structure with low adsorption energies. Due to the excellent lattice matching (to within 1%) between columns of Sn dodecahedra in the clathrate structure and pentagonal motifs at the $d$-Al-Ni-Co surface, the interfacial energy favors clathrate over the competing Sn crystalline forms. DFT study of the Sn/Al-Ni-Co composite model shows good mechanical stability, as shown by the work of separation of Sn from Al-Ni-Co slab that is comparable to clathrate self-separation energy. The relaxed surface terminations of the R$_2$T$_4$ clathrate approximant are in self-similarity correspondence with the motifs observed in the STM images from monolayer to thickest Sn film.


title: Positive-incentive Noise

abstract: Noise is conventionally viewed as a severe problem in diverse fields, e.g., engineering, learning systems. However, this paper aims to investigate whether the conventional proposition always holds. It begins with the definition of task entropy, which extends from the information entropy and measures the complexity of the task. After introducing the task entropy, the noise can be classified into two kinds, Positive-incentive noise (Pi-noise or $\pi$-noise) and pure noise, according to whether the noise can reduce the complexity of the task. Interestingly, as shown theoretically and empirically, even the simple random noise can be the $\pi$-noise that simplifies the task. $\pi$-noise offers new explanations for some models and provides a new principle for some fields, such as multi-task learning, adversarial training, etc. Moreover, it reminds us to rethink the investigation of noises.


title: A PDE perspective on the Aizenman-Sims-Starr scheme

abstract: The limit free energy of an enriched mixed $p$-spin spin glass model has been identified with the solution of a Hamilton-Jacobi equation. In this note, we remark that the Aizenman-Sims-Starr scheme yields a subsolution to the equation.


title: First detection of CHD$_{2}$OH towards pre-stellar cores

abstract: The inheritance of material across the star and planet formation process is traced by deuterium fractionation. We report here the first detection of doubly deuterated methanol towards pre-stellar cores. We study the deuterium fractionation of methanol, CH$_{3}$OH, towards two starless and two pre-stellar cores. We derive a D/H ratio of 0.8-1.9$\%$ with CH$_{2}$DOH in pre-stellar cores H-MM1 and L694-2, consistent with measurements in more evolved Class 0/I objects and comet 67P/Churyumov-Gerasimenko, suggesting a direct chemical link arising in the pre-stellar stage. Furthermore, the column density ratios of CHD$_{2}$OH/CH$_{2}$DOH are $\sim$50-80$\%$, consistently high as that towards Class 0/I objects, indicating an efficient formation mechanism of CHD$_{2}$OH, possibly through H atom additions to D$_{2}$CO. The CH$_{2}$DOH/CH$_{3}$OH and CHD$_{2}$OH/CH$_{3}$OH column density ratios in the two pre-stellar cores are larger than that in the two starless cores B68 and L1521E, representing an evolutionary trend of methanol deuteration in early-stage cores.


title: Design and Structure Dependent Priors for Scale Parameters in Latent Gaussian Models

abstract: Many common correlation structures assumed for data can be described through latent Gaussian models. When Bayesian inference is carried out, it is required to set the prior distribution for scale parameters that rules the model components, possibly allowing to incorporate prior information. This task is particularly delicate and many contributions in the literature are devoted to investigating such aspects. We focus on the fact that the scale parameter controls the prior variability of the model component in a complex way since its dispersion is also affected by the correlation structure and the design. To overcome this issue that might confound the prior elicitation step, we propose to let the user specify the marginal prior of a measure of dispersion of the model component, integrating out the scale parameter, the structure and the design. Then, we analytically derive the implied prior for the scale parameter. Results from a simulation study, aimed at showing the behavior of the estimators sampling properties under the proposed prior elicitation strategy, are discussed. Lastly, some real data applications are explored to investigate prior sensitivity and allocation of explained variance among model components.


title: Anisotropic molecular diffusion in confinement I: Transport of small particles in potential and density gradients

abstract: Hypothesis: Diffusion in confinement is an important fundamental problem with significant implications for applications of supported liquid phases. However, resolving the spatially dependent diffusion coefficient, parallel and perpendicular to interfaces, has been a standing issue. In the vicinity of interfaces, density fluctuations as a consequence of layering locally impose statistical drift, which impedes the analysis of spatially dependent diffusion coefficients even further. We hypothesise, that we can derive a model to spatially resolve interface-perpendicular diffusion coefficients based on local lifetime statistics with an extension to explicitly account for the effect of local drift using the Smoluchowski equation, that allows us to resolve anisotropic and spatially dependent diffusivity landscapes at interfaces. Methods and simulations: An analytic relation between local crossing times in system slices and diffusivity as well as an explicit term for calculating drift-induced systematic errors is presented. The method is validated on Molecular Dynamics simulations of bulk water and applied to simulations of water in slit pores. Findings: After validation on bulk liquids, we clearly demonstrate the anisotropic nature of diffusion coefficients at interfaces. Significant spatial variations in the diffusivities correlate with interface-induced structuring but cannot be solely attributed to the drift induced by local density fluctuations.

categories: cond-mat.soft cond-mat.mtrl-sci cond-mat.stat-mech physics.chem-ph physics.comp-ph


title: Solutions of the Sinh-Gordon and Sine-Gordon equations and applications

abstract: We study the elliptic sinh-Gordon and sine-Gordon equations on the real plane and we introduce new families of solutions. We use a Backlund transformation that connects the elliptic versions of sinh-Gordon and sine-Gordon equations. As an application, we construct new harmonic maps between surfaces, when the target is of constant curvature -1.


title: Mesoscopic modelling of epithelial tissues

abstract: Over the last two decades, scientific literature has been blooming with various means of simulating epithelial cell colonies. Each of these simulations can be separated by their respective efficiency (expressed in terms of consumed computational resources), the amount of cells/the size of tissues that can be simulated, the time scale of the simulated dynamics and the coarse grained level of precision. Choosing the right algorithm for the simulation of epithelial cells and tissues is a compromise between each of these key elements. Irrespective of the method, each algorithm includes part, or all, of the following features: short-range membrane-mediated attraction between cells, soft-core repulsion between cells, cell proliferation, cell death, cell motility, fluctuations, etc. We will first give a non-exhaustive overview of commonly used modeling approaches for tissues at a mesoscopic level, giving a rough idea of the coarse-graining decisions made for every one of them. Then we will dive into greater detail on how to implement a relaxation procedure according to the Vertex Model, refreshing aspects of the theoretical groundwork, describing required data structures and simulation steps and pointing out details of the simulation that can present pitfalls to a first-time implementation of the model.


title: Time evolution for the Pauli-Fierz operator (Markov approximation and Rabi cycle)

abstract: This article is concerned with a system of particles interacting with the quantized electromagnetic field (photons) in the non relativistic Quantum Electrodynamics (QED) framework and governed by the Pauli-Fierz Hamiltonian. We are interested not only in deriving approximations of several quantities when the coupling constant is small but also in obtaining different controls of the error terms. First, we investigate the time dynamics approximation in two situations, the Markovian (Theorem 1.4 completed by Theorem 1.16) and non Markovian (Theorem 1.6) cases. These two contexts differ in particular regarding the approximation leading terms, the error control and the initial states. Second, we examine two applications. The first application is the study of marginal transition probabilities related to those analyzed by Bethe and Salpeter in \cite{B-S}, such as proving the exponential decay in the Markovian case assuming the Fermi Golden Rule (FGR) hypothesis (Theorem 1.17 or Theorem 1.15) and obtaining a FGR type approximation in the non Markovian case (Theorem 1.5). The second application, in the non Markovian case, includes the derivation of Rabi cycles from QED (Theorem 1.7). All the results are established under the following assumptions at some steps of the proofs: an ultraviolet and an infrared regularization are imposed, the quadratic terms of the Pauli-Fierz Hamiltonian are dropped, and the dipole approximation is assumed but only to obtain optimal error controls.


title: "Zoology" of non-invertible duality defects: the view from class $\mathcal{S}$

abstract: We study generalizations of the non-invertible duality defects present in $\mathcal{N} = 4$ SU(N) SYM by studying theories with larger duality groups. We focus on 4d $\mathcal{N} = 2$ theories of class $\mathcal{S}$ obtained by the dimensional reduction of the 6d $\mathcal{N} = (2, 0)$ theory of $A_{N-1}$ type on a Riemann surface $\Sigma_g$ without punctures. We discuss their non-invertible duality symmetries and provide two ways to compute their fusion algebra: either using discrete topological manipulations or a 5d TQFT description. We also introduce the concept of "rank" of a non-invertible duality symmetry and show how it can be used to (almost) completely fix the fusion algebra with little computational effort.


title: The ice cone family and iterated integrals for Calabi-Yau varieties

abstract: We present for the first time fully analytic results for multi-loop equal-mass ice cone graphs in two dimensions. By analysing the leading singularities of these integrals, we find that the maximal cuts in two dimensions can be organised into two copies of the same periods that describe the Calabi-Yau varieties for the equal-mass banana integrals. We obtain a conjectural basis of master integrals at an arbitrary number of loops, and we solve the system of differential equations satisfied by the master integrals in terms of the same class of iterated integrals that have appeared earlier in the context of equal-mass banana integrals. We then go on and show that, when expressed in terms of the canonical coordinate on the moduli space, our results can naturally be written as iterated integrals involving the geometrical invariants of the Calabi-Yau varieties. Our results indicate how the concept of pure functions and transcendental weight can be extended to the case of Calabi-Yau varieties. Finally, we also obtain a novel representation of the periods of the Calabi-Yau varieties in terms of the same class of iterated integrals, and we show that the well-known quadratic relations among the periods reduce to simple shuffle relations among these iterated integrals.


title: On {\L}ojasiewicz Inequalities and the Effective Putinar's Positivstellensatz

abstract: The representation of positive polynomials on a semi-algebraic set in terms of sums of squares is a central question in real algebraic geometry, which the Positivstellensatz answers. In this paper, we study the effective Putinar's Positivestellensatz on a compact basic semialgebraic set $S$ and provide a new proof and new improved bounds on the degree of the representation of positive polynomials. These new bounds involve a parameter $\epsilon$ measuring the non-vanishing of the positive function, the constant $c$ and exponent $L$ of a {\L}ojasiewicz inequality for the semi-algebraic distance function associated to the inequalities $g = (g_1 ,. .. , g_r)$ defining $S$. They are polynomial in $c$ and $\epsilon^{-1}$ with an exponent depending only on $L$. We analyse in details the {\L}ojasiewicz inequality when the defining inequalties g satisfy the Constraint Qualification Condition. We show that, in this case, the {\L}ojasiewicz exponent $L$ is 1 and we relate the {\L}ojasiewicz constant $c$ with the distance of $g$ to the set of singular systems.


title: On approximate robust confidence distributions

abstract: A confidence distribution is a complete tool for making frequentist inference for a parameter of interest $\psi$ based on an assumed parametric model. Indeed, it allows to reach point estimates, to assess their precision, to set up tests along with measures of evidence for statements of the type "$\psi > \psi_0$" or "$\psi_1 \leq \psi \leq \psi_2$", to derive confidence intervals, comparing the parameter of interest with other parameters from other studies, etc. The aim of this contribution is to discuss robust confidence distributions derived from unbiased $M-$estimating functions, which provide robust inference for $\psi$ when the assumed distribution is just an approximate parametric model or in the presence of deviant values in the observed data. Paralleling likelihood-based results and extending results available for robust scoring rules, we first illustrate how robust confidence distributions can be derived from the asymptotic theory of robust pivotal quantities. Then, we discuss the derivation of robust confidence distributions via simulation methods. An application and a simulation study are illustrated in the context of non-inferiority testing, in which null hypotheses of the form $H_0: \psi \leq \psi_0$ are of interest.


title: Mu$^{2}$SLAM: Multitask, Multilingual Speech and Language Models

abstract: We present Mu$^{2}$SLAM, a multilingual sequence-to-sequence model pre-trained jointly on unlabeled speech, unlabeled text and supervised data spanning Automatic Speech Recognition (ASR), Automatic Speech Translation (AST) and Machine Translation (MT), in over 100 languages. By leveraging a quantized representation of speech as a target, Mu$^{2}$SLAM trains the speech-text models with a sequence-to-sequence masked denoising objective similar to T5 on the decoder and a masked language modeling (MLM) objective on the encoder, for both unlabeled speech and text, while utilizing the supervised tasks to improve cross-lingual and cross-modal representation alignment within the model. On CoVoST AST, Mu$^{2}$SLAM establishes a new state-of-the-art for models trained on public datasets, improving on xx-en translation over the previous best by 1.9 BLEU points and on en-xx translation by 1.1 BLEU points. On Voxpopuli ASR, our model matches the performance of an mSLAM model fine-tuned with an RNN-T decoder, despite using a relatively weaker sequence-to-sequence architecture. On text understanding tasks, our model improves by more than 6\% over mSLAM on XNLI, getting closer to the performance of mT5 models of comparable capacity on XNLI and TydiQA, paving the way towards a single model for all speech and text understanding tasks.


title: Projective symmetry group classification of Abrikosov fermion mean-field ans\"atze on the square-octagon lattice

abstract: We perform a projective symmetry group (PSG) classification of symmetric quantum spin liquids with different gauge groups on the square-octagon lattice. Employing the Abrikosov fermion representation for spin-$1/2$, we obtain $32$ $SU(2)$, $1808$ $U(1)$ and $384$ $\mathbb{Z}_{2}$ algebraic PSGs. Constraining ourselves to mean-field parton ans\"atze with short-range amplitudes, the classification reduces to a limited number, with 4 $SU(2)$, 24 $U(1)$ and 36 $\mathbb{Z}_{2}$, distinct phases. We discuss their ground state properties and spinon dispersions within a self-consistent treatment of the Heisenberg Hamiltonian with frustrating couplings.


title: Interactive Cartoonization with Controllable Perceptual Factors

abstract: Cartoonization is a task that renders natural photos into cartoon styles. Previous deep cartoonization methods only have focused on end-to-end translation, which may hinder editability. Instead, we propose a novel solution with editing features of texture and color based on the cartoon creation process. To do that, we design a model architecture to have separate decoders, texture and color, to decouple these attributes. In the texture decoder, we propose a texture controller, which enables a user to control stroke style and abstraction to generate diverse cartoon textures. We also introduce an HSV color augmentation to induce the networks to generate diverse and controllable color translation. To the best of our knowledge, our work is the first deep approach to control the cartoonization at inference while showing profound quality improvement over to baselines.


title: Cold collisions between alkali and alkaline-earth hetero nuclear atom-ion system Li + Ba$^+$

abstract: In a recent experiment by Schaetz group \cite{weckesser2021}, the quantum $s$-wave regime has been attained for alkali and alkaline-earth atom-ion combination (Li-Ba$^+$). We investigate possible outcomes from interaction of this ion-atom pair at quantum regimes from a theoretical point of view. For this purpose, Born-Oppenheimer potential energy surfaces are constructed for the lowest three dissociation channels of (Ba-Li)$^+$ molecular system using a multireference configuration interaction (MRCI) electronic structure calculation. We present elastic, spin-exchange (SE), and diffusion cross sections at different energy regimes. The collisional properties of this system are calculated in terms of the scattering phase shifts and scattering cross sections, and the semiclassical behavior at a relatively large energy limit is also examined. For SE collisions, phase locking is obtained towards lower partial waves.


title: Equivariant K-homology and K-theory for some discrete planar affine groups

abstract: We consider the semi-direct products $G=\mathbb Z^2\rtimes GL_2(\mathbb Z), \mathbb Z^2\rtimes SL_2(\mathbb Z)$ and $\mathbb Z^2\rtimes\Gamma(2)$ (where $\Gamma(2)$ is the congruence subgroup of level 2). For each of them, we compute both sides of the Baum-Connes conjecture, namely the equivariant $K$-homology of the classifying space $\underline{E}G$ for proper actions on the left-hand side, and the analytical K-theory of the reduced group $C^*$-algebra on the right-hand side. The computation of the LHS is made possible by the existence of a 3-dimensional model for $\underline{E}G$, which allows to replace equivariant K-homology by Bredon homology. We pay due attention to the presence of torsion in $G$, leading to an extensive study of the wallpaper groups associated with finite subgroups. For the second and third groups, the computations in $K_0$ provide explicit generators that are matched by the Baum-Connes assembly map.


title: Graded covering of a supermanifold

abstract: We introduce and investigate the notion of a $\mathbb Z$-graded covering for a supermanifold. More precisely, Donagi and Witten suggested a construction of the first obstruction class for splitting of a supermanifold via differential operators. We prove that an infinite prolongation of this construction satisfies some universal properties and can be seen as a covering of a supermanifold in the category of graded manifolds.


title: Localized bounds on log-derivatives of the heat kernel on incomplete Riemannian manifolds

abstract: Bounds on the logarithmic derivatives of the heat kernel on a compact Riemannian manifolds have been long known, and were recently extended, for the log-gradient and log-Hessian, to general complete Riemannian manifolds. Here, we further extend these bounds to incomplete Riemannan manifolds under the least restrictive condition on the distance to infinity available, for derivatives of all orders. Moreover, we consider not only the usual heat kernel associated to the Laplace-Beltrami operator, but we also allow the addition of a conservative vector field. We show that these bounds are sharp in general, even for compact manifolds, and we discuss the difficulties that arise when the operator incorporates non-conservative vector fields or when the Riemannian structure is weakened to a sub-Riemannian structure.


title: A modified equation analysis for immersed boundary methods based on volume penalization: applications to linear advection-diffusion and high-order discontinuous Galerkin schemes

abstract: The Immersed Boundary Method (IBM) is a popular numerical approach to impose boundary conditions without relying on body-fitted grids, thus reducing the costly effort of mesh generation. To obtain enhanced accuracy, IBM can be combined with high-order methods (e.g., discontinuous Galerkin). For this combination to be effective, an analysis of the numerical errors is essential. In this work, we apply, for the first time, a modified equation analysis to the combination of IBM (based on volume penalization) and high-order methods (based on nodal discontinuous Galerkin methods) to analyze a priori numerical errors and obtain practical guidelines on the selection of IBM parameters. The analysis is performed on a linear advection-diffusion equation with Dirichlet boundary conditions. Three ways to penalize the immerse boundary are considered, the first penalizes the solution inside the IBM region (classic approach), whilst the second and third penalize the first and second derivatives of the solution. We find optimal combinations of the penalization parameters, including the first and second penalizing derivatives, resulting in minimum errors. We validate the theoretical analysis with numerical experiments for one- and two-dimensional advection-diffusion equations.


title: Large Language Models are Better Reasoners with Self-Verification

abstract: Recently, with the chain of thought (CoT) prompting, large language models (LLMs), e.g., GPT-3, have shown strong reasoning ability in several natural language processing tasks such as arithmetic, commonsense, and logical reasoning. However, LLMs with CoT require multi-step prompting and multi-token prediction, which is highly sensitive to individual mistakes and vulnerable to error accumulation. The above issues make the LLMs need the ability to verify the answers. In fact, after inferring conclusions in some thinking decision tasks, people often check them by re-verifying steps to avoid some mistakes. In this paper, we propose and prove that LLMs also have similar self-verification abilities. We take the conclusion obtained by CoT as one of the conditions for solving the original problem. By performing a backward verification of the answers that LLM deduced for itself, we can obtain interpretable answer validation scores to select the candidate answer with the highest score. Experimental results demonstrate that the proposed method can improve the reasoning performance on various arithmetic, commonsense, and logical reasoning datasets. Our code is publicly available at: https://github.com/WENGSYX/Self-Verification.


title: High Performance Construction of RecSplit Based Minimal Perfect Hash Functions

abstract: A minimal perfect hash function (MPHF) bijectively maps a set S of objects to the first |S| integers. It can be used as a building block in databases and data compression. RecSplit [Esposito et al., ALENEX'20] is currently the most space efficient practical minimal perfect hash function. It heavily relies on trying out hash functions in a brute force way. We introduce rotation fitting, a new technique that makes the search more efficient by drastically reducing the number of tried hash functions. Additionally, we greatly improve the construction time of RecSplit by harnessing parallelism on the level of bits, vectors, cores, and GPUs. In combination, the resulting improvements yield speedups up to 239 on an 8-core CPU and up to 5438 using a GPU. The original single-threaded RecSplit implementation needs 1.5 hours to construct an MPHF for 5 Million objects with 1.56 bits per object. On the GPU, we achieve the same space usage in just 5 seconds. Given that the speedups are larger than the increase in energy consumption, our implementation is more energy efficient than the original implementation.


title: Source-Free Domain Adaptation for Question Answering with Masked Self-training

abstract: Most previous unsupervised domain adaptation (UDA) methods for question answering(QA) require access to source domain data while fine-tuning the model for the target domain. Source domain data may, however, contain sensitive information and may be restricted. In this study, we investigate a more challenging setting, source-free UDA, in which we have only the pretrained source model and target domain data, without access to source domain data. We propose a novel self-training approach to QA models that integrates a unique mask module for domain adaptation. The mask is auto-adjusted to extract key domain knowledge while trained on the source domain. To maintain previously learned domain knowledge, certain mask weights are frozen during adaptation, while other weights are adjusted to mitigate domain shifts with pseudo-labeled samples generated in the target domain. %As part of the self-training process, we generate pseudo-labeled samples in the target domain based on models trained in the source domain. Our empirical results on four benchmark datasets suggest that our approach significantly enhances the performance of pretrained QA models on the target domain, and even outperforms models that have access to the source data during adaptation.


title: Resection cavity auto-contouring for patients with pediatric medulloblastoma using only CT information

abstract: Purpose: Target delineation for radiation therapy is a time-consuming and complex task. Autocontouring gross tumor volumes (GTVs) has been shown to increase efficiency. However, there is limited literature on post-operative target delineation, particularly for CT-based studies. To this end, we trained a CT-based autocontouring model to contour the post-operative GTV of pediatric patients with medulloblastoma. Methods: 104 retrospective pediatric CT scans were used to train a GTV auto-contouring model. 80 patients were then preselected for contour visibility, continuity, and location to train an additional model. Each GTV was manually annotated with a visibility score based on the number of slices with a visible GTV (1 = <25%, 2 = 25%-50%, 3 = >50%-75%, and 4 = >75%-100%). Contrast and the contrast-to-noise ratio (CNR) were calculated for the GTV contour with respect to a cropped background image. Both models were tested on the original and pre-selected testing sets. The resulting surface and overlap metrics were calculated comparing the clinical and autocontoured GTVs and the corresponding clinical target volumes (CTVs). Results: 80 patients were pre-selected to have a continuous GTV within the posterior fossa. Of these, 7, 41, 21, and 11 were visibly scored as 4, 3, 2, and 1, respectively. The contrast and CNR removed an additional 11 and 20 patients from the dataset, respectively. The Dice similarity coefficients (DSC) were 0.61 +/- 0.29 and 0.67 +/- 0.22 on the models without pre-selected training data and 0.55 +/- 13.01 and 0.83 +/- 0.17 on the models with pre-selected data, respectively. The DSC on the CTV expansions were 0.90 +/- 0.13. Conclusion: We automatically contoured continuous GTVs within the posterior fossa on scans that had contrast >=10 HU. CT-Based auto-contouring algorithms have potential to positively impact centers with limited MRI access.


title: Finite-Size Effects of the HVP Contribution to the Muon $g-2$ with C$^{\star}$ Boundary Conditions

abstract: The muon $g-2$ is a compelling quantity due to the current standing tensions among the experimental average, data-driven theoretical results, and lattice results. Matching the final target accuracy of the experiments at Fermilab and J-PARC will constitute a major challenge for the lattice community in the coming years. For this reason, it is worthwhile to consider different options to keep the systematic errors under control. In this proceedings, we discuss finite-volume effects of the leading Hadron Vacuum Polarization (HVP) contribution to the muon $g-2$ in the presence of C$^{\star}$ boundary conditions. When considering isospin-breaking corrections to the HVP, C$^{\star}$ boundary conditions provide a possible consistent formulation of $\mathrm{QCD+QED}$ in finite volume. Even though these boundary conditions can be avoided in the calculation of the leading HVP contribution, we find the interesting result that they remove the leading exponential finite-volume correction. In practice, compared to the periodic case, C$^{\star}$ boundary conditions cut the finite-size effects in half on a lattice of physical size $M_{\pi}L=4$ and by a factor of almost ten for $M_{\pi}L=8$. We discuss the origin of this reduction and implications for computational efficiency.


title: Phonons of electronic crystals in two-dimensional semiconductor moir\'e patterns

abstract: We theoretically studied the phonon properties of the triangular-, stripe- and honeycomb-type electronic crystals recently found in two-dimensional semiconductor moir\'e patterns. By analyzing the phonon dispersions, we found the interaction induced lattice deformation in the zigzag-stripe crystal results in a much higher dynamical stability than in the linear-stripe crystal. Moreover, chiral phonons with finite magnetizations and large Berry curvatures can emerge in triangular and honeycomb crystals under time-reversal or inversion symmetry breaking. The small effective mass of the electrons allows the selective and efficient generation of chiral phonons from the optical activity of zone-center phonons combined with the anharmonicity, facilitating the realization of the phonon Hall effect. These findings point to an exciting new platform for exploring chiral phonons and the related topological phononic devices.


title: Answering Complex Logical Queries on Knowledge Graphs via Query Computation Tree Optimization

abstract: Answering complex logical queries on incomplete knowledge graphs is a challenging task, and has been widely studied. Embedding-based methods require training on complex queries, and cannot generalize well to out-of-distribution query structures. Recent work frames this task as an end-to-end optimization problem, and it only requires a pretrained link predictor. However, due to the exponentially large combinatorial search space, the optimal solution can only be approximated, limiting the final accuracy. In this work, we propose QTO (Query Computation Tree Optimization) that can efficiently find the exact optimal solution. QTO finds the optimal solution by a forward-backward propagation on the tree-like computation graph, i.e., query computation tree. In particular, QTO utilizes the independence encoded in the query computation tree to reduce the search space, where only local computations are involved during the optimization procedure. Experiments on 3 datasets show that QTO obtains state-of-the-art performance on complex query answering, outperforming previous best results by an average of 22%. Moreover, QTO can interpret the intermediate solutions for each of the one-hop atoms in the query with over 90% accuracy. The code of our paper is at https://github.com/bys0318/QTO.


title: On the Density of Codes over Finite Chain Rings

abstract: We determine the asymptotic proportion of free modules over finite chain rings with good distance properties and treat the asymptotics in the code length n and the residue field size q separately. We then specialize and apply our technique to rank metric codes and to Hamming metric codes.


title: Kinematics of the diffuse intragroup and intracluster light in groups and clusters of galaxies in the Local Universe within 100 Mpc distance

abstract: Nearly all intragroup (IGL) and intracluster light (ICL) comes from stars that are not bound to any single galaxy but were formed in galaxies and later unbound from them. In this review we focus on the physical properties - phase space properties, metallicity and age distribution - of the ICL and IGL components of the groups and clusters in the local universe, within 100 Mpc distance. Kinematic information on these very low surface brightness structures mostly comes from discrete tracers such as planetary nebulae and globular clusters, showing highly unrelaxed velocity distributions. Cosmological hydrodynamical simulations provide key predictions for the dynamical state of IGL and ICL and find that most IC stars are dissolved from galaxies that subsequently merge with the central galaxy. The increase of the measured velocity dispersion with radius in the outer halos of bright galaxies is a physical feature that makes it possible to identify IGL and ICL components. In the local groups and clusters, IGL and ICL are located in the dense regions of these structures. Their light fractions relative to the total luminosity of the satellite galaxies in a given group or cluster are between a few to ten percent, significantly lower than the average values in more evolved, more distant clusters. IGL and ICL in the Leo I and M49 groups, and the Virgo cluster core around M87, has been found to arise from mostly old (>~10 Gyr) metal-poor ([Fe/H]<-1.0) stars of low-mass progenitor galaxies. New imaging facilities such as LSST, Euclid, and the `big eyes' on the sky - ELT and JWST with their advanced instrumentation-promise to greatly increase our knowledge of the progenitors of the IGL and ICL stars, their ages, metal content, masses and evolution, thereby increasing our understanding of this enigmatic component.


title: Solving Quantified Modal Logic Problems by Translation to Classical Logics

abstract: This article describes an evaluation of Automated Theorem Proving (ATP) systems on problems taken from the QMLTP library of first-order modal logic problems. Principally, the problems are translated to both typed first-order and higher-order logic in the TPTP language using an embedding approach, and solved using first-order resp. higher-order logic ATP systems and model finders. Additionally, the results from native modal logic ATP systems are considered, and compared with the results from the embedding approach. The findings are that the embedding process is reliable and successful when state-of-the-art ATP systems are used as backend reasoners, The first-order and higher-order embeddings perform similarly, native modal logic ATP systems have comparable performance to classical systems using the embedding for proving theorems, native modal logic ATP systems are outperformed by the embedding approach for disproving conjectures, and the embedding approach can cope with a wider range of modal logics than the native modal systems considered.


title: A note on Vizing's conjecture

abstract: Let $\gamma(G)$ denote the domination number of graph $G$. Let $G$ and $H$ be graphs and $G\Box H$ their Cartesian product. For $h\in V(H)$ define $G_h=\{(g,h)\,|\,g\in V(G)\}$ and call this set a $G$-layer of $G\Box H$. We prove the following special case of Vizing's conjecture. Let $D$ be a dominating set of $G\Box H$. If there exist minimum dominating sets $D_1$ and $D_2$ of $G$ such that for every $h\in V(H)$, the projection of $D\cap G_h$ to $G$ is contained in $D_1$ or $D_2$, then $|D|\geq \gamma(G)\gamma(H)$.