title: A Clustering and Demotion Based Algorithm for Inductive Learning of Default Theories

abstract: We present a clustering- and demotion-based algorithm called Kmeans-FOLD to induce nonmonotonic logic programs from positive and negative examples. Our algorithm improves upon-and is inspired by-the FOLD algorithm. The FOLD algorithm itself is an improvement over the FOIL algorithm. Our algorithm generates a more concise logic program compared to the FOLD algorithm. Our algorithm uses the K-means based clustering method to cluster the input positive samples before applying the FOLD algorithm. Positive examples that are covered by the partially learned program in intermediate steps are not discarded as in the FOLD algorithm, rather they are demoted, i.e., their weights are reduced in subsequent iterations of the algorithm. Our experiments on the UCI dataset show that a combination of K-Means clustering and our demotion strategy produces significant improvement for datasets with more than one cluster of positive examples. The resulting induced program is also more concise and therefore easier to understand compared to the FOLD and ALEPH systems, two state of the art inductive logic programming (ILP) systems.


title: Search for a $CP$-odd light Higgs boson in $J/\psi \to \gamma A^0$

abstract: Using $J/\psi$ radiative decays from 9.0 billion $J/\psi$ events collected by the BESIII detector, we search for di-muon decays of a $CP$-odd light Higgs boson ($A^0$), predicted by many new physics models beyond the Standard Model, including the Next-to-Minimal Supersymmetric Standard Model. No evidence for the $CP$-odd light Higgs production is found, and we set $90\%$ confidence level upper limits on the product branching fraction $\mathcal{B}(J/\psi \to \gamma A^0)\times \mathcal{B}(A^0 \to \mu^+\mu^-)$ in the range of $(1.2-778.0)\times 10^{-9}$ for $0.212 \le m_{A^0} \le 3.0$ GeV/$c^2$. The new measurement is a 6-7 times improvement over our previous measurement, and is also slightly better than the BaBar measurement in the low-mass region for $\tan \beta =1$.


title: A Doubly-pipelined, Dual-root Reduction-to-all Algorithm and Implementation

abstract: We discuss a simple, binary tree-based algorithm for the collective allreduce (reduction-to-all, MPI_Allreduce) operation for parallel systems consisting of $p$ suitably interconnected processors. The algorithm can be doubly pipelined to exploit bidirectional (telephone-like) communication capabilities of the communication system. In order to make the algorithm more symmetric, the processors are organized into two rooted trees with communication between the two roots. For each pipeline block, each non-leaf processor takes three communication steps, consisting in receiving and sending from and to the two children, and sending and receiving to and from the root. In a round-based, uniform, linear-cost communication model in which simultaneously sending and receiving $n$ data elements takes time $\alpha+\beta n$ for system dependent constants $\alpha$ (communication start-up latency) and $\beta$ (time per element), the time for the allreduce operation on vectors of $m$ elements is $O(\log p+\sqrt{m\log p})+3\beta m$ by suitable choice of the pipeline block size. We compare the performance of an implementation in MPI to similar reduce followed by broadcast algorithms, and the native MPI_Allreduce collective on a modern, small $36\times 32$ processor cluster. With proper choice of the number of pipeline blocks, it is possible to achieve better performance than pipelined algorithms that do not exploit bidirectional communication.


title: Mixing of 3-term progressions in Quasirandom Groups

abstract: In this note, we show the mixing of three-term progressions $(x, xg, xg^2)$ in every finite quasirandom groups, fully answering a question of Gowers. More precisely, we show that for any $D$-quasirandom group $G$ and any three sets $A_1, A_2, A_3 \subset G$, we have \[ \left|\Pr_{x,y\sim G}\left[ x \in A_1, xy \in A_2, xy^2 \in A_3\right] - \prod_{i=1}^3 \Pr_{x\sim G}\left[x \in A_i\right] \right| \leq \left(\frac{2}{\sqrt{D}}\right)^{\frac{1}{4}}.\] Prior to this, Tao answered this question when the underlying quasirandom group is $\mathrm{SL}_{d}(\mathbb{F}_q)$. Subsequently, Peluse extended the result to all nonabelian finite $\textit{simple}$ groups. In this work, we show that a slight modification of Peluse's argument is sufficient to fully resolve Gower's quasirandom conjecture for 3-term progressions. Surprisingly, unlike the proofs of Tao and Peluse, our proof is elementary and only uses basic facts from nonabelian Fourier analysis.


title: Logo Generation Using Regional Features: A Faster R-CNN Approach to Generative Adversarial Networks

abstract: In this paper we introduce Local Logo Generative Adversarial Network (LL-GAN) that uses regional features extracted from Faster R-CNN for logo generation. We demonstrate the strength of this approach by training the framework on a small style-rich dataset of real heavy metal logos to generate new ones. LL-GAN achieves Inception Score of 5.29 and Frechet Inception Distance of 223.94, improving on state-of-the-art models StyleGAN2 and Self-Attention GAN.


title: Group Shift Pointwise Convolution for Volumetric Medical Image Segmentation

abstract: Recent studies have witnessed the effectiveness of 3D convolutions on segmenting volumetric medical images. Compared with the 2D counterparts, 3D convolutions can capture the spatial context in three dimensions. Nevertheless, models employing 3D convolutions introduce more trainable parameters and are more computationally complex, which may lead easily to model overfitting especially for medical applications with limited available training data. This paper aims to improve the effectiveness and efficiency of 3D convolutions by introducing a novel Group Shift Pointwise Convolution (GSP-Conv). GSP-Conv simplifies 3D convolutions into pointwise ones with 1x1x1 kernels, which dramatically reduces the number of model parameters and FLOPs (e.g. 27x fewer than 3D convolutions with 3x3x3 kernels). Na\"ive pointwise convolutions with limited receptive fields cannot make full use of the spatial image context. To address this problem, we propose a parameter-free operation, Group Shift (GS), which shifts the feature maps along with different spatial directions in an elegant way. With GS, pointwise convolutions can access features from different spatial locations, and the limited receptive fields of pointwise convolutions can be compensated. We evaluate the proposed methods on two datasets, PROMISE12 and BraTS18. Results show that our method, with substantially decreased model complexity, achieves comparable or even better performance than models employing 3D convolutions.


title: Decision Making For Celebrity Branding: An Opinion Mining Approach Based On Polarity And Sentiment Analysis Using Twitter Consumer-Generated Content (CGC)

abstract: The volume of discussions concerning brands within social media provides digital marketers with great opportunities for tracking and analyzing the feelings and views of consumers toward brands, products, influencers, services, and ad campaigns in CGC. The present study aims to assess and compare the performance of firms and celebrities (i.e., influencers that with the experience of being in an ad campaign of those companies) with the automated sentiment analysis that was employed for CGC at social media while exploring the feeling of the consumers toward them to observe which influencer (of two for each company) had a closer effect with the corresponding corporation on consumer minds. For this purpose, several consumer tweets from the pages of brands and influencers were utilized to make a comparison of machine learning and lexicon-based approaches to the sentiment analysis through the Naive algorithm (lexicon-based) and Naive Bayes algorithm (machine learning method) and obtain the desired results to assess the campaigns. The findings suggested that the approaches were dissimilar in terms of accuracy; the machine learning method yielded higher accuracy. Finally, the results showed which influencer was more appropriate according to their existence in previous campaigns and helped choose the right influencer in the future for our company and have a better, more appropriate, and more efficient ad campaign subsequently. It is required to conduct further studies on the accuracy improvement of the sentiment classification. This approach should be employed for other social media CGC types. The results revealed decision-making for which sentiment analysis methods are the best approaches for the analysis of social media. It was also found that companies should be aware of their consumers' sentiments and choose the right person every time they think of a campaign.


title: Twistons in a Sea of Magic

abstract: Magic angle twisted trilayer graphene (TTG) has recently emerged as a new platform to engineer strongly correlated flat bands. Here, we reveal the structural and electronic properties of TTG using low temperature scanning tunneling microscopy at twist angles for which superconductivity has been observed. Real trilayer samples deviate from their idealized structure due to a strong reconstruction of the moir\'e lattice, which locks layers into near-magic angle, mirror symmetric domains comparable in size to the superconducting coherence length. The price for this magic relaxation is the introduction of an array of localized twist angle faults, termed twistons. These novel, gate-tunable moir\'e defects offer a natural explanation for the superconducting dome observed in transport and provide an avenue to probe superconducting pairing mechanisms through disorder tuning.


title: Weighted quadrature for hierarchical B-splines

abstract: We present weighted quadrature for hierarchical B-splines to address the fast formation of system matrices arising from adaptive isogeometric Galerkin methods with suitably graded hierarchical meshes. By exploiting a local tensor-product structure, we extend the construction of weighted rules from the tensor-product to the hierarchical spline setting. The proposed algorithm has a computational cost proportional to the number of degrees of freedom and advantageous properties with increasing spline degree. To illustrate the performance of the method and confirm the theoretical estimates, a selection of 2D and 3D numerical tests is provided.


title: IID Sampling from Intractable Multimodal and Variable-Dimensional Distributions

abstract: Bhattacharya (2021b) has introduced a novel methodology for generating iid realizations from any target distribution on the Euclidean space, irrespective of dimensionality. In this article, our purpose is two-fold. We first extend the method for obtaining iid realizations from general multimodal distributions, and illustrate with a mixture of two 50-dimensional normal distributions. Then we extend the iid sampling method for fixed-dimensional distributions to variable-dimensional situations and illustrate with a variable-dimensional normal mixture modeling of the well-known "acidity data", with further demonstration of the applicability of the iid sampling method developed for multimodal distributions.


title: A Novel Hybrid Convolutional Neural Network for Accurate Organ Segmentation in 3D Head and Neck CT Images

