title: On the Nisan-Ronen conjecture

abstract: The Nisan-Ronen conjecture states that no truthful mechanism for makespan-minimization when allocating $m$ tasks to $n$ unrelated machines can have approximation ratio less than $n$. Over more than two decades since its formulation, little progress has been made in resolving it and the best known lower bound is still a small constant. This work makes progress towards validating the conjecture by showing a lower bound of $1+\sqrt{n-1}$.


title: Searching for a message in the angular power spectrum of the cosmic microwave background

abstract: The Creator of the universe could place a message on the most cosmic of all billboards, the Cosmic Microwave Background (CMB) sky. It was proposed by Hsu & Zee (2006) to to search for such a message in the CMB angular power spectrum. I process the temperature measurements taken by the Planck and WMAP satellites and extract the binary bit-stream. I estimate the information content of a potential message in the stream as about 1,000 bits. The universality of the message may be limited by the observer-dependent location in space and the finite observation time of order 100 bn years after the big bang. I find no meaningful message in the actual bit-stream, but include it at the end of the manuscript for the interested reader to scrutinize.


title: Understanding the radio relic emission in the galaxy cluster MACS J0717.5+3745: spectral analysis

abstract: Radio relics are diffuse, extended synchrotron sources that originate from shock fronts generated during cluster mergers. The massive merging galaxy cluster MACS J0717.5+3745 hosts one of the more complex relics known to date. We present upgraded Giant Metrewave Radio Telescope band 3 (300-500 MHz) and band 4 (550-850 MHz) observations. These new observations, combined with published VLA and the new LOFAR HBA data, allow us to carry out a detailed, high spatial resolution spectral analysis of the relic over a broad range of frequencies. The integrated spectrum of the relic closely follows a power-law between 144 MHz and 5.5 GHz with a mean spectral slope $\alpha=-1.16\pm0.03$. Despite its complex morphology, the subregions of the relic and the other isolated filaments also follow power-law behaviors, and show similar spectral slopes. Assuming Diffusive Shock Acceleration, we estimate a dominant Mach number of $\sim 3.7$ for the shocks that make up the relic. Comparison with recent numerical simulations suggests that in the case of radio relics, the slopes of the integrated radio spectra are determined by the Mach number of the accelerating shock, with $\alpha$ nearly constant, namely between $-1.13$ and $-1.17$, for Mach numbers $3.5 - 4.0$. The spectral shapes inferred from spatially resolved regions show curvature, we speculate that the relic is inclined along the line-of-sight. The locus of points in the simulated color-color plots changes significantly with the relic viewing angle. We conclude that projection effects and inhomogeneities in the shock Mach number dominate the observed spectral properties of the relic in this complex system. Based on the new observations we raise the possibility that the relic and a narrow-angle-tailed radio galaxy are two different structures projected along the same line-of-sight.


title: How to Measure Your App: A Couple of Pitfalls and Remedies in Measuring App Performance in Online Controlled Experiments

abstract: Effectively measuring, understanding, and improving mobile app performance is of paramount importance for mobile app developers. Across the mobile Internet landscape, companies run online controlled experiments (A/B tests) with thousands of performance metrics in order to understand how app performance causally impacts user retention and to guard against service or app regressions that degrade user experiences. To capture certain characteristics particular to performance metrics, such as enormous observation volume and high skewness in distribution, an industry-standard practice is to construct a performance metric as a quantile over all performance events in control or treatment buckets in A/B tests. In our experience with thousands of A/B tests provided by Snap, we have discovered some pitfalls in this industry-standard way of calculating performance metrics that can lead to unexplained movements in performance metrics and unexpected misalignment with user engagement metrics. In this paper, we discuss two major pitfalls in this industry-standard practice of measuring performance for mobile apps. One arises from strong heterogeneity in both mobile devices and user engagement, and the other arises from self-selection bias caused by post-treatment user engagement changes. To remedy these two pitfalls, we introduce several scalable methods including user-level performance metric calculation and imputation and matching for missing metric values. We have extensively evaluated these methods on both simulation data and real A/B tests, and have deployed them into Snap's in-house experimentation platform.


title: Molecular Dynamics Simulations of Semi-Dilute and Concentrated Solutions: Unexpected Finite Size Effects in Osmotic Pressure

abstract: We explore semi-dilute and concentrated oligomers and polymers in a broad range of polymerization indices N ranging from 1 to a 100 and in a range of monomer number densities $\phi$ from 0.1 to 0.8 via molecular dynamics simulations and under good solvent conditions. This parameter range covers both no-overlap and strong chain overlap regimes, as quantified by the polymer packing fraction $0.1\le\Phi\le{14}$. Contrary to some common beliefs, the non-ideal part of the osmotic pressure demonstrates strong finite size effects. In the overlap regime, it deviates substantially from the scaling form of de Cloizeaux. The finite size correction term is proportional to 1/N, irrespective of $\Phi$. We propose a simple phenomenological description of the osmotic pressure in the infinite chain limit and of the monomer density dependence of the 1/N correction term. We extend the treatment of finite size effects to cover binary mixtures with 2 different chain lengths, and demonstrate that the proposed equation of state is applicable with an effective mass-averaged inverse chain length $1/N_{eff}$. We also discuss finite size effects in the density dependence of the gyration radius.


title: Scaling Down Deep Learning with MNIST-1D

abstract: Although deep learning models have taken on commercial and political relevance, key aspects of their training and operation remain poorly understood. This has sparked interest in science of deep learning projects, many of which require large amounts of time, money, and electricity. But how much of this research really needs to occur at scale? In this paper, we introduce MNIST-1D: a minimalist, procedurally generated, low-memory, and low-compute alternative to classic deep learning benchmarks. Although the dimensionality of MNIST-1D is only 40 and its default training set size only 4000, MNIST-1D can be used to study inductive biases of different deep architectures, find lottery tickets, observe deep double descent, metalearn an activation function, and demonstrate guillotine regularization in self-supervised learning. All these experiments can be conducted on a GPU or often even on a CPU within minutes, allowing for fast prototyping, educational use cases, and cutting-edge research on a low budget.


title: Temporal assortment of cooperators in the spatial prisoner's dilemma

abstract: We study a spatial, one-shot prisoner's dilemma (PD) model in which selection operates on both an organism's behavioral strategy (cooperate or defect) and its choice of when to implement that strategy across a set of discrete time slots. Cooperators evolve to fixation regularly in the model when we add time slots to lattices and small-world networks, and their portion of the population grows, albeit slowly, when organisms interact in a scale-free network. This selection for cooperators occurs across a wide variety of time slots and it does so even when a crucial condition for the evolution of cooperation on graphs is violated--namely, when the ratio of benefits to costs in the PD does not exceed the number of spatially-adjacent organisms.

categories: q-bio.PE cs.GT cs.SI econ.TH physics.app-ph


title: On iterative methods for solving ill-posed problems modeled by PDE's

abstract: We investigate the iterative methods proposed by Maz'ya and Kozlov (see [KM1], [KM2]) for solving ill-posed inverse problems modeled by partial differential equations. We consider linear evolutionary problems of elliptic, hyperbolic and parabolic types. Each iteration of the analyzed methods consists in the solution of a well posed problem (boundary value problem or initial value problem respectively). The iterations are described as powers of affine operators, as in [KM2]. We give alternative convergence proofs for the algorithms by using spectral theory and the fact that the linear parts of these affine operators are non-expansive with additional functional analytical properties (see [Le1,2]). Also problems with noisy data are considered and estimates for the convergence rate are obtained under a priori regularity assumptions on the problem data.


title: Universes as Big Data

abstract: We briefly overview how, historically, string theory led theoretical physics first to precise problems in algebraic and differential geometry, and thence to computational geometry in the last decade or so, and now, in the last few years, to data science. Using the Calabi-Yau landscape -- accumulated by the collaboration of physicists, mathematicians and computer scientists over the last 4 decades -- as a starting-point and concrete playground, we review some recent progress in machine-learning applied to the sifting through of possible universes from compactification, as well as wider problems in geometrical engineering of quantum field theories. In parallel, we discuss the programme in machine-learning mathematical structures and address the tantalizing question of how it helps doing mathematics, ranging from mathematical physics, to geometry, to representation theory, to combinatorics, and to number theory.


title: A New Proof for the Embedded Resolution of Surface Singularities in Arbitrary Characteristic

abstract: A new proof for the embedded resolution of surface singularities in a three-dimensional smooth ambient space over algebraically closed fields of arbitrary characteristic. The proof makes use of an upper semicontinuous resolution invariant which prescribes the center in each step of the resolution algorithm. The resolution invariant strictly decreases under each blowup. The definition of the resolution invariant is inspired by the proofs of resolution of singularities in arbitrary dimension over fields of characteristic zero. It was developed in an attempt to generalize these proofs to the setting of arbitrary characteristic. The usual resolution invariant which is used in characteristic zero behaves very badly over fields of positive characteristic. It is not upper semicontinuous. Further, the invariant may increase under blowup which destroys the induction argument. It is shown how these problems can be overcome in the case of surface singularities which are embedded in a three-dimensional smooth ambient space. Analogous to the proofs of resolution of singularities in characteristic zero, coefficient ideals are used to enable induction on the dimension of the ambient space. Since hypersurfaces of maximal contact need not exist over fields of positive characteristic, coefficient ideals are considered instead with respect to all regular hypersurfaces. The associated invariants are then maximized over all local flags of smooth subspaces. To construct flags which realize this maximum, techniques are introduced to maximize invariants of coefficient ideals over all coordinate changes. These so-called "cleaning techniques" form a core part of the proof. They can be seen as a characteristic-free generalization of the Tschirnhausen transformation, a classical technique to construct hypersurfaces of maximal contact.


title: Explicit Granger causality in kernel Hilbert spaces

abstract: Granger causality (GC) is undoubtedly the most widely used method to infer cause-effect relations from observational time series. Several nonlinear alternatives to GC have been proposed based on kernel methods. We generalize kernel Granger causality by considering the variables cross-relations explicitly in Hilbert spaces. The framework is shown to generalize the linear and kernel GC methods, and comes with tighter bounds of performance based on Rademacher complexity. We successfully evaluate its performance in standard dynamical systems, as well as to identify the arrow of time in coupled R\"ossler systems, and is exploited to disclose the El Ni\~no-Southern Oscillation (ENSO) phenomenon footprints on soil moisture globally.


