title: Asymptotic behavior of the number of distinct values in a sample from the geometric stick-breaking process

abstract: Discrete random probability measures are a key ingredient of Bayesian nonparametric inferential procedures. A sample generates ties with positive probability and a fundamental object of both theoretical and applied interest is the corresponding random number of distinct values. The growth rate can be determined from the rate of decay of the small frequencies implying that, when the decreasingly ordered frequencies admit a tractable form, the asymptotics of the number of distinct values can be conveniently assessed. We focus on the geometric stick-breaking process and we investigate the effect of the choice of the distribution for the success probability on the asymptotic behavior of the number of distinct values. We show that a whole range of logarithmic behaviors are obtained by appropriately tuning the prior. We also derive a two-term expansion and illustrate its use in a comparison with a larger family of discrete random probability measures having an additional parameter given by the scale of the negative binomial distribution.


title: Game values of arithmetic functions

abstract: Arithmetic functions in Number Theory meet the Sprague-Grundy function from Combinatorial Game Theory. We study a variety of 2-player games induced by standard arithmetic functions, such as Euclidian division, divisors, remainders and relatively prime numbers, and their negations.


title: Chronological Citation Recommendation with Time Preference

abstract: Citation recommendation is an important task to assist scholars in finding candidate literature to cite. Traditional studies focus on static models of recommending citations, which do not explicitly distinguish differences between papers that are caused by temporal variations. Although, some researchers have investigated chronological citation recommendation by adding time related function or modeling textual topics dynamically. These solutions can hardly cope with function generalization or cold-start problems when there is no information for user profiling or there are isolated papers never being cited. With the rise and fall of science paradigms, scientific topics tend to change and evolve over time. People would have the time preference when citing papers, since most of the theoretical basis exist in classical readings that published in old time, while new techniques are proposed in more recent papers. To explore chronological citation recommendation, this paper wants to predict the time preference based on user queries, which is a probability distribution of citing papers published in different time slices. Then, we use this time preference to re-rank the initial citation list obtained by content-based filtering. Experimental results demonstrate that task performance can be further enhanced by time preference and it's flexible to be added in other citation recommendation frameworks.


title: On Asteroid Retrieval Missions Enabled by Invariant Manifold Dynamics

