title: A grounded theory of Community Package Maintenance Organizations-Registered Report

abstract: a) Context: In many programming language ecosystems, developers rely more and more on external open source dependencies, made available through package managers. Key ecosystem packages that go unmaintained create a health risk for the projects that depend on them and for the ecosystem as a whole. Therefore, community initiatives can emerge to alleviate the problem by adopting packages in need of maintenance. b) Objective: The goal of our study is to explore such community initiatives, that we will designate from now on as Community Package Maintenance Organizations (CPMOs) and to build a theory of how and why they emerge, how they function and their impact on the surrounding ecosystems. c) Method: To achieve this, we plan on using a qualitative methodology called Grounded Theory. We have begun applying this methodology, by relying on "extant" documents originating from several CPMOs. We present our preliminary results and the research questions that have emerged. We plan to answer these questions by collecting appropriate data (theoretical sampling), in particular by contacting CPMO participants and questioning them by e-mails, questionnaires or semi-structured interviews. d) Impact: Our theory should inform developers willing to launch a CPMO in their own ecosystem and help current CPMO participants to better understand the state of the practice and what they could do better.


title: On the automorphism group of certain Short $\mathbb C^2$'s

abstract: For a H\'enon map of the form $H(x, y) = (y, p(y) - ax)$, where $p$ is a polynomial of degree at least two and $a \not= 0$, it is known that the sub-level sets of the Green's function $G^+_H$ associated with $H$ are Short $\mathbb C^2$'s. For a given $c > 0$, we study the holomorphic automorphism group of such a Short $\mathbb C^2$, namely $\Omega_c = \{ G^+_H < c \}$. The unbounded domain $\Omega_c \subset \mathbb C^2$ is known to have smooth real analytic Levi-flat boundary. Despite the fact that $\Omega_c$ admits an exhaustion by biholomorphic images of the unit ball, it turns out that its automorphism group, Aut$(\Omega_c)$ cannot be too large. On the other hand, examples are provided to show that these automorphism groups are non-trivial in general. We also obtain necessary and sufficient conditions for such a pair of Short $\mathbb C^2$'s to be biholomorphic.


title: Unfolding globally resonant homoclinic tangencies

abstract: Global resonance is a mechanism by which a homoclinic tangency of a smooth map can have infinitely many asymptotically stable, single-round periodic solutions. To understand the bifurcation structure one would expect to see near such a tangency, in this paper we study one-parameter perturbations of typical globally resonant homoclinic tangencies. We assume the tangencies are formed by the stable and unstable manifolds of saddle fixed points of two-dimensional maps. We show the perturbations display two infinite sequences of bifurcations, one saddle-node the other period-doubling, between which single-round periodic solutions are asymptotically stable. Generically these scale like $|\lambda|^{2 k}$, as $k \to \infty$, where $-1 < \lambda < 1$ is the stable eigenvalue associated with the fixed point. If the perturbation is taken tangent to the surface of codimension-one homoclinic tangencies, they instead scale like $\frac{|\lambda|^k}{k}$. We also show slower scaling laws are possible if the perturbation admits further degeneracies.


title: Efficient split-step schemes for fluid-structure interaction involving incompressible generalised Newtonian flows

abstract: Blood flow, dam or ship construction and numerous other problems in biomedical and general engineering involve incompressible flows interacting with elastic structures. Such interactions heavily influence the deformation and stress states which, in turn, affect the engineering design process. Therefore, any reliable model of such physical processes must consider the coupling of fluids and solids. However, complexity increases for non-Newtonian fluid models, as used, e.g., for blood or polymer flows. In these fluids, subtle differences in the local shear rate can have a drastic impact on the flow and hence on the coupled problem. There, existing (semi-)implicit solution strategies based on split-step or projection schemes for Newtonian fluids are not applicable, while extensions to non-Newtonian fluids can lead to substantial numerical overhead depending on the chosen fluid solver. To address these shortcomings, we present here a higher-order accurate, added-mass-stable fluid-structure interaction scheme centered around a split-step fluid solver. We compare several implicit and semi-implicit variants of the algorithm and verify convergence in space and time. Numerical examples show good performance in both benchmarks and an idealised setting of blood flow through an abdominal aortic aneurysm considering physiological parameters.

categories: cs.CE math.DS physics.comp-ph physics.flu-dyn


title: Instance Segmentation in 3D Scenes using Semantic Superpoint Tree Networks

abstract: Instance segmentation in 3D scenes is fundamental in many applications of scene understanding. It is yet challenging due to the compound factors of data irregularity and uncertainty in the numbers of instances. State-of-the-art methods largely rely on a general pipeline that first learns point-wise features discriminative at semantic and instance levels, followed by a separate step of point grouping for proposing object instances. While promising, they have the shortcomings that (1) the second step is not supervised by the main objective of instance segmentation, and (2) their point-wise feature learning and grouping are less effective to deal with data irregularities, possibly resulting in fragmented segmentations. To address these issues, we propose in this work an end-to-end solution of Semantic Superpoint Tree Network (SSTNet) for proposing object instances from scene points. Key in SSTNet is an intermediate, semantic superpoint tree (SST), which is constructed based on the learned semantic features of superpoints, and which will be traversed and split at intermediate tree nodes for proposals of object instances. We also design in SSTNet a refinement module, termed CliqueNet, to prune superpoints that may be wrongly grouped into instance proposals. Experiments on the benchmarks of ScanNet and S3DIS show the efficacy of our proposed method. At the time of submission, SSTNet ranks top on the ScanNet (V2) leaderboard, with 2% higher of mAP than the second best method. The source code in PyTorch is available at https://github.com/Gorilla-Lab-SCUT/SSTNet.


title: Spin-charge interconversion in KTaO$_3$ two-dimensional electron gases

abstract: Oxide interfaces exhibit a broad range of physical effects stemming from broken inversion symmetry. In particular, they can display non-reciprocal phenomena when time reversal symmetry is also broken, e.g., by the application of a magnetic field. Examples include the direct and inverse Edelstein effects (DEE, IEE) that allow the interconversion between spin currents and charge currents. The DEE and IEE have been investigated in interfaces based on the perovskite SrTiO$_3$ (STO), albeit in separate studies focusing on one or the other. The demonstration of these effects remains mostly elusive in other oxide interface systems despite their blossoming in the last decade. Here, we report the observation of both the DEE and IEE in a new interfacial two-dimensional electron gas (2DEG) based on the perovskite oxide KTaO$_3$. We generate 2DEGs by the simple deposition of Al metal onto KTaO$_3$ single crystals, characterize them by angle-resolved photoemission spectroscopy and magnetotransport, and demonstrate the DEE through unidirectional magnetoresistance and the IEE by spin-pumping experiments. We compare the spin-charge interconversion efficiency with that of STO-based interfaces, relate it to the 2DEG electronic structure, and give perspectives for the implementation of KTaO$_3$ 2DEGs into spin-orbitronic devices.


title: Technical report: Impact of evaluation metrics and sampling on the comparison of machine learning methods for biodiversity indicators prediction

abstract: Machine learning (ML) approaches are used more and more widely in biodiversity monitoring. In particular, an important application is the problem of predicting biodiversity indicators such as species abundance, species occurrence or species richness, based on predictor sets containing, e.g., climatic and anthropogenic factors. Considering the impressive number of different ML methods available in the litterature and the pace at which they are being published, it is crucial to develop uniform evaluation procedures, to allow the production of sound and fair empirical studies. However, defining fair evaluation procedures is challenging: because well-documented, intrinsic properties of biodiversity indicators such as their zero-inflation and over-dispersion, it is not trivial to design good sampling schemes for cross-validation nor good evaluation metrics. Indeed, the classical Mean Squared Error (MSE) fails to capture subtle differences in the performance of different methods, particularly in terms of prediction of very small, or very large values (e.g., zero counts or large counts). In this report, we illustrate this phenomenon by comparing ten statistical and machine learning models on the task of predicting waterbirds abundance in the North-African area, based on geographical, meteorological and spatio-temporal factors. Our results highlight that differnte off-the-shelf evaluation metrics and cross-validation sampling approaches yield drastically different rankings of the metrics, and fail to capture interpretable conclusions.


title: RRLFSOR: An Efficient Self-Supervised Learning Strategy of Graph Convolutional Networks

abstract: Graph Convolutional Networks (GCNs) are widely used in many applications yet still need large amounts of labelled data for training. Besides, the adjacency matrix of GCNs is stable, which makes the data processing strategy cannot efficiently adjust the quantity of training data from the built graph structures.To further improve the performance and the self-learning ability of GCNs,in this paper, we propose an efficient self-supervised learning strategy of GCNs,named randomly removed links with a fixed step at one region (RRLFSOR).RRLFSOR can be regarded as a new data augmenter to improve over-smoothing.RRLFSOR is examined on two efficient and representative GCN models with three public citation network datasets-Cora,PubMed,and Citeseer.Experiments on transductive link prediction tasks show that our strategy outperforms the baseline models consistently by up to 21.34% in terms of accuracy on three benchmark datasets.


title: G-DetKD: Towards General Distillation Framework for Object Detectors via Contrastive and Semantic-guided Feature Imitation

abstract: In this paper, we investigate the knowledge distillation (KD) strategy for object detection and propose an effective framework applicable to both homogeneous and heterogeneous student-teacher pairs. The conventional feature imitation paradigm introduces imitation masks to focus on informative foreground areas while excluding the background noises. However, we find that those methods fail to fully utilize the semantic information in all feature pyramid levels, which leads to inefficiency for knowledge distillation between FPN-based detectors. To this end, we propose a novel semantic-guided feature imitation technique, which automatically performs soft matching between feature pairs across all pyramid levels to provide the optimal guidance to the student. To push the envelop even further, we introduce contrastive distillation to effectively capture the information encoded in the relationship between different feature regions. Finally, we propose a generalized detection KD pipeline, which is capable of distilling both homogeneous and heterogeneous detector pairs. Our method consistently outperforms the existing detection KD techniques, and works when (1) components in the framework are used separately and in conjunction; (2) for both homogeneous and heterogenous student-teacher pairs and (3) on multiple detection benchmarks. With a powerful X101-FasterRCNN-Instaboost detector as the teacher, R50-FasterRCNN reaches 44.0% AP, R50-RetinaNet reaches 43.3% AP and R50-FCOS reaches 43.1% AP on COCO dataset.


