title: Structured and Unstructured Teams for Research Software Development at the Netherlands eScience Center

abstract: This paper presents the types of teams that are currently in place at the Netherlands eScience Center. We categorize our teams into four different types: Project Teams, Collectives, Agile Teams and Scrum Teams. We provide a brief description of each team type and share stories from teams themselves to reflect on the strengths and shortcomings of each model. From our observation, we conclude that the type of team that is most suitable for each project depends on the specific needs of that project. More importantly, different types of teams are suitable for the different types of people working at the Netherlands eScience Center.


title: Efficient charged particle propagation methods

abstract: In astrophysics, the search for sources of the highest-energy cosmic rays continues. For further progress, not only ever better observatories but also ever more realistic numerical simulations are needed. We compare different approaches for numerical test simulations of UHECRs in the IGMF and show that all methods provide correct statistical propagation characteristics of the particles in means of their diffusive behaviour. Through convergence tests, we show that the necessary requirements for the methods differ and ultimately reveal significant differences in the required simulation time.


title: The semiclassical energy density of kinks and solitons

abstract: We compute semiclassical corrections to the energy density of kinks in $\phi^4$ theory and of solitons in the sine-Gordon model in $1+1$ dimensions, using local and covariant renormalization techniques from quantum field theory in curved spacetimes. For the semiclassical correction to the energy, we recover the known results. Our analysis highlights a subtlety in the definition of a conserved stress tensor for scalar field theories in $1+1$ dimension.


title: Decentralized non-convex optimization via bi-level SQP and ADMM

abstract: Decentralized non-convex optimization is important in many problems of practical relevance. Existing decentralized methods, however, typically either lack convergence guarantees for general non-convex problems, or they suffer from a high subproblem complexity. We present a novel bi-level SQP method, where the inner quadratic problems are solved via ADMM. A decentralized stopping criterion from inexact Newton methods allows the early termination of ADMM as an inner algorithm to improve computational efficiency. The method has local convergence guarantees for non-convex problems. Moreover, it only solves sequences of Quadratic Programs, whereas many existing algorithms solve sequences of Nonlinear Programs. The method shows competitive numerical performance for an optimal power flow problem.


title: Where Was COVID-19 First Discovered? Designing a Question-Answering System for Pandemic Situations

abstract: The COVID-19 pandemic is accompanied by a massive "infodemic" that makes it hard to identify concise and credible information for COVID-19-related questions, like incubation time, infection rates, or the effectiveness of vaccines. As a novel solution, our paper is concerned with designing a question-answering system based on modern technologies from natural language processing to overcome information overload and misinformation in pandemic situations. To carry out our research, we followed a design science research approach and applied Ingwersen's cognitive model of information retrieval interaction to inform our design process from a socio-technical lens. On this basis, we derived prescriptive design knowledge in terms of design requirements and design principles, which we translated into the construction of a prototypical instantiation. Our implementation is based on the comprehensive CORD-19 dataset, and we demonstrate our artifact's usefulness by evaluating its answer quality based on a sample of COVID-19 questions labeled by biomedical experts.


title: Programmable heralded linear optical generation of two-qubit states

abstract: We have investigated the heralded generation of two-qubit dual-rail-encoded states by programmable linear optics. Two types of schemes generating the states from four single photons, which is the minimal possible to accomplish the task, have been considered. The schemes have different detection patterns heralding successful generation events, namely, one-mode heralding, in which the two auxiliary photons are detected in one mode, and two-mode heralding, in which single photons are detected in each of the two modes simultaneously. We have shown that the dependence of the schemes' success probabilities on the target state's degree of entanglement are essentially different. In particular, one-mode heralding yields better efficiency for highly-entangled states, if the programmable interferometers can explore the full space of the unitary transfer matrices,. It is reversed in case of weakly-entangled states where two-mode heralding is better. We have found a minimal decomposition of the scheme with two-mode heralding that is programmed by one variable phase shift. We infer that the linear optical schemes designed specifically for generation of two-qubit states are more efficient than schemes implementing gate-based circuits with known two-qubit linear optical gates. Our results yield substantial reduction of physical resources needed to generate two-qubit dual-rail-encoded photonic states.


title: Large deviations for marked sparse random graphs with applications to interacting diffusions

abstract: We consider the empirical neighborhood distribution of marked sparse Erd\"os-R\'enyi random graphs, obtained by decorating edges and vertices of a sparse Erd\"os-R\'enyi random graph with i.i.d.\ random elements taking values on Polish spaces. We prove that the empirical neighborhood distribution of this model satisfies a large deviation principle in the framework of local weak convergence. We rely on the concept of BC-entropy introduced by Delgosha and Anantharam~(2019) which is inspired on the previous work by Bordenave and Caputo~(2015). Our main technical contribution is an approximation result that allows one to pass from graph with marks in discrete spaces to marks in general Polish spaces. As an application of the results developed here, we prove a large deviation principle for interacting diffusions driven by gradient evolution and defined on top of sparse Erd\"os-R\'enyi random graphs. In particular, our results apply for the stochastic Kuramoto model. We obtain analogous results for the sparse uniform random graph with given number of edges.


title: ELEVATER: A Benchmark and Toolkit for Evaluating Language-Augmented Visual Models

abstract: Learning visual representations from natural language supervision has recently shown great promise in a number of pioneering works. In general, these language-augmented visual models demonstrate strong transferability to a variety of datasets and tasks. However, it remains challenging to evaluate the transferablity of these models due to the lack of easy-to-use evaluation toolkits and public benchmarks. To tackle this, we build ELEVATER (Evaluation of Language-augmented Visual Task-level Transfer), the first benchmark and toolkit for evaluating(pre-trained) language-augmented visual models. ELEVATER is composed of three components. (i) Datasets. As downstream evaluation suites, it consists of 20 image classification datasets and 35 object detection datasets, each of which is augmented with external knowledge. (ii) Toolkit. An automatic hyper-parameter tuning toolkit is developed to facilitate model evaluation on downstream tasks. (iii) Metrics. A variety of evaluation metrics are used to measure sample-efficiency (zero-shot and few-shot) and parameter-efficiency (linear probing and full model fine-tuning). ELEVATER is a platform for Computer Vision in the Wild (CVinW), and is publicly released at at https://computer-vision-in-the-wild.github.io/ELEVATER/


title: A qualitative investigation of optical flow algorithms for video denoising

abstract: A good optical flow estimation is crucial in many video analysis and restoration algorithms employed in application fields like media industry, industrial inspection and automotive. In this work, we investigate how well optical flow algorithms perform qualitatively when integrated into a state of the art video denoising algorithm. Both classic optical flow algorithms (e.g. TV-L1) as well as recent deep learning based algorithm (like RAFT or BMBC) will be taken into account. For the qualitative investigation, we will employ realistic content with challenging characteristic (noisy content, large motion etc.) instead of the standard images used in most publications.


title: Antiferromagnetic skyrmion crystal in Janus monolayer CrSi2N2As2

abstract: Antiferromagnetic skyrmion crystal (AF-SkX), a regular array of antiferromagnetic skyrmions, is a fundamental phenomenon in the field of condensed-matter physics. So far, only very few proposals have been made to realize the AF-SkX, and most based on three-dimensional (3D) materials. Herein, using first-principles calculations and Monte-Carlo simulations, we report the identification of AF-SkX in two-dimensional lattice of Janus monolayer CrSi2N2As2. Arising from the broken inversion symmetry and strong spin-orbit coupling, large Dzyaloshinskii-Moriya interaction is obtained in Janus monolayer CrSi2N2As2. This, combined with the geometric frustration of its triangular lattice, gives rise to the skyrmion physics and long-sought AF-SkX in the presence of external magnetic field. More intriguingly, this system presents two different antiferromagnetic skyrmion phases, and such phenomenon is distinct from those reported in 3D systems. Furthermore, by contacting with Sc2CO2, the creation and annihilation of AF-SkX in Janus monolayer CrSi2N2As2 can be achieved through ferroelectricity. These findings greatly enrich the research on antiferromagnetic skyrmions.


title: On the unirationality of quadric bundles

abstract: We prove that a general $n$-fold quadric bundle $\mathcal{Q}^{n-1}\rightarrow\mathbb{P}^{1}$, over a number field, with $(-K_{\mathcal{Q}^{n-1}})^n > 0$ and discriminant of odd degree $\delta_{\mathcal{Q}^{n-1}}$ is unirational, and that the same holds for quadric bundles over an arbitrary infinite field provided that $\mathcal{Q}^{n-1}$ has a point, is otherwise general and $n\leq 5$. As a consequence we get the unirationality of a general $n$-fold quadric bundle $\mathcal{Q}^{h}\rightarrow\mathbb{P}^{n-h}$ with discriminant of odd degree $\delta_{\mathcal{Q}^{h}}\leq 3h+4$, and of any smooth $4$-fold quadric bundle $\mathcal{Q}^{2}\rightarrow\mathbb{P}^{2}$, over an algebraically closed field, with $\delta_{\mathcal{Q}^{2}}\leq 12$.


title: Noncommutative tensor triangulated categories and coherent frames

abstract: We develop a point-free approach for constructing the Nakano-Vashaw-Yakimov-Balmer spectrum of a noncommutative tensor triangulated category under some mild assumptions. In particular, we provide a conceptual way of classifying radical thick tensor ideals of a noncommutative tensor triangulated category using frame theoretic methods, recovering the universal support data in the process. We further show that there is a homeomorphism between the spectral space of radical thick tensor ideals of a noncommutative tensor triangulated category and the collection of open subsets of its spectrum in the Hochster dual topology.


title: Freeze-in and freeze-out of sterile neutrino dark matter

abstract: A sterile neutrino with a keV-scale mass is a compelling dark matter candidate. We propose a new production mechanism involving the decay and annihilation of a complex scalar singlet with a Higgs portal coupling which develops a vacuum expectation value. The interactions of the resulting pseudo Nambu-Goldstone boson may thermalise the dark sector. We determine the region of parameter space where dark sector thermalisation is reached and discuss the most relevant cosmological observables. The scenario can be considered as the combination of a freeze-in of the dark sector followed by relativistic freeze-out.


