title: Pandemic Software Development: The Student Experiences from Developing a COVID-19 Information Dashboard

abstract: The COVID-19 pandemic has birthed a wealth of information through many publicly accessible sources, such as news outlets and social media. However, gathering and understanding the content can be difficult due to inaccuracies or inconsistencies between the different sources. To alleviate this challenge in Australia, a team of 48 student volunteers developed an open-source COVID-19 information dashboard to provide accurate, reliable, and real-time COVID-19 information for Australians. The students developed this software while working under legislative restrictions that required social isolation. The goal of this study is to characterize the experiences of the students throughout the project. We conducted an online survey completed by 39 of the volunteering students contributing to the COVID-19 dashboard project. Our results indicate that playing a positive role in the COVID-19 crisis and learning new skills and technologies were the most cited motivating factors for the students to participate in the project. While working on the project, some students struggled to maintain a work-life balance due to working from home. However, the students generally did not express strong sentiment towards general project challenges. The students expressed more strongly that data collection was a significant challenge as it was difficult to collect reliable, accurate, and up-to-date data from various government sources. The students have been able to mitigate these challenges by establishing a systematic data collection process in the team, leveraging frequent and clear communication through text, and appreciating and encouraging each other's efforts. By participating in the project, the students boosted their technical (e.g., front-end development) and non-technical (e.g., task prioritization) skills. Our study discusses several implications for students, educators, and policymakers.


title: Park factor estimation improvement using pairwise comparison method

abstract: Each ballpark has a different size in baseball. It could be easily imagined that there would be many home runs in a small ballpark. Moreover, the environment of the ballpark, such as altitude, humidity, air pressure, and wind strength, affects the trajectory of batted balls. Park Factors (PF) are introduced in baseball to quantify the effect of each ballpark on the results (e.g., home runs). In this paper, I assume that each plate appearance can be modeled as a match-up between a batter's team and a pitcher's team plus a ballpark. The effects of each ballpark will be distilled by using a logistic regression method. Numerical verification shows that the proposed method performs better than conventional PF. The verification is based on the results of more than 1.5 million plate appearances from the 2010 to 2017 Major League Baseball (MLB) seasons.


title: Some results on variable Gaussian Besov-Lipschitz and variable Gaussian Triebel-Lizorkin spaces

abstract: In a previous paper two of the authors introduced and study Gaussian Besov-Lipschitz spaces $B_{p,q}^{\alpha}(\gamma_{d})$ and Gaussian Triebel-Lizorkin spaces $F_{p,q}^{\alpha}(\gamma_{d})$. Now, in this paper we introduce the variable Gaussian Besov-Lipschitz spaces $B_{p(\cdot),q(\cdot)}^{\alpha}(\gamma_{d})$ and the variable Gaussian Triebel-Lizorkin spaces $F_{p(\cdot),q(\cdot)}^{\alpha}(\gamma_{d}),$ that is to say, Gaussian Besov-Lipschitz and Triebel-Lizorkin spaces with variable exponents, under certain additional regularity conditions on the exponents $p(\cdot)$ and $q(\cdot)$ introduced by Dalmasso and Scotto. Trivially, they include the Gaussian Besov-Lipschitz spaces $B_{p,q}^{\alpha}(\gamma_{d})$ and Gaussian Triebel-Lizorkin spaces $F_{p,q}^{\alpha}(\gamma_{d})$. We consider some inclusion relations of those spaces and finally we also prove some interpolation results for them.


title: TempNet -- Temporal Super Resolution of Radar Rainfall Products with Residual CNNs

abstract: The temporal and spatial resolution of rainfall data is crucial for environmental modeling studies in which its variability in space and time is considered as a primary factor. Rainfall products from different remote sensing instruments (e.g., radar, satellite) have different space-time resolutions because of the differences in their sensing capabilities and post-processing methods. In this study, we developed a deep learning approach that augments rainfall data with increased time resolutions to complement relatively lower resolution products. We propose a neural network architecture based on Convolutional Neural Networks (CNNs) to improve the temporal resolution of radar-based rainfall products and compare the proposed model with an optical flow-based interpolation method and CNN-baseline model. The methodology presented in this study could be used for enhancing rainfall maps with better temporal resolution and imputation of missing frames in sequences of 2D rainfall maps to support hydrological and flood forecasting studies.


title: POI Alias Discovery in Delivery Addresses using User Locations

abstract: People often refer to a place of interest (POI) by an alias. In e-commerce scenarios, the POI alias problem affects the quality of the delivery address of online orders, bringing substantial challenges to intelligent logistics systems and market decision-making. Labeling the aliases of POIs involves heavy human labor, which is inefficient and expensive. Inspired by the observation that the users' GPS locations are highly related to their delivery address, we propose a ubiquitous alias discovery framework. Firstly, for each POI name in delivery addresses, the location data of its associated users, namely Mobility Profile are extracted. Then, we identify the alias relationship by modeling the similarity of mobility profiles. Comprehensive experiments on the large-scale location data and delivery address data from JD logistics validate the effectiveness.


title: Every complete atomic Boolean algebra is the ideal lattice of a cBCK-algebra

abstract: Given a complete atomic Boolean algebra, we show there is a commutative BCK-algebra whose ideal lattice is that Boolean algebra. This result is shown to exist within a larger framework involving BCK-algebras of functions, whose ideals and prime ideals are analyzed by way of a specific Galois connection. As a corollary of the main theorem, we show that every discrete topological space is the prime spectrum of a cBCK-algebra.


title: Determinantal structures for Bessel fields

abstract: A Bessel field $\mathcal{B}=\{\mathcal{B}(\alpha,t), \alpha\in\mathbb{N}_0, t\in\mathbb{R}\}$ is a two-variable random field such that for every $(\alpha,t)$, $\mathcal{B}(\alpha,t)$ has the law of a Bessel point process with index $\alpha$. The Bessel fields arise as hard edge scaling limits of the Laguerre field, a natural extension of the classical Laguerre unitary ensemble. It is recently proved in [LW21] that for fixed $\alpha$, $\{\mathcal{B}(\alpha,t), t\in\mathbb{R}\}$ is a squared Bessel Gibbsian line ensemble. In this paper, we discover rich integrable structures for the Bessel fields: along a time-like or a space-like path, $\mathcal{B}$ is a determinantal point process with an explicit correlation kernel; for fixed $t$, $\{\mathcal{B}(\alpha,t),\alpha\in\mathbb{N}_0\}$ is an exponential Gibbsian line ensemble.


title: HiTMap: A Hierarchical Topological Map Representation for Navigation in Unknown Environments

abstract: The ability to autonomously navigate in unknown environments is important for mobile robots. The map is the core component to achieve this. Most map representations rely on drift-free state estimation and provide a global metric map to navigate. However, in large-scale real-world applications, it's hard to prohibit drifts and compose a globally consistent map quickly. In this paper, a novel representation named, HiTMap, is proposed to enhance the existing map representations. The central idea is to adopt a submap-based hierarchical topology rather than a global metric map so that only a local metric map is maintained for obstacle avoidance which ensures the lightweight of the representation. To guide the robots navigate into unknown spaces, frontiers are detected and attached to the map as an attribute. We also develop a path planning module to evaluate the feasibility and efficiency of our map representation. The system is validated in a simulation environment and a demonstration in the real world is conducted. In addition, the HiTMap is made available open-source.


title: UTXO in Digital Currencies: Account-based or Token-based? Or Both?

abstract: There are different interpretations of the terms "tokens" and "token-based systems" in the literature around blockchain and digital currencies although the distinction between token-based and account-based systems is well entrenched in economics. Despite the wide use of the terminologies of tokens and tokenisation in the cryptocurrency community, the underlying concept sometimes does not square well with the economic notions, or is even contrary to them. The UTXO design of Bitcoin exhibits partially characteristics of a token-based system and partially characteristics of an account-based system. A discussion on the difficulty to implement the economic notion of tokens in the digital domain, along with an exposition of the design of UTXO, is given in order to discuss why UTXO-based systems should be viewed as account-based according to the classical economic notion. Besides, a detailed comparison between UTXO-based systems and account-based systems is presented. Using the data structure of the system state representation as the defining feature to distinguish digital token-based and account-based systems is therefore suggested. This extended definition of token-based systems covers both physical and digital tokens while neatly distinguishing token-based and account-based systems.


title: Does an accelerated mirror suffer hindrance from vacuum?

abstract: We study the accelerated motion of mirrors and the photonic Unruh effect. The solutions of Maxwell's equations with appropriate boundary conditions in Rindler coordinates are found. The canonical quantization of the field is carried out properly. Important consequences arise from the presence of mirrors or polarizers. It is shown that a single reflective surface produces frequency quantization due to Dirichlet conditions applied to the $-1/(\alpha x)^2$ anomalous potential for non-inertial observers. The number of photons per accelerated mode is estimated via Hankel functions.


title: Continuous Welch bounds with Applications

abstract: Let $(\Omega, \mu)$ be a measure space and $\{\tau_\alpha\}_{\alpha\in \Omega}$ be a normalized continuous Bessel family for a finite dimensional Hilbert space $\mathcal{H}$ of dimension $d$. If the diagonal $\Delta\coloneqq \{(\alpha, \alpha):\alpha \in \Omega\}$ is measurable in the measure space $\Omega\times \Omega$, then we show that \begin{align*} \sup _{\alpha, \beta \in \Omega, \alpha\neq \beta}|\langle \tau_\alpha, \tau_\beta\rangle |^{2m}\geq \frac{1}{(\mu\times\mu)((\Omega\times\Omega)\setminus\Delta)}\left[\frac{ \mu(\Omega)^2}{{d+m-1 \choose m}}-(\mu\times\mu)(\Delta)\right], \quad \forall m \in \mathbb{N}. \end{align*} This improves 47 years old celebrated result of Welch [\textit{IEEE Transactions on Information Theory, 1974}]. We introduce the notions of continuous cross correlation and frame potential of Bessel family and give applications of continuous Welch bounds to these concepts. We also introduce the notion of continuous Grassmannian frames.


title: Design, Simulation and Feasibility Analysis of Bifacial Solar PV System in Marine Drive Road, Cox's Bazar