title: The Relative Calibration of Radial Velocity for LAMOST Medium Resolution Stellar Spectra

abstract: The Large Sky Area Multi-Object Fiber Spectroscopic Telescope (LAMOST) started median-resolution spectroscopic (MRS, R$\sim$7500) survey since October 2018. The main scientific goals of MRS, including binary stars, pulsators, and other variable stars are launched with a time-domain spectroscopic survey. However, the systematic errors, including the bias induced from wavelength calibration and the systematic difference between different spectrographs have to be carefully considered during radial velocity measurement. In this work, we provide a technique to correct the systematics in the wavelength calibration based on the relative radial velocity measurements from LAMOST MRS spectra. We show that, for the stars with multi-epoch spectra, the systematic bias which is induced from the exposures of different nights can be well corrected for LAMOST MRS in each spectrograph. And the precision of radial velocity zero-point of multi-epoch time-domain observations reaches below 0.5 km/s . As a by-product, we also give the constant star candidates, which can be the secondary radial-velocity standard star candidates of LAMOST MRS time-domain surveys.


title: Tightness of $(H, H^{RW})$-Gibbsian line ensembles

abstract: We develop a black-box theory, which can be used to show that a sequence of Gibbsian line ensembles is tight, provided that the one-point marginals of the lowest labeled curves of the ensembles are tight and globally approximate an inverted parabola. Our theory is applicable under certain technical assumptions on the nature of the Gibbs property and the underlying random walk measure. As a particular application of our general framework we show that a certain sequence of Gibbsian line ensembles, which naturally arises in the log-gamma polymer, is tight in the ubiquitous KPZ class $1/3: 2/3$ scaling, and also that all subsequential limits satisfy the Brownian Gibbs property, introduced by Corwin and Hammond in (Invent. Math. 195, 441-508, 2014). One of the core results proved in the paper, which underlies many of our arguments, is the construction of a continuous grand monotone coupling of Gibbsian line ensembles with respect to their boundary data (entrance and exit values, and bounding curves). Continuous means that the Gibbsian line ensemble measure varies continuously as one varies the boundary data, grand means that all uncountably many measures (one for each boundary data) are coupled to the same probability space, and monotone means that raising the values of the boundary data likewise raises the associated measure. Our continuous grand monotone coupling generalizes an analogous construction, which was recently implemented by Barraquand, Corwin and Dimitrov in (arXiv:2101.03045), from line ensembles with a single curve to ones with an arbitrary finite number of curves.


title: Reviewing pigeonhole effect with transversal modes

abstract: We investigate the interference setup claimed to reveal the quantum pigeonhole effect. It is a claim that it is possible that three parties travel across a two-path interferometer, but no pair of them share a path. We demonstrate the inconsistency of the description based on the weak values. We introduce transversal modes and observe the arise of correlations between path and traversal degrees of freedom. Also, the rotational symmetry of the output pattern is studied as a witness of pairwise interaction. It shows no apparent relation to the probability of observing three particles in the same output.


title: The structure of parafermion vertex operator algebras $K(osp(1|2n),k)$

abstract: In this paper, the structure of the parafermion vertex operator algebra associated to an integrable highest weight module for simple affine Lie superalgebra $osp(1|2n)$ is studied. Particularly, we determine the generators for this algebra.


title: CaT: Weakly Supervised Object Detection with Category Transfer

abstract: A large gap exists between fully-supervised object detection and weakly-supervised object detection. To narrow this gap, some methods consider knowledge transfer from additional fully-supervised dataset. But these methods do not fully exploit discriminative category information in the fully-supervised dataset, thus causing low mAP. To solve this issue, we propose a novel category transfer framework for weakly supervised object detection. The intuition is to fully leverage both visually-discriminative and semantically-correlated category information in the fully-supervised dataset to enhance the object-classification ability of a weakly-supervised detector. To handle overlapping category transfer, we propose a double-supervision mean teacher to gather common category information and bridge the domain gap between two datasets. To handle non-overlapping category transfer, we propose a semantic graph convolutional network to promote the aggregation of semantic features between correlated categories. Experiments are conducted with Pascal VOC 2007 as the target weakly-supervised dataset and COCO as the source fully-supervised dataset. Our category transfer framework achieves 63.5% mAP and 80.3% CorLoc with 5 overlapping categories between two datasets, which outperforms the state-of-the-art methods. Codes are avaliable at https://github.com/MediaBrain-SJTU/CaT.


title: Near-Infrared and Visible-range Optoelectronics in 2D Hybrid Perovskite/Transition Metal Dichalcogenide Heterostructures

abstract: The application of ultrathin two-dimensional (2D) perovskites in near-infrared and visible-range optoelectronics has been limited owing to their inherent wide bandgaps, large excitonic binding energies and low optical absorption at higher wavelengths. Here, we show that by tailoring interfacial band alignments via conjugation with low-dimensional materials like monolayer transition metal dichalcogenides (TMD), the functionalities of 2D perovskites can be extended to diverse, visible-range photophysical applications. Based on the choice of individual constituents in the 2D perovskite/TMD heterostructures, our first principles calculations demonstrate widely tunable type-II band gaps, carrier effective masses and band offsets to enable an effective separation of photogenerated excitons for enhanced photodetection and photovoltaic applications. In addition, we show the possibilities of achieving a type-I band alignment for recombination based light emitters as well as a type-III configuration for tunnelling devices. Further, we evaluate the effect of strain on the electronic properties of the heterostructures to show a significant strain tolerance, making them prospective candidates in flexible photosensors.


title: A Brief Overview of Results about Uniqueness of the Quantization in Cosmology

abstract: The purpose of this review is to provide a brief overview of some recent conceptual developments about possible criteria to guarantee the uniqueness of the quantization in a variety of situations that are found in cosmological systems. These criteria impose some conditions on the representation of a group of physically relevant linear transformations. Generally, this group contains any existing symmetry of the spatial sections. These symmetries may or may not be sufficient for the purpose of uniqueness and may have to be complemented with other remaining symmetries that affect the time direction, or with dynamical transformations that in fact are not symmetries. We discuss the extent to which a unitary implementation of the resulting group suffices to fix the quantization, a demand that can be seen as a weaker version of the requirement of invariance. In particular, a strict invariance under certain transformations may eliminate some physically interesting possibilities in the passage to the quantum theory. This is the first review in which this unified perspective is adopted to discuss otherwise rather different uniqueness criteria proposed either in homogeneous loop quantum cosmology or in the Fock quantization of inhomogeneous cosmologies.


title: Deep neural network methods for solving forward and inverse problems of time fractional diffusion equations with conformable derivative

abstract: Physics-informed neural networks (PINNs) show great advantages in solving partial differential equations. In this paper, we for the first time propose to study conformable time fractional diffusion equations by using PINNs. By solving the supervise learning task, we design a new spatio-temporal function approximator with high data efficiency. L-BFGS algorithm is used to optimize our loss function, and back propagation algorithm is used to update our parameters to give our numerical solutions. For the forward problem, we can take IC/BCs as the data, and use PINN to solve the corresponding partial differential equation. Three numerical examples are are carried out to demonstrate the effectiveness of our methods. In particular, when the order of the conformable fractional derivative $\alpha$ tends to $1$, a class of weighted PINNs is introduced to overcome the accuracy degradation caused by the singularity of solutions. For the inverse problem, we use the data obtained to train the neural network, and the estimation of parameter $\lambda$ in the equation is elaborated. Similarly, we give three numerical examples to show that our method can accurately identify the parameters, even if the training data is corrupted with 1\% uncorrelated noise.


title: A Dense Siamese U-Net trained with Edge Enhanced 3D IOU Loss for Image Co-segmentation

abstract: Image co-segmentation has attracted a lot of attentions in computer vision community. In this paper, we propose a new approach to image co-segmentation through introducing the dense connections into the decoder path of Siamese U-net and presenting a new edge enhanced 3D IOU loss measured over distance maps. Considering the rigorous mapping between the signed normalized distance map (SNDM) and the binary segmentation mask, we estimate the SNDMs directly from original images and use them to determine the segmentation results. We apply the Siamese U-net for solving this problem and improve its effectiveness by densely connecting each layer with subsequent layers in the decoder path. Furthermore, a new learning loss is designed to measure the 3D intersection over union (IOU) between the generated SNDMs and the labeled SNDMs. The experimental results on commonly used datasets for image co-segmentation demonstrate the effectiveness of our presented dense structure and edge enhanced 3D IOU loss of SNDM. To our best knowledge, they lead to the state-of-the-art performance on the Internet and iCoseg datasets.


title: A Flexible Three-Dimensional Hetero-phase Computed Tomography Hepatocellular Carcinoma (HCC) Detection Algorithm for Generalizable and Practical HCC Screening

abstract: Hepatocellular carcinoma (HCC) can be potentially discovered from abdominal computed tomography (CT) studies under varied clinical scenarios, e.g., fully dynamic contrast enhanced (DCE) studies, non-contrast (NC) plus venous phase (VP) abdominal studies, or NC-only studies. We develop a flexible three-dimensional deep algorithm, called hetero-phase volumetric detection (HPVD), that can accept any combination of contrast-phase inputs and with adjustable sensitivity depending on the clinical purpose. We trained HPVD on 771 DCE CT scans to detect HCCs and tested on external 164 positives and 206 controls, respectively. We compare performance against six clinical readers, including two radiologists, two hepato-pancreatico-biliary (HPB) surgeons, and two hepatologists. The area under curve (AUC) of the localization receiver operating characteristic (LROC) for NC-only, NC plus VP, and full DCE CT yielded 0.71, 0.81, 0.89 respectively. At a high sensitivity operating point of 80% on DCE CT, HPVD achieved 97% specificity, which is comparable to measured physician performance. We also demonstrate performance improvements over more typical and less flexible non hetero-phase detectors. Thus, we demonstrate that a single deep learning algorithm can be effectively applied to diverse HCC detection clinical scenarios.