title: Audio, Speech, Language, & Signal Processing for COVID-19: A Comprehensive Overview

abstract: The Coronavirus (COVID-19) pandemic has been the research focus world-wide in the year 2020. Several efforts, from collection of COVID-19 patients' data to screening them for the virus's detection are taken with rigour. A major portion of COVID-19 symptoms are related to the functioning of the respiratory system, which in-turn critically influences the human speech production system. This drives the research focus towards identifying the markers of COVID-19 in speech and other human generated audio signals. In this paper, we give an overview of the speech and other audio signal, language and general signal processing-based work done using Artificial Intelligence techniques to screen, diagnose, monitor, and spread the awareness aboutCOVID-19. We also briefly describe the research related to detect accord-ing COVID-19 symptoms carried out so far. We aspire that this collective information will be useful in developing automated systems, which can help in the context of COVID-19 using non-obtrusive and easy to use modalities such as audio, speech, and language.


title: Visualizing Temperature-Dependent Phase Stability in High Entropy Alloys

abstract: High Entropy Alloys (HEAs) contain near equimolar amounts of five or more elements and are a compelling space for materials design. Great emphasis is placed on identifying HEAs that form a homogeneous solid-solution, but the design of such HEAs is hindered by the difficulty of navigating stability relationships in high-component spaces. Traditional phase diagrams use barycentric coordinates to represent composition axes, which require D = (N - 1) spatial dimensions to represent an N-component system, meaning that HEA systems with N > 4 components cannot be readily visualized. Here, we propose forgoing barycentric composition axes in favor of two energy axes: a formation-energy axis and a 'reaction energy' axis. These Inverse Hull Webs offer an information-dense 2D representation that successfully capture complex phase stability relationships in N > 4 component systems. We use our new diagrams to visualize the transition of HEA solid-solutions from high-temperature stability to metastability upon quenching, and identify important thermodynamic features that are correlated with the persistence or decomposition of metastable HEAs.


title: Intrinsic Decomposition of Document Images In-the-Wild

abstract: Automatic document content processing is affected by artifacts caused by the shape of the paper, non-uniform and diverse color of lighting conditions. Fully-supervised methods on real data are impossible due to the large amount of data needed. Hence, the current state of the art deep learning models are trained on fully or partially synthetic images. However, document shadow or shading removal results still suffer because: (a) prior methods rely on uniformity of local color statistics, which limit their application on real-scenarios with complex document shapes and textures and; (b) synthetic or hybrid datasets with non-realistic, simulated lighting conditions are used to train the models. In this paper we tackle these problems with our two main contributions. First, a physically constrained learning-based method that directly estimates document reflectance based on intrinsic image formation which generalizes to challenging illumination conditions. Second, a new dataset that clearly improves previous synthetic ones, by adding a large range of realistic shading and diverse multi-illuminant conditions, uniquely customized to deal with documents in-the-wild. The proposed architecture works in a self-supervised manner where only the synthetic texture is used as a weak training signal (obviating the need for very costly ground truth with disentangled versions of shading and reflectance). The proposed approach leads to a significant generalization of document reflectance estimation in real scenes with challenging illumination. We extensively evaluate on the real benchmark datasets available for intrinsic image decomposition and document shadow removal tasks. Our reflectance estimation scheme, when used as a pre-processing step of an OCR pipeline, shows a 26% improvement of character error rate (CER), thus, proving the practical applicability.


title: Improved Handling of Motion Blur in Online Object Detection

abstract: We wish to detect specific categories of objects, for online vision systems that will run in the real world. Object detection is already very challenging. It is even harder when the images are blurred, from the camera being in a car or a hand-held phone. Most existing efforts either focused on sharp images, with easy to label ground truth, or they have treated motion blur as one of many generic corruptions. Instead, we focus especially on the details of egomotion induced blur. We explore five classes of remedies, where each targets different potential causes for the performance gap between sharp and blurred images. For example, first deblurring an image changes its human interpretability, but at present, only partly improves object detection. The other four classes of remedies address multi-scale texture, out-of-distribution testing, label generation, and conditioning by blur-type. Surprisingly, we discover that custom label generation aimed at resolving spatial ambiguity, ahead of all others, markedly improves object detection. Also, in contrast to findings from classification, we see a noteworthy boost by conditioning our model on bespoke categories of motion blur. We validate and cross-breed the different remedies experimentally on blurred COCO images and real-world blur datasets, producing an easy and practical favorite model with superior detection rates.


title: Model sets with Euclidean internal space

abstract: We give an almost dynamical characterization of inter-model sets with Euclidean internal space. This characterization is similar to previous results for general inter-model sets obtained independently by Baake, Lenz and Moody, and Aujogue. The new ingredients are two additional conditions on the rank of the Abelian group generated by the set of internal difference and a flow on a torus defined via the address map introduced by Lagarias that play the role of the maximal equicontinuous factor in the previous characterizations.


title: Approximation algorithms for hitting subgraphs

abstract: Let $H$ be a fixed undirected graph on $k$ vertices. The $H$-hitting set problem asks for deleting a minimum number of vertices from a given graph $G$ in such a way that the resulting graph has no copies of $H$ as a subgraph. This problem is a special case of the hypergraph vertex cover problem on $k$-uniform hypergraphs, and thus admits an efficient $k$-factor approximation algorithm. The purpose of this article is to investigate the question that for which graphs $H$ this trivial approximation factor $k$ can be improved.


title: Anharmonic oscillator: a solution

abstract: It is shown that for the one-dimensional quantum anharmonic oscillator with potential $V(x)= x^2+g^2 x^4$ the Perturbation Theory (PT) in powers of $g^2$ (weak coupling regime) and the semiclassical expansion in powers of $\hbar$ for energies coincide. It is related to the fact that the dynamics in $x$-space and in $(gx)$-space corresponds to the same energy spectrum with effective coupling constant $\hbar g^2$. Two equations, which govern the dynamics in those two spaces, the Riccati-Bloch (RB) and the Generalized Bloch (GB) equations, respectively, are derived. The PT in $g^2$ for the logarithmic derivative of wave function leads to PT (with polynomial in $x$ coefficients) for the RB equation and to the true semiclassical expansion in powers of $\hbar$ for the GB equation, which corresponds to a loop expansion for the density matrix in the path integral formalism. A 2-parametric interpolation of these two expansions leads to a uniform approximation of the wavefunction in $x$-space with unprecedented accuracy $\sim 10^{-6}$ locally and unprecedented accuracy $\sim 10^{-9}-10^{-10}$ in energy for any $g^2 \geq 0$. A generalization to the radial quartic oscillator is briefly discussed.

categories: quant-ph hep-ph hep-th math-ph math.MP math.SP


title: Translation-invariant interpolation of parametric dictionaries

abstract: In this communication, we address the problem of approximating the atoms of a parametric dictionary, commonly encountered in the context of sparse representations in "continuous" dictionaries. We focus on the case of translation-invariant dictionaries, where the inner product between atoms only depends on the difference between parameters. We investigate the following general question: is there some low-rank approximation of the dictionary $ which interpolates a subset of atoms while preserving the translation-invariant nature of the original dictionary? We derive necessary and sufficient conditions characterizing the existence of such an "interpolating" and "translation-invariant" low-rank approximation. Moreover, we provide closed-form expressions of such a dictionary when it exists. We illustrate the applicability of our results in the case of a two-dimensional isotropic Gaussian dictionary. We show that, in this particular setup, the proposed approximation framework outperforms standard Taylor approximation.


title: Representations of the Nappi--Witten vertex operator algebra

abstract: The Nappi-Witten model is a Wess-Zumino-Witten model in which the target space is the nonreductive Heisenberg group $H_4$. We consider the representation theory underlying this conformal field theory. Specifically, we study the category of weight modules, with finite-dimensional weight spaces, over the associated affine vertex operator algebra $\mathsf{H}_4$. In particular, we classify the irreducible $\mathsf{H}_4$-modules in this category and compute their characters. We moreover observe that this category is nonsemisimple, suggesting that the Nappi-Witten model is a logarithmic conformal field theory.


title: Radiative cooling induced by time-symmetry breaking in periodically-driven systems

abstract: We theoretically study the thermal relaxation of many-body systems under the action of oscillating external fields. When the magnitude or the orientation of a field is modulated around values where the pairwise heat-exchange conductances depend non-linearly on this field, we demonstrate that the time symmetry is broken during the evolution of temperatures over a modulation cycle. We predict that this asymmetry enables a pumping of heat which can be used to cool down faster the system. This effect is illustrated through different magneto-optical systems under the action of an oscillating magnetic field.


title: On the Density arising from the Domain of Attraction between Sum and Supremum: the $\alpha$-Sun operator

abstract: We explore the analytic properties of the density function $ h(x;\gamma,\alpha) $, $ x \in (0,\infty) $, $ \gamma > 0 $, $ 0 < \alpha < 1 $ which arises from the domain of attraction problem for a statistic interpolating between the supremum and sum of random variables. The parameter $ \alpha $ controls the interpolation between these two cases, while $ \gamma $ parametrises the type of extreme value distribution from which the underlying random variables are drawn from. For $ \alpha = 0 $ the Fr\'echet density applies, whereas for $ \alpha = 1 $ we identify a particular Fox H-function, which are a natural extension of hypergeometric functions into the realm of fractional calculus. In contrast for intermediate $ \alpha $ an entirely new function appears, which is not one of the extensions to the hypergeometric function considered to date. We derive series, integral and continued fraction representations of this latter function.


title: Subharmonic Functions, Conformal Metrics, and CAT(0)