abstract: This paper proposes a design and simulation based investigative analysis of a vertically mounted bifacial solar photovoltaic model in Marine Drive Road, Cox's Bazar. Cox's bazar is a famous tourist destination which seems to be a flexible site for implementing such energy harvesting system without affecting the nearby eco-system and solves the existing land shortage problem. Moreover, the infrastructure will provide insulation to noise related problem faced by nearby residents, arising from traffic noises. A model road of 200 meters is reconnoitered for energy harvesting by solar power using three prominent software namely PVSOL, PVsyst, and SAM where a promising mean annual yield of 70492.9 kWh is obtained, and the bifacial gain is calculated to be 12.26%. In addition, a deviation analysis is performed among each of the software and it is found that PVSOL and PVsyst have shown less deviation. Furthermore, a comprehensive financial analysis shows total installation cost to be 84759.74$.


title: Surface exceptional points in a topological Kondo insulator

abstract: Correlated materials have appeared as an arena to study non-Hermitian effects as typically exemplified by the emergence of exceptional points. We show here that topological Kondo insulators are an ideal platform for studying these phenomena due to strong correlations and surface states exhibiting a nontrivial spin texture. Using numerical simulations, we demonstrate the emergence of exceptional points in the single-particle Green's function on the surface of the material while the bulk is still insulating. We reveal how quasiparticle states with long lifetimes are created on the surface by non-Hermitian effects while the Dirac cones are smeared, which explains the surface Kondo breakdown at which heavy Dirac cones disappear from the single-particle spectrum and are replaced by light states. We further show how the non-Hermiticty changes the spin texture inherent in the surface states, which might help identify exceptional points experimentally. Besides confirming the existence of non-Hermitian effects on the surface of a topological Kondo insulator, this paper demonstrates how the eigenstates and eigenvalues of the effective non-Hermitian matrix describing the single-particle Green's function help understand the properties of correlated materials.


title: Semi-supervised Dense Keypoints Using Unlabeled Multiview Images

abstract: This paper presents a new end-to-end semi-supervised framework to learn a dense keypoint detector using unlabeled multiview images. A key challenge lies in finding the exact correspondences between the dense keypoints in multiple views since the inverse of the keypoint mapping can be neither analytically derived nor differentiated. This limits applying existing multiview supervision approaches used to learn sparse keypoints that rely on the exact correspondences. To address this challenge, we derive a new probabilistic epipolar constraint that encodes the two desired properties. (1) Soft correspondence: we define a matchability, which measures a likelihood of a point matching to the other image's corresponding point, thus relaxing the requirement of the exact correspondences. (2) Geometric consistency: every point in the continuous correspondence fields must satisfy the multiview consistency collectively. We formulate a probabilistic epipolar constraint using a weighted average of epipolar errors through the matchability thereby generalizing the point-to-point geometric error to the field-to-field geometric error. This generalization facilitates learning a geometrically coherent dense keypoint detection model by utilizing a large number of unlabeled multiview images. Additionally, to prevent degenerative cases, we employ a distillation-based regularization by using a pretrained model. Finally, we design a new neural network architecture, made of twin networks, that effectively minimizes the probabilistic epipolar errors of all possible correspondences between two view images by building affinity matrices. Our method shows superior performance compared to existing methods, including non-differentiable bootstrapping in terms of keypoint accuracy, multiview consistency, and 3D reconstruction accuracy.


title: Feature Correlation Aggregation: on the Path to Better Graph Neural Networks

abstract: Prior to the introduction of Graph Neural Networks (GNNs), modeling and analyzing irregular data, particularly graphs, was thought to be the Achilles' heel of deep learning. The core concept of GNNs is to find a representation by recursively aggregating the representations of a central node and those of its neighbors. The core concept of GNNs is to find a representation by recursively aggregating the representations of a central node and those of its neighbor, and its success has been demonstrated by many GNNs' designs. However, most of them only focus on using the first-order information between a node and its neighbors. In this paper, we introduce a central node permutation variant function through a frustratingly simple and innocent-looking modification to the core operation of a GNN, namely the Feature cOrrelation aGgregation (FOG) module which learns the second-order information from feature correlation between a node and its neighbors in the pipeline. By adding FOG into existing variants of GNNs, we empirically verify this second-order information complements the features generated by original GNNs across a broad set of benchmarks. A tangible boost in performance of the model is observed where the model surpasses previous state-of-the-art results by a significant margin while employing fewer parameters. (e.g., 33.116% improvement on a real-world molecular dataset using graph convolutional networks).


title: Universality of the Galois action on the fundamental group of $\mathbb{P}^1\setminus\{0,1,\infty\}$

abstract: We prove that any semi-simple representation of the Galois group of a number field coming from geometry appears as a subquotient of the ring of regular functions on the pro-algebraic completion of the fundamental group of the projective line with $3$ punctures.


title: On the valuation of multiple reset options: integral equation approach

abstract: In this paper, we study a pricing problem of the multiple reset put option, which allows the holder to reset several times a current strike price to obtain an at-the-money European put option. We formulate the pricing problem as a multiple optimal stopping problem, then reduce it to a sequence of single optimal stopping problems and study the associated free-boundary problems. We solve this sequence of problems by induction in the number of remaining reset rights and exploit probabilistic arguments such as local time-space calculus on curves. As a result, we characterize each optimal reset boundary as the unique solution to a nonlinear integral equation and derive the reset premium representations for the option prices. We propose that the multiple reset options can be used as cryptocurrency derivatives and an attractive alternative to standard European options due to the extreme volatility of underlying cryptocurrencies.


title: Complex Higgs Oscillators

abstract: In this note we discuss the complex version of the Higgs oscillator on the hyperbolic space. The eigenvalues and resonances of the complex Higgs oscillator are computed in different examples in the hyperbolic setting. We also propose open problems like whether the complex absorbing potential (CAP) method works for asymptotically hyperbolic manifolds and finding hyperbolic analogues of the complex harmonic oscillator.


title: Deformed semicircle law and concentration of nonlinear random matrices for ultra-wide neural networks

abstract: In this paper, we investigate a two-layer fully connected neural network of the form $f(X)=\frac{1}{\sqrt{d_1}}\boldsymbol{a}^\top \sigma\left(WX\right)$, where $X\in\mathbb{R}^{d_0\times n}$ is a deterministic data matrix, $W\in\mathbb{R}^{d_1\times d_0}$ and $\boldsymbol{a}\in\mathbb{R}^{d_1}$ are random Gaussian weights, and $\sigma$ is a nonlinear activation function. We study the limiting spectral distributions of two empirical kernel matrices associated with $f(X)$: the empirical conjugate kernel (CK) and neural tangent kernel (NTK), beyond the linear-width regime ($d_1\asymp n$). We focus on the $\textit{ultra-wide regime}$, where the width $d_1$ of the first layer is much larger than the sample size $n$. Under appropriate assumptions on $X$ and $\sigma$, a deformed semicircle law emerges as $d_1/n\to\infty$ and $n\to\infty$. We first prove this limiting law for generalized sample covariance matrices with some dependency. To specify it for our neural network model, we provide a nonlinear Hanson-Wright inequality that is suitable for neural networks with random weights and Lipschitz activation functions. We also demonstrate non-asymptotic concentrations of the empirical CK and NTK around their limiting kernels in the spectral norm, along with lower bounds on their smallest eigenvalues. As an application, we show that random feature regression induced by the empirical kernel achieves the same asymptotic performance as its limiting kernel regression under the ultra-wide regime. This allows us to calculate the asymptotic training and test errors for random feature regression using the corresponding kernel regression.


title: Unified chemical theory of structure and bonding in elemental metals

abstract: Most elemental metals under ambient conditions adopt simple structures such as BCC, FCC and HCP in specific groupings across the Periodic Table, and on compression, many of these elements undergo transitions to surprisingly complex structures, including open and low-symmetry phases not expected from conventional free-electron based theories of metals. First-principles calculations have been able to reproduce many observed structures and transitions, but a unified, predictive theory of bonding that underlies this behavior is not yet in hand. We propose a remarkably simple theory based on large-scale high-throughput calculations of the elements over a broad range of thermodynamic conditions. The results broaden the conventional concept of metallic bonding with a new perspective that both explains the stability of different simple structures as well as lower symmetry phases arising from electron localization at interstitial sites in these structures. The success of this simple framework reveals the important role of chemical interactions in governing the structures and electronic properties of simple metals.


title: Abelian Repetition Threshold Revisited

abstract: Abelian repetition threshold ART(k) is the number separating fractional Abelian powers which are avoidable and unavoidable over the k-letter alphabet. The exact values of ART(k) are unknown; the lower bounds were proved in [A.V. Samsonov, A.M. Shur. On Abelian repetition threshold. RAIRO ITA, 2012] and conjectured to be tight. We present a method of study of Abelian power-free languages using random walks in prefix trees and some experimental results obtained by this method. On the base of these results, we conjecture that the lower bounds for ART(k) by Samsonov and Shur are not tight for all k except for k=5 and prove this conjecture for k=6,7,8,9,10. Namely, we show that ART(k) > (k-2)/(k-3) in all these cases.


title: Assisted Learning for Organizations with Limited Imbalanced Data

abstract: In the era of big data, many big organizations are integrating machine learning into their work pipelines to facilitate data analysis. However, the performance of their trained models is often restricted by limited and imbalanced data available to them. In this work, we develop an assisted learning framework for assisting organizations to improve their learning performance. The organizations have sufficient computation resources but are subject to stringent data-sharing and collaboration policies. Their limited imbalanced data often cause biased inference and sub-optimal decision-making. In assisted learning, an organizational learner purchases assistance service from an external service provider and aims to enhance its model performance within only a few assistance rounds. We develop effective stochastic training algorithms for both assisted deep learning and assisted reinforcement learning. Different from existing distributed algorithms that need to frequently transmit gradients or models, our framework allows the learner to only occasionally share information with the service provider, but still obtain a model that achieves near-oracle performance as if all the data were centralized.


title: A monotone discretization for integral fractional Laplacian on bounded Lipschitz domains: Pointwise error estimates under H\"{o}lder regularity

