title: Predicting the transverse emittance of space charge dominated beams using the phase advance scan technique and a fully connected neural network

abstract: The transverse emittance of a charged particle beam is an important figure of merit for many accelerator applications, such as ultra-fast electron diffraction, free electron lasers and the operation of new compact accelerator concepts in general. One of the easiest to implement methods to determine the transverse emittance is the phase advance scan method using a focusing element and a screen. This method has been shown to work well in the thermal regime. In the space charge dominated laminar flow regime, however, the scheme becomes difficult to apply, because of the lack of a closed description of the beam envelope including space charge effects. Furthermore, certain mathematical, as well as beamline design criteria must be met in order to ensure accurate results. In this work we show that it is possible to analyze phase advance scan data using a fully connected neural network (FCNN), even in setups, which do not meet these criteria. In a simulation study, we evaluate the perfomance of the FCNN by comparing it to a traditional fit routine, based on the beam envelope equation. Subsequently, we use a pre-trained FCNN to evaluate measured phase advance scan data, which ultimately yields much better agreement with numerical simulations. To tackle the confirmation bias problem, we employ additional mask-based emittance measurement techniques.


title: Polynomial reduction for holonomic sequences and applications in $\pi$-series and congruences

abstract: Polynomial reduction, designed first for hypergeometric terms, can be used to automatically prove and generate new hypergeometric identities from old ones. In this paper, we extend the reduction method to holonomic sequences. As applications, we describe an algorithmic way to prove and generate new multi-summation identities. Especially we present new families of $\pi$-series involving Domb numbers and Franel numbers.


title: Manipulation of gravitational quantum states of a bouncing neutron with the GRANIT spectrometer

abstract: The bouncing neutron is one of the rare system where gravity can be studied in a quantum framework. To this end it is crucial to be able to select some specific gravitational quantum state (GQS). The GRANIT apparatus is the first physics experiment connected to a superthermal helium UCN source. We report on the methods developed for this instrument showing how specific GQS can be favored using a step between mirrors and an absorbing slit. We explore the increase of GQS separation efficiency by increasing the absorber roughness amplitude, and find it is feasible but requires a high adjustment precision. We also quantify the transmission of the absorbing slit leading to a measurement of the spatial extension of the neutron vertical wave function $z_0 = \hbar^{2/3}\left(2m^2g\right)^{-1/3} = 5.9\pm0.3\,\mu$m.


title: Heterogeneous Semantic Transfer for Multi-label Recognition with Partial Labels

abstract: Multi-label image recognition with partial labels (MLR-PL), in which some labels are known while others are unknown for each image, may greatly reduce the cost of annotation and thus facilitate large-scale MLR. We find that strong semantic correlations exist within each image and across different images, and these correlations can help transfer the knowledge possessed by the known labels to retrieve the unknown labels and thus improve the performance of the MLR-PL task (see Figure 1). In this work, we propose a novel heterogeneous semantic transfer (HST) framework that consists of two complementary transfer modules that explore both within-image and cross-image semantic correlations to transfer the knowledge possessed by known labels to generate pseudo labels for the unknown labels. Specifically, an intra-image semantic transfer (IST) module learns an image-specific label co-occurrence matrix for each image and maps the known labels to complement the unknown labels based on these matrices. Additionally, a cross-image transfer (CST) module learns category-specific feature-prototype similarities and then helps complement the unknown labels that have high degrees of similarity with the corresponding prototypes. Finally, both the known and generated pseudo labels are used to train MLR models. Extensive experiments conducted on the Microsoft COCO, Visual Genome, and Pascal VOC 2007 datasets show that the proposed HST framework achieves superior performance to that of current state-of-the-art algorithms. Specifically, it obtains mean average precision (mAP) improvements of 1.4%, 3.3%, and 0.4% on the three datasets over the results of the best-performing previously developed algorithm.


title: Scale-dependent optimized homoepitaxy of InAs(111)A

abstract: We combined in-situ scanning tunneling microscopy (STM) with the conventional growth characterization methods of atomic force microscopy (AFM) and reflection high energy electron diffraction (RHEED) to simultaneously assess atomic-scale impurities and the larger-scale surface morphology of molecular beam epitaxy (MBE) grown homoepitaxial InAs(111)A. By keeping a constant substrate temperature and indium flux while increasing the As$_2$ flux, we find two differing MBE growth parameter regions for optimized surface roughness on the macro and atomic scale. In particular, we show that a pure step-flow regime with strong suppression of hillock formation can be achieved, even on substrates without intentional offcut. On the other hand, an indium adatom deficient, low atomic defect surface can be observed for a high hillock density. We identify the main remaining point defect on the latter surface by comparison to STM simulations. Furthermore, we provide a method for extracting root-mean-square surface roughness values and discuss their use for surface quality optimization by comparison to scale-dependent, technologically relevant surface metrics. Finally, mapping the separately optimized regions of the growth parameter space should provide a guide for future device engineering involving epitaxial InAs(111)A growth.


title: Transition of Social Organisations Driven by Gift Relationship

abstract: Anthropologists have observed gift relationships that establish social relations as well as the transference of goods in many human societies. The totality of such social relations constitutes the network. Social scientists have analysed different types of social organisations with their characteristic networks. However, the factors and mechanisms that cause the transition between these types have hardly been explained. Here, we focus on the gift as the driving force for such changes. We build the model by idealising gift interactions and simulating the consequent social change due to long-term massive interactions. We demonstrate the emergence of disparities and various social organisations depending on the frequency of the gift, consistent with the empirical data. The constructive simulation study, as presented here, explains how people's interactions shape various social structures in response to environmental conditions. Combined with empirical studies, this could contribute to the formulation of a general theory in the social sciences.


title: Please, Don't Forget the Difference and the Confidence Interval when Seeking for the State-of-the-Art Status

abstract: This paper argues for the widest possible use of bootstrap confidence intervals for comparing NLP system performances instead of the state-of-the-art status (SOTA) and statistical significance testing. Their main benefits are to draw attention to the difference in performance between two systems and to help assessing the degree of superiority of one system over another. Two cases studies, one comparing several systems and the other based on a K-fold cross-validation procedure, illustrate these benefits. A python module for obtaining these confidence intervals as well as a second function implementing the Fisher-Pitman test for paired samples are freely available on PyPi.


title: Spectrally resolved two-photon interference in a modified Hong-Ou-Mandel interferometer

abstract: A modified Hong--Ou--Mandel (HOM) interference reveals that the two-photon interference phenomenon can be explained only by the concept of a two-photon wave packet rather than a single-photon one. However, the temporal interferogram in the modified HOM interferometer becomes flat in some cases so that no useful information can be extracted from time-domain measurement. Here, we theoretically explore such temporal interferogram from the frequency domain and obtain the spectrally resolved interference with high visibility. The result represents a modulation of the joint spectral intensity along both the frequency sum and the frequency difference directions. This is quite different from the cases of the spectrally resolved HOM interference and N00N state interference where the modulations happened only in one direction. Moreover, we have shown that such modulations have a potential application in the generation and characterization of high-dimensional frequency entanglement.


title: Accounting for stellar activity signals in radial-velocity data by using Change Point Detection techniques

abstract: Active regions on the photosphere of a star have been the major obstacle for detecting Earth-like exoplanets using the radial velocity (RV) method. A commonly employed solution for addressing stellar activity is to assume a linear relationship between the RV observations and the activity indicators along the entire time series, and then remove the estimated contribution of activity from the variation in RV data (overall correction method). However, since active regions evolve on the photosphere over time, correlations between the RV observations and the activity indicators will correspondingly be anisotropic. We present an approach that recognizes the RV locations where the correlations between the RV and the activity indicators significantly change in order to better account for variations in RV caused by stellar activity. The proposed approach uses a general family of statistical breakpoint methods, often referred to as change point detection (CPD) algorithms; several implementations of which are available in R and python. A thorough comparison is made between the breakpoint-based approach and the overall correction method. To ensure wide representativity, we use measurements from real stars that have different levels of stellar activity and whose spectra have different signal-to-noise ratios. When the corrections for stellar activity are applied separately to each temporal segment identified by the breakpoint method, the corresponding residuals in the RV time series are typically much smaller than those obtained by the overall correction method. Consequently, the generalized Lomb-Scargle periodogram contains a smaller number of peaks caused by active regions. The CPD algorithm is particularly effective when focusing on active stars with long time series, such as alpha Cen B.


title: Decentralized Federated Learning Based on Committees and Blockchain

abstract: Machine learning algorithms are undoubtedly one of the most popular algorithms in recent years, and neural networks have demonstrated unprecedented precision. In daily life, different communities may have different user characteristics, which also means that training a strong model requires the union of different communities, so the privacy issue needs to be solved urgently. Federated learning is a popular privacy solution, each community does not need to expose specific data, but only needs to upload sub-models to the coordination server to train more powerful models. However, federated learning also has some problems, such as the security and fairness of the coordination server. A proven solution to the problem is a decentralized implementation of federated learning. In this paper, we apply decentralized tools such as blockchain and consensus algorithms to design a support system that supports the decentralized operation of federated learning in an alliance environment, involving the exploration of incentives, security, fairness and other issues. Finally, we experimentally verify the performance of our system, the effect of federated learning, and the availability of privacy protection.


title: Absolutely continuous Furstenberg measures for finitely-supported random walks

abstract: In this note, we generalise a Bourgain's construction of finitely-supported symmetric measures whose Furstenberg measure has a smooth density from the case of $\mathrm{SL}_2(\mathbb{R})$ to that of a general simple Lie group. The proof is the same as Bourgain's, except that the use of Fourier series is replaced by harmonic analysis on a maximal compact subgroup.


title: GraphAD: A Graph Neural Network for Entity-Wise Multivariate Time-Series Anomaly Detection