abstract: We present an analytical proof that certain natural metric planar universal covers are Hadamard metric spaces. In particular if $\rho=\varphi\circ u$ where $u$ is locally Lipschitz and subharmonic in $\Omega$, $\varphi$ is positive and increasing on an interval containing $u(\Omega)$ with $\log\varphi$ convex, and if the metric space $(\Omega,\rho(z)|dz|)$ is complete, then it has universal cover $(\tilde{\Omega},\tilde{d})$ which is a Hadamard space for which geodesics have Lipschitz continuous first derivatives.


title: Harmonic Forms, Minimal Surfaces and Norms on Cohomology of Hyperbolic $3$-Manifolds

abstract: We bound the $L^2$-norm of an $L^2$ harmonic $1$-form in an orientable cusped hyperbolic $3$-manifold $M$ by its topological complexity, measured by the Thurston norm, up to a constant depending on $M$. It generalizes two inequalities of Brock-Dunfield. We also study the sharpness of the inequalities in the closed and cusped cases, using the interaction of minimal surfaces and harmonic forms. We unify various results by defining two functionals on orientable closed and cusped hyperbolic $3$-manifolds, and formulate several questions and conjectures.


title: Hybrid Imitation Learning for Real-Time Service Restoration in Resilient Distribution Systems

abstract: Self-healing capability is one of the most critical factors for a resilient distribution system, which requires intelligent agents to automatically perform restorative actions online, including network reconfiguration and reactive power dispatch. These agents should be equipped with a predesigned decision policy to meet real-time requirements and handle highly complex $N-k$ scenarios. The disturbance randomness hampers the application of exploration-dominant algorithms like traditional reinforcement learning (RL), and the agent training problem under $N-k$ scenarios has not been thoroughly solved. In this paper, we propose the imitation learning (IL) framework to train such policies, where the agent will interact with an expert to learn its optimal policy, and therefore significantly improve the training efficiency compared with the RL methods. To handle tie-line operations and reactive power dispatch simultaneously, we design a hybrid policy network for such a discrete-continuous hybrid action space. We employ the 33-node system under $N-k$ disturbances to verify the proposed framework.


title: Improved Semantic Role Labeling using Parameterized Neighborhood Memory Adaptation

abstract: Deep neural models achieve some of the best results for semantic role labeling. Inspired by instance-based learning that utilizes nearest neighbors to handle low-frequency context-specific training samples, we investigate the use of memory adaptation techniques in deep neural models. We propose a parameterized neighborhood memory adaptive (PNMA) method that uses a parameterized representation of the nearest neighbors of tokens in a memory of activations and makes predictions based on the most similar samples in the training data. We empirically show that PNMA consistently improves the SRL performance of the base model irrespective of types of word embeddings. Coupled with contextualized word embeddings derived from BERT, PNMA improves over existing models for both span and dependency semantic parsing datasets, especially on out-of-domain text, reaching F1 scores of 80.2, and 84.97 on CoNLL2005, and CoNLL2009 datasets, respectively.


title: AWLCO: All-Window Length Co-Occurrence

abstract: Analyzing patterns in a sequence of events has applications in text analysis, computer programming, and genomics research. In this paper, we consider the all-window-length analysis model which analyzes a sequence of events with respect to windows of all lengths. We study the exact co-occurrence counting problem for the all-window-length analysis model. Our first algorithm is an offline algorithm that counts all-window-length co-occurrences by performing multiple passes over a sequence and computing single-window-length co-occurrences. This algorithm has the time complexity $O(n)$ for each window length and thus a total complexity of $O(n^2)$ and the space complexity $O(|I|)$ for a sequence of size n and an itemset of size $|I|$. We propose AWLCO, an online algorithm that computes all-window-length co-occurrences in a single pass with the expected time complexity of $O(n)$ and space complexity of $O( \sqrt{ n|I| })$. Following this, we generalize our use case to patterns in which we propose an algorithm that computes all-window-length co-occurrence with expected time complexity $O(n|I|)$ and space complexity $O( \sqrt{n|I|} + e_{max}|I|)$, where $e_{max}$ is the length of the largest pattern.


title: Superelliptic curves with large Galois images

abstract: Let r>2 and l be primes. In this paper we study the mod l Galois representations attached to curves of the form y^r = f(x) where f is monic and has coefficients belonging to the r-th cyclotomic field. We provide conditions on the coefficients (and degree) of f which allow one to verify the mod l image is large outside of a (typically small) finite explicit set of primes. We allow all values of r for which the r-th cyclotomic field has odd class number. This appears to be the first explicit result for abelian varieties of dimension greater than two and not of GL_2-type which allows the ground field to have unramified extensions. In proving the large image result we give a classification of the maximal subgroups containing transvections of certain classical groups and describe (in many cases) the images of inertia groups. The exact mod l image is governed by the "endomorphism character", a certain algebraic Hecke character which generalises the CM character. When r=3, we depict the image in its entirety. To the author's knowledge, this is the first accurate description in the literature. Finally, we give several examples with genus ranging from 10 to 36. Applications to the Inverse Galois Problem are also included.


title: Conditional Link Prediction of Category-Implicit Keypoint Detection

abstract: Keypoints of objects reflect their concise abstractions, while the corresponding connection links (CL) build the skeleton by detecting the intrinsic relations between keypoints. Existing approaches are typically computationally-intensive, inapplicable for instances belonging to multiple classes, and/or infeasible to simultaneously encode connection information. To address the aforementioned issues, we propose an end-to-end category-implicit Keypoint and Link Prediction Network (KLPNet), which is the first approach for simultaneous semantic keypoint detection (for multi-class instances) and CL rejuvenation. In our KLPNet, a novel Conditional Link Prediction Graph is proposed for link prediction among keypoints that are contingent on a predefined category. Furthermore, a Cross-stage Keypoint Localization Module (CKLM) is introduced to explore feature aggregation for coarse-to-fine keypoint localization. Comprehensive experiments conducted on three publicly available benchmarks demonstrate that our KLPNet consistently outperforms all other state-of-the-art approaches. Furthermore, the experimental results of CL prediction also show the effectiveness of our KLPNet with respect to occlusion problems.


title: A Constant Factor Approximation for Navigating Through Connected Obstacles in the Plane

abstract: Given two points s and t in the plane and a set of obstacles defined by closed curves, what is the minimum number of obstacles touched by a path connecting s and t? This is a fundamental and well-studied problem arising naturally in computational geometry, graph theory (under the names Min-Color Path and Minimum Label Path), wireless sensor networks (Barrier Resilience) and motion planning (Minimum Constraint Removal). It remains NP-hard even for very simple-shaped obstacles such as unit-length line segments. In this paper we give the first constant factor approximation algorithm for this problem, resolving an open problem of [Chan and Kirkpatrick, TCS, 2014] and [Bandyapadhyay et al., CGTA, 2020]. We also obtain a constant factor approximation for the Minimum Color Prize Collecting Steiner Forest where the goal is to connect multiple request pairs (s1, t1), . . . ,(sk, tk) while minimizing the number of obstacles touched by any (si, ti) path plus a fixed cost of wi for each pair (si, ti) left disconnected. This generalizes the classic Steiner Forest and Prize-Collecting Steiner Forest problems on planar graphs, for which intricate PTASes are known. In contrast, no PTAS is possible for Min-Color Path even on planar graphs since the problem is known to be APXhard [Eiben and Kanj, TALG, 2020]. Additionally, we show that generalizations of the problem to disconnected obstacles


title: On the symplectic fillings of standard real projective spaces

abstract: We prove, in a geometric way, that the standard contact structure on the real projective space of dimension $2n-1$ is not Liouville fillable for $n \ge 3$ and odd. We also prove that, for all $n$, semipositive fillings of those contact structures are simply connected. Finally we give yet another proof of the Eliashberg-Floer-McDuff theorem on the diffeomorphism type of the symplectically aspherical fillings of the standard contact structure on the $(2n-1)$-dimensional sphere.


title: A Survey on Business Process View Integration

abstract: The complexity of a business environment often causes organizations to produce several inconsistent views on the same business process, leading to fragmentation and inefficiencies. Business process view integration attempts to produce an integrated view from different views of the same model, facilitating the management of models. To study trends around business process view integration, we conduct a systematic literature review to summarize findings since the 1970s, up to its potential novel applications. With a starting corpus of 798 documents, this survey draws up a systematic inventory of solutions used in academia and in the industry. By narrowing it down to 51 articles, we discuss in-depth 15 business process integration techniques papers. After that, we classify existing solutions according to their practicality. Our study shows that most integrated views are constructed by annotation, using formal merging rules. Finally, we explore possible future research directions. We highlight the application of view integration to the blockchain research area, where stakeholders can have different views on the same blockchain. We expect that this study contributes to interdisciplinary research across view integration.


title: The Batyrev-Tschinkel conjecture for a non-normal cubic surface and its symmetric square

abstract: We complete the study of points of bounded height on irreducible non-normal cubic surfaces by doing the point count on the cubic surface $W$ given by $t_0^2 t_2 = t_1^2 t_3$ over any number field. We show that the order of growth agrees with a conjecture by Batyrev and Manin and that the constant reflects the geometry of the variety as predicted by a conjecture of Batyrev and Tschinkel. We then provide the point count for its symmetric square $\mathrm{Sym}^2 W$. Although we can explain the main term of the counting function, the Batyrev--Manin conjecture is only satisfied after removing a thin set. Finally we interpret the main term of the count on $\mathrm{Sym}^2(\mathbb P^2 \times \mathbb P^1)$ done by Le Rudulier using these conjecture.


title: An algorithm for the automatic deglitching of x-ray absorption spectroscopy data

abstract: Analysis of x-ray absorption spectroscopy (XAS) data often involves the removal of artifacts or glitches from the acquired signal, a process commonly known as deglitching. Glitches result either from specific orientations of monochromator crystals or from scattering by crystallites in the sample itself. Since the precise energy or wavelength location and the intensity of glitches in a spectrum cannot always be predicted, deglitching is often performed on a per spectrum basis by the analyst. Some routines have been proposed, but they are prone to arbitrary selection of spectral artifacts and are often inadequate for processing large data sets. Here we present a statistically robust algorithm, implemented as a Python program, for the automatic detection and removal of glitches that can be applied to a large number of spectra. It uses a Savitzky-Golay filter to smooth spectra and the generalized extreme Studentized deviate test to identify outliers. We achieve robust, repeatable, and selective removal of glitches using this algorithm.