title: A Light-weight contextual spelling correction model for customizing transducer-based speech recognition systems

abstract: It's challenging to customize transducer-based automatic speech recognition (ASR) system with context information which is dynamic and unavailable during model training. In this work, we introduce a light-weight contextual spelling correction model to correct context-related recognition errors in transducer-based ASR systems. We incorporate the context information into the spelling correction model with a shared context encoder and use a filtering algorithm to handle large-size context lists. Experiments show that the model improves baseline ASR model performance with about 50% relative word error rate reduction, which also significantly outperforms the baseline method such as contextual LM biasing. The model also shows excellent performance for out-of-vocabulary terms not seen during training.


title: Co-universality and controlled maps on product systems over right LCM-semigroups

abstract: We study the structure of C*-algebras associated with compactly aligned product systems over group embeddable right LCM-semigroups. Towards this end we employ controlled maps and a controlled elimination method that associates the original cores to those of the controlling pair, and we combine with applications of the C*-envelope theory for cosystems of nonselfadjoint operator algebras recently produced. We derive several applications of these methods that generalize results on single C*-correspondences. First we show that if the controlling group is exact then the co-universal C*-algebra of the product system coincides with the quotient of the Fock C*-algebra by the ideal of strong covariance relations. We show that if the controlling group is amenable then the product system is amenable. In particular if the controlling group is abelian then the co-universal C*-algebra is the C*-envelope of the tensor algebra. Secondly we give necessary and sufficient conditions for the Fock C*-algebra to be nuclear and exact. When the controlling group is amenable we completely characterize nuclearity and exactness of any equivariant injective Nica-covariant representation of the product system. Thirdly we consider controlled maps that enjoy a saturation property. In this case we induce a compactly aligned product system over the controlling pair that shares the same Fock representation, and preserves injectivity. By using co-universality, we show that they share the same reduced covariance algebras. If in addition the controlling pair is a total order then the fixed point algebra of the controlling group induces a super-product system that has the same reduced covariance algebra and is moreover reversible.


title: Integrated, ultra-compact high-Q silicon nitride microresonators for low-repetition-rate soliton microcombs

abstract: Multiple applications of relevance in photonics, such as spectrally efficient coherent communications, microwave synthesis or the calibration of astronomical spectrographs, would benefit from soliton microcombs operating at repetition rates <50GHz. However, attaining soliton microcombs with low repetition rates using photonic integration technologies represents a formidable challenge. Expanding the cavity volume results in a drop of intracavity intensity that can only be offset by an encompassing rise in quality factor. In addition, reducing the footprint of the microresonator on a planar integrated circuit requires race-track designs that typically result into extra modal coupling losses and disruptions into the dispersion, preventing the generation of the dissipative single soliton state. Here, we report the generation of sub-50GHz soliton microcombs in dispersion-engineered silicon nitride microresonators. In contrast to other approaches, our devices feature an optimized racetrack design that minimizes the coupling to higher-order modes and reduces the footprint size by an order of magnitude to ~1mm2. The statistical intrinsic Q reaches 19 million, and soliton microcombs at 20.5GHz and 14.0GHz repetition rates are successfully generated. Importantly, the fabrication process is entirely subtractive, meaning that the devices can be directly patterned on the Si3N4 film. This standard approach facilitates integration with further components and devices.


title: Constraints on self-interacting Bose-Einstein condensate dark matter using large-scale observables

abstract: Constraints on the cosmic history of self-interacting Bose-Einstein condensed (SIBEC) dark matter (DM) are obtained using the cosmic microwave background (CMB), baryonic acoustic oscillations (BAO), growth factor measurements, and type Ia supernovae (SNIa) distances. Four scenarios are considered, one with purely SIBEC-DM, and three in which SIBEC-DM is the final product of some transition from different initial states, which are either cold, warm, or has a constant equation of state. Using a fluid approximation for the self-interacting scalar field it is found that in the simplest scenario of purely SIBEC-DM the self-interaction necessary for solving the cusp-core problem, with core-radii of low-mass halos of order $R_c\gtrsim 1\text{kpc}$, is excluded at $2.4\sigma$, or $98.5\%$ confidence. Introducing a transition, however, relaxes this constraint, but the transitions are preferred to be after matter-radiation equality, and the initial phase to be cold.


title: Yielding transition of a two dimensional glass former under athermal cyclic shear deformation

abstract: We study numerically the yielding transition of a two dimensional model glass subjected to athermal quasi-static cyclic shear deformation, with the aim of investigating the effect on the yielding behaviour of the degree of annealing, which in turn depends on the preparation protocol. We find two distinct regimes of annealing separated by a threshold energy. Poorly annealed glasses progressively evolve towards the threshold energy as the strain amplitude is increased towards the yielding value. Well annealed glasses with initial energies below the threshold energy exhibit stable behaviour, with negligible change in energy with increasing strain amplitude, till they yield. Discontinuities in energy and stress at yielding increase with the degree of annealing, consistently with recent results found in three dimensions. We observe significant structural change with strain amplitude that closely mirrors the changes in energy and stresses. We investigate groups of particles that are involved in plastic rearrangements. We analyse the distributions of avalanche sizes, of clusters of connected rearranging particles, and related quantities, employing finite size scaling analysis. We verify previously investigated relations between exponents characterising these distributions, and a newly proposed relation between exponents describing avalanche and cluster size distributions.


title: Distributed Expectation Propagation Detection for Cell-Free Massive MIMO

abstract: In cell-free massive MIMO networks, an efficient distributed detection algorithm is of significant importance. In this paper, we propose a distributed expectation propagation (EP) detector for cell-free massive MIMO. The detector is composed of two modules, a nonlinear module at the central processing unit (CPU) and a linear module at the access point (AP). The turbo principle in iterative decoding is utilized to compute and pass the extrinsic information between modules. An analytical framework is then provided to characterize the asymptotic performance of the proposed EP detector with a large number of antennas. Simulation results will show that the proposed method outperforms the distributed detectors in terms of bit-error-rate.


title: Annotation Guidelines for the Turku Paraphrase Corpus

abstract: This document describes the annotation guidelines used to construct the Turku Paraphrase Corpus. These guidelines were developed together with the corpus annotation, revising and extending the guidelines regularly during the annotation work. Our paraphrase annotation scheme uses the base scale 1-4, where labels 1 and 2 are used for negative candidates (not paraphrases), while labels 3 and 4 are paraphrases at least in the given context if not everywhere. In addition to base labeling, the scheme is enriched with additional subcategories (flags) for categorizing different types of paraphrases inside the two positive labels, making the annotation scheme suitable for more fine-grained paraphrase categorization. The annotation scheme is used to annotate over 100,000 Finnish paraphrase pairs.


title: Building ground states of Hubbard model by time-ordered bound-pair injection

abstract: According to energy band theory, ground states of a normal conductor and insulator can be obtained by filling electrons individually into energy levels, without any restrictions. It fails when the electron-electron correlation is taken into account. In this work, we investigate the dynamic process of building ground states of a Hubbard model. It is based on time-ordered quantum quenches for unidirectional hopping across a central and an auxiliary Hubbard model. We find that there exists a set of optimal parameters (chemical potentials and pair binding energy) for the auxiliary system, which takes the role of electron-pair reservoir. The exceptional point dynamics in non-Hermitian quantum mechanics allows the perfect transfer of electron pair from the reservoir to the central system, obtaining its ground states at different fillings. The dynamics of time-ordered pair-filling not only provides a method for correlated quantum state engineering, but also reveals the feature of the ground state in an alternative way.


title: Spectral Element Method for the Elastic/Acoustic Waveguide Problem in Anisotropic Metamaterials

abstract: In order to simulate elastic wave propagation in a complex structure with inhomogeneous media, we often need to obtain the propagating eigenmodes of an elastic waveguide. As the waveguide is assumed uniform in one direction, the original 3-D problem can be converted into a so-called 2.5-D problem by using the Fourier transform in that direction. However, the introduction of elastic metamaterials (EMM) broadens the horizon of this subject, and new features are required in EMM waveguides that cannot be obtained by most traditional waveguide solvers. In this work, a spectral element method (SEM) is developed to simulate the elastic/acoustic waveguide problem in anisotropic media with anisotropic mass density and/or negative index parameters. To the best of our knowledge, the SEM has not been introduced previously for such a waveguide problem. For waveguides with anisotropic density that cannot be solved by the FEM in most of commercial software packages, we design an anisotropic density EMM waveguide with our SEM solver to demonstrate some intriguing phenomena. The spectral element results are verified by several numerical examples through comparison with the traditional finite element method (FEM) to show its significant advantages in term of accuracy and computation efficiency.


title: MV-TON: Memory-based Video Virtual Try-on network

abstract: With the development of Generative Adversarial Network, image-based virtual try-on methods have made great progress. However, limited work has explored the task of video-based virtual try-on while it is important in real-world applications. Most existing video-based virtual try-on methods usually require clothing templates and they can only generate blurred and low-resolution results. To address these challenges, we propose a Memory-based Video virtual Try-On Network (MV-TON), which seamlessly transfers desired clothes to a target person without using any clothing templates and generates high-resolution realistic videos. Specifically, MV-TON consists of two modules: 1) a try-on module that transfers the desired clothes from model images to frame images by pose alignment and region-wise replacing of pixels; 2) a memory refinement module that learns to embed the existing generated frames into the latent space as external memory for the following frame generation. Experimental results show the effectiveness of our method in the video virtual try-on task and its superiority over other existing methods.


title: On balanced sequences and their critical exponent