abstract: Radiation therapy (RT) is widely employed in the clinic for the treatment of head and neck (HaN) cancers. An essential step of RT planning is the accurate segmentation of various organs-at-risks (OARs) in HaN CT images. Nevertheless, segmenting OARs manually is time-consuming, tedious, and error-prone considering that typical HaN CT images contain tens to hundreds of slices. Automated segmentation algorithms are urgently required. Recently, convolutional neural networks (CNNs) have been extensively investigated on this task. Particularly, 3D CNNs are frequently adopted to process 3D HaN CT images. There are two issues with na\"ive 3D CNNs. First, the depth resolution of 3D CT images is usually several times lower than the in-plane resolution. Direct employment of 3D CNNs without distinguishing this difference can lead to the extraction of distorted image features and influence the final segmentation performance. Second, a severe class imbalance problem exists, and large organs can be orders of times larger than small organs. It is difficult to simultaneously achieve accurate segmentation for all the organs. To address these issues, we propose a novel hybrid CNN that fuses 2D and 3D convolutions to combat the different spatial resolutions and extract effective edge and semantic features from 3D HaN CT images. To accommodate large and small organs, our final model, named OrganNet2.5D, consists of only two instead of the classic four downsampling operations, and hybrid dilated convolutions are introduced to maintain the respective field. Experiments on the MICCAI 2015 challenge dataset demonstrate that OrganNet2.5D achieves promising performance compared to state-of-the-art methods.


title: Quadratic variation along refining partitions: Constructions and Examples

abstract: We present several constructions of paths and processes with finite quadratic variation along a refining sequence of partitions, extending previous constructions to the non-uniform case. We study in particular the dependence of quadratic variation with respect to the sequence of partitions for these constructions. We identify a class of paths whose quadratic variation along a partition sequence is invariant under {\it coarsening}. This class is shown to include typical sample paths of Brownian motion, but also paths which are $\frac{1}{2}$-H\"older continuous. Finally, we show how to extend these constructions to higher dimensions.


title: Hybrid Quantum Classical Graph Neural Networks for Particle Track Reconstruction

abstract: The Large Hadron Collider (LHC) at the European Organisation for Nuclear Research (CERN) will be upgraded to further increase the instantaneous rate of particle collisions (luminosity) and become the High Luminosity LHC (HL-LHC). This increase in luminosity will significantly increase the number of particles interacting with the detector. The interaction of particles with a detector is referred to as "hit". The HL-LHC will yield many more detector hits, which will pose a combinatorial challenge by using reconstruction algorithms to determine particle trajectories from those hits. This work explores the possibility of converting a novel Graph Neural Network model, that can optimally take into account the sparse nature of the tracking detector data and their complex geometry, to a Hybrid Quantum-Classical Graph Neural Network that benefits from using Variational Quantum layers. We show that this hybrid model can perform similar to the classical approach. Also, we explore Parametrized Quantum Circuits (PQC) with different expressibility and entangling capacities, and compare their training performance in order to quantify the expected benefits. These results can be used to build a future road map to further develop circuit based Hybrid Quantum-Classical Graph Neural Networks.


title: Dirac's Theorem for hamiltonian Berge cycles in uniform hypergraphs

abstract: The famous Dirac's Theorem gives an exact bound on the minimum degree of an $n$-vertex graph guaranteeing the existence of a hamiltonian cycle. We prove exact bounds of similar type for hamiltonian Berge cycles in $r$-uniform, $n$-vertex hypergraphs for all $3\leq r< n$. The bounds are different for $r<n/2$ and $r\geq n/2$. We also give bounds on the minimum degree guaranteeing existence of Berge cycles of length at least $k$ in such hypergraphs; the bounds are exact for all $k\geq n/2$.


title: Studying light flavour hadrons produced in the collision of different nuclei at the LHC

abstract: The study of identified particle production as a function of event multiplicity is a key tool for understanding the similarities and differences among different colliding systems. Now for the first time, we can investigate how particle production is affected by the collision geometry in heavy-ion collisions at the LHC. In these proceedings, we report newly obtained ALICE results on charged and identified particle production in Pb--Pb and Xe--Xe collision at $\sqrt{s_{\rm NN}} = 5.02$ and $\sqrt{s_{\rm NN}} = 5.44$ TeV, respectively, as a function of transverse momentum ($p_{\rm T}$) and collision centrality. Particle spectra and ratios are compared between two different colliding systems at similar charged-particle multiplicity densities ($\langle{\rm d}N_{\rm ch}/{\rm d}\eta\rangle$), and different initial eccentricities. We find that in central collisions, spectral shapes of different particles are driven by their masses. The $p_{\rm T}$-integrated particle yield ratios follow the same trends with $\langle{\rm d}N_{\rm ch}/{\rm d}\eta\rangle$ as previously observed in other systems, further suggesting that at the LHC energies, event hadrochemistry is dominantly driven by the charged-particle multiplicity density and not the collision system, geometry or center-of-mass energy.}


title: Relevance of Shear Transformations in the Relaxation of Supercooled Liquids

abstract: While deeply supercooled liquids exhibit divergent viscosity and increasingly heterogeneous dynamics as the temperature drops, their structure shows only seemingly marginal changes. Understanding the nature of relaxation processes in this dramatic slowdown is key for understanding the glass transition. Here, we show by atomistic simulations that the heterogeneous dynamics of glass-forming liquids strongly correlate with the local residual plastic strengths along soft directions computed in the initial inherent structures. The correlation increases with decreasing temperature and is maximum in the vicinity of the relaxation time. For the lowest temperature investigated, this maximum is comparable with the best values from the literature dealing with the structure-property relationship. However, the nonlinear probe of the local shear resistance in soft directions provides here a real-space picture of relaxation processes. Our detection method of thermal rearrangements allows us to investigate the first passage time statistics and to study the scaling between the activation energy barriers and the residual plastic strengths. These results shed new light on the nature of relaxations of glassy systems by emphasizing the analogy between the thermal relaxations in viscous liquids and the plastic shear transformation in amorphous solids.


title: An Analysis of Euclidean vs. Graph-Based Framing for Bilingual Lexicon Induction from Word Embedding Spaces

abstract: Much recent work in bilingual lexicon induction (BLI) views word embeddings as vectors in Euclidean space. As such, BLI is typically solved by finding a linear transformation that maps embeddings to a common space. Alternatively, word embeddings may be understood as nodes in a weighted graph. This framing allows us to examine a node's graph neighborhood without assuming a linear transform, and exploits new techniques from the graph matching optimization literature. These contrasting approaches have not been compared in BLI so far. In this work, we study the behavior of Euclidean versus graph-based approaches to BLI under differing data conditions and show that they complement each other when combined. We release our code at https://github.com/kellymarchisio/euc-v-graph-bli.


title: On intersection cohomology with torus action of complexity one, II

abstract: We show that the components, appearing in the decomposition theorem for contraction maps of torus actions of complexity one, are intersection cohomology complexes of even codimensional subvarieties. As a consequence, we obtain the vanishing of the odd dimensional intersection cohomology for rational complete varieties with torus action of complexity one. The article also presents structural results on linear torus action in order to compute the intersection cohomology from the weight matrix. In particular, we determine the intersection cohomology Betti numbers of affine trinomial hypersurfaces in terms of their defining equation.


title: Shearing in some simple rank one theories

abstract: Dividing asks about inconsistency along indiscernible sequences. In order to study the finer structure of simple theories without much dividing, the authors recently introduced shearing, which essentially asks about inconsistency along generalized indiscernible sequences. Here we characterize the shearing of the random graph. We then use shearing to distinguish between the random graph and the theories $T_{n,k}$, the higher-order analogues of the triangle-free random graph. It follows that shearing is distinct from dividing in simple unstable theories, and distinguishes meaningfully between classes of simple unstable rank one theories. The paper begins with an overview of shearing, and includes open questions.


title: Quantum Money from Quaternion Algebras

abstract: We propose a new idea for public key quantum money. In the abstract sense, our bills are encoded as a joint eigenstate of a fixed system of commuting unitary operators. We perform some basic analysis of this black box system and show that it is resistant to black box attacks. In order to instantiate this protocol, one needs to find a cryptographically complicated system of computable, commuting, unitary operators. To fill this need, we propose using Brandt operators acting on the Brandt modules associated to certain quaternion algebras. We explain why we believe this instantiation is likely to be secure.


title: REXPACO ASDI: Joint unmixing and deconvolution of the circumstellar environment by angular and spectral differential imaging

abstract: Angular and spectral differential imaging is an observational technique of choice to investigate the immediate vicinity of stars. The relative angular motion and spectral scaling between on-axis and off-axis sources are exploited by post-processing techniques to separate two components: the residual star light and the light coming from surrounding objects such as circumstellar disks or point-like objects. This paper introduces a new algorithm to jointly unmix these two components and deconvolve disk images. The proposed algorithm is based on a statistical modeling of the residual star light, accounting for its spatial and spectral correlations. While critical, these correlations are not modeled and compensated for by existing reconstruction algorithms. We leverage dedicated shrinkage techniques to estimate the large number of parameters of our model of correlations in a data-driven fashion. We show that the resulting separable model of the spatial and spectral covariances captures very accurately the star light, thus allowing its efficient suppression. We apply our method on several datasets from the VLT/SPHERE instrument and compare the performances against standard algorithms of the field (cADI, PCA). We show that accounting for the multiple correlations of the data significantly enhances the reconstruction quality, leading to better preservation of both the disk morphology and photometry. Thanks to its unique joint spectral modeling of the data, the proposed algorithm can reconstruct disks having a circular symmetry (e.g., rings, spirals) at intensities one million times fainter than the star, without resorting to additional reference datasets free from the off-axis objects.


title: Defect Prediction Guided Search-Based Software Testing

abstract: Today, most automated test generators, such as search-based software testing (SBST) techniques focus on achieving high code coverage. However, high code coverage is not sufficient to maximise the number of bugs found, especially when given a limited testing budget. In this paper, we propose an automated test generation technique that is also guided by the estimated degree of defectiveness of the source code. Parts of the code that are likely to be more defective receive more testing budget than the less defective parts. To measure the degree of defectiveness, we leverage Schwa, a notable defect prediction technique. We implement our approach into EvoSuite, a state of the art SBST tool for Java. Our experiments on the Defects4J benchmark demonstrate the improved efficiency of defect prediction guided test generation and confirm our hypothesis that spending more time budget on likely defective parts increases the number of bugs found in the same time budget.