title: Discrete gravity dynamics from effective spin foams

abstract: The first computation of a spin foam dynamics that provides a test of the quantum equations of motions of gravity is presented. Specifically, a triangulation that includes an inner edge is treated. The computation leverages the recently introduced effective spin foam models, which are particularly numerically efficient. Previous work has raised the concern of a flatness problem in spin foam dynamics, identifying the potential for the dynamics to lead to flat geometries in the small $\hbar$ semiclassical limit. The numerical results presented here expose a rich semiclassical regime, but one that must be understood as an interplay between the various parameters of the spin foam model. In particular, the scale of the triangulation, fixed by the areas of its boundary triangles, the discreteness of the area spectrum, input from Loop Quantum Gravity, and the curvature scales around the bulk triangles, all enter the characterization of the semiclassical regime identified here. In addition to these results on the dynamics, we show that the subtle nature of the semiclassical regime is a generic feature of the path integral quantization of systems with second class constraints.


title: Cyberphysical Security Through Resiliency: A Systems-centric Approach

abstract: Cyber-physical systems (CPS) are often defended in the same manner as information technology (IT) systems -- by using perimeter security. Multiple factors make such defenses insufficient for CPS. Resiliency shows potential in overcoming these shortfalls. Techniques for achieving resilience exist; however, methods and theory for evaluating resilience in CPS are lacking. We argue that such methods and theory should assist stakeholders in deciding where and how to apply design patterns for resilience. Such a problem potentially involves tradeoffs between different objectives and criteria, and such decisions need to be driven by traceable, defensible, repeatable engineering evidence. Multi-criteria resiliency problems require a system-oriented approach that evaluates systems in the presence of threats as well as potential design solutions once vulnerabilities have been identified. We present a systems-oriented view of cyber-physical security, termed Mission Aware, that is based on a holistic understanding of mission goals, system dynamics, and risk.


title: Optical focusing of Bose-Einstein condensates

abstract: We theoretically investigate the optical focusing of a rubidium Bose-Einstein condensate onto a planar surface. Our analysis uses a Gaussian variational method that includes the effects of two-body atom-atom interactions and three-body recombination losses. The essential factors such as the width, peak density and atom loss rate of the focused BEC profile on the surface are investigated and compared to Gross-Pitaevskii numerical simulations. We find a reasonable agreement in the results between our analytical approach and the numerical simulations. Our analysis predicts that condensates of $10^5$ atoms could be focused down to $\sim 10$nm widths, potentially allowing nanometer-scale atomic deposition with peak densities greater than $10^5$ atoms/$\mu$m$^2$.


title: Convergence of Narasimhan-Simha measures on degenerating families of Riemann surfaces

abstract: Given a compact Riemann surface $Y$ and a positive integer $m$, Narasimhan and Simha defined a measure on $Y$ associated to the $m$-th tensor power of the canonical line bundle. We study the limit of this measure on holomorphic families of Riemann surfaces with semistable reduction. The convergence takes place on a hybrid space whose central fiber is the associated metrized curve complex in the sense of Amini and Baker. We also study the limit of the measure induced by the Hermitian pairing defined by the Narasimhan-Simha measure. For $m = 1$, both these measures coincide with the Bergman measure on $Y$. We also extend the definition of the Narasimhan-Simha measure to the singular curves on the boundary of $\overline{\mathcal{M}_g}$ in such a way that these measures form a continuous family of measures on the universal curve over $\overline{\mathcal{M}_g}$.


title: Sedimentation of a Colloidal Monolayer Down an Inclined Plane

abstract: We study the driven collective dynamics of a colloidal monolayer sedimentating down an inclined plane. The action of the gravity force parallel to the bottom wall creates a flow around each colloid, and the hydrodynamic interactions among the colloids accelerate the sedimentation as the local density increases. This leads to the creation of a universal "triangular" inhomogeneous density profile, with a traveling density shock at the leading front moving in the downhill direction. Unlike density shocks in a colloidal monolayer driven by applied torques rather than forces [Phys. Rev. Fluids, 2(9):092301, 2017], the density front during sedimentation remains stable over long periods of time even though it develops a roughness on the order of tens of particle diameters. Through experimental measurements and particle-based computer simulations, we find that the Burgers equation can model the density profile along the sedimentation direction as a function of time remarkably well, with a modest improvement if the nonlinear conservation law accounts for the sub-linear dependence of the collective sedimentation velocity on density.


title: Kinetics-Informed Neural Networks

abstract: Chemical kinetics and reaction engineering consists of the phenomenological framework for the disentanglement of reaction mechanisms, optimization of reaction performance and the rational design of chemical processes. Here, we utilize feed-forward artificial neural networks as basis functions to solve ordinary differential equations (ODEs) constrained by differential algebraic equations (DAEs) that describe microkinetic models (MKMs). We present an algebraic framework for the mathematical description and classification of reaction networks, types of elementary reaction, and chemical species. Under this framework, we demonstrate that the simultaneous training of neural nets and kinetic model parameters in a regularized multi-objective optimization setting leads to the solution of the inverse problem through the estimation of kinetic parameters from synthetic experimental data. We analyze a set of scenarios to establish the extent to which kinetic parameters can be retrieved from transient kinetic data, and assess the robustness of the methodology with respect to statistical noise. This approach to inverse kinetic ODEs can assist in the elucidation of reaction mechanisms based on transient data.


title: Probability Distributions of Positioning Errors for Some Forms of Center-of-Gravity Algorithms. Part II

abstract: The center of gravity is one of the most frequently used algorithm for position reconstruction with different analytical forms for the noise optimization. The error distributions of the different forms are essential instruments to improve the track fitting in particle physics. Their Cauchy-(Agnesi) tails have a beneficial effects to attenuate the outliers disturbance in the maximum likelihood search. The probability distributions are calculated for some combinations of random variables, impossible to find in literature, but relevant for track fitting: $x_{g3}=\theta(x_2-x_1)[ (x_1-x_3)/(x_1+x_2+x_3)] + \theta(x_1-x_2)[(x_1+2x_4)/(x_1+x_2+x_4)]$ and $x_{g4}=\theta(x_4-x_5)[(2x_4+x_1-x_3)/(x_1+x_2+x_3+x_4)]+ \theta(x_5-x_4)[(x_1-x_3-2x_5)/(x_1+x_2+x_3+x_5)]$ and $x_{g5}=(2x_4+x_1-x_3-2x_5)/(x_1+x_2+x_3+x_4+x_5)$. The probability density functions of $x_{g3}$, $x_{g4}$ and $x_{g5}$ have complex structures with regions of reduced probability. These regions must be handled with care to avoid false maximums in the likelihood function. General integral equations and detailed analytical expressions are calculated assuming the set $\{x_i\}$ as independent random variables with Gaussian probability distributions. %


title: An Artificial Consciousness Model and its relations with Philosophy of Mind

abstract: This work seeks to study the beneficial properties that an autonomous agent can obtain by implementing a cognitive architecture similar to the one of conscious beings. Along this document, a conscious model of autonomous agent based in a global workspace architecture is presented. We describe how this agent is viewed from different perspectives of philosophy of mind, being inspired by their ideas. The goal of this model is to create autonomous agents able to navigate within an environment composed of multiple independent magnitudes, adapting to its surroundings in order to find the best possible position in base of its inner preferences. The purpose of the model is to test the effectiveness of many cognitive mechanisms that are incorporated, such as an attention mechanism for magnitude selection, pos-session of inner feelings and preferences, usage of a memory system to storage beliefs and past experiences, and incorporating a global workspace which controls and integrates information processed by all the subsystem of the model. We show in a large experiment set how an autonomous agent can benefit from having a cognitive architecture such as the one described.


title: The Difference Lambda-Calculus: A Language for Difference Categories

abstract: Cartesian difference categories are a recent generalisation of Cartesian differential categories which introduce a notion of "infinitesimal" arrows satisfying an analogue of the Kock-Lawvere axiom, with the axioms of a Cartesian differential category being satisfied only "up to an infinitesimal perturbation". In this work, we construct a simply-typed calculus in the spirit of the differential lambda-calculus equipped with syntactic infinitesimals and show how its models correspond to difference lambda-categories, a family of Cartesian difference categories equipped with suitably well-behaved exponentials.


title: What Can Style Transfer and Paintings Do For Model Robustness?

abstract: A common strategy for improving model robustness is through data augmentations. Data augmentations encourage models to learn desired invariances, such as invariance to horizontal flipping or small changes in color. Recent work has shown that arbitrary style transfer can be used as a form of data augmentation to encourage invariance to textures by creating painting-like images from photographs. However, a stylized photograph is not quite the same as an artist-created painting. Artists depict perceptually meaningful cues in paintings so that humans can recognize salient components in scenes, an emphasis which is not enforced in style transfer. Therefore, we study how style transfer and paintings differ in their impact on model robustness. First, we investigate the role of paintings as style images for stylization-based data augmentation. We find that style transfer functions well even without paintings as style images. Second, we show that learning from paintings as a form of perceptual data augmentation can improve model robustness. Finally, we investigate the invariances learned from stylization and from paintings, and show that models learn different invariances from these differing forms of data. Our results provide insights into how stylization improves model robustness, and provide evidence that artist-created paintings can be a valuable source of data for model robustness.


title: Annotation-Efficient Untrimmed Video Action Recognition