title: Velocity-like maximum polarization: irreversibility and quantum measurements

abstract: The polarization emerging in the subsequent scattering processes can never exceed $1$ which corresponds to the fully polarized pure state. This property is shown to be provided by the addition rule similar to that for relativistic velocities never exceeding the speed of light. The cases of spin $1/2$ and $1$ are considered. The photon linear polarization in Thomson scattering is monotonically increasing. This directness is shown to be a consequence of spin measurement procedure and may be the particular example of ithe anticipated relation between quantum measurement and time irreversibility. The emergent polarization may be considered as a case of opposing time's arrows corresponding to microscopic (spin) and macroscopic (momentum) degrees of freedom, respectively.


title: Two-Stream Graph Convolutional Network for Intra-oral Scanner Image Segmentation

abstract: Precise segmentation of teeth from intra-oral scanner images is an essential task in computer-aided orthodontic surgical planning. The state-of-the-art deep learning-based methods often simply concatenate the raw geometric attributes (i.e., coordinates and normal vectors) of mesh cells to train a single-stream network for automatic intra-oral scanner image segmentation. However, since different raw attributes reveal completely different geometric information, the naive concatenation of different raw attributes at the (low-level) input stage may bring unnecessary confusion in describing and differentiating between mesh cells, thus hampering the learning of high-level geometric representations for the segmentation task. To address this issue, we design a two-stream graph convolutional network (i.e., TSGCN), which can effectively handle inter-view confusion between different raw attributes to more effectively fuse their complementary information and learn discriminative multi-view geometric representations. Specifically, our TSGCN adopts two input-specific graph-learning streams to extract complementary high-level geometric representations from coordinates and normal vectors, respectively. Then, these single-view representations are further fused by a self-attention module to adaptively balance the contributions of different views in learning more discriminative multi-view representations for accurate and fully automatic tooth segmentation. We have evaluated our TSGCN on a real-patient dataset of dental (mesh) models acquired by 3D intraoral scanners. Experimental results show that our TSGCN significantly outperforms state-of-the-art methods in 3D tooth (surface) segmentation. Github: https://github.com/ZhangLingMing1/TSGCNet.


title: Semantics meets attractiveness: Choice by salience

abstract: We describe a context-sensitive model of choice, in which the selection process is shaped not only by the attractiveness of items but also by their semantics ('salience'). All items are ranked according to a relation of salience, and a linear order is associated to each item. The selection of a single element from a menu is justified by one of the linear orders indexed by the most salient items in the menu. The general model provides a structured explanation for any observed behavior, and allows us to to model the 'moodiness' of a decision maker, which is typical of choices requiring as many distinct rationales as items. Asymptotically all choices are moody. We single out a model of linear salience, in which the salience order is transitive and complete, and characterize it by a behavioral property, called WARP(S). Choices rationalizable by linear salience can only exhibit non-conflicting violations of WARP. We also provide numerical estimates, which show the high selectivity of this testable model of bounded rationality.


title: Effect of strain and sulfur vacancies on the luminescence and valley polarization properties of CVD grown monolayer MoS$_2$ films

abstract: Using temperature dependent photoluminescence (PL), polarization resolved PL and Raman spectroscopy, we investigate the effect of in situ vacuum annealing as well as the relaxation of strain on the luminescence and the valley polarization properties of large area strictly monolayer (1L)-MoS$_2$, grown on sapphire and SiO$_2$/Si substrates by a microcavity based chemical vapor deposition (CVD) technique. The study shows that the strain as well as the physisorption of air molecules at the sulfur vacancy ($V_S$) sites play key roles in governing the optical quality of CVD grown 1L-MoS$_2$. Removal of air molecules from the $V_S$ sites enhances the relative strength of the A-exciton/trion transition as compared to the broad luminescence (BL) band arising from those defects at low temperatures. It has also been found that such removal helps in improving the valley polarization property of the film. Relaxation of biaxial tensile strain, which has been achieved by post growth transferring of 1L-MoS$_2$ film from the sapphire to a SiO$_2$/Si substrate by a polystyrene assisted transfer process, is also found to be helpful to get back the high polarization character ($\sim$80%) of the valleys. The study further shows that the transfer process not only facilitates the removal of physisorbed air molecules from the $V_S$ sites but also puts in place a long lasting capping layer on MoS$_2$ that shields the film from reacting with air and hence enhances the relative yield of A-exciton/trion transition by suppressing the BL transition. The study thus creates an opportunity to use CVD grown large area 1L-MoS$_2$ for the development of optoelectronic as well as valleytronic devices for practical applications for the future.


title: Quantum phase transition of the two-dimensional Rydberg atom array in an optical cavity

abstract: We study the two-dimensional Rydberg atom array in an optical cavity with help of the meanfield theory and the large-scale quantum Monte Carlo simulations. The strong dipole-dipole interactions between Rydberg atoms can make the system exhibit the crystal structure, and the coupling between two-level atom and cavity photon mode can result in the formation of the polariton. The interplay between them provides a rich quantum phase diagram including the Mott, solid-1/2, superradiant and superradiant solid phases. As the two-order co-existed phase, the superradiant solid phase breaks both translational and U(1) symmetries. Based on both numerical and analytic results, we found the region of superradiant solid is much larger than one dimensional case, so that it can be more easily observed in the experiment. Finally, we discuss how the energy gap of the Rydberg atom can affect the type of the quantum phase transition and the number of triple points.


title: Generalized Supervised Meta-blocking (technical report)

abstract: Entity Resolution constitutes a core data integration task that relies on Blocking in order to tame its quadratic time complexity. Schema-agnostic blocking achieves very high recall, requires no domain knowledge and applies to data of any structuredness and schema heterogeneity. This comes at the cost of many irrelevant candidate pairs (i.e., comparisons), which can be significantly reduced through Meta-blocking techniques, i.e., techniques that leverage the co-occurrence patterns of entities inside the blocks: first, a weighting scheme assigns a score to every pair of candidate entities in proportion to the likelihood that they are matching and then, a pruning algorithm discards the pairs with the lowest scores. Supervised Meta-blocking goes beyond this approach by combining multiple scores per comparison into a feature vector that is fed to a binary classifier. By using probabilistic classifiers, Generalized Supervised Meta-blocking associates every pair of candidates with a score that can be used by any pruning algorithm. For higher effectiveness, new weighting schemes are examined as features. Through an extensive experimental analysis, we identify the best pruning algorithms, their optimal sets of features as well as the minimum possible size of the training set. The resulting approaches achieve excellent performance across several established benchmark datasets.


title: What powers the wind from the black hole accretion disc in GRO J1655-40?

abstract: Black hole accretion discs can produce powerful outflowing plasma (disc winds), seen as blue-shifted absorption lines in stellar and supermassive systems. These winds in Quasars have an essential role in controlling galaxy formation across cosmic time, but there is no consensus on how these are physically launched. A single unique observation of a stellar-mass black hole GRO J1655-40 was used to argue that magnetic driving was the only viable mechanism and motivated unified models of magnetic winds in both binaries and Quasars. The alternative, X-ray heating (thermal-radiative wind), was ruled out for the low observed luminosity by the high wind density estimated from an absorption line of a metastable level of Fe xxii. Here we reanalyse these data using a photoionisation code that includes cascades from radiative excitation as well as collisions in populating the metastable level. The cascade reduces the inferred wind density by more than an order of magnitude. The derived column is also optically thick, so the source is intrinsically more luminous than observed. We show that a thermal-radiative wind model calculated from a radiation hydrodynamic simulation matches well with the data. We revisit the previous magnetic wind solution and show that this is also optically thick, leading to a larger source luminosity. However, unlike the thermal-radiative wind, it struggles to reproduce the overall ion population at the required density. These results remove the requirement for a magnetic wind in these data and remove the basis of the self-similar unified magnetic wind models extrapolated to Quasar outflows


title: An Energy-Based Prior for Generative Saliency

abstract: We propose a novel generative saliency prediction framework that adopts an informative energy-based model as a prior distribution. The energy-based prior model is defined on the latent space of a saliency generator network that generates the saliency map based on a continuous latent variables and an observed image. Both the parameters of saliency generator and the energy-based prior are jointly trained via Markov chain Monte Carlo-based maximum likelihood estimation, in which the sampling from the intractable posterior and prior distributions of the latent variables are performed by Langevin dynamics. With the generative saliency model, we can obtain a pixel-wise uncertainty map from an image, indicating model confidence in the saliency prediction. Different from existing generative models, which define the prior distribution of the latent variables as a simple isotropic Gaussian distribution, our model uses an energy-based informative prior which can be more expressive in capturing the latent space of the data. With the informative energy-based prior, we extend the Gaussian distribution assumption of generative models to achieve a more representative distribution of the latent space, leading to more reliable uncertainty estimation. We apply the proposed frameworks to both RGB and RGB-D salient object detection tasks with both transformer and convolutional neural network backbones. We further propose an adversarial learning algorithm and a variational inference algorithm as alternatives to train the proposed generative framework. Experimental results show that our generative saliency model with an energy-based prior can achieve not only accurate saliency predictions but also reliable uncertainty maps that are consistent with human perception. Results and code are available at \url{https://github.com/JingZhang617/EBMGSOD}.


title: Rainbow clique subdivisions

abstract: We show that for any integer $t \ge 2$, every properly edge colored $n$-vertex graph with average degree at least $(\log n)^{2+o(1)}$ contains a rainbow subdivision of a complete graph of size $t$. Note that this bound is within $(\log n)^{1+o(1)}$ factor of the lower bound. This also implies a result on the rainbow Tur\'{a}n number of cycles.


title: PoseCoach: A Customizable Analysis and Visualization System for Video-based Running Coaching

abstract: Videos are an accessible form of media for analyzing sports postures and providing feedback to athletes. Existing sport-specific systems embed bespoke human pose attributes and thus can be hard to scale for new attributes, especially for users without programming experiences. Some systems retain scalability by directly showing the differences between two poses, but they might not clearly visualize the key differences that viewers would like to pursue. Besides, video-based coaching systems often present feedback on the correctness of poses by augmenting videos with visual markers or reference poses. However, previewing and augmenting videos limit the analysis and visualization of human poses due to the fixed viewpoints in videos, which confine the observation of captured human movements and cause ambiguity in the augmented feedback. To address these issues, we study customizable human pose data analysis and visualization in the context of running pose attributes, such as joint angles and step distances. Based on existing literature and a formative study, we have designed and implemented a system, PoseCoach, to provide feedback on running poses for amateurs by comparing the running poses between a novice and an expert. PoseCoach adopts a customizable data analysis model to allow users' controllability in defining pose attributes of their interests through our interface. To avoid the influence of viewpoint differences and provide intuitive feedback, PoseCoach visualizes the pose differences as part-based 3D animations on a human model to imitate the demonstration of a human coach. We conduct a user study to verify our design components and conduct expert interviews to evaluate the usefulness of the system.


title: Understanding Toxicity Triggers on Reddit in the Context of Singapore

abstract: While the contagious nature of online toxicity sparked increasing interest in its early detection and prevention, most of the literature focuses on the Western world. In this work, we demonstrate that 1) it is possible to detect toxicity triggers in an Asian online community, and 2) toxicity triggers can be strikingly different between Western and Eastern contexts.


