title: Learning Geometry-Disentangled Representation for Complementary Understanding of 3D Object Point Cloud

abstract: In 2D image processing, some attempts decompose images into high and low frequency components for describing edge and smooth parts respectively. Similarly, the contour and flat area of 3D objects, such as the boundary and seat area of a chair, describe different but also complementary geometries. However, such investigation is lost in previous deep networks that understand point clouds by directly treating all points or local patches equally. To solve this problem, we propose Geometry-Disentangled Attention Network (GDANet). GDANet introduces Geometry-Disentangle Module to dynamically disentangle point clouds into the contour and flat part of 3D objects, respectively denoted by sharp and gentle variation components. Then GDANet exploits Sharp-Gentle Complementary Attention Module that regards the features from sharp and gentle variation components as two holistic representations, and pays different attentions to them while fusing them respectively with original point cloud features. In this way, our method captures and refines the holistic and complementary 3D geometric semantics from two distinct disentangled components to supplement the local information. Extensive experiments on 3D object classification and segmentation benchmarks demonstrate that GDANet achieves the state-of-the-arts with fewer parameters. Code is released on https://github.com/mutianxu/GDANet.


title: Impacts of noise on quenching of some models arising in MEMS technology

abstract: In the current work we study a stochastic parabolic problem. The underlying problem is actually motivated by the study of an idealized electrically actuated MEMS (Micro-Electro-Mechanical System) device in the case of random fluctuations of the potential difference controlling the device. We first present the mathematical model and then we deduce some local existence results. Next for some particular versions of the model, regarding its boundary conditions, we derive quenching results as well as estimations of the probability for such singularity to occur. Additional numerical study of the problem in one dimension follows, investigating the problem further with respect to its quenching behaviour.


title: Towards Trustworthy Predictions from Deep Neural Networks with Fast Adversarial Calibration

abstract: To facilitate a wide-spread acceptance of AI systems guiding decision making in real-world applications, trustworthiness of deployed models is key. That is, it is crucial for predictive models to be uncertainty-aware and yield well-calibrated (and thus trustworthy) predictions for both in-domain samples as well as under domain shift. Recent efforts to account for predictive uncertainty include post-processing steps for trained neural networks, Bayesian neural networks as well as alternative non-Bayesian approaches such as ensemble approaches and evidential deep learning. Here, we propose an efficient yet general modelling approach for obtaining well-calibrated, trustworthy probabilities for samples obtained after a domain shift. We introduce a new training strategy combining an entropy-encouraging loss term with an adversarial calibration loss term and demonstrate that this results in well-calibrated and technically trustworthy predictions for a wide range of domain drifts. We comprehensively evaluate previously proposed approaches on different data modalities, a large range of data sets including sequence data, network architectures and perturbation strategies. We observe that our modelling approach substantially outperforms existing state-of-the-art approaches, yielding well-calibrated predictions under domain drift.


title: Creation of a Chiral Bobber Lattice in Helimagnet-Multilayer Heterostructures

abstract: A chiral bobber is a localized three-dimensional magnetization configuration, terminated by a singularity. Chiral bobbers coexist with magnetic skyrmions in chiral magnets, lending themselves to new types of skyrmion-complementary bits of information. However, the on-demand creation of bobbers, as well as their direct observation remained elusive. Here, we introduce a new mechanism for creating a stable chiral bobber lattice state via the proximity of two skyrmion species with comparable size. This effect is experimentally demonstrated in a Cu$_2$OSeO$_3$/[Ta/CoFeB/MgO]$_4$ heterostructure in which an exotic bobber lattice state emerges in the phase diagram of Cu$_2$OSeO$_3$. To unambiguously reveal the existence of the chiral bobber lattice state, we have developed a novel characterization technique, magnetic truncation rod analysis, which is based on resonant elastic x-ray scattering.


title: A distributed hypergraph model for the full-scale simulation of the collaborations in dblp

abstract: This study proposed a model to give a full-scale simulation for the dynamics of the collaborations in the dblp dataset. It is a distributed model with the capability of simulating large hypergraphs, namely systems with heterogeneously multinary relationship. Its assembly mechanism of hyperedges is driven by Lotka's law and a cooperative game that maximizes benefit-cost ratio for collaborations. The model is built on a circle to express the game, expressing the cost by the distance between nodes. The benefit of coauthoring with a productive researcher or one with many coauthors is expressed by the cumulative degree or hyperdegree of nodes. The model successfully captures the multimodality of collaboration patterns emerged in the dblp dataset, and reproduces the evolutionary trends of collaboration pattern, degree, hyperdegree, clustering, and giant component over thirty years remarkably well. This model has the potential to be extended to understand the complexity of self-organized systems that evolve mainly driven by specific cooperative games, and would be capable of predicting the behavior patterns of system nodes.


title: Parity-Symmetry-Protected Bundle Emission

abstract: We demonstrate symmetry protected bundle emission in the cavity QED system under the ultrastrong coupling regime. Parity symmetry of Rabi model only permits the super-Rabi oscillations with periodic generation of even photons in cavity, which is realized by the laser driven flip of qubit and the parity conserved transitions induced by Rabi interaction. Combined with dissipation, only 2$n$-photon correlated emissions are allowed, and the corresponding purities are significantly enhanced by the parity symmetry, due to the almost perfect suppression of bundle emissions with odd correlated photons. The switching of bundle emissions between even and odd correlated photons can be controlled by manipulating the parity symmetry of system with an added magnetic field. This work extends multi-photon bundle emission to the ultrastrong coupling regime, and offers the prospect of exploring symmetry-protected multi-quanta physics.


title: A PROOF of Weak Graph Positivity, for a Large Range of the Parameters