abstract: In recent years, the emergence and development of third-party platforms have greatly facilitated the growth of the Online to Offline (O2O) business. However, the large amount of transaction data raises new challenges for retailers, especially anomaly detection in operating conditions. Thus, platforms begin to develop intelligent business assistants with embedded anomaly detection methods to reduce the management burden on retailers. Traditional time-series anomaly detection methods capture underlying patterns from the perspectives of time and attributes, ignoring the difference between retailers in this scenario. Besides, similar transaction patterns extracted by the platforms can also provide guidance to individual retailers and enrich their available information without privacy issues. In this paper, we pose an entity-wise multivariate time-series anomaly detection problem that considers the time-series of each unique entity. To address this challenge, we propose GraphAD, a novel multivariate time-series anomaly detection model based on the graph neural network. GraphAD decomposes the Key Performance Indicator (KPI) into stable and volatility components and extracts their patterns in terms of attributes, entities and temporal perspectives via graph neural networks. We also construct a real-world entity-wise multivariate time-series dataset from the business data of Ele.me. The experimental results on this dataset show that GraphAD significantly outperforms existing anomaly detection methods.


title: Human-in-the-loop: Provably Efficient Preference-based Reinforcement Learning with General Function Approximation

abstract: We study human-in-the-loop reinforcement learning (RL) with trajectory preferences, where instead of receiving a numeric reward at each step, the agent only receives preferences over trajectory pairs from a human overseer. The goal of the agent is to learn the optimal policy which is most preferred by the human overseer. Despite the empirical successes, the theoretical understanding of preference-based RL (PbRL) is only limited to the tabular case. In this paper, we propose the first optimistic model-based algorithm for PbRL with general function approximation, which estimates the model using value-targeted regression and calculates the exploratory policies by solving an optimistic planning problem. Our algorithm achieves the regret of $\tilde{O} (\operatorname{poly}(d H) \sqrt{K} )$, where $d$ is the complexity measure of the transition and preference model depending on the Eluder dimension and log-covering numbers, $H$ is the planning horizon, $K$ is the number of episodes, and $\tilde O(\cdot)$ omits logarithmic terms. Our lower bound indicates that our algorithm is near-optimal when specialized to the linear setting. Furthermore, we extend the PbRL problem by formulating a novel problem called RL with $n$-wise comparisons, and provide the first sample-efficient algorithm for this new setting. To the best of our knowledge, this is the first theoretical result for PbRL with (general) function approximation.


title: OPQ: Compressing Deep Neural Networks with One-shot Pruning-Quantization

abstract: As Deep Neural Networks (DNNs) usually are overparameterized and have millions of weight parameters, it is challenging to deploy these large DNN models on resource-constrained hardware platforms, e.g., smartphones. Numerous network compression methods such as pruning and quantization are proposed to reduce the model size significantly, of which the key is to find suitable compression allocation (e.g., pruning sparsity and quantization codebook) of each layer. Existing solutions obtain the compression allocation in an iterative/manual fashion while finetuning the compressed model, thus suffering from the efficiency issue. Different from the prior art, we propose a novel One-shot Pruning-Quantization (OPQ) in this paper, which analytically solves the compression allocation with pre-trained weight parameters only. During finetuning, the compression module is fixed and only weight parameters are updated. To our knowledge, OPQ is the first work that reveals pre-trained model is sufficient for solving pruning and quantization simultaneously, without any complex iterative/manual optimization at the finetuning stage. Furthermore, we propose a unified channel-wise quantization method that enforces all channels of each layer to share a common codebook, which leads to low bit-rate allocation without introducing extra overhead brought by traditional channel-wise quantization. Comprehensive experiments on ImageNet with AlexNet/MobileNet-V1/ResNet-50 show that our method improves accuracy and training efficiency while obtains significantly higher compression rates compared to the state-of-the-art.


title: Stability of the scattering transform for deformations with minimal regularity

abstract: Within the mathematical analysis of deep convolutional neural networks, the wavelet scattering transform introduced by St\'ephane Mallat is a unique example of how the ideas of multiscale analysis can be combined with a cascade of modulus nonlinearities to build a nonexpansive, translation invariant signal representation with provable geometric stability properties, namely Lipschitz continuity to the action of small $C^2$ diffeomorphisms - a remarkable result for both theoretical and practical purposes, inherently depending on the choice of the filters and their arrangement into a hierarchical architecture. In this note, we further investigate the intimate relationship between the scattering structure and the regularity of the deformation in the H\"older regularity scale $C^\alpha$, $\alpha >0$. We are able to precisely identify the stability threshold, proving that stability is still achievable for deformations of class $C^{\alpha}$, $\alpha>1$, whereas instability phenomena can occur at lower regularity levels modelled by $C^\alpha$, $0\le \alpha <1$. While the behaviour at the threshold given by Lipschitz (or even $C^1$) regularity remains beyond reach, we are able to prove a stability bound in that case, up to $\varepsilon$ losses.


title: SN2020qlb: A hydrogen-poor superluminous supernova with well-characterized light curve undulations

abstract: SN\,2020qlb (ZTF20abobpcb) is a hydrogen-poor superluminous supernova (SLSN-I) that is among the most luminous (maximum M$_{g} = -22.25$ mag) and that has one of the longest rise times (77 days from explosion to maximum). We estimate the total radiated energy to be $>2.1\times10^{51}$ erg. SN\,2020qlb has a well-sampled light curve that exhibits clear near and post peak undulations, a phenomenon seen in other SLSNe, whose physical origin is still unknown. We discuss the potential power source of this immense explosion as well as the mechanisms behind its observed light curve undulations. We analyze photospheric spectra and compare them to other SLSNe-I. We constructed the bolometric light curve using photometry from a large data set of observations from the Zwicky Transient Facility (ZTF), Liverpool Telescope (LT), and Neil Gehrels Swift Observatory and compare it with radioactive, circumstellar interaction and magnetar models. Model residuals and light curve polynomial fit residuals are analyzed to estimate the undulation timescale and amplitude. We also determine host galaxy properties based on imaging and spectroscopy data, including a detection of the [O III]$\lambda$4363, auroral line, allowing for a direct metallicity measurement. We rule out the Arnett $^{56}$Ni decay model for SN\,2020qlb's light curve due to unphysical parameter results. Our most favored power source is the magnetic dipole spin-down energy deposition of a magnetar. Two to three near peak oscillations, intriguingly similar to those of SN\,2015bn, were found in the magnetar model residuals with a timescale of $32\pm6$ days and an amplitude of 6$\%$ of peak luminosity. We rule out centrally located undulation sources due to timescale considerations; and we favor the result of ejecta interactions with circumstellar material (CSM) density fluctuations as the source of the undulations.


title: A Radio Continuum Study of NGC 2082

abstract: We present radio continuum observations of NGC 2082 using ASKAP, ATCA and Parkes telescopes from 888 MHz to 9000 MHz. Some 20 arcsec from the centre of this nearby spiral galaxy, we discovered a bright and compact radio source, J054149.24-641813.7, of unknown origin. To constrain the nature of J054149.24-641813.7, we searched for transient events with the Ultra-Wideband Low Parkes receiver, and compare its luminosity and spectral index to various nearby supernova remnants (SNRs), and fast radio burst (FRB) local environments. Its radio spectral index is flat (${\alpha} = 0.02 \pm 0.09$) which is unlikely to be either an SNR or pulsar. No transient events were detected with the Parkes telescope over three days of observations, and our calculations show J054149.24-641813.7 is two orders of magnitude less luminous than the persistent radio sources associated with FRB 121102 & 190520B. We find that the probability of finding such a source behind NGC 2082 is P = 1.2%, and conclude that the most likely origin for J054149.24-641813.7 is a background quasar or radio galaxy.


title: A Coupling Enhancement Algorithm for ZrO2 Ceramic Bearing Ball Surface Defect Detection Based on Cartoon-texture Decomposition Model and Multi-Scale Filtering Method

abstract: This study aimed to improve the surface defect detection accuracy of ZrO2 ceramic bearing balls. Combined with the noise damage of the image samples, a surface defect detection method for ZrO2 ceramic bearing balls based on cartoon-texture decomposition model was proposed. Building a ZrO2 ceramic bearing ball surface defect detection system. The ZrO2 ceramic bearing ball surface defect image was decomposed by using the Gaussian curvature model and the decomposed image layer was filtered by using Winner filter and wavelet value domain filter. Then they were fused into a clear and undamaged ZrO2 ceramic bearing ball surface defect image and detected. The experimental results show that the image denoising method of ZrO2 ceramic bearing ball surface defect based on cartoon-texture decomposition model can denoise while retaining the image details. The PSNR of image is 34.1 dB, the SSIM is 0.9476, the detection accuracy is 95.8%, and the detection speed of a single defect image is 191ms / img. This method can effectively improve the efficiency and accuracy of ZrO2 ceramic bearing ball surface defect detection.


title: Inexistence de pavages mesurables invariants par un r\'eseau dans un espace homog\`ene d'un groupe de Lie simple