title: Multi-level Cross-view Contrastive Learning for Knowledge-aware Recommender System

abstract: Knowledge graph (KG) plays an increasingly important role in recommender systems. Recently, graph neural networks (GNNs) based model has gradually become the theme of knowledge-aware recommendation (KGR). However, there is a natural deficiency for GNN-based KGR models, that is, the sparse supervised signal problem, which may make their actual performance drop to some extent. Inspired by the recent success of contrastive learning in mining supervised signals from data itself, in this paper, we focus on exploring the contrastive learning in KG-aware recommendation and propose a novel multi-level cross-view contrastive learning mechanism, named MCCLK. Different from traditional contrastive learning methods which generate two graph views by uniform data augmentation schemes such as corruption or dropping, we comprehensively consider three different graph views for KG-aware recommendation, including global-level structural view, local-level collaborative and semantic views. Specifically, we consider the user-item graph as a collaborative view, the item-entity graph as a semantic view, and the user-item-entity graph as a structural view. MCCLK hence performs contrastive learning across three views on both local and global levels, mining comprehensive graph feature and structure information in a self-supervised manner. Besides, in semantic view, a k-Nearest-Neighbor (kNN) item-item semantic graph construction module is proposed, to capture the important item-item semantic relation which is usually ignored by previous work. Extensive experiments conducted on three benchmark datasets show the superior performance of our proposed method over the state-of-the-arts. The implementations are available at: https://github.com/CCIIPLab/MCCLK.


title: SePiCo: Semantic-Guided Pixel Contrast for Domain Adaptive Semantic Segmentation

abstract: Domain adaptive semantic segmentation attempts to make satisfactory dense predictions on an unlabeled target domain by utilizing the supervised model trained on a labeled source domain. In this work, we propose Semantic-Guided Pixel Contrast (SePiCo), a novel one-stage adaptation framework that highlights the semantic concepts of individual pixels to promote learning of class-discriminative and class-balanced pixel representations across domains, eventually boosting the performance of self-training methods. Specifically, to explore proper semantic concepts, we first investigate a centroid-aware pixel contrast that employs the category centroids of the entire source domain or a single source image to guide the learning of discriminative features. Considering the possible lack of category diversity in semantic concepts, we then blaze a trail of distributional perspective to involve a sufficient quantity of instances, namely distribution-aware pixel contrast, in which we approximate the true distribution of each semantic category from the statistics of labeled source data. Moreover, such an optimization objective can derive a closed-form upper bound by implicitly involving an infinite number of (dis)similar pairs, making it computationally efficient. Extensive experiments show that SePiCo not only helps stabilize training but also yields discriminative representations, making significant progress on both synthetic-to-real and daytime-to-nighttime adaptation scenarios.


title: Making Progress Based on False Discoveries

abstract: The study of adaptive data analysis examines how many statistical queries can be answered accurately using a fixed dataset while avoiding false discoveries (statistically inaccurate answers). In this paper, we tackle a question that precedes the field of study: Is data only valuable when it provides accurate answers to statistical queries? To answer this question, we use Stochastic Convex Optimization as a case study. In this model, algorithms are considered as analysts who query an estimate of the gradient of a noisy function at each iteration and move towards its minimizer. It is known that $O(1/\epsilon^2)$ examples can be used to minimize the objective function, but none of the existing methods depend on the accuracy of the estimated gradients along the trajectory. Therefore, we ask: How many samples are needed to minimize a noisy convex function if we require $\epsilon$-accurate estimates of $O(1/\epsilon^2)$ gradients? Or, might it be that inaccurate gradient estimates are \emph{necessary} for finding the minimum of a stochastic convex function at an optimal statistical rate? We provide two partial answers to this question. First, we show that a general analyst (queries that may be maliciously chosen) requires $\Omega(1/\epsilon^3)$ samples, ruling out the possibility of a foolproof mechanism. Second, we show that, under certain assumptions on the oracle, $\tilde \Omega(1/\epsilon^{2.5})$ samples are necessary for gradient descent to interact with the oracle. Our results are in contrast to classical bounds that show that $O(1/\epsilon^2)$ samples can optimize the population risk to an accuracy of $O(\epsilon)$, but with spurious gradients.


title: RNNCTPs: A Neural Symbolic Reasoning Method Using Dynamic Knowledge Partitioning Technology

abstract: Although traditional symbolic reasoning methods are highly interpretable, their application in knowledge graph link prediction is limited due to their low computational efficiency. In this paper, we propose a new neural symbolic reasoning method: RNNCTPs, which improves computational efficiency by re-filtering the knowledge selection of Conditional Theorem Provers (CTPs), and is less sensitive to the embedding size parameter. RNNCTPs are divided into relation selectors and predictors. The relation selectors are trained efficiently and interpretably, so that the whole model can dynamically generate knowledge for the inference of the predictor. In all four datasets, the method shows competitive performance against traditional methods on the link prediction task, and can have higher applicability to the selection of datasets relative to CTPs.


title: SmartSales: Sales Script Extraction and Analysis from Sales Chatlog

abstract: In modern sales applications, automatic script extraction and management greatly decrease the need for human labor to collect the winning sales scripts, which largely boost the success rate for sales and can be shared across the sales teams. In this work, we present the SmartSales system to serve both the sales representatives and managers to attain the sales insights from the large-scale sales chatlog. SmartSales consists of three modules: 1) Customer frequently asked questions (FAQ) extraction aims to enrich the FAQ knowledge base by harvesting high quality customer question-answer pairs from the chatlog. 2) Customer objection response assists the salespeople to figure out the typical customer objections and corresponding winning sales scripts, as well as search for proper sales responses for a certain customer objection. 3) Sales manager dashboard helps sales managers to monitor whether a specific sales representative or team follows the sales standard operating procedures (SOP). The proposed prototype system is empowered by the state-of-the-art conversational intelligence techniques and has been running on the Tencent Cloud to serve the sales teams from several different areas.


title: The number of relative equilibria in the PCR4PB

abstract: The aim of this paper is to present a new, analytical, method for computing the exact number of relative equilibria in the planar, circular, restricted 4-body problem of celestial mechanics. The new approach allows for a very efficient computer-aided proof, and opens a potential pathway to proving harder instances of the n-body problem.


title: UID2021: An Underwater Image Dataset for Evaluation of No-reference Quality Assessment Metrics

abstract: Achieving subjective and objective quality assessment of underwater images is of high significance in underwater visual perception and image/video processing. However, the development of underwater image quality assessment (UIQA) is limited for the lack of comprehensive human subjective user study with publicly available dataset and reliable objective UIQA metric. To address this issue, we establish a large-scale underwater image dataset, dubbed UID2021, for evaluating no-reference UIQA metrics. The constructed dataset contains 60 multiply degraded underwater images collected from various sources, covering six common underwater scenes (i.e. bluish scene, bluish-green scene, greenish scene, hazy scene, low-light scene, and turbid scene), and their corresponding 900 quality improved versions generated by employing fifteen state-of-the-art underwater image enhancement and restoration algorithms. Mean opinion scores (MOS) for UID2021 are also obtained by using the pair comparison sorting method with 52 observers. Both in-air NR-IQA and underwater-specific algorithms are tested on our constructed dataset to fairly compare the performance and analyze their strengths and weaknesses. Our proposed UID2021 dataset enables ones to evaluate NR UIQA algorithms comprehensively and paves the way for further research on UIQA. Our UID2021 will be a free download and utilized for research purposes at: https://github.com/Hou-Guojia/UID2021.


title: Molecular-ion quantum technologies

abstract: Quantum-logic techniques for state preparation, manipulation, and non-destructive interrogation are increasingly being adopted for experiments on single molecular ions confined in traps. The ability to control molecular ions on the quantum level via a co-trapped atomic ion offers intriguing possibilities for new experiments in the realms of precision spectroscopy, quantum information processing, cold chemistry, and quantum technologies with molecules. The present article gives an overview of the basic experimental methods, recent developments and prospects in this field.


title: Coulomb-Nuclear Interference: Theory and Practice for pp-Scattering at 13 TeV

abstract: We provide a detailed reconsideration of the theoretical basis for the treatment of Coulomb-nuclear interference (CNI) and a corresponding thorough analysis of the procedure of extraction of the basic parameters $\rho^{~pp}, \sigma_{tot}^{~pp}$ and $B^{~pp}$ from the TOTEM data at $\sqrt{s} = 13$ TeV. A more substantiated account of CNI, as well as an in-depth statistical analysis of the TOTEM data at low transferred momenta, give results that differ from those published by the TOTEM collaboration.


title: Radio Galaxy Zoo: Using semi-supervised learning to leverage large unlabelled data-sets for radio galaxy classification under data-set shift