title: $B_3$ block representations of dimension 6 and braid reversions

abstract: We construct a family of six dimensional block representations of the braid group $B_3$ on three strings. We show that some of these representations can be used to detect braid vertibility of some known knots and others of 9 and 10 crossings.


title: Classical State Masking over a Quantum Channel

abstract: Transmission of classical information over a quantum state-dependent channel is considered, when the encoder can measure channel side information (CSI) and is required to mask information on the quantum channel state from the decoder. In this quantum setting, it is essential to conceal the CSI measurement as well. A regularized formula is derived for the masking equivocation region, and a full characterization is established for a class of measurement channels.


title: Geometric optimization of non-equilibrium adiabatic thermal machines and implementation in a qubit system

abstract: We adopt a geometric approach to describe the performance of adiabatic quantum machines, operating under slow time-dependent driving and in contact to two or more reservoirs with a temperature bias during all the cycle. We show that the problem of optimizing the power generation of a heat engine and the efficiency of both the heat engine and refrigerator operational modes is reduced to an isoperimetric problem with non-trivial underlying metrics and curvature. This corresponds to the maximization of the ratio between the area enclosed by a closed curve and its corresponding length. We illustrate this procedure in a qubit coupled to two reservoirs operating as a thermal machine by means of an adiabatic protocol.


title: A Survey of Spatio-Temporal Couplings throughout High-Power Ultrashort Lasers

abstract: The investigation of spatio-temporal couplings (STCs) of broadband light beams is becoming a key topic for the optimization as well as applications of ultrashort laser systems. This calls for accurate measurements of STCs. Yet, it is only recently that such complete spatio-temporal or spatio-spectral characterization has become possible, and it has so far mostly been implemented at the output of the laser systems, where experiments take place. In this survey, we present for the first time STC measurements at different stages of a collection of high-power ultrashort laser systems, all based on the chirped-pulse amplification (CPA) technique, but with very different output characteristics. This measurement campaign reveals spatio-temporal effects with various sources, and motivates the expanded use of STC characterization throughout CPA laser chains, as well as in a wider range of types of ultrafast laser systems. In this way knowledge will be gained not only about potential defects, but also about the fundamental dynamics and operating regimes of advanced ultrashort laser systems.


title: Performance Analysis of IRS-Assisted Cell-Free Communication

abstract: In this paper, the feasibility of adopting an intelligent reflective surface (IRS) in a cell-free wireless communication system is studied. The received signal-to-noise ratio (SNR) for this IRS-enabled cell-free set-up is optimized by adjusting phase-shifts of the passive reflective elements. Then, tight approximations for the probability density function and the cumulative distribution function for this optimal SNR are derived for Rayleigh fading. To investigate the performance of this system model, tight bounds/approximations for the achievable rate and outage probability are derived in closed form. The impact of discrete phase-shifts is modeled, and the corresponding detrimental effects are investigated by deriving an upper bound for the achievable rate in the presence of phase-shift quantization errors. Monte-Carlo simulations are used to validate our statistical characterization of the optimal SNR, and the corresponding analysis is used to investigate the performance gains of the proposed system model. We reveal that IRS-assisted communications can boost the performance of cell-free wireless architectures.


title: Why Do We Click: Visual Impression-aware News Recommendation

abstract: There is a soaring interest in the news recommendation research scenario due to the information overload. To accurately capture users' interests, we propose to model multi-modal features, in addition to the news titles that are widely used in existing works, for news recommendation. Besides, existing research pays little attention to the click decision-making process in designing multi-modal modeling modules. In this work, inspired by the fact that users make their click decisions mostly based on the visual impression they perceive when browsing news, we propose to capture such visual impression information with visual-semantic modeling for news recommendation. Specifically, we devise the local impression modeling module to simultaneously attend to decomposed details in the impression when understanding the semantic meaning of news title, which could explicitly get close to the process of users reading news. In addition, we inspect the impression from a global view and take structural information, such as the arrangement of different fields and spatial position of different words on the impression, into the modeling of multiple modalities. To accommodate the research of visual impression-aware news recommendation, we extend the text-dominated news recommendation dataset MIND by adding snapshot impression images and will release it to nourish the research field. Extensive comparisons with the state-of-the-art news recommenders along with the in-depth analyses demonstrate the effectiveness of the proposed method and the promising capability of modeling visual impressions for the content-based recommenders.


title: Unitary Selective Coupled-Cluster Method

abstract: Simulating molecules using the Variational Quantum Eigensolver method is one of the promising applications for NISQ-era quantum computers. Designing an efficient ansatz to represent the electronic wave function is crucial in such simulations. Standard unitary coupled-cluster with singles and doubles (UCCSD) ansatz tends to have a large number of insignificant terms that do not lower the energy of the system. In this work, we present a unitary selective coupled-cluster method, a way to construct a unitary coupled-cluster ansatz iteratively using a selection procedure with excitations up to fourth order. This approach uses the electronic Hamiltonian matrix elements and the amplitudes for excitations already present in the ansatz to find the important excitations of higher order and to add them to the ansatz. The important feature of the method is that it systematically reduces the energy error with increasing ansatz size for a set of test molecules. The main advantage of the proposed method is that the effort to increase the ansatz does not require any additional measurements on a quantum computer.


title: Monotonicity of eigenvalues of the fractional p-Laplacian with singular weights

abstract: We study a nonlinear, nonlocal eigenvalue problem driven by the fractional p-Laplacian with an indefinite, singular weight chosen in an optimal class. We prove the existence of an unbounded sequence of positive variational eigenvalues and alternative characterizations of the first and second eigenvalues. Then, by means of such characterizations, we prove strict decreasing monotonicity of such eigenvalues with respect to the weight function.


title: The $^{59}$Fe(n, {\gamma})$^{60}$Fe Cross Section from the Surrogate Ratio Method and Its Effect on the $^{60}$Fe Nucleosynthesis

abstract: The long-lived $^{60}$Fe (with a half-life of 2.62 Myr) is a crucial diagnostic of active nucleosynthesis in the Milky Way galaxy and in supernovae near the solar system. The neutron-capture reaction $^{59}$Fe(n,$\gamma$)$^{60}$Fe on $^{59}$Fe (half-life = 44.5 days) is the key reaction for the production of $^{60}$Fe in massive stars. This reaction cross section has been previously constrained by the Coulomb dissociation experiment, which offered partial constraint on the $E$1 $\gamma$-ray strength function but a negligible constraint on the $M$1 and $E$2 components. In this work, for the first time, we use the surrogate ratio method to experimentally determine the $^{59}$Fe(n,$\gamma$)$^{60}$Fe cross sections in which all the components are included. We derived a Maxwellian-averaged cross section of 27.5 $\pm$ 3.5 mb at $kT$= 30 keV and 13.4 $\pm$ 1.7 mb at $kT$= 90 keV, roughly 10 - 20% higher than previous estimates. We analyzed the impact of our new reaction rates in nucleosynthesis models of massive stars and found that uncertainties in the production of $^{60}$Fe from the $^{59}$Fe(n,$\gamma$)$^{60}$Fe rate are at most of 25%. We conclude that stellar physics uncertainties now play a major role in the accurate evaluation of the stellar production of $^{60}$Fe.


title: QA-Align: Representing Cross-Text Content Overlap by Aligning Question-Answer Propositions

abstract: Multi-text applications, such as multi-document summarization, are typically required to model redundancies across related texts. Current methods confronting consolidation struggle to fuse overlapping information. In order to explicitly represent content overlap, we propose to align predicate-argument relations across texts, providing a potential scaffold for information consolidation. We go beyond clustering coreferring mentions, and instead model overlap with respect to redundancy at a propositional level, rather than merely detecting shared referents. Our setting exploits QA-SRL, utilizing question-answer pairs to capture predicate-argument relations, facilitating laymen annotation of cross-text alignments. We employ crowd-workers for constructing a dataset of QA-based alignments, and present a baseline QA alignment model trained over our dataset. Analyses show that our new task is semantically challenging, capturing content overlap beyond lexical similarity and complements cross-document coreference with proposition-level links, offering potential use for downstream tasks.


title: Global in time self-interacting Dirac fields in the de Sitter space

abstract: In this paper the semilinear equation of the spin-$\frac{1}{2}$ fields in the de Sitter space is investigated. We prove the existence of the global in time small data solution in the expanding de Sitter universe. Then, under the Lochak-Majorana condition, we prove the existence of the global in time solution with large data. The sufficient conditions for the solutions to blow up in finite time are given for large data in the expanding and contracting de Sitter spacetimes. The influence of the Hubble constant on the lifespan is estimated.


title: Resummed Higgs boson cross section at next-to SV to $ \rm NNLO + \rm \overline {NNLL}$

abstract: We present the resummed predictions for inclusive cross section for the production of Higgs boson at next-to-next-to leading logarithmic ($\rm \overline {NNLL}$) accuracy taking into account both soft-virtual ($\rm SV$) and next-to SV ($\rm NSV$) threshold logarithms. We derive the $N$-dependent coefficients and the $N$-independent constants in Mellin-$N$ space for our study. Using the minimal prescription we perform the inverse Mellin transformation and match it with the corresponding fixed order results. We report in detail the numerical impact of $N$-independent part of resummed result and explore the ambiguity involved in exponentiating them. By studying the K factors at different logarithmic accuracy, we find that the perturbative expansion shows better convergence improving the reliability of the prediction at $\rm NNLO + \overline{NNLL}$ accuracy. For instance, the cross-section at $\rm NNLO + \overline{NNLL}$ accuracy reduces by $3.15\%$ as compared to the $\rm NNLO$ result for the central scale $\mu_R = \mu_F = m_H/2$ at 13 TeV LHC. We also observe that the resummed $\rm SV + NSV$ result improves the renormalisation scale uncertainty at every order in perturbation theory. The uncertainty from the renormalisation scale $\mu_R$ ranges between $(+8.85\% ,-10.12\%)$ at $\rm NNLO$ whereas it goes down to $(+6.54\% , - 8.32\%)$ at $\rm NNLO + \overline{NNLL}$ accuracy. However, the factorisation scale uncertainty is worsened by the inclusion of these NSV logarithms hinting the importance of resummation beyond $\rm NSV$ terms. We also present our predictions for $\rm SV + NSV$ resummed result at different collider energies.