abstract: We study aperiodic balanced sequences over finite alphabets. A sequence vv of this type is fully characterised by a Sturmian sequence u and two constant gap sequences y and y'. We show that the language of v is eventually dendric and we focus on return words to its factors. We develop a method for computing the critical exponent and asymptotic critical exponent of balanced sequences, provided the associated Sturmian sequence u has a quadratic slope. The method is based on looking for the shortest return words to bispecial factors in v. We illustrate our method on several examples; in particular we confirm a conjecture of Rampersad, Shallit and Vandomme that two specific sequences have the least critical exponent among all balanced sequences over 9-letter (resp., $0-letter) alphabets.


title: Federated Learning with Correlated Data: Taming the Tail for Age-Optimal Industrial IoT

abstract: While information delivery in industrial Internet of things demands reliability and latency guarantees, the freshness of the controller's available information, measured by the age of information (AoI), is paramount for high-performing industrial automation. The problem in this work is cast as a sensor's transmit power minimization subject to the peak-AoI requirement and a probabilistic constraint on queuing latency. We further characterize the tail behavior of the latency by a generalized Pareto distribution (GPD) for solving the power allocation problem through Lyapunov optimization. As each sensor utilizes its own data to locally train the GPD model, we incorporate federated learning and propose a local-model selection approach which accounts for correlation among the sensor's training data. Numerical results show the tradeoff between the transmit power, peak AoI, and delay's tail distribution. Furthermore, we verify the superiority of the proposed correlation-aware approach for selecting the local models in federated learning over an existing baseline.


title: MOI-Mixer: Improving MLP-Mixer with Multi Order Interactions in Sequential Recommendation

abstract: Successful sequential recommendation systems rely on accurately capturing the user's short-term and long-term interest. Although Transformer-based models achieved state-of-the-art performance in the sequential recommendation task, they generally require quadratic memory and time complexity to the sequence length, making it difficult to extract the long-term interest of users. On the other hand, Multi-Layer Perceptrons (MLP)-based models, renowned for their linear memory and time complexity, have recently shown competitive results compared to Transformer in various tasks. Given the availability of a massive amount of the user's behavior history, the linear memory and time complexity of MLP-based models make them a promising alternative to explore in the sequential recommendation task. To this end, we adopted MLP-based models in sequential recommendation but consistently observed that MLP-based methods obtain lower performance than those of Transformer despite their computational benefits. From experiments, we observed that introducing explicit high-order interactions to MLP layers mitigates such performance gap. In response, we propose the Multi-Order Interaction (MOI) layer, which is capable of expressing an arbitrary order of interactions within the inputs while maintaining the memory and time complexity of the MLP layer. By replacing the MLP layer with the MOI layer, our model was able to achieve comparable performance with Transformer-based models while retaining the MLP-based models' computational benefits.


title: PR-RRN: Pairwise-Regularized Residual-Recursive Networks for Non-rigid Structure-from-Motion

abstract: We propose PR-RRN, a novel neural-network based method for Non-rigid Structure-from-Motion (NRSfM). PR-RRN consists of Residual-Recursive Networks (RRN) and two extra regularization losses. RRN is designed to effectively recover 3D shape and camera from 2D keypoints with novel residual-recursive structure. As NRSfM is a highly under-constrained problem, we propose two new pairwise regularization to further regularize the reconstruction. The Rigidity-based Pairwise Contrastive Loss regularizes the shape representation by encouraging higher similarity between the representations of high-rigidity pairs of frames than low-rigidity pairs. We propose minimum singular-value ratio to measure the pairwise rigidity. The Pairwise Consistency Loss enforces the reconstruction to be consistent when the estimated shapes and cameras are exchanged between pairs. Our approach achieves state-of-the-art performance on CMU MOCAP and PASCAL3D+ dataset.


title: Exploring Classification Equilibrium in Long-Tailed Object Detection

abstract: The conventional detectors tend to make imbalanced classification and suffer performance drop, when the distribution of the training data is severely skewed. In this paper, we propose to use the mean classification score to indicate the classification accuracy for each category during training. Based on this indicator, we balance the classification via an Equilibrium Loss (EBL) and a Memory-augmented Feature Sampling (MFS) method. Specifically, EBL increases the intensity of the adjustment of the decision boundary for the weak classes by a designed score-guided loss margin between any two classes. On the other hand, MFS improves the frequency and accuracy of the adjustment of the decision boundary for the weak classes through over-sampling the instance features of those classes. Therefore, EBL and MFS work collaboratively for finding the classification equilibrium in long-tailed detection, and dramatically improve the performance of tail classes while maintaining or even improving the performance of head classes. We conduct experiments on LVIS using Mask R-CNN with various backbones including ResNet-50-FPN and ResNet-101-FPN to show the superiority of the proposed method. It improves the detection performance of tail classes by 15.6 AP, and outperforms the most recent long-tailed object detectors by more than 1 AP. Code is available at https://github.com/fcjian/LOCE.


title: The maximal superconductivity in proximity to charge density wave quantum critical point in Cu$_x$TiSe$_2$

abstract: Superconductivity emerges in $1T$-TiSe$_2$ when its charge density wave (CDW) order is suppressed by Cu intercalation or pressure. Since the CDW state is thought to be an excitonic insulator, an interesting question is whether the superconductivity is also mediated by the excitonic fluctuations. We investigated this question as to the nature of doping induced superconductivity in Cu$_x$TiSe$_2$ by asking if it is consistent with the phonon-mediated pairing. We employed the {\it ab initio} density functional theory and density functional perturbation theory to compute the electron-phonon coupling Eliashberg function from which to calculate the superconducting (SC) critical temperature $T_c$. The calculated $T_c $ as a function of the doping concentration $x$ exhibits a dome shape with the maximum $T_c$ of $2-6$ K at $x \approx 0.05$ for the Coulomb pseudopotential $0 \leq \mu^* \leq 0.1$. The maximal $T_c$ was found to be pinned to the quantum critical point at which the CDW is completely suppressed and the corresponding phonon mode becomes soft. Underlying physics is that the reduced phonon frequency enhances the electron-phonon coupling constant $\lambda$ which overcompensates the frequency decrease to produce a net increase of $T_c$. The doping induced superconductivity in Cu$_x$TiSe$_2$ seems to be consistent with the phonon-mediated pairing. Comparative discussion was made with the pressure induced superconductivity in TiSe$_2$.


title: Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty

abstract: Formal reasoning on the safety of controller systems interacting with plants is complex because developers need to specify behavior while taking into account perceptual uncertainty. To address this, we propose an automated workflow that takes an Event-B model of an uncertainty-unaware controller and a specification of uncertainty as input. First, our workflow automatically injects the uncertainty into the original model to obtain an uncertainty-aware but potentially unsafe controller. Then, it automatically robustifies the controller so that it satisfies safety even under the uncertainty. The case study shows how our workflow helps developers to explore multiple levels of perceptual uncertainty. We conclude that our workflow makes design and analysis of uncertainty-aware controller systems easier and more systematic.


title: Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent (Long Version)

abstract: We show the equivalence of two distributed computing models, namely reconfigurable broadcast networks (RBN) and asynchronous shared-memory systems (ASMS), that were introduced independently. Both RBN and ASMS are systems in which a collection of anonymous, finite-state processes run the same protocol. In RBN, the processes communicate by selective broadcast: a process can broadcast a message which is received by all of its neighbors, and the set of neighbors of a process can change arbitrarily over time. In ASMS, the processes communicate by shared memory: a process can either write to or read from a shared register. Our main result is that RBN and ASMS can simulate each other, i.e. they are equivalent with respect to parameterized reachability, where we are given two (possibly infinite) sets of configurations C and C' defined by upper and lower bounds on the number of processes in each state and we would like to decide if some configuration in C can reach some configuration in C'. Using this simulation equivalence, we transfer results of RBN to ASMS and vice versa. Finally, we show that RBN and ASMS can simulate a third distributed model called immediate observation (IO) nets. Moreover, for a slightly stronger notion of simulation (which is satisfied by all the simulations given in this paper), we show that IO nets cannot simulate RBN.


title: LIF-Seg: LiDAR and Camera Image Fusion for 3D LiDAR Semantic Segmentation

abstract: Camera and 3D LiDAR sensors have become indispensable devices in modern autonomous driving vehicles, where the camera provides the fine-grained texture, color information in 2D space and LiDAR captures more precise and farther-away distance measurements of the surrounding environments. The complementary information from these two sensors makes the two-modality fusion be a desired option. However, two major issues of the fusion between camera and LiDAR hinder its performance, \ie, how to effectively fuse these two modalities and how to precisely align them (suffering from the weak spatiotemporal synchronization problem). In this paper, we propose a coarse-to-fine LiDAR and camera fusion-based network (termed as LIF-Seg) for LiDAR segmentation. For the first issue, unlike these previous works fusing the point cloud and image information in a one-to-one manner, the proposed method fully utilizes the contextual information of images and introduces a simple but effective early-fusion strategy. Second, due to the weak spatiotemporal synchronization problem, an offset rectification approach is designed to align these two-modality features. The cooperation of these two components leads to the success of the effective camera-LiDAR fusion. Experimental results on the nuScenes dataset show the superiority of the proposed LIF-Seg over existing methods with a large margin. Ablation studies and analyses demonstrate that our proposed LIF-Seg can effectively tackle the weak spatiotemporal synchronization problem.


title: Fiber of Persistent Homology on Morse functions

abstract: Let $f$ be a Morse function on a smooth compact manifold $M$ with boundary. The path component $\mathrm{PH}_f^{-1}(D)$ containing $f$ of the space of Morse functions giving rise to the same Persistent Homology $D=\mathrm{PH}(f))$ is shown to be the same as the orbit of $f$ under pre-composition $\phi \mapsto f\circ \phi$ by diffeomorphisms of $M$ which are isotopic to the identity. Consequently we derive topological properties of the fiber $\mathrm{PH}_f^{-1}(D)$: In particular we compute its homotopy type for many compact surfaces $M$. In the $1$-dimensional settings where $M$ is the unit interval or the circle we extend the analysis to continuous functions and show that the fibers are made of contractible and circular components respectively.