abstract: In this work we examine the classification accuracy and robustness of a state-of-the-art semi-supervised learning (SSL) algorithm applied to the morphological classification of radio galaxies. We test if SSL with fewer labels can achieve test accuracies comparable to the supervised state-of-the-art and whether this holds when incorporating previously unseen data. We find that for the radio galaxy classification problem considered, SSL provides additional regularisation and outperforms the baseline test accuracy. However, in contrast to model performance metrics reported on computer science benchmarking data-sets, we find that improvement is limited to a narrow range of label volumes, with performance falling off rapidly at low label volumes. Additionally, we show that SSL does not improve model calibration, regardless of whether classification is improved. Moreover, we find that when different underlying catalogues drawn from the same radio survey are used to provide the labelled and unlabelled data-sets required for SSL, a significant drop in classification performance is observered, highlighting the difficulty of applying SSL techniques under dataset shift. We show that a class-imbalanced unlabelled data pool negatively affects performance through prior probability shift, which we suggest may explain this performance drop, and that using the Frechet Distance between labelled and unlabelled data-sets as a measure of data-set shift can provide a prediction of model performance, but that for typical radio galaxy data-sets with labelled sample volumes of O(1000), the sample variance associated with this technique is high and the technique is in general not sufficiently robust to replace a train-test cycle.


title: An Efficient Domain-Incremental Learning Approach to Drive in All Weather Conditions

abstract: Although deep neural networks enable impressive visual perception performance for autonomous driving, their robustness to varying weather conditions still requires attention. When adapting these models for changed environments, such as different weather conditions, they are prone to forgetting previously learned information. This catastrophic forgetting is typically addressed via incremental learning approaches which usually re-train the model by either keeping a memory bank of training samples or keeping a copy of the entire model or model parameters for each scenario. While these approaches show impressive results, they can be prone to scalability issues and their applicability for autonomous driving in all weather conditions has not been shown. In this paper we propose DISC -- Domain Incremental through Statistical Correction -- a simple online zero-forgetting approach which can incrementally learn new tasks (i.e weather conditions) without requiring re-training or expensive memory banks. The only information we store for each task are the statistical parameters as we categorize each domain by the change in first and second order statistics. Thus, as each task arrives, we simply 'plug and play' the statistical vectors for the corresponding task into the model and it immediately starts to perform well on that task. We show the efficacy of our approach by testing it for object detection in a challenging domain-incremental autonomous driving scenario where we encounter different adverse weather conditions, such as heavy rain, fog, and snow.


title: Exact Diagonalisation of Photon Bose-Einstein Condensates with Thermo-Optic Interaction

abstract: Although photon Bose-Einstein condensates have already been used for studying many interesting effects, the precise role of the photon-photon interaction is not fully clarified up to now. In view of this, it is advantageous that these systems allow measuring both the intensity of the light leaking out of the cavity and its spectrum at the same time. Therefore, the photon-photon interaction strength can be determined once via analysing the condensate broadening and once via examining the interaction-induced modifications of the cavity modes. As the former method depends crucially on the concrete shape of the trapping potential and the spatial resolution of the used camera, interferometric methods promise more precise measurements. To this end, the present paper works out the impact of the photon-photon interaction upon the cavity modes. A quantum mechanical description of the photon-photon interaction, including the thermal cloud, builds the theoretical backbone of the method. An exact diagonalisation approach introduced here exposes how the effective photon-photon interaction modifies both the spectrum and the width of the photon gas. A comparison with a variational approach based on the Gross-Pitaevskii equation quantifies the contribution of the thermal cloud in the respective applications.


title: Counterexamples to the extendibility of positive unital norm-one maps

abstract: Arveson's extension theorem guarantees that every completely positive map defined on an operator system can be extended to a completely positive map defined on the whole C*-algebra containing it. An analogous statement where complete positivity is replaced by positivity is known to be false. A natural question is whether extendibility could still hold for positive maps satisfying stronger conditions, such as being unital and norm 1. Here we provide three counterexamples showing that positive norm-one unital maps defined on an operator subsystem of a matrix algebra cannot be extended to a positive map on the full matrix algebra. The first counterexample is an unextendible positive unital map with unit norm, the second counterexample is an unextendible positive unital isometry on a real operator space, and the third counterexample is an unextendible positive unital isometry on a complex operator space.


title: Retrieving Inverse Seesaw parameter space for Dirac Phase Leptogenesis

abstract: This work addresses the viability of \textit {Dirac phase leptogenesis}, in a scenario where the light Majorana neutrinos acquire masses by the inverse seesaw (ISS) mechanism. We show that, a successful leptogenesis in the ISS, driven (only) by the Dirac CP phase can be achieved with the involvement of an unorthodox form of the rotational matrix $R = e^{i{\bf A}} \,\,\,(e^{{\bf A}})$ in the Casas-Ibarra parametrisation. This particular structure of $R$ turns out to be an artefact in explaining the observed baryon asymmetry of the Universe in a pure ISS scenario. We detail here the confined regions of the $R$ matrix parameter space, essential for a successful leptogenesis. The $R$-matrix parameter space assists in rescuing the ISS parameter space needed for successful leptogenesis. This finding is otherwise unprecedented in the ISS set up. Making use of the resulted $R$ matrix parameter space we have calculated the branching ratio for the LFV decay $\mu \rightarrow e\gamma$. This accounts for an indirect probe of the $R$-matrix parameter space. The branching ratio obtained from the leptogenesis parameter space surpasses the existing bound on the branching ratio that resulted in a scenario of combined effect of linear and inverse seesaw. We also report here that, for $R = e^{i{\bf A}}$ choice leptogenesis demands the Dirac CP phase ($\delta$) to oscillate around $\pi/2$, although for the later choice the constraint on $\delta$ is much relaxed.


title: Conditions for local transformations between sets of quantum states

abstract: We study the problem of transforming a set of pure bipartite states into another using deterministic LOCC (local operations and classical communication). Necessary conditions for the existence of such a transformation are obtained using LOCC constraints on state transformation, entanglement, and distinguishability. These conditions are shown to be independent but not sufficient. We discuss their satisfiability and classify all possible input-output pairs of sets accordingly. We also prove that strict inclusions hold between LOCC, separable, and positive partial transpose operations for set transformation problems.


title: A Convolutional-Attentional Neural Framework for Structure-Aware Performance-Score Synchronization

abstract: Performance-score synchronization is an integral task in signal processing, which entails generating an accurate mapping between an audio recording of a performance and the corresponding musical score. Traditional synchronization methods compute alignment using knowledge-driven and stochastic approaches, and are typically unable to generalize well to different domains and modalities. We present a novel data-driven method for structure-aware performance-score synchronization. We propose a convolutional-attentional architecture trained with a custom loss based on time-series divergence. We conduct experiments for the audio-to-MIDI and audio-to-image alignment tasks pertained to different score modalities. We validate the effectiveness of our method via ablation studies and comparisons with state-of-the-art alignment approaches. We demonstrate that our approach outperforms previous synchronization methods for a variety of test settings across score modalities and acoustic conditions. Our method is also robust to structural differences between the performance and score sequences, which is a common limitation of standard alignment approaches.


title: Development of A Hermite Weighted Compact Nonlinear Scheme based on the Two-Stage Fourth-Order Temporal Accurate Framework

abstract: Improved five-point low dissipation nonlinear schemes are proposed in this paper within the framework of weighted compact nonlinear schemes (WCNSs) \cite{Deng2000}. Particularly we follow the work of Li and Du \cite{Li2016} on the two-stage fourth-order temporal accurate discretization scheme, which is developed based on the Lax-Wendroff method.


title: Semi-supervised 3D shape segmentation with multilevel consistency and part substitution

abstract: The lack of fine-grained 3D shape segmentation data is the main obstacle to developing learning-based 3D segmentation techniques. We propose an effective semi-supervised method for learning 3D segmentations from a few labeled 3D shapes and a large amount of unlabeled 3D data. For the unlabeled data, we present a novel multilevel consistency loss to enforce consistency of network predictions between perturbed copies of a 3D shape at multiple levels: point-level, part-level, and hierarchical level. For the labeled data, we develop a simple yet effective part substitution scheme to augment the labeled 3D shapes with more structural variations to enhance training. Our method has been extensively validated on the task of 3D object semantic segmentation on PartNet and ShapeNetPart, and indoor scene semantic segmentation on ScanNet. It exhibits superior performance to existing semi-supervised and unsupervised pre-training 3D approaches. Our code and trained models are publicly available at https://github.com/isunchy/semi_supervised_3d_segmentation.


title: Ariel stellar characterisation: I -- homogeneous stellar parameters of 187 FGK planet host stars Description and validation of the method

abstract: In 2020 the European Space Agency selected Ariel as the next mission to join the space fleet of observatories to study planets outside our Solar System. Ariel will be devoted to the characterisation of a thousand planetary atmospheres, for understanding what exoplanets are made of, how they formed and how they evolve. To achieve the last two goals all planets need to be studied within the context of their own host stars, which in turn have to be analysed with the same technique, in a uniform way. We present the spectro-photometric method we have developed to infer the atmospheric parameters of the known host stars in the Tier 1 of the Ariel Reference Sample. Our method is based on an iterative approach, which combines spectral analysis, the determination of the surface gravity from {\em Gaia} data, and the determination of stellar masses from isochrone fitting. We validated our approach with the analysis of a control sample, composed by members of three open clusters with well-known ages and metallicities. We measured effective temperature, Teff, surface gravity, logg, and the metallicity, [Fe/H], of 187 F-G-K stars within the Ariel Reference Sample. We presented the general properties of the sample, including their kinematics which allows us to separate them between thin and thick disc populations. A homogeneous determination of the parameters of the host stars is fundamental in the study of the stars themselves and their planetary systems. Our analysis systematically improves agreement with theoretical models and decreases uncertainties in the mass estimate (from 0.21+/-0.30 to 0.10+/-0.02 M_sun), providing useful data for the Ariel consortium and the astronomical community at large.