abstract: We propose a monotone discretization for the integral fractional Laplace equation on bounded Lipschitz domains with the homogeneous Dirichlet boundary condition. The method is inspired by a quadrature-based finite difference method of Huang and Oberman, but is defined on unstructured grids in arbitrary dimensions with a more flexible domain for approximating singular integral. The scale of the singular integral domain not only depends on the local grid size, but also on the distance to the boundary, since the H\"{o}lder coefficient of the solution deteriorates as it approaches the boundary. By using a discrete barrier function that also reflects the distance to the boundary, we show optimal pointwise convergence rates in terms of the H\"{o}lder regularity of the data on both quasi-uniform and graded grids. Several numerical examples are provided to illustrate the sharpness of the theoretical results.


title: Commonsense Knowledge in Word Associations and ConceptNet

abstract: Humans use countless basic, shared facts about the world to efficiently navigate in their environment. This commonsense knowledge is rarely communicated explicitly, however, understanding how commonsense knowledge is represented in different paradigms is important for both deeper understanding of human cognition and for augmenting automatic reasoning systems. This paper presents an in-depth comparison of two large-scale resources of general knowledge: ConcpetNet, an engineered relational database, and SWOW a knowledge graph derived from crowd-sourced word associations. We examine the structure, overlap and differences between the two graphs, as well as the extent to which they encode situational commonsense knowledge. We finally show empirically that both resources improve downstream task performance on commonsense reasoning benchmarks over text-only baselines, suggesting that large-scale word association data, which have been obtained for several languages through crowd-sourcing, can be a valuable complement to curated knowledge graphs


title: Learning Versatile Convolution Filters for Efficient Visual Recognition

abstract: This paper introduces versatile filters to construct efficient convolutional neural networks that are widely used in various visual recognition tasks. Considering the demands of efficient deep learning techniques running on cost-effective hardware, a number of methods have been developed to learn compact neural networks. Most of these works aim to slim down filters in different ways, \eg,~investigating small, sparse or quantized filters. In contrast, we treat filters from an additive perspective. A series of secondary filters can be derived from a primary filter with the help of binary masks. These secondary filters all inherit in the primary filter without occupying more storage, but once been unfolded in computation they could significantly enhance the capability of the filter by integrating information extracted from different receptive fields. Besides spatial versatile filters, we additionally investigate versatile filters from the channel perspective. Binary masks can be further customized for different primary filters under orthogonal constraints. We conduct theoretical analysis on network complexity and an efficient convolution scheme is introduced. Experimental results on benchmark datasets and neural networks demonstrate that our versatile filters are able to achieve comparable accuracy as that of original filters, but require less memory and computation cost.


title: Direct minimizing method for Yang-Mills energy over $SO(3)$ bundle

abstract: In this paper, we use the direct minimizing method to find Yang-Mills connections for $SO(3)$ bundles over closed four manifolds. By constructing test connections, we prove that a minimizing sequence converges strongly to a minimizer under certain assumptions. In case the strong convergence fails, we find an anti-selfdual (or selfdual) connection.


title: On Sch\"utzenberger modules of the cactus group

abstract: The cactus group acts on the set of standard Young tableau of a given shape by (partial) Sch\"utzenberger involutions. It is natural to extend this action to the corresponding Specht module by identifying standard Young tableau with the Kazhdan-Lusztig basis. We term these representations of the cactus group "Sch\"utzenberger modules", denoted $S^\lambda_{\mathsf{Sch}}$, and in this paper we investigate their decomposition into irreducible components. We prove that when $\lambda$ is a hook shape, the cactus group action on $S^\lambda_{\mathsf{Sch}}$ factors through $S_{n-1}$ and the resulting multiplicities are given by Kostka coefficients. Our proof relies on results of Berenstein and Kirillov and Chmutov, Glick, and Pylyavskyy.


title: Magnetic moment of the $\Xi_b(6227)$ as a molecular pentaquark state

abstract: In this study, considering that the $\Xi_b (6227)$ state is in molecular structure, the magnetic moment of this state is extracted in the light-cone QCD sum rules. The numerical result is obtained as $\mu_{\Xi_b}= 0.12 \pm 0.03~\mu_N$. The magnetic moment of this state contains important information of its internal structure and shape deformations. Measurement of the magnetic moment of the $\Xi_b(6227)$ state in future experimental facilities can be very helpful in identification of the quantum numbers, as well as comprehension of the inner structure of this state.


title: Investigating the Relationship Between World Development Indicators and the Occurrence of Disease Outbreaks in the 21st Century: A Case Study

abstract: The timely identification of socio-economic sectors vulnerable to a disease outbreak presents an important challenge to the civic authorities and healthcare workers interested in outbreak mitigation measures. This problem was traditionally solved by studying the aberrances in small-scale healthcare data. In this paper, we leverage data driven models to determine the relationship between the trends of World Development Indicators and occurrence of disease outbreaks using worldwide historical data from 2000-2019, and treat it as a classic supervised classification problem. CART based feature selection was employed in an unorthodox fashion to determine the covariates getting affected by the disease outbreak, thus giving the most vulnerable sectors. The result involves a comprehensive analysis of different classification algorithms and is indicative of the relationship between the disease outbreak occurrence and the magnitudes of various development indicators.


title: Impacts of the image alignment over frequency for VLBI Global Observing System

abstract: The VLBI Global Observing System, which is the next generation of geodetic VLBI and is called VGOS, observes simultaneously at four frequency bands in the range 3.0--10.7 GHz (expected to be extended to 14 GHz). Because source structure changes with frequency, we aim to study the source position estimates from the observations of this new VLBI system. Based on an ideal point source model, simulations are made to determine the relation between the source positions as determined by VGOS observations and the locations of the radio emission at the four bands. We obtained the source positions as determined by VGOS observations as a function of the source positions at the four frequency bands for both group and phase delays. The results reveal that if the location of the radio emission at one band is offset with respect to that at the other bands, the position estimate can be shifted to the opposite direction and even by more than three times that offset. The VGOS source positions will be very variable with time and very imprecise in the sense of relating to the locations of the radio emission at the four bands, if the effects of source structure are not modeled. The image alignment over frequency is essential in order to model the effects of source structure in VGOS observations, which is the only way to mitigate these strong frequency-dependent impacts on VGOS source positions.


title: Neural Networks with Inputs Based on Domain of Dependence and A Converging Sequence for Solving Conservation Laws, Part I: 1D Riemann Problems

abstract: Recent research works for solving partial differential equations (PDEs) with deep neural networks (DNNs) have demonstrated that spatiotemporal function approximators defined by auto-differentiation are effective for approximating nonlinear problems, e.g. the Burger's equation, heat conduction equations, Allen-Cahn and other reaction-diffusion equations, and Navier-Stokes equation. Meanwhile, researchers apply automatic differentiation in physics-informed neural network (PINN) to solve nonlinear hyperbolic systems based on conservation laws with highly discontinuous transition, such as Riemann problem, by inverse problem formulation in data-driven approach. However, it remains a challenge for forward methods using DNNs without knowing part of the solution to resolve discontinuities in nonlinear conservation laws. In this study, we incorporate 1st order numerical schemes into DNNs to set up the loss functional approximator instead of auto-differentiation from traditional deep learning framework, e.g. TensorFlow package, which improves the effectiveness of capturing discontinuities in Riemann problems. In particular, the 2-Coarse-Grid neural network (2CGNN) and 2-Diffusion-Coefficient neural network (2DCNN) are introduced in this work. We use 2 solutions of a conservation law from a converging sequence, computed from a low-cost numerical scheme, and in a domain of dependence of a space-time grid point as the input for a neural network to predict its high-fidelity solution at the grid point. Despite smeared input solutions, they output sharp approximations to solutions containing shocks and contacts and are efficient to use once trained.


title: Deep Spatio-temporal Sparse Decomposition for Trend Prediction and Anomaly Detection in Cardiac Electrical Conduction

abstract: Electrical conduction among cardiac tissue is commonly modeled with partial differential equations, i.e., reaction-diffusion equation, where the reaction term describes cellular stimulation and diffusion term describes electrical propagation. Detecting and identifying of cardiac cells that produce abnormal electrical impulses in such nonlinear dynamic systems are important for efficient treatment and planning. To model the nonlinear dynamics, simulation has been widely used in both cardiac research and clinical study to investigate cardiac disease mechanisms and develop new treatment designs. However, existing cardiac models have a great level of complexity, and the simulation is often time-consuming. We propose a deep spatio-temporal sparse decomposition (DSTSD) approach to bypass the time-consuming cardiac partial differential equations with the deep spatio-temporal model and detect the time and location of the anomaly (i.e., malfunctioning cardiac cells). This approach is validated from the data set generated from the Courtemanche-Ramirez-Nattel (CRN) model, which is widely used to model the propagation of the transmembrane potential across the cross neuron membrane. The proposed DSTSD achieved the best accuracy in terms of spatio-temporal mean trend prediction and anomaly detection.


title: Angular correlations of heavy-flavour hadron decay electrons and charged particles in pp collisions at $\sqrt{s}$ = 5.02 TeV with ALICE at the LHC

abstract: Two-particle azimuthal correlations of electrons from heavy-flavour hadron decays with charged particles can give insight into the properties of heavy-quark production and hadronization into heavy-flavour jets.\\ In this contribution, the ALICE results measured in pp collisions at 5.02 TeV, collected in the LHC Run 2, are presented. The yields of charged particles in the near and away-side correlation peaks and the peak width are compared with PYTHIA calculations.


title: The current recorded signals of ultrahigh-energy $\gamma$-rays may come from EeVatrons in the galaxy

abstract: A hard $\gamma$-ray spectrum of supernova remnant G106.3+2.7 can be explained by using the hadronic model with the gluon condensation effect. This implies that not only PeVatrons but also EeVatrons generally exist in the universe including our galaxy, and they can accelerate protons to beyond "ankle" ($10^{19}~eV$). Although these proton beams are very weak in the galaxy and cannot be observed individually on the earth, the gluon condensation effect may greatly enhance the proton-proton cross section, which can compensate for the weak proton flux and produce the observed $\gamma$-rays. We also show that the gluon condensation effect in proton provides an efficient conversion mechanism for kinetic energy into $\gamma$-rays in the universe.


title: Robust Physical-World Attacks on Face Recognition