abstract: In recent years, the retrieval of entire asteroids has received significant attention, with many approaches leveraging the invariant manifolds of the Circular-Restricted Three-body Problem to capture an asteroid into a periodic orbit about the $L_1$ or $L_2$ points of the Sun-Earth system. Previous works defined an `Easily Retrievable Object' (ERO) as any Near-Earth Object (NEO) which is retrievable using these invariant manifolds with an impulsive $\Delta v$ of less than $500$ m/s. We extend the previous literature by analysing the Pareto fronts for the EROs discovered for the first time, using high-performance computing to lift optimisation constraints used in previous literature, and modifying the method used to filter unsuitable NEOs from the NEO catalogue. In doing so, we can demonstrate that EROs have approximately the same transfer cost for almost any possible transfer time, including single-impulse transfers, which could offer significant flexibility to mission designers. We also identify $44$ EROs, of which $27$ are new, and improve on previously-known transfer solutions by up to $443$ m/s, including $17$ new capture trajectories with $\Delta v$ costs of less than $100$ m/s.


title: Exponential arcs in the manifold of vector states on a sigma-finite von Neumann algebra

abstract: This paper introduces the notion of exponential arcs in Hilbert space and of exponential arcs connecting vector states on a sigma-finite von Neumann algebra in its standard representation. Results from Tomita-Takesaki theory form an essential ingredient. Starting point is a non-commutative Radon-Nikodym theorem that involves positive operators affiliated with the commutant algebra. It is shown that exponential arcs are differentiable and that parts of an exponential arc are again exponential arcs. Special cases of probability theory and of quantum probability are used to illustrate the approach.


title: Comparative Evaluation of 3D and 2D Deep Learning Techniques for Semantic Segmentation in CT Scans

abstract: Image segmentation plays a pivotal role in several medical-imaging applications by assisting the segmentation of the regions of interest. Deep learning-based approaches have been widely adopted for semantic segmentation of medical data. In recent years, in addition to 2D deep learning architectures, 3D architectures have been employed as the predictive algorithms for 3D medical image data. In this paper, we propose a 3D stack-based deep learning technique for segmenting manifestations of consolidation and ground-glass opacities in 3D Computed Tomography (CT) scans. We also present a comparison based on the segmentation results, the contextual information retained, and the inference time between this 3D technique and a traditional 2D deep learning technique. We also define the area-plot, which represents the peculiar pattern observed in the slice-wise areas of the pathology regions predicted by these deep learning models. In our exhaustive evaluation, 3D technique performs better than the 2D technique for the segmentation of CT scans. We get dice scores of 79% and 73% for the 3D and the 2D techniques respectively. The 3D technique results in a 5X reduction in the inference time compared to the 2D technique. Results also show that the area-plots predicted by the 3D model are more similar to the ground truth than those predicted by the 2D model. We also show how increasing the amount of contextual information retained during the training can improve the 3D model's performance.


title: A Lightweight Structure Aimed to Utilize Spatial Correlation for Sparse-View CT Reconstruction

abstract: Sparse-view computed tomography (CT) is known as a widely used approach to reduce radiation dose while accelerating imaging through lowered projection views and correlated calculations. However, its severe imaging noise and streaking artifacts turn out to be a major issue in the low dose protocol. In this paper, we propose a dual-domain deep learning-based method that breaks through the limitations of currently prevailing algorithms that merely process single image slices. Since the scanned object usually contains a high degree of spatial continuity, the obtained consecutive imaging slices embody rich information that is largely unexplored. Therefore, we establish a cascade model named LS-AAE which aims to tackle the above problem. In addition, in order to adapt to the social trend of lightweight medical care, our model adopts the inverted residual with linear bottleneck in the module design to make it mobile and lightweight (reduce model parameters to one-eighth of its original) without sacrificing its performance. In our experiments, sparse sampling is conducted at intervals of 4{\deg}, 8{\deg} and 16{\deg}, which appears to be a challenging sparsity that few scholars have attempted before. Nevertheless, our method still exhibits its robustness and achieves the state-of-the-art performance by reaching the PSNR of 40.305 and the SSIM of 0.948, while ensuring high model mobility. Particularly, it still exceeds other current methods when the sampling rate is one-fourth of them, thereby demonstrating its remarkable superiority.


title: Characterizing References from Different Disciplines: A Perspective of Citation Content Analysis

abstract: Multidisciplinary cooperation is now common in research since social issues inevitably involve multiple disciplines. In research articles, reference information, especially citation content, is an important representation of communication among different disciplines. Analyzing the distribution characteristics of references from different disciplines in research articles is basic to detecting the sources of referred information and identifying contributions of different disciplines. This work takes articles in PLoS as the data and characterizes the references from different disciplines based on Citation Content Analysis (CCA). First, we download 210,334 full-text articles from PLoS and collect the information of the in-text citations. Then, we identify the discipline of each reference in these academic articles. To characterize the distribution of these references, we analyze three characteristics, namely, the number of citations, the average cited intensity and the average citation length. Finally, we conclude that the distributions of references from different disciplines are significantly different. Although most references come from Natural Science, Humanities and Social Sciences play important roles in the Introduction and Background sections of the articles. Basic disciplines, such as Mathematics, mainly provide research methods in the articles in PLoS. Citations mentioned in the Results and Discussion sections of articles are mainly in-discipline citations, such as citations from Nursing and Medicine in PLoS.


title: Weyl Consistency Conditions from a local Wilsonian Cutoff

abstract: A local UV cutoff $\Lambda(x)$ transforming under Weyl rescalings allows to construct Weyl invariant kinetic terms for scalar fields including Wilsonian cutoff functions. First we consider scalar fields in curved space-time with local bare couplings of any canonical dimension, and anomalous dimensions which describe their dependence on the UV cutoff. The local component of the UV cutoff plays the role of an additional coupling, albeit with a trivial constant $\beta$ function. This approach allows to derive Weyl consistency conditions for the corresponding anomalous dimensions which assume the form of an exact gradient flow. For renormalizable theories the Weyl consistency conditions are initially of the form of an approximate gradient flow for the $\beta$ functions, and we derive conditions under which it becomes the form of an exact gradient flow.


title: Double peaks of gravitational wave spectrum induced from inflection point inflation

abstract: We investigate the possibility to induce double peaks of gravitational wave(GW) spectrum from primordial scalar perturbations in inflationary models with three inflection points.Where the inflection points can be generated from a polynomial potential or generated from Higgs like $\phi^4$ potential with the running of quartic coupling.In such models, the inflection point at large scales predicts the scalar spectral index and tensor-to-scalar ratio consistent with current CMB constraints, and the other two inflection points generate two large peaks in the scalar power spectrum at small scales, which can induce GWs with double peaks energy spectrum. We find that for some choices parameters the double peaks spectrum can be detected by future GW detectors, and one of the peaks around $f\simeq10^{-9}\sim10^{-8}$Hz can also explain the recent NANOGrav signal. Moreover, the peaks of power spectrum allow for the generation of primordial black holes, which account for a significant fraction of dark matter.


title: Feynman Integral in Quantum Walk, Barrier-top Scattering and Hadamard Walk

abstract: The aim of this article is to relate the discrete quantum walk on $\mathbb{Z}$ with the continuous Schr\"odinger operator on $\mathbb{R}$ in the scattering problem. Each point of $\mathbb{Z}$ is associated with a barrier of the potential, and the coin operator of the quantum walk is determined by the transfer matrix between bases of WKB solutions on the classically allowed regions of both sides of the barrier. This correspondence enables us to represent each entry of the scattering matrix of the Schr\"odinger operator as a countable sum of probability amplitudes associated with the paths of the quantum walker. In particular, the barrier-top scattering corresponds to the Hadamard walk in the semiclassical limit.


title: Human Action Recognition Based on Multi-scale Feature Maps from Depth Video Sequences

abstract: Human action recognition is an active research area in computer vision. Although great process has been made, previous methods mostly recognize actions based on depth data at only one scale, and thus they often neglect multi-scale features that provide additional information action recognition in practical application scenarios. In this paper, we present a novel framework focusing on multi-scale motion information to recognize human actions from depth video sequences. We propose a multi-scale feature map called Laplacian pyramid depth motion images(LP-DMI). We employ depth motion images (DMI) as the templates to generate the multi-scale static representation of actions. Then, we caculate LP-DMI to enhance multi-scale dynamic information of motions and reduces redundant static information in human bodies. We further extract the multi-granularity descriptor called LP-DMI-HOG to provide more discriminative features. Finally, we utilize extreme learning machine (ELM) for action classification. The proposed method yeilds the recognition accuracy of 93.41%, 85.12%, 91.94% on public MSRAction3D dataset, UTD-MHAD and DHA dataset. Through extensive experiments, we prove that our method outperforms state-of-the-art benchmarks.


title: Cancer driver gene detection in transcriptional regulatory networks using the structure analysis of weighted regulatory interactions

abstract: Identification of genes that initiate cell anomalies and cause cancer in humans is among the important fields in the oncology researches. The mutation and development of anomalies in these genes are then transferred to other genes in the cell and therefore disrupt the normal functionality of the cell. These genes are known as cancer driver genes (CDGs). Various methods have been proposed for predicting CDGs, most of which based on genomic data and based on computational methods. Therefore, some researchers have developed novel bioinformatics approaches. In this study, we propose an algorithm, which is able to calculate the effectiveness and strength of each gene and rank them by using the gene regulatory networks and the stochastic analysis of regulatory linking structures between genes. To do so, firstly we constructed the regulatory network using gene expression data and the list of regulatory interactions. Then, using biological and topological features of the network, we weighted the regulatory interactions. After that, the obtained regulatory interactions weight was used in interaction structure analysis process. Interaction analysis was achieved using two separate Markov chains on the bipartite graph obtained from the main graph of the gene network. To do so, the stochastic approach for link-structure analysis has been implemented. The proposed algorithm categorizes higher-ranked genes as driver genes. The efficiency of the proposed algorithm, regarding the F-measure value and number of identified driver genes, was compared with 23 other computational and network-based methods.


title: Firth's logistic regression with rare events: accurate effect estimates AND predictions?

abstract: Firth-type logistic regression has become a standard approach for the analysis of binary outcomes with small samples. Whereas it reduces the bias in maximum likelihood estimates of coefficients, bias towards 1/2 is introduced in the predicted probabilities. The stronger the imbalance of the outcome, the more severe is the bias in the predicted probabilities. We propose two simple modifications of Firth-type logistic regression resulting in unbiased predicted probabilities. The first corrects the predicted probabilities by a post-hoc adjustment of the intercept. The other is based on an alternative formulation of Firth-types estimation as an iterative data augmentation procedure. Our suggested modification consists in introducing an indicator variable which distinguishes between original and pseudo observations in the augmented data. In a comprehensive simulation study these approaches are compared to other attempts to improve predictions based on Firth-type penalization and to other published penalization strategies intended for routine use. For instance, we consider a recently suggested compromise between maximum likelihood and Firth-type logistic regression. Simulation results are scrutinized both with regard to prediction and regression coefficients. Finally, the methods considered are illustrated and compared for a study on arterial closure devices in minimally invasive cardiac surgery.


title: Trading Transforms of Non-weighted Simple Games and Integer Weights of Weighted Simple Games

abstract: This study investigates simple games. A fundamental research question in this field is to determine necessary and sufficient conditions for a simple game to be a weighted majority game. Taylor and Zwicker (1992) showed that a simple game is non-weighted if and only if there exists a trading transform of finite size. They also provided an upper bound on the size of such a trading transform, if it exists. Gvozdeva and Slinko (2011) improved that upper bound; their proof employed a property of linear inequalities demonstrated by Muroga (1971).In this study, we provide a new proof of the existence of a trading transform when a given simple game is non-weighted. Our proof employs Farkas' lemma (1894), and yields an improved upper bound on the size of a trading transform. We also discuss an integer-weight representation of a weighted simple game, improving the bounds obtained by Muroga (1971). We show that our bound on the quota is tight when the number of players is less than or equal to five, based on the computational results obtained by Kurz (2012). Furthermore, we discuss the problem of finding an integer-weight representation under the assumption that we have minimal winning coalitions and maximal losing coalitions.In particular, we show a performance of a rounding method. Lastly, we address roughly weighted simple games. Gvozdeva and Slinko (2011) showed that a given simple game is not roughly weighted if and only if there exists a potent certificate of non-weightedness. We give an upper bound on the length of a potent certificate of non-weightedness. We also discuss an integer-weight representation of a roughly weighted simple game.


title: Knowledge Graph for Microdata of Statistics Netherlands

abstract: Statistics Netherlands (CBS) hosted a huge amount of data not only on the statistical level but also on the individual level. With the development of data science technologies, more and more researchers request to conduct their research by using high-quality individual data from CBS (called CBS Microdata) or combining them with other data sources. Making great use of these data for research and scientific purposes can tremendously benefit the whole society. However, CBS Microdata has been collected and maintained in different ways by different departments in and out of CBS. The representation, quality, metadata of datasets are not sufficiently harmonized. The project converts the descriptions of all CBS microdata sets into one knowledge graph with comprehensive metadata in Dutch and English using text mining and semantic web technologies. Researchers can easily query the metadata, explore the relations among multiple datasets, and find the needed variables. For example, if a researcher searches a dataset about "Age at Death" in the Health and Well-being category, all information related to this dataset will appear including keywords and variable names. "Age at Death" dataset has a keyword - "Death". This keyword will lead to other datasets such as "Date of Death". "Cause of Death", "Production statistics Health and welfare" from Population, Business categories, and Health and well-being categories. This will tremendously save time and costs for the data requester but also data maintainers.


title: Dualit\'e complexe entre sous-vari\'et\'es r\'eelles dans $\mathbb{P}^2(\mathbb{C})$

abstract: We introduce a notion of semi-legendrian real submanifold in a complex manifold of dimension 3 and prove that real submanifolds of $\mathbb{C}^2$ can be uniquely lifted to $\mathbb{C}^3$. Then we deduce a complex duality between real submanifolds of $\mathbb{P}^2(\mathbb{C})$.


title: Analysis of a discretization of a distributed control problem with a stochastic evolution equation

abstract: This paper analyzes a discretization of a stochastic parabolic optimal control problem, where the diffusion term contains the control variable. With rough data, the convergence of the discretization is derived. In addition, a Monte-Carlo method is presented.


title: Mirror-Descent Inverse Kinematics for Box-constrained Joint Space

abstract: To control humanoid robots, the reference pose of end effector(s) is planned in task space, then mapped into the reference joints by IK. By viewing that problem as approximate quadratic programming (QP), recent QP solvers can be applied to solve it precisely, but iterative numerical IK solvers based on Jacobian are still in high demand due to their low computational cost. However, the conventional Jacobian-based IK usually clamps the obtained joints during iteration according to the constraints in practice, causing numerical instability due to non-smoothed objective function. To alleviate the clamping problem, this study explicitly considers the joint constraints, especially the box constraints in this paper, inside the new IK solver. Specifically, instead of clamping, a mirror descent (MD) method with box-constrained real joint space and no-constrained mirror space is integrated with the Jacobian-based IK, so-called MD-IK. In addition, to escape local optima nearly on the boundaries of constraints, a heuristic technique, called $\epsilon$-clamping, is implemented as margin in software level. Finally, to increase convergence speed, the acceleration method for MD is integrated assuming continuity of solutions at each time. As a result, the accelerated MD-IK achieved more stable and enough fast tracking performance compared to the conventional IK solvers. The low computational cost of the proposed method mitigated the time delay until the solution is obtained in real-time humanoid gait control, achieving a more stable gait.


title: Reconstruction of IACT events using deep learning techniques with CTLearn

abstract: Arrays of imaging atmospheric Cherenkov telescopes (IACT) are superb instruments to probe the very-high-energy gamma-ray sky. This type of telescope focuses the Cherenkov light emitted from air showers, initiated by very-high-energy gamma rays and cosmic rays, onto the camera plane. Then, a fast camera digitizes the longitudinal development of the air shower, recording its spatial, temporal, and calorimetric information. The properties of the primary very-high-energy particle initiating the air shower can then be inferred from those images: the primary particle can be classified as a gamma ray or a cosmic ray and its energy and incoming direction can be estimated. This so-called full-event reconstruction, crucial to the sensitivity of the array to gamma rays, can be assisted by machine learning techniques. We present a deep-learning driven, full-event reconstruction applied to simulated IACT events using CTLearn. CTLearn is a Python package that includes modules for loading and manipulating IACT data and for running deep learning models with TensorFlow, using pixel-wise camera data as input.


title: Self-Organizing Intelligent Matter: A blueprint for an AI generating algorithm

abstract: We propose an artificial life framework aimed at facilitating the emergence of intelligent organisms. In this framework there is no explicit notion of an agent: instead there is an environment made of atomic elements. These elements contain neural operations and interact through exchanges of information and through physics-like rules contained in the environment. We discuss how an evolutionary process can lead to the emergence of different organisms made of many such atomic elements which can coexist and thrive in the environment. We discuss how this forms the basis of a general AI generating algorithm. We provide a simplified implementation of such system and discuss what advances need to be made to scale it up further.


title: The split common null point problem for generalized resolvents and nonexpansive mappings in Banach spaces

abstract: In this paper, the split common null point problem in two Banach spaces is considered. Then, using the generalized resolvents of maximal monotone operators and the generalized projections and an infinite family of nonexpansive mappings, a strong convergence theorem for finding a solution of the split common null point problem in two Banach spaces in the presence of a sequence of errors will be proved.


title: A family of codes with locality containing optimal codes

abstract: Locally recoverable codes were introduced by Gopalan et al. in 2012, and in the same year Prakash et al. introduced the concept of codes with locality, which are a type of locally recoverable codes. In this work we introduce a new family of codes with locality, which are subcodes of a certain family of evaluation codes. We determine the dimension of these codes, and also bounds for the minimum distance. We present the true values of the minimum distance in special cases, and also show that elements of this family are "optimal codes", as defined by Prakash et al.


title: Promoting Self-Efficacy Through an Effective Human-Powered Nonvisual Smartphone Task Assistant

abstract: Accessibility assessments typically focus on determining a binary measurement of task performance success/failure; and often neglect to acknowledge the nuances of those interactions. Although a large population of blind people find smartphone interactions possible, many experiences take a significant toll and can have a lasting negative impact on the individual and their willingness to step out of technological comfort zones. There is a need to assist and support individuals with the adoption and learning process of new tasks to mitigate these negative experiences. We contribute with a human-powered nonvisual task assistant for smartphones to provide pervasive assistance. We argue, in addition to success, one must carefully consider promoting and evaluating factors such as self-efficacy and the belief in one's own abilities to control and learn to use technology. In this paper, we show effective assistant positively affects self-efficacy when performing new tasks with smartphones, affects perceptions of accessibility and enables systemic task-based learning.


title: Improved Coefficients for the Karagiannidis-Lioumpas Approximations and Bounds to the Gaussian Q-Function

abstract: We revisit the Karagiannidis-Lioumpas (KL) approximation of the Q-function by optimizing its coefficients in terms of absolute error, relative error and total error. For minimizing the maximum absolute/relative error, we describe the targeted uniform error functions by sets of nonlinear equations so that the optimized coefficients are the solutions thereof. The total error is minimized with numerical search. We also introduce an extra coefficient in the KL approximation to achieve significantly tighter absolute and total error at the expense of unbounded relative error. Furthermore, we extend the KL expression to lower and upper bounds with optimized coefficients that minimize the error measures in the same way as for the approximations.


title: Situation and Behavior Understanding by Trope Detection on Films

abstract: The human ability of deep cognitive skills are crucial for the development of various real-world applications that process diverse and abundant user generated input. While recent progress of deep learning and natural language processing have enabled learning system to reach human performance on some benchmarks requiring shallow semantics, such human ability still remains challenging for even modern contextual embedding models, as pointed out by many recent studies. Existing machine comprehension datasets assume sentence-level input, lack of casual or motivational inferences, or could be answered with question-answer bias. Here, we present a challenging novel task, trope detection on films, in an effort to create a situation and behavior understanding for machines. Tropes are storytelling devices that are frequently used as ingredients in recipes for creative works. Comparing to existing movie tag prediction tasks, tropes are more sophisticated as they can vary widely, from a moral concept to a series of circumstances, and embedded with motivations and cause-and-effects. We introduce a new dataset, Tropes in Movie Synopses (TiMoS), with 5623 movie synopses and 95 different tropes collecting from a Wikipedia-style database, TVTropes. We present a multi-stream comprehension network (MulCom) leveraging multi-level attention of words, sentences, and role relations. Experimental result demonstrates that modern models including BERT contextual embedding, movie tag prediction systems, and relational networks, perform at most 37% of human performance (23.97/64.87) in terms of F1 score. Our MulCom outperforms all modern baselines, by 1.5 to 5.0 F1 score and 1.5 to 3.0 mean of average precision (mAP) score. We also provide a detailed analysis and human evaluation to pave ways for future research.


title: Quasinormal modes and Purcell factors of coupled loss-gain resonators and index-modulated ring resonators near exceptional points

abstract: We first present a quasinormal mode (QNM) theory for coupled loss-gain resonators working near an exceptional point. Assuming linear media, which can be fully quantified using the complex pole properties of the QNMs, we show how the QNMs yield a quantitatively good model to a full dipole spontaneous emission response in Maxwell's equations at various spatial positions and frequencies (linear response). We also develop a highly accurate and intuitive QNM coupled-mode theory, which can be used to rigorously model such systems using only the QNMs of the bare resonators, where the hybrid QNMs of the complete system are automatically obtained. Near a lossy exceptional point, we analytically show how the QNMs yield a Lorentzian-like and a Lorentzian-squared-like response for the spontaneous emission lineshape, consistent with other works. However, using rigorous analytical and numerical solutions for microdisk resonators, we demonstrate that the general lineshapes are far richer than what has been previously predicted. Indeed, the classical picture of spontaneous emission can take on a wide range of positive and negative Purcell factors from the hybrid modes of the coupled loss-gain system. These negative Purcell factors are unphysical and signal a clear breakdown of the classical dipole picture of spontaneous emission in such media, though the negative local density of states is correct. We also show the rich spectral features of the Green function propagators, which can be used to model various physical observables. Second, we present a QNM approach to model index modulated ring resonators working near an exceptional point and show unusual chiral power flow from linearly polarized emitters, in agreement with recent experiments, which is quantitatively explained without invoking the interpretation of a missing dimension (the Jordan vector) and a decoupling from the cavity eigenmodes.


title: Stokes phenomenon and gravitational particle production -- How to evaluate it in practice

abstract: We revisit gravitational particle production from the Stokes phenomenon viewpoint, which helps us make a systematic way to understand asymptotic behavior of mode functions in time-dependent background. One of our purposes of this work is to make the method more practical for evaluation of non-perturbative particle production rate. In particular, with several examples of time-dependent backgrounds, we introduce some approximation methods that make the analysis more practical. Specifically, we consider particle production in simple expanding backgrounds, preheating after $R^2$ inflation, and a transition model with smoothly changing mass. As we find several technical issues in analyzing the Stokes phenomenon of each example, we discuss how to simplify the problems while showing the accuracy of analytic estimation under the approximations we make.


title: Scattering polarization of 3-$\mu$m water-ice feature by large icy grains

abstract: Water ice has a strong spectral feature at a wavelength of approximately $3~\mu$m, which plays a vital role in our understanding of the icy universe. In this study, we investigate the scattering polarization of this water-ice feature. The linear polarization degree of light scattered by $\mu$m-sized icy grains is known to be enhanced at the ice band; however, the dependence of this polarization enhancement on various grain properties is unclear. We find that the enhanced polarization at the ice band is sensitive to the presence of $\mu$m-sized grains as well as their ice abundance. We demonstrate that this enhancement is caused by the high absorbency of the water-ice feature, which attenuates internal scattering and renders the surface reflection dominant over internal scattering. Additionally, we compare our models with polarimetric observations of the low-mass protostar L1551 IRS 5. Our results show that scattering by a maximum grain radius of a few microns with a low water-ice abundance is consistent with observations. Thus, scattering polarization of the water-ice feature is a useful tool for characterizing ice properties in various astronomical environments.


title: Operadic approach to wall-crossing

abstract: Wall-crossing phenomena are ubiquitous in many problems of algebraic geometry and theoretical physics. Various ways to encode the relevant information and the need to track the changes under the variation of parameters lead to rather complicated transformation rules and non-trivial combinatorial problems. In this paper we propose a framework, reminiscent of collections and plethysms in the theory of operads, that conceptualizes those transformation rules. As an application we obtain new streamlined proofs of some existing wall-crossing formulas as well as some new formulas related to attractor invariants.


title: The properties of clusters, and the orientation of magnetic fields relative to filaments, in magnetohydrodynamic simulations of colliding clouds

abstract: We have performed Smoothed Particle Magneto-Hydrodynamics (SPMHD) calculations of colliding clouds to investigate the formation of massive stellar clusters, adopting a timestep criterion to prevent large divergence errors. We find that magnetic fields do not impede the formation of young massive clusters (YMCs), and the development of high star formation rates, although we do see a strong dependence of our results on the direction of the magnetic field. If the field is initially perpendicular to the collision, and sufficiently strong, we find that star formation is delayed, and the morphology of the resulting clusters is significantly altered. We relate this to the large amplification of the field with this initial orientation. We also see that filaments formed with this configuration are less dense. When the field is parallel to the collision, there is much less amplification of the field, dense filaments form, and the formation of clusters is similar to the purely hydrodynamical case. Our simulations reproduce the observed tendency for magnetic fields to be aligned perpendicularly to dense filaments, and parallel to low density filaments. Overall our results are in broad agreement with past work in this area using grid codes.


title: Scale-invariant cosmology in de Sitter gauge theory

abstract: The Planck mass and the cosmological constant determine the minimum and the maximum distances in the physical universe. A relativistic theory that takes into account a fundamental distance limit $\ell$ on par with the fundamental speed limit $c$, is based on the de Sitter extension of the Lorentz symmetry. This article proposes a new de Sitter gauge theory of gravity which allows the consistent cosmological evolution of the $\ell$. The theory is locally equivalent to Dirac's scale-invariant version of general relativity, and suggests a novel non-singular extension of cosmology.


title: Novel EOSC Services for Space Challenges: The NEANIAS First Outcomes

abstract: The European Open Science Cloud (EOSC) initiative faces the challenge of developing an agile, fit-for-purpose, and sustainable service-oriented platform that can address the evolving needs of scientific communities. The NEANIAS project plays an active role in the materialization of the EOSC ecosystem by actively contributing to the technological, procedural, strategic and business development of EOSC. We present the first outcomes of the NEANIAS activities relating to co-design and delivery of new innovative services for space research for data management and visualization (SPACE-VIS), map making and mosaicing (SPACE-MOS) and pattern and structure detection (SPACE-ML). We include a summary of collected user requirements driving our services and methodology for their delivery, together with service access details and pointers to future works.


title: On resampling methods for model assessment in penalized and unpenalized logistic regression

abstract: Penalized logistic regression methods are frequently used to investigate the relationship between a binary outcome and a set of explanatory variables. The model performance can be assessed by measures such as the concordance statistic (c-statistic), the discrimination slope and the Brier score. Often, data resampling techniques, e.g. crossvalidation, are employed to correct for optimism in these model performance criteria. Especially with small samples or a rare binary outcome variable, leave-one-out crossvalidation is a popular choice. Using simulations and a real data example, we compared the effect of different resampling techniques on the estimation of c-statistics, discrimination slopes and Brier scores for three estimators of logistic regression models, including the maximum likelihood and two maximum penalized-likelihood estimators. Our simulation study confirms earlier studies reporting that leave-one-out crossvalidated c-statistics can be strongly biased towards zero. In addition, our study reveals that this bias is more pronounced for estimators shrinking predicted probabilities towards the observed event rate, such as ridge regression. Leave-one-out crossvalidation also provided pessimistic estimates of the discrimination slope but nearly unbiased estimates of the Brier score. We recommend to use leave-pair-out crossvalidation, five-fold crossvalidation with repetition, the enhanced or the .632+ bootstrap to estimate c-statistics and leave-pair-out or five-fold crossvalidation to estimate discrimination slopes.


title: Cooperative NOMA-Based User Pairing for URLLC: A Max-Min Fairness Approach

abstract: In this paper, cooperative non-orthogonal multiple access (C-NOMA) is considered in short packet communications with finite blocklength (FBL) codes. The performance of a decode-and-forward (DF) relaying along with selection combining (SC) and maximum ratio combining (MRC) strategies at the receiver side is examined. We explore joint user pairing and resource allocation to maximize fair throughput in a downlink (DL) scenario. In each pair, the user with a stronger channel (strong user) acts as a relay for the other one (weak user), and optimal power and blocklength are allocated to achieve max-min throughput. To this end, first, only one pair is considered, and optimal resource allocation is explored. Also, a suboptimal algorithm is suggested, which converges to a near-optimal solution. Finally, the problem is extended to a general scenario, and a suboptimal C-NOMA-based user pairing is proposed. Numerical results show that the proposed C-NOMA scheme in both SC and MRC strategies significantly improves the users' fair throughput compared to the NOMA and OMA. It is also investigated that the proposed pairing scheme based on C-NOMA outperforms the Hybrid NOMA/OMA scheme from the average throughput perspective, while the fairness index degrades slightly.


title: Unified description of galactic dynamics and the cosmological constant

abstract: We explore the phenomenology of a two-fluid cosmological model, where the field equations of general relativity (GR) are sourced by baryonic and cold dark matter. We find that the model allows for a unified description of small and large scale, late-time cosmological dynamics. Specifically, in the static regime we recover the flattening of galactic rotation curves by requiring the matter density profile to scale as $1/r^2$. The same behavior describes matter inhomogeneities distribution at small cosmological scales. This traces galactic dynamics back to structure formation. At large cosmological scales, we focus on back reaction effects of the spacetime geometry to the presence of matter inhomogeneities. We find that a cosmological constant with the observed order of magnitude, emerges by averaging the back reaction term on spatial scales of order 100 Mpc and it is related in a natural way to matter distribution. This provides a resolution to both the cosmological constant and the coincidence problems and shows the existence of an intriguing link between the small and large scale behavior in cosmology.


title: Polaron Problems in Ultracold Atoms: Role of a Fermi Sea across Different Spatial Dimensions and Quantum Fluctuations of a Bose Medium

abstract: The notion of a polaron, originally introduced in the context of electrons in ionic lattices, helps us to understand how a quantum impurity behaves when being immersed in and interacting with a many-body background. We discuss the impact of the impurities on the medium particles by considering feedback effects from polarons that can be realized in ultracold quantum gas experiments. In particular, we exemplify the modifications of the medium in the presence of either Fermi or Bose polarons. Regarding Fermi polarons we present a corresponding many-body diagrammatic approach operating at finite temperatures and discuss how mediated two- and three-body interactions are implemented within this framework. Utilizing this approach, we analyze the behavior of the spectral function of Fermi polarons at finite temperature by varying impurity-medium interactions as well as spatial dimensions from three to one. Interestingly, we reveal that the spectral function of the medium atoms could be a useful quantity for analyzing the transition/crossover from attractive polarons to molecules in three-dimensions. As for the Bose polaron, we showcase the depletion of the background Bose-Einstein condensate in the vicinity of the impurity atom. Such spatial modulations would be important for future investigations regarding the quantification of interpolaron correlations in Bose polaron problems.


title: Type of Leibniz Rule on Riemann-Liouville Variable-Order Fractional Integral and Derivative Operator

abstract: In this paper, types of Leibniz Rule for Riemann-Liouville Variable-Order fractional integral and derivative Operator is developed. The product rule, quotient rule, and chain rule formulas for both integral and differential operators are established. In particular, there are four types of product rule formulas: Product rule type-I, Product rule type-II, Product rule type-III, and Product rule type-Iv. Quotient rule type-I, quotient rule type-II, quotient rule type-III, and quotient rule type-Iv formulas developed from product rule types. There are four types of chain rule formulas: chain rule type-I, chain rule type-II, chain rule type-III, and chain rule type-Iv.


title: The VANDELS ESO public spectroscopic survey: final Data Release of 2087 spectra and spectroscopic measurements

abstract: VANDELS is an ESO Public Spectroscopic Survey designed to build a sample of high signal to noise, medium resolution spectra of galaxies at redshift between 1 and 6.5. Here we present the final Public Data Release of the VANDELS Survey, comprising 2087 redshift measurements. We give a detailed description of sample selection, observations and data reduction procedures. The final catalogue reaches a target selection completeness of 40% at iAB = 25. The high Signal to Noise ratio of the spectra (above 7 in 80% of the spectra) and the dispersion of 2.5{\AA} allowed us to measure redshifts with high precision, the redshift measurement success rate reaching almost 100%. Together with the redshift catalogue and the reduced spectra, we also provide optical mid-IR photometry and physical parameters derived through SED fitting. The observed galaxy sample comprises both passive and star forming galaxies covering a stellar mass range 8.3< Log(M*/Msolar)<11.7. All catalogues and spectra are accessible through the survey database (http://vandels.inaf.it) where all information can be queried interactively, and via the ESO Archive (https://www.eso.org/qi/).


title: On BiHom-associative dialgebras

abstract: The aim of this paper is to introduce and study BiHom-associative dialgebras. We give various constructions and study its connections with BiHom-Poisson dialgebras and BiHom-Leibniz algebras. Next we discuss the central extensions of BiHom-diassociative and we describe the classification of n-dimensional BiHom-diassociative algebras for n less or equal to 4. Finally, we discuss derivations of BiHom-associative dialgebras.


title: Aberrations in (3+1)D Bragg diffraction using pulsed Gaussian laser beams

abstract: We analyze the transfer function of a three-dimensional atomic Bragg beamsplitter formed by two counterpropagating pulsed Gaussian laser beams. Even for ultracold atomic ensembles, the transfer efficiency depends significantly on the residual velocity of the particles as well as on losses into higher diffraction orders. Additional aberrations are caused by the spatial intensity variation and wavefront curvature of the Gaussian beam envelope, studied with (3+1)D numerical simulations. The temporal pulse shape also affects the transfer efficiency significantly. Thus, we consider the practically important rectangular-, Gaussian-, Blackman- and hyperbolic secant pulses. For the latter, we can describe the time-dependent response analytically with the Demkov-Kunike method. The experimentally observed stretching of the $\pi$-pulse time is explained from a renormalization of the simple Pendell\"osung frequency. Finally, we compare the analytical predictions for the velocity-dependent transfer function with effective (1+1)D numerical simulations for pulsed Gaussian beams, as well as experimental data and find very good agreement, considering a mixture of Bose-Einstein condensate and thermal cloud.


title: Approximation rationnelle de sous-espaces vectoriels

abstract: The goal of this PhD thesis is to study a diophantine approximation problem stated by Schmidt in 1967. The problem aim to study the approximation of a subspace of $\mathbb{R}^n$ by rational subspaces, not necessarily of the same dimension, by determining the exponents of approximation associated to the various angles between the subspaces.


title: A Note on Order and Index Reduction for Descriptor Systems

abstract: We present order reduction results for linear time invariant descriptor systems. Results are given for both forced and unforced systems as well methods for constructing the reduced order systems. Our results establish a precise connection between classical and new results on this topic, and lead to an elementary construction of quasi-Weierstrass forms for a descriptor system. Examples are given to illustrate the usefulness of our results.


title: On Fuzzification of n-Lie Algebras

abstract: The aim of this paper is to introduce the notion of intuitionistic fuzzy Lie subalgebras and intutionistic fuzzy Lie ideals of n-Lie algebras. It is a generalization of intuitionistic fuzzy Lie algebras. Then, we investigate some of characteristics of intutionistic fuzzy Lie ideals (resp. subalgebras) of n-Lie algeras. Finally, we define the image and the inverse image of intuitionistic fuzzy Lie subalgebra under n-Lie algebra homomorphism. The properties of intuitionistic fuzzy n-Lie subalgebras and intuitionistic fuzzy Lie ideals under homomorphisms of n-Lie algebras are studied. Finally, we define the intuitionistic fuzzy quotient n-Lie algebra by an intuitionistic fuzzy ideal of n-Lie algebra and prove that it is a n-Lie algebra.


title: Application of the Argument Principle to Functions Expressed as Mellin Transforms

abstract: We describe a numerical algorithm for evaluating the numbers of roots minus the number of poles contained in a region based on the argument principle with the function of interest being written as a Mellin transformation of a usually simpler function. Because the function to be transformed may be simpler than its Mellin transform whose roots are to be sought we express the final integrals in terms of the former accepting higher dimensional integrals. Nonlinear terms are expressed as convolutions approximating reciprocal values by exponential sums. As an example the final expression is applied to the Riemann Zeta function. The procedure is very inefficient numerically. However, depending on the function to be investigated it may be possible to find analytical estimates of the resulting integrals.


title: Cohomology and Deformation of Leibniz Superalgebras

abstract: In this article, we introduce a deformation cohomology of Leibniz superalgebras. Also, we introduce formal deformation theory of Leibniz superalgebras. Using deformation cohomology we study the formal deformation theory of Leibniz superalgebras.


title: Unsupervised Domain Adaptation from Axial to Short-Axis Multi-Slice Cardiac MR Images by Incorporating Pretrained Task Networks

abstract: Anisotropic multi-slice Cardiac Magnetic Resonance (CMR) Images are conventionally acquired in patient-specific short-axis (SAX) orientation. In specific cardiovascular diseases that affect right ventricular (RV) morphology, acquisitions in standard axial (AX) orientation are preferred by some investigators, due to potential superiority in RV volume measurement for treatment planning. Unfortunately, due to the rare occurrence of these diseases, data in this domain is scarce. Recent research in deep learning-based methods mainly focused on SAX CMR images and they had proven to be very successful. In this work, we show that there is a considerable domain shift between AX and SAX images, and therefore, direct application of existing models yield sub-optimal results on AX samples. We propose a novel unsupervised domain adaptation approach, which uses task-related probabilities in an attention mechanism. Beyond that, cycle consistency is imposed on the learned patient-individual 3D rigid transformation to improve stability when automatically re-sampling the AX images to SAX orientations. The network was trained on 122 registered 3D AX-SAX CMR volume pairs from a multi-centric patient cohort. A mean 3D Dice of $0.86\pm{0.06}$ for the left ventricle, $0.65\pm{0.08}$ for the myocardium, and $0.77\pm{0.10}$ for the right ventricle could be achieved. This is an improvement of $25\%$ in Dice for RV in comparison to direct application on axial slices. To conclude, our pre-trained task module has neither seen CMR images nor labels from the target domain, but is able to segment them after the domain gap is reduced. Code: https://github.com/Cardio-AI/3d-mri-domain-adaptation


title: Improve Global Glomerulosclerosis Classification with Imbalanced Data using CircleMix Augmentation

abstract: The classification of glomerular lesions is a routine and essential task in renal pathology. Recently, machine learning approaches, especially deep learning algorithms, have been used to perform computer-aided lesion characterization of glomeruli. However, one major challenge of developing such methods is the naturally imbalanced distribution of different lesions. In this paper, we propose CircleMix, a novel data augmentation technique, to improve the accuracy of classifying globally sclerotic glomeruli with a hierarchical learning strategy. Different from the recently proposed CutMix method, the CircleMix augmentation is optimized for the ball-shaped biomedical objects, such as glomeruli. 6,861 glomeruli with five classes (normal, periglomerular fibrosis, obsolescent glomerulosclerosis, solidified glomerulosclerosis, and disappearing glomerulosclerosis) were employed to develop and evaluate the proposed methods. From five-fold cross-validation, the proposed CircleMix augmentation achieved superior performance (Balanced Accuracy=73.0%) compared with the EfficientNet-B0 baseline (Balanced Accuracy=69.4%)


title: A Novel Cluster Classify Regress Model Predictive Controller Formulation; CCR-MPC

abstract: In this work, we develop a novel data-driven model predictive controller using advanced techniques in the field of machine learning. The objective is to regulate control signals to adjust the desired internal room setpoint temperature, affected indirectly by the external weather states. The methodology involves developing a time-series machine learning model with either a Long Short Term Memory model (LSTM) or a Gradient Boosting Algorithm (XGboost), capable of forecasting this weather states for any desired time horizon and concurrently optimising the control signals to the desired set point. The supervised learning model for mapping the weather states together with the control signals to the room temperature is constructed using a previously developed methodology called Cluster Classify regress (CCR), which is similar in style but scales better to high dimensional dataset than the well-known Mixture-of-Experts. The overall method called CCR-MPC involves a combination of a time series model for weather states prediction, CCR for forwarding and any numerical optimisation method for solving the inverse problem. Forward uncertainty quantification (Forward-UQ) leans towards the regression model in the CCR and is attainable using a Bayesian deep neural network or a Gaussian process (GP). For this work, in the CCR modulation, we employ K-means clustering for Clustering, XGboost classifier for Classification and 5th order polynomial regression for Regression. Inverse UQ can also be obtained by using an I-ES approach for solving the inverse problem or even the well-known Markov chain Monte Carlo (MCMC) approach. The developed CCR-MPC is elegant, and as seen on the numerical experiments is able to optimise the controller to attain the desired setpoint temperature.


title: Uniformly joinable, locally uniformly joinable, and weakly chained uniform spaces

abstract: Brodskiy, Dydak, LaBuz, and Mitra introduced the concepts of uniform joinability and local uniform joinability for uniform spaces when developing their theory of generalized uniform covering maps which was motivated by a paper by Berestovskii and Plaut. (Local) uniform joinability can be thought of as analogous to (local) path connectedness. A chain connected locally uniformly joinable uniform space is uniformly joinable. This note gives an example of a metric space that is uniformly joinable but not locally uniformly joinable. Plaut recently defined the concept of a weakly chained uniform space. We show that a weakly chained metrizable uniform space is locally uniformly joinable. Since local uniform joinability is equivalent to pointed 1-movability for metric continua, we find that weak chainability is equivalent to pointed 1-movability for such spaces.


title: Bisecting a triangle in a given direction

abstract: Given a triangle, what is the equation of the line which bisects its area and has a given slope? The set of all lines bisecting the area of a triangle has been elegantly determined as a certain 'deltoid' envelope and this gives an indirect method of solution. We find that vector algebra allows the equation to be written down rather directly and neatly.


title: Arithmetic statistics of Prym surfaces

abstract: We consider a family of abelian surfaces over $\mathbb{Q}$ arising as Prym varieties of double covers of genus-$1$ curves by genus-$3$ curves. These abelian surfaces carry a polarization of type $(1,2)$ and we show that the average size of the Selmer group of this polarization equals $3$. Moreover we show that the average size of the $2$-Selmer group of the abelian surfaces in the same family is bounded above by $5$. This implies an upper bound on the average rank of these Prym varieties, and gives evidence for the heuristics of Poonen and Rains for a family of abelian varieties which are not principally polarized. The proof is a combination of an analysis of the Lie algebra embedding $F_4\subset E_6$, invariant theory, a classical geometric construction due to Pantazis, a study of N\'eron component groups of Prym surfaces and Bhargava's orbit-counting techniques.


title: Loop Quantum Gravity on Dynamical Lattice and Improved Cosmological Effective Dynamics with Inflaton

abstract: In the path integral formulation of the reduced phase space Loop Quantum Gravity (LQG), we propose a new approach to allow the spatial cubic lattice (graph) to change dynamically in the physical time evolution. The equations of motion of the path integral derive the effective dynamics of cosmology from the full LQG, when we focus on solutions with homogeneous and isotropic symmetry. The resulting cosmological effective dynamics with the dynamical lattice improves the effective dynamics obtained earlier from the path integral with fixed spatial lattice: The improved effective dynamics recovers the FLRW cosmology at low energy density and resolves the big-bang singularity with a bounce. The critical density $\rho_c$ at the bounce is Planckian $\rho_c\sim \Delta^{-1}$ where $\Delta$ is a Planckian area serving as certain UV cut-off of the effective theory. The effective dynamics gives the unsymmetric bounce and has the de-Sitter (dS) spacetime in the past of the bounce. The cosmological constant $\Lambda_{eff}$ of the dS spacetime is emergent from the quantum effect $\Lambda_{eff}\sim\Delta^{-1}$. These results are qualitatively similar to the properties of $\bar{\mu}$-scheme Loop Quantum Cosmology (LQC). Moreover, we generalize the earlier path integral formulation of the full LQG by taking into account the coupling with an additional real scalar field, which drives the slow-roll inflation of the effective cosmological dynamics. In addition, we discuss the cosmological perturbation theory on the dynamical lattice, and the relation to the Mukhanov-Sasaki equation.


title: Remark on an inequality for closed hypersurfaces in complete manifolds with nonnegative Ricci curvature

abstract: We give a simple proof of a recent result due to Agostiniani, Fogagnolo and Mazzieri.


title: The fiscal response to revenue shocks

abstract: We study the impact of fiscal revenue shocks on local fiscal policy. We focus on the very volatile revenues from the immovable property gains tax in the canton of Zurich, Switzerland, and analyze fiscal behavior following large and rare positive and negative revenue shocks. We apply causal machine learning strategies and implement the post-double-selection LASSO estimator to identify the causal effect of revenue shocks on public finances. We show that local policymakers overall predominantly smooth fiscal shocks. However, we also find some patterns consistent with fiscal conservatism, where positive shocks are smoothed, while negative ones are mitigated by spending cuts.


title: Ptychography Intensity Interferometry Imaging for Dynamic Distant Object

abstract: As a promising lensless imaging method for distance objects, intensity interferometry imaging (III) had been suffering from the unreliable phase retrieval process, hindering the development of III for decades. Recently, the introduction of the ptychographic detection in III overcame this challenge, and a method called ptychographic III (PIII) was proposed. We here experimentally demonstrate that PIII can image a dynamic distance object. A reasonable image for the moving object can be retrieved with only two speckle patterns for each probe, and only 10 to 20 iterations are needed. Meanwhile, PIII exhibits robust to the inaccurate information of the probe. Furthermore, PIII successfully recovers the image through a fog obfuscating the imaging light path, under which a conventional camera relying on lenses fails to provide a recognizable image.


title: Salient Object Detection via Integrity Learning

abstract: Although current salient object detection (SOD) works have achieved significant progress, they are limited when it comes to the integrity of the predicted salient regions. We define the concept of integrity at both a micro and macro level. Specifically, at the micro level, the model should highlight all parts that belong to a certain salient object. Meanwhile, at the macro level, the model needs to discover all salient objects in a given image. To facilitate integrity learning for SOD, we design a novel Integrity Cognition Network (ICON), which explores three important components for learning strong integrity features. 1) Unlike existing models, which focus more on feature discriminability, we introduce a diverse feature aggregation (DFA) component to aggregate features with various receptive fields (i.e., kernel shape and context) and increase feature diversity. Such diversity is the foundation for mining the integral salient objects. 2) Based on the DFA features, we introduce an integrity channel enhancement (ICE) component with the goal of enhancing feature channels that highlight the integral salient objects, while suppressing the other distracting ones. 3) After extracting the enhanced features, the part-whole verification (PWV) method is employed to determine whether the part and whole object features have strong agreement. Such part-whole agreements can further improve the micro-level integrity for each salient object. To demonstrate the effectiveness of our ICON, comprehensive experiments are conducted on seven challenging benchmarks. Our ICON outperforms the baseline methods in terms of a wide range of metrics. Notably, our ICON achieves about 10% relative improvement over the previous best model in terms of average false negative ratio (FNR), on six datasets. Codes and results are available at: https://github.com/mczhuge/ICON.


title: Analysis of Moral Judgement on Reddit

abstract: Moral outrage has become synonymous with social media in recent years. However, the preponderance of academic analysis on social media websites has focused on hate speech and misinformation. This paper focuses on analyzing moral judgements rendered on social media by capturing the moral judgements that are passed in the subreddit /r/AmITheAsshole on Reddit. Using the labels associated with each judgement we train a classifier that can take a comment and determine whether it judges the user who made the original post to have positive or negative moral valence. Then, we use this classifier to investigate an assortment of website traits surrounding moral judgements in ten other subreddits, including where negative moral users like to post and their posting patterns. Our findings also indicate that posts that are judged in a positive manner will score higher.


title: Flow map parameterization methods for invariant tori in Hamiltonian systems

abstract: The goal of this paper is to present a methodology for the computation of invariant tori in Hamiltonian systems combining flow map methods, parameterization methods, and symplectic geometry. While flow map methods reduce the dimension of the tori to be computed by one (avoiding Poincare maps), parameterization methods reduce the cost of a single step of the derived Newton-like method to be proportional to the cost of a FFT. Symplectic properties lead to some magic cancellations that make the methods work. The multiple shooting version of the methods are applied to the computation of invariant tori and their invariant bundles around librational equilibrium points of the Restricted Three Body Problem. The invariant bundles are the first order approximations of the corresponding invariant manifolds, commonly known as the whiskers, which are very important in the dynamical organization and have important applications in space mission design.


title: A duality operators/Banach spaces

abstract: Given a set $B$ of operators between subspaces of $L_p$ spaces, we characterize the operators between subspaces of $L_p$ spaces that remain bounded on the $X$-valued $L_p$ space for every Banach space on which elements of the original class $B$ are bounded. This is a form of the bipolar theorem for a duality between the class of Banach spaces and the class of operators between subspaces of $L_p$ spaces, essentially introduced by Pisier. The methods we introduce allow us to recover also the other direction --characterizing the bipolar of a set of Banach spaces--, which had been obtained by Hernandez in 1983.


title: Few-Shot Bayesian Optimization with Deep Kernel Surrogates

abstract: Hyperparameter optimization (HPO) is a central pillar in the automation of machine learning solutions and is mainly performed via Bayesian optimization, where a parametric surrogate is learned to approximate the black box response function (e.g. validation error). Unfortunately, evaluating the response function is computationally intensive. As a remedy, earlier work emphasizes the need for transfer learning surrogates which learn to optimize hyperparameters for an algorithm from other tasks. In contrast to previous work, we propose to rethink HPO as a few-shot learning problem in which we train a shared deep surrogate model to quickly adapt (with few response evaluations) to the response function of a new task. We propose the use of a deep kernel network for a Gaussian process surrogate that is meta-learned in an end-to-end fashion in order to jointly approximate the response functions of a collection of training data sets. As a result, the novel few-shot optimization of our deep kernel surrogate leads to new state-of-the-art results at HPO compared to several recent methods on diverse metadata sets.


title: Challenges for Computational Lexical Semantic Change

abstract: The computational study of lexical semantic change (LSC) has taken off in the past few years and we are seeing increasing interest in the field, from both computational sciences and linguistics. Most of the research so far has focused on methods for modelling and detecting semantic change using large diachronic textual data, with the majority of the approaches employing neural embeddings. While methods that offer easy modelling of diachronic text are one of the main reasons for the spiking interest in LSC, neural models leave many aspects of the problem unsolved. The field has several open and complex challenges. In this chapter, we aim to describe the most important of these challenges and outline future directions.


title: A framework to compare music generative models using automatic evaluation metrics extended to rhythm

abstract: To train a machine learning model is necessary to take numerous decisions about many options for each process involved, in the field of sequence generation and more specifically of music composition, the nature of the problem helps to narrow the options but at the same time, some other options appear for specific challenges. This paper takes the framework proposed in a previous research that did not consider rhythm to make a series of design decisions, then, rhythm support is added to evaluate the performance of two RNN memory cells in the creation of monophonic music. The model considers the handling of music transposition and the framework evaluates the quality of the generated pieces using automatic quantitative metrics based on geometry which have rhythm support added as well.


title: Finite transverse conductance in topological insulators under an applied in-plane magnetic field

abstract: Recently, in topological insulators (TIs) the phenomenon of planar Hall effect (PHE) wherein a current driven in presence an in-plane magnetic field generates a transverse voltage has been experimentally witnessed. There have been a couple of theoretical explanations of this phenomenon. We investigate this phenomenon based on scattering theory on a normal metal-TI-normal metal hybrid structure and calculate the conductances in longitudinal and transverse directions to the applied bias. The transverse conductance depends on the spatial location between the two NM-TI junctions where it is calculated. It is zero in the drain electrode when the chemical potentials of the top and the bottom TI surfaces ($\mu_t$ and $\mu_b$ respectively) are equal. The longitudinal conductance is $\pi$-periodic in $\phi$-the angle between the bias direction and the direction of the in-plane magnetic field. The transverse conductance is $\pi$-periodic in $\phi$ when $\mu_t=\mu_b$ whereas it is $2\pi$-periodic in $\phi$ when $\mu_t\neq\mu_b$. As a function of the magnetic field, the magnitude of transverse conductance increases initially and peaks. At higher magnetic fields, it decays for angles $\phi$ closer to $0,\pi$ whereas oscillates for angles $\phi$ close to $\pi/2$. The conductances oscillate with the length of the TI region. A finite width of the system makes the transport separate into finitely many channels. The features of the conductances are similar to those in the limit of infinitely wide system except when the width is so small that only one channel participates in the transport. When only one channel participates in transport, the transverse conductance in the region $0<x<L$ is zero for $\mu_t=\mu_b$ and the transverse conductance in the region $x>L$ is zero even for the case $\mu_t\neq\mu_b$. We understand the features in the obtained results.


title: Edge-Featured Graph Attention Network

abstract: Lots of neural network architectures have been proposed to deal with learning tasks on graph-structured data. However, most of these models concentrate on only node features during the learning process. The edge features, which usually play a similarly important role as the nodes, are often ignored or simplified by these models. In this paper, we present edge-featured graph attention networks, namely EGATs, to extend the use of graph neural networks to those tasks learning on graphs with both node and edge features. These models can be regarded as extensions of graph attention networks (GATs). By reforming the model structure and the learning process, the new models can accept node and edge features as inputs, incorporate the edge information into feature representations, and iterate both node and edge features in a parallel but mutual way. The results demonstrate that our work is highly competitive against other node classification approaches, and can be well applied in edge-featured graph learning tasks.


title: A Nonlinear Variant of Ball's Inequality

abstract: We adapt an induction-on-scales argument of Bennett, Bez, Buschenhenke, Cowling, and Flock to establish a global near-monotonicity statement for the nonlinear Brascamp-Lieb functional under a certain heat-flow, from which follows a stability result for the finiteness of global nonlinear Brascamp-Lieb inequalities.


title: Shadow cast and center of mass energy in a charged Gauss-Bonnet-AdS black hole

abstract: This work is devoted to the exploration of shadow cast and center of mass energy in the background of a 4-dimensional charged Gauss-Bonnet AdS black hole. On investigating particle dynamics, we have examined BH's metric function. Whereas, with the help of null geodesics, we pursue to calculate the celestial coordinates and the shadow radius of the black hole. We have made use of the hawking temperature to study the energy emission rate. Moreover, we have explored the center of mass energy and discussed its characteristics under the influence of spacetime parameters. For a better understanding, we graphically represent all of our main findings. The acquired result shows that both charge and AdS radius ($l$) decrease the shadow radius, while the Gauss-Bonnet coupling parameter $\alpha$ increases the shadow radius in AdS spacetime. On the other hand, both $Q$ and $\alpha$ result in diminishing the shadow radius in asymptotically flat spacetime. Finally, we investigate the energy emission rate and center of mass energy under the influence of $Q$ and $\alpha$.


title: An Artificial Intelligence based approach to estimating time of arrival and bus occupancy for public transport systems in Africa

abstract: This document entails a progressive report on the design and implementation of a bus tracking and monitoring system . This report has its contents within the limits of five chapters with each concisely exploring their various objectives. Chapter one is the introductory chapter. It entails a brief description of a bus tracking and monitoring system ,the need and the aims and objectives of this project. Chapter two consists the literature review of this project. This entails the critical analysis of previous related research and projects undertaken by other people. The merits and demerits of the various implementations.Chapter three consists of theory and design considerations of the proposed system for Kwame Nkrumah University campus. Chapter four talks about the methods used to collect data and the approach and technology stack adopted to build the proposed system.Chapter five concludes the thesis and discusses the results of test and deployment of the proposed system on Kwame Nkrumah University of Science and Technology campus


title: Mahler measure of $P_d$ polynomials

abstract: This article investigates the Mahler measure of a family of 2-variate polynomials, denoted by $P_d, d\geq 1$, unbounded in both degree and genus. By using a closed formula for the Mahler measure introduced in "Volume function and Mahler measure of exact polynomials" (by Guilloux and March\'e), we are able to compute $m(P_d)$, for arbitrary $d$, as a sum of the values of dilogarithm at special roots of unity. We prove that $m(P_d)$ converges and the limit is proportional to $\zeta(3)$, where $\zeta$ is the Riemann zeta function.


title: COTORRA: COntext-aware Testbed fOR Robotic Applications

abstract: Edge & Fog computing have received considerable attention as promising candidates for the evolution of robotic systems. In this letter, we propose COTORRA, an Edge & Fog driven robotic testbed that combines context information with robot sensor data to validate innovative concepts for robotic systems prior to being applied in a production environment. In lab/university, we established COTORRA as an easy applicable and modular testbed on top of heterogeneous network infrastructure. COTORRA is open for pluggable robotic applications. To verify its feasibility and assess its performance, we ran set of experiments that show how autonomous navigation applications can achieve target latencies bellow 15ms or perform an inter-domain (DLT) federation within 19 seconds.


title: Noisy intermediate scale quantum simulation of time dependent Hamiltonians

abstract: Quantum computers are expected to help us to achieve accurate simulation of the dynamics of many-body quantum systems. However, the limitations of current NISQ devices prevents us from realising this goal today. Recently an algorithm for performing quantum simulations called quantum assisted simulator has been proposed that promises realization on current experimental devices. In this work, we extend the quantum assisted simulator to simulate the dynamics of a class of time-dependent Hamiltonians. We show that the quantum assisted simulator is easier to implement as well as can realize multi-qubit interactions and challenging driving protocols that are difficult with other existing methods. We demonstrate this for a time-dependent Hamiltonian on the IBM Quantum Experience cloud quantum computer by showing superior performance of the quantum assisted simulator compared to Trotterization and variational quantum simulation. Further, we demonstrate the capability to simulate the dynamics of Hamiltonians consisting of 10000 qubits. Our results indicate that quantum assisted simulator is a promising algorithm for current term quantum hardware.


title: Level Truncation Approach to Open String Field Theory

abstract: Given a D-brane background in string theory (or equivalently boundary conditions in a two-dimensional conformal field theory), classical solutions of open string field theory equations of motion are conjectured to describe new D-brane backgrounds (boundary conditions). In this thesis, we study these solutions in bosonic open string field theory using the level truncation approach, which is a numerical approach where the string field is truncated to a finite number of degrees of freedom. We start with a review of the theoretical background and numerical methods which are needed in the level truncation approach and then we discuss solutions on several different backgrounds. First, we discuss universal solutions, which do not depend on the open string background, then we analyze solutions of the free boson theory compactified on a circle or on a torus, then marginal solutions in three different approaches and finally solutions in theories which include the A-series of Virasoro minimal models. In addition to known D-branes, we find so-called exotic solutions which potentially describe yet unknown boundary states. This paper is based on my doctoral thesis submitted to the Faculty of Mathematics and Physics at Charles University in Prague.


title: The Six Hug Commandments: Design and Evaluation of a Human-Sized Hugging Robot with Visual and Haptic Perception

abstract: Receiving a hug is one of the best ways to feel socially supported, and the lack of social touch can have severe negative effects on an individual's well-being. Based on previous research both within and outside of HRI, we propose six tenets ("commandments") of natural and enjoyable robotic hugging: a hugging robot should be soft, be warm, be human sized, visually perceive its user, adjust its embrace to the user's size and position, and reliably release when the user wants to end the hug. Prior work validated the first two tenets, and the final four are new. We followed all six tenets to create a new robotic platform, HuggieBot 2.0, that has a soft, warm, inflated body (HuggieChest) and uses visual and haptic sensing to deliver closed-loop hugging. We first verified the outward appeal of this platform in comparison to the previous PR2-based HuggieBot 1.0 via an online video-watching study involving 117 users. We then conducted an in-person experiment in which 32 users each exchanged eight hugs with HuggieBot 2.0, experiencing all combinations of visual hug initiation, haptic sizing, and haptic releasing. The results show that adding haptic reactivity definitively improves user perception a hugging robot, largely verifying our four new tenets and illuminating several interesting opportunities for further improvement.


title: Second and fourth moments of the charge density and neutron-skin thickness of atomic nuclei

abstract: A method is presented to extract the neutron-skin thickness of atomic nuclei from the second and fourth moments of the electric charge distribution. We show that the value of the proton fourth moment must be independently known in order to estimate the neutron skin thickness experimentally. To overcome this problem, we propose the use of a strong linear correlation among the second and fourth moments of the proton distribution as calculated with several energy density functionals of common use. We take special care in estimating the errors associated with the different contributions to the neutron radius and show, for the first time, the analytic expressions for the spin-orbit contribution to the charge fourth moments of neutrons and protons. To reduce the uncertainty on the extraction of the neutron radius, two neighboring even-even isotopes are used. Nevertheless, the error on the fourth moment of the proton distribution, even if determined or assumed with large accuracy, dominates and prevents the present method from being applied for a sound determination of the neutron skin thickness.


title: Hyperspectral Image Denoising via Multi-modal and Double-weighted Tensor Nuclear Norm

abstract: Hyperspectral images (HSIs) usually suffer from different types of pollution. This severely reduces the quality of HSIs and limits the accuracy of subsequent processing tasks. HSI denoising can be modeled as a low-rank tensor denoising problem. Tensor nuclear norm (TNN) induced by tensor singular value decomposition plays an important role in this problem. In this letter, we first reconsider three inconspicuous but crucial phenomenons in TNN. In the Fourier transform domain of HSIs, different frequency slices (FS) contain different information; different singular values (SVs) of each FS also represent different information. The two physical phenomenons lie not only in the spectral mode but also in the spatial modes. Then based on them, we propose a multi-modal and double-weighted TNN. It can adaptively shrink the FS and SVs according to their physical meanings in all modes of HSIs. In the framework of the alternating direction method of multipliers, we design an effective alternating iterative strategy to optimize our proposed model. Denoised experiments on both synthetic and real HSI datasets demonstrate their superiority against related methods.


title: Observations of a prominence eruption and loop contraction

abstract: Context. Prominence eruptions provide key observations to understand the launch of coronal mass ejections as their cold plasma traces a part of the unstable magnetic configuration. Aims. We select a well observed case to derive observational constraints for eruption models. Methods. We analyze the prominence eruption and loop expansion and contraction observed on 02 March 2015 associated with a GOES M3.7 class flare (SOL2015-03-02T15:27) using the data from Atmospheric Imaging Assembly (AIA) and the Reuven Ramaty High Energy Solar Spectroscopic Imager (RHESSI). We study the prominence eruption and the evolution of loops using the time-distance techniques. Results. The source region is a decaying bipolar active region where magnetic flux cancellation is present for several days before the eruption. AIA observations locate the erupting prominence within a flux rope viewed along its local axis direction. We identify and quantify the motion of loops in contraction and expansion located on the side of the erupting flux rope. Finally, RHESSI hard X-ray observations identify the loop top and two foot-point sources. Conclusions. Both AIA and RHESSI observations support the standard model of eruptive flares. The contraction occurs 19 minutes after the start of the prominence eruption indicating that this contraction is not associated with the eruption driver. Rather, this prominence eruption is compatible with an unstable flux rope where the contraction and expansion of the lateral loop is the consequence of a side vortex developing after the flux rope is launched.


title: Utilizing Import Vector Machines to Identify Dangerous Pro-active Traffic Conditions

abstract: Traffic accidents have been a severe issue in metropolises with the development of traffic flow. This paper explores the theory and application of a recently developed machine learning technique, namely Import Vector Machines (IVMs), in real-time crash risk analysis, which is a hot topic to reduce traffic accidents. Historical crash data and corresponding traffic data from Shanghai Urban Expressway System were employed and matched. Traffic conditions are labelled as dangerous (i.e. probably leading to a crash) and safe (i.e. a normal traffic condition) based on 5-minute measurements of average speed, volume and occupancy. The IVM algorithm is trained to build the classifier and its performance is compared to the popular and successfully applied technique of Support Vector Machines (SVMs). The main findings indicate that IVMs could successfully be employed in real-time identification of dangerous pro-active traffic conditions. Furthermore, similar to the "support points" of the SVM, the IVM model uses only a fraction of the training data to index kernel basis functions, typically a much smaller fraction than the SVM, and its classification rates are similar to those of SVMs. This gives the IVM a computational advantage over the SVM, especially when the size of the training data set is large.


title: Interlayer Ferromagnetism and High-Temperature Quantum Anomalous Hall Effect in \textit{p}-Doped MnBi$_2$Te$_4$ Multilayers

abstract: The interlayer antiferromagnetic coupling hinders the observation of quantum anomalous Hall effect in magnetic topological insulator MnBi$_2$Te$_4$. We demonstrate that interlayer \textit{ferromagnetism} can be established by utilizing the \textit{p}-doping method in MnBi$_2$Te$_4$ multilayers. In two septuple-layers system, the interlayer ferromagnetic coupling appears by doping nonmagnetic elements (e.g., N, P, As, Na, Mg, K, and Ca), due to the redistribution of orbital occupations of Mn. We further find that Mg and Ca elements are the most suitable candidates because of their low formation energy. Although, the \textit{p}-doped two septuple layers exhibit topologically trivial band structure, the increase of layer thickness to three (four) septuple layers with Ca (Mg) dopants leads to the formation of the quantum anomalous Hall effect. Our proposed \textit{p}-doping strategy not only makes MnBi$_2$Te$_4$ become an ideal platform to realize the high-temperature quantum anomalous Hall effect without external magnetic field, but also can compensate the electrons from the intrinsic \textit{n}-type defects in MnBi$_2$Te$_4$.


title: GLocalX -- From Local to Global Explanations of Black Box AI Models

abstract: Artificial Intelligence (AI) has come to prominence as one of the major components of our society, with applications in most aspects of our lives. In this field, complex and highly nonlinear machine learning models such as ensemble models, deep neural networks, and Support Vector Machines have consistently shown remarkable accuracy in solving complex tasks. Although accurate, AI models often are "black boxes" which we are not able to understand. Relying on these models has a multifaceted impact and raises significant concerns about their transparency. Applications in sensitive and critical domains are a strong motivational factor in trying to understand the behavior of black boxes. We propose to address this issue by providing an interpretable layer on top of black box models by aggregating "local" explanations. We present GLocalX, a "local-first" model agnostic explanation method. Starting from local explanations expressed in form of local decision rules, GLocalX iteratively generalizes them into global explanations by hierarchically aggregating them. Our goal is to learn accurate yet simple interpretable models to emulate the given black box, and, if possible, replace it entirely. We validate GLocalX in a set of experiments in standard and constrained settings with limited or no access to either data or local explanations. Experiments show that GLocalX is able to accurately emulate several models with simple and small models, reaching state-of-the-art performance against natively global solutions. Our findings show how it is often possible to achieve a high level of both accuracy and comprehensibility of classification models, even in complex domains with high-dimensional data, without necessarily trading one property for the other. This is a key requirement for a trustworthy AI, necessary for adoption in high-stakes decision making applications.


title: Effects of temperature variations in high sensitivity Sagnac gyroscope

abstract: GINGERINO is one of the most sensitive Sagnac laser-gyroscope based on an heterolithic mechanical structure. It is a prototype for GINGER, the laser gyroscopes array proposed to reconstruct the Earth rotation vector and in this way to measure General Relativity effects. Many factors affect the final sensitivity of laser gyroscopes, in particular, when they are used in long term measurements, slow varying environmental parameters come into play. To understand the role of different terms allows to design more effective mechanical as well as optical layouts, while a proper model of the dynamics affecting long term (low frequency) signals would increase the effectiveness of the data analysis for improving the overall sensitivity. In this contribution we focus our concerns on the effects of room temperature and pressure aiming at further improving mechanical design and long term stability of the apparatus. Our data are compatible with a local orientation changes of the Gran Sasso site below $\mu$rad as predicted by geodetic models. This value is, consistent with the requirements for GINGER and the installation of an high sensitivity Sagnac gyroscope oriented at the maximum signal, \textit{i.e.} along the Earth rotation axes.


title: Towards duration robust weakly supervised sound event detection

abstract: Sound event detection (SED) is the task of tagging the absence or presence of audio events and their corresponding interval within a given audio clip. While SED can be done using supervised machine learning, where training data is fully labeled with access to per event timestamps and duration, our work focuses on weakly-supervised sound event detection (WSSED), where prior knowledge about an event's duration is unavailable. Recent research within the field focuses on improving segment- and event-level localization performance for specific datasets regarding specific evaluation metrics. Specifically, well-performing event-level localization requires fully labeled development subsets to obtain event duration estimates, which significantly benefits localization performance. Moreover, well-performing segment-level localization models output predictions at a coarse-scale (e.g., 1 second), hindering their deployment on datasets containing very short events (< 1 second). This work proposes a duration robust CRNN (CDur) framework, which aims to achieve competitive performance in terms of segment- and event-level localization. This paper proposes a new post-processing strategy named "Triple Threshold" and investigates two data augmentation methods along with a label smoothing method within the scope of WSSED. Evaluation of our model is done on the DCASE2017 and 2018 Task 4 datasets, and URBAN-SED. Our model outperforms other approaches on the DCASE2018 and URBAN-SED datasets without requiring prior duration knowledge. In particular, our model is capable of similar performance to strongly-labeled supervised models on the URBAN-SED dataset. Lastly, ablation experiments to reveal that without post-processing, our model's localization performance drop is significantly lower compared with other approaches.


title: Radiation drive temperature measurements in aluminium via radiation-driven shock waves: Modeling using self-similar solutions

abstract: We study the phenomena of radiative-driven shock waves using a semi-analytic model based on self similar solutions of the radiative hydrodynamic problem. The relation between the hohlraum drive temperature $T_{\mathrm{Rad}}$ and the resulting ablative shock $D_S$ is a well-known method for the estimation of the drive temperature. However, the various studies yield different scaling relations between $T_{\mathrm{Rad}}$ and $D_S$, based on different simulations. In [T. Shussman and S.I. Heizler, Phys. Plas., 22, 082109 (2015)] we have derived full analytic solutions for the subsonic heat wave, that include both the ablation and the shock wave regions. Using this self-similar approach we derive here the $T_{\mathrm{Rad}}(D_S)$ relation for aluminium, using the detailed Hugoniot relations and including transport effects. By our semi-analytic model, we find a spread of $\approx 40$eV in the $T_{\mathrm{Rad}}(D_S)$ curve, as a function of the temperature profile's duration and its temporal profile. Our model agrees with the various experiments and the simulations data, explaining the difference between the various scaling relations that appear in the literature.


title: On the interplay of solar wind proton and electron instabilities: Linear and quasi-linear approaches

abstract: Important efforts are currently made for understanding the so-called kinetic instabilities, driven by the anisotropy of different species of plasma particles present in the solar wind and terrestrial magnetosphere. These instabilities are fast enough to efficiently convert the free energy of plasma particles into enhanced (small-scale) fluctuations with multiple implications, regulating the anisotropy of plasma particles. In this paper we use both linear and quasilinear (QL) frameworks to describe complex unstable regimes, which realistically combine different temperature anisotropies of electrons and ions (protons). Thus parameterized are various instabilities, e.g., proton and electron firehose, electromagnetic ion cyclotron, and whistler instability, showing that their main linear properties are markedly altered by the interplay of anisotropic electrons and protons. Linear theory may predict a strong competition of two instabilities of different nature when their growth rates are comparable. In the QL phase wave fluctuations grow and saturate at different levels and temporal scales, by comparison to the individual excitation of the proton or electron instabilities. In addition, cumulative effects of the combined proton and electron induced fluctuations can markedly stimulate the relaxations of their temperature anisotropies. Only whistler fluctuations inhibit the efficiency of proton firehose fluctuations in the relaxation of anisotropic protons. These results offer valuable premises for further investigations in numerical simulations, to decode the full spectrum of kinetic instabilities resulting from the interplay of anisotropic electrons and protons in space plasmas.

categories: physics.plasm-ph astro-ph.SR physics.pop-ph physics.space-ph


title: Efficient Mining of Frequent Subgraphs with Two-Vertex Exploration

abstract: Frequent Subgraph Mining (FSM) is the key task in many graph mining and machine learning applications. Numerous systems have been proposed for FSM in the past decade. Although these systems show good performance for small patterns (with no more than four vertices), we found that they have difficulty in mining larger patterns. In this work, we propose a novel two-vertex exploration strategy to accelerate the mining process. Compared with the single-vertex exploration adopted by previous systems, our two-vertex exploration avoids the large memory consumption issue and significantly reduces the memory access overhead. We further enhance the performance through an index-based quick pattern technique that reduces the overhead of isomorphism checks, and a subgraph sampling technique that mitigates the issue of subgraph explosion. The experimental results show that our system achieves significant speedups against the state-of-the-art graph pattern mining systems and supports larger pattern mining tasks that none of the existing systems can handle.


title: Choice Set Misspecification in Reward Inference

abstract: Specifying reward functions for robots that operate in environments without a natural reward signal can be challenging, and incorrectly specified rewards can incentivise degenerate or dangerous behavior. A promising alternative to manually specifying reward functions is to enable robots to infer them from human feedback, like demonstrations or corrections. To interpret this feedback, robots treat as approximately optimal a choice the person makes from a choice set, like the set of possible trajectories they could have demonstrated or possible corrections they could have made. In this work, we introduce the idea that the choice set itself might be difficult to specify, and analyze choice set misspecification: what happens as the robot makes incorrect assumptions about the set of choices from which the human selects their feedback. We propose a classification of different kinds of choice set misspecification, and show that these different classes lead to meaningful differences in the inferred reward and resulting performance. While we would normally expect misspecification to hurt, we find that certain kinds of misspecification are neither helpful nor harmful (in expectation). However, in other situations, misspecification can be extremely harmful, leading the robot to believe the opposite of what it should believe. We hope our results will allow for better prediction and response to the effects of misspecification in real-world reward inference.