title: Architecture of planetary systems predicted from protoplanetary disks observed with ALMA II: evolution outcomes and dynamical stability

abstract: Recent ALMA observations on disk substructures suggest the presence of embedded protoplanets in a large number disks. The primordial configurations of these planetary systems can be deduced from the morphology of the disk substructure and serve as initial conditions for numerical investigation of their future evolution. Starting from the initial configurations of 12 multi-planetary systems deduced from ALMA disks, we carried out two-stage N-body simulation to investigate the evolution of the planetary systems at the disk stage as well as the long term orbital stability after the disk dispersal. At the disk stage, our simulation includes both the orbital migration and pebble/gas accretion effects. We found a variety of planetary systems are produced and can be categorised into distant giant planets, Jupiter-like planets, Neptune-like planets and distant small planets. We found the disk stage evolution as well as the final configurations are sensitive to both the initial mass assignments and viscosity. After the disk stage, we implement only mutual gravity between star and planets and introduce stochastic perturbative forces. All systems are integrated for up to 10 Gyr to test their orbital stability. Most planetary systems are found to be stable for at least 10 Gyr with perturbative force in a reasonable range. Our result implies that a strong perturbation source such as stellar flybys is required to drive the planetary system unstable. We discuss the implications of our results on both the disk and planet observation, which may be confirmed by the next generation telescopes such as JWST and ngVLA.


title: Drift-implicit Euler scheme for sandwiched processes driven by H\"older noises

abstract: In this paper, we analyze the drift-implicit (or backward) Euler numerical scheme for a class of stochastic differential equations with unbounded drift driven by an arbitrary $\lambda$-H\"older continuous process, $\lambda\in(0,1)$. We prove that, under some mild moment assumptions on the H\"older constant of the noise, the $L^r(\Omega;L^\infty([0,T]))$-rate of convergence is equal to $\lambda$. To exemplify, we consider numerical schemes for the generalized Cox--Ingersoll-Ross and Tsallis--Stariolo--Borland models. The results are illustrated by simulations.


title: Detect-and-describe: Joint learning framework for detection and description of objects

abstract: Traditional object detection answers two questions; "what" (what the object is?) and "where" (where the object is?). "what" part of the object detection can be fine-grained further i.e. "what type", "what shape" and "what material" etc. This results in the shifting of the object detection tasks to the object description paradigm. Describing an object provides additional detail that enables us to understand the characteristics and attributes of the object ("plastic boat" not just boat, "glass bottle" not just bottle). This additional information can implicitly be used to gain insight into unseen objects (e.g. unknown object is "metallic", "has wheels"), which is not possible in traditional object detection. In this paper, we present a new approach to simultaneously detect objects and infer their attributes, we call it Detect and Describe (DaD) framework. DaD is a deep learning-based approach that extends object detection to object attribute prediction as well. We train our model on aPascal train set and evaluate our approach on aPascal test set. We achieve 97.0% in Area Under the Receiver Operating Characteristic Curve (AUC) for object attributes prediction on aPascal test set. We also show qualitative results for object attribute prediction on unseen objects, which demonstrate the effectiveness of our approach for describing unknown objects.


title: A new method for directly computing reduced density matrices

abstract: We demonstrate the power of a first principle-based and practicable method that allows for the perturbative computation of reduced density matrix elements of an open quantum system without making use of any master equations. The approach is based on techniques from non-equilibrium quantum field theory like thermo field dynamics, the Schwinger-Keldsyh formalism, and the Feynman-Vernon influence functional. It does not require the Markov approximation and is essentially a Lehmann-Szymanzik-Zimmermann-like reduction. In order to illustrate this method, we consider a real scalar field as an open quantum system interacting with an environment comprising another real scalar field. We give a general formula that allows for the perturbative computation of density matrix elements for any number of particles in a momentum basis. Finally, we consider a simple toy model and use this formula to obtain expressions for some of the system's reduced density matrix elements.


title: Parity of conjugate self-dual representations of inner forms of $\mathrm{GL}_n$ over $p$-adic fields

abstract: We prove a general formula that relates the parity of the Langlands parameter of a conjugate self-dual discrete series representation of $\mathrm{GL}_n$ to the parity of its Jacquet-Langlands image. It gives a generalization of a partial result by Mieda concerning the case of invariant $1/n$ and supercuspidal representations. It also gives a variation of the result on the self-dual case by Prasad and Ramakrishnan.


title: Probing for the Usage of Grammatical Number

abstract: A central quest of probing is to uncover how pre-trained models encode a linguistic property within their representations. An encoding, however, might be spurious-i.e., the model might not rely on it when making predictions. In this paper, we try to find encodings that the model actually uses, introducing a usage-based probing setup. We first choose a behavioral task which cannot be solved without using the linguistic property. Then, we attempt to remove the property by intervening on the model's representations. We contend that, if an encoding is used by the model, its removal should harm the performance on the chosen behavioral task. As a case study, we focus on how BERT encodes grammatical number, and on how it uses this encoding to solve the number agreement task. Experimentally, we find that BERT relies on a linear encoding of grammatical number to produce the correct behavioral output. We also find that BERT uses a separate encoding of grammatical number for nouns and verbs. Finally, we identify in which layers information about grammatical number is transferred from a noun to its head verb.


title: Impact of Tokenization on Language Models: An Analysis for Turkish

abstract: Tokenization is an important text preprocessing step to prepare input tokens for deep language models. WordPiece and BPE are de facto methods employed by important models, such as BERT and GPT. However, the impact of tokenization can be different for morphologically rich languages, such as Turkic languages, where many words can be generated by adding prefixes and suffixes. We compare five tokenizers at different granularity levels, i.e. their outputs vary from smallest pieces of characters to the surface form of words, including a Morphological-level tokenizer. We train these tokenizers and pretrain medium-sized language models using RoBERTa pretraining procedure on the Turkish split of the OSCAR corpus. We then fine-tune our models on six downstream tasks. Our experiments, supported by statistical tests, reveal that Morphological-level tokenizer has challenging performance with de facto tokenizers. Furthermore, we find that increasing the vocabulary size improves the performance of Morphological and Word-level tokenizers more than that of de facto tokenizers. The ratio of the number of vocabulary parameters to the total number of model parameters can be empirically chosen as 20% for de facto tokenizers and 40% for other tokenizers to obtain a reasonable trade-off between model size and performance.


title: C(X) determines X -- an inherent theory

abstract: One of the fundamental problem in rings of continuous function is to extract those spaces for which C(X) determines X, that is to investigate X and Y such that C(X) isomorphic with C(Y ) implies X homeomorphic with Y . The development started back from Tychono? who first pointed out inevitability of Tychono? space in this category of problem. Later S.Banach and M. Stone proved independently with slight variance, that if X is compact Hausdor? space, C(X) also determine X. Their works were maximally extended by E. Hewitt by introducing realcompact spaces and later Melvin Henriksen and Biswajit Mitra solved the problem for locally compact and nearly realcompact spaces. In this paper we tried to develop an inherent theory of this problem to cover up all the works in the literature introducing a notion so called P-compact spaces.


title: FluTAS: A GPU-accelerated finite difference code for multiphase flows

abstract: We present the Fluid Transport Accelerated Solver, FluTAS, a scalable GPU code for multiphase flows with thermal effects. The code solves the incompressible Navier-Stokes equation for two-fluid systems, with a direct FFT-based Poisson solver for the pressure equation. The interface between the two fluids is represented with the Volume of Fluid (VoF) method, which is mass conserving and well suited for complex flows thanks to its capacity of handling topological changes. The energy equation is explicitly solved and coupled with the momentum equation through the Boussinesq approximation. The code is conceived in a modular fashion so that different numerical methods can be used independently, the existing routines can be modified, and new ones can be included in a straightforward and sustainable manner. FluTAS is written in modern Fortran and parallelized using hybrid MPI/OpenMP in the CPU-only version and accelerated with OpenACC directives in the GPU implementation. We present different benchmarks to validate the code, and two large-scale simulations of fundamental interest in turbulent multiphase flows: isothermal emulsions in HIT and two-layer Rayleigh-B\'enard convection. FluTAS is distributed through a MIT license and arises from a collaborative effort of several scientists, aiming to become a flexible tool to study complex multiphase flows.


title: Structural properties of local integrals of motion across the many-body localization transition via a fast and efficient method for their construction

abstract: Many-body localization (MBL) is a novel prototype of ergodicity breaking due to the emergence of local integrals of motion (LIOMs) in a disordered interacting quantum system. To better understand the role played by the existence of such macroscopically LIOMs, we explore and study some of their structural properties across the MBL transition. We first, consider a one-dimensional XXZ spin chain in a disordered magnetic field and introduce and implement a non-perturbative, fast, and accurate method of constructing LIOMs. In contrast to already existing methods, our scheme allows obtaining LIOMs not only in the deep MBL phase but rather, near the transition point too. Then, we take the matrix representation of LIOM operators as an adjacency matrix of a directed graph whose elements describe the connectivity of ordered eigenbasis in the Hilbert-space. Our cluster size analysis for this graph shows that the MBL transition coincides with a percolation transition in the Hilbert-space. By performing finite-size scaling, we compare the critical disorder and correlation exponent $\nu$ both in the presence and absence of interaction. Finally, we also discuss how the distribution of diagonal elements of LIOM operators in a typical cluster signals the transition.


title: System Analysis for Responsible Design of Modern AI/ML Systems

abstract: The irresponsible use of ML algorithms in practical settings has received a lot of deserved attention in the recent years. We posit that the traditional system analysis perspective is needed when designing and implementing ML algorithms and systems. Such perspective can provide a formal way for evaluating and enabling responsible ML practices. In this paper, we review components of the System Analysis methodology and highlight how they connect and enable responsible practices of ML design.


title: 4-Dimensional Symmetry Breaking of Light in Kerr Ring Resonators