title: High resolution calibration of the cosmic strings velocity dependent one-scale model

abstract: The canonical velocity-dependent one-scale (VOS) model for cosmic string evolution must be calibrated using high resolution numerical simulations, We exploit our state of the art graphics processing unit accelerated implementation of the evolution of local Abelian-Higgs string networks to provide a detailed and statistically robust calibration of the VOS model. We rely on the largest set of high resolution simulations carried out to date, with a wide range of cosmological expansion rates, and explore the impact of key numerical parameters, including the dynamic range (comparing box sizes from $1024^3$ to $4096^3$), the lattice spacing, and the choice of numerical estimators for the string velocity. We explore the sensitivity of the VOS model parameters to these numerical parameters, with a particular emphasis on the observationally crucial loop chopping efficiency, and also identify key differences between the equation of state and conjugate momentum estimators for the string velocities, showing that the latter one is more reliable for fast expansion rates (while in Minkowski space the opposite has been previously shown). Finally, we briefly illustrate how our results impact observational constraints on cosmic strings.


title: Monolithic vs. hybrid controller for multi-objective Sim-to-Real learning

abstract: Simulation to real (Sim-to-Real) is an attractive approach to construct controllers for robotic tasks that are easier to simulate than to analytically solve. Working Sim-to-Real solutions have been demonstrated for tasks with a clear single objective such as "reach the target". Real world applications, however, often consist of multiple simultaneous objectives such as "reach the target" but "avoid obstacles". A straightforward solution in the context of reinforcement learning (RL) is to combine multiple objectives into a multi-term reward function and train a single monolithic controller. Recently, a hybrid solution based on pre-trained single objective controllers and a switching rule between them was proposed. In this work, we compare these two approaches in the multi-objective setting of a robot manipulator to reach a target while avoiding an obstacle. Our findings show that the training of a hybrid controller is easier and obtains a better success-failure trade-off than a monolithic controller. The controllers trained in simulator were verified by a real set-up.


title: On the Solution Existence for Prox-Regular Perturbed Sweeping Processes

abstract: In the setting adopted by Edmond and Thibault [Mathematical Programming 104 (2005), 347--373], we study a class of perturbed sweeping processes. Under suitable assumptions, we obtain two solution existence theorems for perturbed sweeping processes with the constraint sets being prox-regular sublevel sets. The results are applied to analyzing the behavior of some concrete mechanical sweeping processes, which appear for the first time in this paper.


title: Graph Contrastive Learning for Anomaly Detection

abstract: Graph-based anomaly detection has been widely used for detecting malicious activities in real-world applications. Existing attempts to address this problem have thus far focused on structural feature engineering or learning in the binary classification regime. In this work, we propose to leverage graph contrastive coding and present the supervised GraphCAD model for contrasting abnormal nodes with normal ones in terms of their distances to the global context (e.g., the average of all nodes). To handle scenarios with scarce labels, we further enable GraphCAD as a self-supervised framework by designing a graph corrupting strategy for generating synthetic node labels. To achieve the contrastive objective, we design a graph neural network encoder that can infer and further remove suspicious links during message passing, as well as learn the global context of the input graph. We conduct extensive experiments on four public datasets, demonstrating that 1) GraphCAD significantly and consistently outperforms various advanced baselines and 2) its self-supervised version without fine-tuning can achieve comparable performance with its fully supervised version.


title: Zeros of quasi-orthogonal $q$-Laguerre polynomials

abstract: We investigate the interlacing of zeros of polynomials of different degrees within the sequences of $q$-Laguerre polynomials $\left\{\tilde{L}_n^{(\delta)}(z;q)\right\}_{n=0}^{\infty}$ characterized by $\delta\in(-2,-1).$ The interlacing of zeros of quasi-orthogonal polynomials $\tilde{L}_n^{(\delta)}(z;q)$ with those of the orthogonal polynomials $\tilde{L}_m^{(\delta+t)}(z;q), m,n\in\mathbb{N}, t\in\{1,2\}$ is also considered. New bounds for the least zero of the (order $1$) quasi-orthogonal $q$-Laguerre polynomials are derived.


title: Topographic control of order in quasi-2D granular phase transitions

abstract: We experimentally investigate the nature of 2D phase transitions in a quasi-2D granular fluid. Using a surface decorated with periodically spaced dimples we observe interfacial tension between coexisting liquid and crystal phases. Measurements of the orientational and translational order parameters and associated susceptibilities indicate that the surface topography alters the order of the phase transition from a two-step continuous one to a first-order liquid-crystal one. The interplay of boundary inelasticity and geometry, either order-promoting or inhibiting, controls the wetting of the granular crystal / fluid. This order induced wetting has important consequences, determining how coexisting phases separate spatially.


title: Radiation Hardness Study of the ePix100 Sensor and ASIC under Direct Illumination at the European XFEL

abstract: The ePix detector family provides multiple variants of hybrid pixel detectors to support a wide range of applications at free electron laser facilities. We present the results of a systematic study of the influence of radiation induced damage on the performance and lifetime of an ePix100a detector module using a direct attenuated beam of the EuXFEL at 9 keV photon energy and an average power of 10 $\mu$W. An area of 20 x 20 pixels was irradiated with an average photon flux of approx. 7 x $10^{9}$ photons/s to a dose of approximately 760$\pm$65 kGy at the location of the Si/SiO$_2$ interfaces in the sensor. A dose dependent increase in both offset and noise of the ePix100a detector have been observed originating from an increase of the sensor leakage current. Moreover, we observed an effect directly after irradiation resulting in the saturation of individual pixels by their dark current. Changes in gain are evaluated one and half hours post irradiation and suggest damage to occur also on the ASIC level. Based on the obtained results, thresholds for beam parameters are deduced and the detector lifetime is estimated with respect to the requirements to the data quality in order to satisfy the scientific standards defined by the experiments. We conclude the detector can withstand a beam with an energy up to 1 $\mu$J at a photon energy of 9 keV impacting on an area of 1 mm$^2$. The detector can be used without significant degradation of its performance for several years if the incident photon beam intensities do not exceed the detector's dynamic range by at least three orders of magnitude. Our results provide valuable input for the operation of the ePix100a detector at FEL facilities and for the design of future detector technology.


title: Intrinsic-Extrinsic Preserved GANs for Unsupervised 3D Pose Transfer

abstract: With the strength of deep generative models, 3D pose transfer regains intensive research interests in recent years. Existing methods mainly rely on a variety of constraints to achieve the pose transfer over 3D meshes, e.g., the need for manually encoding for shape and pose disentanglement. In this paper, we present an unsupervised approach to conduct the pose transfer between any arbitrate given 3D meshes. Specifically, a novel Intrinsic-Extrinsic Preserved Generative Adversarial Network (IEP-GAN) is presented for both intrinsic (i.e., shape) and extrinsic (i.e., pose) information preservation. Extrinsically, we propose a co-occurrence discriminator to capture the structural/pose invariance from distinct Laplacians of the mesh. Meanwhile, intrinsically, a local intrinsic-preserved loss is introduced to preserve the geodesic priors while avoiding heavy computations. At last, we show the possibility of using IEP-GAN to manipulate 3D human meshes in various ways, including pose transfer, identity swapping and pose interpolation with latent code vector arithmetic. The extensive experiments on various 3D datasets of humans, animals and hands qualitatively and quantitatively demonstrate the generality of our approach. Our proposed model produces better results and is substantially more efficient compared to recent state-of-the-art methods. Code is available: https://github.com/mikecheninoulu/Unsupervised_IEPGAN


title: The $\omega^3$ scaling of the vibrational density of states in quasi-2D nanoconfined solids

abstract: Atomic vibrations play a vital role in the functions of various physical, chemical, and biological systems. The vibrational properties and the specific heat of crystalline bulk materials are well described by Debye theory, which successfully predicts the quadratic $\omega^{2}$ low-frequency scaling of the vibrational density of states (VDOS) in bulk ordered solids from few fundamental assumptions. However, the analogous framework for nanoconfined materials with fewer degrees of freedom has been far less well explored. Using inelastic neutron scattering, we characterize the VDOS of amorphous ice confined to a thickness of $\approx 1$ nm inside graphene oxide membranes and we observe a crossover from the Debye $\omega^2$ scaling to an anomalous $\omega^3$ behaviour upon reducing the confinement size $L$. Additionally, using molecular dynamics simulations, we confirm the experimental findings and also prove that such a scaling of the VDOS appears in both crystalline and amorphous solids under slab-confinement. We theoretically demonstrate that this low-frequency $\omega^3$ law results from the geometric constraints on the momentum phase space induced by confinement along one spatial direction. Finally, we predict that the Debye scaling reappears at a characteristic frequency $\omega_\times= v L/2\pi$, with $v$ the speed of sound of the material, and we confirm this quantitative estimate with simulations. This new physical phenomenon, revealed by combining theoretical, experimental and simulations results, is relevant to a myriad of systems both in synthetic and biological contexts and it could impact various technological applications for systems under confinement such as nano-devices or thin films.

categories: cond-mat.mtrl-sci cond-mat.mes-hall cond-mat.soft physics.chem-ph


title: Bounding the number of edges of matchstick graphs

abstract: We show that a matchstick graph with $n$ vertices has no more than $3n-c\sqrt{n-1/4}$ edges, where $c=\frac12(\sqrt{12} + \sqrt{2\pi\sqrt{3}})$. The main tools in the proof are the Euler formula, the isoperimetric inequality, and an upper bound for the number of edges in terms of $n$ and the number of non-triangular faces. We also find a sharp upper bound for the number of triangular faces in a matchstick graph.


title: Bulk viscosity from Urca processes: $npe\mu$ matter in the neutrino-trapped regime