abstract: Face recognition has been greatly facilitated by the development of deep neural networks (DNNs) and has been widely applied to many safety-critical applications. However, recent studies have shown that DNNs are very vulnerable to adversarial examples, raising serious concerns on the security of real-world face recognition. In this work, we study sticker-based physical attacks on face recognition for better understanding its adversarial robustness. To this end, we first analyze in-depth the complicated physical-world conditions confronted by attacking face recognition, including the different variations of stickers, faces, and environmental conditions. Then, we propose a novel robust physical attack framework, dubbed PadvFace, to model these challenging variations specifically. Furthermore, considering the difference in attack complexity, we propose an efficient Curriculum Adversarial Attack (CAA) algorithm that gradually adapts adversarial stickers to environmental variations from easy to complex. Finally, we construct a standardized testing protocol to facilitate the fair evaluation of physical attacks on face recognition, and extensive experiments on both dodging and impersonation attacks demonstrate the superior performance of the proposed method.


title: Quantum criticality of fermion velocities and critical temperature nearby a putative quantum phase transition in the $d$-wave superconductors

abstract: Quantum critical behaviors induced by a putative quantum phase transition are vigilantly investigated, which separates a $d$-wave superconducting state and $d$-wave superconducting+$X$ state below the superconducting dome of the $d-$wave superconductors with tuning the non-thermal doping variable. Within the framework of renormalization group approach, we start with a phenomenological effective theory originated from the Landau-Ginzburg-Wilson theory and practice one-loop calculations to construct a set of coupled flows of all interaction parameters. After extracting related physical information from these coupled evolutions, we address that both fermion velocities and critical temperatures exhibit critical behaviors, which are robust enough against the initial conditions due to strong quantum fluctuations. At first, the evolution of Yukawa coupling between $X$-state order parameter and nodal fermions in tandem with quantum fluctuations heavily renormalize fermion velocities and generally drive them into certain finite anisotropic fixed point at the lowest-energy limit, whose concrete value relies upon the very quantum phase transition. In addition, these unique properties of fermion velocities largely reshape the fate of superfluid density, giving rise to either an enhancement or a dip of critical temperature. Moreover, we find that fermion-fermion interactions bring non-ignorable quantitative corrections to quantum critical behaviors despite they are subordinate to quantum fluctuations of order parameters.


title: Can online attention signals help fact-checkers fact-check?

abstract: Recent research suggests that not all fact-checking efforts are equal: when and what is fact-checked plays a pivotal role in effectively correcting misconceptions. In that context, signals capturing how much attention specific topics receive on the Internet have the potential to study (and possibly support) fact-checking efforts. This paper proposes a framework to study fact-checking with online attention signals. The framework consists of: 1) extracting claims from fact-checking efforts; 2) linking such claims with knowledge graph entities; and 3) estimating the online attention these entities receive. We use this framework to conduct a preliminary study of a dataset of 879 COVID-19-related fact-checks done in 2020 by 81 international organizations. Our findings suggest that there is often a disconnect between online attention and fact-checking efforts. For example, in around 40% of countries that fact-checked ten or more claims, half or more than half of the ten most popular claims were not fact-checked. Our analysis also shows that claims are first fact-checked after receiving, on average, 35% of the total online attention they would eventually receive in 2020. Yet, there is a considerable variation among claims: some were fact-checked before receiving a surge of misinformation-induced online attention; others are fact-checked much later. Overall, our work suggests that the incorporation of online attention signals may help organizations assess their fact-checking efforts and choose what and when to fact-check claims or stories. Also, in the context of international collaboration, where claims are fact-checked multiple times across different countries, online attention could help organizations keep track of which claims are "migrating" between countries.


title: A Shadowcasting-Based Next-Best-View Planner for Autonomous 3D Exploration

abstract: In this paper, we address the problem of autonomous exploration of unknown environments with an aerial robot equipped with a sensory set that produces large point clouds, such as LiDARs. The main goal is to gradually explore an area while planning paths and calculating information gain in short computation time, suitable for implementation on an on-board computer. To this end, we present a planner that randomly samples viewpoints in the environment map. It relies on a novel and efficient gain calculation based on the Recursive Shadowcasting algorithm. To determine the Next-Best-View (NBV), our planner uses a cuboid-based evaluation method that results in an enviably short computation time. To reduce the overall exploration time, we also use a dead end resolving strategy that allows us to quickly recover from dead ends in a challenging environment. Comparative experiments in simulation have shown that our approach outperforms the current state-of-the-art in terms of computational efficiency and total exploration time. The video of our approach can be found at https://www.youtube.com/playlist?list=PLC0C6uwoEQ8ZDhny1VdmFXLeTQOSBibQl.


title: Detection and demultiplexing of cylindrical vector beams enabled by rotational Doppler effect

abstract: Cylindrical vector beams (CVBs) detection is of vital significance in kinds of studies such as particle observation, mode-division multiplexing. Here we realize a comprehensive detection of cylindrical vector beams based on the rotational Doppler effect including analysis of topological charges, amplitudes, and phases for mode bases. We construct a mode demultiplexing scheme to obtain the amplitudes, phases in beating signal of collected scattering light by Fourier transformation. The method resolves both absolute values and signs of topological charges ofCVB simultaneously, which can not be simply realized by existing polarization examination techniques. It may be of big potential for related researches since an efficient, quantitative and complete scheme to detect CVBs is verified starting from this work.


title: Interlayer Exchange Interaction Driven Topological Phase Transition in Antiferromagnetic Electride Gd$_2$O

abstract: Based on first-principles calculations, we discover a two-dimensional layered antiferromagnetic (AFM) electride Gd$_2$O, where anionic excess electrons exist in the interstitial spaces between positively charged cationic layers. It is revealed that each cationic layer composed of three-atom-thick Gd$-$O$-$Gd stacks has in-plane ferromagnetic and out-of-plane AFM superexchange interactions between the localized Gd 4$f$ spins through O 2$p$ orbitals. Furthermore, the interlayer superexchange mediated by the hybridized Gd-5$d$ and interstitial-$s$-like states involves intimate couplings between the spin, lattice, and charge degrees of freedom, thereby inducing simultaneous magnetic, structural, and electronic phase transitions. The resulting ground state with the simple hexagonal lattice hosts massless Dirac fermions protected by nonsymmorphic magnetic symmetry, as well as massive Dirac fermions. We thus demonstrate that the anionic excess electrons in Gd$_2$O play a crucial role in the emergence of magnetic Dirac semimetal states, therefore offering an intriguing interplay between 2D magnetic electrides and topological physics.


title: Induction on Descent in Leaper Graphs

abstract: We construct an infinite ternary tree $\mathfrak{L}$ whose root is the knight and whose vertices are all skew free leapers. We define the descent of a skew free leaper to be its "address" within $\mathfrak{L}$. We introduce three transformations which relate the leaper graphs of a skew free leaper to the leaper graphs of its three children in $\mathfrak{L}$. By starting with the knight and then applying these transformations so as to advance throughout $\mathfrak{L}$, we can establish theorems about all skew free leapers. We call this proof technique induction on descent and with its help we resolve a number of questions about leaper graphs.


title: Reliable stellar abundances of individual stars with the MUSE integral-field spectrograph

abstract: We present a novel approach to deriving stellar labels for stars observed in MUSE fields making use of data-driven machine learning methods. Taking advantage of the comparable spectral properties (resolution, wavelength coverage) of the LAMOST and MUSE instruments, we adopt the Data-Driven Payne (DD-Payne) model used on LAMOST observations and apply it to stars observed in MUSE fields. Remarkably, in spite of instrumental differences, according to the cross-validation of 27 LAMOST-MUSE common stars, we are able to determine stellar labels with precision better than 75K in $T_{\rm eff}$, 0.15 dex in $\log g$, and 0.1 dex in abundances of [Fe/H], [Mg/Fe], [Si/Fe], [Ti/Fe], [C/Fe], [Ni/Fe] and [Cr/Fe] for current MUSE observations over a parameter range of 3800<$T_{\rm eff}$<7000 K, -1.5<[Fe/H]<0.5 dex. To date, MUSE has been used to target 13,000 fields across the southern sky since it was first commissioned six years ago and it is unique in its ability to study dense star fields such as globular clusters or the Milky Way bulge. Our method will enable the automated determination of stellar parameters for all stars in these fields. Additionally, it opens the door for applications to data collected by other spectrographs having resolution similar to LAMOST. With the upcoming BlueMUSE and MAVIS, we will gain access to a whole new range of chemical abundances with higher precision, especially critical s-process elements such as [Y/Fe] and [Ba/Fe] that provide key age diagnostics for stellar targets.


title: Hyperbolic Metamaterials and Massive Klein-Gordon Equation in 2+1 Dimensional de Sitter Spacetime

abstract: The wave equation obeyed by the extraordinary component of the electric field in a hyperbolic metamaterial was shown to be a massless Klein-Gordon field living in a flat spacetime with two timelike and two spacelike dimensions. Such a wave equation, unexpectedly, allows dispersionless propagation albeit having two spatial dimensions. Here we show that the same equation can be naturally interpreted as a particular massive Klein-Gordon equation with the usual one timelike and two spacelike dimensions in a de Sitter (dS) background spacetime. The mass parameter of the scalar field is given in terms of the cosmological constant, Planck constant and the speed of light as $m =\sqrt{\Lambda}\frac{\hbar}{c}$ which corresponds to the point for which the left and right conformal weights of the boundary conformal field theory (CFT) (via the de Sitter/CFT correspondence) are equal. This particular mass corresponds to the gapless mode in the dS spacetime for which the dispersion relation is linear in the wave number.

categories: hep-th cond-mat.mes-hall gr-qc math-ph math.MP


title: Distributed Detection and Mitigation of Biasing Attacks over Multi-Agent Networks