abstract: Deep learning has achieved great success in recognizing video actions, but the collection and annotation of training data are still quite laborious, which mainly lies in two aspects: (1) the amount of required annotated data is large; (2) temporally annotating the location of each action is time-consuming. Works such as few-shot learning or untrimmed video recognition have been proposed to handle either one aspect or the other. However, very few existing works can handle both issues simultaneously. In this paper, we target a new problem, Annotation-Efficient Video Recognition, to reduce the requirement of annotations for both large amount of samples and the action location. Such problem is challenging due to two aspects: (1) the untrimmed videos only have weak supervision; (2) video segments not relevant to current actions of interests (background, BG) could contain actions of interests (foreground, FG) in novel classes, which is a widely existing phenomenon but has rarely been studied in few-shot untrimmed video recognition. To achieve this goal, by analyzing the property of BG, we categorize BG into informative BG (IBG) and non-informative BG (NBG), and we propose (1) an open-set detection based method to find the NBG and FG, (2) a contrastive learning method to learn IBG and distinguish NBG in a self-supervised way, and (3) a self-weighting mechanism for the better distinguishing of IBG and FG. Extensive experiments on ActivityNet v1.2 and ActivityNet v1.3 verify the rationale and effectiveness of the proposed methods.


title: Multi-scale Adaptive Task Attention Network for Few-Shot Learning

abstract: The goal of few-shot learning is to classify unseen categories with few labeled samples. Recently, the low-level information metric-learning based methods have achieved satisfying performance, since local representations (LRs) are more consistent between seen and unseen classes. However, most of these methods deal with each category in the support set independently, which is not sufficient to measure the relation between features, especially in a certain task. Moreover, the low-level information-based metric learning method suffers when dominant objects of different scales exist in a complex background. To address these issues, this paper proposes a novel Multi-scale Adaptive Task Attention Network (MATANet) for few-shot learning. Specifically, we first use a multi-scale feature generator to generate multiple features at different scales. Then, an adaptive task attention module is proposed to select the most important LRs among the entire task. Afterwards, a similarity-to-class module and a fusion layer are utilized to calculate a joint multi-scale similarity between the query image and the support set. Extensive experiments on popular benchmarks clearly show the effectiveness of the proposed MATANet compared with state-of-the-art methods.


title: Hybrid coupling optomechanically assisted nonreciprocal photon blockade

abstract: The properties of open quantum system in quantum information science is now extensively investigated more generally by the research community as a fundamental issue for a variety of applications. Usually, the states of the open quantum system might be disturbed by the decoherence which will reduce the fidelity in the quantum information processing. So it is better to eliminate the influence of the environment. However, as part of the composite system, rational use of the environment system could be beneficial to quantum information processing. Here we theoretically studied the environment induced quantum nonlinearity and energy spectrum tuning method in the optomechanical system. And we found that the dissipation coupling of the hybrid dissipation and dispersion optomechanical system can induce the coupling between the environment and system in the cross- Kerr interaction form. When the symmetry is broken with a directional pumping environment, the system exhibits the non-reciprocal behavior during the photon excitation and photon blockade for the clockwise and counterclockwise modes of the whispering-gallery mode microcavity. Furthermore, we believe that the cross-Kerr coupling can also be used in a more widely region in quantum information processing and quantum simulation.


title: Cosmological bound on neutrino masses in the light of $H_0$ tension

abstract: Although cosmic microwave background (CMB) is the most powerful cosmological probe of neutrino masses, it is in trouble with local direct measurements of $H_0$, which is called the $H_0$ tension. Since neutrino masses are correlated with $H_0$ in CMB, one can expect the cosmological bound on neutrino masses would be much affected by the $H_0$ tension. We investigate what impact this tension brings to cosmological bound on neutrino masses by assuming a model with modified recombination which has been shown to resolve the tension. We argue that constraints on neutrino masses become significantly weaker in models where the $H_0$ tension can be resolved.


title: A Near-Optimal Parallel Algorithm for Joining Binary Relations

abstract: We present a constant-round algorithm in the massively parallel computation (MPC) model for evaluating a natural join where every input relation has two attributes. Our algorithm achieves a load of $\tilde{O}(m/p^{1/\rho})$ where $m$ is the total size of the input relations, $p$ is the number of machines, $\rho$ is the join's fractional edge covering number, and $\tilde{O}(.)$ hides a polylogarithmic factor. The load matches a known lower bound up to a polylogarithmic factor. At the core of the proposed algorithm is a new theorem (which we name the "isolated cartesian product theorem") that provides fresh insight into the problem's mathematical structure. Our result implies that the subgraph enumeration problem, where the goal is to report all the occurrences of a constant-sized subgraph pattern, can be settled optimally (up to a polylogarithmic factor) in the MPC model.


title: An Improved HR Diagram for the Orion Trapezium Cluster

abstract: In this paper, we present a study of the Trapezium cluster in Orion. We analyze flux-calibrated VLT/MUSE spectra of 361 stars to simultaneously measure the spectral types, reddening, and the optical veiling due to accretion. We find that the extinction law from Cardelli et al. (1989) with a total-to-selective extinction value of $R_{\rm V}=$5.5 is more suitable for this cluster. For 68% of the sample the new spectral types are consistent with literature spectral types within 2 subclasses, but as expected, we derive systematically later types than the literature by one to two subclasses for the sources with significant accretion levels. Here we present an improved Hertzsprung-Russell (H-R) diagram of the Trapezium cluster, in which the contamination by optical veiling on spectral types and stellar luminosities has been properly removed. A comparison of the locations of the stars in the H-R diagram with the non-magnetic and magnetic pre-main sequence evolutionary tracks indicates an age of 1--2~Myr. The magnetic pre-main sequence evolutionary tracks can better explain the luminosities of the low-mass stars. In the H-R diagram, the cluster exhibits a large luminosity spread ($\sigma$(Log~$L_{\star}/L_{\odot})\sim$0.3). By collecting a sample of 14 clusters/groups with different ages, we find that the luminosity spread tends to be constant ($\sigma$(Log~$L_{\star}/L_{\odot})\sim$0.2--0.25) after 2~Myr, which suggests that age spread is not the main cause of the spread. There are $\sim$0.1~dex larger luminosity spreads for the younger clusters, e.g., the Trapezium cluster, than the older clusters, which can be explained by the starspots, accretion history and circumstellar disk orientations.


title: Analytic and numerical solutions to the seismic wave equation in continuous media

abstract: This paper presents two approaches to mathematical modelling of a synthetic seismic pulse, and a comparison between them. First, a new analytical model is developed in two-dimensional Cartesian coordinates. Combined with an initial condition of sufficient symmetry, this provides a valuable check for the validity of the numerical method that follows. A particular initial condition is found which allows for a new closed-form solution. A numerical scheme is then presented which combines a spectral (Fourier) representation for displacement components and wave-speed parameters, a fourth order Runge-Kutta integration method, and an absorbing boundary layer. The resulting large system of differential equations is solved in parallel on suitable enhanced performance desktop hardware in a new software implementation. This provides an alternative approach to forward modelling of waves within isotropic media which is efficient, and tailored to rapid and flexible developments in modelling seismic structure, for example, shallow depth environmental applications. Visual comparisons of the analytic solution and the numerical scheme are presented.


title: Particle dynamics with elastic collision at the boundary: existence and partial uniqueness of solutions

abstract: We consider the dynamics of point particles which are confined to a bounded, possibly nonconvex domain $\Omega$. Collisions with the boundary are described as purely elastic collisions. This turns the description of the particle dynamics into a coupled system of second order ODEs with discontinuous right-hand side. The main contribution of this paper is to develop a precise solution concept for this particle system, and to prove existence of solutions. In this proof we construct a solution by passing to the limit in an auxiliary problem based on the Yosida approximation. In addition to existence of solutions, we establish a partial uniqueness theorem, and show by means of a counterexample that uniqueness of solutions cannot hold in general.


title: Value Function Based Performance Optimization of Deep Learning Workloads

abstract: As machine learning techniques become ubiquitous, the efficiency of neural network implementations is becoming correspondingly paramount. Frameworks, such as Halide and TVM, separate out the algorithmic representation of the network from the schedule that determines its implementation. Finding good schedules, however, remains extremely challenging. We model this scheduling problem as a sequence of optimization choices, and present a new technique to accurately predict the expected performance of a partial schedule. By leveraging these predictions we can make these optimization decisions greedily and rapidly identify an efficient schedule. This enables us to find schedules that improve the throughput of deep neural networks by 2.6x over Halide and 1.5x over TVM. Moreover, our technique is two to three orders of magnitude faster than that of these tools, and completes in seconds instead of hours.


title: Continuous Transition: Improving Sample Efficiency for Continuous Control Problems via MixUp

abstract: Although deep reinforcement learning (RL) has been successfully applied to a variety of robotic control tasks, it's still challenging to apply it to real-world tasks, due to the poor sample efficiency. Attempting to overcome this shortcoming, several works focus on reusing the collected trajectory data during the training by decomposing them into a set of policy-irrelevant discrete transitions. However, their improvements are somewhat marginal since i) the amount of the transitions is usually small, and ii) the value assignment only happens in the joint states. To address these issues, this paper introduces a concise yet powerful method to construct Continuous Transition, which exploits the trajectory information by exploiting the potential transitions along the trajectory. Specifically, we propose to synthesize new transitions for training by linearly interpolating the consecutive transitions. To keep the constructed transitions authentic, we also develop a discriminator to guide the construction process automatically. Extensive experiments demonstrate that our proposed method achieves a significant improvement in sample efficiency on various complex continuous robotic control problems in MuJoCo and outperforms the advanced model-based / model-free RL methods. The source code is available.


title: Self-Supervised Real-to-Sim Scene Generation

abstract: Synthetic data is emerging as a promising solution to the scalability issue of supervised deep learning, especially when real data are difficult to acquire or hard to annotate. Synthetic data generation, however, can itself be prohibitively expensive when domain experts have to manually and painstakingly oversee the process. Moreover, neural networks trained on synthetic data often do not perform well on real data because of the domain gap. To solve these challenges, we propose Sim2SG, a self-supervised automatic scene generation technique for matching the distribution of real data. Importantly, Sim2SG does not require supervision from the real-world dataset, thus making it applicable in situations for which such annotations are difficult to obtain. Sim2SG is designed to bridge both the content and appearance gaps, by matching the content of real data, and by matching the features in the source and target domains. We select scene graph (SG) generation as the downstream task, due to the limited availability of labeled datasets. Experiments demonstrate significant improvements over leading baselines in reducing the domain gap both qualitatively and quantitatively, on several synthetic datasets as well as the real-world KITTI dataset.