abstract: In this work, we extend our previous study of the bulk viscosity of hot and dense $npe$ matter induced by the Urca processes in the neutrino trapped regime to $npe\mu$ matter by adding the muonic Urca processes as well as the purely leptonic electroweak processes involving electron-muon transition. The nuclear matter is modeled in a relativistic density functional approach with two different parametrizations which predict neutrino dominated matter (DDME2 model) and antineutrino dominated matter (NL3 model) at temperatures for which neutrinos/antineutrinos are trapped. In the case of neutrino-dominated matter, the main equilibration mechanism is lepton capture, whereas in the case of antineutrino-dominated matter this is due to neutron decay. We find that the equilibration rates of Urca processes are higher than that of the pure leptonic processes, which implies that the Urca-process-driven bulk viscosity can be computed with the leptonic reactions assumed to be frozen. We find that the bulk viscosity decreases with temperature as $\zeta\sim T^{-2}$ at moderate temperatures. At high temperatures this scaling breaks down by sharp drops of the bulk viscosity close to the temperature where the proton fraction is density-independent and the matter becomes scale-invariant. This occurs also when the matter undergoes a transition from the antineutrino-dominated regime to the neutrino-dominated regime where the bulk viscosity attains a local maximum. We also estimate the bulk viscous dissipation timescales and find that these are in the range $\gtrsim$ 1 s for temperatures above the neutrino trapping temperature. These timescales would be relevant only for long-lived objects formed in binary neutron star mergers and hot proto-neutron stars formed in core-collapse supernovas.


title: Neural Photofit: Gaze-based Mental Image Reconstruction

abstract: We propose a novel method that leverages human fixations to visually decode the image a person has in mind into a photofit (facial composite). Our method combines three neural networks: An encoder, a scoring network, and a decoder. The encoder extracts image features and predicts a neural activation map for each face looked at by a human observer. A neural scoring network compares the human and neural attention and predicts a relevance score for each extracted image feature. Finally, image features are aggregated into a single feature vector as a linear combination of all features weighted by relevance which a decoder decodes into the final photofit. We train the neural scoring network on a novel dataset containing gaze data of 19 participants looking at collages of synthetic faces. We show that our method significantly outperforms a mean baseline predictor and report on a human study that shows that we can decode photofits that are visually plausible and close to the observer's mental image.


title: Isotopy Quotients of Hopf Algebroids and the Fundamental Groupoid of Digraphs

abstract: We build on our construction of Hopf algebroids from noncommutative calculi under the further assumption of surjectivity for the calculus. We also introduce the notions of Hopf ideals and isotopy quotients for arbitrary Hopf algebroids. Using these ingredients, we prove a Riemann-Hilbert correspondence for digraphs, by showing that the groupoid algebra of the fundamental groupoid of a digraph is isomorphic to the isotopy quotient of the Hopf algberoid corresponding to flat connections over the digraph.


title: A SiPM photon-counting readout system for Ultra-Fast Astronomy

abstract: Very little work has been done searching for astrophysical transient optical emission in the millisecond to nanosecond regime with significant sensitivity. We call this regime "Ultra-Fast Astronomy", or UFA. To investigate transients on as short time scales as possible, we developed our own customized readout system for a silicon photomultiplier (SiPM)-based UFA camera, intended for use on conventional astronomical telescopes. SiPMs, available in array packages for imaging a field, are capable of time-tagged single-photon detection in the visible wavelength range. Our readout system consists of 16 channels of 14-bit data logging. Each channel includes a 50-dB gain pre-amplifier, signal shaping circuits, an analogue front end, an analogue to digital converter, and a Xilinx UltraScale+ Field Programable Gate Array Multipurpose System on Chip (FPGA-MPSoC)board for data-logging. We show that our system successfully read out the data from SiPM at 16 ns intervals with a maximum power consumption of 300 mW per channel and capability to perform concurrent 16 channels readout.


title: Muon number rescaling in simulations of air showers

abstract: The number of muons in extensive air showers predicted using LHC-tuned hadronic interaction models, such as EPOS-LHC and QGSJetII-04, is smaller than observed in showers recorded by leading cosmic ray experiments. In this paper, we present a new method to derive muon rescaling factors by analyzing reconstructions of simulated showers. The z-variable used (difference of initially simulated and reconstructed total signal in detectors) is connected to the muon signal and is roughly independent of the zenith angle but depends on the mass of primary cosmic ray. The performance of the method is tested using Monte Carlo shower simulations for the hybrid detector of the Pierre Auger Observatory. Having an individual z-value from each simulated hybrid event, the corresponding signal at 1000 m from the shower axis, and using a parametrization of the muon fraction in simulated showers, we can calculate the multiplicative rescaling parameters of the muon signals in the ground detector even for an individual event. We can also study its dependence as a function of zenith angle and the mass of primary cosmic ray. This gives a possibility not only to test/calibrate the hadronic interaction models, but also to derive the $\beta$-exponent, describing an increase of the number of muons as a function of primary energy and mass of the cosmic ray. Detailed simulations show dependence of the $\beta$-exponent on hadronic interaction properties, thus the determination of this parameter is important for understanding the muon deficit problem.


title: A thermodynamically consistent Markovian master equation beyond the secular approximation

abstract: Markovian master equations provide a versatile tool for describing open quantum systems when memory effects of the environment may be neglected. As these equations are of an approximate nature, they often do not respect the laws of thermodynamics when no secular approximation is performed in their derivation. Here we introduce a Markovian master equation that is thermodynamically consistent and provides an accurate description whenever memory effects can be neglected. The thermodynamic consistency is obtained through a rescaled Hamiltonian for the thermodynamic bookkeeping, exploiting the fact that a Markovian description implies a limited resolution for heat. Our results enable a thermodynamically consistent description of a variety of systems where the secular approximation breaks down.


title: Dynamical residues of Lorentzian spectral zeta functions

abstract: We define a dynamical residue which generalizes the Guillemin-Wodzicki residue density of pseudo-differential operators. More precisely, given a Schwartz kernel, the definition refers to Pollicott-Ruelle resonances for the dynamics of scaling towards the diagonal. We apply this formalism to complex powers of the wave operator and we prove that residues of Lorentzian spectral zeta functions are dynamical residues. The residues are shown to have local geometric content as expected from formal analogies with the Riemannian case.


title: Trajectory crossing in low density plasmas due to interaction with a long ultrarelativistic beam of charged particles

abstract: Breaking of a plasma wave driven by a long beam of charged particles results in electron jets escaping from the plasma column and forming an electron halo. For plasma densities less than or of the order of the beam density, this process is well described by a semi-analytical model, which agrees with simulations and allows to calculate the position of wavebreaking points and determine the regions around the plasma column occupied by the halo.


title: Parallel transport on non-collapsed $\mathsf{RCD}(K,N)$ spaces

abstract: We provide a general theory for parallel transport on non-collapsed ${\sf RCD}$ spaces obtaining both existence and uniqueness results. Our theory covers the case of geodesics and, more generally, of curves obtained via the flow of sufficiently regular time dependent vector fields: the price that we pay for this generality is that we cannot study parallel transport along a single such curve, but only along almost all of these (in a sense related to the notions of Sobolev vector calculus and Regular Lagrangian Flow in the nonsmooth setting). The class of ${\sf ncRCD}$ spaces contains finite dimensional Alexandrov spaces with curvature bounded from below, thus our construction provides a way of speaking about parallel transport in this latter setting alternative to the one proposed by Petrunin (1998). The precise relation between the two approaches is yet to be understood.


title: Annihilator ideals and blocks of Whittaker modules over quasireductive Lie superalgebras

abstract: We extend Kostant's result on annihilator ideals of non-singular simple Whittaker modules over Lie algebras to (possibly singular) simple Whittaker modules over Lie superalgebras. We describe these annihilator ideals in terms of certain primitive ideals coming from the category $\mathcal O$ for quasireductive Lie superalgebras. To determine these annihilator ideals, we develop annihilator-preserving equivalences between certain full subcategories of the Whittaker category $\tilde{\mathcal N}$ and the categories of certain projectively presentable modules in the category $\mathcal O$. These equivalences lead to a classification of simple Whittaker modules that lie in the integral central blocks when restricted to the even subalgebra. We make a connection between the linkage classes of integral blocks of $\mathcal O$ and of $\tilde{\mathcal N}$. In particular, they can be computed via Kazhdan-Lusztig combinatorics for Lie superalgebras of type $\mathfrak{gl}$ and $\mathfrak{osp}$. We then give a description of the integral blocks of the category $\tilde{\mathcal N}$ of Whittaker modules for Lie superalgebras $\mathfrak{gl}(m|n)$, $\mathfrak{osp}(2|2n)$ and $\mathfrak{pe}(n)$.


title: Investigating transformers in the decomposition of polygonal shapes as point collections

abstract: Transformers can generate predictions in two approaches: 1. auto-regressively by conditioning each sequence element on the previous ones, or 2. directly produce an output sequences in parallel. While research has mostly explored upon this difference on sequential tasks in NLP, we study the difference between auto-regressive and parallel prediction on visual set prediction tasks, and in particular on polygonal shapes in images because polygons are representative of numerous types of objects, such as buildings or obstacles for aerial vehicles. This is challenging for deep learning architectures as a polygon can consist of a varying carnality of points. We provide evidence on the importance of natural orders for Transformers, and show the benefit of decomposing complex polygons into collections of points in an auto-regressive manner.


title: Recognizing and prevention of probable regime shift in density regulated and Allee type stochastic harvesting model with application to herring conservation