abstract: This paper proposes a distributed attack detection and mitigation technique based on distributed estimation over a multi-agent network, where the agents take partial system measurements susceptible to (possible) biasing attacks. In particular, we assume that the system is not locally observable via the measurements in the direct neighborhood of any agent. First, for performance analysis in the attack-free case, we show that the proposed distributed estimation is unbiased with bounded mean-square deviation in steady-state. Then, we propose a residual-based strategy to locally detect possible attacks at agents. In contrast to the deterministic thresholds in the literature assuming an upper bound on the noise support, we define the thresholds on the residuals in a probabilistic sense. After detecting and isolating the attacked agent, a system-digraph-based mitigation strategy is proposed to replace the attacked measurement with a new observationally-equivalent one to recover potential observability loss. We adopt a graph-theoretic method to classify the agents based on their measurements, to distinguish between the agents recovering the system rank-deficiency and the ones recovering output-connectivity of the system digraph. The attack detection/mitigation strategy is specifically described for each type, which is of polynomial-order complexity for large-scale applications. Illustrative simulations support our theoretical results.


title: Fractional integration with singularity on unit sphere

abstract: We study a family of convolution operators whose kernels have a singularity on the unit sphere. As a result, we prove the regarding L^p-L^q Sobolev inequalities.


title: Modular Design Patterns for Hybrid Actors

abstract: Recently, a boxology (graphical language) with design patterns for hybrid AI was proposed, combining symbolic and sub-symbolic learning and reasoning. In this paper, we extend this boxology with actors and their interactions. The main contributions of this paper are: 1) an extension of the taxonomy to describe distributed hybrid AI systems with actors and interactions; and 2) showing examples using a few design patterns relevant in multi-agent systems and human-agent interaction.


title: Interference-induced directional emission from an unpolarized two level emitter into a circulating cavity

abstract: Chiral coupling between quantum emitters and evanescent fields allows directional emission into nanophotonic devices and is now considered to be a vital ingredient for the realization of quantum networks. However, such coupling requires a well defined circular dipole moment for the emitter -- something difficult to achieve for solid state emitters at room temperature due to thermal population of available spin states. Here, we demonstrate that a two level emitter with a randomly polarized dipole moment can be made to emit directionally into a circulating cavity if a separate emitter is chirally coupled to the same cavity, for the case when both emitter-cavity couplings are strong but in the bad-cavity regime. Our analysis of this system first considers a transient scenario, which highlights the physical mechanism giving rise to the directional emission of the two level emitter into the cavity. An alternative setup involving a weak laser field continuously driving the system is also considered, where the directionality (our proposed figure of merit for this scheme) is shown to be significantly more robust against noise processes. The results presented here take the form of approximate analytical expressions backed by complete numerical simulations of the system.


title: Global existence and blow-up for the focusing inhomogeneous nonlinear Schr\"odinger equation with inverse-square potential

abstract: In this paper, we study the Cauchy problem for the focusing inhomogeneous nonlinear Schr\"{o}dinger equation with inverse-square potential \[iu_{t} +\Delta u-c|x|^{-2}u+|x|^{-b} |u|^{\sigma } u=0,\; u(0)=u_{0} \in H_{c}^{1},\;(t,x)\in \mathbb R\times\mathbb R^{d},\] where $d\ge3$, $0<b<2$, $\frac{4-2b}{d}<\sigma<\frac{4-2b}{d-2}$ and $c>-c(d):=-\left(\frac{d-2}{2}\right)^{2}$. We first establish the criteria for global existence and blow-up of general (not necessarily radial or finite variance) solutions to the equation. Using these criteria, we study the global existence and blow-up of solutions to the equation with general data lying below, at, and above the ground state threshold. Our results extend the global existence and blow-up results of Campos-Guzm\'{a}n (Z. Angew. Math. Phys., 2021) and Dinh-Keraani (SIAM J. Math. Anal., 2021).


title: Image Subtraction in Fourier Space

abstract: Image subtraction is essential for transient detection in time-domain astronomy. The point spread function (PSF), photometric scaling, and sky background generally vary with time and across the field-of-view for imaging data taken with ground-based optical telescopes. Image subtraction algorithms need to match these variations for the detection of flux variability. An algorithm that can be fully parallelized is highly desirable for future time-domain surveys. Here we show the Saccadic Fast Fourier Transform (SFFT) algorithm for image differencing. SFFT uses $\delta$-function basis for kernel decomposition, and the image subtraction is performed in Fourier Space. This brings about a remarkable improvement of computational performance of about an order of magnitude compared to other published image subtraction codes. SFFT can accommodate the spatial variations in wide-field imaging data, including PSF, photometric scaling, and sky background. However, the flexibility of the $\delta$-function basis may also make it more prone to overfitting. The algorithm has been tested extensively in real astronomical data taken by a variety of telescopes. Moreover, the SFFT code allows for the spatial variations of the PSF and sky background to be fitted by spline functions.


title: Spectral and Energy Efficiency of Multicell Massive MIMO With Variable-Resolution ADCs Over Correlated Rayleigh Fading Channels

abstract: This paper analyzes the performance of multicell massive multiple-input and multiple-output (MIMO) systems with variable-resolution analog-to-digital converters (ADCs). In such an architecture, each ADC uses arbitrary quantization resolution to save power and hardware cost. Along this direction, we first introduce a quantization-aware channel estimator based on additive quantization noise model (AQNM) and linear minimum mean-squared error (LMMSE) estimate theory. Afterwards, by leveraging on the estimated channel state information (CSI), we derive the asymptotic expressions of achievable uplink spectral efficiency (SE) over spatially correlated Rayleigh fading channels for maximal ratio combining (MRC), quantization-aware multicell minimum mean-squared error (QA-M-MMSE) combining, and quantization-aware single-cell MMSE (QA-S-MMSE) combining, respectively. During the derivations, we consider the effect of quantization errors and resort to random matrix theory to achieve the asymptotic results. Finally, simulation results demonstrate that our theoretical analyses are correct and that the proposed quantization-aware estimator and combiners are more beneficial than the quantization-unaware counterparts. Besides, based on a generic power consumption model, it is shown that low-resolution ADCs can obtain the best tradeoff between SE and energy efficiency (EE) under multicell scenarios.


title: Developing an Augmented Reality-Based Game as a Supplementary tool for SHS- STEM Precalculus to Avoid Math Anxiety

abstract: Math Anxiety is experienced by students. This is caused mainly by poor academic performance specifically in Calculus and Precalculus in Mathematics. From 2014 to 2016, an average rating of 70.33 percent for secondary education and 71.1 percent for elementary was generated during several exams, such as the National Achievement Test. The result produced is said to be below the national passing percentage, which shows that Filipino student performance in mathematics is very poor indeed. Taking into consideration the proof of the existence of these problems, it is necessary to try and test a need for a technology which has never before been used as a remedy. Augmented reality is deemed to be one of the advances in technology that is found to have a good effect not only on the health of the student, but also on the learning of Mathematics. Combining the two positive effects of Augmented Reality and the very impressive outcome of a game-based learning technique in mathematics, it is wise to say that an Augmented Reality Game-based learning method can be used as a supplement in Precalculus and Calculus teaching.


title: PC$^2$-PU: Patch Correlation and Point Correlation for Effective Point Cloud Upsampling

abstract: Point cloud upsampling is to densify a sparse point set acquired from 3D sensors, providing a denser representation for the underlying surface. Existing methods divide the input points into small patches and upsample each patch separately, however, ignoring the global spatial consistency between patches. In this paper, we present a novel method PC$^2$-PU, which explores patch-to-patch and point-to-point correlations for more effective and robust point cloud upsampling. Specifically, our network has two appealing designs: (i) We take adjacent patches as supplementary inputs to compensate the loss structure information within a single patch and introduce a Patch Correlation Module to capture the difference and similarity between patches. (ii) After augmenting each patch's geometry, we further introduce a Point Correlation Module to reveal the relationship of points inside each patch to maintain the local spatial consistency. Extensive experiments on both synthetic and real scanned datasets demonstrate that our method surpasses previous upsampling methods, particularly with the noisy inputs. The code and data are at \url{https://github.com/chenlongwhu/PC2-PU.git}.


title: Learning in Sinusoidal Spaces with Physics-Informed Neural Networks

abstract: A physics-informed neural network (PINN) uses physics-augmented loss functions, e.g., incorporating the residual term from governing partial differential equations (PDEs), to ensure its output is consistent with fundamental physics laws. However, it turns out to be difficult to train an accurate PINN model for many problems in practice. In this paper, we present a novel perspective of the merits of learning in sinusoidal spaces with PINNs. By analyzing behavior at model initialization, we first show that a PINN of increasing expressiveness induces an initial bias around flat output functions. Notably, this initial solution can be very close to satisfying many physics PDEs, i.e., falling into a local minimum of the PINN loss that only minimizes PDE residuals, while still being far from the true solution that jointly minimizes PDE residuals and the initial and/or boundary conditions. It is difficult for gradient descent optimization to escape from such a local minimum trap, often causing the training to stall. We then prove that the sinusoidal mapping of inputs, in an architecture we label as sf-PINN, is effective to increase input gradient variability, thus avoiding being trapped in such deceptive local minimum. The level of variability can be effectively modulated to match high-frequency patterns in the problem at hand. A key facet of this paper is the comprehensive empirical study that demonstrates the efficacy of learning in sinusoidal spaces with PINNs for a wide range of forward and inverse modelling problems spanning multiple physics domains.


title: Improving the accuracy of estimating indexes in contingency tables using Bayesian estimators

abstract: In contingency table analysis, one is interested in testing whether a model of interest (e.g., the independent or symmetry model) holds using goodness-of-fit tests. When the null hypothesis where the model is true is rejected, the interest turns to the degree to which the probability structure of the contingency table deviates from the model. Many indexes have been studied to measure the degree of the departure, such as the Yule coefficient and Cram\'er coefficient for the independence model, and Tomizawa's symmetry index for the symmetry model. The inference of these indexes is performed using sample proportions, which are estimates of cell probabilities, but it is well-known that the bias and mean square error (MSE) values become large without a sufficient number of samples. To address the problem, this study proposes a new estimator for indexes using Bayesian estimators of cell probabilities. Assuming the Dirichlet distribution for the prior of cell probabilities, we asymptotically evaluate the value of MSE when plugging the posterior means of cell probabilities into the index, and propose an estimator of the index using the Dirichlet hyperparameter that minimizes the value. Numerical experiments show that when the number of samples per cell is small, the proposed method has smaller values of bias and MSE than other methods of correcting estimation accuracy. We also show that the values of bias and MSE are smaller than those obtained by using the uniform and Jeffreys priors.