abstract: Symmetry breaking of light states is of interest for the understanding of nonlinear optics, photonic circuits, telecom applications and optical pulse generation. Here we demonstrate 4-fold symmetry breaking of the resonances of ring resonators with Kerr nonlinearity. This symmetry breaking naturally occurs in a resonator with bidirectionally propagating light with orthogonal polarization components. The four circulating field components are shown to exhibit multiple and, nested and isolated, spontaneous symmetry breaking bifurcations, and are also capable of complex oscillatory dynamics - such as four-field self-switching, and unusual temporal cavity soliton-like dynamics on time scales of multiple round-trip times, with extended delays between subsequent generations.


title: Rumor Detection with Self-supervised Learning on Texts and Social Graph

abstract: Rumor detection has become an emerging and active research field in recent years. At the core is to model the rumor characteristics inherent in rich information, such as propagation patterns in social network and semantic patterns in post content, and differentiate them from the truth. However, existing works on rumor detection fall short in modeling heterogeneous information, either using one single information source only (e.g. social network, or post content) or ignoring the relations among multiple sources (e.g. fusing social and content features via simple concatenation). Therefore, they possibly have drawbacks in comprehensively understanding the rumors, and detecting them accurately. In this work, we explore contrastive self-supervised learning on heterogeneous information sources, so as to reveal their relations and characterize rumors better. Technically, we supplement the main supervised task of detection with an auxiliary self-supervised task, which enriches post representations via post self-discrimination. Specifically, given two heterogeneous views of a post (i.e. representations encoding social patterns and semantic patterns), the discrimination is done by maximizing the mutual information between different views of the same post compared to that of other posts. We devise cluster-wise and instance-wise approaches to generate the views and conduct the discrimination, considering different relations of information sources. We term this framework as Self-supervised Rumor Detection (SRD). Extensive experiments on three real-world datasets validate the effectiveness of SRD for automatic rumor detection on social media.


title: Unsupervised Learning of Efficient Geometry-Aware Neural Articulated Representations

abstract: We propose an unsupervised method for 3D geometry-aware representation learning of articulated objects, in which no image-pose pairs or foreground masks are used for training. Though photorealistic images of articulated objects can be rendered with explicit pose control through existing 3D neural representations, these methods require ground truth 3D pose and foreground masks for training, which are expensive to obtain. We obviate this need by learning the representations with GAN training. The generator is trained to produce realistic images of articulated objects from random poses and latent vectors by adversarial training. To avoid a high computational cost for GAN training, we propose an efficient neural representation for articulated objects based on tri-planes and then present a GAN-based framework for its unsupervised training. Experiments demonstrate the efficiency of our method and show that GAN-based training enables the learning of controllable 3D representations without paired supervision.


title: Spectroscopy of Light Baryons: $\Delta$ Resonances

abstract: The spectroscopy of light, strange baryons have been an important aspect with still unknown resonances and intrinsic baryonic properties. The present document is focused on the $\Delta$ baryons unlike earlier work, here all the four isospin states have been separately obtained treating u and d quarks with different constituent masses. The theoretical framework for calculating the resonance masses is hypercentral Constituent Quark Model (hCQM). The confining potential is taken as of linear form alongwith the addition of spin-dependent as well as first order correction term. The results obtained have been compared with many varied approaches as well as experimental available states. In addition to mass spectra, Regge trajectories for (n,$M^{2}$) and (J,$M^{2}$) have been plotted. The magnetic moment as well as transition magnetic moment have been calculated using effective quark mass. The radiative decay width has been studied for $\Delta^{+}$ and $\Delta^{0}$ channels.


title: Event Horizon of a Charged Black Hole Binary Merger

abstract: We analyse the formation and evolution of the event horizon of a black hole binary merger when the black holes are charged. We find that the presence of charge influences the properties of the merger and can be useful for investigating the validity of various theories of modified gravity and several proposals for dark matter candidates. It can moreover give insights into various aspects of astrophysical phenomena involving black holes, such as degeneracies in the gravitational wave parameter determination. We perform our analysis both analytically and numerically, in $D=4$ dimensions, in the Extreme Mass Ratio (EMR) limit and compare the results. The development of analytical results in the EMR limit is of uttermost importance in view of the upcoming observations of the LISA interferometer. We then use our analysis to describe how the horizon evolves in time during the merger and to investigate the growth in the area of the event horizon and the duration of the merger. We moreover provide a numerical solution valid in arbitrary dimensions $D \geq 4$ which could be of interest in the context of the AdS/CFT correspondence or for examining possible extensions of general relativity.


title: Characterizing the Advective Hot Flows of Nova-Like Cataclysmic Variables in the X-rays: The case of BZ Cam and V592 Cas

abstract: We present a joint spectral analysis of ROSAT PSPC, Swift XRT, and NuSTAR FPMA/B data of the nova-like (NL) cataclysmic variables (CVs), BZ Cam and V592 Cas in the 0.1-78.0 keV band. Plasma models of collisional equilibrium fail to model the 6.0-7.0 iron line complex and continuum with $\chi^2_\nu$ larger than 2.0. Our results show nonequilibrium ionization (NEI) conditions in the X-ray plasma with temperatures of 8.2-9.4 keV and 10.0-12.9 keV for BZ Cam and V592 Cas, respectively. The centroids of He-like and H-like iron ionization lines are not at their equilibrium values as expected from NEI conditions. We find power law spectral components that reveal the existence of scattering and Comptonization with a photon index of 1.50-1.87. We detect a P Cygni profile in the H-like iron line of BZ Cam translating to outflows of 4500-8700 km s$^{-1}$ consistent with the fast winds in the optical and UV. This is the first time such a fast collimated outflow is detected in the X-rays from an accreting CV. An Iron K$\alpha$ line around 6.2-6.5 keV is found revealing the existence of reflection effects in both sources. We study the broadband noise and find that the optically thick disk truncates in BZ Cam and V592 Cas consistent with transition to an advective hot flow structure. V592 Cas also exhibits a quasi-periodic oscillation at 1.4$^{+2.6}_{-0.3}$ mHz. In general, we find that the two NLs portray spectral and noise characteristics as expected from advective hot accretion flows at low radiative efficiency.


title: Robust electronic and tunable magnetic states in Sm$ _{2} $NiMnO$ _{6} $ ferromagnetic insulator

abstract: Ferromagnetic insulators (FM-Is) are the materials of interest for new generation quantum electronic applications. Here, we have investigated the physical observables depicting FM-I ground states in epitaxial Sm$ _{2} $NiMnO$ _{6} $ (SNMO) double perovskite thin films fabricated under different conditions to realize different level of Ni/Mn anti-site disorders (ASDs). The presence of ASDs immensely influence the characteristic magnetic and anisotropy behaviors in SNMO system by introducing short scale antiferromagnetic interactions in predominant long range FM ordered host matrix. Charge disproportion between cation sites in form of $ Ni^{2+}+Mn^{4+} \longrightarrow Ni^{3+}+Mn^{3+} $, causes mixed valency in both Ni and Mn species, which is found insensitive to ASD concentrations. Temperature dependent photo emission, photo absorption measurements duly combined with cluster model configuration interaction simulations, suggest that the eigenstates of Ni and Mn cations can be satisfactorily described as a linear combination of the unscreened $ d^{n} $ and screened $ d^{n+1} \underline{L} $ ($ \underline{L} $: O 2\textit{p} hole) states. The electronic structure across the Fermi level (E$ _{F} $) exhibits closely spaced Ni $ 3d $, Mn $ 3d $ and O $ 2p $ states. From occupied and unoccupied bands, estimated values of the Coulomb repulsion energy ($ U $) and ligand to metal charge transfer energy ($ \Delta $), indicate charge transfer insulating nature, where remarkable modification in Ni/Mn $ 3d $ - O $ 2p $ hybridization takes place across the FM transition temperature. Existence of ASD broadens the Ni, Mn $ 3d $ spectral features, whereas spectral positions are found to be unaltered. Hereby, present work demonstrates SNMO thin film as a FM-I system, where FM state can be tuned by manipulating ASD in the crystal structure, while I state remains intact.


title: The charm-quark contribution to light-by-light scattering in the muon $(g-2)$ from lattice QCD

abstract: We compute the hadronic light-by-light scattering contribution to the muon $g-2$ from the charm quark using lattice QCD. The calculation is performed on ensembles generated with dynamical $(u,d,s)$ quarks at the SU(3)$_{\rm f}$ symmetric point with degenerate pion and kaon masses of around 415 MeV. It includes the connected charm contribution, as well as the leading disconnected Wick contraction, involving the correlation between a charm and a light-quark loop. Cutoff effects turn out to be sizeable, which leads us to use lighter-than-physical charm masses, to employ a broad range of lattice spacings reaching down to 0.039 fm and to perform a combined charm-mass and continuum extrapolation. We use the $\eta_c$ meson to define the physical charm-mass point and obtain a final value of $a_\mu^{\rm HLbL,c} = (2.8\pm 0.5) \times 10^{-11}$, whose uncertainty is dominated by the systematics of the extrapolation. Our result is consistent with the estimate based on a simple charm-quark loop, whilst being free of any perturbative scheme dependence on the charm mass. The mixed charm-light disconnected contraction contributes a small negative amount to the final value.


title: A Quantum Bayes' Rule and Related Inference

abstract: In this work a quantum analogue of Bayesian inference is considered. Based on the notion of instrument, we propose a quantum analogue of Bayes' rule, which elaborates how a prior normal state updates under observations. Besides, we investigate the limit of posterior normal state as the number of observations goes to infinity. After that, we generalize the fundamental notions and results of Bayesian inference according to quantum Bayes' rule. It is noted that our theory not only retains the classical one as a special case but possesses many new features as well.


title: Differentiating Network Flows for Priority-Aware Scheduling of Incoming Packets in Real-Time IoT Systems