abstract: An ecological system with multiple stable equilibria is prone to undergo catastrophic change or regime shift from one steady-state to another. It should be noted that, if one of the steady states is an extinction state, the catastrophic change may lead to extinction. A suitable manual measure may control the prevention of catastrophic changes of different species from one equilibrium to another. We consider two stochastic models with linear and nonlinear harvesting terms. We inspect either density regulation or Allee type density regulated models [Saha et al., Ecological Modelling, 2013], which have substantial applications in the herring fish population's viability study. Both the deterministic models we consider here contain bi-stability under certain restrictions, and in that case, one of the stable states is the extinction state. We assume that the dynamical system under consideration is closed, i.e., immigration and emigration are absent. The demographic noise is introduced in the system by substituting an ordinary differential equation with a stochastic differential equation model, where the birth and death rates of the deterministic process are used to obtain the instantaneous mean and variance in the stochastic differential equation. Our study reveals that, the catastrophic changes can be avoided manually by a suitable choice of handling time that will eventually help to prevent the sudden extinction of the harvested population. The entire study is illustrated through the herring population size data obtained from the Global Population Dynamics Database (GPDD) and simulation experiment.


title: SPMoE: Generate Multiple Pattern-Aware Outputs with Sparse Pattern Mixture of Experts

abstract: Many generation tasks follow a one-to-many mapping relationship: each input could be associated with multiple outputs. Existing methods like Conditional Variational AutoEncoder(CVAE) employ a latent variable to model this one-to-many relationship. However, this high-dimensional and dense latent variable lacks explainability and usually leads to poor and uncontrollable generations. In this paper, we innovatively introduce the linguistic concept of pattern to decompose the one-to-many mapping into multiple one-to-one mappings and further propose a model named Sparse Pattern Mixture of Experts(SPMoE). Each one-to-one mapping is associated with a conditional generation pattern and is modeled with an expert in SPMoE. To ensure each language pattern can be exclusively handled with an expert model for better explainability and diversity, a sparse mechanism is employed to coordinate all the expert models in SPMoE. We assess the performance of our SPMoE on the paraphrase generation task and the experiment results prove that SPMoE can achieve a good balance in terms of quality, pattern-level diversity, and corpus-level diversity.


title: Aether, Dark Energy, and String Compactifications

abstract: The 19th century Aether died with Special Relativity but was resurrected by General Relativity in the form of dark energy; a tensile material with tension equal to its energy density. Such a material is provided by the D-branes of string-theory; these can support the fields of supersymmetric particle-physics, although their energy density is cancelled by orientifold singularities upon compactification. Dark energy can still arise from supersymmetry-breaking anti-D-branes but it is probably time-dependent. Recent results on time-dependent compactifications to an FLRW universe with late-time accelerated expansion are reviewed.


title: Estimating smooth and sparse neural receptive fields with a flexible spline basis

abstract: Spatio-temporal receptive field (STRF) models are frequently used to approximate the computation implemented by a sensory neuron. Typically, such STRFs are assumed to be smooth and sparse. Current state-of-the-art approaches for estimating STRFs based on empirical Bayes are often not computationally efficient in high-dimensional settings, as encountered in sensory neuroscience. Here we pursued an alternative approach and encode prior knowledge for estimation of STRFs by choosing a set of basis functions with the desired properties: natural cubic splines. Our method is computationally efficient and can be easily applied to a wide range of existing models. We compared the performance of spline-based methods to non-spline ones on simulated and experimental data, showing that spline-based methods consistently outperform the non-spline versions.


title: O-HAS: Optical Hardware Accelerator Search for Boosting Both Acceleration Performance and Development Speed

abstract: The recent breakthroughs and prohibitive complexities of Deep Neural Networks (DNNs) have excited extensive interest in domain-specific DNN accelerators, among which optical DNN accelerators are particularly promising thanks to their unprecedented potential of achieving superior performance-per-watt. However, the development of optical DNN accelerators is much slower than that of electrical DNN accelerators. One key challenge is that while many techniques have been developed to facilitate the development of electrical DNN accelerators, techniques that support or expedite optical DNN accelerator design remain much less explored, limiting both the achievable performance and the innovation development of optical DNN accelerators. To this end, we develop the first-of-its-kind framework dubbed O-HAS, which for the first time demonstrates automated Optical Hardware Accelerator Search for boosting both the acceleration efficiency and development speed of optical DNN accelerators. Specifically, our O-HAS consists of two integrated enablers: (1) an O-Cost Predictor, which can accurately yet efficiently predict an optical accelerator's energy and latency based on the DNN model parameters and the optical accelerator design; and (2) an O-Search Engine, which can automatically explore the large design space of optical DNN accelerators and identify the optimal accelerators (i.e., the micro-architectures and algorithm-to-accelerator mapping methods) in order to maximize the target acceleration efficiency. Extensive experiments and ablation studies consistently validate the effectiveness of both our O-Cost Predictor and O-Search Engine as well as the excellent efficiency of O-HAS generated optical accelerators.


title: A new method for obtaining a Born cross section using visible cross section data from $e^+e^-$ colliders

abstract: In this article, we propose a new method for obtaining a Born cross section using visible cross section data. It is assumed that the initial state radiation is taken into account in a visible cross section, while in a Born cross section this effect is ommited. Since the equation that connects Born and visible cross sections is an integral equation of the first kind, the problem of finding its numerical solution is ill-posed. Various regularization-based approaches are often used to solve ill-posed problems, since direct methods usually do not lead to an acceptable result. However, in this article it is shown that a direct method can be successfully used to numerically solve the considered equation under the condition of a small beam energy spread and uncertainty. This naive method is based on finding a numerical solution to the integral equation by reducing it to a system of linear equations. The naive method works well because the kernel of the integral operator is a rapidly decreasing function of the variable $x$. This property of the kernel leads to the fact that the condition number of the matrix of the system of linear equations is of the order of unity, which makes it possible to neglect the ill-posedness of the problem when the above condition is satisfied. The advantages of the naive method are its model independence and the possibility of obtaining the covariance matrix of a Born cross section in a simple way.


title: Unidirectional coupling of a quantum emitter to a subwavelength grating waveguide with engineered stationary inflection point

abstract: In this work, we propose an approach for the design of a waveguide structure that allows for efficient and highly asymmetric coupling of the quantum sources with circularly polarized transition dipole moments to the guided mode of the structure. The approach is based on the mixing of the two quasi-degenerate modes of a periodic waveguide with an auxiliary single-mode waveguide leading to the formation of the dispersion with a stationary inflection point and consequently to the high coupling efficiency of this mode with a dipole source. We show that the distribution of the field polarization inside the waveguide is relatively homogeneous maintaining the circular polarization in a large area. Consequently, this leads to a high degree of tolerance of the coupling asymmetry and strength to the position of the quantum emitter. We believe, that our results will extend the variety of designs of the efficient chiral nanophotonic interfaces based on planar semiconductor nanostructures.


title: A pH-based bio-rheostat: a proof-of-concept

abstract: New science and new technology need new materials and new concepts. In this respect, biological matter can play a primary role because it is a material with interesting and innovative features that have found several applications in technology, from highly sensitive sensors for medical treatments to devices for energy harvesting. Furthermore, most of its phenomenology remains unclear thus giving new hints for speculative investigations. In this letter, we explore the possibility to use a well-known photosensitive protein, the Reaction Center of Rhodobacter Sphaeroides, to build up an electrical pH sensor, i.e., a device able to change its resistance depending on the pH of the solution in which it crystalizes. By using a microscopic model successfully tested on analogue proteins, we investigate the electrical response of the Reaction Center single protein under different conditions of applied bias, showing the feasibility of the bio-rheostat hypothesis. As a matter of facts, the calculated resistance of this protein grows of about 100% when going from a pH = 10 to a pH = 6.5. Moreover, calculations of the current voltage characteristics well agree with available experiments performed with a current atomic force microscopy under neutral conditions. All findings are in qualitative agreement with the known role of pH in biochemical activities of Reaction Center and similar proteins, therefore supporting a proof-of-concept for the development of new electron devices based on biomaterials.


title: Application of Herglotz's Variational Principle to Electromagnetic Systems with Dissipation

abstract: This work applies the contact formalism of classical mechanics and classical field theory, introduced by Herglotz and later developed in the context of contact geometry, to describe electromagnetic systems with dissipation. In particular, we study an electron in a non-perfect conductor and a variation of the cyclotron radiation. In order to apply the contact formalism to a system governed by the Lorentz force, it is necessary to generalize the classical electromagnetic gauge and add a term in the Lagrangian. We also apply the k-contact theory for classical fields to model the behaviour of electromagnetic fields themselves under external damping. In particular, we show how the theory describes the evolution of electromagnetic fields in media under some circumstances. The corresponding Poynting theorem is derived. We discuss its applicability to the Lorentz dipole model and to a highly resistive dielectric.


title: Graph Capsule Aggregation for Unaligned Multimodal Sequences

abstract: Humans express their opinions and emotions through multiple modalities which mainly consist of textual, acoustic and visual modalities. Prior works on multimodal sentiment analysis mostly apply Recurrent Neural Network (RNN) to model aligned multimodal sequences. However, it is unpractical to align multimodal sequences due to different sample rates for different modalities. Moreover, RNN is prone to the issues of gradient vanishing or exploding and it has limited capacity of learning long-range dependency which is the major obstacle to model unaligned multimodal sequences. In this paper, we introduce Graph Capsule Aggregation (GraphCAGE) to model unaligned multimodal sequences with graph-based neural model and Capsule Network. By converting sequence data into graph, the previously mentioned problems of RNN are avoided. In addition, the aggregation capability of Capsule Network and the graph-based structure enable our model to be interpretable and better solve the problem of long-range dependency. Experimental results suggest that GraphCAGE achieves state-of-the-art performance on two benchmark datasets with representations refined by Capsule Network and interpretation provided.


title: Mellin moments of spin dependent and independent PDFs of the pion and rho meson

abstract: We compute the second moments of pion and rho parton distribution functions (PDFs) in lattice QCD with $N_f = 2+1$ flavors of improved Wilson fermions. We determine both singlet and non-singlet flavor combinations and, for the first time, take disconnected contributions fully into account. In the case of the rho, we also calculate the additional contribution arising from the $b_1$ structure function. The numerical analysis includes 26 ensembles, mainly generated by the CLS effort, with pion masses ranging from 420MeV down to 214MeV and with 5 different lattice spacings in the range of 0.1fm to 0.05fm. This enables us to take the continuum limit, as well as to resolve the quark mass dependencies reliably. Additionally we discuss the contaminations of rho correlation functions by two-pion states.


