title: A state redistribution algorithm for finite volume schemes on cut cell meshes

abstract: In this paper we develop a new technique, called \textit{state redistribution}, that allows the use of explicit time stepping when approximating solutions to hyperbolic conservation laws on embedded boundary grids. State redistribution is a postprocessing technique applied after each time step or stage of the base finite volume scheme, using a time step that is proportional to the volume of the full cells. The idea is to stabilize the cut cells by temporarily merging them into larger, possibly overlapping neighborhoods, then replacing the cut cell values with a stabilized value that maintains conservation and accuracy. We present examples of state redistribution using two base schemes: MUSCL and a second order Method of Lines finite volume scheme. State redistribution is used to compute solutions to several standard test problems in gas dynamics on cut cell meshes, with both smooth and discontinuous solutions. We show that our method does not reduce the accuracy of the base scheme and that it successfully captures shocks in a non-oscillatory manner.


title: Human-Robot Collaboration in Microgravity: the Object Handover Problem

abstract: Collaborative space robots are an emerging technology with high impact as robots facilitate servicing functions in collaboration with astronauts with higher precision during lengthy tasks, under tight operational schedules, with less risk and costs, making them more efficient and economically more viable. However, human-robot collaboration in space is still a challenge concerning key issues in human-robot interaction, including mobility and collaborative manipulation of objects on a microgravity environment. In this paper we formulate an algorithm that enables a free-flyer robot, equipped with a manipulator, to perform an object handover between a human and a free-flyer robot, in a microgravity environment. To validate and evaluate this algorithm, we present a systematic user study with the goal of understanding the subjective outcome effects of a rigid and compliant impedance robot behavior during the interaction. The results showed that the rigid behavior was overall more preferable and registered higher transfer success during the tasks.


title: Squeezing properties of degenerate high-order hyper-Raman lines emitted by a two-level system

abstract: Quantized descriptions of nonlinear-optical processes can be relevant from the perspective of developing novel nonclassical sources of light. As a special case, it is useful to characterize light emitted by classically driven systems, since the excitations in many practical cases are laser beams. As a material model, we choose a two-level system. In an earlier work, we investigated photon statistics and intermodal cross-correlations Phys. Rev. A 104(3):033703, (2021), and noted that squeezing is primarily present in specific sets of parameters, corresponding to the degeneracy of hyper-Raman lines. Here we focus on this specific set of parameters, presenting details of the squeezing.


title: Asymptotics of the Mittag-Leffler function $E_a(z)$ on the negative real axis when $a\to 1$

abstract: We consider the asymptotic expansion of the single-parameter Mittag-Leffler function $E_a(-x)$ for $x\to+\infty$ as the parameter $a\to1$. The dominant expansion when $0<a<1$ consists of an algebraic expansion of $O(x^{-1})$ (which vanishes when $a=1$), together with an exponentially small contribution that approaches $e^{-x}$ as $a\to 1$. Here we concentrate on the form of this exponentially small expansion when $a$ approaches the value 1. Numerical examples are presented to illustrate the accuracy of the expansion so obtained.


title: Reassessing Claims of Human Parity and Super-Human Performance in Machine Translation at WMT 2019

abstract: We reassess the claims of human parity and super-human performance made at the news shared task of WMT 2019 for three translation directions: English-to-German, English-to-Russian and German-to-English. First we identify three potential issues in the human evaluation of that shared task: (i) the limited amount of intersentential context available, (ii) the limited translation proficiency of the evaluators and (iii) the use of a reference translation. We then conduct a modified evaluation taking these issues into account. Our results indicate that all the claims of human parity and super-human performance made at WMT 2019 should be refuted, except the claim of human parity for English-to-German. Based on our findings, we put forward a set of recommendations and open questions for future assessments of human parity in machine translation.


title: Verifying single-mode nonclassicality beyond negativity in phase space

abstract: While negativity in phase space is a well-known signature of nonclassicality, a wide variety of nonclassical states require their characterization beyond negativity. We establish a framework of nonclassicality in phase space that addresses nonclassical states comprehensively with a direct experimental evidence. This includes the negativity of phase-space distribution as a special case and further analyzes quantum states with positive distributions effectively. We prove that it detects all nonclassical Gaussian states and all non-Gaussian states of arbitrary dimension remarkably by examining three phase-space points only. Our formalism also provides an experimentally accessible lower bound for a nonclassicality measure based on trace distance. Importantly, this foundational approach can be further adapted to constitute practical tests in two directions looking into particle and wave nature of bosonic systems, via an array of nonideal on-off detectors and coarse-grained homodyne measurement, respectively. All these tests are practically powerful in characterizing nonclasssical states reliably against noise, making a versatile tool for a broad range of quantum systems in quantum technologies.


title: Angular Triplet Loss-based Camera Network for ReID

abstract: Person re-identification (ReID) is a challenging crosscamera retrieval task to identify pedestrians. Many complex network structures are proposed recently and many of them concentrate on multi-branch features to achieve high performance. However, they are too heavy-weight to deploy in realworld applications. Additionally, pedestrian images are often captured by different surveillance cameras, so the varied lights, perspectives and resolutions result in inevitable multi-camera domain gaps for ReID. To address these issues, this paper proposes ATCN, a simple but effective angular triplet loss-based camera network, which is able to achieve compelling performance with only global features. In ATCN, a novel angular distance is introduced to learn a more discriminative feature representation in the embedding space. Meanwhile, a lightweight camera network is designed to transfer global features to more discriminative features. ATCN is designed to be simple and flexible so it can be easily deployed in practice. The experiment results on various benchmark datasets show that ATCN outperforms many SOTA approaches.


title: The Riemann hypothesis via the Mellin transform, power series and the reflection relations

abstract: A proof of the Riemann hypothesis is proposed by relying on the properties of the Mellin transform. The function $\mathfrak{G}_{\eta}\left(t\right)$ is defined on the set $\bar{\mathbb{R}}_+$ of the non-negative real numbers, in term of a special power series, in such a way that the Mellin transform $\hat{\mathfrak{G}}_{\eta}\left(s\right)$ of the function $\mathfrak{G}_{\eta}\left(t\right)$ does not vanish in the fundamental strip $0<\operatorname{Re} s <1/2$. In this strip every zero of the Riemann zeta function $\zeta\left(1-s\right)$ is a zero of the function $\hat{\mathfrak{G}}_{\eta}\left(s\right)$. Consequently, it is proved that no zero of the Riemann zeta function $\zeta\left(s\right)$ exists in the strip $1/2<\operatorname{Re} s <1$. The reflection relations, which hold around the line $\operatorname{Re} s =1/2$ for $s\neq 0,1$, prove that no zero of the Riemann zeta function $\zeta\left(s\right)$ exists in the strip $0<\operatorname{Re} s<1/2$. In conclusion, it is proved that no zero of the Riemann zeta function $\zeta\left(s\right)$ exists in the strip $0<\operatorname{Re} s<1$ for $\operatorname{Re} s\neq 1/2$.


title: Analysis in k-space of Magnetization Dynamics Driven by Strong Terahertz Fields

abstract: Demagnetization in a thin film due to a terahertz pulse of magnetic field is investigated. Linearized LLG equation in the Fourier space to describe the magnetization dynamics is derived, and spin waves time evolution is studied. Finally, the demagnetization due to spin waves dynamics and recent experimental observations on similar magnetic system are compared. As a result of it, the marginal role of spin waves dynamics in loss of magnetization is established.


title: Quadratic Privacy-Signaling Games and the MMSE Information Bottleneck Problem for Gaussian Sources

abstract: We investigate a privacy-signaling game problem in which a sender with privacy concerns observes a pair of correlated random vectors which are modeled as jointly Gaussian. The sender aims to hide one of these random vectors and convey the other one whereas the objective of the receiver is to accurately estimate both of the random vectors. We analyze these conflicting objectives in a game theoretic framework with quadratic costs where depending on the commitment conditions (of the sender), we consider Nash or Stackelberg (Bayesian persuasion) equilibria. We show that a payoff dominant Nash equilibrium among all admissible policies is attained by a set of explicitly characterized linear policies. We also show that a payoff dominant Nash equilibrium coincides with a Stackelberg equilibrium. We formulate the information bottleneck problem within our Stackelberg framework under the mean squared error distortion criterion where the information bottleneck setup has a further restriction that only one of the random variables is observed at the sender. We show that this MMSE Gaussian Information Bottleneck Problem admits a linear solution which is explicitly characterized in the paper. We provide explicit conditions on when the optimal solutions, or equilibrium solutions in the Nash setup, are informative or noninformative.


title: Deep Learning: Our Miraculous Year 1990-1991

abstract: In 2020-2021, we celebrated that many of the basic ideas behind the deep learning revolution were published three decades ago within fewer than 12 months in our "Annus Mirabilis" or "Miraculous Year" 1990-1991 at TU Munich. Back then, few people were interested, but a quarter century later, neural networks based on these ideas were on over 3 billion devices such as smartphones, and used many billions of times per day, consuming a significant fraction of the world's compute.


title: Some bounds for the $\mathbb{A}$-numerical radius of certain $2 \times 2$ operator matrices

abstract: For a given bounded positive (semidefinite) linear operator $A$ on a complex Hilbert space $\big(\mathcal{H}, \langle \cdot\mid \cdot\rangle \big)$, we consider the semi-Hilbertian space $\big(\mathcal{H}, \langle \cdot\mid \cdot\rangle_A \big)$ where ${\langle x\mid y\rangle}_A := \langle Ax\mid y\rangle$ for every $x, y\in\mathcal{H}$. The $A$-numerical radius of an $A$-bounded operator $T$ on $\mathcal{H}$ is given by \begin{align*} \omega_A(T) = \sup\Big\{\big|{\langle Tx\mid x\rangle}_A\big|\,; \,\,x\in \mathcal{H}, \,{\langle x\mid x\rangle}_A= 1\Big\}. \end{align*} Our aim in this paper is to derive several $\mathbb{A}$-numerical radius inequalities for $2\times 2$ operator matrices whose entries are $A$-bounded operators, where $\mathbb{A}=\text{diag}(A,A)$.