title: Modelling Verbal Morphology in Nen

abstract: Nen verbal morphology is remarkably complex; a transitive verb can take up to 1,740 unique forms. The combined effect of having a large combinatoric space and a low-resource setting amplifies the need for NLP tools. Nen morphology utilises distributed exponence - a non-trivial means of mapping form to meaning. In this paper, we attempt to model Nen verbal morphology using state-of-the-art machine learning models for morphological reinflection. We explore and categorise the types of errors these systems generate. Our results show sensitivity to training data composition; different distributions of verb type yield different accuracies (patterning with E-complexity). We also demonstrate the types of patterns that can be inferred from the training data through the case study of syncretism.


title: Homology Localization Through the Looking-Glass of Parameterized Complexity Theory

abstract: Finding a cycle of lowest weight that represents a homology class in a simplicial complex is known as homology localization (HL). Here we address this NP-complete problem using parameterized complexity theory. We show that it is W[1]-hard to approximate the HL problem when it is parameterized by solution size. We have also designed and implemented two algorithms based on treewidth solving the HL problem in FPT-time. Both algorithms are ETH-tight but our results shows that one outperforms the other in practice.


title: Bounded weak solutions to elliptic PDE with data in Orlicz spaces

abstract: A classical regularity result is that non-negative solutions to the Dirichlet problem $\Delta u =f$ in a bounded domain $\Omega$, where $f\in L^q(\Omega)$, $q>\frac{n}2$, satisfy $\|u\|_{L^\infty(\Omega)} \leq C\|f\|_{L^q(\Omega)}$. We extend this result in three ways: we replace the Laplacian with a degenerate elliptic operator; we show that we can take the data $f$ in an Orlicz space $L^A(\Omega)$ that lies strictly between $L^{\frac{n}{2}}(\Omega)$ and $L^q(\Omega)$, $q>\frac{n}2$; and we show that that we can replace the $L^A$ norm in the right-hand side by a smaller expression involving the logarithm of the "entropy bump" $\|f\|_{L^A(\Omega)}/\|f\|_{L^{\frac{n}{2}}(\Omega)}$, generalizing a result due to Xu.


title: Coherent transverse instability of bunched beams in circular accelerators

abstract: Coherent transverse oscillations of a bunch in a ring accelerator are considered. Three different models of the bunch are used: a hollow bunch in a square potential well, a square bunch in a parabolic potential well, and a parabolic bunch in a parabolic well. The bunch space-charge field, wakefield, and chromaticity are taken into account in all the cases. The bunch eigenmodes and various instabilities are studied. The results are compared and analyzed to establish the range of applicability of the models. Role of the Landau damping due to dependence of the SC field on the longitudinal coordinate is discussed.


title: The Optical Luminosity-Time Correlation for More Than 100 Gamma-Ray Burst Afterglows

abstract: Gamma-Ray Bursts (GRBs) are fascinating events due to their panchromatic nature. Their afterglow emission is observed from sub-TeV energies to radio wavelengths. We investigate GRBs that present an optical plateau, leveraging on the resemblance with the X-ray plateau shown in many GRB light curves (LCs). We comprehensively analyze all published GRBs with known redshifts and optical plateau observed mostly by the Neil Gehrels Swift Observatory (Swift). We fit 267 optical LCs and show the existence of the plateau in 102 cases, which is the largest compilation so far of optical plateaus. For 56 Swift GRBs with optical and X-ray plateaus, we compare the rest-frame end time at both wavelengths (T*_opt , T*_X), and conclude that the plateau is achromatic between T*_opt and T*_X. We also confirm the existence of the two-dimensional relations between T*_opt and the optical luminosity at the end of the plateau emission, which resembles the same luminosity-time correlation in X-rays (Dainotti et al. 2013). The existence of this optical correlation has been demonstrated for the largest sample of optical plateaus in the literature to date. The squared scatter in this optical correlation is smallest for the subset of the Gold GRBs with a decrease in the scatter equivalent to 52.4% when compared to the scatter of the entire GRB sample.


title: Intergalactic medium dispersion measures of fast radio bursts estimated from IllustrisTNG simulation and their cosmological applications

abstract: Fast radio bursts (FRBs) are millisecond-duration radio transients and can be used as a cosmological probe. However, the dispersion measure (DM) contributed by intergalactic medium (IGM) is hard to be distinguished from other components. In this paper, we use the IllustrisTNG simulation to realistically estimate the $DM_{\rm IGM}$ up to $z\sim 9$. We find $DM_{\rm IGM} = 892^{+721}_{-270}$ pc cm$^{-3}$ at $z=1$. The probability distribution of $DM_{\rm IGM}$ can be well fitted by a quasi-Gaussian function with a long tail. The tail is caused by the structures along the line of sight in IGM. Subtracting DM contributions from the Milky Way and host galaxy for localized FRBs, the $DM_{\rm IGM}$ value is close to the derived $DM_{\rm IGM}-z$ relation. We also show the capability to constrain the cosmic reionization history with the $DM_{\rm IGM}$ of high-redshift FRBs in the IllustrisTNG universe. The derived $DM_{\rm IGM}-z$ relation at high redshifts can be well fitted by a $tanh$ reionization model with the reionization redshift $z=5.95$, which is compatible with the reionization model used by the IllustrisTNG simulation. The $DM_{\rm IGM}$ of high-redshift FRBs also provides an independent way to measure the optical depth of cosmic microwave background (CMB). Our result can be used to derive the pseudo-redshifts of non-localized FRBs for $DM_{\rm IGM}<4000$ \ \ pc cm$^{-3}$.


title: Soft-Robust Algorithms for Batch Reinforcement Learning

abstract: In reinforcement learning, robust policies for high-stakes decision-making problems with limited data are usually computed by optimizing the percentile criterion, which minimizes the probability of a catastrophic failure. Unfortunately, such policies are typically overly conservative as the percentile criterion is non-convex, difficult to optimize, and ignores the mean performance. To overcome these shortcomings, we study the soft-robust criterion, which uses risk measures to balance the mean and percentile criterion better. In this paper, we establish the soft-robust criterion's fundamental properties, show that it is NP-hard to optimize, and propose and analyze two algorithms to approximately optimize it. Our theoretical analyses and empirical evaluations demonstrate that our algorithms compute much less conservative solutions than the existing approximate methods for optimizing the percentile-criterion.


title: Blind signal decomposition of various word embeddings based on join and individual variance explained

abstract: In recent years, natural language processing (NLP) has become one of the most important areas with various applications in human's life. As the most fundamental task, the field of word embedding still requires more attention and research. Currently, existing works about word embedding are focusing on proposing novel embedding algorithms and dimension reduction techniques on well-trained word embeddings. In this paper, we propose to use a novel joint signal separation method - JIVE to jointly decompose various trained word embeddings into joint and individual components. Through this decomposition framework, we can easily investigate the similarity and difference among different word embeddings. We conducted extensive empirical study on word2vec, FastText and GLoVE trained on different corpus and with different dimensions. We compared the performance of different decomposed components based on sentiment analysis on Twitter and Stanford sentiment treebank. We found that by mapping different word embeddings into the joint component, sentiment performance can be greatly improved for the original word embeddings with lower performance. Moreover, we found that by concatenating different components together, the same model can achieve better performance. These findings provide great insights into the word embeddings and our work offer a new of generating word embeddings by fusing.


title: Locus: LiDAR-based Place Recognition using Spatiotemporal Higher-Order Pooling

abstract: Place Recognition enables the estimation of a globally consistent map and trajectory by providing non-local constraints in Simultaneous Localisation and Mapping (SLAM). This paper presents Locus, a novel place recognition method using 3D LiDAR point clouds in large-scale environments. We propose a method for extracting and encoding topological and temporal information related to components in a scene and demonstrate how the inclusion of this auxiliary information in place description leads to more robust and discriminative scene representations. Second-order pooling along with a non-linear transform is used to aggregate these multi-level features to generate a fixed-length global descriptor, which is invariant to the permutation of input features. The proposed method outperforms state-of-the-art methods on the KITTI dataset. Furthermore, Locus is demonstrated to be robust across several challenging situations such as occlusions and viewpoint changes in 3D LiDAR point clouds. The open-source implementation is available at: https://github.com/csiro-robotics/locus .


title: SwitchX: Gmin-Gmax Switching for Energy-Efficient and Robust Implementation of Binary Neural Networks on ReRAM Xbars

abstract: Memristive crossbars can efficiently implement Binarized Neural Networks (BNNs) wherein the weights are stored in high-resistance states (HRS) and low-resistance states (LRS) of the synapses. We propose SwitchX mapping of BNN weights onto ReRAM crossbars such that the impact of crossbar non-idealities, that lead to degradation in computational accuracy, are minimized. Essentially, SwitchX maps the binary weights in such manner that a crossbar instance comprises of more HRS than LRS synapses. We find BNNs mapped onto crossbars with SwitchX to exhibit better robustness against adversarial attacks than the standard crossbar-mapped BNNs, the baseline. Finally, we combine SwitchX with state-aware training (that further increases the feasibility of HRS states during weight mapping) to boost the robustness of a BNN on hardware. We find that this approach yields stronger defense against adversarial attacks than adversarial training, a state-of-the-art software defense. We perform experiments on a VGG16 BNN with benchmark datasets (CIFAR-10, CIFAR-100 & TinyImagenet) and use Fast Gradient Sign Method and Projected Gradient Descent adversarial attacks. We show that SwitchX combined with state-aware training can yield upto ~35% improvements in clean accuracy and ~6-16% in adversarial accuracies against conventional BNNs. Furthermore, an important by-product of SwitchX mapping is increased crossbar power savings, owing to an increased proportion of HRS synapses, that is furthered with state-aware training. We obtain upto ~21-22% savings in crossbar power consumption for state-aware trained BNN mapped via SwitchX on 16x16 & 32x32 crossbars using the CIFAR-10 & CIFAR-100 datasets.


title: Multi-Agent Maximization of a Monotone Submodular Function via Maximum Consensus