abstract: We prove that an homogeneous space of an almost simple Lie group does not have any measurable tiling invariant by a lattice of the Lie group. This refines the Howe-Moore ergodicity theorem. -- On d\'emontre qu'un espace homog\`ene d'un groupe de Lie presque simple n'admet pas de pavage mesurable invariant par un r\'eseau du groupe de Lie. Ceci constitue un raffinement du th\'eor\`eme d'ergodicit\'e de Howe-Moore.


title: Existence and Uniqueness of Mass Conserving Solutions to Safronov-Dubovski Coagulation Equation for Product Kernel

abstract: The article presents the existence and mass conservation of solution for the discrete Safronov-Dubovski coagulation equation for the product coalescence coefficients $\phi$ such that $\phi_{i,j} \leq ij$ $\forall$ $i,j \in \mathbb{N}$. Both conservative and non-conservative truncated systems are used to analyse the infinite system of ODEs. In the conservative case, Helly's selection theorem is used to prove the global existence while for the non-conservative part, we make use of the refined version of De la Vall\'ee-Poussin theorem to establish the existence. Further, it is shown that these solutions conserve density. Finally, the solutions are shown to be unique when the kernel $\phi_{i,j} \leq \text{min}\{i^\eta,j^{\eta}\}$ where $\eta \in [0,2]$.


title: Distributed Computations in Fully-Defective Networks

abstract: We address fully-defective asynchronous networks, in which all links are subject to an unlimited number of alteration errors, implying that all messages in the network may be completely corrupted. Despite the possible intuition that such a setting is too harsh for any reliable communication, we show how to simulate any algorithm for a noiseless setting over any fully-defective setting, given that the network is 2-edge connected. We prove that if the network is not 2-edge connected, no non-trivial computation in the fully-defective setting is possible. The key structural property of 2-edge-connected graphs that we leverage is the existence of an oriented (non-simple) cycle that goes through all nodes [Robbins, 1939]. The core of our technical contribution is presenting a construction of such a Robbins cycle in fully-defective networks, and showing how to communicate over it despite total message corruption. These are obtained in a content-oblivious manner, since nodes must ignore the content of received messages.


title: Mixed finite elements for Bingham flow in a pipe

abstract: We consider mixed finite element approximations of viscous, plastic Bingham flow in a cylindrical pipe. A novel a priori and a posteriori error analysis is introduced which is based on a discrete mesh dependent norm for the normalized Lagrange multiplier. This allows proving stability for various conforming finite elements. Numerical examples are presented to support the theory and to demonstrate adaptive mesh refinement.


title: The $Z_{cs}$ states and the mixture of hadronic molecule and diquark-anti-diquark components within effective field theory

abstract: In this work, we construct the Lagrangian describing meson-diquark interaction, such that the diquark-anti-diquark component as well as the molecular component is introduced when studying the $Z_{cs}$ states. In this way, the problem is solved that if only considering the $\bar{D}^{(*)}D_s^{(*)}$ components, the potentials are suppressed by OZI rule. Through solving the Bethe-Salpeter equation, we find that the $Z_{cs}(4000)^+$ can be explained as the mixture of $\bar{D}^{*0}D_s^+$ and $\bar{A}_{cs}S_{cu}$ components. Besides, for the $\bar{D}^{*0}D_s^{*+}/\bar{A}_{cs}A_{cu}$ system, the pole of $4208\pm 13i$ MeV on the second Riemann sheet is predicted, whose mass agrees with that of $Z_{cs}(4220)^+$ while the width is much smaller than $Z_{cs}(4220)^+$. Due to the large error of the $Z_{cs}(4220)^+$'s width, further measurements are expected. In addition, several other poles of different spins are predicted.


title: Split personalities in Bayesian Neural Networks: the case for full marginalisation

abstract: The true posterior distribution of a Bayesian neural network is massively multimodal. Whilst most of these modes are functionally equivalent, we demonstrate that there remains a level of real multimodality that manifests in even the simplest neural network setups. It is only by fully marginalising over all posterior modes, using appropriate Bayesian sampling tools, that we can capture the split personalities of the network. The ability of a network trained in this manner to reason between multiple candidate solutions dramatically improves the generalisability of the model, a feature we contend is not consistently captured by alternative approaches to the training of Bayesian neural networks. We provide a concise minimal example of this, which can provide lessons and a future path forward for correctly utilising the explainability and interpretability of Bayesian neural networks.


title: Cross-lingual Lifelong Learning

abstract: The longstanding goal of multi-lingual learning has been to develop a universal cross-lingual model that can withstand the changes in multi-lingual data distributions. There has been a large amount of work to adapt such multi-lingual models to unseen target languages. However, the majority of work in this direction focuses on the standard one-hop transfer learning pipeline from source to target languages, whereas in realistic scenarios, new languages can be incorporated at any time in a sequential manner. In this paper, we present a principled Cross-lingual Continual Learning (CCL) evaluation paradigm, where we analyze different categories of approaches used to continually adapt to emerging data from different languages. We provide insights into what makes multilingual sequential learning particularly challenging. To surmount such challenges, we benchmark a representative set of cross-lingual continual learning algorithms and analyze their knowledge preservation, accumulation, and generalization capabilities compared to baselines on carefully curated datastreams. The implications of this analysis include a recipe for how to measure and balance different cross-lingual continual learning desiderata, which go beyond conventional transfer learning.


title: Decoupling multivariate functions using a nonparametric filtered tensor decomposition

abstract: Multivariate functions emerge naturally in a wide variety of data-driven models. Popular choices are expressions in the form of basis expansions or neural networks. While highly effective, the resulting functions tend to be hard to interpret, in part because of the large number of required parameters. Decoupling techniques aim at providing an alternative representation of the nonlinearity. The so-called decoupled form is often a more efficient parameterisation of the relationship while being highly structured, favouring interpretability. In this work two new algorithms, based on filtered tensor decompositions of first order derivative information are introduced. The method returns nonparametric estimates of smooth decoupled functions. Direct applications are found in, i.a. the fields of nonlinear system identification and machine learning.


title: Structured Sensing Matrix Design for In-sector Compressed mmWave Channel Estimation

abstract: Fast millimeter wave (mmWave) channel estimation techniques based on compressed sensing (CS) suffer from low signal-to-noise ratio (SNR) in the channel measurements, due to the use of wide beams. To address this problem, we develop an in-sector CS-based mmWave channel estimation technique that focuses energy on a sector in the angle domain. Specifically, we construct a new class of structured CS matrices to estimate the channel within the sector of interest. To this end, we first determine an optimal sampling pattern when the number of measurements is equal to the sector dimension and then use its subsampled version in the sub-Nyquist regime. Our approach results in low aliasing artifacts in the sector of interest and better channel estimates than benchmark algorithms.


title: Linear Flavor-Wave Analysis of SU(4)-Symmetric Tetramer Model with Population Imbalance

abstract: We study the quantum magnetism of the SU(4) Mott insulator in a square optical superlattice, in which atoms with four nuclear-spin components strongly interact with each other, in the presence of an external field that controls the imbalance between the population of two components and that of the other two. This is a natural extension of the physics of spin-dimer materials under strong magnetic field. We apply an extended linear flavor-wave theory based on four-site plaquettes and unveil the ground-state phase diagram and excitation spectra. When the population of the four components is balanced and the plaquesttes are weakly coupled, the ground state is approximately given by the direct product of local SU(4)-singlet states. In high-field, the system reaches a "saturated state" where only two components are present. Our main finding is a nontrivial intermediate phase, which has a checkerboard-like arrangement of the SU(4)-singlet and four-site resonating-valence-bond states.


title: Squeeze Training for Adversarial Robustness

abstract: The vulnerability of deep neural networks (DNNs) to adversarial examples has attracted great attention in the machine learning community. The problem is related to non-flatness and non-smoothness of normally obtained loss landscapes. Training augmented with adversarial examples (a.k.a., adversarial training) is considered as an effective remedy. In this paper, we highlight that some collaborative examples, nearly perceptually indistinguishable from both adversarial and benign examples yet show extremely lower prediction loss, can be utilized to enhance adversarial training. A novel method is therefore proposed to achieve new state-of-the-arts in adversarial robustness. Code: https://github.com/qizhangli/ST-AT.


title: Superconformal invariants and spinning correlators in 3d $\cal{N}=2$ SCFTs

abstract: We construct superconformal invariants in superspace which are used to build 3-point correlators of spinning operators in general $\cal{N}=2$ superconformal field theories in three dimensions. Our systematic analysis includes various relations between these invariants and provides a minimal set of parity-even and parity-odd invariants which is further used to construct general 3-point functions in any 3d $\cal{N}=2$ SCFT. For conserved (super)currents, we explicitly compute various 3-point functions using Wick contractions in the free field case, and express them in terms of the constructed parity-even invariants. We give evidence through examples for the claim that the 3-point function of conserved currents generally comprises of two parts - a parity-even piece coming from the free theory, and a parity-odd piece.


title: IDEAL: Query-Efficient Data-Free Learning from Black-box Models

abstract: Knowledge Distillation (KD) is a typical method for training a lightweight student model with the help of a well-trained teacher model. However, most KD methods require access to either the teacher's training data or model parameters, which is unrealistic. To tackle this problem, recent works study KD under data-free and black-box settings. Nevertheless, these works require a large number of queries to the teacher model, which incurs significant monetary and computational costs. To address these problems, we propose a novel method called \emph{query-effIcient Data-free lEarning from blAck-box modeLs} (IDEAL), which aims to query-efficiently learn from black-box model APIs to train a good student without any real data. In detail, IDEAL trains the student model in two stages: data generation and model distillation. Note that IDEAL does not require any query in the data generation stage and queries the teacher only once for each sample in the distillation stage. Extensive experiments on various real-world datasets show the effectiveness of the proposed IDEAL. For instance, IDEAL can improve the performance of the best baseline method DFME by 5.83% on CIFAR10 dataset with only 0.02x the query budget of DFME.


title: RuNNE-2022 Shared Task: Recognizing Nested Named Entities

abstract: The RuNNE Shared Task approaches the problem of nested named entity recognition. The annotation schema is designed in such a way, that an entity may partially overlap or even be nested into another entity. This way, the named entity "The Yermolova Theatre" of type "organization" houses another entity "Yermolova" of type "person". We adopt the Russian NEREL dataset for the RuNNE Shared Task. NEREL comprises news texts written in the Russian language and collected from the Wikinews portal. The annotation schema includes 29 entity types. The nestedness of named entities in NEREL reaches up to six levels. The RuNNE Shared Task explores two setups. (i) In the general setup all entities occur more or less with the same frequency. (ii) In the few-shot setup the majority of entity types occur often in the training set. However, some of the entity types are have lower frequency, being thus challenging to recognize. In the test set the frequency of all entity types is even. This paper reports on the results of the RuNNE Shared Task. Overall the shared task has received 156 submissions from nine teams. Half of the submissions outperform a straightforward BERT-based baseline in both setups. This paper overviews the shared task setup and discusses the submitted systems, discovering meaning insights for the problem of nested NER. The links to the evaluation platform and the data from the shared task are available in our github repository: https://github.com/dialogue-evaluation/RuNNE.


title: Quantum state tomography of qudits via Hong-Ou-Mandel interference

abstract: We propose a method to perform the quantum state tomography (QST) of an $\mathit{n}$-partite qudit state embedded in single photons using the Hong-Ou-Mandel (HOM) interference between the target state and probe state. This method requires only passive beam splitters for the HOM interference and removes all active optical devices in the target modes to control the measurement bases needed in conventional QST. Hence, it is applicable to various degree of freedom of the target state without altering the measurement setup. Moreover, a faithful estimation is realized even with classical probe light such as laser and thermal light. As a proof-of-principle, we performed the experimental demonstration using a polarization qubit. Regardless of the photon statistics of the probe light, the estimated results of state reconstruction are as accurate as those verified by conventional QST.


title: Quantum interference visibility spectroscopy in two-color photoemission from tungsten needle tips

abstract: When two-color femtosecond laser pulses interact with matter, electrons can be emitted through various multiphoton excitation pathways. Quantum interference between these pathways gives rise to a strong oscillation of the photoemitted electron current, experimentally characterized by its visibility. In this work, we demonstrate two-color visibility spectroscopy of multi-photon photoemission from a solid-state nanoemitter. We investigate the quantum pathway interference visibility over an almost octave-spanning wavelength range of the fundamental femtosecond laser pulses and their second-harmonic. The photoemission shows a high visibility of 90% +/- 5%, with a remarkably constant distribution. Furthermore, by varying the relative intensity ratio of the two colors, we find that we can vary the visibility between 0 and close to 100%. A simple but highly insightful theoretical model allows us to explain all observations, with excellent quantitative agreements. We expect this work to be universal to all kinds of photo-driven quantum interference, including quantum control in physics, chemistry and quantum engineering.


title: A Self-Paced Mixed Distillation Method for Non-Autoregressive Generation

abstract: Non-Autoregressive generation is a sequence generation paradigm, which removes the dependency between target tokens. It could efficiently reduce the text generation latency with parallel decoding in place of token-by-token sequential decoding. However, due to the known multi-modality problem, Non-Autoregressive (NAR) models significantly under-perform Auto-regressive (AR) models on various language generation tasks. Among the NAR models, BANG is the first large-scale pre-training model on English un-labeled raw text corpus. It considers different generation paradigms as its pre-training tasks including Auto-regressive (AR), Non-Autoregressive (NAR), and semi-Non-Autoregressive (semi-NAR) information flow with multi-stream strategy. It achieves state-of-the-art performance without any distillation techniques. However, AR distillation has been shown to be a very effective solution for improving NAR performance. In this paper, we propose a novel self-paced mixed distillation method to further improve the generation quality of BANG. Firstly, we propose the mixed distillation strategy based on the AR stream knowledge. Secondly, we encourage the model to focus on the samples with the same modality by self-paced learning. The proposed self-paced mixed distillation algorithm improves the generation quality and has no influence on the inference latency. We carry out extensive experiments on summarization and question generation tasks to validate the effectiveness. To further illustrate the commercial value of our approach, we conduct experiments on three generation tasks in real-world advertisements applications. Experimental results on commercial data show the effectiveness of the proposed model. Compared with BANG, it achieves significant BLEU score improvement. On the other hand, compared with auto-regressive generation method, it achieves more than 7x speedup.


title: Learning to Advise and Learning from Advice in Cooperative Multi-Agent Reinforcement Learning

abstract: Learning to coordinate is a daunting problem in multi-agent reinforcement learning (MARL). Previous works have explored it from many facets, including cognition between agents, credit assignment, communication, expert demonstration, etc. However, less attention were paid to agents' decision structure and the hierarchy of coordination. In this paper, we explore the spatiotemporal structure of agents' decisions and consider the hierarchy of coordination from the perspective of multilevel emergence dynamics, based on which a novel approach, Learning to Advise and Learning from Advice (LALA), is proposed to improve MARL. Specifically, by distinguishing the hierarchy of coordination, we propose to enhance decision coordination at meso level with an advisor and leverage a policy discriminator to advise agents' learning at micro level. The advisor learns to aggregate decision information in both spatial and temporal domains and generates coordinated decisions by employing a spatiotemporal dual graph convolutional neural network with a task-oriented objective function. Each agent learns from the advice via a policy generative adversarial learning method where a discriminator distinguishes between the policies of the agent and the advisor and boosts both of them based on its judgement. Experimental results indicate the advantage of LALA over baseline approaches in terms of both learning efficiency and coordination capability. Coordination mechanism is investigated from the perspective of multilevel emergence dynamics and mutual information point of view, which provides a novel perspective and method to analyze and improve MARL algorithms.


title: Time-series Transformer Generative Adversarial Networks

abstract: Many real-world tasks are plagued by limitations on data: in some instances very little data is available and in others, data is protected by privacy enforcing regulations (e.g. GDPR). We consider limitations posed specifically on time-series data and present a model that can generate synthetic time-series which can be used in place of real data. A model that generates synthetic time-series data has two objectives: 1) to capture the stepwise conditional distribution of real sequences, and 2) to faithfully model the joint distribution of entire real sequences. Autoregressive models trained via maximum likelihood estimation can be used in a system where previous predictions are fed back in and used to predict future ones; in such models, errors can accrue over time. Furthermore, a plausible initial value is required making MLE based models not really generative. Many downstream tasks learn to model conditional distributions of the time-series, hence, synthetic data drawn from a generative model must satisfy 1) in addition to performing 2). We present TsT-GAN, a framework that capitalises on the Transformer architecture to satisfy the desiderata and compare its performance against five state-of-the-art models on five datasets and show that TsT-GAN achieves higher predictive performance on all datasets.


title: Deformations of sandwiched surface singularities and the minimal model program

abstract: We investigate the correspondence between three theories of deformations of rational surface singularities: de Jong and van Straten's picture deformations, Koll\'ar's P-resolutions, and Pinkham's smoothings of negative weights. We provide an explicit method for obtaining, from a given deformation in one theory, deformations in other theories that parameterize the same irreducible components of the deformation space of the singularity. We employ the semi-stable minimal model program significantly for this purpose. We prove Koll\'ar conjecture for various sandwiched surface singularities as an application.


title: Prompt Tuning for Discriminative Pre-trained Language Models

abstract: Recent works have shown promising results of prompt tuning in stimulating pre-trained language models (PLMs) for natural language processing (NLP) tasks. However, to the best of our knowledge, existing works focus on prompt-tuning generative PLMs that are pre-trained to generate target tokens, such as BERT. It is still unknown whether and how discriminative PLMs, e.g., ELECTRA, can be effectively prompt-tuned. In this work, we present DPT, the first prompt tuning framework for discriminative PLMs, which reformulates NLP tasks into a discriminative language modeling problem. Comprehensive experiments on text classification and question answering show that, compared with vanilla fine-tuning, DPT achieves significantly higher performance, and also prevents the unstable problem in tuning large PLMs in both full-set and low-resource settings. The source code and experiment details of this paper can be obtained from https://github.com/thunlp/DPT.


title: Three-manifolds at infinity of complex hyperbolic orbifolds

abstract: We show the manifolds at infinity of the complex hyperbolic triangle groups $\Delta_{3,4,4;\infty}$ and $\Delta_{3,4,6;\infty}$,are one-cusped hyperbolic 3-manifolds $m038$ and $s090$ in the Snappy Census respectively.That is,these two manifolds admit spherical CR uniformizations. Moreover, these two hyperbolic 3-manifolds above can be obtained by Dehn surgeries on the first cusp of the two-cusped hyperbolic 3-manifold $m295$ in the Snappy Census with slopes $2$ and $4$ respectively. In general,the main result in this paper allow us to conjecture that the manifold at infinity of the complex hyperbolic triangle group $\Delta_{3,4,n;\infty}$ is the one-cusped hyperbolic 3-manifold obtained by Dehn surgery on the first cusp of $m295$ with slope $n-2$.


title: Logarithmic regret bounds for continuous-time average-reward Markov decision processes

abstract: We consider reinforcement learning for continuous-time Markov decision processes (MDPs) in the infinite-horizon, average-reward setting. In contrast to discrete-time MDPs, a continuous-time process moves to a state and stays there for a random holding time after an action is taken. With unknown transition probabilities and rates of exponential holding times, we derive instance-dependent regret lower bounds that are logarithmic in the time horizon. Moreover, we design a learning algorithm and establish a finite-time regret bound that achieves the logarithmic growth rate. Our analysis builds upon upper confidence reinforcement learning, a delicate estimation of the mean holding times, and stochastic comparison of point processes.


title: PEVL: Position-enhanced Pre-training and Prompt Tuning for Vision-language Models

abstract: Vision-language pre-training (VLP) has shown impressive performance on a wide range of cross-modal tasks, where VLP models without reliance on object detectors are becoming the mainstream due to their superior computation efficiency and competitive performance. However, the removal of object detectors also deprives the capability of VLP models in explicit object modeling, which is essential to various position-sensitive vision-language (VL) tasks, such as referring expression comprehension and visual commonsense reasoning. To address the challenge, we introduce PEVL that enhances the pre-training and prompt tuning of VLP models with explicit object position modeling. Specifically, PEVL reformulates discretized object positions and language in a unified language modeling framework, which facilitates explicit VL alignment during pre-training, and also enables flexible prompt tuning for various downstream tasks. We show that PEVL enables state-of-the-art performance of detector-free VLP models on position-sensitive tasks such as referring expression comprehension and phrase grounding, and also improves the performance on position-insensitive tasks with grounded inputs. We make the data and code for this paper publicly available at https://github.com/thunlp/PEVL.


title: Strangeness enhancement across collision systems without a plasma

abstract: We present novel rope hadronization results for strange hadron enhancement in pp, pPb, and PbPb collisions using PYTHIA/Angantyr at LHC energies. With the rope model for string fragmentation, we find that the strangeness and baryon enhancement has a coherent increase across all collision systems as a function of average charged central multiplicity, in qualitative agreement with LHC data. In AA collisions, we find that the baryonic yields overshoot data at high multiplicities, and we discuss how a combination of rope hadronization with other string interactions may tame this rise.


title: Distributed Energy Resources Cybersecurity Outlook: Vulnerabilities, Attacks, Impacts, and Mitigations

abstract: The digitization and decentralization of the electric power grid are key thrusts for an economically and environmentally sustainable future. Towards this goal, distributed energy resources (DER), including rooftop solar panels, battery storage, electric vehicles, etc., are becoming ubiquitous in power systems. Power utilities benefit from DERs as they minimize operational costs; at the same time, DERs grant users and aggregators control over the power they produce and consume. DERs are interconnected, interoperable, and support remotely controllable features, thus, their cybersecurity is of cardinal importance. DER communication dependencies and the diversity of DER architectures widen the threat surface and aggravate the cybersecurity posture of power systems. In this work, we focus on security oversights that reside in the cyber and physical layers of DERs and can jeopardize grid operations. Existing works have underlined the impact of cyberattacks targeting DER assets, however, they either focus on specific system components (e.g., communication protocols), do not consider the mission-critical objectives of DERs, or neglect the adversarial perspective (e.g., adversary/attack models) altogether. To address these omissions, we comprehensively analyze adversarial capabilities and objectives when manipulating DER assets, and then present how protocol and device-level vulnerabilities can materialize into cyberattacks impacting power system operations. Finally, we provide mitigation strategies to thwart adversaries and directions for future DER cybersecurity research.


title: How Powerful are Spectral Graph Neural Networks

abstract: Spectral Graph Neural Network is a kind of Graph Neural Network (GNN) based on graph signal filters. Some models able to learn arbitrary spectral filters have emerged recently. However, few works analyze the expressive power of spectral GNNs. This paper studies spectral GNNs' expressive power theoretically. We first prove that even spectral GNNs without nonlinearity can produce arbitrary graph signals and give two conditions for reaching universality. They are: 1) no multiple eigenvalues of graph Laplacian, and 2) no missing frequency components in node features. We also establish a connection between the expressive power of spectral GNNs and Graph Isomorphism (GI) testing, the latter of which is often used to characterize spatial GNNs' expressive power. Moreover, we study the difference in empirical performance among different spectral GNNs with the same expressive power from an optimization perspective, and motivate the use of an orthogonal basis whose weight function corresponds to the graph signal density in the spectrum. Inspired by the analysis, we propose JacobiConv, which uses Jacobi basis due to its orthogonality and flexibility to adapt to a wide range of weight functions. JacobiConv deserts nonlinearity while outperforming all baselines on both synthetic and real-world datasets.


title: Multi-objective Optimization of Clustering-based Scheduling for Multi-workflow On Clouds Considering Fairness

abstract: Distributed computing, such as cloud computing, provides promising platforms to execute multiple workflows. Workflow scheduling plays an important role in multi-workflow execution with multi-objective requirements. Although there exist many multi-objective scheduling algorithms, they focus mainly on optimizing makespan and cost for a single workflow. There is a limited research on multi-objective optimization for multi-workflow scheduling. Considering multi-workflow scheduling, there is an additional key objective to maintain the fairness of workflows using the resources. To address such issues, this paper first defines a new multi-objective optimization model based on makespan, cost, and fairness, and then proposes a global clustering-based multi-workflow scheduling strategy for resource allocation. Experimental results show that the proposed approach performs better than the compared algorithms without significant compromise of the overall makespan and cost as well as individual fairness, which can guide the simulation workflow scheduling on clouds.


title: Design and Implementation of a Fuzzy Adaptive Controller for Time-Varying Formation Leader-Follower Configuration of Nonholonomic Mobile Robots

abstract: In this paper, a time-varying leader-follower formation control of nonholonomic mobile robots based on a trajectory tracking control strategy is considered. In the time-varying formation, the relative bearing and distance of each follower are variable parameters, and therefore, the followers can carry out various and complex behaviour even without changing the linear and angular velocities of the leader robot. After proposing the kinematic model of the time-varying leader-follower formation, the backstepping control method is exploited to keep the structure of the defined formation. The global stability of the formation is investigated using the Lyapunov theorem. Moreover, the designed nonlinear controller suffers from the ineffectual large input commands at the beginning of the formation. To rectify this problem, a fuzzy adaptive algorithm is proposed to improve the backstepping controller and the global stability of the resulting fuzzy adaptive backstepping controller is guaranteed. Considering the rate change of relative distance and bearing in the kinematic model of the leader-follower formation and controller design procedure, makes the formation more practical in dynamic and clutter environments, as well as capable of defining complicated behaviour for followers, and provides crash and obstacle avoidance without switching between different control strategies. Finally, the performance of the proposed kinematics model and designed controllers are investigated through simulations and experimental studies.


title: Predictability in Rotating Turbulence: Insights from a Shell Model Study

abstract: We investigate the predictability aspects of rotating turbulent flows through extensive numerical simulations of a shell model of rotating turbulence. In particular, we measure the large-scale predictability time and find that it increases with rotation rate to satisfy a power law in Rossby number with a scaling exponent of $-2/3$. Intriguingly, we find that before entering the algebraic growth stage, the error dynamics freezes for a time period determined by the finite Rossby number. We further analyse the scale dependence of the predictability time and observe that it tends to become scale independent in the Zeman range as the Rossby number decreases. Finally, we compute the finite size Lyapunov exponent and validate the dimensional prediction of its scaling $\sim\delta^{-1}$ for large $\delta$ of the order of velocities in the Zeman range for small Rossby numbers.


title: Linear orthogonality preservers between function spaces associated with commutative JB$^*$-triples

abstract: It is known, by Gelfand theory, that every commutative JB$^*$-triple admits a representation as a space of continuous functions of the form $$C_0^{\mathbb{T}}(L) = \{ a\in C_0(L) : a(\lambda t ) = \lambda a(t), \ \forall \lambda\in \mathbb{T}, t\in L\},$$ where $L$ is a principal $\mathbb{T}$-bundle and $\mathbb{T}$ denotes the unit circle in $\mathbb{C}.$ We provide a description of all orthogonality preserving (non-necessarily continuous) linear maps between commutative JB$^*$-triples. We show that each linear orthogonality preserver $T: C_{0}^{\mathbb{T}} (L_1)\to C_{0}^{\mathbb{T}} (L_2)$ decomposes in three main parts on its image, on the first part as a positive-weighted composition operator, on the second part the points in $L_2$ where the image of $T$ vanishes, and a third part formed by those points $s$ in $L_2$ such that the evaluation mapping $\delta_s\circ T$ is non-continuous. Among the consequences of this representation, we obtain that every linear bijection preserving orthogonality between commutative JB$^*$-triples is automatically continuous and biorthogonality preserving.


title: Consistency of UML class, object and statechart diagrams using ontology reasoners

abstract: We propose an automatic approach to analyze the consistency and satisfiability of Unified Modeling Language UML models containing multiple class, object and statechart diagrams using logic reasoners for the Web Ontology Language OWL 2. We describe how to translate UML models in OWL 2 and we present a tool chain implementing this translation that can be used with any standard compliant UML modeling tool. The proposed approach is limited in scope, but is fully automatic and does not require any expertise about OWL 2 and its reasoners from the designer.


title: Quantum simulations of interacting systems with broken time-reversal symmetry

abstract: Many-body systems of quantum interacting particles in which time-reversal symmetry is broken give rise to a variety of rich collective behaviors, and are therefore a major target of research in modern physics. Quantum simulators can potentially be used to explore and understand such systems, which are often beyond the computational reach of classical simulation. Of these, platforms with universal quantum control can experimentally access a wide range of physical properties. However, simultaneously achieving strong programmable interactions, strong time-reversal symmetry breaking, and high fidelity quantum control in a scalable manner is challenging. Here we realized quantum simulations of interacting, time-reversal broken quantum systems in a universal trapped-ion quantum processor. Using a scalable scheme that was recently proposed we implemented time-reversal breaking synthetic gauge fields, shown for the first time in a trapped ion chain, along with unique coupling geometries, potentially extendable to simulation of multi dimensional systems. Our high fidelity single-site resolution in control and measurement, along with highly programmable interactions, allow us to perform full state tomography of a ground state showcasing persistent current, and to observe dynamics of a time-reversal broken system with nontrivial interactions. Our results open a path towards simulation of time-reversal broken many-body systems with a wide range of features and coupling geometries.


title: Online Hybrid Lightweight Representations Learning: Its Application to Visual Tracking

abstract: This paper presents a novel hybrid representation learning framework for streaming data, where an image frame in a video is modeled by an ensemble of two distinct deep neural networks; one is a low-bit quantized network and the other is a lightweight full-precision network. The former learns coarse primary information with low cost while the latter conveys residual information for high fidelity to original representations. The proposed parallel architecture is effective to maintain complementary information since fixed-point arithmetic can be utilized in the quantized network and the lightweight model provides precise representations given by a compact channel-pruned network. We incorporate the hybrid representation technique into an online visual tracking task, where deep neural networks need to handle temporal variations of target appearances in real-time. Compared to the state-of-the-art real-time trackers based on conventional deep neural networks, our tracking algorithm demonstrates competitive accuracy on the standard benchmarks with a small fraction of computational cost and memory footprint.


title: Distributed Downlink Precoding and Equalization in Satellite Swarms

abstract: In this paper, we propose a novel approach for downlink transmission from a satellite swarm towards a ground station (GS). These swarms have the benefit of much higher spatial separation in the transmit antennas than traditional satellites with antenna arrays, promising a massive increase in spectral efficiency. The resulting precoder and equalizer have very low demands on computational complexity, inter-satellite coordination and channel estimation. This is achieved by taking knowledge about the geometry between satellites and GS into account. For precoding, each satellite only requires its angles of departure (AoDs) towards the GS and it turns out that almost optimal rates can be achieved if the satellites transmit independent data streams. For the equalizer, the GS requires only knowledge about the angles of arrival (AoAs) from all satellites. Furthermore, we show that, by choosing a proper inter-satellite distance, the proposed low-complexity approach achieves the theoretical upper bound in terms of data rate. This optimal inter-satellite distance is obtained analytically under simplifying assumption and provides a heuristic for practical scenarios. Furthermore, a novel approach to increase the robustness of the proposed precoder and equalizer against imperfect AoD and AoA knowledge is proposed by exploiting the statistics of the estimation error.


title: Lotaru: Locally Estimating Runtimes of Scientific Workflow Tasks in Heterogeneous Clusters

abstract: Many scientific workflow scheduling algorithms need to be informed about task runtimes a-priori to conduct efficient scheduling. In heterogeneous cluster infrastructures, this problem becomes aggravated because these runtimes are required for each task-node pair. Using historical data is often not feasible as logs are typically not retained indefinitely and workloads as well as infrastructure changes. In contrast, online methods, which predict task runtimes on specific nodes while the workflow is running, have to cope with the lack of example runs, especially during the start-up. In this paper, we present Lotaru, a novel online method for locally estimating task runtimes in scientific workflows on heterogeneous clusters. Lotaru first profiles all nodes of a cluster with a set of short-running and uniform microbenchmarks. Next, it runs the workflow to be scheduled on the user's local machine with drastically reduced data to determine important task characteristics. Based on these measurements, Lotaru learns a Bayesian linear regression model to predict a task's runtime given the input size and finally adjusts the predicted runtime specifically for each task-node pair in the cluster based on the micro-benchmark results. Due to its Bayesian approach, Lotaru can also compute robust uncertainty estimates and provides them as an input for advanced scheduling methods. Our evaluation with five real-world scientific workflows and different datasets shows that Lotaru significantly outperforms the baselines in terms of prediction errors for homogeneous and heterogeneous clusters.


title: A note on a stable algorithm for computing the fractional integrals of orthogonal polynomials

abstract: In this note we provide an algorithm for computing the fractional integrals of orthogonal polynomials, which is more stable than that using the expression of the polynomials w.r.t. the canonical basis. This algorithm is aimed at solving corresponding fractional differential equations. A few numerical examples are reported.


title: Modeling Neutron Star Matter in the Age of Multimessenger Astrophysics

abstract: The interpretation of the available and forthcoming data obtained from multimessenger astrophysical observations -- potentially providing unprecedented access to neutron star properties -- will require the development of novel, accurate theoretical models of dense matter. Of great importance, in this context, will be the capability to devise a description of thermal effects applicable to the study of quantities other than the equation of state, such as the transport coefficients and the neutrino mean free path in the nuclear medium. The formalism based on correlated basis states and the cluster expansion technique has been previously employed to derive a well-behaved effective interaction -- suitable for use in standard perturbation theory -- from a state-of-the-art nuclear Hamiltonian, including phenomenological two- and three-nucleon potentials. Here, we provide a comprehensive and self-contained account of the extension of this approach to the treatment of finite-temperature effects, and report the results of numerical calculations of a number of properties of nuclear matter with arbitrary neutron excess and temperature up to 50 MeV.


title: An Evaluation Study of Intrinsic Motivation Techniques applied to Reinforcement Learning over Hard Exploration Environments

abstract: In the last few years, the research activity around reinforcement learning tasks formulated over environments with sparse rewards has been especially notable. Among the numerous approaches proposed to deal with these hard exploration problems, intrinsic motivation mechanisms are arguably among the most studied alternatives to date. Advances reported in this area over time have tackled the exploration issue by proposing new algorithmic ideas to generate alternative mechanisms to measure the novelty. However, most efforts in this direction have overlooked the influence of different design choices and parameter settings that have also been introduced to improve the effect of the generated intrinsic bonus, forgetting the application of those choices to other intrinsic motivation techniques that may also benefit of them. Furthermore, some of those intrinsic methods are applied with different base reinforcement algorithms (e.g. PPO, IMPALA) and neural network architectures, being hard to fairly compare the provided results and the actual progress provided by each solution. The goal of this work is to stress on this crucial matter in reinforcement learning over hard exploration environments, exposing the variability and susceptibility of avant-garde intrinsic motivation techniques to diverse design factors. Ultimately, our experiments herein reported underscore the importance of a careful selection of these design aspects coupled with the exploration requirements of the environment and the task in question under the same setup, so that fair comparisons can be guaranteed.


title: On the skew and curvature of implied and local volatilities

abstract: In this paper, we study the relationship between the short-end of the local and the implied volatility surfaces. Our results, based on Malliavin calculus techniques, recover the recent $\frac{1}{H+3/2}$ rule (where $H$ denotes the Hurst parameter of the volatility process) for rough volatilitites (see Bourgey, De Marco, Friz, and Pigato (2022)), that states that the short-time skew slope of the at-the-money implied volatility is $\frac{1}{H+3/2}$ the corresponding slope for local volatilities. Moreover, we see that the at-the-money short-end curvature of the implied volatility can be written in terms of the short-end skew and curvature of the local volatility and viceversa, and that this relationship depends on $H$.


title: Self-Adaptive RISs Beyond Free Space: Convergence of Localization, Sensing and Communication under Rich-Scattering Conditions

abstract: We discuss the need for a confluence of localization, sensing and communications if RISs are to be deployed in a self-adaptive manner in the dynamically evolving rich-scattering settings that are typical for 6G deployment scenarios such as factories. We establish that in such problems the rich-scattering wireless channels are subject to a highly nonlinear deterministic double-parametrization through both the RIS and uncontrolled moving objects. Therefore, acquiring full context-awareness through localization and sensing is a prerequisite for RIS-empowered communications. Yet, the byproducts of this daunting communications overhead can feed many appliances that require context awareness, such that overhead concerns may vanish. We illustrate the essential steps for operating a self-adaptive RIS under rich scattering based on a prototypical case study. We discover that self-adaptive RISs outperform context-ignorant RISs only below a certain noise threshold that depends, among other factors, on how strongly uncontrolled perturbers impact the wireless channel. We also discuss ensuing future research directions that will determine the conditions under which RISs may serve as technological enabler of 6G networks.

categories: cs.IT cs.SY eess.SP eess.SY math.IT physics.app-ph


title: The need for a public forecast of stellar activity to optimise exoplanet radial velocity detections & transmission spectroscopy

abstract: Advances in high-precision spectrographs have paved the way for the search for an Earth analogue orbiting a Sun-like star within its habitable zone. However, the research community remains limited by the presence of stellar noise produced by stellar magnetic activity. These activity phenomena can obscure the detection of Earth-mass exoplanets and can create parasitic signals in transmission spectra. In this paper, we outline the need for a public forecast of stellar activity, and produce a proof of principle. Using publicly available spectra we are able to forecast stellar minima several years ahead and reach a typical uncertainty on the timing of these minima of ~0.5 year, similar to the precision reached on our own Sun's magnetic cycle. Furthermore, we use our toy model to show that knowing when to observe can improve the sensitivity of HARPS-North's Solar telescope to low mass planets by up to an order of magnitude, and we show that the majority of exoplanets selected for Early Release Science and Guaranteed Time Observations on the James Webb will be observed close or during stellar maxima, incurring a higher risk of stellar contamination. We finish our paper by outlining a number of next steps to create a public forecast usable by teams around the globe, by telescope time allocation committees, and in preparation for spacecrafts such as Ariel.


title: Single Scan Dual-energy Cone-beam CT Using Static Detector Modulation: A Phantom Study

abstract: Cone-beam CT (CBCT) is installed in the treatment room to facilitate online clinical applications, including image guidance in radiation and surgery. Half-fan and short-can are the commonly used modes in clinical applications to expand the imaging volume and reduce radiation exposure. Anatomical structures are faithfully reconstructed using CBCT while deep information including material composition is not feasible in its current form. Dual-energy computed tomography (DECT) is an advanced medical imaging technology with superior capability of material differentiation by scanning the patient using two different energy spectra. Conventional DECT systems require expensive and sophisticated hardware components, significantly limiting DECT applications to cone-beam CT (CBCT) machines. In this work, we propose a dual-energy cone-beam CT (DECBCT) system by placing a dedicatedly designed beam modulator in front of the detector surface to acquire dual-energy projection data in a single scan. A deep learning-based data restoration model is introduced to generate complete dual-energy data from the detector-modulated data for DECT image reconstruction and material decomposition. The performance of the proposed method is evaluated using an electron density phantom and clinical CT. The mean error for electron density calculation is lower than 1.16% in the electron density phantom study. The mean errors for reconstructed linear attenuation coefficient (LAC) are lower than 1.41% and 0.89% in the head and pelvis studies, respectively. The results indicate that the proposed method is a promising solution for single-scan DECBCT in clinical practice.


title: Regime and Treatment Effects in Duration Models: Decomposing Expectation and Transplant Effects on the Kidney Waitlist

abstract: This paper proposes a causal decomposition framework for settings in which an initial regime randomization influences the timing of a treatment duration. The initial randomization and treatment affect in turn a duration outcome of interest. Our empirical application considers the survival of individuals on the kidney transplant waitlist. Upon entering the waitlist, individuals with an AB blood type, who are universal recipients, are effectively randomized to a regime with a higher propensity to rapidly receive a kidney transplant. Our dynamic potential outcomes framework allows us to identify the pre-transplant effect of the blood type, and the transplant effects depending on blood type. We further develop dynamic assumptions which build on the LATE framework and allow researchers to separate effects for different population substrata. Our main empirical result is that AB blood type candidates display a higher pre-transplant mortality. We provide evidence that this effect is due to behavioural changes rather than biological differences.


title: Boundary conditions and anomalies of conformal field theories in 1+1 dimensions

abstract: We study a relationship between conformally invariant boundary conditions and anomalies of conformal field theories (CFTs) in 1+1 dimensions. For a given CFT with a global symmetry, we consider symmetric gapping potentials which are relevant perturbations to the CFT. If a gapping potential is introduced only in a subregion of the system, it provides a certain boundary condition to the CFT. From this equivalence, if there exists a Cardy boundary state which is invariant under a symmetry, then the CFT can be gapped with a unique ground state by adding the corresponding gapping potential. This means that the symmetry of the CFT is anomaly free. Using this approach, we systematically deduce the anomaly-free conditions for various types of CFTs with several different symmetries. They include the free compact boson theory, Wess-Zumino-Witten models, and unitary minimal models. When the symmetry of the CFT is anomalous, it implies a Lieb-Schultz-Mattis type ingappability of the system. Our results are consistent with, where available, known results in the literature. Moreover, we extend the discussion to other symmetries including spin groups and generalized time-reversal symmetries.

categories: hep-th cond-mat.stat-mech math-ph math.MP


title: NPU-BOLT: A Dataset for Bolt Object Detection in Natural Scene Images

abstract: Bolt joints are very common and important in engineering structures. Due to extreme service environment and load factors, bolts often get loose or even disengaged. To real-time or timely detect the loosed or disengaged bolts is an urgent need in practical engineering, which is critical to keep structural safety and service life. In recent years, many bolt loosening detection methods using deep learning and machine learning techniques have been proposed and are attracting more and more attention. However, most of these studies use bolt images captured in laboratory for deep leaning model training. The images are obtained in a well-controlled light, distance, and view angle conditions. Also, the bolted structures are well designed experimental structures with brand new bolts and the bolts are exposed without any shelter nearby. It is noted that in practical engineering, the above well controlled lab conditions are not easy realized and the real bolt images often have blur edges, oblique perspective, partial occlusion and indistinguishable colors etc., which make the trained models obtained in laboratory conditions loss their accuracy or fails. Therefore, the aim of this study is to develop a dataset named NPU-BOLT for bolt object detection in natural scene images and open it to researchers for public use and further development. In the first version of the dataset, it contains 337 samples of bolt joints images mainly in the natural environment, with image data sizes ranging from 400*400 to 6000*4000, totaling approximately 1275 bolt targets. The bolt targets are annotated into four categories named blur bolt, bolt head, bolt nut and bolt side. The dataset is tested with advanced object detection models including yolov5, Faster-RCNN and CenterNet. The effectiveness of the dataset is validated.


title: Active Domain Adaptation with Multi-level Contrastive Units for Semantic Segmentation

abstract: To further reduce the cost of semi-supervised domain adaptation (SSDA) labeling, a more effective way is to use active learning (AL) to annotate a selected subset with specific properties. However, domain adaptation tasks are always addressed in two interactive aspects: domain transfer and the enhancement of discrimination, which requires the selected data to be both uncertain under the model and diverse in feature space. Contrary to active learning in classification tasks, it is usually challenging to select pixels that contain both the above properties in segmentation tasks, leading to the complex design of pixel selection strategy. To address such an issue, we propose a novel Active Domain Adaptation scheme with Multi-level Contrastive Units (ADA-MCU) for semantic image segmentation. A simple pixel selection strategy followed with the construction of multi-level contrastive units is introduced to optimize the model for both domain adaptation and active supervised learning. In practice, MCUs are constructed from intra-image, cross-image, and cross-domain levels by using both labeled and unlabeled pixels. At each level, we define contrastive losses from center-to-center and pixel-to-pixel manners, with the aim of jointly aligning the category centers and reducing outliers near the decision boundaries. In addition, we also introduce a categories correlation matrix to implicitly describe the relationship between categories, which are used to adjust the weights of the losses for MCUs. Extensive experimental results on standard benchmarks show that the proposed method achieves competitive performance against state-of-the-art SSDA methods with 50% fewer labeled pixels and significantly outperforms state-of-the-art with a large margin by using the same level of annotation cost.


title: Conductance matrix symmetries of multiterminal semiconductor-superconductor devices

abstract: Nonlocal tunneling spectroscopy of multiterminal semiconductor-superconductor hybrid devices is a powerful tool to investigate the Andreev bound states below the parent superconducting gap. We examine how to exploit both microscopic and geometrical symmetries of the system to extract information on the normal and Andreev transmission probabilities from the multiterminal electric or thermoelectric differential conductance matrix under the assumption of an electrostatic potential landscape independent of the bias voltages, as well as the absence of leakage currents. These assumptions lead to several symmetry relations on the conductance matrix. Next, by considering a numerical model of a proximitized semiconductor wire with spin-orbit coupling and two normal contacts at its ends, we show how such symmetries can be used to identify the direction and relative strength of Rashba versus Dresselhaus spin-orbit coupling. Finally, we study how a voltage-bias-dependent electrostatic potential as well as quasiparticle leakage break the derived symmetry relations and investigate characteristic signatures of these two contributions.


title: UnifieR: A Unified Retriever for Large-Scale Retrieval

abstract: Large-scale retrieval is to recall relevant documents from a huge collection given a query. It relies on representation learning to embed documents and queries into a common semantic encoding space. According to the encoding space, recent retrieval methods based on pre-trained language models (PLM) can be coarsely categorized into either dense-vector or lexicon-based paradigms. These two paradigms unveil the PLMs' representation capability in different granularities, i.e., global sequence-level compression and local word-level contexts, respectively. Inspired by their complementary global-local contextualization and distinct representing views, we propose a new learning framework, UnifieR which unifies dense-vector and lexicon-based retrieval in one model with a dual-representing capability. Experiments on passage retrieval benchmarks verify its effectiveness in both paradigms. A uni-retrieval scheme is further presented with even better retrieval quality. We lastly evaluate the model on BEIR benchmark to verify its transferability.


title: Deep Image Retrieval is not Robust to Label Noise

abstract: Large-scale datasets are essential for the success of deep learning in image retrieval. However, manual assessment errors and semi-supervised annotation techniques can lead to label noise even in popular datasets. As previous works primarily studied annotation quality in image classification tasks, it is still unclear how label noise affects deep learning approaches to image retrieval. In this work, we show that image retrieval methods are less robust to label noise than image classification ones. Furthermore, we, for the first time, investigate different types of label noise specific to image retrieval tasks and study their effect on model performance.


title: Zero-Sum Games and Linear Programming Duality

abstract: The minimax theorem for zero-sum games is easily proved from the strong duality theorem of linear programming. For the converse direction, the standard proof by Dantzig (1951) is known to be incomplete. We explain and combine classical theorems about solving linear equations with nonnegative variables to give a correct alternative proof, more directly than Adler (2013). We also extend Dantzig's game so that any max-min strategy gives either an optimal LP solution or shows that none exists.


title: Feature-Distribution Perturbation and Calibration for Generalized Person ReID

abstract: Person Re-identification (ReID) has been advanced remarkably over the last 10 years along with the rapid development of deep learning for visual recognition. However, the i.i.d. (independent and identically distributed) assumption commonly held in most deep learning models is somewhat non-applicable to ReID considering its objective to identify images of the same pedestrian across cameras at different locations often of variable and independent domain characteristics that are also subject to view-biased data distribution. In this work, we propose a Feature-Distribution Perturbation and Calibration (PECA) method to derive generic feature representations for person ReID, which is not only discriminative across cameras but also agnostic and deployable to arbitrary unseen target domains. Specifically, we perform per-domain feature-distribution perturbation to refrain the model from overfitting to the domain-biased distribution of each source (seen) domain by enforcing feature invariance to distribution shifts caused by perturbation. Furthermore, we design a global calibration mechanism to align feature distributions across all the source domains to improve the model generalization capacity by eliminating domain bias. These local perturbation and global calibration are conducted simultaneously, which share the same principle to avoid models overfitting by regularization respectively on the perturbed and the original distributions. Extensive experiments were conducted on eight person ReID datasets and the proposed PECA model outperformed the state-of-the-art competitors by significant margins.


title: Variational Quantum Eigensolver Ansatz for the $J_1$-$J_2$-model

abstract: The ground state properties of the two-dimensional $J_1-J_2$-model are very challenging to analyze via classical numerical methods due to the high level of frustration. This makes the model a promising candidate where quantum computers could be helpful and possibly explore regimes that classical computers cannot reach. The $J_1-J_2$-model is a quantum spin model composed of Heisenberg interactions along the rectangular lattice edges and along diagonal edges between next-nearest neighbor spins. We propose an ansatz for the Variational Quantum Eigensolver (VQE) to approximate the ground state of an antiferromagnetic $J_1-J_2$-Hamiltonian for different lattice sizes and different ratios of $J_1$ and $J_2$. Moreover, we demonstrate that this ansatz can work without the need for gates along the diagonal next-nearest neighbor interactions. This simplification is of great importance for solid state based hardware with qubits on a rectangular grid, where it eliminates the need for SWAP gates. In addition, we provide an extrapolation for the number of gates and parameters needed for larger lattice sizes, showing that these are expected to grow less than quadratically in the qubit number up to lattice sizes which eventually can no longer be treated with classical computers.


title: Dynamical and excited-state quantum phase transitions in collective systems

abstract: We study dynamical phase transitions (DPTs) in quantum many-body systems with infinite-range interaction, and present a theory connecting the two kinds of known DPTs (sometimes referred to as DPTs-I and DPTs-II) with the concept of excited-state quantum phase transition (ESQPT), traditionally found in collective models. We show that DPTs-I appear as a manifestation of symmetry restoration after a quench from the broken-symmetry phase, the limits between these two phases being demarcated precisely by an ESQPT. We describe the order parameters of DPTs-I with a generalization of the standard microcanonical ensemble incorporating the information of an additional conserved charge identifying the corresponding phase. We also show that DPTs-I are linked to a mechanism of information erasure brought about by the ESQPT, and quantify this information loss with the statistical ensemble that we propose. Finally, we show analytically that DPTs-II are forbidden in these systems for quenches leading a broken-symmetry initial state to the same broken-symmetry phase, on one side of the ESQPT, and we provide a formulation of DPTs-II depending on the side of the ESQPT where the quench ends. We analyze the connections between various indicators of DPTs-II. Our results are numerically illustrated in the infinite-range transverse-field Ising model and are applicable to a large class of collective quantum systems satisfying a set of conditions.


title: BBTv2: Towards a Gradient-Free Future with Large Language Models

abstract: Most downstream adaptation methods tune all or part of the parameters of pre-trained models (PTMs) through gradient descent, where the tuning cost increases linearly with the growth of the model size. By contrast, gradient-free methods only require the forward computation of the PTM to tune the prompt, retaining the benefits of efficient tuning and deployment. Though, past work on gradient-free tuning often introduces gradient descent to seek a good initialization of prompt and lacks versatility across tasks and PTMs. In this paper, we present BBTv2, an improved version of Black-Box Tuning, to drive PTMs for few-shot learning. We prepend continuous prompts to every layer of the PTM and propose a divide-and-conquer gradient-free algorithm to optimize the prompts at different layers alternately. Extensive experiments across various tasks and PTMs show that BBTv2 can achieve comparable performance to full model tuning and state-of-the-art parameter-efficient methods (e.g., Adapter, LoRA, BitFit, etc.) under few-shot settings while maintaining much fewer tunable parameters.


title: Action complexity of charged black holes with higher derivative interactions

abstract: Quantum complexity of CFT states can be computed holographically from the dual gravitational solutions. In this paper, we have studied the late time growth of holographic complexity of a charged black hole in five-dimensional, Anti-de Sitter spacetime in the presence of quartic derivative interaction terms using the Complexity = Action conjecture. These interaction terms in the gravitational action can lead to the violation of Llyod's bound. The dual CFT is known to admit a hydrodynamic description where the KSS bound is also violated due to the presence of higher derivative terms in the bulk action. The origin of terms which violate both the bounds are the same for the gravitational action of consideration. We have also discussed the late time complexity growth rate of the Jackiw-Teitelboim (JT) model with higher derivative corrections.


title: Denoising-based image reconstruction from pixels located at non-integer positions

abstract: Digital images are commonly represented as regular 2D arrays, so pixels are organized in form of a matrix addressed by integers. However, there are many image processing operations, such as rotation or motion compensation, that produce pixels at non-integer positions. Typically, image reconstruction techniques cannot handle samples at non-integer positions. In this paper, we propose to use triangulation-based reconstruction as initial estimate that is later refined by a novel adaptive denoising framework. Simulations reveal that improvements of up to more than 1.8 dB (in terms of PSNR) are achieved with respect to the initial estimate.


title: Spontaneous emission modulation in biaxial hyperbolic van der Waals material

abstract: As a natural van der Waals crystal, {\alpha}-MoO3 has excellent in-plane hyperbolic properties and essential nanophotonics applications. However, its actively tunable properties are generally neglected. In this work, we achieved active modulation of spontaneous emission from a single-layer flat plate using the rotation method for the first time. Numerical results and theoretical analysis show that {\alpha}-MoO3 exhibits good tunability when rotated in the y-z or x-y plane. A modulation factor of more than three orders of magnitude can be obtained at 634 cm-1. However, when the rotation is in the x-z plane, the spontaneous emission of the material exhibits strong angle independence. The theoretical formulation and the physical mechanism analysis explain the above phenomenon well. In addition, for the semi-infinite {\alpha}-MoO3 flat structure, we give the distribution of the modulation factor of spontaneous emission with wavenumber and rotation angle. Finally, we extended the calculation results from semi-infinite media to finite thickness films. We obtained the general evolution law of the peak angle of the modulation factor with thickness, increasing the modulation factor to about 2000. We believe that the results of this paper can guide the active modulation of spontaneous emission based on anisotropic materials.


title: Problems on $\beta\mathbb{N}$

abstract: This is an update on, and expansion of, our paper Open problems on $\beta\omega$ in the book Open Problems in Topology.


title: Spin network entanglement: coarse-graining

abstract: In loop quantum gravity, partitioning graph introduces boundaries and entanglement between spin sub-networks, reflecting non-local degrees of freedom and correlation amongst spatial regions. This gives rise to the view of coarse-graining, reducing the degrees of freedom that are unnecessary to be considered. The present work sets coarse-graining in the framework of bulk-boundary relation. We investigates the spin network entanglement, showing that the entanglement is invariant under the coarse-graining at kinematical level. Moreover, we build the transformation between holonomy operators based on finer graph and coarser graph, and reveal the preservation of the coarse-graining method under the evolution generated by the holonomy operator. This leads to a holographical perspective for the entanglement issue in loop quantum gravity.


title: Stop Filtering: Multi-View Attribute-Enhanced Dialogue Learning

abstract: There is a growing interest in improving the conversational ability of models by filtering the raw dialogue corpora. Previous filtering strategies usually rely on a scoring method to assess and discard samples from one perspective, enabling the model to enhance the corresponding dialogue attributes (e.g., consistency) more easily. However, the discarded samples may obtain high scores in other perspectives and can provide regularization effects on the model learning, which causes the performance improvement to be sensitive to the filtering ratio. In this work, we propose a multi-view attribute-enhanced dialogue learning framework that strengthens the attribute-related features more robustly and comprehensively. Instead of filtering the raw dataset to train the model, our framework first pre-trains the model on the raw dataset and then fine-tunes it through adapters on the selected sub-sets, which also enhances certain attributes of responses but without suffering from the problems mentioned above. Considering the variety of the dialogue attribute, we further design a multi-view enhancement mechanism, including multi-view selection and inter-view fusion. It groups the high-quality samples from multiple perspectives, respectively, and enhances different attributes of responses with the corresponding sample sets and adapters, keeping knowledge independent and allowing flexible integration. Empirical results and analysis show that our framework can improve the performance significantly in terms of enhancing dialogue attributes and fusing view-specific knowledge.


title: Apsidal motion in massive eccentric binaries: The case of CPD-41$^\circ$7742, and HD 152218 revisited

abstract: This paper is part of a study of the apsidal motion in close eccentric massive binary systems, which aims to constrain the internal structure of the stars. We focus on the binary CPD-41{\deg}7742 and revisit HD152218. Independent studies of CPD-41{\deg}7742 in the past showed large discrepancies in the longitude of periastron of the orbit, hinting at the presence of apsidal motion. We perform a consistent analysis of all observational data, explicitly accounting for the apsidal motion. We use spectroscopic and photometric observations of CPD-41{\deg}7742 to infer values for the fundamental stellar and binary parameters. We apply a disentangling method to the spectra to simultaneously derive the RVs at the times of observation and reconstruct the individual stellar spectra. These are analysed by means of CMFGEN to determine the stellar properties. We determine the apsidal motion rate in two ways: We complement our RVs with those reported in the literature and we use the phase shifts between the primary and secondary eclipses. The light curves are analysed by means of Nightfall to constrain the orbital inclination and stellar masses. Stellar structure and evolution models are constructed with Cles. Different prescriptions for the mixing are adopted. Photometric data of HD152218 are analysed and stellar evolution models are built. The binary CPD-41{\deg}7742 displays apsidal motion at a rate of 15.38+0.42-0.51{\deg} yr-1. Our analysis of the observational data of CPD-41{\deg}7742 explicitly accounting for the apsidal motion allows us to explain the discrepancy in periastron longitudes. The age estimates are in good agreement with estimates obtained for other massive binaries in NGC 6231. This study confirms the need for enhanced mixing in the stellar evolution models to reproduce the observational stellar properties; this points towards larger convective cores than usually considered.


title: From contact relations to modal operators, and back

abstract: One of the standard axioms for Boolean Contact Algebras says that if a region x is in contact with the join of y and z, then x is in contact with at least one of the two regions. Our intention is to examine a stronger version of this axiom according to which if x is in contact with the supremum of some family S of regions, then there is a y in S that is in contact with x. We study a modal possibility operator which is definable in complete algebras in the presence of the aforementioned axiom, and we prove that the class of complete algebras satisfying the axiom is closely related to the class of modal KTB-algebras. We also demonstrate that in the class of complete extensional contact algebras the axiom is equivalent to the statement: every region is isolated. Finally, we present an interpretation of the modal operator in the class of the so-called resolution contact algebras.