title: On chiral polytopes having a group PSL(3,q) as automorphism group

abstract: For each prime power $q\geq 5$, we construct a rank four chiral polytope that has a group $PSL(3,q)$ as automorphism group and Schl\"afli type $\{q-1,\frac{2(q-1)}{(3,q-1)},q-1\}$. We also construct rank five polytopes for some values of $q$ and we show that there is no chiral polytope of rank at least six having a group $PSL(3,q)$ or $PSU(3,q)$ as automorphism group.


title: Charting Coordination Needs in Large-Scale Agile Organisationswith Boundary Objects and Methodological Islands

abstract: Large-scale system development companies are increasingly adopting agile methods. While this adoption may improve lead-times, such companies need to balance two trade-offs: (i) the need to have a uniform, consistent development method on system level with the need for specialised methods for teams in different disciplines(e.g., hardware, software, mechanics, sales, support); (ii) the need for comprehensive documentation on system level with the need to have lightweight documentation enabling iterative and agile work. With specialised methods for teams, isolated teams work within larger ecosystems of plan-driven culture, i.e., teams become agile "islands". At the boundaries, these teams share knowledge which needs to be managed well for a correct system to be developed. While it is useful to support diverse and specialised methods, it is important to understand which islands are repeatedly encountered, the reasons or factors triggering their existence, and how best to handle coordination between them. Based on a multiple case study, this work presents a catalogue of islands and the boundary objects between them. We believe this work will be beneficial to practitioners aiming to understand their ecosystems and researchers addressing communication and coordination challenges in large-scale development.


title: No Events on Closed Causal Curves

abstract: We introduce the Causal Compatibility Conjecture for the Events, Trees, Histories (ETH) approach to Quantum Theory (QT) in the semi-classical setting. We then prove that under the assumptions of the conjecture, points on closed causal curves are physically indistinguishable in the context of the ETH approach to QT and thus the conjecture implies a compatibility of the causal structures even in presence of closed causal curves. As a consequence of this result there is no observation that could be made by an observer to tell any two points on a closed causal curve apart. We thus conclude that closed causal curves have no physical significance in the context of the ETH approach to QT. This is an indication that time travel will not be possible in a full quantum theory of gravity and thus forever remain a fantasy.


title: The missing (A, D, r) diagram