abstract: Constrained submodular set function maximization problems often appear in multi-agent decision-making problems with a discrete feasible set. A prominent example is the problem of multi-agent mobile sensor placement over a discrete domain. However, submodular set function optimization problems are known to be NP-hard. In this paper, we consider a class of submodular optimization problems that consists of maximization of a monotone and submodular set function subject to a uniform matroid constraint over a group of networked agents that communicate over a connected undirected graph. Our objective is to obtain a distributed suboptimal polynomial-time algorithm that enables each agent to obtain its respective policy via local interactions with its neighboring agents. Our solution is a fully distributed gradient-based algorithm using the multilinear extension of the submodular set functions and exploiting a maximum consensus scheme. This algorithm results in a policy set that when the team objective function is evaluated at worst case the objective function value is in $1-1/e-O(1/T)$ of the optimal solution. An example demonstrates our results.


title: Intrinsic feature between malignant tumor cells and human normal leukocytes with statistical decision tree analysis via Raman spectroscopy

abstract: In this study, the combination of a developing data mining technique called statistical decision tree analysis method and Raman spectroscopy was proposed to differentiate human normal leukocytes from malignant tumor cells. Statistical results obtained indicate this method possesses an admirable performance of a mean classification accuracy of 94.43% on the one hand, base adenine and amide I are recognized as potential characterizations of main- and subintrinsic biological difference in between on the other hand. Moreover, these certain Raman bands reflecting intrinsic physiological differences can be directionally extracted from whole fingerprint spectra and then provide a fast and accurate manipulation for spectrum identification.


title: Connecting real glasses to mean-field models

abstract: We propose a novel model for a glass-forming liquid which allows to switch in a continuous manner from a standard three-dimensional liquid to a fully connected mean-field model. This is achieved by introducing k additional particle-particle interactions which thus augments the effective number of neighbors of each particle. Our computer simulations of this system show that the structure of the liquid does not change with the introduction of these pseudo neighbours and by means of analytical calculations, we determine the structural properties related to these additional neighbors. We show that the relaxation dynamics of the system slows down very quickly with increasing k and that the onset and the mode-coupling temperatures increase. The systems with high values of k follow the MCT power law behaviour for a larger temperature range compared to the ones with lower values of k. The dynamic susceptibility indicates that the dynamic heterogeneity decreases with increasing k whereas the non-Gaussian parameter is independent of it. Thus we conclude that with the increase in the number of pseudo neighbours the system becomes more mean-field like. By comparing our results with previous studies on mean-field like system we come to the conclusion that the details of how the mean-field limit is approached are important since they can lead to different dynamical behavior in this limit.


title: Counting Restricted Partitions of Integers into Fractions: Symmetry and Modes of the Generating Function and a Connection to $\omega(t)$

abstract: Motivated by the study of integer partitions, we consider partitions of integers into fractions of a particular form, namely with constant denominators and distinct odd or even numerators. When numerators are odd, the numbers of partitions for integers smaller than the denominator form symmetric patterns. If the number of terms is restricted to $h$, then the nonzero terms of the generating function are unimodal, with the integer $h$ having the most partitions. Such properties can be applied to a particular class of nonlinear Diophantine equations. We also examine partitions with even numerators. We prove that there are $2^{\omega(t)}-2$ partitions of an integer $t$ into fractions with the first $x$ consecutive even integers for numerators and equal denominators of $y$, where $0<y<x<t$. We then use this to produce corollaries such as a Dirichlet series identity and an extension of the prime omega function to the complex plane, though this extension is not analytic everywhere.


title: End-to-End Video Instance Segmentation with Transformers

abstract: Video instance segmentation (VIS) is the task that requires simultaneously classifying, segmenting and tracking object instances of interest in video. Recent methods typically develop sophisticated pipelines to tackle this task. Here, we propose a new video instance segmentation framework built upon Transformers, termed VisTR, which views the VIS task as a direct end-to-end parallel sequence decoding/prediction problem. Given a video clip consisting of multiple image frames as input, VisTR outputs the sequence of masks for each instance in the video in order directly. At the core is a new, effective instance sequence matching and segmentation strategy, which supervises and segments instances at the sequence level as a whole. VisTR frames the instance segmentation and tracking in the same perspective of similarity learning, thus considerably simplifying the overall pipeline and is significantly different from existing approaches. Without bells and whistles, VisTR achieves the highest speed among all existing VIS models, and achieves the best result among methods using single model on the YouTube-VIS dataset. For the first time, we demonstrate a much simpler and faster video instance segmentation framework built upon Transformers, achieving competitive accuracy. We hope that VisTR can motivate future research for more video understanding tasks.


title: Training and Inference for Integer-Based Semantic Segmentation Network

abstract: Semantic segmentation has been a major topic in research and industry in recent years. However, due to the computation complexity of pixel-wise prediction and backpropagation algorithm, semantic segmentation has been demanding in computation resources, resulting in slow training and inference speed and large storage space to store models. Existing schemes that speed up segmentation network change the network structure and come with noticeable accuracy degradation. However, neural network quantization can be used to reduce computation load while maintaining comparable accuracy and original network structure. Semantic segmentation networks are different from traditional deep convolutional neural networks (DCNNs) in many ways, and this topic has not been thoroughly explored in existing works. In this paper, we propose a new quantization framework for training and inference of segmentation networks, where parameters and operations are constrained to 8-bit integer-based values for the first time. Full quantization of the data flow and the removal of square and root operations in batch normalization give our framework the ability to perform inference on fixed-point devices. Our proposed framework is evaluated on mainstream semantic segmentation networks like FCN-VGG16 and DeepLabv3-ResNet50, achieving comparable accuracy against floating-point framework on ADE20K dataset and PASCAL VOC 2012 dataset.


title: Atomistic Mechanism Underlying the Si(111)-(7\times7) Surface Reconstruction Revealed by Artificial Neural-network Potential

abstract: The 7\times7 reconstruction of the Si(111) surface represents arguably the most fascinating surface reconstruction so far observed in nature. Yet, the atomistic mechanism underpinning its formation remains unclear after it was discovered sixty years ago. Experimentally, it is observed post priori so that analysis of its formation mechanism can only be carried out in analogy with archaeology. Theoretically, density-functional-theory (DFT) correctly predicts the Si(111)-(7\times7) ground state but is impractical to simulate its formation process; while empirical potentials failed to produce it as the ground state. Developing an artificial neural-network potential of DFT quality, we carried out accurate large-scale simulations to unravel the formation of the Si(111)-(7\times7) surface. We reveal a possible step-mediated atom-pop rate-limiting process that triggers massive non-conserved atomic rearrangements, most remarkably, a critical process of collective vacancy diffusion that mediates a sequence of selective dimer, corner-hole, stacking fault and dimer-line pattern formation, to fulfill the 7\times7 reconstruction. Our findings may not only solve the long-standing mystery of this famous surface reconstruction but also illustrate the power of machine learning in studying complex structures.


title: On Grothendieck ring of the sequence of walled Brauer algebras

abstract: In this paper, we provide a diagrammatic approach to study the branching rules for cell modules on a sequence of walled Brauer algebras. This also allows us to calculate the structure constants of multiplication over the Grothendieck ring of the sequence.


title: Constraints on Maximal Entanglement Under Groups of Permutations

abstract: We provide a simplified characterization of entanglement in physical systems which are symmetric under the action of subgroups of the symmetric group acting on the party labels. Sets of entanglements are inherently equal, lying in the same orbit under the group action, which we demonstrate for cyclic, dihedral, and polyhedral groups. We then introduce new, generalized relationships for the maxima of those entanglement by exploiting the normalizer and normal subgroups of the physical symmetry group.


title: On an old theorem of Erd\"os about ambiguous locus

abstract: Erd\"os proved in 1946 that if a set $E\subset\mathbb{R}^n$ is closed and non-empty, then the set, called ambiguous locus or medial axis, of points in $\mathbb{R}^n$ with the property that the nearest point in $E$ is not unique, can be covered by countably many surfaces, each of finite $(n-1)$-dimensional measure. We improve the result by obtaining a new regularity result for these surfaces in terms of convexity and $C^2$ regularity.


title: Foundations of the Variational Discrete Action Theory

abstract: Variational wave functions and Green's functions are two important paradigms for solving quantum Hamiltonians, each having their own advantages. Here we detail the Variational Discrete Action Theory (VDAT), which exploits the advantages of both paradigms in order to approximately solve the ground state of quantum Hamiltonians. VDAT consists of two central components: the sequential product density matrix (SPD) ansatz and a discrete action associated with the SPD. The SPD is a variational ansatz inspired by the Trotter decomposition and characterized by an integer $\mathcal{N}$, recovering many well known variational wave functions, in addition to the exact solution for $\mathcal{N}=\infty$. The discrete action describes all dynamical information of an effective integer time evolution with respect to the SPD. We generalize the path integral to our integer time formalism, which converts a dynamic correlation function in integer time to a static correlation function in a compound space. We also generalize the usual many-body Green's function formalism to integer time, which results in analogous but distinct mathematical structures, yielding integer time versions of the generating functional, Dyson equation, and Bethe-Salpeter equation. We prove that the SPD can be exactly evaluated in the multi-band Anderson impurity model (AIM) by summing a finite number of diagrams. For the multi-band Hubbard model, we prove that the self-consistent canonical discrete action approximation (SCDA), which is the integer time analogue of the dynamical mean-field theory, exactly evaluates the SPD for $d=\infty$. VDAT within the SCDA provides an efficient yet reliable method for capturing the local physics of quantum lattice models, which will have broad applications for strongly correlated electron materials. More generally, VDAT should find applications in various many-body problems in physics.


title: Variational Discrete Action Theory