title: Orthogonal pair and a rigidity problem for Segre maps between hyperquadrics

abstract: Being motivated by the orthogonal maps studied in \cite{GN1}, orthogonal pairs between the projective spaces equipped with possibly degenerate Hermitian forms were introduced. In addition, orthogonal pairs are generalizations of holomorphic Segre maps between Segre families of real hyperquadrics. We showed that non-degenerate holomorphic orthogonal pairs also have certain rigidity properties under a necessary codimension restriction. As an application, we got a rigidity theorem for Segre maps related to Heisenberg hypersurfaces obtained by Zhang in \cite{Zh}.


title: Electron Spin Resonance of the itinerant ferromagnets LaCrGe3, CeCrGe3 and PrCrGe3

abstract: We report Electron Spin Resonance of the itinerant ferromagnets LaCrGe3, CeCrGe3, and PrCrGe3. These compounds show well defined and very similar spectra of itinerant Cr 3d spins in the paramagnetic temperature region. Upon cooling and crossing the Cr-ferromagnetic ordering (below around 90 K) strong spectral structures start to dominate the resonance spectra in a quite different manner in the three compounds. In the Ce- and Pr-compounds the resonance is only visible in the paramagnetic region whereas in the La-compound the resonance can be followed far below the ferromagnetic ordering temperature. This behavior will be discussed in terms of the specific interplay between the 4f and 3d magnetism which appears quite remarkable since CeCrGe3 displays heavy fermion behavior even in the magnetically ordered state.


title: A Parameterized View on the Complexity of Dependence Logic

abstract: In this paper, we investigate the parameterized complexity of model checking for Dependence Logic which is a well studied logic in the area of Team Semantics. We start with a list of nine immediate parameterizations for this problem, namely: the number of disjunctions (i.e., splits)/(free) variables/universal quantifiers, formula-size, the tree-width of the Gaifman graph of the input structure, the size of the universe/team, and the arity of dependence atoms. We present a comprehensive picture of the parameterized complexity of model checking and obtain a division of the problem into tractable and various intractable degrees. Furthermore, we also consider the complexity of the most important variants (data and expression complexity) of the model checking problem by fixing parts of the input.


title: Latexify Math: Mathematical Formula Markup Revision to Assist Collaborative Editing in Math Q&A Sites

abstract: Collaborative editing questions and answers plays an important role in quality control of Mathematics Stack Exchange which is a math Q&A Site. Our study of post edits in Mathematics Stack Exchange shows that there is a large number of math-related edits about latexifying formulas, revising LaTeX and converting the blurred math formula screenshots to LaTeX sequence. Despite its importance, manually editing one math-related post especially those with complex mathematical formulas is time-consuming and error-prone even for experienced users. To assist post owners and editors to do this editing, we have developed an edit-assistance tool, MathLatexEdit for formula latexification, LaTeX revision and screenshot transcription. We formulate this formula editing task as a translation problem, in which an original post is translated to a revised post. MathLatexEdit implements a deep learning based approach including two encoder-decoder models for textual and visual LaTeX edit recommendation with math-specific inference. The two models are trained on large-scale historical original-edited post pairs and synthesized screenshot-formula pairs. Our evaluation of MathLatexEdit not only demonstrates the accuracy of our model, but also the usefulness of MathLatexEdit in editing real-world posts which are accepted in Mathematics Stack Exchange.


title: A Slightly Supercritical Condition of Regularity of Axisymmetric Solutions to the Navier-Stokes Equations

abstract: In the note, a new regularity condition for axisymmetric solutions to the non-stationary 3D Navier-Stokes equations is proven. It is slightly supercritical.


title: Breaking down the entire spectrum of spin correlations of a pair of particles involving fermions and gauge bosons

abstract: We discuss a formalism for the spin correlations and polarizations in two-particle systems with spins half-half, half-one and one-one, and provide the connections between the polarizations and correlations with the joint angular distributions of decay products identifying the asymmetries for them. We demonstrate the formalism in the processes $e^-e^+\to t\bar{t}$, $gb \to tW^-$ and $e^-e^+\to ZZ$ in the standard model as examples. We investigate the effect of some anomalous couplings on the polarizations and spin correlations in the processes $e^-e^+\to t\bar{t}$, $gb \to tW^-$ and $u\bar{d}\to ZW^+$ at parton level and compare their strengths. The spin correlations have the potential to provide a significant improvement over the polarizations in probing the anomalous couplings.


title: TOI-1201 b: A mini-Neptune transiting a bright and moderately young M dwarf

abstract: We present the discovery of a transiting mini-Neptune around TOI-1201, a relatively bright and moderately young early M dwarf ($J \approx$ 9.5 mag, $\sim$600-800 Myr) in an equal-mass $\sim$8 arcsecond-wide binary system, using data from the Transiting Exoplanet Survey Satellite (TESS), along with follow-up transit observations. With an orbital period of 2.49 d, TOI-1201 b is a warm mini-Neptune with a radius of $R_\mathrm{b} = 2.415\pm0.090 R_\oplus$. This signal is also present in the precise radial velocity measurements from CARMENES, confirming the existence of the planet and providing a planetary mass of $M_\mathrm{b} = 6.28\pm0.88 M_\oplus$ and, thus, an estimated bulk density of $2.45^{+0.48}_{-0.42}$ g cm$^{-3}$. The spectroscopic observations additionally show evidence of a signal with a period of 19 d and a long periodic variation of undetermined origin. In combination with ground-based photometric monitoring from WASP-South and ASAS-SN, we attribute the 19 d signal to the stellar rotation period ($P_{rot}=$ 19-23 d), although we cannot rule out that the variation seen in photometry belongs to the visually close binary companion. We calculate precise stellar parameters for both TOI-1201 and its companion. The transiting planet is an excellent target for atmosphere characterization (the transmission spectroscopy metric is $97^{+21}_{-16}$) with the upcoming James Webb Space Telescope. It is also feasible to measure its spin-orbit alignment via the Rossiter-McLaughlin effect using current state-of-the-art spectrographs with submeter per second radial velocity precision.


title: Estimation Algorithm Non-Stationary Frequency of the Sinusoidal Signal

abstract: The article considers the problem of identifying the variable frequency of a sinusoidal signal. To obtain a regression model of the signal, an iterative differentiation of the original analytical expression is performed, and the swapping lemma is applied. The estimation of the parameters of the non-stationary frequency is implemented using the dynamic expansion of the regressor and mixing (DREM) procedure and the Luenberger observer. As a result of the numerical simulation, the efficiency of the proposed algorithm is demonstrated, showing the convergence of the frequency estimate to the true value.


title: Heavy-flavour hadron production

abstract: The conventional description of heavy-flavour hadron production in pp collisions is based on a factorisation approach, assuming universal fragmentation functions among collision systems. Recent results on heavy-flavour baryon measurements from the LHC experiments show tensions with model calculations based on this approach and employing fragmentation functions constrained from $\rm e^+e^-$ and $\rm e^-p$ collision experiments. In this contribution, the most recent results from ALICE, ATLAS, CMS and LHCb experiments on the heavy-flavour hadron production in pp collisions at the TeV scale are reported. The comparison with the theoretical predictions that address the baryon enhancement in hadronic collisions at the LHC is also discussed.


title: Grouping Search Results with Product Graphs in E-commerce Platforms

abstract: Showing relevant search results to the user is the primary challenge for any search system. Walmart e-commerce provides an omnichannel search platform to its customers to search from millions of products. This search platform takes a textual query as input and shows relevant items from the catalog. One of the primary challenges is that this queries are complex to understand as it contains multiple intent in many cases. This paper proposes a framework to group search results into multiple ranked lists intending to provide better user intent. The framework is to create a product graph having relations between product entities and utilize it to group search results into a series of stacks where each stack provides a group of items based on a precise intent. As an example, for a query "milk," the results can be grouped into multiple stacks of "white milk", "low-fat milk", "almond milk", "flavored milk". We measure the impact of our algorithm by evaluating how it improves the user experience both in terms of search quality relevance and user behavioral signals like Add-To-Cart.


title: CUNI systems for WMT21: Terminology translation Shared Task

abstract: This paper describes Charles University submission for Terminology translation Shared Task at WMT21. The objective of this task is to design a system which translates certain terms based on a provided terminology database, while preserving high overall translation quality. We competed in English-French language pair. Our approach is based on providing the desired translations alongside the input sentence and training the model to use these provided terms. We lemmatize the terms both during the training and inference, to allow the model to learn how to produce correct surface forms of the words, when they differ from the forms provided in the terminology database. Our submission ranked second in Exact Match metric which evaluates the ability of the model to produce desired terms in the translation.


title: An Enhanced Differential Evolution Algorithm Using a Novel Clustering-based Mutation Operator

abstract: Differential evolution (DE) is an effective population-based metaheuristic algorithm for solving complex optimisation problems. However, the performance of DE is sensitive to the mutation operator. In this paper, we propose a novel DE algorithm, Clu-DE, that improves the efficacy of DE using a novel clustering-based mutation operator. First, we find, using a clustering algorithm, a winner cluster in search space and select the best candidate solution in this cluster as the base vector in the mutation operator. Then, an updating scheme is introduced to include new candidate solutions in the current population. Experimental results on CEC-2017 benchmark functions with dimensionalities of 30, 50 and 100 confirm that Clu-DE yields improved performance compared to DE.


title: The Incidence Variety Compactification of strata of d-differentials in genus 0

abstract: Given $d\in \mathbb{Z}_{\geq 2}$, for every $\kappa=(k_1,\dots,k_n) \in \mathbb{Z}^{n}$ such that $k_i\geq 1-d$ and $k_1+\dots+k_n=-2d$, denote by $\Omega^d\mathcal{M}_{0,n}(\kappa)$ and $\mathbb{P}\Omega^d\mathcal{M}_{0,n}(\kappa)$ the corresponding stratum of $d$-differentials in genus $0$ and its projectivization respectively. We specify an ideal sheaf of the structure sheaf of $\overline{\mathcal{M}}_{0,n}$ and show that the incidence variety compactification $\mathbb{P}\overline{\Omega}^d\mathcal{M}_{0,n}(\kappa)$ of $\mathbb{P}\Omega^d\mathcal{M}_{0,n}(\kappa)$ is isomorphic to the blow-up of $\overline{\mathcal{M}}_{0,n}$ along this sheaf of ideals. We also obtain an explicit divisor representative of the tautological line bundle on the incidence variety. In an accompanying work [29], the construction of $\mathbb{P}\overline{\Omega}^d\mathcal{M}_{0,n}(\kappa)$ in this paper will be used to prove a recursive formula computing the volumes of the spaces of flat metric with fixed conical angles on the sphere.