abstract: In this paper we are interested in "optimal" universal geometric inequalities involving the area, diameter and inradius of convex bodies. The term "optimal" is to be understood in the following sense: we tackle the issue of minimizing/maximizing the Lebesgue measure of a convex body among all convex sets of given diameter and inradius. The minimization problem in the two-dimensional case has been solved in a previous work, by M. Hernandez-Cifre and G. Salinas. In this article, we provide a generalization to the n-dimensional case based on a different approach, as well as the complete solving of the maximization problem in the two-dimensional case. This allows us to completely determine the so-called 2-dimensional Blaschke-Santal{\'o} diagram for planar convex bodies with respect to the three magnitudes area, diameter and inradius in euclidean spaces, denoted (A, D, r). Such a diagram is used to determine the range of possible values of the area of convex sets depending on their diameter and inradius. Although this question of convex geometry appears quite elementary, it had not been answered until now. This is likely related to the fact that the diagram description uses unexpected particular convex sets, such as a kind of smoothed nonagon inscribed in an equilateral triangle.


title: Evaluating Ensemble Robustness Against Adversarial Attacks

abstract: Adversarial examples, which are slightly perturbed inputs generated with the aim of fooling a neural network, are known to transfer between models; adversaries which are effective on one model will often fool another. This concept of transferability poses grave security concerns as it leads to the possibility of attacking models in a black box setting, during which the internal parameters of the target model are unknown. In this paper, we seek to analyze and minimize the transferability of adversaries between models within an ensemble. To this end, we introduce a gradient based measure of how effectively an ensemble's constituent models collaborate to reduce the space of adversarial examples targeting the ensemble itself. Furthermore, we demonstrate that this measure can be utilized during training as to increase an ensemble's robustness to adversarial examples.


title: Unpaired Motion Style Transfer from Video to Animation

abstract: Transferring the motion style from one animation clip to another, while preserving the motion content of the latter, has been a long-standing problem in character animation. Most existing data-driven approaches are supervised and rely on paired data, where motions with the same content are performed in different styles. In addition, these approaches are limited to transfer of styles that were seen during training. In this paper, we present a novel data-driven framework for motion style transfer, which learns from an unpaired collection of motions with style labels, and enables transferring motion styles not observed during training. Furthermore, our framework is able to extract motion styles directly from videos, bypassing 3D reconstruction, and apply them to the 3D input motion. Our style transfer network encodes motions into two latent codes, for content and for style, each of which plays a different role in the decoding (synthesis) process. While the content code is decoded into the output motion by several temporal convolutional layers, the style code modifies deep features via temporally invariant adaptive instance normalization (AdaIN). Moreover, while the content code is encoded from 3D joint rotations, we learn a common embedding for style from either 3D or 2D joint positions, enabling style extraction from videos. Our results are comparable to the state-of-the-art, despite not requiring paired training data, and outperform other methods when transferring previously unseen styles. To our knowledge, we are the first to demonstrate style transfer directly from videos to 3D animations - an ability which enables one to extend the set of style examples far beyond motions captured by MoCap systems.


title: A Secure Federated Learning Framework for 5G Networks

abstract: Federated Learning (FL) has been recently proposed as an emerging paradigm to build machine learning models using distributed training datasets that are locally stored and maintained on different devices in 5G networks while providing privacy preservation for participants. In FL, the central aggregator accumulates local updates uploaded by participants to update a global model. However, there are two critical security threats: poisoning and membership inference attacks. These attacks may be carried out by malicious or unreliable participants, resulting in the construction failure of global models or privacy leakage of FL models. Therefore, it is crucial for FL to develop security means of defense. In this article, we propose a blockchain-based secure FL framework to create smart contracts and prevent malicious or unreliable participants from involving in FL. In doing so, the central aggregator recognizes malicious and unreliable participants by automatically executing smart contracts to defend against poisoning attacks. Further, we use local differential privacy techniques to prevent membership inference attacks. Numerical results suggest that the proposed framework can effectively deter poisoning and membership inference attacks, thereby improving the security of FL in 5G networks.


title: Convergence of Bergman measures towards the Zhang measure

abstract: We prove a folklore conjecture that the Bergman measure along a holomorphic family of curves parametrized by the punctured unit disk converges to the Zhang measure on the associated Berkovich space. The convergence takes place on a Berkovich hybrid space. We also study the convergence of the Bergman measure to a measure on a metrized curve complex in the sense of Amini and Baker.


title: Do not let the history haunt you -- Mitigating Compounding Errors in Conversational Question Answering

abstract: The Conversational Question Answering (CoQA) task involves answering a sequence of inter-related conversational questions about a contextual paragraph. Although existing approaches employ human-written ground-truth answers for answering conversational questions at test time, in a realistic scenario, the CoQA model will not have any access to ground-truth answers for the previous questions, compelling the model to rely upon its own previously predicted answers for answering the subsequent questions. In this paper, we find that compounding errors occur when using previously predicted answers at test time, significantly lowering the performance of CoQA systems. To solve this problem, we propose a sampling strategy that dynamically selects between target answers and model predictions during training, thereby closely simulating the situation at test time. Further, we analyse the severity of this phenomena as a function of the question type, conversation length and domain type.


title: Diffeomorphic souls and disconnected moduli spaces of nonnegatively curved metrics

abstract: We give examples of open manifolds that carry infinitely many complete metrics of nonnegative sectional curvature such that they all have the same soul, and their isometry classes lie in different connected components of the moduli space. All previously known examples of this kind have souls of codimension one. In our examples the souls have codimensions three and two.


title: The CECAM Electronic Structure Library and the modular software development paradigm

abstract: First-principles electronic structure calculations are very widely used thanks to the many successful software packages available. Their traditional coding paradigm is monolithic, i.e., regardless of how modular its internal structure may be, the code is built independently from others, from the compiler up, with the exception of linear-algebra and message-passing libraries. This model has been quite successful for decades. The rapid progress in methodology, however, has resulted in an ever increasing complexity of those programs, which implies a growing amount of replication in coding and in the recurrent re-engineering needed to adapt to evolving hardware architecture. The Electronic Structure Library (\esl) was initiated by CECAM (European Centre for Atomic and Molecular Calculations) to catalyze a paradigm shift away from the monolithic model and promote modularization, with the ambition to extract common tasks from electronic structure programs and redesign them as free, open-source libraries. They include "heavy-duty" ones with a high degree of parallelisation, and potential for adaptation to novel hardware within them, thereby separating the sophisticated computer science aspects of performance optimization and re-engineering from the computational science done by scientists when implementing new ideas. It is a community effort, undertaken by developers of various successful codes, now facing the challenges arising in the new model. This modular paradigm will improve overall coding efficiency and enable specialists (computer scientists or computational scientists) to use their skills more effectively. It will lead to a more sustainable and dynamic evolution of software as well as lower barriers to entry for new developers.


title: On causal structure of $4D$-Einstein-Gauss-Bonnet black hole

abstract: The recently proposed effective equation of motion for the $4D$- Einstein-Gauss-Bonnet gravity admits a static black hole solution that has, like the Rissner-Nordstr\"{o}m charged black hole, two horizons instead of one for the Schwarzschild black hole. This means that the central singularity is timelike instead of spacelike. It should though be noted that in $D\geq5$, the solution always admits only one horizon like the Schwarzshild solution. In the equation defining the horizon, the rescaled Gauss-Bonnet coupling constant appears as a new 'gravitational charge' with a repulsive effect to cause in addition to event horizon a Cauchy horizon. Thus it radically alters the causal structure of the black hole.


title: CSB-RNN: A Faster-than-Realtime RNN Acceleration Framework with Compressed Structured Blocks

abstract: Recurrent neural networks (RNNs) have been widely adopted in temporal sequence analysis, where realtime performance is often in demand. However, RNNs suffer from heavy computational workload as the model often comes with large weight matrices. Pruning schemes have been proposed for RNNs to eliminate the redundant (close-to-zero) weight values. On one hand, the non-structured pruning methods achieve a high pruning rate but introducing computation irregularity (random sparsity), which is unfriendly to parallel hardware. On the other hand, hardware-oriented structured pruning suffers from low pruning rate due to restricted constraints on allowable pruning structure. This paper presents CSB-RNN, an optimized full-stack RNN framework with a novel compressed structured block (CSB) pruning technique. The CSB pruned RNN model comes with both fine pruning granularity that facilitates a high pruning rate and regular structure that benefits the hardware parallelism. To address the challenges in parallelizing the CSB pruned model inference with fine-grained structural sparsity, we propose a novel hardware architecture with a dedicated compiler. Gaining from the architecture-compilation co-design, the hardware not only supports various RNN cell types, but is also able to address the challenging workload imbalance issue and therefore significantly improves the hardware efficiency.


title: Gr\"obner cells of punctual Hilbert schemes in dimension two

abstract: We begin with a comprehensive discussion of the punctual Hilbert scheme of the regular two-dimensional local ring in terms of the Gr\"obner cells. These schemes are the most degenerate fibers of the Grothendieck-Deligne norm map (the Hilbert-Chow morphism), playing an important role in the study of Hilbert schemes of smooth surfaces. They are generally singular, but their Gr\"obner cells are affine spaces; they admit an explicit parametrization due to Conca and Valla. We use this to obtain the Gr\"obner decomposition of compactified Jacobians of plane curve singularities, which is non-trivial even for the generalized Jacobians (principal ideals only). One of the application is the topological invariance of certain variants of compactified Jacobians and the corresponding motivic superpolynomials for analytic deformations of quasi-homogenous plane curve singularities and some similar families.


title: Management of Electric Vehicles as Flexibility Resource for Optimized Integration of Renewable Energy with Large Buildings

abstract: The increasing penetration of renewable generation requires new tools to achieve a high matching between demand and renewable generation at building and community levels. Large commercial and public buildings with parking lots have a considerable potential to provide energy flexibility by controlling the charging of Electric Vehicles (EVs) and injecting part of the stored energy into the building, using Building-to-Vehicle (B2V) and Vehicle-to-Building (V2B) systems. However, EVs and buildings do not often belong to the same entity and in Portugal the existing regulation does not allow financial transactions between buildings and EVs as separate entities. Addressing this regulation hurdle requires innovative optimization methods for the implementation of B2V/V2B systems. Moreover, the new legislation regarding the self-consumption of renewable generation in Portugal enables the trade of renewable generation surplus between buildings and the establishment of renewable energy communities. This paper intends to address this issue and proposes a formulation to aggregate and manage the sharing of generation surplus between buildings, using EVs as a flexibility resource. The simulation results showcase the achieved increase in renewable self-consumption at building and community levels, as well as the reduction in electricity costs.


title: Adipose Tissue Segmentation in Unlabeled Abdomen MRI using Cross Modality Domain Adaptation

abstract: Abdominal fat quantification is critical since multiple vital organs are located within this region. Although computed tomography (CT) is a highly sensitive modality to segment body fat, it involves ionizing radiations which makes magnetic resonance imaging (MRI) a preferable alternative for this purpose. Additionally, the superior soft tissue contrast in MRI could lead to more accurate results. Yet, it is highly labor intensive to segment fat in MRI scans. In this study, we propose an algorithm based on deep learning technique(s) to automatically quantify fat tissue from MR images through a cross modality adaptation. Our method does not require supervised labeling of MR scans, instead, we utilize a cycle generative adversarial network (C-GAN) to construct a pipeline that transforms the existing MR scans into their equivalent synthetic CT (s-CT) images where fat segmentation is relatively easier due to the descriptive nature of HU (hounsfield unit) in CT images. The fat segmentation results for MRI scans were evaluated by expert radiologist. Qualitative evaluation of our segmentation results shows average success score of 3.80/5 and 4.54/5 for visceral and subcutaneous fat segmentation in MR images.


title: On the chromatic number of two generalized Kneser graphs

abstract: We determine the chromatic number of some graphs of flags in buildings of type $A_4$, namely of the Kneser graphs of flags of type $\{2,4\}$ in the vector spaces $GF(q)^5$ for $q\geq3$, and of the Kneser graph of flags of type $\{2,3\}$ in the vector spaces $GF(q)^5$ for large $q$.


title: WinoWhy: A Deep Diagnosis of Essential Commonsense Knowledge for Answering Winograd Schema Challenge

abstract: In this paper, we present the first comprehensive categorization of essential commonsense knowledge for answering the Winograd Schema Challenge (WSC). For each of the questions, we invite annotators to first provide reasons for making correct decisions and then categorize them into six major knowledge categories. By doing so, we better understand the limitation of existing methods (i.e., what kind of knowledge cannot be effectively represented or inferred with existing methods) and shed some light on the commonsense knowledge that we need to acquire in the future for better commonsense reasoning. Moreover, to investigate whether current WSC models can understand the commonsense or they simply solve the WSC questions based on the statistical bias of the dataset, we leverage the collected reasons to develop a new task called WinoWhy, which requires models to distinguish plausible reasons from very similar but wrong reasons for all WSC questions. Experimental results prove that even though pre-trained language representation models have achieved promising progress on the original WSC dataset, they are still struggling at WinoWhy. Further experiments show that even though supervised models can achieve better performance, the performance of these models can be sensitive to the dataset distribution. WinoWhy and all codes are available at: https://github.com/HKUST-KnowComp/WinoWhy.


title: Strategies for linear rewriting systems: link with parallel rewriting and involutive divisions

abstract: We study rewriting systems whose underlying set of terms is equipped with a vector space structure over a given field. We introduce parallel rewriting relations, which are rewriting relations compatible with the vector space structure, as well as rewriting strategies, which consist in choosing one rewriting step for each reducible basis element of the vector space. Using these notions, we introduce the S-confluence property and show that it implies confluence. We deduce a proof of the diamond's lemma, based on strategies. We illustrate our general framework with rewriting systems over rational Weyl algebras, that are vector spaces over a field of rational functions. In particular, we show that involutive divisions induce rewriting strategies over rational Weyl algebras, and using the $S$-confluence property, we show that involutive sets induce confluent rewriting systems over rational Weyl algebras.


title: Interband coherence induced correction to Thouless pumping: possible observation in cold-atom systems

abstract: In Thouless pump, the charge transport in a one-dimensional insulator over an adiabatic cycle is topologically quantized. For nonequilibrium initial states, however, interband coherence will induce a previously unknown contribution to Thouless pumping. Though not geometric in nature, this contribution is independent of the time scale of the pumping protocol. In this work, we perform a detailed analysis of our previous finding [Phys. Rev. B 91, 085420 (2015)] in an already available cold-atom setup. We show that initial states with interband coherence can be obtained via a quench of the system's Hamiltonian. Adiabatic pumping in the post-quench system are then examined both theoretically and numerically, in which the interband coherence is shown to play an important role and can hence be observed experimentally. By choosing adiabatic protocols with different switching-on speeds, we also show that the contribution of interband coherence to adiabatic pumping can be tuned. It is further proposed that the interband coherence induced correction to Thouless pumping may be useful in capturing a topological phase transition point. All our results have direct experimental interests.


title: Interbank lending with benchmark rates: Pareto optima for a class of singular control games

abstract: We analyze a class of stochastic differential games of singular control, motivated by the study of a dynamic model of interbank lending with benchmark rates. We describe Pareto optima for this game and show how they may be achieved through the intervention of a regulator, whose policy is a solution to a singular stochastic control problem. Pareto optima are characterized in terms of the solutions to a new class of Skorokhod problems with piecewise-continuous free boundary. Pareto optimal policies are shown to correspond to the enforcement of endogenous bounds on interbank lending rates. Analytical comparison between Pareto optima and Nash equilibria provides insight into the impact of regulatory intervention on the stability of interbank rates.


title: Pedal coordinates, solar sail orbits, Dipole drive and other force problems

abstract: It was shown that pedal coordinates provides natural framework in which to study force problems of classical mechanics in the plane. A trajectory of a test particle under the influence of central and Lorentz-like forces can be translated into pedal coordinates at once without the need of solving any differential equation. We will generalize this result to cover more general force laws and also show an advantage of pedal coordinates in certain variational problems. These will enable us to link together many dynamical systems as well as problems of calculus of variation. Finally -- as an illustrative example -- we will apply obtained results to compute orbits of Solar sail and Dipole drive.


title: Interpreting Neural Ranking Models using Grad-CAM

abstract: Recently, applying deep neural networks in IR has become an important and timely topic. For instance, Neural Ranking Models(NRMs) have shown promising performance compared to the traditional ranking models. However, explaining the ranking results has become even more difficult with NRM due to the complex structure of neural networks. On the other hand, a great deal of research is under progress on Interpretable Machine Learning(IML), including Grad-CAM. Grad-CAM is an attribution method and it can visualize the input regions that contribute to the network's output. In this paper, we adopt Grad-CAM for interpreting the ranking results of NRM. By adopting Grad-CAM, we analyze how each query-document term pair contributes to the matching score for a given pair of query and document. The visualization results provide insights on why a certain document is relevant to the given query. Also, the results show that neural ranking model captures the subtle notion of relevance. Our interpretation method and visualization results can be used for snippet generation and user-query intent analysis.


title: Higher-order topological spin Hall effect of sound

abstract: We propose theoretically a reconfigurable two-dimensional (2D) hexagonal sonic crystal with higher-order topology protected by the six-fold, $C_6$, rotation symmetry. The acoustic band gap and band topology can be controlled by rotating the triangular scatterers in each unit-cell. In the nontrivial phase, the sonic crystal realizes the topological spin Hall effect in a higher-order fashion: (i) The edge states emerging in the bulk band gap exhibits partial spin-momentum locking and are gapped due to the reduced spatial symmetry at the edges. (ii) The gapped edge states, on the other hand, stabilize the topological corner states emerging in the edge band gap. The partial spin-momentum locking is manifested as pseudo-spin-polarization of edge states away from the time-reversal invariant momenta, where the pseudospin is emulated by the acoustic orbital angular momentum. We reveal the underlying topological mechanism using a corner topological index based on the symmetry representation of the acoustic Bloch bands.


title: Transverse emittance

abstract: This chapter defines the concept of transverse emittance and describes the techniques most frequently used to measure it.


title: Spectral equivalence of Gaussian random functions: operator approach

abstract: We introduce a new approach to the spectral equivalence of Gaussian processes and fields, based on the methods of operator theory in Hilbert space. Besides several new results including identities in law of quadratic norms for integrated and multiply integrated Gaussian random functions we give an application to goodness-of-fit testing.


title: Evolution, Heritable Risk, and Skewness Loving

abstract: Our understanding of risk preferences can be sharpened by considering their evolutionary basis. The existing literature has focused on two sources of risk: idiosyncratic risk and aggregate risk. We introduce a new source of risk, heritable risk, in which there is a positive correlation between the fitness of a newborn agent and the fitness of her parent. Heritable risk was plausibly common in our evolutionary past and it leads to a strictly higher growth rate than the other sources of risk. We show that the presence of heritable risk in the evolutionary past may explain the tendency of people to exhibit skewness loving today.


title: Approximating Boolean Functions with Disjunctive Normal Form

abstract: The theorem states that: Every Boolean function can be $\epsilon -approximated$ by a Disjunctive Normal Form (DNF) of size $O_{\epsilon}(2^{n}/\log{n})$. This paper will demonstrate this theorem in detail by showing how this theorem is generated and proving its correctness. We will also dive into some specific Boolean functions and explore how these Boolean functions can be approximated by a DNF whose size is within the universal bound $O_{\epsilon}(2^{n}/\log{n})$. The Boolean functions we interested in are: Parity Function: the parity function can be $\epsilon-approximated$ by a DNF of width $(1 - 2\epsilon)n$ and size $2^{(1 - 2\epsilon)n}$. Furthermore, we will explore the lower bounds on the DNF's size and width. Majority Function: for every constant $1/2 < \epsilon < 1$, there is a DNF of size $2^{O(\sqrt{n})}$ that can $\epsilon-approximated$ the Majority Function on n bits. Monotone Functions: every monotone function f can be $\epsilon-approximated$ by a DNF g of size $2^{n - \Omega\epsilon(n)}$ satisfying $g(x) \le f(x)$ for all x.


title: Finite Element Methods For Interface Problems On Local Anisotropic Fitting Mixed Meshes

abstract: A simple and efficient interface-fitted mesh generation algorithm is developed in this paper. This algorithm can produce a local anisotropic fitting mixed mesh which consists of both triangles and quadrilaterals near the interface. A new finite element method is proposed for second order elliptic interface problems based on the resulting mesh. Optimal approximation capabilities on anisotropic elements are proved in both the $H^1$ and $L^2$ norms. The discrete system is usually ill-conditioned due to anisotropic and small elements near the interface. Thereupon, a multigrid method is presented to handle this issue. The convergence rate of the multigrid method is shown to be optimal with respect to both the coefficient jump ratio and mesh size. Numerical experiments are presented to demonstrate the theoretical results.


title: Passage of an ion-acoustic solitary wave through the boundary between an electron-ion plasma and a negative ion plasma

abstract: The passage of an ion-acoustic solitary wave through the boundary between an electron-ion plasma and a negative ion plasma is considered. After the ion-acoustic solitary wave enters the region of another plasma, a disturbance arises, from which an ion-acoustic solitary wave and a chain of oscillations form over time. The amplitude of the ion-acoustic solitary wave after passage through the boundary changes in such a way that its value in the electron-ion plasma is greater than its value in the negative ion plasmas. An exception is the case of a compressive ion-acoustic solitary wave propagating through the negative ion plasma and having an amplitude exceeding the critical amplitude in the electron-ion plasma. Such an ion-acoustic solitary wave, when entering an electron-ion plasma, releases an excess of energy to accelerate positive ions and thereby reduces its amplitude below the critical value. The dependence of the amplitude of an ion-acoustic solitary wave established after the boundary crossing on its initial amplitude is determined. The passage of an ion-acoustic solitary wave through a layer of negative ion plasma surrounded by electron-ion plasmas is considered. It is shown that the passage of a rarefactive ion-acoustic solitary wave from the negative ion plasma into the electron-ion plasma causes disturbance, in which accelerated and trapped negative ions can be observed.


title: Adaptive Mixture Regression Network with Local Counting Map for Crowd Counting

abstract: The crowd counting task aims at estimating the number of people located in an image or a frame from videos. Existing methods widely adopt density maps as the training targets to optimize the point-to-point loss. While in testing phase, we only focus on the differences between the crowd numbers and the global summation of density maps, which indicate the inconsistency between the training targets and the evaluation criteria. To solve this problem, we introduce a new target, named local counting map (LCM), to obtain more accurate results than density map based approaches. Moreover, we also propose an adaptive mixture regression framework with three modules in a coarse-to-fine manner to further improve the precision of the crowd estimation: scale-aware module (SAM), mixture regression module (MRM) and adaptive soft interval module (ASIM). Specifically, SAM fully utilizes the context and multi-scale information from different convolutional features; MRM and ASIM perform more precise counting regression on local patches of images. Compared with current methods, the proposed method reports better performances on the typical datasets. The source code is available at https://github.com/xiyang1012/Local-Crowd-Counting.


title: HDD-Net: Hybrid Detector Descriptor with Mutual Interactive Learning

abstract: Local feature extraction remains an active research area due to the advances in fields such as SLAM, 3D reconstructions, or AR applications. The success in these applications relies on the performance of the feature detector and descriptor. While the detector-descriptor interaction of most methods is based on unifying in single network detections and descriptors, we propose a method that treats both extractions independently and focuses on their interaction in the learning process rather than by parameter sharing. We formulate the classical hard-mining triplet loss as a new detector optimisation term to refine candidate positions based on the descriptor map. We propose a dense descriptor that uses a multi-scale approach and a hybrid combination of hand-crafted and learned features to obtain rotation and scale robustness by design. We evaluate our method extensively on different benchmarks and show improvements over the state of the art in terms of image matching on HPatches and 3D reconstruction quality while keeping on par on camera localisation tasks.


title: Anharmonic Phonons and Anomalous Thermal Expansion of Graphite

abstract: We have investigated the anisotropic thermal expansion of graphite using ab-initio calculation of lattice dynamics and anharmonicity of the phonons, which reveal that the negative thermal expansion (NTE) in the a-b plane below 600 K and very large positive thermal expansion along the c-axis up to high temperatures arise due to various phonons polarized along the c-axis. While the NTE arises from the anharmonicity of transverse phonons over a broad energy range up to 60 meV, the large positive expansion along the c-axis occurs largely due to the longitudinal optic phonon modes around 16 meV and a large linear compressibility along the c-axis. The hugely anisotropic bonding in graphite is found to be responsible for wide difference in the energy range of the transverse and longitudinal phonon modes polarized along the c-axis, which are responsible for the anomalous thermal expansion behavior. This behaviour is in contrast to other nearly isotropic hexagonal structures like water-ice, which show anomalous thermal expansion in a small temperature range arising from a narrow energy range of phonons.


title: Instability of Defection in the Prisoner's Dilemma Under Best Experienced Payoff Dynamics

abstract: We study population dynamics under which each revising agent tests each strategy k times, with each trial being against a newly drawn opponent, and chooses the strategy whose mean payoff was highest. When k = 1, defection is globally stable in the prisoner`s dilemma. By contrast, when k > 1 we show that there exists a globally stable state in which agents cooperate with probability between 28% and 50%. Next, we characterize stability of strict equilibria in general games. Our results demonstrate that the empirically plausible case of k > 1 can yield qualitatively different predictions than the case of k = 1 that is commonly studied in the literature.


title: On uniqueness of two meromorphic functions sharing three sets with finite weights

abstract: With the help of the notion of weighted sharing of sets, this paper dealt with the question posed by \emph{Yi} \cite{Yi-SC-1994} regarding the uniqueness of meromorphic functions concerning three set sharing. A result has been proved which significantly improved the recent results of {Banerjee - Ahamed} [Bull. Polish Acad. Sci., {62}(3)(2014), 243--256.], \{Banerjee - Mukherjee} [Hokkaido Math. J., {37}(2008), 507--530.] and {Banerjee - Majumder} [Analysis, {34}(2)(2014), 143--162.] by relaxing the nature of sharing. Several examples have been exhibited to show the sharpness of the cardinalities of the sets {S}_1 and {S}_2 considered in Theorem 1.1. Moreover, we give some constructive examples to endorse the validity of our established theorem.


title: Generalization and development of the Malliavin-Rubel theorem on small entire functions of exponential type with given zeros

abstract: Previously, we developed the technique of balayage of measures or charges and ($\delta$-)subharmonic functions of finite order onto an closed system of rays $S$ with a vertex at zero on the complex plane $\mathbb C$. In this article, we use only two kinds of balayage of measure and charge, as well as of subharmonic functions of finite type under the order $1$ and their differences. First, it is a classical balayage of the genus $q=0$ on a system of four closed rays: positive and negative, and real and imaginary semi-axis $\mathbb R^+$, $-\mathbb R^+$, $i\mathbb R^+$, $-i\mathbb R$. Second, it is two-sided balayage of genus $q=1$ from the open right and left half-planes $\mathbb C_{{\rm rh}}$ and $\mathbb C_{{\rm lh}}$ onto the imaginary axis $i\mathbb R$. The classical Malliavin-Rubel theorem gives necessary and sufficient conditions of the existence of an entire function of exponential type (we write e.f.e.t.) $f\not\equiv 0$, vanishing on the given positive sequence ${\sf Z}=\{{\sf z}_k\}_{k\in \mathbb N}\subset \mathbb R^+$ and satisfying the constraint $|f|\leq |g|$ on $i\mathbb R$, where $g$ is an e.f.e.t., vanishing on positive sequence ${\sf W}=\{{\sf w}_k\}_{k\in \mathbb N}\subset \mathbb R^+$. A combination of these special balayage processes of genus $q=0$ and $q=1$ allows us to extend the Malliavin-Rubel theorem to arbitrary complex sequences ${\sf Z}=\{{\sf z}_k\}_{k\in \mathbb N}\subset \mathbb C$ separated by a pair of vertical angles from the imaginary axis $i\mathbb R$, with much more general restrictions $\ln |f|\leq M$ on the imaginary axis $i\mathbb R$, where $M$ is an subharmonic function of finite type under the order $1$.


title: Structure of projective varieties with nef anticanonical divisor: the case of log terminal singularities

abstract: In this article we study the structure of klt projective varieties with nef anticanonical divisor (and more generally, varieties of semi-Fano type), especially the canonical fibrations associated to them. We show that: 1. the Albanese map for such variety is a locally constant fibration (that is, an analytic fibre bundle with connected fibres that $X$ is equal to the product of the universal cover of the Albanese torus by the fibre of the Albanese map quotient by a diagonal action of the fundamenatl group of the Albanese torus); 2. if the smooth locus is simply connected, the MRC fibration of such variety is an everywhere defined morphism and induces a decomposition into a product of a rationally connected variety and of a projective variety with trivial canonical divisor. These generalize the corresponding results for smooth projective varieties with nef anticanonical bundle in Cao (2019) and Cao-H\"oring (2019) to the klt case, and can be also regarded as a partial extension of the singular Beauville-Bogomolov decomposition theorem proved by successive works of Greb-Kebekus-Peternell (2016), Druel (2018), Guenencia-Greb-Kebekus (2019) and H\"oring-Peternell (2019).


title: Modeling Route Choice with Real-Time Information: Comparing the Recursive and Non-Recursive Models

abstract: We study the routing policy choice problems in a stochastic time-dependent (STD) network. A routing policy is defined as a decision rule applied at the end of each link that maps the realized traffic condition to the decision on the link to take next. Two types of routing policy choice models are formulated with perfect online information (POI): recursive logit model and non-recursive logit model. In the non-recursive model, a choice set of routing policies between an origin-destination (OD) pair is generated, and a probabilistic choice is modeled at the origin, while the choice of the next link at each link is a deterministic execution of the chosen routing policy. In the recursive model, the probabilistic choice of the next link is modeled at each link, following the framework of dynamic discrete choice models. The two models are further compared in terms of computational efficiency in estimation and prediction, and flexibility in systematic utility specification and modeling correlation.


title: A Graph Gaussian Embedding Method for Predicting Alzheimer's Disease Progression with MEG Brain Networks

abstract: Characterizing the subtle changes of functional brain networks associated with the pathological cascade of Alzheimer's disease (AD) is important for early diagnosis and prediction of disease progression prior to clinical symptoms. We developed a new deep learning method, termed multiple graph Gaussian embedding model (MG2G), which can learn highly informative network features by mapping high-dimensional resting-state brain networks into a low-dimensional latent space. These latent distribution-based embeddings enable a quantitative characterization of subtle and heterogeneous brain connectivity patterns at different regions and can be used as input to traditional classifiers for various downstream graph analytic tasks, such as AD early stage prediction, and statistical evaluation of between-group significant alterations across brain regions. We used MG2G to detect the intrinsic latent dimensionality of MEG brain networks, predict the progression of patients with mild cognitive impairment (MCI) to AD, and identify brain regions with network alterations related to MCI.


title: Cosmological Solutions for the Geometrical Scalar-Tensor with the Potential Determined by the Noether Symmetry Approach

abstract: In this work we consider a scale-tensor theory in which the space-time is endowed with a Weyl integrable geometrical structure due to the Palatini variational method. Since the scalar field has a geometrical nature (related to non-metricity), the theory is known as \textit{Geometrical Scalar-Tensor}. On the framework of Weyl transformations, a non-minimally coupled scalar-tensor theory on the Jordan frame corresponds to a minimally coupled Einstein-Hilbert action on the Einstein frame. The scalar potential is selected by the Noether symmetry approach in order to obtain conserved quantities for the FRW cosmological model. Exact solutions are obtained and analyzed in the context of the cosmological scenarios consistent with an expanding universe. A particular case is matched in each frame and the role of scalar field as a dark energy component is discussed.


title: Generating directed networks with prescribed Laplacian spectra

abstract: Complex real-world phenomena are often modeled as dynamical systems on networks. In many cases of interest, the spectrum of the underlying graph Laplacian sets the system stability and ultimately shapes the matter or information flow. This motivates devising suitable strategies, with rigorous mathematical foundation, to generate Laplacian that possess prescribed spectra. In this paper, we show that a weighted Laplacians can be constructed so as to exactly realize a desired complex spectrum. The method configures as a non trivial generalization of existing recipes which assume the spectra to be real. Applications of the proposed technique to (i) a network of Stuart-Landau oscillators and (ii) to the Kuramoto model are discussed. Synchronization can be enforced by assuming a properly engineered, signed and weighted, adjacency matrix to rule the pattern of pairing interactions.


title: Early Biomarkers and Intervention Programs for the Infant Exposed to Prenatal Stress

abstract: Functional development of affective and reward circuits, cognition and response inhibition later in life exhibits vulnerability periods during gestation and early childhood. Extensive evidence supports the model that exposure to stressors in the gestational period and early postnatal life increases an individual's susceptibility to future impairments of functional development. Recent versions of this model integrate epigenetic mechanisms of the developmental response. Their understanding will guide the future treatment of the associated neuropsychiatric disorders. A combination of non-invasively obtainable physiological signals and epigenetic biomarkers related to the principal systems of the stress response, the Hypothalamic-Pituitary axis (HPA) and the Autonomic Nervous System (ANS), are emerging as the key predictors of neurodevelopmental outcomes. Such electrophysiological and epigenetic biomarkers can prove to timely identify children benefiting most from early intervention programs. Such programs should ameliorate future disorders in otherwise apparently healthy children. The recently developed Early Family-Centered Intervention Programs aim to influence the care and stimuli provided daily by the family and improving parent/child attachment, a key element for healthy socio-emotional adult life. Although frequently underestimated, such biomarker-guided early intervention strategy represents a crucial first step in the prevention of future neuropsychiatric problems and in reducing their personal and societal impact.


title: Noisy Density Evolution With Asymmetric Deviation Models

abstract: This paper considers low-density parity-check (LDPC) decoders affected by deviations introduced by the electronic device on which the decoder is implemented. Noisy density evolution (DE) that allows to theoretically study the performance of these LDPC decoders can only consider symmetric deviation models due to the all-zero codeword assumption. A novel DE method is proposed that admits the use of asymmetric deviation models, thus widening the range of faulty implementations that can be analyzed. DE equations are provided for three noisy decoders: belief propagation, Gallager B, and quantized min-sum (MS). Simulation results confirm that the proposed DE accurately predicts the performance of LDPC decoders with asymmetric deviations. Furthermore, asymmetric versions of the Gallager B and MS decoders are proposed to compensate the effect of asymmetric deviations. The parameters of these decoders are then optimized using the proposed DE, leading to better ensemble thresholds and improved finite-length performance in the presence of asymmetric deviations.


title: Memristive Model of Excitable Cells

abstract: This paper presents in-depth analysis of the excitable membranes of a biological system. We rigorously prove from the Chay neuron model that the state dependent voltage-sensitive potassium ion-channel and calcium sensitive potassium ion-channel in excitable cells are in-fact generic memristors and state independent mixed sodium and calcium ion-channel is non-memristive (nonlinear resistor) element in the perspective of electrical circuit theory. The mechanism to give the rise of the periodic oscillation, aperiodic (chaotic) oscillation, spikes and bursting in excitable cells are also analyzed via the small-signal model, pole-zero diagram, local-activity principle, edge of chaos and Hopf-bifurcation theorem. It is also shown that the presence of complex-conjugate and positive real part of zeros (equivalent to the Eigenvalues) of the admittance function inside the two bifurcation points lead to the generation of complicated electrical signals in excitable membrane.


title: Regional boundary exponential reduced observability in distributed parameter systems

abstract: The aim of this chapter is to introduce the concept of regional boundary exponential reduced observability in connection with the sensors characterizations on a sub-region on boundary of the considered domain boundary. More precisely, we explore the original results devoted to this concept in linear dynamical systems which is generated by a strongly continuous semi-group in Hilbert space of order one. Thus, the existence of sufficient conditions is presented and examined for regional boundary exponential reduced estimator in parabolic infinite dimensional systems. Finally, we apply these results to the exchange systems with various strategic sensors.


title: Regional Boundary Strategic Sensors Characterizations

abstract: This paper, deals with the linear infinite dimensional distributed parameter systems in a Hilbert space where the dynamics of the system is governed by strongly continuous semi-groups. More precisely, for parabolic distributed systems the characterizations of regional boundary strategic sensors have been discussed and analyzed in different cases of regional boundary observability in infinite time interval. Furthermore, the results so obtained are applied in two-dimensional systems and the sensors are studied under which conditions guarantee regional boundary observability in a sub-region of the system domain boundary. Also, the authors show that, the existence of a given sensor for the diffusion system is not strategic in the usual sense, but it may be regional boundary strategic of this system.


title: A spectral method to incidence balance of oriented hypergraphs and induced signed hypergraphs

abstract: An oriented hypergraph is a hypergraph together with an incidence orientation such that each edge-vertex incidence is given a label of $+1$ or $-1$. An oriented hypergraph is called incidence balanced if there exists a bipartition of the vertex set such that every edge intersects one part of the bipartition in positively incident vertices with the edge and other part in negatively incident vertices with the edge. In this paper, we investigate the incidence balance of oriented hypergraphs and induced signed hypergraphs by means of the eigenvalues of associated matrices and tensors, and provide a spectral method to characterize the incidence balanced oriented hypergraphs and their induced signed hypergraphs.


title: Some remarks on evolution algebras corresponding to permutations

abstract: In the present paper we describe absolute nilpotent and some idempotent elements of an n- dimensional evolution algebra corresponding to two permutations and we decompose such algebras to the direct sum of evolution algebras corresponding to cycles of the permutations.


title: Parametrised Functional Interpretations

abstract: This paper presents a general framework for unifying functional interpretations. It is based on families of parameters allowing for different degrees of freedom on the design of the interpretation. In this way we are able to generalise previous work on unifying functional interpretations, by including in the unification the more recent bounded and Herbrandized functional interpretations.


title: Some Useful Integral Representations for Information-Theoretic Analyses

abstract: This work is an extension of our earlier article, where a well-known integral representation of the logarithmic function was explored, and was accompanied with demonstrations of its usefulness in obtaining compact, easily-calculable, exact formulas for quantities that involve expectations of the logarithm of a positive random variable. Here, in the same spirit, we derive an exact integral representation (in one or two dimensions) of the moment of a nonnegative random variable, or the sum of such independent random variables, where the moment order is a general positive noninteger real (also known as fractional moments). The proposed formula is applied to a variety of examples with an information-theoretic motivation, and it is shown how it facilitates their numerical evaluations. In particular, when applied to the calculation of a moment of the sum of a large number, $n$, of nonnegative random variables, it is clear that integration over one or two dimensions, as suggested by our proposed integral representation, is significantly easier than the alternative of integrating over $n$ dimensions, as needed in the direct calculation of the desired moment.


title: Effective interaction force between an electric charge and a magnetic dipole and locality (or nonlocality) in quantum effects of the Aharonov-Bohm type

abstract: Classical electrodynamics foresees that the effective interaction force between a moving charge and a magnetic dipole is modified by the time-varying total momentum of the interaction fields. We derive the equations of motion of the particles from the total stress-energy tensor, assuming the validity of Maxwell's equations and the total momentum conservation law. Applications to the effects of Aharonov-Bohm type show that the observed phase shift may be due to the relative lag between interfering particles caused by the effective local force.


title: Dimension of the exceptional set in the Aronszajn-Donoghue theorem for finite rank perturbations

abstract: The classical Aronszajn-Donoghue theorem states that for a rank one perturbation of a self-adjoint operator (by a cyclic vector) the singular parts of the spectral measures of the original and perturbed operators are mutually singular. As simple direct sum type examples show, this result does not hold for finite rank perturbations. However, the set of exceptional perturbations is pretty small. Namely, for a family of rank $d$ perturbations $A_{\boldsymbol{\alpha}} := A +\mathbf{B} \boldsymbol{\alpha} \mathbf{B}^*$, $\mathbf{B}:\mathbb{C}^d\to \mathbf{H}$, with Ran$\,\mathbf{B}$ being cyclic for $A$, parametrized by $d\times d$ Hermitian matrices $\boldsymbol{\alpha}$, the singular parts of the spectral measures of $A$ and $A_{\boldsymbol{\alpha}}$ are mutually singular for all $\boldsymbol{\alpha}$ except for a small exceptional set $E$. It was shown earlier by the first two authors that $E$ is a subset of measure zero of the space $\mathbf{H}(d)$ of $d\times d$ Hermitian matrices. In this paper we show that the set $E$ has small Hausdorff dimension, $\dim E \le \dim\mathbf{H}(d)-1 = d^2-1$.


title: A simple superconductor quantum interference device for testing gravity

abstract: A simple tabletop setup based on a superconducting quantum interference device is proposed for testing the gravitational interaction. A D-shaped superconducting loop has the straight segment immersed inside a massive sphere while the half-circle segment is wrapped around the sphere. The superconducting condensate within the straight arm of the loop thus bathes inside a gravitational simple harmonic oscillator potential while the condensate in the half-circle arm bathes in the constant gravitational potential around the sphere. The resulting phase difference at the Josephson junctions on both sides of the straight arm induces a sinusoidal electric current that has a frequency determined by the precise gravitational potential due to the massive sphere.


title: \b{eta}-phase (AlxGa1-x)2O3 thin film with Al composition more than 70%

abstract: In this work, we have demonstrated wide-composition-range \b{eta}-(AlxGa1-x)2O3 thin films with record-high Al compositions up to 77% for \b{eta}-(AlxGa1-x)2O3 covering bandgaps from 4.9 to 6.4 eV. With optimized thermal annealing conditions, the \b{eta}-Ga2O3 binary thin films on sapphire substrates transformed to the \b{eta}-(AlGa)2O3 ternary thin films with different compositions. The binary to ternary transformation resulted from the Al atom diffusion from sapphire into the oxide layers; meanwhile, the Ga atoms diffused into sapphire leading to thicker thin films than the original thicknesses. The interdiffusion processes were confirmed by transmission electron microscopy, which enhanced in proportion to the annealing temperature. The strain states of the \b{eta}-(AlGa)2O3 films have been analyzed showing reduced in-plane compressive strain with higher annealing temperature; and the film eventually became strain-free when the temperature was 1400 oC corresponding to the Al composition of 77%. The proposed method is promising for the preparation of the \b{eta}-(AlGa)2O3 thin films without employing sophisticated direct-growth techniques for alloys.


title: On the structure of spectral and tiling subsets of cyclic groups

abstract: The purpose of this paper is to investigate the properties of spectral and tiling subsets of cyclic groups, with an eye towards the spectral set conjecture in one dimension, which states that a bounded measurable subset of $\mathbb{R}$ accepts an orthogonal basis of exponentials if and only if it tiles $\mathbb{R}$ by translations. This conjecture is strongly connected to its discrete counterpart, namely that in every finite cyclic group, a subset is spectral if and only if it is a tile. The tools presented herein are refinements of recent ones used in the setting of cyclic groups; the structure of vanishing sums of roots of unity is a prevalent notion throughout the text, as well as the structure of tiling subsets of integers. We manage to prove the conjecture for cyclic groups of order $p^mq^n$, when one of the exponents is $\leq6$ or when $p^{m-2}<q^4$, and also prove that a tiling subset of a cyclic group of order $p_1^mp_2\dotsm p_n$ is spectral.


title: Dynamical Analysis of Self-gravitating Stars in Modified Gauss-Bonnet Gravity

abstract: In this paper, we have continued the work of Herrera \emph{et al.} \cite{herrera2012dynamical} in $f(G)$ gravitational theory. For this purpose, a spherically symmetric fluid exhibiting locally anisotropic pressure along with the energy density, is taken under consideration. The perturbation scheme is imposed on modified field equations and the dynamical equations. The collapse equation is devised from these perturbed equations which stimulates to disclose the instability zone under both Newtonian and post-Newtonian constraints. It is wrapped up by concluding that dynamical instability is interpreted by the adiabatic index $\Gamma$ which relies on the anisotropic pressure, energy density and the dark source terms due to $f(G)$ gravity.


title: Bayesian optimal control of GHZ states in Rydberg lattices

abstract: The ability to prepare non-classical states in a robust manner is essential for quantum sensors beyond the standard quantum limit. We demonstrate that Bayesian optimal control is capable of finding control pulses that drive trapped Rydberg atoms into highly entangled GHZ states. The control sequences have a physically intuitive functionality based on the quasi-integrability of the Ising dynamics. They can be constructed in laboratory experiments resulting in preparation times that scale very favourably with the system size.


title: Self-expanders of the mean curvature flow

abstract: We study self-expanding solutions $M^m\subset\mathbb{R}^{n}$ of the mean curvature flow. One of our main results is, that complete mean convex self-expanding hypersurfaces are products of self-expanding curves and flat subspaces, if and only if the function $|A|^2/|H|^2$ attains a local maximum, where $A$ denotes the second fundamental form and $H$ the mean curvature vector of $M$. If the pricipal normal $\xi=H/|H|$ is parallel in the normal bundle, then a similar result holds in higher codimension for the function $|A^\xi|^2/|H|^2$, where $A^\xi$ is the second fundamental form with respect to $\xi$. As a corollary we obtain that complete mean convex self-expanders attain strictly positive scalar curvature, if they are smoothly asymptotic to cones of non-negative scalar curvature. In particular, in dimension $2$ any mean convex self-expander that is asymptotic to a cone must be strictly convex.


title: Crucial curvatures and minimal resultant loci for non-archimedean polynomials

abstract: Let $K$ be an algebraically closed and complete non-archimedean field, and $\mathcal{O}_K$ the ring of $K$-integers. For a polynomial $P\in K[z]$ of degree $d>1$, the $n$-th Trucco's dynamical tree $\Gamma_n=\Gamma_n(P)$, $n\ge 0$, is spanned by the preimage $P^{-n}(\{\xi_B\})$ of $\{\xi_B\}$ under the $n$-th iteration $P^n$ of $P$ and $\{\infty\}$ in the Berkovich projective line $\mathsf{P}_K^1$, where the base point $\xi_B\in\mathsf{P}_K^1$ is the boundary point of the minimal Berkovich closed disk in the Berkovich affine line containing the filled-in Julia set of $P$. Applying Berkovich hyperbolic geometric development of Rumely's new equivariants, we compute a weight function on $\Gamma_n{(P)}$ associated to the $\Gamma_n{(P)}$-crucial curvature $\nu_{P^j,\Gamma_n{(P)}}$ induced by $P^j$ for $j\ge 1$ and $n\ge 0$. Then applying the depth formulas for the coefficient reductions of $\operatorname{PGL}(2,K)$-conjugations of $P^j$, we obtain the Hausdorff convergence as $n\to\infty$ of the barycenters of $\nu_{P^j,\Gamma_n{(P)}}$ towards Rumely's minimal resultant locus $\operatorname{MinResLoc}_{P^j}$ for $P^j$, $j\ge d-1$, and show that it is a singleton independent of $j\ge d-1$. This stationarity of $\operatorname{MinResLoc}_{P^j}$ in the Berkovich upper half space is reformulated as a stationarity of the potential semistable reduction loci for $P^j$, $j\ge d-1$, in the space $\operatorname{PGL}(2,\mathcal{O}_K)\backslash\operatorname{PGL}(2,K)$. We also study the asymptotic as $n\to\infty$ of the measures $\nu_{P^j,\Gamma_n{(P)}}$ themselves for each $j\ge 1$.


title: Evidence of many thermodynamic states of the three-dimensional Ising spin glass

abstract: We present a large-scale simulation of the three-dimensional Ising spin glass with Gaussian disorder to low temperatures and large sizes using optimized population annealing Monte Carlo. Our primary focus is investigating the number of pure states regarding a controversial statistic, characterizing the fraction of centrally peaked disorder instances, of the overlap function order parameter. We observe that this statistic is subtly and sensitively influenced by the slight fluctuations of the integrated central weight of the disorder-averaged overlap function, making the asymptotic growth behaviour very difficult to identify. Modified statistics effectively reducing this correlation are studied and essentially monotonic growth trends are obtained. The effect of temperature is also studied, finding a larger growth rate at a higher temperature. Our state-of-the-art simulation and variance reduction data analysis suggest that the many pure state picture is most likely and coherent.


title: Document Modeling with Graph Attention Networks for Multi-grained Machine Reading Comprehension

abstract: Natural Questions is a new challenging machine reading comprehension benchmark with two-grained answers, which are a long answer (typically a paragraph) and a short answer (one or more entities inside the long answer). Despite the effectiveness of existing methods on this benchmark, they treat these two sub-tasks individually during training while ignoring their dependencies. To address this issue, we present a novel multi-grained machine reading comprehension framework that focuses on modeling documents at their hierarchical nature, which are different levels of granularity: documents, paragraphs, sentences, and tokens. We utilize graph attention networks to obtain different levels of representations so that they can be learned simultaneously. The long and short answers can be extracted from paragraph-level representation and token-level representation, respectively. In this way, we can model the dependencies between the two-grained answers to provide evidence for each other. We jointly train the two sub-tasks, and our experiments show that our approach significantly outperforms previous systems at both long and short answer criteria.


title: Classical and quantum double copy of back-reaction

abstract: We consider radiation emitted by colour-charged and massive particles crossing strong plane wave backgrounds in gauge theory and gravity. These backgrounds are treated exactly and non-perturbatively throughout. We compute the back-reaction on these fields from the radiation emitted by the probe particles: classically through background-coupled worldline theories, and at tree-level in the quantum theory through three-point amplitudes. Consistency of these two methods is established explicitly. We show that the gauge theory and gravity amplitudes are related by the double copy for amplitudes on plane wave backgrounds. Finally, we demonstrate that in four-dimensions these calculations can be carried out with a background-dressed version of the massive spinor-helicity formalism.


title: Modelling the Extremes of Seasonal Viruses and Hospital Congestion: The Example of Flu in a Swiss Hospital

abstract: Viruses causing flu or milder coronavirus colds are often referred to as "seasonal viruses" as they tend to subside in warmer months. In other words, meteorological conditions tend to impact the activity of viruses, and this information can be exploited for the operational management of hospitals. In this study, we use three years of daily data from one of the biggest hospitals in Switzerland and focus on modelling the extremes of hospital visits from patients showing flu-like symptoms and the number of positive cases of flu. We propose employing a discrete Generalized Pareto distribution for the number of positive and negative cases, and a Generalized Pareto distribution for the odds of positive cases. Our modelling framework allows for the parameters of these distributions to be linked to covariate effects, and for outlying observations to be dealt with via a robust estimation approach. Because meteorological conditions may vary over time, we use meteorological and not calendar variations to explain hospital charge extremes, and our empirical findings highlight their significance. We propose a measure of hospital congestion and a related tool to estimate the resulting CaRe (Charge-at-Risk-estimation) under different meteorological conditions. The relevant numerical computations can be easily carried out using the freely available GJRM R package. The introduced approach could be applied to several types of seasonal disease data such as those derived from the new virus SARS-CoV-2 and its COVID-19 disease which is at the moment wreaking havoc worldwide. The empirical effectiveness of the proposed method is assessed through a simulation study.


title: Skew left braces and isomorphism problems for Hopf-Galois structures on Galois extensions

abstract: Given a finite group $ G $, we study certain regular subgroups of the group of permutations of $ G $, which occur in the classification theories of two types of algebraic objects: skew left braces with multiplicative group isomorphic to $ G $ and Hopf-Galois structures admitted by a Galois extension of fields with Galois group isomorphic to $ G $. We study the questions of when two such subgroups yield isomorphic skew left braces or Hopf-Galois structures involving isomorphic Hopf algebras. In particular, we show that in some cases the isomorphism class of the Hopf algebra giving a Hopf-Galois structure is determined by the corresponding skew left brace. We investigate these questions in the context of a variety of existing constructions in the literature. As an application of our results we classify the isomorphically distinct Hopf algebras that give Hopf-Galois structures on a Galois extension of degree $ pq $ for $ p>q $ prime numbers.


title: Handling Concept Drift for Predictions in Business Process Mining

abstract: Predictive services nowadays play an important role across all business sectors. However, deployed machine learning models are challenged by changing data streams over time which is described as concept drift. Prediction quality of models can be largely influenced by this phenomenon. Therefore, concept drift is usually handled by retraining of the model. However, current research lacks a recommendation which data should be selected for the retraining of the machine learning model. Therefore, we systematically analyze different data selection strategies in this work. Subsequently, we instantiate our findings on a use case in process mining which is strongly affected by concept drift. We can show that we can improve accuracy from 0.5400 to 0.7010 with concept drift handling. Furthermore, we depict the effects of the different data selection strategies.


title: Organic single-photon switch

abstract: The recent progress in nanotechnology [1,2] and single-molecule spectroscopy [3-5] paves the way for cost-effective organic quantum optical technologies emergent with a promise to real-life devices operating at ambient conditions. In this letter, we harness $\pi$-conjugated segments of an organic ladder-type polymer strongly coupled to a microcavity forming correlated collective dressed states of light, so-called of exciton-polariton condensates. We explore an efficient way for all-optical ultra-fast control over the macroscopic condensate wavefunction via a single photon. Obeying Bose statistics, exciton-polaritons exhibit an extreme nonlinearity undergoing bosonic stimulation [6] which we have managed to trigger at the single-photon level. Relying on the nature of organic matter to sustain stable excitons dressed with high energy molecular vibrations we have developed a principle that allows for single-photon nonlinearity operation at ambient conditions opening the door for practical implementations like sub-picosecond switching, amplification and all-optical logic at the fundamental limit of single light quanta.


title: Estimating the Cheeger constant using machine learning

abstract: In this paper, we use machine learning to show that the Cheeger constant of a connected regular graph has a predominant linear dependence on the largest two eigenvalues of the graph spectrum. We also show that a trained deep neural network on graphs of smaller sizes can be used as an effective estimator in estimating the Cheeger constant of larger graphs.


title: On the rate of convergence of the Gaver-Stehfest algorithm

abstract: The Gaver-Stehfest algorithm is widely used for numerical inversion of Laplace transform. In this paper we provide the first rigorous study of the rate of convergence of the Gaver-Stehfest algorithm. We prove that Gaver-Stehfest approximations converge exponentially fast if the target function is analytic in a neighbourhood of a point and they converge at a rate $o(n^{-k})$ if the target function is $(2k+3)$-times differentiable at a point.


title: A Report on the 2020 Sarcasm Detection Shared Task

abstract: Detecting sarcasm and verbal irony is critical for understanding people's actual sentiments and beliefs. Thus, the field of sarcasm analysis has become a popular research problem in natural language processing. As the community working on computational approaches for sarcasm detection is growing, it is imperative to conduct benchmarking studies to analyze the current state-of-the-art, facilitating progress in this area. We report on the shared task on sarcasm detection we conducted as a part of the 2nd Workshop on Figurative Language Processing (FigLang 2020) at ACL 2020.


title: One-Shot Recognition of Manufacturing Defects in Steel Surfaces

abstract: Quality control is an essential process in manufacturing to make the product defect-free as well as to meet customer needs. The automation of this process is important to maintain high quality along with the high manufacturing throughput. With recent developments in deep learning and computer vision technologies, it has become possible to detect various features from the images with near-human accuracy. However, many of these approaches are data intensive. Training and deployment of such a system on manufacturing floors may become expensive and time-consuming. The need for large amounts of training data is one of the limitations of the applicability of these approaches in real-world manufacturing systems. In this work, we propose the application of a Siamese convolutional neural network to do one-shot recognition for such a task. Our results demonstrate how one-shot learning can be used in quality control of steel by identification of defects on the steel surface. This method can significantly reduce the requirements of training data and can also be run in real-time.


title: A note on minor antichains of uncountable graphs

abstract: A simplified construction is presented for Komj\'ath's result that for every uncountable cardinal $\kappa$, there are $2^\kappa$ graphs of size $\kappa$ none of them being a minor of another.


title: Suppressed Leidenfrost phenomenon during impact of elastic fluid droplets

abstract: The present article highlights the role of non-Newtonian (elastic) effects on the droplet impact phenomenology at temperatures considerably higher than the boiling point, especially at or above the Leidenfrost regime. The Leidenfrost point (LFP) was found to decrease with increase in the impact Weber number (based on velocity just before the impact) for fixed polymer (Polyacrylamide, PAAM) concentrations. Water droplets fragmented at very low Weber numbers (~22), whereas the polymer droplets resisted fragmentation at much higher Weber numbers (~155). We also varied the polymer concentration and observed that till 1000 ppm, the LFP was higher compared to water. This signifies that the effect can be delayed by the use of elastic fluids. We have showed the possible role of elastic effects (manifested by the formation of long lasting filaments) during retraction in the improvement of the LFP. However for 1500 ppm, LFP was lower than water, but with similar residence time during initial impact. In addition, we studied the role of Weber number and viscoelastic effects on the rebound behaviour at 405o C. We observed that the critical Weber number till which the droplet resisted fragmentation at 405o C increased with the polymer concentration. In addition, for a fixed Weber number, the droplet rebound height and the hovering time period increased up to 500 ppm, and then decreased. Similarly, for fixed polymer concentrations like 1000 and 1500 ppm, the rebound height showed an increasing trend up to certain a certain Weber number and then decreased. This non-monotonic behaviour of rebound heights was attributed to the observed diversion of rebound kinetic energy to rotational energy during the hovering phase.


title: Laser cooling in a chip-scale platform

abstract: Chip-scale atomic devices built around micro-fabricated alkali vapor cells are at the forefront of compact metrology and atomic sensors. We demonstrate a micro-fabricated vapor cell that is actively-pumped to ultra-high-vacuum (UHV) to achieve laser cooling. A grating magneto optical trap (GMOT) is incorporated with the 4 mm-thick Si/glass vacuum cell to demonstrate the feasibility of a fully-miniaturized laser cooling platform. A two-step optical excitation process in rubidium is used to overcome surface-scatter limitations to the GMOT imaging. The unambiguous miniaturization and form-customizability made available with micro-fabricated UHV cells provide a promising platform for future compact cold-atom sensors.


title: Towards a Scientific Method for Dynamical Systems

abstract: The premise of this paper is the following value proposition: Models are good when they describe a system of phenomena, and they are better when they can predict the effect of interventions upon the system. We introduce a formalism by which dynamical system models can be obtained by specifying basic constituent processes in the form of petri nets, mediated by the Law of Mass Action. We prove the universality of this procedure with respect to ordinary first order differential equations in rational functions. In addition, we introduce a simple graphical procedure for calculating dynamical systems from petri nets in our formalism, which we use to recover several well-known dynamical systems. For proof-of-concept, we use our method to obtain a differential equation model for the HES1 gene transcription network that predicts post-intervention behaviours of the network.


title: Mathematical analysis of wave radiation by a step-like surface

abstract: This paper proposes, for wave propagating in a globally perturbed half plane with a perfectly conducting step-like surface, a sharp Sommerfeld radiation condition (SRC) for the first time, an analytic formula of the far-field pattern, and a high-accuracy numerical solver. We adopt the Wiener-Hopf method to compute the Green function for a cracked half plane, a background for the perturbed half plane. We rigorously show that the Green function asymptotically satisfies a universal-direction SRC (uSRC) and radiates purely outgoing at infinity. This helps to propose an implicit transparent boundary condition for the scattered wave, by either a cylindrical incident wave due to a line source or a plane incident wave. Then, a well-posedness theory is established via an associated variational formulation. The theory reveals that the scattered wave, post-subtracting a known wave field, satisfies the same uSRC so that its far-field pattern is accessible theoretically. For a plane-wave incidence, asymptotic analysis shows that merely subtracting reflected plane waves, due to non-uniform heights of the step-like surface at infinity, from the scattered wave in respective regions produces a discontinuous wave satisfying the uSRC as well. Numerically, we adopt a previously developed perfectly-matched-layer (PML) boundary-integral-equation method to solve the problem. Numerical results demonstrate that the PML truncation error decays exponentially fast as thickness or absorbing power of the PML increases, of which the convergence relies heavily on the Green function exponentially decaying in the PML.


title: Introduction to a small cancellation theorem

abstract: This note is intended as an introduction to two previous works respectively by Dahmani, Guirardel, Osin, and by Cantat, Lamy. We give two proofs of a Small Cancellation Theorem for groups acting on a simplicial tree. We discuss the application to the group of plane polynomial automorphisms over any ground field.


title: Stability analysis of discrete-time LPV switched systems

abstract: This paper addresses the stability problem for discrete-time switched systems under autonomous switching. Each mode of the switched system is modeled as a Linear Parameter Varying (LPV) system, the time-varying parameters can vary arbitrarily fast and are represented in a polytopic form. The Lyapunov theory is employed to get new conditions in the form of parameter-dependent LMIs. The constructed Lyapunov function takes advantage of using an augmented state vector with shifted states in its construction. In this sense, the Lyapunov function employed in this paper can be viewed as a discrete-time LPV switched Lyapunov function. Numerical experiments illustrate the efficacy of the technique in providing stability certificates.


title: Perturbing Inputs to Prevent Model Stealing

abstract: We show how perturbing inputs to machine learning services (ML-service) deployed in the cloud can protect against model stealing attacks. In our formulation, there is an ML-service that receives inputs from users and returns the output of the model. There is an attacker that is interested in learning the parameters of the ML-service. We use the linear and logistic regression models to illustrate how strategically adding noise to the inputs fundamentally alters the attacker's estimation problem. We show that even with infinite samples, the attacker would not be able to recover the true model parameters. We focus on characterizing the trade-off between the error in the attacker's estimate of the parameters with the error in the ML-service's output.


title: A Distributed Approximate Nearest Neighbor Method for Real-Time Face Recognition

abstract: Nowadays, face recognition and more generally image recognition have many applications in the modern world and are widely used in our daily tasks. This paper aims to propose a distributed approximate nearest neighbor (ANN) method for real-time face recognition using a big dataset that involves a lot of classes. The proposed approach is based on using a clustering method to separate the dataset into different clusters and on specifying the importance of each cluster by defining cluster weights. To this end, reference instances are selected from each cluster based on the cluster weights using a maximum likelihood approach. This process leads to a more informed selection of instances, so it enhances the performance of the algorithm. Experimental results confirm the efficiency of the proposed method and its out-performance in terms of accuracy and the processing time.


title: Constructions of complementary sequence sets and complete complementary codes by 2-level autocorrelation sequences and permutation polynomials

abstract: In this paper, a recent method to construct complementary sequence sets and complete complementary codes by Hadamard matrices is deeply studied. By taking the algebraic structure of Hadamard matrices into consideration, our main result determine the so-called $\delta$-linear terms and $\delta$-quadratic terms. As a first consequence, a powerful theory linking Golay complementary sets of $p$-ary ($p$ prime) sequences and the generalized Reed-Muller codes by Kasami et al. is developed. These codes enjoy good error-correcting capability, tightly controlled PMEPR, and significantly extend the range of coding options for applications of OFDM using $p^n$ subcarriers. As another consequence, we make a previously unrecognized connection between the sequences in CSSs and CCCs and the sequence with 2-level autocorrelation, trace function and permutation polynomial (PP) over the finite fields.


title: Porting and optimizing UniFrac for GPUs

abstract: UniFrac is a commonly used metric in microbiome research for comparing microbiome profiles to one another ("beta diversity"). The recently implemented Striped UniFrac added the capability to split the problem into many independent subproblems and exhibits near linear scaling. In this paper we describe steps undertaken in porting and optimizing Striped Unifrac to GPUs. We reduced the run time of computing UniFrac on the published Earth Microbiome Project dataset from 13 hours on an Intel Xeon E5-2680 v4 CPU to 12 minutes on an NVIDIA Tesla V100 GPU, and to about one hour on a laptop with NVIDIA GTX 1050 (with minor loss in precision). Computing UniFrac on a larger dataset containing 113k samples reduced the run time from over one month on the CPU to less than 2 hours on the V100 and 9 hours on an NVIDIA RTX 2080TI GPU (with minor loss in precision). This was achieved by using OpenACC for generating the GPU offload code and by improving the memory access patterns. A BSD-licensed implementation is available, which produces a C shared library linkable by any programming language.


title: A CLT for dependent random variables, with an application to an infinite system of interacting diffusion processes

abstract: We present a central limit theorem for stationary random fields that are short-range dependent and asymptotically independent. As an application, we present a central limit theorem for an infinite family of interacting It\^o-type diffusion processes.


title: The cyclic graph (deleted enhanced power graph) of a direct product

abstract: Let $G$ be a finite group. Define a graph on the set $G^{\#} = G \setminus \{ 1 \}$ by declaring distinct elements $x,y\in G^{\#}$ to be adjacent if and only if $\langle x,y\rangle$ is cyclic. Denote this graph by $\Delta(G)$. The graph $\Delta(G)$ has appeared in the literature under the names cyclic graph and deleted enhanced power graph. If $G$ and $H$ are nontrivial groups, then $\Delta(G\times H)$ is completely characterized. In particular, if $\Delta(G\times H)$ is connected, then a diameter bound is obtained, along with an example meeting this bound. Also, necessary and sufficient conditions for the disconnectedness of $\Delta(G\times H)$ are established.


title: Ground and Excited Exciton Polarons in Monolayer MoSe2

abstract: Monolayer transition metal dichalcogenide semiconductors, with versatile experimentally accessible exciton species, offer an interesting platform for investigating the interaction between excitons and a Fermi sea of charges. Using hexagonal boron nitride encapsulated monolayer MoSe2, we study the impact of charge density tuning on the ground and excited Rydberg states in the atomic layer. Consistent excitonpolaron behavior is revealed in both photoluminescence and reflection spectra of the A exciton 1s (A:1s) Rydberg state, in contrast to previous studies. The A:2s Rydberg state provides an opportunity to understand such interactions with greatly reduced exciton binding energy. We found that the impact of the Fermi sea becomes much more dramatic. With a photoluminescence upconversion technique, we further verify the 2s polaron-like behavior for the repulsive branch of B:2s exciton whose energy is well above the bare bandgap. Our studies show that the polaron-like interaction features are quite generic and highly robust, offering key insights into the dressed manybody state in a Fermi sea.


title: Rotational symmetry of ancient solutions to the Ricci flow in higher dimensions

abstract: We extend the second part of \cite{Bre20} on the uniqueness of ancient $\kappa$-solutions to higher dimensions. In dimensions $n \geq 4$, an ancient $\kappa$-solution is a nonflat, complete, ancient solution of the Ricci flow that is uniformly PIC and weakly PIC2; has bounded curvature; and is $\kappa$-noncollapsed. We show that the only noncompact ancient $\kappa$-solutions up to isometry are a family of shrinking cylinders, a quotient thereof, or the Bryant soliton.


title: Modelling the dielectric constants of crystals using machine learning

abstract: The relative permittivity of a crystal is a fundamental property that links microscopic chemical bonding to macroscopic electromagnetic response. Multiple models, including analytical, numerical and statistical descriptions, have been made to understand and predict dielectric behaviour. Analytical models are often limited to a particular type of compounds, whereas machine learning (ML) models often lack interpretability. Here, we combine supervised ML, density functional perturbation theory, and analysis based on game theory to predict and explain the physical trends in optical dielectric constants of crystals. Two ML models, support vector regression and deep neural networks, were trained on a dataset of 1,364 dielectric constants. Shapley additive explanations (SHAP) analysis of the ML models reveals that they recover correlations described by textbook Clausius-Mossotti and Penn models, which gives confidence in their ability to describe physical behavior, while providing superior predictive power.