title: Phase diagram and critical properties of a two-dimensional associating lattice gas

abstract: We revisit the associating lattice gas~(ALG) introduced by Henriques \textit{et al.} [PRE 71, 031504 (2005)] in its symmetric version. In this model, defined on the triangular lattice, interaction between molecules occupying nearest-neighbor sites depends on their relative orientation, mimicking the formation of hydrogen bonds in network-forming fluids. Although all previous studies of this model agree that it has a disordered fluid (DF), a low-density liquid (LDL) and a high-density liquid (HDL) phase, quite different forms have been reported for its phase diagram. Here, we present a thorough investigation of its phase behavior using both transfer matrix calculations and Monte Carlo (MC) simulations, along with finite-size scaling extrapolations. Results in striking agreement are found using these methods. The critical point associated with the DF-HDL transition at full occupancy, dentified by Furlan and coworkers [Phys.~Rev.~E~{\bf 100}, 022109 (2019)] is shown to be one terminus of a {\it critical line} separating these phases. In opposition to previous simulation studies, we find that the transition between the DF and LDL phases is always discontinuous, similar to the LDL-HDL transition. The associated coexistence lines meet at the point where the DF-HDL critical line ends, making it critical-end-point. Overall, the form of the phase diagram observed in our simulations is very similar to that found in the exact solution of the model on a Husimi lattice. Our results confirm that, despite the existence of some waterlike anomalies in this model, it is unable to reproduce key features of the phase behavior of liquid water.


title: Learning the GENERIC evolution

abstract: We propose a novel approach for learning the evolution that employs differentiable neural networks to approximate the full GENERIC structure. Instead of manually choosing the fitted parameters, we learn the whole model together with the evolution equations. We can reconstruct the energy and entropy functions for the system under various assumptions and accurately capture systems behaviour for a double thermoelastic pendulum and a rigid body.


title: Amplitude analysis and branching fraction measurement of the decay $D_{s}^{+} \to \pi^{+}\pi^{0}\pi^{0}$

abstract: Using a data set corresponding to an integrated luminosity of 6.32~$\rm fb^{-1}$ recorded by the BESIII detector at center-of-mass energies between 4.178 and 4.226~GeV, an amplitude analysis of the decay $D_{s}^{+} \to \pi^{+}\pi^{0}\pi^{0}$ is performed, and the relative fractions and phases of different intermediate processes are determined. The absolute branching fraction of the decay $D_{s}^{+} \to \pi^{+}\pi^{0}\pi^{0}$ is measured to be $(0.50\pm 0.04_{\text{stat}}\pm 0.02_{\text{syst}})\%$. The absolute branching fraction of the intermediate process $D_{s}^{+} \to f_0(980)\pi^{+}, f_0(980)\to\pi^{0}\pi^{0}$ is determined to be $(0.21\pm 0.03_{\text{stat}}\pm 0.03_{\text{syst}})\%$.


title: Stability Analysis and Stabilization of Linear Symmetric Matrix-Valued Continuous, Discrete, and Impulsive Dynamical Systems -- A Unified Approach for the Stability Analysis of Linear Systems

abstract: Symmetric matrix-valued dynamical systems are an important class of systems that can describe important processes such as covariance/second-order moment processes, or processes on manifolds and Lie Groups. We address here the case of processes that leave the cone of positive semidefinite matrices invariant, thereby including covariance and second-order moment processes. Both the continuous-time and the discrete-time cases are first considered. In the LTV case, the obtained stability and stabilization conditions are expressed as differential and difference Lyapunov conditions which are equivalent, in the LTI case, to some spectral conditions for the generators of the processes. Convex stabilization conditions are also obtained in both the continuous-time and the discrete-time setting. It is proven that systems with constant delays are stable provided that the systems with zero-delays are stable -- which mirrors existing results for linear positive systems. The results are then extended and unified into a impulsive formulation for which similar results are obtained. The proposed framework is very general and can recover and/or extend almost all the results on the literature of linear systems related to (mean-square) exponential (uniform) stability. Several examples are discussed to illustrate this claim by deriving stability conditions for stochastic systems driven by Brownian motion and Poissonian jumps, Markov jump systems, (stochastic) switched systems, (stochastic) impulsive systems, (stochastic) sampled-data systems, and all their possible combinations.


title: Improving Question Answering Performance Using Knowledge Distillation and Active Learning

abstract: Contemporary question answering (QA) systems, including transformer-based architectures, suffer from increasing computational and model complexity which render them inefficient for real-world applications with limited resources. Further, training or even fine-tuning such models requires a vast amount of labeled data which is often not available for the task at hand. In this manuscript, we conduct a comprehensive analysis of the mentioned challenges and introduce suitable countermeasures. We propose a novel knowledge distillation (KD) approach to reduce the parameter and model complexity of a pre-trained BERT system and utilize multiple active learning (AL) strategies for immense reduction in annotation efforts. In particular, we demonstrate that our model achieves the performance of a 6-layer TinyBERT and DistilBERT, whilst using only 2% of their total parameters. Finally, by the integration of our AL approaches into the BERT framework, we show that state-of-the-art results on the SQuAD dataset can be achieved when we only use 20% of the training data.


title: WCFS: A new framework for analyzing multiserver systems

abstract: Multiserver queueing systems are found at the core of a wide variety of practical systems. Many important multiserver models have a previously-unexplained similarity: identical mean response time behavior is empirically observed in the heavy traffic limit. We explain this similarity for the first time. We do so by introducing the work-conserving finite-skip (WCFS) framework, which encompasses a broad class of important models. This class includes the heterogeneous M/G/k, the limited processor sharing policy for the M/G/1, the threshold parallelism model, and the multiserver-job model under a novel scheduling algorithm. We prove that for all WCFS models, scaled mean response time $E[T](1-\rho)$ converges to the same value, $E[S^2]/(2E[S])$, in the heavy-traffic limit, which is also the heavy traffic limit for the M/G/1/FCFS. Moreover, we prove additively tight bounds on mean response time for the WCFS class, which hold for all load $\rho$. For each of the four models mentioned above, our bounds are the first known bounds on mean response time.


title: BigBFT: A Multileader Byzantine Fault Tolerance Protocol for High Throughput

abstract: This paper describes BigBFT, a multi-leader Byzantine fault tolerance protocol that achieves high throughput and scalable consensus in blockchain systems. BigBFT achieves this by (1) enabling every node to be a leader that can propose and order the blocks in parallel, (2) piggybacking votes within rounds, (3) pipelining blocks across rounds, and (4) using only two communication steps to order blocks in the common case. BigBFT has an amortized communication cost of $O(n)$ over $n$ requests. We evaluate BigBFT's performance both analytically, using back-of-the-envelope load formulas to construct a cost analysis, and also empirically by implementing it in our PaxiBFT framework. Our evaluation compares BigBFT with PBFT, Tendermint, Streamlet, and Hotstuff under various workloads using deployments of 4 to 20 nodes. Our results show that BigBFT outperforms PBFT, Tendermint, Streamlet, and Hotstuff protocols either in terms of latency (by up to $70\%$) or in terms of throughput (by up to $190\%$).


title: Linear Policies are Sufficient to Realize Robust Bipedal Walking on Challenging Terrains

abstract: In this work, we demonstrate robust walking in the bipedal robot Digit on uneven terrains by just learning a single linear policy. In particular, we propose a new control pipeline, wherein the high-level trajectory modulator shapes the end-foot ellipsoidal trajectories, and the low-level gait controller regulates the torso and ankle orientation. The foot-trajectory modulator uses a linear policy and the regulator uses a linear PD control law. As opposed to neural network-based policies, the proposed linear policy has only 13 learnable parameters, thereby not only guaranteeing sample efficient learning but also enabling simplicity and interpretability of the policy. This is achieved with no loss of performance on challenging terrains like slopes, stairs and outdoor landscapes. We first demonstrate robust walking in the custom simulation environment, MuJoCo, and then directly transfer to hardware with no modification of the control pipeline. We subject the biped to a series of pushes and terrain height changes, both indoors and outdoors, thereby validating the presented work.


title: Large deviations analysis for random combinatorial partitions with counter terms

abstract: In this paper, we study various models for random combinatorial partitions using large deviation analysis for diverging scale of the reference process. Scaling limits of similar models have been studied recently \cite{FSa,FSb} going back to \cite{Ver96}. After studying the reference model, we provide a complete analysis of two mean field models, one of which is well-know \cite{BCMP05} and the other one is the cycle mean field model. Both models show critical behaviour despite their rate functions having unique minimiser. The main focus is then a model with negative counter term, the probabilistic version of the so-called \emph{Huang-Yang-Luttinger} (HYL) model \cite{BLP}. Criticality in this model is the existence of a critical parameter for which two simultaneous minimiser exists. At criticality an order parameter is introduced as the double limits for the density of cycles with diverging length, and as such it extends recent work \cite{AD21}.


title: Quantum magnetic oscillations in Weyl semimetals with tilted nodes

abstract: A Weyl semimetal (WSM)\ is a three-dimensional topological phase of matter where pairs of nondegenerate bands cross at isolated points in the Brillouin zone called Weyl nodes. Near these points, the electronic dispersion is gapless and linear. A magnetic field $B$ changes this dispersion into a set of Landau levels which are dispersive along the direction of the magnetic field only. The $n=0$ Landau level is special since its dispersion$\ $is linear and unidirectional. The presence of this chiral level distinguishes Weyl from Schr\"{o}dinger fermions. In this paper, we study the quantum oscillations of the orbital magnetization and magnetic susceptibility in Weyl semimetals. We generalise earlier works% \cite{Mikitik2019} on these De Haas-Van Alphen oscillations by considering the effect of a tilt of the Weyl nodes. We study how the fundamental period of the oscillations in the small $B$ limit and the strength of the magnetic field $B_{1}$ required to reach the quantum limit are modified by the magnitude and orientation of the tilt vector $\mathbf{t}$. We show that the magnetization from a single node is finite in the $B\rightarrow 0$ limit. Its sign depends on the product of the chirality and sign of the tilt component along the magnetic field direction. We also study the magnetic oscillations from a pair of Weyl nodes with opposite chirality and with opposite or identical tilt. Our calculation shows that these two cases lead to a very different behavior of the magnetization in the small and large $B$ limits. We finally consider the effect of an energy shift $\pm \Delta _{0}$ of a pair of Weyl nodes on the magnetic oscillations. We assume a constant density of carriers so that both nodes share a common Fermi level. Our calculation can easily be extended to a WSM with an arbitrary number of pairs of Weyl nodes.