title: Justifying Born's rule $P_\alpha=|\Psi_\alpha|^2$ using deterministic chaos, decoherence, and the de Broglie-Bohm quantum theory

abstract: In this work we derive Born's rule from the pilot-wave theory of de Broglie and Bohm. Based on a toy model involving a particle coupled to a environement made of "qubits" (i.e., Bohmian pointers) we show that entanglement together with deterministic chaos lead to a fast relaxation from any statistitical distribution $\rho(x)$ (of finding a particle at point $x$) to the Born probability law $|\Psi(x)|^2$. Our model is discussed in the context of Boltzmann's kinetic theory and we demonstrate a kind of H theorem for the relaxation to the quantum equilibrium regime.


title: CUNI systems for WMT21: Multilingual Low-Resource Translation for Indo-European Languages Shared Task

abstract: This paper describes Charles University submission for Multilingual Low-Resource Translation for Indo-European Languages shared task at WMT21. We competed in translation from Catalan into Romanian, Italian and Occitan. Our systems are based on shared multilingual model. We show that using joint model for multiple similar language pairs improves upon translation quality in each pair. We also demonstrate that chararacter-level bilingual models are competitive for very similar language pairs (Catalan-Occitan) but less so for more distant pairs. We also describe our experiments with multi-task learning, where aside from a textual translation, the models are also trained to perform grapheme-to-phoneme conversion.


title: Galois trees in the graph of $p$-groups of maximal class

abstract: The investigation of the graph $\mathcal{G}_p$ associated with the finite $p$-groups of maximal class was initiated by Blackburn (1958) and became a deep and interesting research topic since then. Leedham-Green and McKay (1976-1984) introduced skeletons of $\mathcal{G}_p$, described their importance for the structural investigation of $\mathcal{G}_p$ and exhibited their relation to algebraic number theory. Here we go one step further: we partition the skeletons into so-called Galois trees and study their general shape. In the special case $p \geq 7$ and $p \equiv 5 \bmod 6$, we show that they have a significant impact on the periodic patterns of $\mathcal{G}_p$ conjectured by Eick, Leedham-Green, Newman and O'Brien (2013). In particular, we use Galois trees to prove a conjecture by Dietrich (2010) on these periodic patterns.


title: Site-Selective Dynamics of Ligand-Free and Ligand-Bound Azidolysozyme

abstract: Azido-modified alanine residues (AlaN$_3$) are environment-sensitive, minimally invasive infrared probes for the site-specific investigation of protein structure and dynamics. Here, the capability of the label is investigated to query whether or not a ligand is bound to the active site of Lysozyme and how the spectroscopy and dynamics change upon ligand binding. The results demonstrate specific differences for center frequencies of the asymmetric azide stretch vibration, the long time decay and the static offset of the frequency fluctuation correlation function - all of which are experimental observables - between the ligand-free and the ligand-bound, N$_3$-labelled protein. Changes in dynamics can also be mapped onto changes in the local and through-space coupling between residues by virtue of dynamical cross-correlation maps. This makes the azide label a versatile and structurally sensitive probe to report on the dynamics of proteins in a variety of environments and for a range of different applications.


title: A PDE Model for Protocell Evolution and the Origin of Chromosomes via Multilevel Selection

abstract: The evolution of complex cellular life involved two major transitions: the encapsulation of self-replicating genetic entities into cellular units and the aggregation of individual genes into a collectively replicating genome. In this paper, we formulate a minimal model of the evolution of proto-chromosomes within protocells. We model a simple protocell composed of two types of genes: a "fast gene" with an advantage for gene-level self-replication and a "slow gene" that replicates more slowly at the gene level, but which confers an advantage for protocell-level reproduction. Protocell-level replication capacity depends on cellular composition of fast and slow genes. We use a partial differential equation to describe how the composition of genes within protocells evolves over time under within-cell and between-cell competition. We find that the gene-level advantage of fast replicators casts a long shadow on the multilevel dynamics of protocell evolution: no level of between-protocell competition can produce coexistence of the fast and slow replicators when the two genes are equally needed for protocell-level reproduction. By introducing a "dimer replicator" consisting of a linked pair of the slow and fast genes, we show analytically that coexistence between the two genes can be promoted in pairwise multilevel competition between fast and dimer replicators, and provide numerical evidence for coexistence in trimorphic competition between fast, slow, and dimer replicators. Our results suggest that dimerization, or the formation of a simple chromosome-like dimer replicator, can help to overcome the shadow of lower-level selection and work in concert with deterministic multilevel selection to allow for the coexistence of two genes that are complementary at the protocell-level but compete at the level of individual gene-level replication.


title: Augmenting the User-Item Graph with Textual Similarity Models

abstract: This paper introduces a simple and effective form of data augmentation for recommender systems. A paraphrase similarity model is applied to widely available textual data, such as reviews and product descriptions, yielding new semantic relations that are added to the user-item graph. This increases the density of the graph without needing further labeled data. The data augmentation is evaluated on a variety of recommendation algorithms, using Euclidean, hyperbolic, and complex spaces, and over three categories of Amazon product reviews with differing characteristics. Results show that the data augmentation technique provides significant improvements to all types of models, with the most pronounced gains for knowledge graph-based recommenders, particularly in cold-start settings, leading to state-of-the-art performance.


title: On $q$-scale functions of spectrally negative L\'evy processes

abstract: We obtain series expansions of the $q$-scale functions of arbitrary spectrally negative L\'evy processes, including processes with infinite jump activity, and use these to derive various new examples of explicit $q$-scale functions. Moreover, we study smoothness properties of the $q$-scale functions of spectrally negative L\'evy processes with infinite jump activity. This complements previous results of Chan et al. [7] for spectrally negative L\'evy processes with Gaussian component or bounded variation.


title: Protein over-expression can induce the elongation of cell membrane nanodomains

abstract: In cell membranes, proteins and lipids are organized into sub-micrometric nanodomains of varying size, shape and composition, performing specific functions. Despite their biological importance, the detailed morphology of these nanodomains remains unknown. Not only can they hardly be observed by conventional microscopy due to their small size, but there is no full consensus on the theoretical models to describe their structuring and their shapes. Here, we use a combination of analytical calculations and Monte Carlo simulations based upon a model coupling membrane composition and shape to show that increasing protein concentration leads to an elongation of membrane nanodomains. The results are corroborated by Single Particle Tracking measurements on HIV receptors, whose level of expression in the membrane of specifically designed living cells can be tuned. These findings highlight that protein abundance can modulate nanodomain shape and potentially their biological function. Beyond biomembranes, this meso-patterning mechanism is of relevance in several soft-matter systems because it relies on generic physical arguments.


title: Borderline gradient continuity for fractional heat type operators

abstract: In this paper, we establish gradient continuity for solutions to \[ (\partial_t - \operatorname{div}(A(x) \nabla u))^s =f,\ s \in (1/2, 1), \] when $f$ belongs to the scaling critical function space $L(\frac{n+2}{2s-1}, 1)$. Our main results Theorems 1.1 and 1.2 can be seen as a nonlocal generalization of a well-known result of Stein in the context of fractional heat type operators and sharpens some of the previous gradient continuity results which deals with $f$ in subcritical spaces. Our proof is based on an appropriate adaptation of compactness arguments, which has its roots in a fundamental work of Caffarelli in [13].


title: A novel optical needle probe for deep learning-based tissue elasticity characterization

abstract: The distinction between malignant and benign tumors is essential to the treatment of cancer. The tissue's elasticity can be used as an indicator for the required tissue characterization. Optical coherence elastography (OCE) probes have been proposed for needle insertions but have so far lacked the necessary load sensing capabilities. We present a novel OCE needle probe that provides simultaneous optical coherence tomography (OCT) imaging and load sensing at the needle tip. We demonstrate the application of the needle probe in indentation experiments on gelatin phantoms with varying gelatin concentrations. We further implement two deep learning methods for the end-to-end sample characterization from the acquired OCT data. We report the estimation of gelatin sample concentrations in unseen samples with a mean error of $1.21 \pm 0.91$ wt\%. Both evaluated deep learning models successfully provide sample characterization with different advantages regarding the accuracy and inference time.


title: Performance and accuracy assessments of an incompressible fluid solver coupled with a deep Convolutional Neural Network

abstract: The resolution of the Poisson equation is usually one of the most computationally intensive steps for incompressible fluid solvers. Lately, Deep Learning, and especially Convolutional Neural Networks (CNN), has been introduced to solve this equation, leading to significant inference time reduction at the cost of a lack of guarantee on the accuracy of the solution. This drawback might lead to inaccuracies and potentially unstable simulations. It also makes impossible a fair assessment of the CNN speedup, for instance, when changing the network architecture, since evaluated at different error levels. To circumvent this issue, a hybrid strategy is developed, which couples a CNN with a traditional iterative solver to ensure a user-defined accuracy level. The CNN hybrid method is tested on two flow cases, consisting of a variable-density plume with and without obstacles, demostrating remarkable generalization capabilities, ensuring both the accuracy and stability of the simulations. The error distribution of the predictions using several network architectures is further investigated. Results show that the threshold of the hybrid strategy defined as the mean divergence of the velocity field is ensuring a consistent physical behavior of the CNN-based hybrid computational strategy. This strategy allows a systematic evaluation of the CNN performance at the same accuracy level for various network architectures. In particular, the importance of incorporating multiple scales in the network architecture is demonstrated, since improving both the accuracy and the inference performance compared with feedforward CNN architectures, as these networks can provide solutions 1 10-25 faster than traditional iterative solvers.


title: Non-linear sigma models on constant curvature target manifolds: a functional renormalization group approach