abstract: One deals with r-regular bipartite graphs with 2n vertices. In a previous paper Butera, Pernici, and the author have introduced a quantity d(i), a function of the number of i-matchings, and conjectured that as n goes to infinity the fraction of graphs that satisfy Delta^k( d(i)) is non-negative, for all k and i, approaches 1. Here Delta is the finite difference operator. This conjecture we called the "graph positivity conjecture". "Weak graph positivity" is the conjecture that for each i and k the probability that Delta^k (d(i) is non-negative goes to 1 as n goes to infinity. Here we prove this for the range of parameters where r < 11, i+k < 101, k < 21, or i+k < 30 all r. A formalism of Wanless as systematized by Pernici is central to this effort.


title: Explaining Black-box Models for Biomedical Text Classification

abstract: In this paper, we propose a novel method named Biomedical Confident Itemsets Explanation (BioCIE), aiming at post-hoc explanation of black-box machine learning models for biomedical text classification. Using sources of domain knowledge and a confident itemset mining method, BioCIE discretizes the decision space of a black-box into smaller subspaces and extracts semantic relationships between the input text and class labels in different subspaces. Confident itemsets discover how biomedical concepts are related to class labels in the black-box's decision space. BioCIE uses the itemsets to approximate the black-box's behavior for individual predictions. Optimizing fidelity, interpretability, and coverage measures, BioCIE produces class-wise explanations that represent decision boundaries of the black-box. Results of evaluations on various biomedical text classification tasks and black-box models demonstrated that BioCIE can outperform perturbation-based and decision set methods in terms of producing concise, accurate, and interpretable explanations. BioCIE improved the fidelity of instance-wise and class-wise explanations by 11.6% and 7.5%, respectively. It also improved the interpretability of explanations by 8%. BioCIE can be effectively used to explain how a black-box biomedical text classification model semantically relates input texts to class labels. The source code and supplementary material are available at https://github.com/mmoradi-iut/BioCIE.


title: Automated Clustering of High-dimensional Data with a Feature Weighted Mean Shift Algorithm

abstract: Mean shift is a simple interactive procedure that gradually shifts data points towards the mode which denotes the highest density of data points in the region. Mean shift algorithms have been effectively used for data denoising, mode seeking, and finding the number of clusters in a dataset in an automated fashion. However, the merits of mean shift quickly fade away as the data dimensions increase and only a handful of features contain useful information about the cluster structure of the data. We propose a simple yet elegant feature-weighted variant of mean shift to efficiently learn the feature importance and thus, extending the merits of mean shift to high-dimensional data. The resulting algorithm not only outperforms the conventional mean shift clustering procedure but also preserves its computational simplicity. In addition, the proposed method comes with rigorous theoretical convergence guarantees and a convergence rate of at least a cubic order. The efficacy of our proposal is thoroughly assessed through experimental comparison against baseline and state-of-the-art clustering methods on synthetic as well as real-world datasets.


title: Guidance Module Network for Video Captioning

abstract: Video captioning has been a challenging and significant task that describes the content of a video clip in a single sentence. The model of video captioning is usually an encoder-decoder. We find that the normalization of extracted video features can improve the final performance of video captioning. Encoder-decoder model is usually trained using teacher-enforced strategies to make the prediction probability of each word close to a 0-1 distribution and ignore other words. In this paper, we present a novel architecture which introduces a guidance module to encourage the encoder-decoder model to generate words related to the past and future words in a caption. Based on the normalization and guidance module, guidance module net (GMNet) is built. Experimental results on commonly used dataset MSVD show that proposed GMNet can improve the performance of the encoder-decoder model on video captioning tasks.


title: Recent advances in deep learning theory

abstract: Deep learning is usually described as an experiment-driven field under continuous criticizes of lacking theoretical foundations. This problem has been partially fixed by a large volume of literature which has so far not been well organized. This paper reviews and organizes the recent advances in deep learning theory. The literature is categorized in six groups: (1) complexity and capacity-based approaches for analyzing the generalizability of deep learning; (2) stochastic differential equations and their dynamic systems for modelling stochastic gradient descent and its variants, which characterize the optimization and generalization of deep learning, partially inspired by Bayesian inference; (3) the geometrical structures of the loss landscape that drives the trajectories of the dynamic systems; (4) the roles of over-parameterization of deep neural networks from both positive and negative perspectives; (5) theoretical foundations of several special structures in network architectures; and (6) the increasingly intensive concerns in ethics and security and their relationships with generalizability.


title: Semi-supervised Hyperspectral Image Classification with Graph Clustering Convolutional Networks

abstract: Hyperspectral image classification (HIC) is an important but challenging task, and a problem that limits the algorithmic development in this field is that the ground truths of hyperspectral images (HSIs) are extremely hard to obtain. Recently a handful of HIC methods are developed based on the graph convolution networks (GCNs), which effectively relieves the scarcity of labeled data for deep learning based HIC methods. To further lift the classification performance, in this work we propose a graph convolution network (GCN) based framework for HSI classification that uses two clustering operations to better exploit multi-hop node correlations and also effectively reduce graph size. In particular, we first cluster the pixels with similar spectral features into a superpixel and build the graph based on the superpixels of the input HSI. Then instead of performing convolution over this superpixel graph, we further partition it into several sub-graphs by pruning the edges with weak weights, so as to strengthen the correlations of nodes with high similarity. This second round of clustering also further reduces the graph size, thus reducing the computation burden of graph convolution. Experimental results on three widely used benchmark datasets well prove the effectiveness of our proposed framework.


title: On the graphs having at most one positive eccentricity eigenvalue

abstract: The eccentricity (anti-adjacency) matrix $\varepsilon(G)$ of a graph $G$ is obtained from the distance matrix by retaining the eccentricities in each row and each column. This matrix is first defined in 2018 by Wang et al. \cite{1}. In this paper we have characterized the graphs which have at most one (hence exactly) positive eigenvalue of $\varepsilon(G)$.


title: Little Hankel Operators Between Vector-Valued Bergman Spaces on the Unit Ball

abstract: In this paper, we study the boundedness and the compactness of the little Hankel operators $h_b$ with operator-valued symbols $b$ between different weighted vector-valued Bergman spaces on the open unit ball $\mathbb{B}_n$ in $\mathbb{C}^n.$ More precisely, given two complex Banach spaces $X,Y,$ and $0 < p,q \leq 1,$ we characterize those operator-valued symbols $b: \mathbb{B}_{n}\rightarrow \mathcal{L}(\overline{X},Y)$ for which the little Hankel operator $h_{b}: A^p_{\alpha}(\mathbb{B}_{n},X) \longrightarrow A^q_{\alpha}(\mathbb{B}_{n},Y),$ is a bounded operator. Also, given two reflexive complex Banach spaces $X,Y$ and $1 < p \leq q < \infty,$ we characterize those operator-valued symbols $b: \mathbb{B}_{n}\rightarrow \mathcal{L}(\overline{X},Y)$ for which the little Hankel operator $h_{b}: A^p_{\alpha}(\mathbb{B}_{n},X) \longrightarrow A^q_{\alpha}(\mathbb{B}_{n},Y),$ is a compact operator.


title: Radiative heating achieves the ultimate regime of thermal convection

abstract: The absorption of light or radiation drives turbulent convection inside stars, supernovae, frozen lakes and the Earth's mantle. In these contexts, the goal of laboratory and numerical studies is to determine the relation between the internal temperature gradients and the heat flux transported by the turbulent flow. This is the constitutive law of turbulent convection, to be input into large-scale models of such natural flows. However, in contrast with the radiative heating of natural flows, laboratory experiments have focused on convection driven by heating and cooling plates: the heat transport is then severely restricted by boundary layers near the plates, which prevents the realization of the mixing-length scaling-law used in evolution models of geophysical and astrophysical flows. There is therefore an important discrepancy between the scaling-laws measured in laboratory experiments and those used eg. in stellar evolution models. Here we provide experimental and numerical evidence that radiatively driven convection spontaneously achieves the mixing-length scaling regime, also known as the `ultimate' regime of thermal convection. This constitutes the first clear observation of this regime of turbulent convection. Our study therefore bridges the gap between models of natural flows and laboratory experiments. It opens an experimental avenue for a priori determinations of the constitutive laws to be implemented into models of geophysical and astrophysical flows, as opposed to empirical fits of these constitutive laws to the scarce observational data.


title: Toward Understanding the Influence of Individual Clients in Federated Learning

abstract: Federated learning allows mobile clients to jointly train a global model without sending their private data to a central server. Extensive works have studied the performance guarantee of the global model, however, it is still unclear how each individual client influences the collaborative training process. In this work, we defined a new notion, called {\em Fed-Influence}, to quantify this influence over the model parameters, and proposed an effective and efficient algorithm to estimate this metric. In particular, our design satisfies several desirable properties: (1) it requires neither retraining nor retracing, adding only linear computational overhead to clients and the server; (2) it strictly maintains the tenets of federated learning, without revealing any client's local private data; and (3) it works well on both convex and non-convex loss functions, and does not require the final model to be optimal. Empirical results on a synthetic dataset and the FEMNIST dataset demonstrate that our estimation method can approximate Fed-Influence with small bias. Further, we show an application of Fed-Influence in model debugging.


title: 5G New Radio Unlicensed: Challenges and Evaluation

abstract: To meet the high demand for mobile data, the Third Generation Partnership Project (3GPP) established a set of standards known as 5G New Radio (5G NR). The architecture of 5G NR includes a flexible radio access network and a core network. 3GPP has also been working on a new radio access technology, called 5G NR Unlicensed (5G NR-U), which aims at extending 5G NR to unlicensed bands. In this paper, we give an overview of the most recent 5G NR-U design elements and discuss potential concerns, including fair coexistence with other unlicensed technologies such as Wi-Fi. We use simulations to study coexistence between Wi-Fi and 5G NR-U systems. Our evaluation indicates that NR-U often achieves higher throughput and lower delay than Wi-Fi (802.11ac). The two systems experience different buffer occupancies and spectrum utilization statistics. We also discuss the improvements that NR-U offers over LTE Licensed Assisted Access (LTE-LAA).


title: The Baumkuchen Theorem

abstract: In this paper, we present the Baumkuchen Theorem related to the combination of divided Baumkuchen pieces. It can be proved using the basic properties of elementary geometry. We also apply some lemmas to prove the Pizza Theorem.


title: Study of Energy-Efficient Distributed RLS-based Learning with Coarsely Quantized Signals

abstract: In this work, we present an energy-efficient distributed learning framework using coarsely quantized signals for Internet of Things (IoT) networks. In particular, we develop a distributed quantization-aware recursive least squares (DQA-RLS) algorithm that can learn parameters in an energy-efficient fashion using signals quantized with few bits while requiring a low computational cost. Numerical results assess the DQA-RLS algorithm against existing techniques for a distributed parameter estimation task where IoT devices operate in a peer-to-peer mode.


title: Lexicographic Logic: a Many-valued Logic for Preference Representation

abstract: Logical formalisms provide a natural and concise means for specifying and reasoning about preferences. In this paper, we propose lexicographic logic, an extension of classical propositional logic that can express a variety of preferences, most notably lexicographic ones. The proposed logic supports a simple new connective whose semantics can be defined in terms of finite lists of truth values. We demonstrate that, despite the well-known theoretical limitations that pose barriers to the quantitative representation of lexicographic preferences, there exists a subset of the rational numbers over which the proposed new connective can be naturally defined. Lexicographic logic can be used to define in a simple way some well-known preferential operators, like "$A$ and if possible $B$", and "$A$ or failing that $B$". Moreover, many other hierarchical preferential operators can be defined using a systematic approach. We argue that the new logic is an effective formalism for ranking query results according to the satisfaction level of user preferences.


title: Can Everybody Sign Now? Exploring Sign Language Video Generation from 2D Poses

abstract: Recent work have addressed the generation of human poses represented by 2D/3D coordinates of human joints for sign language. We use the state of the art in Deep Learning for motion transfer and evaluate them on How2Sign, an American Sign Language dataset, to generate videos of signers performing sign language given a 2D pose skeleton. We evaluate the generated videos quantitatively and qualitatively showing that the current models are not enough to generated adequate videos for Sign Language due to lack of detail in hands.


title: Learning to Localize Through Compressed Binary Maps

abstract: One of the main difficulties of scaling current localization systems to large environments is the on-board storage required for the maps. In this paper we propose to learn to compress the map representation such that it is optimal for the localization task. As a consequence, higher compression rates can be achieved without loss of localization accuracy when compared to standard coding schemes that optimize for reconstruction, thus ignoring the end task. Our experiments show that it is possible to learn a task-specific compression which reduces storage requirements by two orders of magnitude over general-purpose codecs such as WebP without sacrificing performance.


title: Trace-class Gaussian priors for Bayesian learning of neural networks with MCMC

abstract: This paper introduces a new neural network based prior for real valued functions on $\mathbb R^d$ which, by construction, is more easily and cheaply scaled up in the domain dimension $d$ compared to the usual Karhunen-Lo\`eve function space prior. The new prior is a Gaussian neural network prior, where each weight and bias has an independent Gaussian prior, but with the key difference that the variances decrease in the width of the network in such a way that the resulting function is \emph{almost surely} well defined in the limit of an infinite width network. We show that in a Bayesian treatment of inferring unknown functions, the induced posterior over functions is amenable to Monte Carlo sampling using Hilbert space Markov chain Monte Carlo (MCMC) methods. This type of MCMC is popular, e.g. in the Bayesian Inverse Problems literature, because it is stable under \emph{mesh refinement}, i.e. the acceptance probability does not shrink to $0$ as more parameters of the function's prior are introduced, even \emph{ad infinitum}. In numerical examples we demonstrate these stated competitive advantages over other function space priors. We also implement examples in Bayesian Reinforcement Learning to automate tasks from data and demonstrate, for the first time, stability of MCMC to mesh refinement for these type of problems.


title: Black holes and Large $N$ complex saddles in 3D-3D correspondence

abstract: We study the large $ N$ sign oscillation of the twisted indices for 3D theories of class $\mathcal{R}$ obtained from M5-branes wrapped on a hyperbolic 3-manifold. Holographically, the oscillatory behavior can be understood from the imaginary part of on-shell actions for the two Euclidean supergravity solutions, Bolt$_{\pm}$ with $p=0$, which are Wick rotation of magnetically charged AdS$_4$ black holes. The two solutions have the same imaginary part with opposite sign. The imaginary part comes from the $F\wedge F$-term in the supergravity and the coefficient is proportional to the Chern-Simons invariant of 3-manifold. Combining the holographic computation with 3D-3D relation for twisted indices, we propose a non-trivial mathematical conjecture regarding the phase factor of a twisted Reidemeister-Ray-Singer torsion on hyperbolic 3-manifold.


title: SPlit: An Optimal Method for Data Splitting

abstract: In this article we propose an optimal method referred to as SPlit for splitting a dataset into training and testing sets. SPlit is based on the method of Support Points (SP), which was initially developed for finding the optimal representative points of a continuous distribution. We adapt SP for subsampling from a dataset using a sequential nearest neighbor algorithm. We also extend SP to deal with categorical variables so that SPlit can be applied to both regression and classification problems. The implementation of SPlit on real datasets shows substantial improvement in the worst-case testing performance for several modeling methods compared to the commonly used random splitting procedure.


title: Integral Kernels on Complex Symmetric Spaces and for the Dyson Brownian Motion

abstract: In this article, we consider flat and curved Riemannian symmetric spaces in the complex case and we study their basic integral kernels, in potential and spherical analysis: heat, Newton, Poisson kernels and spherical functions, i.e. the kernel of the spherical Fourier transform. We introduce and exploit a simple new method of construction of these $W$-invariant kernels by alternating sum formulas. We then use the alternating sum representation of these kernels to obtain their asymptotic behavior. We apply our results to the Dyson Brownian Motion on $R^d$.


title: Classifiable $\mathrm{C}^*$-algebras from minimal $\mathbb{Z}$-actions and their orbit-breaking subalgebras

abstract: In this paper we consider the question of what abelian groups can arise as the $K$-theory of $\mathrm{C}^*$-algebras arising from minimal dynamical systems. We completely characterize the $K$-theory of the crossed product of a space $X$ with finitely generated $K$-theory by an action of the integers and show that crossed products by a minimal homeomorphisms exhaust the range of these possible $K$-theories. Moreover, we may arrange that the minimal systems involved are uniquely ergodic, so that their $\mathrm{C}^*$-algebras are classified by their Elliott invariants. We also investigate the $K$-theory and the Elliott invariants of orbit-breaking algebras. We show that given arbitrary countable abelian groups $G_0$ and $G_1$ and any Choquet simplex $\Delta$ with finitely many extreme points, we can find a minimal orbit-breaking relation such that the associated $\mathrm{C}^*$-algebra has $K$-theory given by this pair of groups and tracial state space affinely homeomorphic to $\Delta$. We also improve on the second author's previous results by using our orbit-breaking construction to $\mathrm{C}^*$-algebras of minimal amenable equivalence relations with real rank zero that allow torsion in both $K_0$ and $K_1$. These results have important applications to the Elliott classification program for $\mathrm{C}^*$-algebras. In particular, we make a step towards determining the range of the Elliott invariant of the $\mathrm{C}^*$-algebras associated to \'{e}tale equivalence relations.


title: A time resolved study of injection backgrounds during the first commissioning phase of SuperKEKB

abstract: We report on measurements of beam backgrounds during the first commissioning phase of the SuperKEKB collider in 2016, performed with the plastic scintillator and silicon photomultiplier-based CLAWS detector system. The sub-nanosecond time resolution and single particle detection capability of the sensors allow bunch-by-bunch measurements, enable CLAWS to perform a novel time resolved analysis of beam backgrounds, and make the system uniquely suited for the study of injection backgrounds. We present measurements of various aspects of regular beam background and injection backgrounds which include time structure and decay behavior of injection backgrounds, hit-energy spectra and overall background rates. These measurements show that the elevated background rates following an injection generally last for several milliseconds, with the majority of the background particles typically observed within the first 500 us. The injection backgrounds exhibit pronounced patterns in time, connected to betatron and synchrotron oscillations in the accelerator rings. The frequencies of these patterns are determined from detector data.


title: Analysis of shape grammars: continuity of rules

abstract: The rules in a shape grammar apply in terms of embedding to take advantage of the parts that emerge visually in the appearance of shapes. While the shapes are kept unanalyzed as a computation moves forward, part-structures for shapes can be defined retrospectively by analyzing how the rules were applied. An important outcome of this is that rule continuity is not builtin but it is "fabricated" retrospectively to analyze the computation as a continuous process. An aspect of continuity analysis that has not been addressed in the literature is how to decide which mapping forms to use to study the continuity of rule applications. This is addressed in this paper using recent results on shape topology and continuous mappings. A characterization is provided that distinguishes the suitable mapping forms from those that are inherently discontinuous or practically inconsequential for continuity analysis. It is also shown that certain intrinsic properties of shape topologies and continuous mappings provide an effective method of computing topologies algorithmically.


title: Minimal homeomorphisms and topological $K$-theory

abstract: The Lefschetz fixed point theorem provides a powerful obstruction to the existence of minimal homeomorphisms on well-behaved spaces such as finite CW-complexes. We show that these obstructions do not hold for more general spaces. More precisely, minimal homeomorphisms are constructed on space with prescribed $K$-theory or cohomology. We also allow for some control of the map on $K$-theory and cohomology induced from these minimal homeomorphisms. This allows for the construction of many minimal homeomorphisms that are not homotopic to the identity. Applications to $C^*$-algebras will be discussed in another paper.


title: Predicting the Objective and Priority of Issue Reports in Software Repositories

abstract: Developers collaboratively discuss, implement, use, and share software entities hosted on software repositories. Proper documentation plays an important role in successful software management and maintenance. Users exploit Issue Tracking Systems, a facility of software repositories, to keep track of issue reports, to manage the workload and processes, and finally, to document the highlight of their team's effort. An issue report is a rich source of collaboratively curated software knowledge, and can contain a reported problem, a request for new features, or merely a question about the software product. As the number of these issues increases, it becomes harder to manage them manually. GitHub provides labels for tagging issues, as a means of issue management. However, about half of the issues in GitHub's top 1000 repositories do not have any labels. We aim at automating the process of managing issue reports for software teams. We propose a two-stage approach to predict both the objective behind opening an issue and its priority level using feature engineering methods and state-of-the-art text classifiers. To the best of our knowledge, we are the first to fine-tune a Transformer for issue classification. We train and evaluate our models in both project-based and cross-project settings. The latter approach provides a generic prediction model applicable for any unseen software project or projects with little historical data. Our proposed approach can successfully predict the objective and priority level of issue reports with 82% and 75% accuracy, respectively. Moreover, we conducted human labeling and evaluation on unlabeled issues from six unseen GitHub projects to assess the performance of the cross-project model on new data. The model achieves 90% accuracy. We obtain 85% average Percent Agreement and 71% Randolph's free-marginal Kappa translating to substantial agreement among labelers.


title: MA-Unet: An improved version of Unet based on multi-scale and attention mechanism for medical image segmentation

abstract: Although convolutional neural networks (CNNs) are promoting the development of medical image semantic segmentation, the standard model still has some shortcomings. First, the feature mapping from the encoder and decoder sub-networks in the skip connection operation has a large semantic difference. Second, the remote feature dependence is not effectively modeled. Third, the global context information of different scales is ignored. In this paper, we try to eliminate semantic ambiguity in skip connection operations by adding attention gates (AGs), and use attention mechanisms to combine local features with their corresponding global dependencies, explicitly model the dependencies between channels and use multi-scale predictive fusion to utilize global information at different scales. Compared with other state-of-the-art segmentation networks, our model obtains better segmentation performance while introducing fewer parameters.


title: The pulsational properties of ultra-massive DB white dwarfs with carbon-oxygen cores coming from single-star evolution

abstract: Ultra-massive white dwarfs are relevant for their role as type Ia Supernova progenitors, the occurrence of physical processes in the asymptotic giant-branch phase, the existence of high-field magnetic white dwarfs, and the occurrence of double white dwarf mergers. Some hydrogen-rich ultra-massive white dwarfs are pulsating stars, and as such, they offer the possibility of studying their interiors through asteroseismology. On the other hand, pulsating helium-rich ultra-massive white dwarfs could be even more attractive objects for asteroseismology if they were found, as they should be hotter and less crystallized than pulsating hydrogen-rich white dwarfs, something that would pave the way for probing their deep interiors. We explore the pulsational properties of ultra-massive helium-rich white dwarfs with carbon-oxygen and oxygen-neon cores resulting from single stellar evolution. Our goal is to provide a theoretical basis that could eventually help to discern the core composition of ultra-massive white dwarfs and the scenario of their formation through asteroseismology, anticipating the possible future detection of pulsations in this type of stars. We find that, given that the white dwarf models coming from the three scenarios considered are characterized by distinct core chemical profiles, their pulsation properties are also different, thus leading to distinctive signatures in the period-spacing and mode-trapping properties. Our results indicate that, in case of an eventual detection of pulsating ultra-massive helium-rich white dwarfs, it would be possible to derive valuable information encrypted in the core of these stars in connection with the origin of such exotic objects. The detection of pulsations in these stars has many chances to be achieved soon through observations collected with ongoing space missions.


title: Nonlinear realisations of Lie superalgebras

abstract: For any decomposition of a Lie superalgebra $\mathcal G$ into a direct sum $\mathcal G=\mathcal H\oplus\mathcal E$ of a subalgebra $\mathcal H$ and a subspace $\mathcal E$, without any further resctrictions on $\mathcal H$ and $\mathcal E$, we construct a nonlinear realisation of $\mathcal G$ on $\mathcal E$. The result generalises a theorem by Kantor from Lie algebras to Lie superalgebras. When $\mathcal G$ is a differential graded Lie algebra, we show that it gives a construction of an associated $L_\infty$-algebra.


abstract: We study Nevanlinna theory on complete K\"ahler manifolds. As a consequence of the main result, we prove a defect relation of holomorphic mappings from complete K\"ahler manifolds of non-positive sectional curvature into complex projective manifolds under certain growth condition.


title: Directly accessing octave-spanning dissipative Kerr soliton frequency combs in an AlN microring resonator

abstract: Self-referenced dissipative Kerr solitons (DKSs) based on optical microresonators offer prominent characteristics including miniaturization, low power consumption, broad spectral range and inherent coherence for various applications such as precision measurement, communications, microwave photonics, and astronomical spectrometer calibration. To date, octave-spanning DKSs with a free spectral range (FSR) of ~1 THz have been achieved only in ultrahigh-Q silicon nitride microresonators, with elaborate wavelength control required. Here we demonstrate an octave-spanning DKS in an aluminium nitride (AlN) microresonator with moderate loaded Q (500,000) and FSR of 374 GHz. In the design, a TE00 mode and a TE10 mode are nearly degenerate and act as pump and auxiliary modes. The presence of the auxiliary resonance balances the thermal dragging effect in dissipative soliton comb formation, crucially simplifying the DKS generation with a single pump and leading to a wide single soliton access window. We experimentally demonstrate stable DKS operation with a record single soliton step (~80 pm) and octave-spanning bandwidth (1100-2300 nm) through adiabatic pump tuning and on-chip power of 340 mW. Our scheme also allows for direct creation of the DKS state with high probability and without elaborate wavelength or power schemes being required to stabilize the soliton behavior.


title: Icarus: a Flat and Fast Prograde Stellar Stream in the Milky Way disk

abstract: We explore the local volume of the Milky Way via chemical and kinematical measurements from high quality astrometric and spectroscopic data recently released by the Gaia, APOGEE and GALAH programs. We chemically select $1137$ stars up to $2.5$~kpc of the Sun and $\rm{[Fe/H]} \le -1.0$~dex, and find evidence of statistically significant substructures. Clustering analysis in velocity space classifies $163$ objects into eight kinematical groups, whose origin is further investigated with high resolution N-body numerical simulations of single merging events. The two retrograde groups appear associated with Gaia-Sausage-Enceladus, while the slightly prograde group could be connected to GSE or possibly Wukong. We find evidence of a new 44-member-strong prograde stream we name Icarus; to our knowledge, Icarus is the fast-rotating stream closest to the Galactic disk to date ($\langle Z_{\rm max} \rangle \lesssim 0.5$~kpc, $\langle V+V_{\rm{LSR}}\rangle \simeq 231~\rm{km~s^{-1}}$). Its peculiar chemical ($\langle \rm{[Fe/H]}\rangle \simeq -1.45$, $\langle \rm{[Mg/Fe]}\rangle \simeq -0.02$) and dynamical (mean eccentricity $\simeq 0.11$) properties are consistent with the accretion of debris from a dwarf galaxy progenitor with a stellar mass of $\sim 10^9 M_\sun$ on an initial prograde low-inclination orbit, $\sim 10^\circ$. The remaining prograde groups are either streams previously released by the same progenitor of Icarus (or Nyx), or remnants from different satellites accreted on initial orbits at higher inclination.


title: Towards Automatic Digital Documentation and Progress Reporting of Mechanical Construction Pipes using Smartphones

abstract: This manuscript presents a new framework towards automated digital documentation and progress reporting of mechanical pipes in building construction projects, using smartphones. New methods were proposed to optimize video frame rate to achieve a desired image overlap; define metric scale for 3D reconstruction; extract pipes from point clouds; and classify pipes according to their planned bill of quantity radii. The effectiveness of the proposed methods in both laboratory (six pipes) and construction site (58 pipes) conditions was evaluated. It was observed that the proposed metric scale definition achieved sub-millimeter pipe radius estimation accuracy. Both laboratory and field experiments revealed that increasing the defined image overlap improved point cloud quality, pipe classification quality, and pipe radius/length estimation. Overall, it was found possible to achieve pipe classification F-measure, radius estimation accuracy, and length estimation percent error of 96.4%, 5.4mm, and 5.0%, respectively, on construction sites using at least 95% image overlap.


title: Physical Implementability of Linear Maps and Its Application in Error Mitigation

abstract: Completely positive and trace-preserving maps characterize physically implementable quantum operations. On the other hand, general linear maps, such as positive but not completely positive maps, which can not be physically implemented, are fundamental ingredients in quantum information, both in theoretical and practical perspectives. This raises the question of how well one can simulate or approximate the action of a general linear map by physically implementable operations. In this work, we introduce a systematic framework to resolve this task using the quasiprobability decomposition technique. We decompose a target linear map into a linear combination of physically implementable operations and introduce the physical implementability measure as the least amount of negative portion that the quasiprobability must pertain, which directly quantifies the cost of simulating a given map using physically implementable quantum operations. We show this measure is efficiently computable by semidefinite programs and prove several properties of this measure, such as faithfulness, additivity, and unitary invariance. We derive lower and upper bounds in terms of the Choi operator's trace norm and obtain analytic expressions for several linear maps of practical interests. Furthermore, we endow this measure with an operational meaning within the quantum error mitigation scenario: it establishes the lower bound of the sampling cost achievable via the quasiprobability decomposition technique. In particular, for parallel quantum noises, we show that global error mitigation has no advantage over local error mitigation.

categories: quant-ph cs.IT hep-th math-ph math.IT math.MP


title: Interior continuity, continuity up to the boundary and Harnack's inequality for double-phase elliptic equations with non-logarithmic conditions

abstract: We prove continuity and Harnack's inequality for bounded solutions to elliptic equations of the type $$ \begin{aligned} {\rm div}\big(|\nabla u|^{p-2}\,\nabla u+a(x)|\nabla u|^{q-2}\,\nabla u\big)=0,& \quad a(x)\geqslant0, \\ |a(x)-a(y)|\leqslant A|x-y|^{\alpha}\mu(|x-y|),& \quad x\neq y, \\ {\rm div}\Big(|\nabla u|^{p-2}\,\nabla u \big[1+\ln(1+b(x)\, |\nabla u|) \big] \Big)=0,& \quad b(x)\geqslant0, \\ |b(x)-b(y)|\leqslant B|x-y|\,\mu(|x-y|),& \quad x\neq y, \end{aligned} $$ $$ \begin{aligned} {\rm div}\Big(|\nabla u|^{p-2}\,\nabla u+ c(x)|\nabla u|^{q-2}\,\nabla u \big[1+\ln(1+|\nabla u|) \big]^{\beta} \Big)=0,& \quad c(x)\geqslant0, \, \beta\geqslant0,\phantom{=0=0} \\ |c(x)-c(y)|\leqslant C|x-y|^{q-p}\,\mu(|x-y|),& \quad x\neq y, \end{aligned} $$ under the precise choice of $\mu$.


title: Recent Developments in Detection of Central Serous Retinopathy through Imaging and Artificial Intelligence Techniques A Review

abstract: Central Serous Retinopathy (CSR) or Central Serous Chorioretinopathy (CSC) is a significant disease that causes blindness and vision loss among millions of people worldwide. It transpires as a result of accumulation of watery fluids behind the retina. Therefore, detection of CSR at early stages allows preventive measures to avert any impairment to the human eye. Traditionally, several manual methods for detecting CSR have been developed in the past; however, they have shown to be imprecise and unreliable. Consequently, Artificial Intelligence (AI) services in the medical field, including automated CSR detection, are now possible to detect and cure this disease. This review assessed a variety of innovative technologies and researches that contribute to the automatic detection of CSR. In this review, various CSR disease detection techniques, broadly classified into two categories: a) CSR detection based on classical imaging technologies, and b) CSR detection based on Machine/Deep Learning methods, have been reviewed after an elaborated evaluation of 29 different relevant articles. Additionally, it also goes over the advantages, drawbacks and limitations of a variety of traditional imaging techniques, such as Optical Coherence Tomography Angiography (OCTA), Fundus Imaging and more recent approaches that utilize Artificial Intelligence techniques. Finally, it is concluded that the most recent Deep Learning (DL) classifiers deliver accurate, fast, and reliable CSR detection. However, more research needs to be conducted on publicly available datasets to improve computation complexity for the reliable detection and diagnosis of CSR disease.


title: Conditional positive definiteness as a bridge between k-hyponormality and n-contractivity

abstract: For sequences $\alpha \equiv \{\alpha_n\}_{n=0}^{\infty}$ of positive real numbers, called weights, we study the weighted shift operators $W_{\alpha}$ having the property of moment infinite divisibility ($\mathcal{MID}$); that is, for any $p > 0$, the Schur power $W_{\alpha}^p$ is subnormal. We first prove that $W_{\alpha}$ is $\mathcal{MID}$ if and only if certain infinite matrices $\log M_{\gamma}(0)$ and $\log M_{\gamma}(1)$ are conditionally positive definite (CPD). Here $\gamma$ is the sequence of moments associated with $\alpha$, $M_{\gamma}(0),M_{\gamma}(1)$ are the canonical Hankel matrices whose positive semi-definiteness determines the subnormality of $W_{\alpha}$, and $\log$ is calculated entry-wise (i.e., in the sense of Schur or Hadamard). Next, we use conditional positive definiteness to establish a new bridge between $k$--hyponormality and $n$--contractivity, which sheds significant new light on how the two well known staircases from hyponormality to subnormality interact. As a consequence, we prove that a contractive weighted shift $W_{\alpha}$ is $\mathcal{MID}$ if and only if for all $p>0$, $M_{\gamma}^p(0)$ and $M_{\gamma}^p(1)$ are CPD.


title: Tuning the Magnetic and Electronic Properties of Strontium Titanate by Carbon Doping

abstract: The magnetic and electronic properties of strontium titanate with different carbon dopant configurations are explored using first-principles calculations with a generalized gradient approximation (GGA) and the GGA+U approach. Our results show that the structural stability, electronic properties and magnetic properties of C-doped SrTiO3 strongly depend on the distance between carbon dopants. In both GGA and GGA+U calculations, the doping structure is mostly stable with a nonmagnetic feature when the carbon dopants are nearest neighbors, which can be ascribed to the formation of a C-C dimer pair accompanied by stronger C-C and weaker C-Ti hybridizations as the C-C distance becomes smaller. As the C-C distance increases, C-doped SrTiO3 changes from an n-type nonmagnetic metal to ferromagnetic/antiferromagnetic half-metal and to an antiferromagnetic/ferromagnetic semiconductor in GGA calculations, while it changes from a nonmagnetic semiconductor to ferromagnetic half-metal and to an antiferromagnetic semiconductor using the GGA+U method. Our work demonstrates the possibility of tailoring the magnetic and electronic properties of C-doped SrTiO3, which might provide some guidance to extend the applications of strontium titanate as a magnetic or optoelectronic material.


title: GRACE -- gravity data for understanding the deep Earth's interior

abstract: While the main causes of the temporal gravity variations observed by the GRACE space mission result from water mass redistributions occurring at the surface of the Earth in response to climatic and anthropogenic forcings (e.g., changes in land hydrology, in ocean mass, in mass of glaciers and ice sheets), solid Earth's mass redistributions are also recorded by these observations. This is the case, in particular, for the Glacial Isostatic Adjustment (GIA) or the viscous response of the mantle to the last deglaciation. However, it is only recently showed that the gravity data also contain the signature of flows inside the outer core and their effects on the core-mantle boundary (CMB). Detecting deep Earth's processes in GRACE observations offers an exciting opportunity to provide additional insight on the dynamics of the core-mantle interface. Here, we present one aspect of the GRACEFUL (GRavimetry, mAgnetism and CorE Flow) project, i.e. the possibility to use the gravity field data for understanding the dynamic processes inside the fluid core and core-mantle boundary of the Earth, beside that offered by the geomagnetic field variations.


title: Understanding infection progression under strong control measures through universal COVID-19 growth signatures

abstract: Widespread growth signatures in COVID-19 confirmed case counts are reported, with sharp transitions between three distinct dynamical regimes (exponential, superlinear and sublinear). Through analytical and numerical analysis, a novel framework is developed that exploits information in these signatures. An approach well known to physics is applied, where one looks for common dynamical features, independently from differences in other factors. These features and associated scaling laws are used as a powerful tool to pinpoint regions where analytical derivations are effective, get an insight into qualitative changes of the disease progression, and infer the key infection parameters. The developed framework for joint analytical and numerical analysis of empirically observed COVID-19 growth patterns can lead to a fundamental understanding of infection progression under strong control measures, applicable to outbursts of both COVID-19 and other infectious diseases.


title: Inhomogeneous affine Volterra processes

abstract: We extend recent results on affine Volterra processes to the inhomogeneous case. This includes moment bounds of solutions of Volterra equations driven by a Brownian motion with an inhomogeneous kernel $K(t,s)$ and inhomogeneous drift and diffusion coefficients $b(s,X_s)$ and $\sigma(s,X_s)$. In the case of affine $b$ and $\sigma \sigma^T$ we show how the conditional Fourier-Laplace functional can be represented by a solution of an inhomogeneous Riccati-Volterra integral equation. For a kernel of convolution type $K(t,s)=\overline{K}(t-s)$ we establish existence of a solution to the stochastic inhomogeneous Volterra equation. If in addition $b$ and $\sigma \sigma^T$ are affine, we prove that the conditional Fourier-Laplace functional is exponential-affine in the past path. Finally, we apply these results to an inhomogeneous extension of the rough Heston model used in mathematical finance.


title: A new model with solitary waves: solution, stability and quasinormal modes

abstract: We construct solitary wave solutions in a $1+1$ dimensional massless scalar ($\phi$) field theory with a specially chosen potential $V(\phi)$. The equation governing perturbations about this solitary wave has an effective potential which is a simple harmonic well over a region, and a constant beyond. This feature allows us to ensure the stability of the solitary wave through the existence of bound states in the well, which can be found by semi-analytical methods. A further check on stability is performed through our search for quasi-normal modes (QNM) which are defined for purely outgoing boundary conditions. The time-domain profiles of the perturbations and the parametric variation of the QNM values are presented and discussed in some detail. Expectedly, a damped oscillatory temporal behaviour (ringdown) of the fluctuations is clearly seen through our analysis of the quasi-normal modes.


title: Auto-Encoded Reservoir Computing for Turbulence Learning

abstract: We present an Auto-Encoded Reservoir-Computing (AE-RC) approach to learn the dynamics of a 2D turbulent flow. The AE-RC consists of an Autoencoder, which discovers an efficient manifold representation of the flow state, and an Echo State Network, which learns the time evolution of the flow in the manifold. The AE-RC is able to both learn the time-accurate dynamics of the flow and predict its first-order statistical moments. The AE-RC approach opens up new possibilities for the spatio-temporal prediction of turbulence with machine learning.


title: The main vertices of a star set and related graph parameters

abstract: A vertex $v \in V(G)$ is called $\lambda$-main if it belongs to a star set $X \subset V(G)$ of the eigenvalue $\lambda$ of a graph $G$ and this eigenvalue is main for the graph obtained from $G$ by deleting all the vertices in $X \setminus \{v\}$; otherwise, $v$ is $\lambda$-non-main. Some results concerning main and non-main vertices of an eigenvalue are deduced. For a main eigenvalue $\lambda$ of a graph $G$, we introduce the minimum and maximum number of $\lambda$-main vertices in some $\lambda$-star set of $G$ as new graph invariant parameters. The determination of these parameters is formulated as a combinatorial optimization problem based on a simplex-like approach. Using these and some related parameters we develop new spectral tools that can be used in the research of the isomorphism problem. Examples of graphs for which the maximum number of $\lambda$-main vertices coincides with the cardinality of a $\lambda$-star set are provided.


title: Signatures of long range dipolar interactions in artificial square ice

abstract: Analyzing the magnetic structure factor of a field demagnetized artificial square ice, qualitative deviations from what would predict the square ice model are observed. Combining micromagnetic and Monte Carlo simulations, we demonstrate that these deviations signal the presence of interactions between nanomagnets that extend beyond nearest neighbors. Including further neighbor, dipolar-like couplings in the square ice model, we find that the first seven or eight coupling strengths are needed to reproduce semi-quantitatively the main features of the magnetic structure factor measured experimentally. An alternative, more realistic numerical scenario is also proposed in which the ice condition is slightly detuned. In that case as well, the features evidenced in the experimental magnetic structure factor are only well-described when further neighbor couplings are taken into account. Our results show that long range dipolar interactions are not totally washed out in a field demagnetized artificial square ice, and cannot be neglected as they impact the magnetic correlations within or at the vicinity of the ice manifold.


title: Chiral tunneling in single layer graphene with Rashba spin-orbit coupling: spin currents

abstract: We study forward scattering of 2D massless Dirac electrons at Fermi energy {\varepsilon} > 0 in single layer graphene through a 1D rectangular barrier of height {u_0} in the presence of uniform Rashba spin-orbit coupling (of strength {\lambda}). The role of the Klein paradox in graphene spintronics is thereby exposed. It is shown that (1) For {\varepsilon} - 2{\lambda} < {u_0}< {\varepsilon} + 2{\lambda} there is partial Klein tunneling, wherein the transmission is bounded by 1 and, quite remarkably, for small {\lambda} > {\lambda_0} {\approx} 0.1 meV, the transmission nearly vanishes when the scattering energy equals the barrier height, {\varepsilon}={u_0}. (2) Spin density and spin-current density are shown to be remarkably different than these observables predicted in bulk single layer graphene. In particular, they are sensitive to {\lambda} and {u_0}. (3) Spin current densities are space dependent, implying the occurrence of non-zero spin torque density. Such a system may serve as a graphene based spintronic device without the use of an external magnetic field or magnetic materials.


title: Orbital-resolved single atom magnetism measured with X-ray absorption spectroscopy

abstract: Lanthanide atoms and molecules are promising candidates for atomic data storage and quantum logic due to the long magnetic lifetime of their electron quantum states. Accessing these states through electrical transport requires the engineering of their electronic configuration down to the level of individual atomic orbitals. Here, we address the magnetism of surface-supported lanthanide atoms, clusters, and films with orbital selectivity using X-ray absorption spectroscopy and magnetic circular dichroism. We exploit the selection rules of electric dipole transitions to reveal the occupation and magnetism of the valence electrons of Gd and Ho deposited on MgO/Ag(100). Comparing our results with multiplet calculations and density functional theory, we identify a charge transfer mechanism that leaves the lanthanide species in an unconventional singly ionized configuration. Our approach allows determining the role of valence electrons on the quantum level structure of lanthanide-based nanostructures.


title: Affine noncommutative geometry

abstract: This is an introduction to noncommutative geometry, from an algebraic and probabilistic viewpoint. The spaces $\mathbb R^N,\mathbb C^N$ have no free analogues in the operator algebra sense, but the corresponding unit spheres $S^{N-1}_\mathbb R,S^{N-1}_\mathbb C$ do have free analogues $S^{N-1}_{\mathbb R,+},S^{N-1}_{\mathbb C,+}$. There are many examples of real algebraic submanifolds $X\subset S^{N-1}_{\mathbb R,+},S^{N-1}_{\mathbb C,+}$, some of which are of Riemannian flavor, coming with a Haar integration functional $\int:C(X)\to\mathbb C$, that we will study here. We will mostly focus on the free geometry, but we will discuss as well some related geometries, called easy, completing the picture formed by the 4 main geometries, namely classical/free, real/complex.


title: High-Fidelity Neural Human Motion Transfer from Monocular Video

abstract: Video-based human motion transfer creates video animations of humans following a source motion. Current methods show remarkable results for tightly-clad subjects. However, the lack of temporally consistent handling of plausible clothing dynamics, including fine and high-frequency details, significantly limits the attainable visual quality. We address these limitations for the first time in the literature and present a new framework which performs high-fidelity and temporally-consistent human motion transfer with natural pose-dependent non-rigid deformations, for several types of loose garments. In contrast to the previous techniques, we perform image generation in three subsequent stages, synthesizing human shape, structure, and appearance. Given a monocular RGB video of an actor, we train a stack of recurrent deep neural networks that generate these intermediate representations from 2D poses and their temporal derivatives. Splitting the difficult motion transfer problem into subtasks that are aware of the temporal motion context helps us to synthesize results with plausible dynamics and pose-dependent detail. It also allows artistic control of results by manipulation of individual framework stages. In the experimental results, we significantly outperform the state-of-the-art in terms of video realism. Our code and data will be made publicly available.


title: Quantum permutation groups

abstract: The permutation group $S_N$ has a quantum analogue $S_N^+$, which is infinite at $N\geq4$. We review the known facts regarding $S_N^+$, and notably its easiness property, Weingarten calculus, and the isomorphism $S_4^+=SO_3^{-1}$ and its consequences. We discuss then the structure of the closed subgroups $G\subset S_N^+$, and notably of the quantum symmetry groups of finite graphs $G^+(X)\subset S_N^+$, with particular attention to the quantum reflection groups $H_N^{s+}$. We also discuss, more generally, the quantum symmetry groups $S_F^+$ of the finite quantum spaces $F$, and their closed subgroups $G\subset S_F^+$, with particular attention to the quantum graph case, and to quantum reflection groups.


title: Notes on Hazard-Free Circuits

abstract: The problem of constructing hazard-free Boolean circuits (those avoiding electronic glitches) dates back to the 1940s and is an important problem in circuit design and even in cybersecurity. We show that a DeMorgan circuit is hazard-free if and only if the circuit produces (purely syntactically) all prime implicants as well as all prime implicates of the Boolean function it computes. This extends to arbitrary DeMorgan circuits a classical result of Eichelberger [IBM J. Res. Develop., 9 (1965)] showing this property for special depth-two circuits. Via an amazingly simple proof, we also strengthen a recent result Ikenmeyer et al. [J. ACM, 66:4 (2019)]: not only the complexities of hazard-free and monotone circuits for monotone Boolean functions do coincide, but every optimal hazard-free circuit for a monotone Boolean function must be monotone. Then we show that hazard-free circuit complexity of a very simple (non-monotone) Boolean function is super-polynomially larger than its unrestricted circuit complexity. This function accepts a Boolean n x n matrix iff every row and every column has exactly one 1-entry. Finally, we show that every Boolean function of n variables can be computed by a hazard-free circuit of size O(2^n/n).


title: Ground state energy threshold and blow-up for NLS with competing nonlinearities

abstract: We consider the nonlinear Schr\"odinger equation with combined nonlinearities, where the leading term is an intracritical focusing power-type nonlinearity, and the perturbation is given by a power-type defocusing one. We completely answer the question wether the ground state energy, which is a threshold between global existence and formation of singularities, is achieved. For any prescribed mass, for mass-supercritical or mass-critical defocusing perturbations, the ground state energy is achieved by a radially symmetric and decreasing solution to the associated stationary equation. For mass-subcritical perturbations, we show the existence of a critical prescribed mass, precisely the mass of the unique, static, positive solution to the associated elliptic equation, such that the ground state energy is achieved for any mass equal or smaller than the critical one. Moreover, the ground state energy is not achieved for mass larger than the critical one. As a byproduct of the variational characterization of the ground state energy, we prove the existence of blowing-up solutions in finite time, for any energy below the ground state energy threshold.


title: Supersymmetric solutions from N=6 gauged supergravity

abstract: We study supersymmetric solutions in four-dimensional $N=6$ gauged supergravity with $SO(6)$ gauge group. There is a unique $N=6$ supersymmetric $AdS_4$ vacuum with $SO(6)$ symmetry dual to an $N=6$ SCFT in three dimensions. We find a number of domain walls interpolating between this $AdS_4$ vacuum and singular geometries in the IR with $SO(2)\times SO(4)$, $U(3)$, $SO(3)$ and $SO(2)\times SO(2)\times SO(2)$ symmetries. The $SO(3)$ case admits $N=6$ or $N=2$ solutions depending on whether the pseudoscalars are present or not. On the other hand, all the remaining solutions preserve $N=6$ supersymmetry. These solutions describe RG flows from the $N=6$ SCFT to non-conformal field theories driven by mass deformations. In particular, the $SO(2)\times SO(4)$ solution is in agreement with the previously known mass deformations of the dual $N=6$ SCFT. We also give a supersymmetric Janus solution with $SO(2)\times SO(4)$ symmetry, describing two-dimensional conformal defects in the $N=6$ SCFT with unbroken $N=(4,2)$ supersymmetry. Finally, we find an $N=2$ supersymmetric $AdS_2\times H^2$ solution with $SO(2)\times SO(4)$ symmetry and the corresponding domain wall interpolating between this fixed point and the $AdS_4$ vacuum. The solution describes an $AdS_4$ black hole with a magnetic charge and is dual to a twisted compactification of the $N=6$ SCFT on a hyperbolic space $H^2$. We also give a domain wall interpolating between a locally supersymmetric $AdS_4$ and a curved domain wall with $SO(2)\times SO(2)\times SO(2)$ symmetry dual to an RG flow across dimensions from the $N=6$ SCFT to a supersymmetric quantum mechanics.


title: Dark matter in the fully flipped 3-3-1-1 model

abstract: We present the features of the fully flipped 3-3-1-1 model and show that this model leads to dark matter candidates naturally. We study two dark matter scenarios corresponding to the triplet fermion and singlet scalar candidates, and we determine the viable parameter regimes constrained from the observed relic density and direct detection experiments.


title: Measurement bias: a structural perspective

abstract: The causal structure for measurement bias (MB) remains controversial. Aided by the Directed Acyclic Graph (DAG), this paper proposes a new structure for measuring one singleton variable whose MB arises in the selection of an imperfect I/O device-like measurement system. For effect estimation, however, an extra source of MB arises from any redundant association between a measured exposure and a measured outcome. The misclassification will be bidirectionally differential for a common outcome, unidirectionally differential for a causal relation, and non-differential for a common cause between the measured exposure and the measured outcome or a null effect. The measured exposure can actually affect the measured outcome, or vice versa. Reverse causality is a concept defined at the level of measurement. Our new DAGs have clarified the structures and mechanisms of MB.


title: Towards Complex and Continuous Manipulation: A Gesture Based Anthropomorphic Robotic Hand Design

abstract: Most current anthropomorphic robotic hands can realize part of the human hand functions, particularly for object grasping. However, due to the complexity of the human hand, few current designs target at daily object manipulations, even for simple actions like rotating a pen. To tackle this problem, we introduce a gesture based framework, which adopts the widely-used 33 grasping gestures of Feix as the bases for hand design and implementation of manipulation. In the proposed framework, we first measure the motion ranges of human fingers for each gesture, and based on the results, we propose a simple yet dexterous robotic hand design with 13 degrees of actuation. Furthermore, we adopt a frame interpolation based method, in which we consider the base gestures as the key frames to represent a manipulation task, and use the simple linear interpolation strategy to accomplish the manipulation. To demonstrate the effectiveness of our framework, we define a three-level benchmark, which includes not only 62 test gestures from previous research, but also multiple complex and continuous actions. Experimental results on this benchmark validate the dexterity of the proposed design and our video is available in \url{https://drive.google.com/file/d/1wPtkd2P0zolYSBW7_3tVMUHrZEeXLXgD/view?usp=sharing}.


title: Cluster variables for affine Lie--Poisson systems

abstract: We show that having any planar (cyclic or acyclic) directed network on a disc with the only condition that all $n_1+m$ sources are separated from all $n_2+m$ sinks, we can construct a cluster-algebra realization of elements of an affine Lie--Poisson algebra $R(\lambda,\mu)T^{1}(\lambda)T^{2}(\mu)=T^{2}(\mu)T^{1}(\lambda)R(\lambda,\mu)$ with $(n_1\times n_2)$-matrices $T(\lambda)$ corresponding to a planar directed network on an annulus. Upon satisfaction of some invertibility conditions, we can extend this construction to realizations of a quantum loop algebra. Having the quantum loop algebra we can also construct a realization of the twisted Yangian algebra, or that of the quantum reflection equation. Every such planar network therefore corresponds to a symplectic leaf of the corresponding infinite-dimensional algebra.


title: Using wearable proximity sensors to characterize social contact patterns in a village of rural Malawi

abstract: Measuring close proximity interactions between individuals can provide key information on social contacts in human communities. With the present study, we report the quantitative assessment of contact patterns in a village in rural Malawi, based on proximity sensors technology that allows for high-resolution measurements of social contacts. The system provided information on community structure of the village, on social relationships and social assortment between individuals, and on daily contacts activity within the village. Our findings revealed that the social network presented communities that were highly correlated with household membership, thus confirming the importance of family ties within the village. Contacts within households occur mainly between adults and children, and adults and adolescents. This result suggests that the principal role of adults within the family is the care for the youngest. Most of the inter-household interactions occurred among caregivers and among adolescents. We studied the tendency of participants to interact with individuals with whom they shared similar attributes (i.e., assortativity). Age and gender assortativity were observed in inter-household network, showing that individuals not belonging to the same family group prefer to interact with people with whom they share similar age and gender. Age disassortativity is observed in intra-household networks. Family members congregate in the early morning, during lunch time and dinner time. In contrast, individuals not belonging to the same household displayed a growing contact activity from the morning, reaching a maximum in the afternoon. The data collection infrastructure used in this study seems to be very effective to capture the dynamics of contacts by collecting high resolution temporal data and to give access to the level of information needed to understand the social context of the village.


title: A characterization of holomorphic mappings on a poly-plane

abstract: We show that any function $f:\mathbb{H}^n\to\mathbb{H}$ with $f(z+c)=f(z)+c$, $z\in\mathbb{H}^n$, for some $c>0$ has a property that any limit function of a family $\{\frac{f(tz)}{t}\}_{t>0}$ when $t\to\infty$ is linear.


title: Learning Halfspaces With Membership Queries

abstract: Active learning is a subfield of machine learning, in which the learning algorithm is allowed to choose the data from which it learns. In some cases, it has been shown that active learning can yield an exponential gain in the number of samples the algorithm needs to see, in order to reach generalization error $\leq \epsilon$. In this work we study the problem of learning halfspaces with membership queries. In the membership query scenario, we allow the learning algorithm to ask for the label of every sample in the input space. We suggest a new algorithm for this problem, and prove it achieves a near optimal label complexity in some cases. We also show that the algorithm works well in practice, and significantly outperforms uncertainty sampling.


title: Biased Models Have Biased Explanations

abstract: We study fairness in Machine Learning (FairML) through the lens of attribute-based explanations generated for machine learning models. Our hypothesis is: Biased Models have Biased Explanations. To establish that, we first translate existing statistical notions of group fairness and define these notions in terms of explanations given by the model. Then, we propose a novel way of detecting (un)fairness for any black box model. We further look at post-processing techniques for fairness and reason how explanations can be used to make a bias mitigation technique more individually fair. We also introduce a novel post-processing mitigation technique which increases individual fairness in recourse while maintaining group level fairness.


title: Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge

abstract: We introduce Prove-It, a Python-based general-purpose interactive theorem-proving assistant designed with the goal of making formal theorem proving as easy and natural as informal theorem proving (with moderate training). Prove-It uses a highly-flexible Jupyter notebook-based user interface that documents interactions and proof steps using LaTeX. We review Prove-It's highly expressive representation of expressions, judgments, theorems, and proofs; demonstrate the system by constructing a traditional proof-by-contradiction that $\sqrt{2}\notin\mathbb{Q}$; and discuss how the system avoids inconsistencies such as Russell's and Curry's paradoxes. Extensive documentation is provided in the appendices about core elements of the system. Current development and future work includes promising applications to quantum circuit manipulation and quantum algorithm verification.


title: Post-hoc Uncertainty Calibration for Domain Drift Scenarios

abstract: We address the problem of uncertainty calibration. While standard deep neural networks typically yield uncalibrated predictions, calibrated confidence scores that are representative of the true likelihood of a prediction can be achieved using post-hoc calibration methods. However, to date the focus of these approaches has been on in-domain calibration. Our contribution is two-fold. First, we show that existing post-hoc calibration methods yield highly over-confident predictions under domain shift. Second, we introduce a simple strategy where perturbations are applied to samples in the validation set before performing the post-hoc calibration step. In extensive experiments, we demonstrate that this perturbation step results in substantially better calibration under domain shift on a wide range of architectures and modelling tasks.


title: The spurious resonance disease and how to cure it: application to the seismic response of a canyon

abstract: Three types of boundary integral equation (BIE) methods are employed to obtain closed-form solutions of a wave-scattering problem which are compared to the exact, closed-form (reference), solution deriving from the separation-of-variables technique. The problem involves either Dirichlet (D) or Neumann (N) boundary conditions (BC) for a scatterer that is a circular cylinder submitted to one or two incident waves. The three BIE methods lead to different expressions for the traction (for D-BC) or boundary displacement (for N-BC) by which numerous resonances are predicted whose frequency of occurrence differs from one method to another. This is interpreted as being the sign that the three methods are generally-defective and the resonances are 'spurious'. This 'disease' is cured by combining two BIE into one in such a way that the resulting BIE gives rise to a closed-form solution identical to the exact reference solution devoid of spurious resonances.


title: Sampling asymmetric open quantum systems for artificial neural networks

abstract: While established neural network approaches based on restricted Boltzmann machine architectures and Metropolis sampling methods are well suited for symmetric open quantum systems, they result in poor scalability and systematic errors for setups without symmetries of translational invariance, independent of training parameters such as the sample size. To overcome this representational limit, we present a hybrid sampling strategy which takes asymmetric properties explicitly into account, achieving fast convergence times and high scalability for asymmetric open systems, underlining the universal applicability of artificial neural networks.


title: Trace identities and almost polynomial growth

abstract: In this paper we study algebras with trace and their trace polynomial identities over a field of characteristic 0. We consider two commutative matrix algebras: $D_2$, the algebra of $2\times 2$ diagonal matrices and $C_2$, the algebra of $2 \times 2$ matrices generated by $e_{11}+e_{22}$ and $e_{12}$. We describe all possible traces on these algebras and we study the corresponding trace codimensions. Moreover we characterize the varieties with trace of polynomial growth generated by a finite dimensional algebra. As a consequence, we see that the growth of a variety with trace is either polynomial or exponential.


title: Deep Continuous Fusion for Multi-Sensor 3D Object Detection

abstract: In this paper, we propose a novel 3D object detector that can exploit both LIDAR as well as cameras to perform very accurate localization. Towards this goal, we design an end-to-end learnable architecture that exploits continuous convolutions to fuse image and LIDAR feature maps at different levels of resolution. Our proposed continuous fusion layer encode both discrete-state image features as well as continuous geometric information. This enables us to design a novel, reliable and efficient end-to-end learnable 3D object detector based on multiple sensors. Our experimental evaluation on both KITTI as well as a large scale 3D object detection benchmark shows significant improvements over the state of the art.


title: Simple Exclusion Processes with Local Resetting

abstract: We investigate the stationary state of Symmetric and Totally Asymmetric Simple Exclusion Processes with local resetting, on a one-dimensional lattice with periodic boundary conditions, using mean-field approximations, which appear to be exact in the thermodynamic limit, and kinetic Monte Carlo simulations. In both cases we find that in the thermodynamic limit the models exhibit three different regimes, depending on how the resetting rate scales with the system size. The Totally Asymmetric version of the model has a particularly rich behaviour, especially in an intermediate resetting regime where the resetting rate vanishes as the inverse of the system size, exhibiting 4 different phases, including phase separation.


title: Matrix algebras with degenerate traces and trace identities

abstract: In this paper we study matrix algebras with a degenerate trace in the framework of the theory of polynomial identities. The first part is devoted to the study of the algebra $D_n$ of $n \times n$ diagonal matrices. We prove that, in case of a degenerate trace, all its trace identities follow by the commutativity law and by pure trace identities. Moreover we relate the trace identities of $D_{n+1}$ endowed with a degenerate trace, to those of $D_n$ with the corresponding trace. This allows us to determine the generators of the trace T-ideal of $D_3$. In the second part we study commutative subalgebras of $M_k(F)$, denoted by $C_k$ of the type $F + J$ that can be endowed with the so-called strange traces: $tr(a+j) = \alpha a + \beta j$, for any $a+j \in C_k$, $\alpha$, $\beta \in F$. Here $J$ is the radical of $C_k$. In case $\beta = 0$ such a trace is degenerate, and we study the trace identities satisfied by the algebra $C_k$, for every $k \geq 2$. Moreover we prove that these algebras generate the so-called minimal varieties of polynomial growth. In the last part of the paper, devoted to the study of varieties of polynomial growth, we completely classify the subvarieties of the varieties of algebras of almost polynomial growth introduced in an earlier paper of the same authors.


title: A Surface Degeneration With Non-Collapsible Contractible Dual Complex

abstract: We construct a smoothing of a particular normal crossing surface, which dual complex is a duncehat, thus obtaining an example of a surface degeneration with non-collapsible, contractible dual complex. The general fiber of this family has $h^{1,0} = h^{2,0} = 0$ and $h^{1,1}=9$, we conjecture that it is in the deformation class of the Barlow surface. This text is a complete rewrite of author's previous work [14].


title: Low-threshold operation of GaAs-based (GaIn)As/Ga(AsSb)/(GaIn)As W-quantum well lasers emitting in the O-band

abstract: The influence of the growth conditions as well as the device design on the device performance of (GaIn)As/Ga(AsSb)/(GaIn)As "W"-quantum well lasers is investigated. To this purpose, the epitaxy process is scaled to full two inch substrates for improved homogeneity while the growth process is carried out in a single run for an improved quality. Furthermore, the optical confinement factor is increased by increasing the aluminum concentration within the cladding layers to a value of 65%. The procedure is carried out for devices with emission wavelengths of 1.26 micrometer as well as 1.30 micrometer. Differential efficiencies as high as 58% and threshold current densities as low as 0.16 kA/cm^2 are observed in case of devices emitting at 1.26 micrometer at room temperature. Furthermore, excellent characteristic temperatures of T_0=(72 plus minus 5)K and T_1=(293 plus minus 16) K are recorded in the temperature range between 10 degree Celsius and 100 degree Celsius. Devices emitting at 1.30 micrometer exhibit differential efficiencies of 31% and threshold current densities of 0.50 kA/cm^2 at room temperature. Further improvements of these properties and wavelength extension schemes are briefly discssused.


title: Adequacy of Effective Born for electroweak effects and TauSpinner algorithms for LEP, Tevatron, HL-LHC and FCC simulated samples

abstract: Matching and comparing measurements of past and future experiments calls for consistency checks of calculations used for their interpretation. New schemes of the field theory may optimize precision, but obscure comparisons with earlier results. Over years concepts of Improved Born, Effective Born, effective couplings, and sin^2theta_W^eff mixing angle for electroweak interactions, have evolved. We use four DIZET electroweak library versions; of today and of the last 30 years, wich were used for phenomenology of practically all HEP accelerator experiments. Versions differ by incremented with time updates of corrections. We rely on the codes archived with the KKMC Monte Carlo program for e^+e^- to f bar f n(gamma). Versions became recently available for the TauSpinner reweighting of simulated and stored events. Documentation of TauSpinner upgrade, to version 2.1.0, and of its arrangement for semi-automated electroweak (EW) effects benchmark plots are provided. Details which can be used to complete simulated sample with EW effects, are given. Focus is placed on numerical results and on approximations introduced in Improved Born to obtain Effective Born, to match with QCD corrections. The tau lepton polarization P_tau, forward backward asymmetry A_FB and parton level cross section sigma^tot are used to monitor electroweak effects and effective sin^2theta_W^eff limitations. Results include: (i) feasibility of Effective Born approximation and sin^2theta_W^eff, (ii) differences between versions of electroweak libraries and (iii) parametric ambiguities due to e.g. m_t or Delta alpha_h^(5)(s). Example results allow to evaluate adequacy of Effective Born with respect to Improved Born.


title: Nuclear Fusion Inside Dark Matter

abstract: A new dynamic is identified between dark matter and nuclei. Nuclei accelerated to MeV energies by the internal potential of composite dark matter can undergo nuclear fusion. This effect arises in simple models of composite dark matter made of heavy fermions bound by a light scalar field. Cosmologies and detection prospects are explored for composites that catalyze nuclear reactions in underground detectors and stars, including bremsstrahlung radiation from nuclei scattering against electrons in hot plasma formed in the composite interior. If discovered and collected, this kind of composite dark matter could in principle serve as a ready-made, compact nuclear fusion generator.


title: Exploring Effectiveness of Inter-Microtask Qualification Tests in Crowdsourcing

abstract: Qualification tests in crowdsourcing are often used to pre-filter workers by measuring their ability in executing microtasks.While creating qualification tests for each task type is considered as a common and reasonable way, this study investigates into its worker-filtering performance when the same qualification test is used across multiple types of tasks.On Amazon Mechanical Turk, we tested the annotation accuracy in six different cases where tasks consisted of two different difficulty levels, arising from the identical real-world domain: four combinatory cases in which the qualification test and the actual task were the same or different from each other, as well as two other cases where workers with Masters Qualification were asked to perform the actual task only.The experimental results demonstrated the two following findings: i) Workers that were assigned to a difficult qualification test scored better annotation accuracy regardless of the difficulty of the actual task; ii) Workers with Masters Qualification scored better annotation accuracy on the low-difficulty task, but were not as accurate as those who passed a qualification test on the high-difficulty task.


title: Iterative regularization methods for a discrete inverse problem in MRI

abstract: We propose and investigate efficient numerical methods for inverse problems related to Magnetic Resonance Imaging (MRI). Our goal is to extend the recent convergence results for the Landweber-Kaczmarz method obtained in [Haltmeier, Leitao, Scherzer 2007], in order to derive a convergent iterative regularization method for an inverse problem in MRI.


title: Golden Binomials and Carlitz Characteristic Polynomials

abstract: The golden binomials, introduced in the golden quantum calculus, have expansion determined by Fibonomial coefficients and the set of simple zeros given by powers of Golden ratio. We show that these golden binomials are equivalent to Carlitz characteristic polynomials of certain matrices of binomial coefficients. It is shown that trace invariants for powers of these matrices are determined by Fibonacci divisors, quantum calculus of which was developed very recently.


title: Deep Bingham Networks: Dealing with Uncertainty and Ambiguity in Pose Estimation

abstract: In this work, we introduce Deep Bingham Networks (DBN), a generic framework that can naturally handle pose-related uncertainties and ambiguities arising in almost all real life applications concerning 3D data. While existing works strive to find a single solution to the pose estimation problem, we make peace with the ambiguities causing high uncertainty around which solutions to identify as the best. Instead, we report a family of poses which capture the nature of the solution space. DBN extends the state of the art direct pose regression networks by (i) a multi-hypotheses prediction head which can yield different distribution modes; and (ii) novel loss functions that benefit from Bingham distributions on rotations. This way, DBN can work both in unambiguous cases providing uncertainty information, and in ambiguous scenes where an uncertainty per mode is desired. On a technical front, our network regresses continuous Bingham mixture models and is applicable to both 2D data such as images and to 3D data such as point clouds. We proposed new training strategies so as to avoid mode or posterior collapse during training and to improve numerical stability. Our methods are thoroughly tested on two different applications exploiting two different modalities: (i) 6D camera relocalization from images; and (ii) object pose estimation from 3D point clouds, demonstrating decent advantages over the state of the art. For the former we contributed our own dataset composed of five indoor scenes where it is unavoidable to capture images corresponding to views that are hard to uniquely identify. For the latter we achieve the top results especially for symmetric objects of ModelNet dataset.


title: Stability analysis of a single-phase rectangular Coupled Natural Circulation Loop system employing a Fourier series based 1-D model

abstract: A linear stability analysis of a single-phase Coupled Natural Circulation Loop (CNCL) is carried out using a Fourier series based 1-D model. A 3-D CFD study is undertaken to assess the ability of the 1-D model to capture the non-periodic oscillatory behaviour exhibited by the CNCL system. After the model verification, the stability maps of the system are obtained from the eigenvalues of the steady-state. The CNCL has multiple steady states and the stability maps of consistently observed steady states are presented. A thorough parametric study is conducted to observe the influence of non-dimensional numbers on the CNCL system. Increase in the Fourier number and flow resistance coefficient lead to an increase in the domain of stability. A comparison of the linear stability map with the empirical stability map indicates that the non-linear terms do not significantly affect the stability boundary.


title: Fake news agenda in the era of COVID-19: Identifying trends through fact-checking content

abstract: The rise of social media has ignited an unprecedented circulation of false information in our society. It is even more evident in times of crises, such as the COVID-19 pandemic. Fact-checking efforts have expanded greatly and have been touted as among the most promising solutions to fake news, especially in times like these. Several studies have reported the development of fact-checking organizations in Western societies, albeit little attention has been given to the Global South. Here, to fill this gap, we introduce a novel Markov-inspired computational method for identifying topics in tweets. In contrast to other topic modeling approaches, our method clusters topics and their current evolution in a predefined time window. Through these, we collected data from Twitter accounts of two Brazilian fact-checking outlets and presented the topics debunked by these initiatives in fortnights throughout the pandemic. By comparing these organizations, we could identify similarities and differences in what was shared by them. Our method resulted in an important technique to cluster topics in a wide range of scenarios, including an infodemic -- a period overabundance of the same information. In particular, the data clearly revealed a complex intertwining between politics and the health crisis during this period. We conclude by proposing a generic model which, in our opinion, is suitable for topic modeling and an agenda for future research.


title: A non-hypergeometric E-function

abstract: We answer in the negative Siegel's question whether all E-functions are polynomial expressions in hypergeometric E-functions. Namely, we show that if an irreducible differential operator of order three annihilates an E-function in the hypergeometric class, then the singularities of its Fourier transform are constrained to satisfy a symmetry property that generically does not hold. The proof relies on Andr\'e's theory of E-operators and Katz's computation of the Galois group of hypergeometric differential equations.


title: Centrally Administered State-Owned Enterprises' Engagement in China's Public-Private Partnerships: A Social Network Analysis

abstract: A salient characteristic of China's public-private partnerships (PPPs) is the deep involvement of state-owned enterprises (SOEs), particularly those administered by the central/national government (CSOEs). This paper integrates the approaches of resource-based view and resource-dependency theory to explain CSOEs' involvement in PPP networks. Built upon a network perspective, this paper differs from earlier studies in that it investigates the entire PPP governance network as a whole and all PPP participants' embedded network positions, rather than individual, isolated PPP transactions. Using a novel data source on PPP projects in the period of 2012-2017, social network analysis is conducted to test hypothesized network dominance of CSOEs' in forming PPPs, in light of CSOEs' superior possession of and access to strategic assets. Research findings suggest that CSOEs have a dominant influence and control power in PPP networks across sectors, over time, and throughout geographic space. It is also suggested that policy makers should reduce resource gaps between SOEs and private businesses, and only in so doing, presence and involvement of non-SOEs in China's PPPs can be enhanced.


title: Mapping Temporal Trends of Parent-Child Migration from Population-Scale Family Trees

abstract: User-generated family trees are invaluable for constructing population-scale family networks and studying population dynamics over many generations and far into the past. Family trees contain information on individuals such as birth and death places and years, and kinship ties, e.g., parent-child, spouse, and sibling relationships. Such information about individuals in family trees makes it possible to extract migration networks over time. Despite the recent advances, existing spatial and temporal abstraction techniques for time-variant flow data have limitations due to the lack of knowledge on the effect of temporal partitioning on flow patterns. In this study, we extracted state-to-state migration patterns over a period of 150 years between 1776 and 1926 from a cleaned, geocoded and connected family trees from Rootsweb.com. We used birthplaces and birthyears of parents and children to extract intergenerational migration flows between states. To reveal the temporal trends of migration patterns, we evaluated three temporal partitioning strategies: (1) predefined periods in American history, (2) overlapping time periods with fixed length, and (3) time periods with variable length, which have approximately equal volume of moves per time period. To account for the effect of geographic proximity and flow volumes in migration flows, we transformed the raw flows into modularity flows using a double-constrained a gravity model. Our preliminary results revealed longitudinal population mobility in the U.S. on such a large spatial and temporal scale.


title: Dynamics of a degenerate Cs-Yb mixture with attractive interspecies interactions

abstract: We probe the collective dynamics of a quantum degenerate Bose-Bose mixture of Cs and $^{174}$Yb with attractive interspecies interactions. Specifically, we excite vertical center of mass oscillations of the Cs condensate, and observe significant damping for the Cs dipole mode, due to the rapid transfer of energy to the larger Yb component, and the ensuing acoustic dissipation. Numerical simulations based on coupled Gross-Pitaevskii equations provide excellent agreement, and additionally reveal the possibility of late-time revivals (beating) which are found to be highly sensitive to the Cs and Yb atom number combinations. By further tuning the interaction strength of Cs using a broad Feshbach resonance, we explore the stability of the degenerate mixture, and observe collapse of the Cs condensate mediated by the attractive Cs-Yb interaction when $a_{\mathrm{Cs}}<50 \, a_0$, well above the single-species collapse threshold, in good agreement with simulations.


title: Convolutional neural networks for long-time dissipative quantum dynamics

abstract: Exact numerical simulations of dynamics of open quantum systems often require immense computational resources. We demonstrate that a deep artificial neural network comprised of convolutional layers is a powerful tool for predicting long-time dynamics of an open quantum system provided the preceding short-time dynamics of the system is known. The neural network model developed in this work simulates long-time dynamics efficiently and very accurately across different dynamical regimes from weakly damped coherent motion to incoherent relaxation. The model was trained on a data set relevant to photosynthetic excitation energy transfer and can be deployed to study long-lasting quantum coherence phenomena observed in light-harvesting complexes. Furthermore, our model performs well for the initial conditions different than those used in the training. Our approach considerably reduces the required computational resources for long-time simulations and holds promise for becoming a valuable tool in the study of open quantum systems.


title: The Sigma Form for the PII Hierarchy

abstract: In this paper we study the so-called sigma form of the second Painlev\'e hierarchy. To obtain this form, we use some properties of the Hamiltonian structure of the second Painlev\'e hierarchy and of the Lenard operator.


title: Universal Numbers Library: design and implementation of a high-performance reproducible number systems library

abstract: With the proliferation of embedded systems requiring intelligent behavior, custom number systems to optimize performance per Watt of the entire system become essential components for successful commercial products. We present the Universal Number Library, a high-performance number systems library that includes arbitrary integer, decimal, fixed-point, floating-point, and introduces two tapered floating-point types, posit and valid, that support reproducible arithmetic computation in arbitrary concurrency environments. We discuss the design of the Universal library as a run-time for application development, and as a platform for application-driven hardware validation. The library implementation is described, and examples are provided to show educational examples to elucidate the number system properties, and how specialization is used to yield very high-performance emulation on existing x86, ARM, and POWER processors. We will highlight the integration of the library in larger application environments in computational science and engineering to enable multi-precision and adaptive precision algorithms to improve performance and efficiency of large scale and real-time applications. We will demonstrate the integration of the Universal library into a high-performance reproducible linear algebra run-time. We will conclude with the roadmap of additional functionality of the library as we are targeting new application domains, such as Software Defined Radio, instrumentation, sensor fusion, and model-predictive control.