abstract: Here we propose the Variational Discrete Action Theory (VDAT) to study the ground state properties of quantum many-body Hamiltonians. VDAT is a variational theory based on the sequential product density matrix (SPD) ansatz, characterized by an integer $\mathcal{N}$, which monotonically approaches the exact solution with increasing $\mathcal{N}$. To evaluate the SPD, we introduce a discrete action and a corresponding integer time Green's function. We use VDAT to exactly evaluate the SPD in two canonical models of interacting electrons: the Anderson impurity model (AIM) and the $d=\infty$ Hubbard model. For the latter, we evaluate $\mathcal{N}=2-4$, where $\mathcal{N}=2$ recovers the Gutzwiller approximation (GA), and we show that $\mathcal{N}=3$, which exactly evaluates the Gutzwiller-Baeriswyl wave function, provides a truly minimal yet precise description of Mott physics with a cost similar to the GA. VDAT is a flexible theory for studying quantum Hamiltonians, competing both with state-of-the-art methods and simple, efficient approaches all within a single framework.


title: Optimal error estimates of a second-order projection finite element method for magnetohydrodynamic equations

abstract: In this paper, we propose and analyze a temporally second-order accurate, fully discrete finite element method for the magnetohydrodynamic (MHD) equations. A modified Crank--Nicolson method is used to discretize the model and appropriate semi-implicit treatments are applied to the fluid convection term and two coupling terms. These semi-implicit approximations result in a linear system with variable coefficients for which the unique solvability can be proved theoretically. In addition, we use a decoupling projection method of the Van Kan type \cite{vankan1986} in the Stokes solver, which computes the intermediate velocity field based on the gradient of the pressure from the previous time level, and enforces the incompressibility constraint via the Helmholtz decomposition of the intermediate velocity field. The energy stability of the scheme is theoretically proved, in which the decoupled Stokes solver needs to be analyzed in details. Optimal-order convergence of $\mathcal{O} (\tau^2+h^{r+1})$ in the discrete $L^\infty(0,T;L^2)$ norm is proved for the proposed decoupled projection finite element scheme, where $\tau$ and $h$ are the time stepsize and spatial mesh size, respectively, and $r$ is the degree of the finite elements. Existing error estimates of second-order projection methods of the Van Kan type \cite{vankan1986} were only established in the discrete $L^2(0,T;L^2)$ norm for the Navier--Stokes equations. Numerical examples are provided to illustrate the theoretical results.


title: Adaptive noise imitation for image denoising

abstract: The effectiveness of existing denoising algorithms typically relies on accurate pre-defined noise statistics or plenty of paired data, which limits their practicality. In this work, we focus on denoising in the more common case where noise statistics and paired data are unavailable. Considering that denoising CNNs require supervision, we develop a new \textbf{adaptive noise imitation (ADANI)} algorithm that can synthesize noisy data from naturally noisy images. To produce realistic noise, a noise generator takes unpaired noisy/clean images as input, where the noisy image is a guide for noise generation. By imposing explicit constraints on the type, level and gradient of noise, the output noise of ADANI will be similar to the guided noise, while keeping the original clean background of the image. Coupling the noisy data output from ADANI with the corresponding ground-truth, a denoising CNN is then trained in a fully-supervised manner. Experiments show that the noisy data produced by ADANI are visually and statistically similar to real ones so that the denoising CNN in our method is competitive to other networks trained with external paired data.


title: Resonances for Schr\"odinger operators on infinite cylinders and other products

abstract: We study the resonances of Schr\"odinger operators on the infinite product $X=\mathbb{R}^d\times \mathbb{S}^1$, where $d$ is odd, $\mathbb{S}^1$ is the unit circle, and the potential $V\in L^\infty_c(X)$. This paper shows that at high energy, resonances of the Schr\"odinger operator $-\Delta +V$ on $X=\mathbb{R}^d\times \mathbb{S}^1$ which are near the continuous spectrum are approximated by the resonances of $-\Delta +V_0$ on $X$, where the potential $V_0$ given by averaging $V$ over the unit circle. These resonances are, in turn, given in terms of the resonances of a Schr\"odinger operator on $\mathbb{R}^d$ which lie in a bounded set. If the potential is smooth, we obtain improved localization of the resonances, particularly in the case of simple, rank one poles of the corresponding scattering resolvent on $\mathbb{R}^d$. In that case, we obtain the leading order correction for the location of the corresponding high energy resonances. In addition to direct results about the location of resonances, we show that at high energies away from the resonances, the resolvent of the model operator $-\Delta+V_0$ on $X$ approximates that of $-\Delta+V$ on $X$. If $d=1$, in certain cases this implies the existence of an asymptotic expansion of solutions of the wave equation. Again for the special case of $d=1$, we obtain a resonant rigidity type result for the zero potential among all real-valued potentials.


title: Optimally Supporting IoT with Cell-Free Massive MIMO

abstract: We study internet of things (IoT) systems supported by cell-free (CF) massive MIMO (mMIMO) with optimal linear channel estimation. For the uplink, we consider optimal linear MIMO receiver and obtain an uplink SINR approximation involving only large-scale fading coefficients using random matrix (RM) theory. Using this approximation we design several max-min power control algorithms that incorporate power and rate weighting coefficients to achieve a target rate with high energy efficiency. For the downlink, we consider maximum ratio (MR) beamforming. Instead of solving a complex quasi-concave problem for downlink power control, we employ a neural network (NN) technique to obtain comparable power control with around 30 times reduction in computation time. For large networks we proposed a different NN based power control algorithm. This algorithm is sub-optimal, but its big advantage is that it is scalable.


title: Discordant sets and ergodic Ramsey theory

abstract: We explore the properties of non-piecewise syndetic sets with positive upper density, which we call "discordant", in countably infinite amenable (semi)groups. Sets of this kind are involved in many questions of Ramsey theory and manifest the difference in complexity between the classical van der Waerden's theorem and Szemer\'{e}di's theorem. We generalize and unify old constructions and obtain new results about these historically interesting sets. Along the way, we draw from various corners of mathematics, including classical Ramsey theory, ergodic theory, number theory, and topological and symbolic dynamics.


title: Stochastic Linear Quadratic Optimal Control Problem: A Reinforcement Learning Method

abstract: This paper applies a reinforcement learning (RL) method to solve infinite horizon continuous-time stochastic linear quadratic problems, where drift and diffusion terms in the dynamics may depend on both the state and control. Based on Bellman's dynamic programming principle, an online RL algorithm is presented to attain the optimal control with just partial system information. This algorithm directly computes the optimal control rather than estimating the system coefficients and solving the related Riccati equation. It just requires local trajectory information, greatly simplifying the calculation processing. Two numerical examples are carried out to shed light on our theoretical findings.


title: Explaining the Many Threshold Structures in the Heavy-Quark Hadron Spectrum

abstract: Tremendous progress has been made experimentally in the hadron spectrum containing heavy quarks in the last two decades. It is surprising that many resonant structures are around thresholds of a pair of heavy hadrons. There should be a threshold cusp at any $S$-wave threshold. By constructing a nonrelativistic effective field theory with open channels, we discuss the generalities of threshold behavior, and offer an explanation of the abundance of near-threshold peaks in the heavy quarkonium regime. We show that the threshold cusp can show up as a peak only for channels with attractive interaction, and the width of the cusp is inversely proportional to the reduced mass relevant for the threshold. We argue that there should be threshold structures at any threshold of a pair of heavy-quark and heavy-antiquark hadrons, which have attractive interaction at threshold, in the invariant mass distribution of a heavy quarkonium and light hadrons that couple to that open-flavor hadron pair. The structure becomes more pronounced if there is a near-threshold pole. Predictions of the possible pairs are also given for the ground state heavy hadrons. Precisely measuring the threshold structures will play an important role in revealing the heavy-hadron interactions, and thus understanding the puzzling hidden-charm and hidden-bottom structures.


title: Coherences and the thermodynamic uncertainty relation: Insights from quantum absorption refrigerators

abstract: The thermodynamic uncertainty relation, originally derived for classical Markov-jump processes, provides a trade-off relation between precision and dissipation, deepening our understanding of the performance of quantum thermal machines. Here, we examine the interplay of quantum system coherences and heat current fluctuations on the validity of the thermodynamics uncertainty relation in the quantum regime. To achieve the current statistics, we perform a full counting statistics simulation of the Redfield quantum master equation. We focus on steady-state quantum absorption refrigerators where nonzero coherence between eigenstates can either suppress or enhance the cooling power, compared with the incoherent limit. In either scenario, we find enhanced relative noise of the cooling power (standard deviation of the power over the mean) in the presence of system coherence, thereby corroborating the thermodynamic uncertainty relation. Our results indicate that fluctuations necessitate consideration when assessing the performance of quantum coherent thermal machines.


title: Role of Compressive Viscosity and Thermal Conductivity on the Damping of Slow Waves in the Coronal Loops With and Without Heating-Cooling Imbalance

abstract: In the present paper, we derive a new dispersion relation for slow magnetoacoustic waves invoking the effect of thermal conductivity, compressive viscosity, radiation and unknown heating term along with the consideration of heating cooling imbalance from linearized MHD equations. We solve the general dispersion relation to understand role of compressive viscosity and thermal conductivity in damping of the slow waves in coronal loops with and without heating cooling imbalance. We have analyzed wave damping for the range of loop length $L$=50-500 Mm, temperature $T$=5-30 MK, and density $\rho$=10$^{-11}$-10$^{-9}$ kg m$^{-3}$. It was found that inclusion of compressive viscosity along with thermal conductivity significantly enhances the damping of fundamental mode oscillations in shorter (e.g., $L$=50 Mm) and super-hot ($T>$10 MK) loops. However, role of the viscosity in damping is insignificant in longer (e.g., $L$=500 Mm) and hot loops (T$\leq$10 MK) where, instead, thermal conductivity along with the presence of heating cooling imbalance plays a dominant role. For the shorter loops at the super-hot regime of the temperature, increment in loop density substantially enhances damping of the fundamental modes due to thermal conductivity when the viscosity is absent, however, when the compressive viscosity is added the increase in density substantially weakens damping. Thermal conductivity alone is found to play a dominant role in longer loops at lower temperatures (T$\leq$10 MK), while compressive viscosity dominates in damping at super-hot temperatures ($T>$10 MK) in shorter loops. The predicted scaling law between damping time ($\tau$) and wave period ($P$) is found to better match to observed SUMER oscillations when heating cooling imbalance is taken into account in addition to thermal conductivity and compressive viscosity for the damping of the fundamental slow mode oscillations.