abstract: When IP-packet processing is unconditionally carried out on behalf of an operating system kernel thread, processing systems can experience overload in high incoming traffic scenarios. This is especially worrying for embedded real-time devices controlling their physical environment in industrial IoT scenarios and automotive systems. We propose an embedded real-time aware IP stack adaption with an early demultiplexing scheme for incoming packets and subsequent per-flow aperiodic scheduling. By instrumenting existing embedded IP stacks, rigid prioritization with minimal latency is deployed without the need of further task resources. Simple mitigation techniques can be applied to individual flows, causing hardly measurable overhead while at the same time protecting the system from overload conditions. Our IP stack adaption is able to reduce the low-priority packet processing time by over 86% compared to an unmodified stack. The network subsystem can thereby remain active at a 7x higher general traffic load before disabling the receive IRQ as a last resort to assure deadlines.


title: Compressed Empirical Measures (in finite dimensions)

abstract: We study approaches for compressing the empirical measure in the context of finite dimensional reproducing kernel Hilbert spaces (RKHSs).In this context, the empirical measure is contained within a natural convex set and can be approximated using convex optimization methods.Such an approximation gives under certain conditions rise to a coreset of data points. A key quantity that controls how large such a coreset has to be is the size of the largest ball around the empirical measure that is contained within the empirical convex set. The bulk of our work is concerned with deriving high probability lower bounds on the size of such a ball under various conditions. We complement this derivation of the lower bound by developing techniques that allow us to apply the compression approach to concrete inference problems such as kernel ridge regression. We conclude with a construction of an infinite dimensional RKHS for which the compression is poor, highlighting some of the difficulties one faces when trying to move to infinite dimensional RKHSs.


title: I still have Time(s): Extending HeidelTime for German Texts

abstract: HeidelTime is one of the most widespread and successful tools for detecting temporal expressions in texts. Since HeidelTime's pattern matching system is based on regular expression, it can be extended in a convenient way. We present such an extension for the German resources of HeidelTime: HeidelTime-EXT . The extension has been brought about by means of observing false negatives within real world texts and various time banks. The gain in coverage is 2.7% or 8.5%, depending on the admitted degree of potential overgeneralization. We describe the development of HeidelTime-EXT, its evaluation on text samples from various genres, and share some linguistic observations. HeidelTime ext can be obtained from https://github.com/texttechnologylab/heideltime.


title: Effects of spatial resolution on inferences of atmospheric quantities from simulations

abstract: Small scale processes are thought to be important for the dynamics of the solar atmosphere. While numerical resolution fundamentally limits their inclusion in MHD simulations, real observations at the same nominal resolution should still contain imprints of sub-resolution effects. This means that the synthetic observables from a simulation of given resolution might not be directly comparable to real observables at the same resolution. It is thus of interest to investigate how inferences based on synthetic spectra from simulations with different numerical resolutions compare, and whether these differences persist after the spectra have been spatially degraded to a common resolution. We aim to compare synthetic spectra obtained from realistic 3D radiative magnetohydrodynamic (rMHD) simulations run at three different numerical resolutions from the same initial atmosphere, using very simple methods for inferring line-of-sight velocities and magnetic fields. Additionally we examine how the differing spatial resolution impacts the results retrieved from the STiC inversion code. We find that while the simple inferences for all three simulations reveal the same large-scale tendencies, the higher resolutions yield more fine-grained structures and more extreme line-of-sight velocities/magnetic fields in concentrated spots even after spatial smearing. We also see indications that the imprints of sub-resolution effects on the degraded spectra result in systematic errors in the inversions, and that these errors increase with the amount of sub-resolution effects included. Fortunately, however, we find that including successively more sub-resolution yields smaller additional effects; i.e. there is a clear trend of diminishing importance for progressively finer sub-resolution effects.


title: Veronese subalgebras and Veronese morphisms for a class of Yang-Baxter algebras

abstract: We study $d$-Veronese subalgebras $A^{(d)}$ of Yang-Baxter algebras $A_X= A(K, X, r)$ related to finite nondegenerate involutive set-theoretic solutions $(X, r)$ of the Yang-Baxter equation, where $K$ is a field and $d\geq 2$ is an integer. We find an explicit presentation of the $d$-Veronese $A^{(d)}$ in terms of one-generators and quadratic relations. We introduce the notion of a $d$-Veronese solution $(Y, r_Y)$, canonically associated to $(X,r)$ and use its Yang-Baxter algebra $A_Y= A(K, Y, r_Y)$ to define a Veronese morphism $v_{n,d}:A_Y \rightarrow A_X $. We prove that the image of $v_{n,d}$ is the $d$-Veronese subalgebra $A^{(d)}$, and find explicitly a minimal set of generators for its kernel. The results agree with their classical analogues in the commutative case. We show that the Yang-Baxter algebra $A(K, X, r)$ is a PBW algebra if and only if $(X,r)$ is a square-free solution. In this case the $d$-Veronese $A^{(d)}$ is also a PBW algebra.


title: X-raying the Birth of Binary Neutron Stars and Neutron Star-Black Hole Binaries

abstract: We consider fallback accretion after an ultra-stripped supernova (USSN) that accompanies formation of a binary neutron star (BNS) or a neutron star-black hole binary (NS-BH). The fallback matter initially accretes directly to the nascent NS, while it starts to accrete to the circumbinary disk, typically $0.1\mbox{-}1\, \mathrm{day}$ after the onset of the USSN explosion. The circumbinary disk mass further accretes, forming mini disks around each compact object, with a super-Eddington rate up to a few years. We show that such a system constitutes a binary ultraluminous X-ray source (ULX), and a fraction of the X rays can emerge through the USSN ejecta. We encourage follow-up observations of USSNe within $\lesssim 100\,\rm Mpc$ and $\sim 100\mbox{-}1,000\,\mathrm{day}$ after the explosion using Chandra, XMM Newton and NuSTAR, which could detect the X-ray counterpart with time variations representing the properties of the nascent compact binary, e.g., the orbital motion of the binary, the spin of the NS, and/or the quasiperiodic oscillation of the mini disks.


title: Evolution of the $\gamma$-ray strength function in neodymium isotopes

abstract: The experimental gamma-ray strength functions (gamma-SFs) of 142,144-151Nd have been studied for gamma-ray energies up to the neutron separation energy. The results represent a unique set of gamma-SFs for an isotopic chain with increasing nuclear deformation. The data reveal how the low-energy enhancement, the scissors mode and the pygmy dipole resonance evolve with nuclear deformation and mass number. The data indicate that the mechanisms behind the low-energy enhancement and the scissors mode are decoupled from each other.


title: Core Box Image Recognition and its Improvement with a New Augmentation Technique

abstract: Most methods for automated full-bore rock core image analysis (description, colour, properties distribution, etc.) are based on separate core column analyses. The core is usually imaged in a box because of the significant amount of time taken to get an image for each core column. The work presents an innovative method and algorithm for core columns extraction from core boxes. The conditions for core boxes imaging may differ tremendously. Such differences are disastrous for machine learning algorithms which need a large dataset describing all possible data variations. Still, such images have some standard features - a box and core. Thus, we can emulate different environments with a unique augmentation described in this work. It is called template-like augmentation (TLA). The method is described and tested on various environments, and results are compared on an algorithm trained on both 'traditional' data and a mix of traditional and TLA data. The algorithm trained with TLA data provides better metrics and can detect core on most new images, unlike the algorithm trained on data without TLA. The algorithm for core column extraction implemented in an automated core description system speeds up the core box processing by a factor of 20.


title: Conjectures on reductive homogeneous spaces

abstract: We address some conjectures and open problems in "analysis of symmetries" which include the study of non-commutative harmonic analysis and discontinuous groups for reductive homogeneous spaces beyond the classical framework: (1) discrete series for non-symmetric homogeneous spaces $G/H$; (2) discontinuous group $\Gamma$ for $G/H$ beyond the Riemannian setting; (3) analysis on pseudo-Riemannian locally homogeneous spaces.


title: Molecular rotors to probe the local viscosity of a polymer glass

abstract: We investigate the local viscosity of a polymer glass around its glass transition temperature using environment-sensitive fluorescent molecular rotors embedded in the polymer matrix. The rotors' fluorescence depends on the local viscosity, and measuring the fluorescence intensity and lifetime of the probe therefore allows to measure the local free volume in the polymer glass when going through the glass transition. This also allows us to study the local viscosity and free volume when the polymer film is put under an external stress. We find that the film does not flow homogeneously, but undergoes shear banding that is visible as a spatially varying free volume and viscosity.


title: Bulk and surface electronic structure of Bi$_4$Te$_3$ from $GW$ calculations and photoemission experiments

abstract: We present a combined theoretical and experimental study of the electronic structure of stoichiometric Bi$_4$Te$_3$, a natural superlattice of alternating Bi$_2$Te$_3$ quintuple layers and Bi bilayers. In contrast to the related semiconducting compounds Bi$_2$Te$_3$ and Bi$_1$Te$_1$, density functional theory predicts Bi$_4$Te$_3$ to be a semimetal. In this work, we compute the quasiparticle electronic structure of Bi$_4$Te$_3$ in the framework of the $GW$ approximation within many-body perturbation theory. The quasiparticle corrections are found to modify the dispersion of the valence and conduction bands in the vicinity of the Fermi energy, leading to the opening of a small indirect band gap. Based on the analysis of the eigenstates, Bi$_4$Te$_3$ is classified as a dual topological insulator with bulk topological invariants $\mathbb{Z}_2$ (1;111) and magnetic mirror Chern number $n_M=1$. The bulk $GW$ results are used to build a Wannier-functions based tight-binding Hamiltonian that is further applied to study the electronic properties of the (111) surface. The comparison with our angle-resolved photoemission measurements shows excellent agreement between the computed and measured surface states and indicates the dual topological nature of Bi$_4$Te$_3$.


title: $J/\psi$ near threshold in holographic QCD: A and D gravitational form factors

abstract: The diffractive photoproduction of $J/\Psi$ on a nucleon, is mostly due to gluonic exchanges at all $\sqrt{s}$. In holographic QCD (large number of colors and strong $^\prime$t Hooft coupling), these exchanges are captured by gravitons near threshold, and their Reggeized Pomeron form asymptotically. We revisit our holographic analysis of the A and D gravitational form factors in light of the new lattice data, and use them to refine our predictions for the photoproduction of $J/\Psi$ near threshold, and the comparison to the GlueX data. We use these results to estimate the scalar and mass radii of the nucleon, and describe the gravitational pressure and shear across a nucleon.