title: Expected value of the smallest denominator in a random interval of fixed radius

abstract: We compute the probability mass function of the random variable which returns the smallest denominator of a reduced fraction in a randomly chosen real interval of radius $\delta/2$. As an application, we prove that the expected value of the smallest denominator is asymptotic, as $\delta\rightarrow 0$, to $(16/\pi^2)\delta^{-1/2}.$


title: Dynamics of the absolute period foliation of a stratum of holomorphic 1-forms

abstract: Let $\mathcal{C}$ be a connected component of a stratum of the moduli space of holomorphic $1$-forms of genus $g$. We show that the absolute period foliation of $\mathcal{C}$ is ergodic on the area-$1$ locus, and that the non-dense leaves lie in an explicit countable union of suborbifolds, subject to a mild assumption on $\mathcal{C}$. We show similar results for subspaces of $\mathcal{C}$ defined by topological restrictions on the absolute periods. We obtain these dynamical results by showing that for a typical positive cohomology class in $H^1(S_g;\mathbb{C})$, the associated space of isoperiodic forms in $\mathcal{C}$ is connected. Lastly, we show that certain covering constructions provide examples of spaces of isoperiodic forms with positive dimension and infinitely many connected components.


title: Magnetized dusty black holes and wormholes

abstract: We consider the generalized Tolman solution of general relativity, describing the evolution of a spherical dust cloud in the presence of an external electric or magnetic field. The solution contains three arbitrary functions $f(R)$, $F(R)$ and $\tau_0(R)$, where $R$ is a radial coordinate in the comoving reference frame. The solution splits into three branches corresponding to hyperbolic ($f >0$), parabolic ($f=0$) and elliptic ($f < 0$) types of motion. In such models, we study the possible existence of wormhole throats defined as spheres of minimum radius at a fixed time instant, and prove the existence of throats in the elliptic branch under certain conditions imposed on the arbitrary functions. It is further shown that the normal to a throat is a timelike vector (except for the instant of maximum expansion, when this vector is null), hence a throat is in general located in a T-region of space-time. Thus if such a dust cloud is placed between two empty (Reissner-Nordstr\"om or Schwarzschild) space-time regions, the whole configuration is a black hole rather than a wormhole. However, dust clouds with throats can be inscribed into closed isotropic cosmological models filled with dust to form wormholes which exist for a finite period of time and experience expansion and contraction together with the corresponding cosmology. Explicit examples and numerical estimates are presented. The possible traversability of wormhole-like evolving dust layers is established by a numerical study of radial null geodesics.


title: On asymmetric dark matter constraints from the asteroseismology of a subgiant star

abstract: The asteroseismic modelling of solar-like stars has proved to be valuable in constraining dark matter. In this work we study for the first time the influence of asymmetric dark matter (ADM) in the evolution of a subgiant star (KIC 8228742) by direct comparison with observational data. Both spectroscopic and seismic data are analysed with a new approach to the stellar calibration method, in which DM properties can also be considered as free inputs. In another phase of this study, a calibrated standard stellar model (without DM) is used as the benchmark for DM models. We find that the latter models consistently outperform the former for $10^{-40} \leq \sigma_\mathrm{SD} < 10^{-38}$ cm$^2$, hinting that the presence of ADM in stars of this type does not go against observations. Moreover, we show that stellar seismology allows us to suggest exclusion limits that complement the constraints set by direct detection experiments. Different seismic observables are proposed to study DM properties and $\Delta\Pi_\ell$ is found to be the most reliable, having the potential to build future DM exclusion diagrams. This new methodology can be a powerful tool in the analysis of the data coming from the next generation of asteroseismic missions.


title: A Universal Formula For Counting Cubic Surfaces

abstract: Using equivariant geometry, we find a universal formula that computes the number of times a general cubic surface arises in a family. As applications, we show that the PGL(4) orbit closure of a generic cubic surface has degree 96120, and that a general cubic surface arises 42120 times as a hyperplane section of a general cubic 3-fold.


title: Properties of Poincar\'{e} half-maps for planar linear systems and some direct applications to periodic orbits of piecewise systems

abstract: This paper deals with fundamental properties of Poincar\'e half-maps defined on a straight line for planar linear systems. Concretely, we focus on the analyticity of the Poincar\'e half-maps, their series expansions (Taylor and Newton-Puiseux) at the tangency point and at infinity, the relative position between the graph of Poincar\'e half-maps and the bisector of the fourth quadrant, and the sign of their second derivatives. All these properties are essential to understand the dynamic behavior of planar piecewise linear systems. Accordingly, we also provide some of their most immediate, but non-trivial, consequences regarding periodic orbits.


title: MetaDrive: Composing Diverse Driving Scenarios for Generalizable Reinforcement Learning

abstract: Driving safely requires multiple capabilities from human and intelligent agents, such as the generalizability to unseen environments, the safety awareness of the surrounding traffic, and the decision-making in complex multi-agent settings. Despite the great success of Reinforcement Learning (RL), most of the RL research works investigate each capability separately due to the lack of integrated environments. In this work, we develop a new driving simulation platform called MetaDrive to support the research of generalizable reinforcement learning algorithms for machine autonomy. MetaDrive is highly compositional, which can generate an infinite number of diverse driving scenarios from both the procedural generation and the real data importing. Based on MetaDrive, we construct a variety of RL tasks and baselines in both single-agent and multi-agent settings, including benchmarking generalizability across unseen scenes, safe exploration, and learning multi-agent traffic. The generalization experiments conducted on both procedurally generated scenarios and real-world scenarios show that increasing the diversity and the size of the training set leads to the improvement of the RL agent's generalizability. We further evaluate various safe reinforcement learning and multi-agent reinforcement learning algorithms in MetaDrive environments and provide the benchmarks. Source code, documentation, and demo video are available at \url{ https://metadriverse.github.io/metadrive}.


title: Bright single-mode RR Lyrae stars: matching Gaia EDR3 with pulsation and evolutionary models

abstract: We combine observed metallicity, optical and infrared magnitudes with evolutionary and pulsation models to derive average luminosities for 156 single-mode RR Lyrae stars. These luminosities are compared with those obtained from the Gaia EDR3 parallaxes, and found in excellent agreement with the high accuracy subsample (62 stars, with relative parallax errors less than 2%). With the temperature and metallicity scale used, no parallax shift seems to be necessary when alpha-enhanced evolutionary models are employed. Some 10% of the sample shows curious `distance keeping' between the evolutionary and pulsation models. The cause of this behavior is not clear at this moment but can be cured by an excessive increase of the reddening.


title: Group Evacuation on a Line by Agents with Different Communication Abilities

abstract: We consider evacuation of a group of $n \geq 2$ autonomous mobile agents (or robots) from an unknown exit on an infinite line. The agents are initially placed at the origin of the line and can move with any speed up to the maximum speed $1$ in any direction they wish and they all can communicate when they are co-located. However, the agents have different wireless communication abilities: while some are fully wireless and can send and receive messages at any distance, a subset of the agents are senders, they can only transmit messages wirelessly, and the rest are receivers, they can only receive messages wirelessly. The agents start at the same time and their communication abilities are known to each other from the start. Starting at the origin of the line, the goal of the agents is to collectively find a target/exit at an unknown location on the line while minimizing the evacuation time, defined as the time when the last agent reaches the target. We investigate the impact of such a mixed communication model on evacuation time on an infinite line for a group of cooperating agents. In particular, we provide evacuation algorithms and analyze the resulting competitive ratio ($CR$) of the evacuation time for such a group of agents. If the group has two agents of two different types, we give an optimal evacuation algorithm with competitive ratio $CR=3+2 \sqrt{2}$. If there is a single sender or fully wireless agent, and multiple receivers we prove that $CR \in [2+\sqrt{5},5]$, and if there are multiple senders and a single receiver or fully wireless agent, we show that $CR \in [3,5.681319]$. Any group consisting of only senders or only receivers requires competitive ratio 9, and any other combination of agents has competitive ratio 3.


title: Insertion of Continuous Set-Valued Mappings

abstract: An interesting result about the existence of "intermediate" set-valued mappings between pairs of such mappings was obtained by Nepomnyashchii. His construction was for a paracompact domain, and he remarked that his result is similar to Dowker's insertion theorem and may represent a generalisation of this theorem. In the present paper, we characterise the $\tau$-paracompact normal spaces by this set-valued "insertion" property and for $\tau=\omega$, i.e. for countably paracompact normal spaces, we show that it is indeed equivalent to the mentioned Dowker's theorem. Moreover, we obtain a similar result for $\tau$-collectionwise normal spaces and show that for normal spaces, i.e. for $\omega$-collectionwise normal spaces, our result is equivalent to the Kat\v{e}tov-Tong insertion theorem. Several related results are obtained as well.


title: Ni3Si2 Nanowires for Efficient Electron Field Emission and Limitations of the Fowler-Nordheim Model

abstract: The paper reports on top-down nanofabricated Ni3Si2 nanowires and tests of their electron field emission capabilities. The results include low turn on electric field, moderate work function, and the field enhancement factor, customizable through nanofabrication. The paper also reports on the issues ahead in the field of nanowires-based electron mission, as there are quantitative limitations of the applicability of the Fowler-Nordheim model, which will become increasingly apparent as we continue to optimize field emission of electrons. To this end, we suggest adding the studies of surface-to-volume ratio effects of the nanowires as another standard for comparison, in order to lead to the input form of the density of states as quantum effects becoming more prominent.


title: Be More Active! Understanding the Differences between Mean and Sampled Representations of Variational Autoencoders

abstract: The ability of Variational Autoencoders to learn disentangled representations has made them appealing for practical applications. However, their mean representations, which are generally used for downstream tasks, have recently been shown to be more correlated than their sampled counterpart, on which disentanglement is usually measured. In this paper, we refine this observation through the lens of selective posterior collapse, which states that only a subset of the learned representations, the active variables, is encoding useful information while the rest (the passive variables) is discarded. We first extend the existing definition to multiple data examples and show that active variables are equally disentangled in mean and sampled representations. Based on this extension and the pre-trained models from disentanglement lib, we then isolate the passive variables and show that they are responsible for the discrepancies between mean and sampled representations. Specifically, passive variables exhibit high correlation scores with other variables in mean representations while being fully uncorrelated in sampled ones. We thus conclude that despite what their higher correlation might suggest, mean representations are still good candidates for downstream tasks applications. However, it may be beneficial to remove their passive variables, especially when used with models sensitive to correlated features.


title: Tomographic Volumetric Additive Manufacturing of Silicon Oxycarbide Ceramics

abstract: Ceramics are highly technical materials with properties of interest for multiple industries. Precisely because of their high chemical, thermal, and mechanical resistance, ceramics are difficult to mold into complex shapes. A possibility to make convoluted ceramic parts is to use preceramic polymers (PCP) in liquid form. The PCP resin is first solidified in a desired geometry and then transformed into ceramic compounds through a pyrolysis step that preserves the shape. Light-based additive manufacturing (AM) is a promising route to achieve solidification of the PCP resin. Different approaches, such as stereolithography, have already been proposed but they all rely on a layer-by-layer printing process which sets limitations on the printing speed and object geometry. Here, we report on the fabrication of complex 3D centimeter-scale ceramic parts by using tomographic volumetric printing which is fast, high resolution and offers a lot of freedom in terms of geometrical design compared to state-of-the-art AM techniques. First, we formulated a photosensitive preceramic resin that was solidified by projecting light patterns from multiple angles. Then, the obtained 3D printed parts were converted into ceramics by pyrolyzing them in a furnace. We demonstrate the strength of this approach through the fabrication of dense microcomponents exhibiting overhangs and hollow geometries without the need of supporting structures, and characterize their resistance to high heat and harsh chemical treatments.


title: A Morse-theoretical analysis of lensing in wormhole spacetimes

abstract: We consider a class of stationary and axisymmetric wormhole spacetimes that is closely related to, but not identical with, the class of Teo wormholes. We fix a point $p$ (observation event) and a timelike curve $\gamma$ (worldline of a light source), and we characterize the set of all past-oriented lightlike geodesics from $p$ to $\gamma$. As any such geodesic corresponds to an image of the light source on the observer's sky, this allows us to investigate the lensing properties of the wormhole. As a main result, we prove with the help of Morse theory that, under very mild conditions on $\gamma$, the observer always sees infinitely many images of $\gamma$. Moreover, we study some qualitative features of the lightlike geodesics with the help of two potentials that determine the sum of centrifugal and Coriolis forces of observers in circular motion for the case that the observers' velocity approaches the velocity of light. We exemplify the general results with two specific wormhole spacetimes.


title: The Connes Embedding Problem: A guided tour

abstract: The Connes Embedding Problem (CEP) is a problem in the theory of tracial von Neumann algebras and asks whether or not every tracial von Neumann algebra embeds into an ultrapower of the hyperfinite II$_1$ factor. The CEP has had interactions with a wide variety of areas of mathematics, including C*-algebra theory, geometric group theory, free probability, and noncommutative real algebraic geometry (to name a few). After remaining open for over 40 years, a negative solution was recently obtained as a corollary of a landmark result in quantum complexity theory known as $\operatorname{MIP}^*=\operatorname{RE}$. In these notes, we introduce all of the background material necessary to understand the proof of the negative solution of the CEP from $\operatorname{MIP}^*=\operatorname{RE}$. In fact, we outline two such proofs, one following the "traditional" route that goes via Kirchberg's QWEP problem in C*-algebra theory and Tsirelson's problem in quantum information theory and a second that uses basic ideas from logic.


title: On the Prunability of Attention Heads in Multilingual BERT

abstract: Large multilingual models, such as mBERT, have shown promise in crosslingual transfer. In this work, we employ pruning to quantify the robustness and interpret layer-wise importance of mBERT. On four GLUE tasks, the relative drops in accuracy due to pruning have almost identical results on mBERT and BERT suggesting that the reduced attention capacity of the multilingual models does not affect robustness to pruning. For the crosslingual task XNLI, we report higher drops in accuracy with pruning indicating lower robustness in crosslingual transfer. Also, the importance of the encoder layers sensitively depends on the language family and the pre-training corpus size. The top layers, which are relatively more influenced by fine-tuning, encode important information for languages similar to English (SVO) while the bottom layers, which are relatively less influenced by fine-tuning, are particularly important for agglutinative and low-resource languages.


title: Electronic phase separation: recent progress in the old problem

abstract: We consider the nanoscale electronic phase separation in a wide class of different materials, mostly in strongly correlated electron systems. The phase separation turns out to be quite ubiquitous manifesting itself in different situations, where the itineracy of charge carriers competes with their tendency toward localization. The latter is often related to some specific type of magnetic ordering, e.g. antiferromagnetic in manganites and low-spin states in cobaltites. The interplay between the localization-induced lowering of potential energy and metallicity (which provides the gain in the kinetic energy) favors an inhomogeneous ground state such as nanoscale ferromagnetic droplets in an antiferromagnetic insulating background. The present review article deals with the advances in the subject of electronic phase separation and formation of different types of nanoscale ferromagnetic (FM) metallic droplets (FM polarons or ferrons) in antiferromagnetically ordered (AFM), charge-ordered (CO), or orbitally-ordered (OO) insulating matrices, as well as the colossal magnetoresistance (CMR) effect and tunneling electron transport in the nonmetallic phase-separated state of complex magnetic oxides. It also touches upon the compounds with spin-state transitions, inhomogeneous phase-separated state in strongly correlated multiband systems, and electron polaron effect. A special, attention is paid to the systems with the imperfect Fermi surface nesting such as chromium alloys, iron-based pnictides, and AA stacked graphene bilayers.


title: Robust Coordination of Linear Threshold Dynamics on Directed Weighted Networks

abstract: We study asynchronous dynamics in a network of interacting agents updating their binary states according to a time-varying threshold rule. Specifically, agents revise their state asynchronously by comparing the weighted average of the current states of their neighbors in the interaction network with possibly heterogeneous time-varying threshold values. Such thresholds are determined by an exogenous signal representing an external influence field modeling the different agents' biases towards one state with respect to the other one. We prove necessary and sufficient conditions for global stability of consensus equilibria, i.e., equilibria where all agents have the same state, robustly with respect to the (constant or time-varying) external field. Our results apply to general weighted directed interaction networks and build on super-modularity properties of certain network coordination games whose best response dynamics coincide with the linear threshold dynamics. In particular, we introduce a novel notion of robust improvement paths for such games and characterize conditions for their existence.


title: Efficient Non-linear Calculators

abstract: A novel algorithm for producing smooth nonlinearities on digital hardware is presented. The non-linearities are inherently quadratic and have both symmetrical and asymmetrical variants. The integer (and fixed point) implementation is highly amenable for use with digital gates on an ASIC or FPGA. The implementations are multiplier-less. Scaling of the non-linear output, as required in an LSTM cell, is integrated into the implementation. This too does not require a multiplier. The non-linearities are useful as activation functions in a variety of ANN architectures. The floating point mappings have been compared with other non-linearities and have been benchmarked. Results show that these functions should be considered in the ANN design phase. The hardware resource usage of the implementations have been thoroughly investigated. Our results make a strong case for implementions in edge applications. This document summarizes the findings and serves to give a quick overview of the outcomes of our research\footnote{The authors peer-reviewed manuscripts (available at https://doi.org/10.1016/j.neucom.2021.02.030) offer more detail and may be better suited for a thorough consideration}.


title: Bi-eigenmaps and biharmonic submanifolds in a sphere

abstract: In this note, we classify biharmonic submanifolds in a sphere defined by bi-eigenmaps ($\Delta^2 \phi=\lambda \phi$) or buckling eigenmaps ($\Delta^2 \phi=-\mu \Delta \phi$). We then classify biharmonic bi-eigenmaps and buckling eigenmaps into spheres with constant energy density. The results can be viewed as generalizations of Takahashi's characterization of minimal submanifolds in a sphere by eigenmaps.


title: Nesterov Accelerated ADMM for Fast Diffeomorphic Image Registration

abstract: Deterministic approaches using iterative optimisation have been historically successful in diffeomorphic image registration (DiffIR). Although these approaches are highly accurate, they typically carry a significant computational burden. Recent developments in stochastic approaches based on deep learning have achieved sub-second runtimes for DiffIR with competitive registration accuracy, offering a fast alternative to conventional iterative methods. In this paper, we attempt to reduce this difference in speed whilst retaining the performance advantage of iterative approaches in DiffIR. We first propose a simple iterative scheme that functionally composes intermediate non-stationary velocity fields to handle large deformations in images whilst guaranteeing diffeomorphisms in the resultant deformation. We then propose a convex optimisation model that uses a regularisation term of arbitrary order to impose smoothness on these velocity fields and solve this model with a fast algorithm that combines Nesterov gradient descent and the alternating direction method of multipliers (ADMM). Finally, we leverage the computational power of GPU to implement this accelerated ADMM solver on a 3D cardiac MRI dataset, further reducing runtime to less than 2 seconds. In addition to producing strictly diffeomorphic deformations, our methods outperform both state-of-the-art deep learning-based and iterative DiffIR approaches in terms of dice and Hausdorff scores, with speed approaching the inference time of deep learning-based methods.


title: Self-generated gradients guide cells in their long-distance expeditions

abstract: Self-generated gradients (SGG) provide robust steering cues that guide cells in their long-distance expeditions during embryonic development, immune response, and cancer metastasis. Cells generate their own local, dynamic gradients by breaking down the broadly distributed attractants in the environment, which leads to propulsion. How cells sense the environment and the interplay of self-generated force and long-range range chemotactic interactions determines the collective behavior of cells in vivo is largely unknown. We develop a theory to provide quantitative insight into how self-generated chemotaxis (SGC) steers the collective migration of cells during their long-distance journeys. In an externally imposed gradient, the cells exhibit super-diffusive motion at time less than persistent time ($\tau_p$) and exhibit diffusive motion at time $t>\tau_p$. On the other hand breakdown of chemo-attractants influences the density fluctuations and long-range correlations emerge in the density of chemotactic cells. The cells exhibit superdiffusive motion at a longtime limit. The SGG provides an effective mechanism for long-distance travel compared to an externally imposed gradient. Our theory provides a general framework for studying the non-equilibrium dynamics of collections of interacting particles.


title: Soundata: A Python library for reproducible use of audio datasets

abstract: Soundata is a Python library for loading and working with audio datasets in a standardized way, removing the need for writing custom loaders in every project, and improving reproducibility by providing tools to validate data against a canonical version. It speeds up research pipelines by allowing users to quickly download a dataset, load it into memory in a standardized and reproducible way, validate that the dataset is complete and correct, and more. Soundata is based and inspired on mirdata and design to complement mirdata by working with environmental sound, bioacoustic and speech datasets, among others. Soundata was created to be easy to use, easy to contribute to, and to increase reproducibility and standardize usage of sound datasets in a flexible way.


title: Applying supervised and reinforcement learning methods to create neural-network-based agents for playing StarCraft II

abstract: Recently, multiple approaches for creating agents for playing various complex real-time computer games such as StarCraft II or Dota 2 were proposed, however, they either embed a significant amount of expert knowledge into the agent or use a prohibitively large for most researchers amount of computational resources. We propose a neural network architecture for playing the full two-player match of StarCraft II trained with general-purpose supervised and reinforcement learning, that can be trained on a single consumer-grade PC with a single GPU. We also show that our implementation achieves a non-trivial performance when compared to the in-game scripted bots. We make no simplifying assumptions about the game except for playing on a single chosen map, and we use very little expert knowledge. In principle, our approach can be applied to any RTS game with small modifications. While our results are far behind the state-of-the-art large-scale approaches in terms of the final performance, we believe our work can serve as a solid baseline for other small-scale experiments.


title: Equilibria and learning dynamics in mixed network coordination/anti-coordination games

abstract: Whilst network coordination games and network anti-coordination games have received a considerable amount of attention in the literature, network games with coexisting coordinating and anti-coordinating players are known to exhibit more complex behaviors. In fact, depending on the network structure, such games may even fail to have pure-strategy Nash equilibria. An example is represented by the well-known matching pennies (discoordination) game. In this work, we first provide graph-theoretic conditions for the existence of pure-strategy Nash equilibria in mixed network coordination/anti-coordination games of arbitrary size. For the case where such conditions are met, we then study the asymptotic behavior of best-response dynamics and provide sufficient conditions for finite-time convergence to the set of Nash equilibria. Our results build on an extension and refinement of the notion of network cohesiveness and on the formulation of the new concept of network indecomposibility.


title: Relativistic variational methods and the Virial Theorem

abstract: In the case of the one-electron Dirac equation with a point nucleus the Virial Theorem (VT) states that the ratio of the kinetic energy to potential energy is exactly $-1$, a ratio that can be an independent test of the accuracy of a computed solution. This paper studies the virial theorem for subshells of equivalent electrons and their interactions in many-electron atoms. It shows that some Slater integrals impose conditions on a single subshell but others impose conditions between subshells. The latter slow the rate of convergence of the self-consistent field process in which radial functions are updated one at a time. Several cases are considered.


title: VP-GO: a "light" action-conditioned visual prediction model

abstract: Visual prediction models are a promising solution for visual-based robotic grasping of cluttered, unknown soft objects. Previous models from the literature are computationally greedy, which limits reproducibility; although some consider stochasticity in the prediction model, it is often too weak to catch the reality of robotics experiments involving grasping such objects. Furthermore, previous work focused on elementary movements that are not efficient to reason in terms of more complex semantic actions. To address these limitations, we propose VP-GO, a ``light'' stochastic action-conditioned visual prediction model. We propose a hierarchical decomposition of semantic grasping and manipulation actions into elementary end-effector movements, to ensure compatibility with existing models and datasets for visual prediction of robotic actions such as RoboNet. We also record and release a new open dataset for visual prediction of object grasping, called PandaGrasp. Our model can be pre-trained on RoboNet and fine-tuned on PandaGrasp, and performs similarly to more complex models in terms of signal prediction metrics. Qualitatively, it outperforms when predicting the outcome of complex grasps performed by our robot.


title: Schur apolarity

abstract: Inspired by the classic apolarity theory of symmetric tensors, the aim of this paper is to introduce the Schur apolarity theory, i.e. an apolarity for any irreducible representation of the special linear group $SL(V)$. This allows to describe decompositions of structured tensors whose elementary elements are tensors that represent flags of the vector space $V$. The main result is the Schur apolarity lemma which is the analogous of the apolarity lemma of symmetric apolarity theory. Eventually we study the rank tensors of low border rank related to specific varieties giving rise also to simple algorithms.


title: PM-FSM: Policies Modulating Finite State Machine for Robust Quadrupedal Locomotion

abstract: Deep reinforcement learning (deep RL) has emerged as an effective tool for developing controllers for legged robots. However, vanilla deep RL often requires a tremendous amount of training samples and is not feasible for achieving robust behaviors. Instead, researchers have investigated a novel policy architecture by incorporating human experts' knowledge, such as Policies Modulating Trajectory Generators (PMTG). This architecture builds a recurrent control loop by combining a parametric trajectory generator (TG) and a feedback policy network to achieve more robust behaviors. To take advantage of human experts' knowledge but eliminate time-consuming interactive teaching, researchers have investigated a novel architecture, Policies Modulating Trajectory Generators (PMTG), which builds a recurrent control loop by combining a parametric trajectory generator (TG) and a feedback policy network to achieve more robust behaviors using intuitive prior knowledge. In this work, we propose Policies Modulating Finite State Machine (PM-FSM) by replacing TGs with contact-aware finite state machines (FSM), which offer more flexible control of each leg. Compared with the TGs, FSMs offer high-level management on each leg motion generator and enable a flexible state arrangement, which makes the learned behavior less vulnerable to unseen perturbations or challenging terrains. This invention offers an explicit notion of contact events to the policy to negotiate unexpected perturbations. We demonstrated that the proposed architecture could achieve more robust behaviors in various scenarios, such as challenging terrains or external perturbations, on both simulated and real robots. The supplemental video can be found at: https://youtu.be/78cboMqTkJQ.


title: HARP: Practically and Effectively Identifying Uncorrectable Errors in Memory Chips That Use On-Die Error-Correcting Codes

abstract: State-of-the-art techniques for addressing scaling-related main memory errors identify and repair bits that are at risk of error from within the memory controller. Unfortunately, modern main memory chips internally use on-die error correcting codes (on-die ECC) that obfuscate the memory controller's view of errors, complicating the process of identifying at-risk bits (i.e., error profiling). To understand the problems that on-die ECC causes for error profiling, we analytically study how on-die ECC changes the way that memory errors appear outside of the memory chip (e.g., to the memory controller). We show that on-die ECC introduces statistical dependence between errors in different bit positions, raising three key challenges for practical and effective error profiling. To address the three challenges, we introduce Hybrid Active-Reactive Profiling (HARP), a new error profiling algorithm that rapidly achieves full coverage of at-risk bits in memory chips that use on-die ECC. HARP separates error profiling into two phases: (1) using existing profiling techniques with the help of small modifications to the on-die ECC mechanism to quickly identify a subset of at-risk bits; and (2) using a secondary ECC within the memory controller to safely identify the remaining at-risk bits, if and when they fail. Our evaluations show that HARP achieves full coverage of all at-risk bits faster (e.g., 99th-percentile coverage 20.6%/36.4%/52.9%/62.1% faster, on average, given 2/3/4/5 raw bit errors per ECC word) than two state-of-the-art baseline error profiling algorithms, which sometimes fail to achieve full coverage. We perform a case study of how each profiler impacts the system's overall bit error rate (BER) when using a repair mechanism to tolerate DRAM data-retention errors. We show that HARP outperforms the best baseline algorithm (e.g., by 3.7x for a raw per-bit error probability of 0.75).


title: The Drinfeld--Sokolov reduction of admissible representations of affine Lie algebras

abstract: Fix an affine Lie algebra $\widehat{\mathfrak{g}}_\kappa$ with associated principal affine W-algebra $\mathcal{W}_\kappa$. A basic conjecture of Frenkel--Kac--Wakimoto asserts that Drinfeld--Sokolov reduction sends admissible $\widehat{\mathfrak{g}}_\kappa$-modules to zero or cohomological shifts of minimal series $\mathcal{W}_\kappa$-modules. We prove this conjecture and a natural generalization to the spectrally flowed Drinfeld--Sokolov reduction functors. This extends the previous results of Arakawa for the minus reduction.


title: X-ray signature of antistars in the Galaxy

abstract: The existence of macroscopic objects from antimatter (antistars) is envisaged in some models of baryogenesis. Searches for antistars has been usually carried out in gamma-rays through hadronic annihilation of matter. In astrophysically plausible cases of the interaction of neutral atmospheres or winds from antistars with ionized interstellar gas, the hadronic annihilation will be preceded by the formation of excited $p\bar p$ and He$\bar p$ atoms. These atoms rapidly cascade down to low levels prior to annihilation giving rise to a series of narrow lines which can be associated with the hadronic annihilation gamma-ray emission. The most significant are L (3p-2p) 1.73 keV line (yield more than 90\%) from $p\bar p$ atoms, and M (4-3) 4.86 keV (yield $\sim 60\% $) and L (3-2) 11.13 keV (yield about 25\%) lines from $^4$He$\bar p$ atoms. These lines can be probed in dedicated observations by forthcoming sensitive X-ray spectroscopic missions XRISM, \textit{Athena, \textit{Lynx}and in wide-field X-ray surveys like SRG/\textit{eROSITA} all-sky survey.


title: On local rings without small Cohen-Macaulay algebras in mixed characteristic

abstract: For any $d\ge 4$, by deformation theory of schemes, we present examples of (complete or excellent) $d$-dimensional mixed characteristic normal local domains admitting no small Cohen-Macaulay algebra, but admitting instances of small (maximal) Cohen-Macaulay modules. It is also shown that a graded normal domain over a field whose Proj is an Abelian variety admits a graded small (maximal) Cohen-Macaulay module.


title: Sparse Plus Low Rank Matrix Decomposition: A Discrete Optimization Approach

abstract: We study the Sparse Plus Low-Rank decomposition problem (SLR), which is the problem of decomposing a corrupted data matrix into a sparse matrix of perturbations plus a low-rank matrix containing the ground truth. SLR is a fundamental problem in Operations Research and Machine Learning which arises in various applications, including data compression, latent semantic indexing, collaborative filtering, and medical imaging. We introduce a novel formulation for SLR that directly models its underlying discreteness. For this formulation, we develop an alternating minimization heuristic that computes high-quality solutions and a novel semidefinite relaxation that provides meaningful bounds for the solutions returned by our heuristic. We also develop a custom branch-and-bound algorithm that leverages our heuristic and convex relaxations to solve small instances of SLR to certifiable (near) optimality. Given an input $n$-by-$n$ matrix, our heuristic scales to solve instances where $n=10000$ in minutes, our relaxation scales to instances where $n=200$ in hours, and our branch-and-bound algorithm scales to instances where $n=25$ in minutes. Our numerical results demonstrate that our approach outperforms existing state-of-the-art approaches in terms of rank, sparsity, and mean-square error while maintaining a comparable runtime.


title: Extracting and Inferring Personal Attributes from Dialogue

abstract: Personal attributes represent structured information about a person, such as their hobbies, pets, family, likes and dislikes. We introduce the tasks of extracting and inferring personal attributes from human-human dialogue, and analyze the linguistic demands of these tasks. To meet these challenges, we introduce a simple and extensible model that combines an autoregressive language model utilizing constrained attribute generation with a discriminative reranker. Our model outperforms strong baselines on extracting personal attributes as well as inferring personal attributes that are not contained verbatim in utterances and instead requires commonsense reasoning and lexical inferences, which occur frequently in everyday conversation. Finally, we demonstrate the benefit of incorporating personal attributes in social chit-chat and task-oriented dialogue settings.


title: Dynamic Risk Assessment for Geologic CO2 Sequestration

abstract: At a geologic CO2 sequestration (GCS) site, geologic uncertainty usually leads to large uncertainty in the predictions of properties that influence metrics for leakage risk assessment, such as CO2 saturations and pressures in potentially leaky wellbores, CO2/brine leakage rates, and leakage consequences such as changes in drinking water quality in groundwater aquifers. The large uncertainty in these risk-related system properties and risk metrics can lead to over-conservative risk management decisions to ensure safe operations of GCS sites. The objective of this work is to develop a novel approach based on dynamic risk assessment to effectively reduce the uncertainty in the predicted risk-related system properties and risk metrics. We demonstrate our framework for dynamic risk assessment on two case studies: a 3D synthetic example and a synthetic field example based on the Rock Springs Uplift (RSU) storage site in Wyoming, USA. Results show that the NRAP-Open-IAM risk assessment tool coupled with a conformance evaluation can be used to effectively quantify and reduce the uncertainty in the predictions of risk-related system properties and risk metrics in GCS.


title: Magnetic and magnetocaloric properties of melt-extracted Mn1.26Fe0.60P0.48Si0.52 microwires

abstract: The polycrystalline Mn1.26Fe0.60P0.48Si0.52 microwires were successfully fabricated for the first time by the melt-extraction technique, and their magnetic and magnetocaloric properties were investigated systematically. The structural analysis shows that the microwires possess a hexagonal phase with Fe2P type, with a homogeneous composition distribution. Magnetometry measurements show that the microwires undergo a weak first-order magnetic phase transition at a temperature of 142 K. The maximum magnetic entropy change of the microwires reaches 4.64 Jkg-1K-1 for a field change of 5 T. These low-cost Mn1.26Fe0.60P0.48Si0.52 microwires are promising for active magnetic refrigeration in the liquid nitrogen temperature range.


title: The ordered Bell numbers as weighted sums of odd or even Stirling numbers of the second kind

abstract: For the Stirling numbers of the second kind $S(n,k)$ and the ordered Bell numbers $B(n)$, we prove the identity $\sum_{k=1}^{n/2} S(n,2k)(2k-1)! = B(n-1)$. An analogous identity holds for the sum over odd $k$'s.


title: Optimal vaccine roll-out strategies with respect to social distancing measures for SARS-CoV-2 pandemic

abstract: Non-pharmacological interventions (NPIs), and in particular social distancing, in conjunction with the advent of effective vaccines at the end of 2020, aspired for the development of a protective immunity shield against the spread of SARS-CoV-2. The main question rose is related to the deployment strategy of the two doses with respect to the imposed NPIs and population age. In this study, an extended (SEIR) agent-based model on small-world networks was employed to identify the optimal policies against Covid 19 pandemic, including social distancing measures and mass vaccination. To achieve this, a new methodology is proposed to solve the inverse problem of calibrating an agent's infection rate with respect to vaccination efficacy. The results show that deploying the first vaccine dose across the whole population is sufficient to control the epidemic, with respect to deaths, even for low number of social contacts. Moreover, for the same range of social contacts, we found that there is an optimum ratio of vaccinating ages > 65 over the younger ones of 4/5.


title: Discovery of a uniquely cool and compact source at 28 parsecs from the Sun

abstract: We present the discovery of what appears to be both a uniquely cool and old white dwarf within 30 parsecs of the sun. DES J214756.46-403529.3 is detected in four separate surveys, 50 degrees away from the Galactic Plane. The combination of its very low luminosity and spectral energy distribution suggests an object unlike any other astrophysical body currently known. Among 8,000 of the nearest single objects in the immediate solar neighbourhood, it appears completely isolated in multiple colour-magnitude diagrams. The data seem compatible with an extremely old and cool white dwarf with a helium dominated atmosphere and a mass around 0.7-0.8\,\msun\ but spectroscopic follow-up is required to confirm its nature.


title: On sifted colimits in the presence of pullbacks

abstract: We show that in a category with pullbacks, arbitrary sifted colimits may be constructed as filtered colimits of reflexive coequalizers. This implies that "lex sifted colimits", in the sense of Garner--Lack, decompose as Barr-exactness plus filtered colimits commuting with finite limits. We also prove generalizations of these results for $\kappa$-small sifted and filtered colimits, and their interaction with $\lambda$-small limits in place of finite ones, generalizing Garner's characterization of algebraic exactness in the sense of Ad\'amek--Lawvere--Rosick\'y. Along the way, we prove a general result on classes of colimits, showing that the $\kappa$-small restriction of a saturated class of colimits is still "closed under iteration".


title: Automated Multi-Process CTC Detection using Deep Learning

abstract: Circulating Tumor Cells (CTCs) bear great promise as biomarkers in tumor prognosis. However, the process of identification and later enumeration of CTCs require manual labor, which is error-prone and time-consuming. The recent developments in object detection via Deep Learning using Mask-RCNNs and wider availability of pre-trained models have enabled sensitive tasks with limited data of such to be tackled with unprecedented accuracy. In this report, we present a novel 3-stage detection model for automated identification of Circulating Tumor Cells in multi-channel darkfield microscopic images comprised of: RetinaNet based identification of Cytokeratin (CK) stains, Mask-RCNN based cell detection of DAPI cell nuclei and Otsu thresholding to detect CD-45s. The training dataset is composed of 46 high variance data points, with 10 Negative and 36 Positive data points. The test set is composed of 420 negative data points. The final accuracy of the pipeline is 98.81%.


title: Quasi-polar spaces

abstract: Quasi-polar spaces are sets of points having the same intersection numbers with respect to hyperplanes as classical polar spaces. Non-classical examples of quasi-quadrics have been constructed using a technique called pivoting [5]. We introduce a more general notion of pivoting, called switching, and also extend this notion to Hermitian polar spaces. The main result of this paper studies the switching technique in detail by showing that, for q >= 4, if we modify the points of a hyperplane of a polar space to create a quasi-polar space, the only thing that can be done is pivoting. The cases q = 2 and q = 3 play a special role for parabolic quadrics and are investigated in detail. Furthermore, we give a construction for quasi-polar spaces obtained from pivoting multiple times. Finally, we focus on the case of parabolic quadrics in even characteristic and determine under which hypotheses the existence of a nucleus (which was included in the definition given in [5]) is guaranteed.


title: Backscatter Sensors Communication for 6G Low-powered NOMA-enabled IoT Networks under Imperfect SIC

abstract: The combination of non-orthogonal multiple access (NOMA) using power-domain with backscatter sensor communication (BSC) is expected to connect a large-scale Internet of things (IoT) devices in future sixth-generation (6G) era. In this paper, we introduce a BSC in multi-cell IoT network, where a source in each cell transmits superimposed signal to its associated IoT devices using NOMA. The backscatter sensor tag (BST) also transmit data towards IoT devices by reflecting and modulating the superimposed signal of the source. A new optimization framework is provided that simultaneously optimizes the total power of each source, power allocation coefficient of IoT devices and reflection coefficient of BST under imperfect successive interference cancellation decoding. The objective of this work is to maximize the total energy efficiency of IoT network subject to quality of services of each IoT device. The problem is first transformed using the Dinkelbach method and then decoupled into two subproblems. The Karush-Kuhn-Tucker conditions and Lagrangian dual method are employed to obtain the efficient solutions. In addition, we also present the conventional NOMA network without BSC as a benchmark framework. Simulation results unveil the advantage of our considered NOMA BSC networks over the conventional NOMA network.