title: Band gap renormalization and indirect optical absorption in MgSiN$_2$ at finite temperature

abstract: We investigate the temperature effect on the electronic band structure and optical absorption property of wide-band-gap ternary nitride MgSiN$_2$ using first-principles calculations. We find that electron-phonon coupling leads to a sizable reduction in the indirect gap of MgSiN$_2$, which is indispensable in understanding the optoelectronic properties of this material. Taking the band gap renormalization into account, the band gap of MgSiN$_2$ determined by the quasiparticle GW0 calculations shows good agreement with recent experimental result. The predicted phonon-assisted indirect optical absorption spectra show that with increasing temperature the absorption onset undergoes a red-shift. Our work provides helpful insights to the nature of the band gap of MgSiN$_2$ and facilitates its application in ultraviolet optoelectronic devices.


title: Modified gravity models for inflation: In conformity with observations

abstract: We consider a modified gravity framework for inflation by adding to the Einstein-Hilbert action a direct $f(\phi)T$ term, where $\phi$ is identified as the inflaton and $T$ is the trace of the energy-momentum tensor. The framework goes to Einstein gravity naturally when the inflaton decays out. We investigate inflation dynamics in this $f(\phi)T$ gravity (not to be confused with torsion-scalar coupled theories) on a general basis and then apply it to three well-motivated inflationary models. We find that the predictions for the spectral tilt and the tensor-to-scalar ratio are sensitive to this new $f(\phi)T$ term. This $f(\phi)T$ gravity brings chaotic and natural inflation into better agreement with data and allows a larger tensor-to-scalar ratio in the Starobinsky model.


title: First estimations of Gravity Wave Potential Energy in the Martian thermosphere: An analysis using MAVEN NGIMS data

abstract: First estimations of Gravity Wave Potential Energy (GWPE) for the Martian thermosphere are reported herein using the height profile of CO2 density derived temperature fluctuations for different Martian seasons during the 33rd Martian year. Explicit diurnal evolution of GWPE (for 52o to 73o latitude bin) with a post sunset maximum is delineated for summer. The higher values of GWPE are observed during morning, compared to post mid-night (35 o to 55 o latitude bin) for summer. As the latitude increases from 16 o to 45 o, GWPE (1-4 LT bin) is found to be nearly doubled for summer. Further, GWPE estimates in autumn are 6 times higher during night compared to day (-45 o to -72 o latitude bin) and daytime ( -53 o to -72 o latitude bin) GWPE is much lower in autumn compared to spring for all longitudes. Overall, from the available data autumn (with respect to northern hemisphere) daytime periods appear better suited for aero-braking operations of Martian landing missions.


title: HAWK: Rapid Android Malware Detection through Heterogeneous Graph Attention Networks

abstract: Android is undergoing unprecedented malicious threats daily, but the existing methods for malware detection often fail to cope with evolving camouflage in malware. To address this issue, we present HAWK, a new malware detection framework for evolutionary Android applications. We model Android entities and behavioural relationships as a heterogeneous information network (HIN), exploiting its rich semantic metastructures for specifying implicit higher-order relationships. An incremental learning model is created to handle the applications that manifest dynamically, without the need for re-constructing the whole HIN and the subsequent embedding model. The model can pinpoint rapidly the proximity between a new application and existing in-sample applications and aggregate their numerical embeddings under various semantics. Our experiments examine more than 80,860 malicious and 100,375 benign applications developed over a period of seven years, showing that HAWK achieves the highest detection accuracy against baselines and takes only 3.5ms on average to detect an out-of-sample application, with the accelerated training time of 50x faster than the existing approach.


title: A Localized Method for the Multi-commodity Flow Problem

abstract: This paper presents a local-control approach to address the multicommodity flow problem. The method involves relaxing both capacity constraints and flow conservation constraints. If the flow exceeds the capacity on an edge, the edge would incur a congestion cost. If the flow into a vertex is not equal to that out of the vertex, the vertex would have a height. Subsequently, a new concept, stable pseudo-flow, is introduced. Potential difference reduction algorithms, which don't rely on any shortest path or augmenting path, are designed to obtain stable pseudo-flow. If the stable pseudo-flow is a nonzero-stable pseudo-flow, there exists no feasible solution for multicommodity flow problem. Conversely, if the stable pseudo-flow is a zero-stable pseudo-flow, the feasible solution exists and the zero-stable pseudo-flow is the feasible solution. Notably, the algorithms work in a localized manner and can be efficiently implemented in parallel, which would further enhance performance.


title: Modelling Time-Varying First and Second-Order Structure of Time Series via Wavelets and Differencing

abstract: Most time series observed in practice exhibit time-varying trend (first-order) and autocovariance (second-order) behaviour. Differencing is a commonly-used technique to remove the trend in such series, in order to estimate the time-varying second-order structure (of the differenced series). However, often we require inference on the second-order behaviour of the original series, for example, when performing trend estimation. In this article, we propose a method, using differencing, to jointly estimate the time-varying trend and second-order structure of a nonstationary time series, within the locally stationary wavelet modelling framework. We develop a wavelet-based estimator of the second-order structure of the original time series based on the differenced estimate, and show how this can be incorporated into the estimation of the trend of the time series. We perform a simulation study to investigate the performance of the methodology, and demonstrate the utility of the method by analysing data examples from environmental and biomedical science.


title: A heuristic for listing almost-clique minimal separators of a graph

abstract: Bodlaender and Koster (Discrete Mathematics 2006) introduced the notion of almost-clique separators in the context of computing the treewidth $\tw(G)$ of a given graph $G$. A separator $S \subseteq V(G)$ of $G$ is an \emph{almost-clique separator} if $S \setminus \{v\}$ is a clique of $G$ for some $v \in S$. $S$ is a \emph{minimal separator} if $S$ has at least two full components, where a full component of $S$ is a connected component $C$ of $G \setminus S$ such that $N_G(C) = S$. They observed that if $S$ is an almost-clique minimal separator of $G$ then $\tw(G \cup K(S)) = \tw(G)$, where $K(S)$ is the complete graph on vertex set $S$: in words, filling an almost-clique minimal separator into a clique does not increase the treewidth. Based on this observation, they proposed a preprocessing method for treewidth computation, a fundamental step of which is to find a preferably maximal set of pairwise non-crossing almost-clique minimal separators of a graph. In this paper, we present a heuristic for this step, which is based on the following empirical observation. For graph $G$ and a minimal triangulation $H$ of $G$, let $\QQ(H, G)$ denote the set of all almost-clique minimal separators of $G$ that are minimal separators of $H$. Note that since the minimal separators of $H$ are pairwise non-crossing, so are those in $\QQ(H, G)$. We observe from experiments that $\QQ(H, G)$ is remarkably close to maximal, especially when the minimal triangulation $H$ is computed by an algorithm aiming for small treewidth. This observation leads to an efficient implementation of the preprocessing method proposed by Bodlaender and Koster. Experiments on instances from PACE 2017 and other sources show that this implementation is extremely fast and effective for graphs of practical interest.


title: A simple equilibration procedure leading to polynomial-degree-robust a posteriori error estimators for the curl-curl problem

abstract: We introduce two a posteriori error estimators for N\'ed\'elec finite element discretizations of the curl-curl problem. These estimators pertain to a new Prager-Synge identity and an associated equilibration procedure. They are reliable and efficient, and the error estimates are polynomial-degree-robust. In addition, when the domain is convex, the reliability constants are fully computable. The proposed error estimators are also cheap and easy to implement, as they are computed by solving divergence-constrained minimization problems over edge patches. Numerical examples highlight our key findings, and show that both estimators are suited to drive adaptive refinement algorithms. Besides, these examples seem to indicate that guaranteed upper bounds can be achieved even in non-convex domains.


title: The descendant colored Jones polynomials

abstract: We discuss two realizations of the colored Jones polynomials of a knot, one from an unnoticed work of the second author in 1994 on quantum R-matrices at roots of unity obtained from solutions of the pentagon identity, and another one from recent work of D. Zagier and the first author regarding the Refined Quantum Modularity Conjecture, more precisely, the mysterious top row of a matrix of conjectured knot invariants.


title: KCNet: An Insect-Inspired Single-Hidden-Layer Neural Network with Randomized Binary Weights for Prediction and Classification Tasks

abstract: Fruit flies are established model systems for studying olfactory learning as they will readily learn to associate odors with both electric shock or sugar rewards. The mechanisms of the insect brain apparently responsible for odor learning form a relatively shallow neuronal architecture. Olfactory inputs are received by the antennal lobe (AL) of the brain, which produces an encoding of each odor mixture across ~50 sub-units known as glomeruli. Each of these glomeruli then project its component of this feature vector to several of ~2000 so-called Kenyon Cells (KCs) in a region of the brain known as the mushroom body (MB). Fly responses to odors are generated by small downstream neuropils that decode the higher-order representation from the MB. Research has shown that there is no recognizable pattern in the glomeruli--KC connections (and thus the particular higher-order representations); they are akin to fingerprints~-- even isogenic flies have different projections. Leveraging insights from this architecture, we propose KCNet, a single-hidden-layer neural network that contains sparse, randomized, binary weights between the input layer and the hidden layer and analytically learned weights between the hidden layer and the output layer. Furthermore, we also propose a dynamic optimization algorithm that enables the KCNet to increase performance beyond its structural limits by searching a more efficient set of inputs. For odorant-perception tasks that predict perceptual properties of an odorant, we show that KCNet outperforms existing data-driven approaches, such as XGBoost. For image-classification tasks, KCNet achieves reasonable performance on benchmark datasets (MNIST, Fashion-MNIST, and EMNIST) without any data-augmentation methods or convolutional layers and shows particularly fast running time. Thus, neural networks inspired by the insect brain can be both economical and perform well.