title: An Investigation of Monotonic Transducers for Large-Scale Automatic Speech Recognition

abstract: The two most popular loss functions for streaming end-to-end automatic speech recognition (ASR) are RNN-Transducer (RNN-T) and connectionist temporal classification (CTC). Between these two loss types we can classify the monotonic RNN-T (MonoRNN-T) and the recently proposed CTC-like Transducer (CTC-T). Monotonic transducers have a few advantages. First, RNN-T can suffer from runaway hallucination, where a model keeps emitting non-blank symbols without advancing in time. Secondly, monotonic transducers consume exactly one model score per time step and are therefore more compatible with traditional FST-based ASR decoders. However, the MonoRNN-T so far has been found to have worse accuracy than RNN-T. It does not have to be that way: By regularizing the training via joint LAS training or parameter initialization from RNN-T, both MonoRNN-T and CTC-T perform as well or better than RNN-T. This is demonstrated for LibriSpeech and for a large-scale in-house data set.


title: On the Influence of Explainable AI on Automation Bias

abstract: Artificial intelligence (AI) is gaining momentum, and its importance for the future of work in many areas, such as medicine and banking, is continuously rising. However, insights on the effective collaboration of humans and AI are still rare. Typically, AI supports humans in decision-making by addressing human limitations. However, it may also evoke human bias, especially in the form of automation bias as an over-reliance on AI advice. We aim to shed light on the potential to influence automation bias by explainable AI (XAI). In this pre-test, we derive a research model and describe our study design. Subsequentially, we conduct an online experiment with regard to hotel review classifications and discuss first results. We expect our research to contribute to the design and development of safe hybrid intelligence systems.


title: Efficient Monte Carlo Method for Integral Fractional Laplacian in Multiple Dimensions

abstract: In this paper, we develop a Monte Carlo method for solving PDEs involving an integral fractional Laplacian (IFL) in multiple dimensions. We first construct a new Feynman-Kac representation based on the Green function for the fractional Laplacian operator on the unit ball in arbitrary dimensions. Inspired by the "walk-on-spheres" algorithm proposed in [24], we extend our algorithm for solving fractional PDEs in the complex domain. Then, we can compute the expectation of a multi-dimensional random variable with a known density function to obtain the numerical solution efficiently. The proposed algorithm finds it remarkably efficient in solving fractional PDEs: it only needs to evaluate the integrals of expectation form over a series of inside ball tangent boundaries with the known Green function. Moreover, we carry out the error estimates of the proposed method for the $n$-dimensional unit ball. Finally, ample numerical results are presented to demonstrate the robustness and effectiveness of this approach for fractional PDEs in unit disk and complex domains, and even in ten-dimensional unit balls.


title: The MAVERIC survey: A catalogue of radio sources in southern globular clusters from the Australia Telescope Compact Array

abstract: Radio continuum observations offer a new window on compact objects in globular clusters compared to typical X-ray or optical studies. As part of the MAVERIC survey, we have used the Australia Telescope Compact Array to carry out a deep (median central noise level of approximately 4 microJy per beam) radio continuum survey of 26 southern globular clusters at central frequencies of 5.5 and 9.0 GHz. This paper presents a catalogue of 1285 radio continuum sources in the fields of these 26 clusters. Considering the surface density of background sources, we find significant evidence for a population of radio sources in seven of the 26 clusters, and also identify at least 11 previously known compact objects (6 pulsars and 5 X-ray binaries). While the overall density of radio continuum sources with 7.25-GHz flux densities greater than about 20 microJy in typical globular clusters is relatively low, the survey has already led to the discovery of several exciting compact binaries, including a candidate ultracompact black hole X-ray binary in 47 Tuc. Many of the unclassified radio sources near the centres of the clusters are likely to be true cluster sources, and multi-wavelength follow-up will be necessary to classify these objects and better understand the demographics of accreting compact binaries in globular clusters.


title: The MAVERIC Survey: Radio catalogs and source counts from deep Very Large Array imaging of 25 Galactic globular clusters

abstract: The MAVERIC survey is the first deep radio continuum imaging survey of Milky Way globular clusters, with a central goal of finding and classifying accreting compact binaries, including stellar-mass black holes. Here we present radio source catalogs for 25 clusters with ultra-deep Karl G. Jansky Very Large Array observations. The median observing time was 10 hr per cluster, resulting in typical rms sensitivities of 2.3 and 2.1 uJy per beam at central frequencies of 5.0 and 7.2 GHz, respectively. We detect nearly 1300 sources in our survey at 5 sigma, and while many of these are likely to be background sources, we also find strong evidence for an excess of radio sources in some clusters. The radio spectral index distribution of sources in the cluster cores differs from the background, and shows a bimodal distribution. We tentatively classify the steep-spectrum sources (those much brighter at 5.0 GHz) as millisecond pulsars and the flat-spectrum sources as compact or other kinds of binaries. These provisional classifications will be solidified with the future addition of X-ray and optical data. The outer regions of our images represent a deep, relatively wide field (~ 0.4/sq. deg) and high resolution C band background survey, and we present source counts calculated for this area. We also release radio continuum images for these 25 clusters to the community.


title: Perpendicular and Parallel Phase Separation in Two Species Driven Diffusive Lattice Gases

abstract: We study three different lattice models in which two species of diffusing particles are driven in opposite directions by an electric field. We focus on dynamical phase transitions that involve phase separation into domains that may be parallel or perpendicular to a driving field. In all cases, the perpendicular state appears for weak driving, consistent with previous work. For strong driving, we introduce two models that support the parallel state. In one model, this state occurs because of the inclusion of dynamical rules that enhance lateral diffusion during collisions; in the other, it is a result of a nearest-neighbour attractive/repulsive interaction between particles of the same/opposite species. We discuss the connections between these results and the behaviour found in off-lattice systems, including laning and freezing by heating.


title: Notes on cylinders in smooth projective surfaces

abstract: In this article, we determine the existing condition of cylinders in smooth minimal geometrically rational surfaces over a perfect field. Furthermore, we show that for any birational map between smooth projective surfaces, one contains a cylinder if and only if so does the other.


title: Revisiting the evidences for spectral anomalies in distant blazars: new data on the photon-ALP mixing

abstract: We re-examine possible dependencies on redshift of the spectral parameters of blazars observed at very-high energies (VHEs) with Imaging Atmospheric Cherenkov telescopes (IACTs). This is relevant to assess potential effects with the source distance of the photon to axion-like particle (ALP) mixing, that would deeply affect the propagation of VHE photons across the Universe. We focus our spectral analysis on 38 BL Lac objects (32 high-peaked and 6 intermediate-peaked) up to redshift $z\simeq 0.5$, and a small sample of 5 Flat Spectrum Radio Quasars up to $z=1$ treated independently to increase the redshift baseline. The 78 independent spectra of these sources are first of all carefully corrected for the gamma-gamma interaction with photons of the Extragalactic Background Light, that are responsible for the major redshift-dependent opacity effect. Then, the corrected spectra are fitted with simple power-laws to infer the intrinsic spectral indices $\Gamma_{\rm em}$ at VHE, to test the assumption that such spectral properties are set by the local rather than the global cosmological environment. We find some systematic anti-correlations with redshift of $\Gamma_{\rm em}$ that might indicate, although with low-significance, a spectral anomaly potentially requiring a revision of the photon propagation process. More conclusive tests with higher statistical significance will require the observational improvements offered by the forthcoming new generation of Cherenkov arrays (CTA, ASTRI, LHAASO).


title: Geometry-dependent skin effects in reciprocal photonic crystals

abstract: Skin effect that all eigenmodes within a frequency range become edge states is dictated by the topological properties of complex eigenvalues unique in non-Hermitian systems. The prevailing attempts to realize such a fascinating effect are confined to either one-dimensional or nonreciprocal systems exhibiting asymmetric couplings. Here, inspired by a recent model Hamiltonian theory, we propose a realistic reciprocal two-dimensional (2D) photonic crystal (PhC) system that shows the desired skin effect. Specifically, we establish a routine for designing such non-Hermitian systems via revealing the inherent connections between the non-trivial eigenvalue topology of order-2 exceptional points (EPs) and the skin effects. Guided by the proposed strategy, we successfully design a 2D PhC that possesses the EPs with nonzero eigenvalue winding numbers. The spectral area along a specific wavevector direction is then formed by leveraging the symmetry of the macroscopic geometry and the unit cell. The projected-band-structure calculations are performed to demonstrate that the desired skin effect exists at the specific crystalline interfaces. We finally employ time-domain simulations to vividly illustrate this phenomenon by exciting a pulse at the center of a finite-sized PhC. Our results form a solid basis for further experimental confirmations and applications of the skin effect.


title: The homotopy types of $Sp(n)$-gauge groups over $S^{4m}$

abstract: Let $m$ and $n$ be two positive integers such that $m < n$. Denote by $P_{n,k}$ the principal $Sp(n)$-bundle over $S^{4m}$ and $\mathcal{G}_{k,m}(Sp(n))$ be the gauge group of $P_{n,k}$ classified by $k\varepsilon'$, where $\varepsilon'$ is a generator of $\pi_{4m}(B(Sp(n)))\cong\mathbb{Z}$. In this article, we will partially classify the homotopy types of $\mathcal{G}_{k,m}(Sp(n))$ by giving a lower bound for the number of homotopy types of $\mathcal{G}_{k,m}(Sp(n))$. Also, in special cases $Sp(3)$-gauge groups over $S^8$ and $Sp(4)$-gauge groups over $S^{12}$ we give an upper bound for the number of homotopy types of these gauge groups.


title: The density conjecture for principal congruence subgroups

abstract: We prove Sarnak's density conjecture for the principal congruence subgroup of SL_n(Z) of squarefree level and discuss various arithmetic applications. The ingredients include new bounds for local Whittaker functions and Kloosterman sums.