abstract: We study non-linear sigma models on target manifolds with constant (positive or negative) curvature using the functional renormalization group and the background field method. We pay particular attention to the splitting Ward identities associated to the invariance under reparametrization of the background field. Implementing these Ward identities imposes to use the curvature as a formal expansion parameter, which allows us to close the flow equation of the (scale-dependent) effective action consistently to first order in the curvature. We shed new light on previous work using the background field method.


title: Non-zero sum Heffter arrays and their applications

abstract: In this paper we introduce a new class of partially filled arrays that, as Heffter arrays, are related to difference families, graph decompositions and biembeddings. A non-zero sum Heffter array $\mathrm{N}\mathrm{H}(m,n; h,k)$ is an $m \times n$ p. f. array with entries in $\mathbb{Z}_{2nk+1}$ such that: each row contains $h$ filled cells and each column contains $k$ filled cells; for every $x\in \mathbb{Z}_{2nk+1}\setminus\{0\}$, either $x$ or $-x$ appears in the array; the sum of the elements in every row and column is different from $0$ (in $\mathbb{Z}_{2nk+1}$). Here first we explain the connections with relative difference families and with path decompositions of the complete multipartite graph. Then we present a complete solution for the existence problem and a constructive complete solution for the square case and for the rectangular case with no empty cells when the additional, very restrictive, property of "globally simple" is required. Finally, we show how these arrays can be used to construct biembeddings of complete graphs.


title: Few-Shot Emotion Recognition in Conversation with Sequential Prototypical Networks

abstract: Several recent studies on dyadic human-human interactions have been done on conversations without specific business objectives. However, many companies might benefit from studies dedicated to more precise environments such as after sales services or customer satisfaction surveys. In this work, we place ourselves in the scope of a live chat customer service in which we want to detect emotions and their evolution in the conversation flow. This context leads to multiple challenges that range from exploiting restricted, small and mostly unlabeled datasets to finding and adapting methods for such context.We tackle these challenges by using Few-Shot Learning while making the hypothesis it can serve conversational emotion classification for different languages and sparse labels. We contribute by proposing a variation of Prototypical Networks for sequence labeling in conversation that we name ProtoSeq. We test this method on two datasets with different languages: daily conversations in English and customer service chat conversations in French. When applied to emotion classification in conversations, our method proved to be competitive even when compared to other ones.


title: Extending Bootstrap AMG for Clustering of Attributed Graphs

abstract: In this paper we propose a new approach to detect clusters in undirected graphs with attributed vertices. We incorporate structural and attribute similarities between the vertices in an augmented graph by creating additional vertices and edges as proposed in [1, 2]. The augmented graph is then embedded in a Euclidean space associated to its Laplacian and we cluster vertices via a modified K-means algorithm, using a new vector-valued distance in the embedding space. Main novelty of our method, which can be classified as an early fusion method, i.e., a method in which additional information on vertices are fused to the structure information before applying clustering, is the interpretation of attributes as new realizations of graph vertices, which can be dealt with as coordinate vectors in a related Euclidean space. This allows us to extend a scalable generalized spectral clustering procedure which substitutes graph Laplacian eigenvectors with some vectors, named algebraically smooth vectors, obtained by a linear-time complexity Algebraic MultiGrid (AMG) method. We discuss the performance of our proposed clustering method by comparison with recent literature approaches and public available results. Extensive experiments on different types of synthetic datasets and real-world attributed graphs show that our new algorithm, embedding attributes information in the clustering, outperforms structure-only-based methods, when the attributed network has an ambiguous structure. Furthermore, our new method largely outperforms the method which originally proposed the graph augmentation, showing that our embedding strategy and vector-valued distance are very effective in taking advantages from the augmented-graph representation.


title: Semiparametric estimation in Hong-Ou-Mandel interferometry

abstract: We apply the theory of semiparametric estimation to a Hong-Ou-Mandel interference experiment with a spectrally entangled two-photon state generated by spontaneous parametric downconversion. Thanks to the semiparametric approach we can evaluate the Cram\'er-Rao bound and find an optimal estimator for a particular parameter of interest without assuming perfect knowledge of the two-photon wave function, formally treated as an infinity of nuisance parameters. In particular, we focus on the estimation of the Hermite-Gauss components of the marginal symmetrised wavefunction, whose Fourier transform governs the shape of the temporal coincidence profile. We show that negativity of these components is an entanglement witness of the two-photon state.


title: On Hosoya's dormants and sprouts

abstract: In a recent series of papers, Hosoya drew the attention to a particular aspect of constructing cospectral graphs by using coalescences: that cospectral graphs can be constructed by attaching multiple copies of a rooted graph in different ways to subsets of vertices of an underlying graph. Our principal focus is to address the expectations and questions raised in Hosoya's papers with regards to this construction. We give an explicit formula for the characteristic polynomial of such multiple coalescences, from which we obtain a necessary and sufficient condition for their cospectrality. We enumerate such cospectral multiple coalescences for a few families of underlying graphs, and show the infinitude of cospectral multiple coalescences having paths as underlying graphs, which were deemed rare by Hosoya.


title: Clustering of consecutive numbers in permutations avoiding a pattern and in separable permutations

abstract: Let $S_n$ denote the set of permutations of $[n]:=\{1,\cdots, n\}$, and denote a permutation $\sigma\in S_n$ by $\sigma=\sigma_1\sigma_2\cdots \sigma_n$. For $l\ge2$ an integer, let $A^{(n)}_{l;k}\subset S_n$ denote the event that the set of $l$ consecutive numbers $\{k, k+1,\cdots, k+l-1\}$ appears in a set of consecutive positions: $\{k,k+1,\cdots, k+l-1\}=\{\sigma_a,\sigma_{a+1},\cdots, \sigma_{a+l-1}\}$, for some $a$. For $\tau\in S_m$, let $S_n(\tau)$ denote the set of $\tau$-avoiding permutations in $S_n$, and let $P_n^{\text{av}(\tau)}$ denote the uniform probability measure on $S_n(\tau)$. Also, let $S_n^{\text{sep}}$ denote the set of separable permutations in $S_n$, and let $P_n^{\text{sep}}$ denote the uniform probability measure on $S_n^{\text{sep}}$. We investigate the quantities $P_n^{\text{av}(\tau)}(A^{(n)}_{l;k})$ and $P_n^{\text{sep}}(A^{(n)}_{l;k})$ for fixed $n$, and the limiting behavior as $n\to\infty$. We also consider the asymptotic properties of this limiting behavior as $l\to\infty$.


title: Learning Natural Language Generation from Scratch

abstract: This paper introduces TRUncated ReinForcement Learning for Language (TrufLL), an original ap-proach to train conditional language models from scratch by only using reinforcement learning (RL). AsRL methods unsuccessfully scale to large action spaces, we dynamically truncate the vocabulary spaceusing a generic language model. TrufLL thus enables to train a language agent by solely interacting withits environment without any task-specific prior knowledge; it is only guided with a task-agnostic languagemodel. Interestingly, this approach avoids the dependency to labelled datasets and inherently reduces pre-trained policy flaws such as language or exposure biases. We evaluate TrufLL on two visual questiongeneration tasks, for which we report positive results over performance and language metrics, which wethen corroborate with a human evaluation. To our knowledge, it is the first approach that successfullylearns a language generation policy (almost) from scratch.


title: The geodesic transversal problem on some networks

abstract: A set S of vertices of a graph G is a geodesic transversal of G if every maximal geodesic of G contains at least one vertex of S. We determine a smallest geodesic transversal in certain interconnection networks such as mesh of trees, and some well-known chemical structures such as silicate networks and carbon nanosheets. Some useful general bounds for the corresponding graph invariant are obtained along the way.


title: Fast Online Optimization for Terrain-Blind Bipedal Robot Walking with a Decoupled Actuated SLIP Model

abstract: We present a highly reactive controller which enables bipedal robots to blindly walk over various kinds of uneven terrains while resisting pushes. The high level motion planner does fast online optimization for footstep locations and Center of Mass (CoM) height using the decoupled actuated Spring Loaded Inverted Pendulum (aSLIP) model. The decoupled aSLIP model simplifies the original aSLIP with Linear Inverted Pendulum (LIP) dynamics in horizontal states and spring dynamics in the vertical state. The motion planning can be formulated as a discrete-time Model Predictive Control (MPC) and solved at a frequency of 1k~HZ. The output of the motion planner using a reduced-order model is fed into an inverse-dynamics based whole body controller for execution on the robot. A key result of this controller is that the foot of the robot is compliant, which further extends the robot's ability to be robust to unobserved terrain changes. We evaluate our method in simulation with the bipedal robot SLIDER. Results show the robot can blindly walk over various uneven terrains including slopes, wave fields and stairs. It can also resist pushes while walking on uneven terrain.


title: Deep Quantile Regression for Uncertainty Estimation in Unsupervised and Supervised Lesion Detection

abstract: Despite impressive state-of-the-art performance on a wide variety of machine learning tasks, deep learning methods can produce over-confident predictions, particularly with limited training data. Therefore, quantifying uncertainty is particularly important in critical applications such as lesion detection and clinical diagnosis, where a realistic assessment of uncertainty is essential in determining surgical margins, disease status and appropriate treatment. In this work, we propose a novel approach that uses quantile regression for quantifying aleatoric uncertainty in both supervised and unsupervised lesion detection problems. The resulting confidence intervals can be used for lesion detection and segmentation. In the unsupervised setting, we combine quantile regression with the Variational AutoEncoder (VAE). Here we address the problem of quantifying uncertainty in the images that are reconstructed by the VAE as the basis for principled outlier or lesion detection. The VAE models the output as a conditionally independent Gaussian characterized by its mean and variance. Unfortunately, joint optimization of both mean and variance in the VAE leads to the well-known problem of shrinkage or underestimation of variance. Here we describe an alternative Quantile-Regression VAE (QR-VAE) that avoids this variance shrinkage problem by directly estimating conditional quantiles for the input image. Using the estimated quantiles, we compute the conditional mean and variance for the input image from which we then detect outliers by thresholding at a false-discovery-rate corrected p-value. In the supervised setting, we develop binary quantile regression (BQR) for the supervised lesion segmentation task. We show how BQR can be used to capture uncertainty in lesion boundaries in a manner that characterizes expert disagreement.