abstract: Knowledge distillation has become one of the most important model compression techniques by distilling knowledge from larger teacher networks to smaller student ones. Although great success has been achieved by prior distillation methods via delicately designing various types of knowledge, they overlook the functional properties of neural networks, which makes the process of applying those techniques to new tasks unreliable and non-trivial. To alleviate such problem, in this paper, we initially leverage Lipschitz continuity to better represent the functional characteristic of neural networks and guide the knowledge distillation process. In particular, we propose a novel Lipschitz Continuity Guided Knowledge Distillation framework to faithfully distill knowledge by minimizing the distance between two neural networks' Lipschitz constants, which enables teacher networks to better regularize student networks and improve the corresponding performance. We derive an explainable approximation algorithm with an explicit theoretical derivation to address the NP-hard problem of calculating the Lipschitz constant. Experimental results have shown that our method outperforms other benchmarks over several knowledge distillation tasks (e.g., classification, segmentation and object detection) on CIFAR-100, ImageNet, and PASCAL VOC datasets.


title: Universal autohomeomorphisms of $\mathbb{N}^*$

abstract: We study the existence of universal autohomeomorphisms of $\mathbb{N}^*$. We prove that $\mathsf{CH}$ implies there is such an autohomeomorphism and show that there are none in any model where all autohomeomorphisms of $\mathbb{N}^*$ are trivial.


title: Re-Analysis of the Cassini RPWS/LP Data in Titan's Ionosphere: 1. Detection of Several Electron Populations

abstract: Current models of Titan ionosphere have difficulties in explaining the observed electron density and/or temperature. In order to get new insights, we re-analyzed the data taken in the ionosphere of Titan by the Cassini Langmuir probe (LP), part of the Radio and Plasma Wave Science (RPWS) instrument. This is the first of two papers that present the new analysis method (current paper) and statistics on the whole dataset. We suggest that between 2 and 4 electron populations are necessary to fit the data. Each population is defined by a potential, an electron density and an electron temperature and is easily visualized by a dinstinct peak in the second derivative of the electron current, which is physically related to the electron energy distribution function (Druyvesteyn method). The detected populations vary with solar illumination and altitude. We suggest that the 4 electron populations are due to photo-ionization, magnetospheric particles, dusty plasma and electron emission from the probe boom, respectively.


title: Re-Analysis of the Cassini RPWS/LP Data in Titan's Ionosphere: 2. Statistics on 57 Flybys

abstract: The ionosphere of Titan hosts a complex ion chemistry leading to the formation of organic dust below 1200 km. Current models cannot fully explain the observed electron temperature in this dusty environment. To achieve new insight, we have re-analyzed the data taken in the ionosphere of Titan by the Cassini Langmuir probe (LP), part of the Radio and Plasma Wave Science package. A first paper (Chatain et al., 2021) introduces the new analysis method and discusses the identification of 4 electron populations produced by different ionization mechanisms. In this second paper, we present a statistical study of the whole LP dataset below 1200 km which gives clues on the origin of the 4 populations. One small population is attributed to photo- or secondary electrons emitted from the surface of the probe boom. A second population is systematically observed, at a constant density (~500 cm-3), and is attributed to background thermalized electrons from the ionization process of precipitating particles fom the surrounding magnetosphere. The two last populations increase in density with pressure, solar illumination and EUV flux. The third population is observed with varying densities at all altitudes and solar zenith angles except on the far nightside (SZA > ~140{\deg}), with a maximum density of 2700 cm-3. It is therefore certainly related to the photo-ionization of the atmospheric molecules. Finally, a fourth population detected only on the dayside and below 1200 km reaching up to 2000 cm-3 could be photo- or thermo-emitted from dust grains.


title: Geometric properties of evolutionary graph states and their detection on a quantum computer

abstract: Geometric properties of evolutionary graph states of spin systems generated by the operator of evolution with Ising Hamiltonian are examined, using their relationship with fluctuations of energy. We find that the geometric characteristics of the graph states depend on properties of the corresponding graphs. Namely, it is obtained that the fluctuations of energy in graph states and therefore the velocity of quantum evolution, the curvature and the torsion of the states are related with the total number of edges, triangles and squares in the corresponding graphs. The obtained results give a possibility to quantify the number of edges, triangles and squares in a graph on a quantum devise and achieve quantum supremacy in solving this problem with the development of a multi-qubit quantum computer. Geometric characteristics of graph states corresponding to a chain, a triangle, and a square are detected on the basis of calculations on IBM's quantum computer ibmq-manila.


title: Dual representations of quasiconvex compositions with applications to systemic risk

abstract: Motivated by the problem of finding dual representations for quasiconvex systemic risk measures in financial mathematics, we study quasiconvex compositions in an abstract infinite-dimensional setting. We calculate an explicit formula for the penalty function of the composition in terms of the penalty functions of the ingredient functions. The proof makes use of a nonstandard minimax inequality (rather than equality as in the standard case) that is available in the literature. In the second part of the paper, we apply our results in concrete probabilistic settings for systemic risk measures, in particular, in the context of Eisenberg-Noe clearing model. We also provide novel economic interpretations of the dual representations in these settings.


title: Variational formulas on spaces of SL(2) Hitchin's spectral covers

abstract: Using the developed deformation theory on moduli spaces of quadratic differentials we derive variational formulas for objects associated with generalized $SL(2)$ Hitchin's spectral covers: Prym matrix, Prym bidifferential, Hodge and Prym tau-functions. The resulting formulas are antisymmetric versions of Donagi-Markman residue formula. The second variation of the Prym matrix is a natural analogy to the expression previously derived for the period matrix of the $GL(n)$ spectral cover.


title: Enhanced electronic and optical responses of Nitrogen- or Boron-doped BeO monolayer: First principle computation

abstract: In this work, the electronic and optical properties of a Nitrogen (N) or a Boron (B) doped BeO monolayer are investigated in the framework of density functional theory. It is known that the band gap of a BeO monolayer is large leading to poor material for optoelectronic devices in a wide range of energy. Using substitutional N or B dopant atoms, we find that the band gap can be tuned and the optical properties can be improved. In the N(B)-doped BeO monolayer, the Fermi energy slightly crosses the valence(conduction) band forming a degenerate semiconductor structure. The N or B atoms thus generate new states around the Fermi energy increasing the optical conductivity in the visible light region. Furthermore, the influences of dopant atoms on the electronic structure, the stability, the dispersion energy, the density of states, and optical properties such as the plasmon frequency, the excitation spectra, the dielectric functions, the static dielectric constant, and the electron energy loss function are discussed for different directions of polarizations for the incoming electric field.


title: Kolmogorov's dissipation number and determining wavenumber for dyadic models

abstract: We study some dyadic models for incompressible magnetohydrodynamics and Navier-Stokes equation. The existence of fixed point and stability of the fixed point are established. The scaling law of Kolmogorov's dissipation wavenumber arises from heuristic analysis. In addition, a time-dependent determining wavenumber is shown to exist; moreover, the time average of the determining wavenumber is proved to be bounded above by Kolmogorov's dissipation wavenumber. Additionally, based on the knowledge of the fixed point and stability of the fixed point, numerical simulations are performed to illustrate the energy spectrum in the inertial range below Kolmogorov's dissipation wavenumber.


title: Leveraging Transprecision Computing for Machine Vision Applications at the Edge

abstract: Machine vision tasks present challenges for resource constrained edge devices, particularly as they execute multiple tasks with variable workloads. A robust approach that can dynamically adapt in runtime while maintaining the maximum quality of service (QoS) within resource constraints, is needed. The paper presents a lightweight approach that monitors the runtime workload constraint and leverages accuracy-throughput trade-off. Optimisation techniques are included which find the configurations for each task for optimal accuracy, energy and memory and manages transparent switching between configurations. For an accuracy drop of 1%, we show a 1.6x higher achieved frame processing rate with further improvements possible at lower accuracy.


title: Honeycomb-structure RuI3, a new quantum material related to {\alpha}-RuCl3

abstract: The Kitaev model predicts that quantum spin liquids (QSLs) will form at low temperatures under certain special conditions, and materials hosting the QSL state are frequently sought. The layered honeycomb lattice material {\alpha}-RuCl3 has emerged as a prime candidate for displaying the Kitaev QSL state. Here we describe a new polymorph of RuI3 with a layered honeycomb lattice structure, synthesized at moderately high pressures and stable under ambient conditions. Preliminary characterization reveals metallic, paramagnetic behavior, the absence of long-range magnetic order down to 0.35 K and an unusually large T-linear contribution to the heat capacity at low temperatures. We propose that this RuI3 phase, with a layered honeycomb lattice and strong spin-orbit coupling, provides a new route for the characterization of quantum materials.


title: A Policy Efficient Reduction Approach to Convex Constrained Deep Reinforcement Learning

abstract: Although well-established in general reinforcement learning (RL), value-based methods are rarely explored in constrained RL (CRL) for their incapability of finding policies that can randomize among multiple actions. To apply value-based methods to CRL, a recent groundbreaking line of game-theoretic approaches uses the mixed policy that randomizes among a set of carefully generated policies to converge to the desired constraint-satisfying policy. However, these approaches require storing a large set of policies, which is not policy efficient, and may incur prohibitive memory costs in constrained deep RL. To address this problem, we propose an alternative approach. Our approach first reformulates the CRL to an equivalent distance optimization problem. With a specially designed linear optimization oracle, we derive a meta-algorithm that solves it using any off-the-shelf RL algorithm and any conditional gradient (CG) type algorithm as subroutines. We then propose a new variant of the CG-type algorithm, which generalizes the minimum norm point (MNP) method. The proposed method matches the convergence rate of the existing game-theoretic approaches and achieves the worst-case optimal policy efficiency. The experiments on a navigation task show that our method reduces the memory costs by an order of magnitude, and meanwhile achieves better performance, demonstrating both its effectiveness and efficiency.


title: Gaussian bounds for the heat kernel associated to prolate spheroidal wave functions with applications

abstract: Gaussian upper and lower bounds and H\"older continuity are established for the heat kernel associated to the prolate spheroidal wave functions (PSWFs) of order zero. These results are obtained by application of a general perturbation principle using the fact that the PSWF operator is a perturbation of the Legendre operator. Consequently, the Gaussian bounds and H\"older inequality for the PSWF heat kernel follow from the ones in the Legendre case. % As an application of the general perturbation principle, we also establish Gaussian bounds for the heat kernels associated to generalized univariate PSWFs and PSWFs on the unit ball in Rd. Further, we develop the related to the PSWFs of order zero smooth functional calculus, which in turn is the necessary groundwork in developing the theory of Besov and Triebel-Lizorkin spaces associated to the PSWFs. One of our main results on Besov and Triebel-Lizorkin spaces associated to the PSWFs asserts that they are the same as the Besov and Triebel-Lizorkin spaces generated by the Legendre operator.


title: Confirming NGC 6231 as the parent cluster of the runaway high-mass X-ray binary HD 153919/4U 1700-37 with Gaia DR2

abstract: A significant fraction of the most massive stars move through space with a high velocity. One of the possible physical explanations is that a supernova in a compact binary system results in a high recoil velocity of the system. If the system remains bound, it can be subsequently observed as a spectroscopic binary (SB1), a high-mass X-ray binary, a compact binary, and finally a gravitational-wave event. If such a system is traced back to its parent cluster, binary evolution models can be tested in great detail. The Gaia proper motions and parallaxes are used to demonstrate that the high-mass X-ray binary HD153919/4U 1700-37 originates from NGC6231, the nucleus of the OB association Sco OB1. The O supergiant and its compact companion, of which the physical nature (a neutron star or a black hole) is unknown, move with a space velocity of 63 km/s with respect to NGC6231. The kinematical age of the system is 2.2 Myr. The parallaxes and accurate proper motions in Gaia DR2 were used to perform a membership analysis of NGC 6231. The distance to NGC6231 is 1.63 kpc. Isochrone fitting results in an age of 4.7 Myr. With the identification of NGC6231 as the parent cluster, the upper limit on the age of the progenitor of 4U1700-37 at the moment of the supernova explosion is 3.0 Myr. With these constraints, the evolutionary history of the system can be reconstructed with an initial mass of the progenitor of the compact object >60 Msun. Given its current high space velocity and the derived evolutionary history, the compact object in the system is more likely to have received a large natal kick, which suggests that it is more likely a neutron star than a black hole. HD153919/4U1700-37 might be a prototype in the Milky Way for the progenitor of gravitational wave events such as GW190412


title: Optimal control of flows of viscoelastic semi-compressible fluids

abstract: Semilinear parabolic systems with bi-linear nonlinearities cover a lot of applications and their optimal control leads to relatively simple optimality conditions. An example is the incompressible Navier-Stokes system for homogeneous fluids, which is however here modified towards a physically reasonable model of slightly (so-called ``semi'') compressible liquids rather than fully compressible gases. An optimal control problem optimizing also pressure on the boundary is considered and, in the simple variant, analysed as far as uniqueness of the control-to-state mapping and 1st-order optimality conditions in the 2-dimensional case and outlined in a nonsimple variant for the 3-dimensional case. Some other bi-linear parabolic systems as Cahn-Hilliard diffusion or magneto-hydrodynamics can be treated analogously.


title: KO codes: Inventing Nonlinear Encoding and Decoding for Reliable Wireless Communication via Deep-learning

abstract: Landmark codes underpin reliable physical layer communication, e.g., Reed-Muller, BCH, Convolution, Turbo, LDPC and Polar codes: each is a linear code and represents a mathematical breakthrough. The impact on humanity is huge: each of these codes has been used in global wireless communication standards (satellite, WiFi, cellular). Reliability of communication over the classical additive white Gaussian noise (AWGN) channel enables benchmarking and ranking of the different codes. In this paper, we construct KO codes, a computationaly efficient family of deep-learning driven (encoder, decoder) pairs that outperform the state-of-the-art reliability performance on the standardized AWGN channel. KO codes beat state-of-the-art Reed-Muller and Polar codes, under the low-complexity successive cancellation decoding, in the challenging short-to-medium block length regime on the AWGN channel. We show that the gains of KO codes are primarily due to the nonlinear mapping of information bits directly to transmit real symbols (bypassing modulation) and yet possess an efficient, high performance decoder. The key technical innovation that renders this possible is design of a novel family of neural architectures inspired by the computation tree of the {\bf K}ronecker {\bf O}peration (KO) central to Reed-Muller and Polar codes. These architectures pave way for the discovery of a much richer class of hitherto unexplored nonlinear algebraic structures. The code is available at \href{https://github.com/deepcomm/KOcodes}{https://github.com/deepcomm/KOcodes}


title: Efficient computation of the zeros of the Bargmann transform under additive white noise

abstract: We study the computation of the zero set of the Bargmann transform of a signal contaminated with complex white noise, or, equivalently, the computation of the zeros of its short-time Fourier transform with Gaussian window. We introduce the adaptive minimal grid neighbors algorithm (AMN), a variant of a method that has recently appeared in the signal processing literature, and prove that with high probability it computes the desired zero set. More precisely, given samples of the Bargmann transform of a signal on a finite grid with spacing $\delta$, AMN is shown to compute the desired zero set up to a factor of $\delta$ in the Wasserstein error metric, with failure probability $O(\delta^4 \log^2(1/\delta))$. We also provide numerical tests and comparison with other algorithms.


title: Continuous Systematic Literature Review: An Approach for Open Science

abstract: Systematic Literature Reviews (SLRs) play an important role in the Evidence-Based Software Engineering scenario. With the advance of the computer science field and the growth of research publications, new evidence continuously arises. This fact impacts directly on the purpose of keeping SLRs up-to-date which could lead researchers to obsolete conclusions or decisions about a research problem or investigation. Creating and maintaining SLRs up-to-date demand a significant effort due to several reasons such as the rapid increase in the amount of evidence, limitation of available databases and lack of detailed protocol documentation and data availability. Conventionally, in software engineering SLRs are not updated or updated intermittently leaving gaps between updates during which time the SLR may be missing important new research. In order to address these issues, we propose the concept, process and tooling support of Continuous Systematic Literature Review (CSLR) in SE aiming to keep SLRs constantly updated with the promotion of open science practices. This positional paper summarizes our proposal and approach under development.


title: Homological properties of extensions of abstract and pseudocompact algebras

abstract: We consider a class of extensions of both abstract and pseudocompact algebras, which we refer to as "strongly proj-bounded extensions". We prove that the finiteness of the left global dimension and the support of the Hochschild homology is preserved by strongly proj-bounded extensions, generalizing results of Cibils, Lanzillota, Marcos and Solotar. Moreover, we show that the finiteness of the big left finitistic dimension is preserved by strongly proj-bounded extensions. In order to construct examples, we describe a new class of extensions of algebras of finite relative global dimension, which may be of independent interest.


title: Variety of fractional Laplacians

abstract: This paper is a survey of recent results on comparison of various fractional Laplacians prepared for Proceedings of ICM2022.


title: Generically Nilpotent Cellular Automata

abstract: We study the generic limit sets of one-dimensional cellular automata, which intuitively capture their asymptotic dynamics while discarding transient phenomena. As our main results, we characterize the automata whose generic limit set is a singleton, and show that this class is $\Sigma^0_2$-complete. We also prove that given a CA whose generic limit set is guaranteed to be a singleton, the sole configuration it contains cannot be algorithmically determined.


title: Photonic Quantum Policy Learning in OpenAI Gym

abstract: In recent years, near-term noisy intermediate scale quantum (NISQ) computing devices have become available. One of the most promising application areas to leverage such NISQ quantum computer prototypes is quantum machine learning. While quantum neural networks are widely studied for supervised learning, quantum reinforcement learning is still just an emerging field of this area. To solve a classical continuous control problem, we use a continuous-variable quantum machine learning approach. We introduce proximal policy optimization for photonic variational quantum agents and also study the effect of the data re-uploading. We present performance assessment via empirical study using Strawberry Fields, a photonic simulator Fock backend and a hybrid training framework connected to an OpenAI Gym environment and TensorFlow. For the restricted CartPole problem, the two variations of the photonic policy learning achieve comparable performance levels and a faster convergence than the baseline classical neural network of same number of trainable parameters.


title: A continuous associahedron of type A

abstract: Taking a representation-theoretic viewpoint, we construct a continuous associahedron motivated by the realization of the generalized associahedron in the physical setting. We show that our associahedron shares important properties with the generalized associahedron of type A. Our continuous associahedron is convex and manifests a cluster theory: the points which correspond to the clusters are on its boundary, and the edges that correspond to mutations are given by intersections of hyperplanes. This requires development of several methods that are continuous analogues of discrete methods. We conclude the paper by showing that there is a sequence of embeddings of type A generalized associahedra into our continuous associahedron.


title: Mischievous Nominal Constructions in Universal Dependencies

abstract: While the highly multilingual Universal Dependencies (UD) project provides extensive guidelines for clausal structure as well as structure within canonical nominal phrases, a standard treatment is lacking for many "mischievous" nominal phenomena that break the mold. As a result, numerous inconsistencies within and across corpora can be found, even in languages with extensive UD treebanking work, such as English. This paper surveys the kinds of mischievous nominal expressions attested in English UD corpora and proposes solutions primarily with English in mind, but which may offer paths to solutions for a variety of UD languages.


title: Convolutional versus Dense Neural Networks: Comparing the Two Neural Networks Performance in Predicting Building Operational Energy Use Based on the Building Shape

abstract: A building self-shading shape impacts substantially on the amount of direct sunlight received by the building and contributes significantly to building operational energy use, in addition to other major contributing variables, such as materials and window-to-wall ratios. Deep Learning has the potential to assist designers and engineers by efficiently predicting building energy performance. This paper assesses the applicability of two different neural networks structures, Dense Neural Network (DNN) and Convolutional Neural Network (CNN), for predicting building operational energy use with respect to building shape. The comparison between the two neural networks shows that the DNN model surpasses the CNN model in performance, simplicity, and computation time. However, image-based CNN has the benefit of utilizing architectural graphics that facilitates design communication.


title: Correlation of Gravitational Wave Background Noises and Statistical Loss for Angular Averaged Sensitivity Curves

abstract: Gravitational wave backgrounds generate correlated noises to separated detectors. This correlation can induce statistical losses to actual detector networks, compared with idealized noise-independent networks. Assuming that the backgrounds are isotropic, we examine the statistical losses specifically for the angular averaged sensitivity curves, and derive simple expressions that depend on the overlap reduction functions and the strength of the background noises relative to the instrumental noises. For future triangular interferometers such as ET and LISA, we also discuss preferred network geometries to suppress the potential statistical losses.


title: NeuroCartography: Scalable Automatic Visual Summarization of Concepts in Deep Neural Networks

abstract: Existing research on making sense of deep neural networks often focuses on neuron-level interpretation, which may not adequately capture the bigger picture of how concepts are collectively encoded by multiple neurons. We present NeuroCartography, an interactive system that scalably summarizes and visualizes concepts learned by neural networks. It automatically discovers and groups neurons that detect the same concepts, and describes how such neuron groups interact to form higher-level concepts and the subsequent predictions. NeuroCartography introduces two scalable summarization techniques: (1) neuron clustering groups neurons based on the semantic similarity of the concepts detected by neurons (e.g., neurons detecting "dog faces" of different breeds are grouped); and (2) neuron embedding encodes the associations between related concepts based on how often they co-occur (e.g., neurons detecting "dog face" and "dog tail" are placed closer in the embedding space). Key to our scalable techniques is the ability to efficiently compute all neuron pairs' relationships, in time linear to the number of neurons instead of quadratic time. NeuroCartography scales to large data, such as the ImageNet dataset with 1.2M images. The system's tightly coordinated views integrate the scalable techniques to visualize the concepts and their relationships, projecting the concept associations to a 2D space in Neuron Projection View, and summarizing neuron clusters and their relationships in Graph View. Through a large-scale human evaluation, we demonstrate that our technique discovers neuron groups that represent coherent, human-meaningful concepts. And through usage scenarios, we describe how our approaches enable interesting and surprising discoveries, such as concept cascades of related and isolated concepts. The NeuroCartography visualization runs in modern browsers and is open-sourced.


title: Sensitivity of quasi-free reactions on details of the bound-state overlap functions

abstract: It is often stated that heavy-ion nucleon knockout reactions are mostly sensitive to the tails of the bound-state wavefunctions. In contrast, (p,2p) and (p,pn) reactions are known to access information on the full overlap functions within the nucleus. We analyze the oxygen isotopic chain and explore the differences between single-particle wave functions generated with potential models, used in the experimental analysis of knockout reactions, and ab initio computations from self-consistent Green's function theory. Contrary to the common belief, we find that not only the tail of the overlap functions, but also their internal part are assessed in both reaction mechanisms, which are crucial to yield accurately determined spectroscopic information.


title: On the analyticity of WLUD$^\infty$ functions of one variable and WLUD$^\infty$ functions of several variables in a complete non-Archimedean valued field

abstract: Let $\mathcal{N}$ be a non-Archimedean ordered field extension of the real numbers that is real closed and Cauchy complete in the topology induced by the order, and whose Hahn group is Archimedean. In this paper, we first review the properties of weakly locally uniformly differentiable (WLUD) functions, $k$ times weakly locally uniformly differentiable (WLUD$^k$) functions, and WLUD$^\infty$ functions at a point or on an open subset of $\mathcal{N}$. Then we show under what conditions a WLUD$^\infty$ function at a point $x_0\in\mathcal{N}$ is analytic in an interval around $x_0$, that is, it has a convergent Taylor series at any point in that interval. We generalize the concepts of WLUD$^k$ and WLUD$^\infty$ to functions from $\mathcal{N}^n$ to $\mathcal{N}$, for any $n\in\mathbb{N}$. Then we formulate conditions under which a WLUD$^\infty$ function at a point $\boldsymbol{x_0} \in \mathcal{N}^n$ is analytic at that point.


title: Distributed Swarm Collision Avoidance Based on Angular Calculations

abstract: Collision avoidance is one of the most important topics in the robotics field. The goal is to move the robots from initial locations to target locations such that they follow shortest non-colliding paths in the shortest time and with the least amount of energy. In this paper, a distributed and real-time algorithm for dense and complex 2D and 3D environments is proposed. This algorithm uses angular calculations to select the optimal direction for the movement of each robot and it has been shown that these separate calculations lead to a form of cooperative behavior among agents. We evaluated the proposed approach on various simulation and experimental scenarios and compared the results with FMP and ORCA, two important algorithms in this field. The results show that the proposed approach is at least 25% faster than ORCA and at least 7% faster than FMP and also more reliable than both methods. The proposed method is shown to enable fully autonomous navigation of a swarm of crazyflies.


title: Explicit asymptotic expansions in p-adic harmonic analysis II

abstract: We unwind the induction implicit in the "one-step" asymptotic expansions of arXiv:1701.02417 to describe how to turn asymptotic expansions, such as (but not limited to) the Harish-Chandra--Howe local character expansion, for depth-(0) supercuspidal characters into Kim--Murnaghan-type asymptotic expansions for arbitrary positive-depth, tame, supercuspidal characters. Doing so requires analogous results for Fourier transforms of orbital integrals on the Lie algebra of a reductive group, which are of independent interest.


title: Quantum Fields as Category Algebras

abstract: In the present paper we propose a new approach to quantum fields in terms of category algebras and states on categories. We define quantum fields and their states as category algebras and states on causal categories with partial involution structures. By utilizing category algebras and states on categories instead of simply considering categories, we can directly integrate relativity as a category theoretic structure and quantumness as a noncommutative probabilistic structure. Conceptual relationships with conventional approaches to quantum fields, including Algebraic Quantum Field Theory (AQFT) and Topological Quantum Field Theory (TQFT), are also discussed.

categories: math-ph hep-th math.CT math.MP math.QA quant-ph


title: Is Bland-Altman plot method useful without inference for accuracy, precision, and agreement?

abstract: Objective: Bland and Altman plot method is a widely cited and applied graphical approach for assessing the equivalence of quantitative measurement techniques, usually aiming to replace a traditional technique with a new, less invasive, or less expensive one. Although easy to communicate, Bland and Altman plot is often misinterpreted by lacking suitable inferential statistical support. Usual alternatives, such as Pearson's correlation or ordinal least-square linear regression, also fail to locate the weakness of each measurement technique. Method: Here, inferential statistics support for equivalence between measurement techniques is proposed in three nested tests based on structural regressions to assess the equivalence of structural means (accuracy), the equivalence of structural variances (precision), and concordance with the structural bisector line (agreement in measurements obtained from the same subject), by analytical methods and robust approach by bootstrapping. Graphical outputs are also implemented to follow Bland and Altman's principles for easy communication. Results: The performance of this method is shown and confronted with five data sets from previously published articles that applied Bland and Altman's method. One case demonstrated strict equivalence, three cases showed partial equivalence, and one showed poor equivalence. The developed R package containing open codes and data are available with installation instructions for free distribution at Harvard Dataverse at https://doi.org/10.7910/DVN/AGJPZH. It is possible to test whether two techniques may have full equivalence, preserving graphical communication according to Bland and Altman's principles, but adding robust and suitable inferential statistics. Decomposing the equivalence in accuracy, precision, and agreement helps the location of the source of the problem in order to fix a new technique.


title: Replacing quarantine of COVID-19 contacts with periodic testing is also effective in mitigating the risk of transmission

abstract: The quarantine of identified close contacts has been vital to reducing transmission rates and averting secondary infection risk before symptom onset and by asymptomatic cases. The effectiveness of this contact tracing strategy to mitigate transmission is sensitive to the adherence to quarantines, which may be lower for longer quarantine periods or in vaccinated populations (where perceptions of risk are reduced). This study develops a simulation model to evaluate contact tracing strategies based on the sequential testing of identified contacts after exposure as an alternative to quarantines, in which contacts are isolated only after confirmation by a positive test. The analysis considers different number and types of tests (PCR and lateral flow antigen tests (LFA)) to identify the cost-effective testing policies that minimize the expected infecting days post-exposure considering different levels of testing capacity. This analysis suggests that even a limited number of tests can be effective at reducing secondary infection risk: two LFA tests (with optimal timing) avert infectiousness at a level that is comparable to 14-day quarantine with 80-90% adherence, or equivalently, 7-9 day quarantine with full adherence (depending on the sensitivity of the LFA test). Adding a third test (PCR or LFA) reaches the efficiency of a 14-day quarantine with 90-100% adherence. These results are robust to the exposure dates of the contact, test sensitivity of LFA and alternative models of viral load evolution, which suggests that simple testing rules can be effective for improving contact tracing in settings where strict quarantine adherence is difficult to implement.


title: Symmetric group characters of almost square shape

abstract: We give closed product formulas for the irreducible characters of the symmetric groups related to rectangular `almost square' Young diagrams $p \times(p+\delta)$ for a fixed value of an integer $\delta$ and an arbitrary integer $p$.


title: Self-similar geometries within the inertial subrange of scales in boundary layer turbulence

abstract: The inertial subrange of turbulent scales is commonly reflected by a power law signature in ensemble statistics such as the energy spectrum and structure functions - both in theory and from observations. Despite promising findings on the topic of fractal geometries in turbulence, there is no accepted image for the physical flow features corresponding to this statistical signature in the inertial subrange. The present study uses boundary layer turbulence measurements to evaluate the self-similar geometric properties of velocity isosurfaces and investigate their influence on statistics for the velocity signal. The fractal dimension of streamwise velocity isosurfaces, indicating statistical self-similarity in the size of "wrinkles" along each isosurface, is shown to be constant only within the inertial subrange of scales. For the transition between the inertial subrange and production range, it is inferred that the largest wrinkles become increasingly confined by the overall size of large-scale coherent velocity regions such as uniform momentum zones. The self-similarity of isosurfaces yields power law trends in subsequent one-dimensional statistics. For instance, the theoretical 2/3 power law exponent for the structure function can be recovered by considering the collective behavior of numerous isosurface level sets. The results suggest that the physical presence of inertial subrange eddies is manifested in the self-similar wrinkles of isosurfaces.


title: RetroGAN: A Cyclic Post-Specialization System for Improving Out-of-Knowledge and Rare Word Representations

abstract: Retrofitting is a technique used to move word vectors closer together or further apart in their space to reflect their relationships in a Knowledge Base (KB). However, retrofitting only works on concepts that are present in that KB. RetroGAN uses a pair of Generative Adversarial Networks (GANs) to learn a one-to-one mapping between concepts and their retrofitted counterparts. It applies that mapping (post-specializes) to handle concepts that do not appear in the original KB in a manner similar to how some natural language systems handle out-of-vocabulary entries. We test our system on three word-similarity benchmarks and a downstream sentence simplification task and achieve the state of the art (CARD-660). Altogether, our results demonstrate our system's effectiveness for out-of-knowledge and rare word generalization.


title: NH-PINN: Neural homogenization based physics-informed neural network for multiscale problems

abstract: Physics-informed neural network (PINN) is a data-driven approach to solve equations. It is successful in many applications; however, the accuracy of the PINN is not satisfactory when it is used to solve multiscale equations. Homogenization is a way of approximating a multiscale equation by a homogenized equation without multiscale property; it includes solving cell problems and the homogenized equation. The cell problems are periodic; and we propose an oversampling strategy which greatly improves the PINN accuracy on periodic problems. The homogenized equation has constant or slow dependency coefficient and can also be solved by PINN accurately. We hence proposed a 3-step method to improve the PINN accuracy for solving multiscale problems with the help of the homogenization. We apply our method to solve three equations which represent three different homogenization. The results show that the proposed method greatly improves the PINN accuracy. Besides, we also find that the PINN aided homogenization may achieve better accuracy than the numerical methods driven homogenization; PINN hence is a potential alternative to implementing the homogenization.


title: Growing Cosine Unit: A Novel Oscillatory Activation Function That Can Speedup Training and Reduce Parameters in Convolutional Neural Networks

abstract: Convolutional neural networks have been successful in solving many socially important and economically significant problems. This ability to learn complex high-dimensional functions hierarchically can be attributed to the use of nonlinear activation functions. A key discovery that made training deep networks feasible was the adoption of the Rectified Linear Unit (ReLU) activation function to alleviate the vanishing gradient problem caused by using saturating activation functions. Since then, many improved variants of the ReLU activation have been proposed. However, a majority of activation functions used today are non-oscillatory and monotonically increasing due to their biological plausibility. This paper demonstrates that oscillatory activation functions can improve gradient flow and reduce network size. Two theorems on limits of non-oscillatory activation functions are presented. A new oscillatory activation function called Growing Cosine Unit(GCU) defined as $C(z) = z\cos z$ that outperforms Sigmoids, Swish, Mish and ReLU on a variety of architectures and benchmarks is presented. The GCU activation has multiple zeros enabling single GCU neurons to have multiple hyperplanes in the decision boundary. This allows single GCU neurons to learn the XOR function without feature engineering. Experimental results indicate that replacing the activation function in the convolution layers with the GCU activation function significantly improves performance on CIFAR-10, CIFAR-100 and Imagenette.


title: Selective Differential Privacy for Language Modeling

abstract: With the increasing applications of language models, it has become crucial to protect these models from leaking private information. Previous work has attempted to tackle this challenge by training RNN-based language models with differential privacy guarantees. However, applying classical differential privacy to language models leads to poor model performance as the underlying privacy notion is over-pessimistic and provides undifferentiated protection for all tokens in the data. Given that the private information in natural language is sparse (for example, the bulk of an email might not carry personally identifiable information), we propose a new privacy notion, selective differential privacy, to provide rigorous privacy guarantees on the sensitive portion of the data to improve model utility. To realize such a new notion, we develop a corresponding privacy mechanism, Selective-DPSGD, for RNN-based language models. Besides language modeling, we also apply the method to a more concrete application--dialog systems. Experiments on both language modeling and dialog system building show that the proposed privacy-preserving mechanism achieves better utilities while remaining safe under various privacy attacks compared to the baselines. The data and code are released at https://github.com/wyshi/lm_privacy to facilitate future research .


title: Machine Learning for Predicting Thermal Transport Properties of Solids

abstract: Quantitative descriptions of the structure-thermal property correlation have been a bottleneck in designing materials with superb thermal properties. In the past decade, the first-principles phonon calculations using density functional theory and the Boltzmann transport equation have become a common practice for predicting the thermal conductivity of new materials. However, first-principles calculations are too costly for high-throughput material screening and multi-scale structural design. First-principles calculations also face several fundamental challenges in modeling thermal transport properties, e.g., of crystalline materials with defects, of amorphous materials, and for materials at high temperatures. In the past five years, machine learning started to play a role in solving these challenges. This review provides a comprehensive summary and discussion on the state-of-the-art, future opportunities, and the remaining challenges in implementing machine learning for studying thermal conductivity. After an introduction to the working principles of machine learning and descriptors of material structures, recent research using machine learning to study thermal transport is discussed. Three major applications of machine learning for predicting thermal properties are discussed. First, machine learning is applied to solve the challenges in modeling phonon transport of crystals with defects, in amorphous materials, and at high temperatures. Machine learning is used to build high-fidelity interatomic potentials to bridge the gap between first-principles calculations and molecular dynamics simulations. Second, machine learning can be used to study the correlation between thermal conductivity and other properties for high-throughput materials screening. Finally, machine learning is a powerful tool for structural design to achieve target thermal conductance or thermal conductivity.


title: The Complement Problem for Linklessly Embeddable Graphs

abstract: We find all maximal linklessly embeddable graphs of order up to 11, and verify that for every graph $G$ of order 11 either $G$ or its complement $cG$ is intrinsically linked. We give an example of a graph $G$ of order 11 such that both $G$ and $cG$ are $K_6$-minor free. We provide minimal order examples of maximal linklessly embeddable graphs that are not triangular or not 3-connected. We prove a Nordhaus-Gaddum type conjecture on the Colin de Verdi\`ere invariant for graphs on at most 11 vertices. We give a description of the programs used in the search.


title: Learning JPEG Compression Artifacts for Image Manipulation Detection and Localization

abstract: Detecting and localizing image manipulation are necessary to counter malicious use of image editing techniques. Accordingly, it is essential to distinguish between authentic and tampered regions by analyzing intrinsic statistics in an image. We focus on JPEG compression artifacts left during image acquisition and editing. We propose a convolutional neural network (CNN) that uses discrete cosine transform (DCT) coefficients, where compression artifacts remain, to localize image manipulation. Standard CNNs cannot learn the distribution of DCT coefficients because the convolution throws away the spatial coordinates, which are essential for DCT coefficients. We illustrate how to design and train a neural network that can learn the distribution of DCT coefficients. Furthermore, we introduce Compression Artifact Tracing Network (CAT-Net) that jointly uses image acquisition artifacts and compression artifacts. It significantly outperforms traditional and deep neural network-based methods in detecting and localizing tampered regions.


title: A local $C^2$ Hermite interpolation scheme with PH quintic splines for 3D data streams

abstract: The construction of smooth spatial paths with Pythagorean-hodograph (PH) quintic spline biarcs is proposed. To facilitate real-time computations of $C^2$ PH quintic splines, an efficient local data stream interpolation algorithm is introduced. Each spline segment interpolates second and first order Hermite data at the initial and final end-point, respectively. In the spline extension of the scheme a $C^2$ smooth connection between successive spline segments is obtained by taking the locally required second-order derivative information from the previous segment. Consequently, the data stream spline interpolant is globally $C^2$ continuous and can be constructed for arbitrary $C^1$ Hermite data configurations. A simple and effective selection of the free parameters that arise in the interpolation problem is proposed. The developed theoretical analysis proves the fourth approximation order of the local scheme while a selection of numerical examples confirms the same accuracy of its spline extension. In addition, the performances of the algorithm are also validated by considering its application to point stream interpolation with automatically generated first-order derivative information.


title: Justifying Groups in Multiwinner Approval Voting

abstract: Justified representation (JR) is a standard notion of representation in multiwinner approval voting. Not only does a JR committee always exist, but previous work has also shown through experiments that the JR condition can typically be fulfilled by groups of fewer than $k$ candidates. In this paper, we study such groups -- known as $n/k$-justifying groups -- both theoretically and empirically. First, we show that under the impartial culture model, $n/k$-justifying groups of size less than $k/2$ are likely to exist, which implies that the number of JR committees is usually large. We then present efficient approximation algorithms that compute a small $n/k$-justifying group for any given instance, and a polynomial-time exact algorithm when the instance admits a tree representation. In addition, we demonstrate that small $n/k$-justifying groups can often be useful for obtaining a gender-balanced JR committee even though the problem is NP-hard.


title: Enhancing $d$-wave superconductivity with nearest-neighbor attraction of extended Hubbard model

abstract: Motivated by the recent discovery of the anomalously nearest-neighbor attraction arising from the electron-phonon coupling, we quantitatively investigate the enhancing effects of this additional attractive channel on the $d$-wave SC based on dynamic cluster quantum Monte Carlo calculations of doped two-dimensional extended Hubbard model with nearest-neighbor attraction $-V$. Focusing on the range of $0<-V/t \le 2$, our simulations indicate that the dynamics of $d$-wave projected pairing interaction is attractive at all frequencies and increases with $|V|$. Moreover, turning on $-V$ attraction enhances the $(\pi,\pi)$ spin fluctuations but only enhances (suppresses) the charge fluctuations for small (large) momentum transfer. Thus, at $V/t=-1$ relevant to ``holon folding branch'', the charge fluctuations are insufficient to compete with $d$-wave pairing interaction strengthened by enhanced spin fluctuations. Our work suggest the underlying rich interplay between the spin and charge fluctuations in giving rise to the superconducting properties.


title: Dissimilar collective decay and directional emission from two quantum emitters

abstract: We study a system of two distant quantum emitters coupled via a one-dimensional waveguide where the electromagnetic field has a direction-dependent velocity. As a consequence, the onset of collective emission is non-simultaneous and, for appropriate parameters, while one of the emitters exhibits superradiance the other can be subradiant. Interference effects enable the system to radiate in a preferential direction depending on the atomic state and the field propagation phases. We characterize such directional emission as a function of various parameters, delineating the conditions for optimal directionality.


title: Learning to Discover Reflection Symmetry via Polar Matching Convolution

abstract: The task of reflection symmetry detection remains challenging due to significant variations and ambiguities of symmetry patterns in the wild. Furthermore, since the local regions are required to match in reflection for detecting a symmetry pattern, it is hard for standard convolutional networks, which are not equivariant to rotation and reflection, to learn the task. To address the issue, we introduce a new convolutional technique, dubbed the polar matching convolution, which leverages a polar feature pooling, a self-similarity encoding, and a systematic kernel design for axes of different angles. The proposed high-dimensional kernel convolution network effectively learns to discover symmetry patterns from real-world images, overcoming the limitations of standard convolution. In addition, we present a new dataset and introduce a self-supervised learning strategy by augmenting the dataset with synthesizing images. Experiments demonstrate that our method outperforms state-of-the-art methods in terms of accuracy and robustness.


title: Multi-Channel Transformer Transducer for Speech Recognition

abstract: Multi-channel inputs offer several advantages over single-channel, to improve the robustness of on-device speech recognition systems. Recent work on multi-channel transformer, has proposed a way to incorporate such inputs into end-to-end ASR for improved accuracy. However, this approach is characterized by a high computational complexity, which prevents it from being deployed in on-device systems. In this paper, we present a novel speech recognition model, Multi-Channel Transformer Transducer (MCTT), which features end-to-end multi-channel training, low computation cost, and low latency so that it is suitable for streaming decoding in on-device speech recognition. In a far-field in-house dataset, our MCTT outperforms stagewise multi-channel models with transformer-transducer up to 6.01% relative WER improvement (WERR). In addition, MCTT outperforms the multi-channel transformer up to 11.62% WERR, and is 15.8 times faster in terms of inference speed. We further show that we can improve the computational cost of MCTT by constraining the future and previous context in attention computations.


title: High dynamic range base design and characterization of an 8-inch photomultiplier tube CR365-02-2 for the LHAASO-MD experiment

abstract: Ultra-high-energy ($>$ 100 TeV) gamma-ray detection benefits from the use of muon detectors (MDs) thanks to their capability of suppressing the cosmic-ray background. More than 1100 8-inch photomultiplier tubes (PMTs), CR365-02-2 from Beijing Hamamatsu Photon Techniques INC. (BHP), will be deployed for the LHAASO-MD experiment. In this paper, the design of the photomultiplier base for CR365-02-2 is presented. Signals are extracted from two outputs: the anode and the 7th dynode. This design ensures a high dynamic range, from single photoelectron (SPE, peak-to-valley ratio $>$ 2), up to bunches of $7\times10^5$ photoelectrons, with an equivalent anode peak current of up to 1600 mA. The anode-to-dynode amplitude ratio (A/D) is below 160 in order to ensure enough overlap between the two outputs. Test results of 4 PMTs, including the SPE response, A/D, linearity, dark count rate, and afterpulse rate, are reported.


title: Unsupervised Learning of Deep Features for Music Segmentation

abstract: Music segmentation refers to the dual problem of identifying boundaries between, and labeling, distinct music segments, e.g., the chorus, verse, bridge etc. in popular music. The performance of a range of music segmentation algorithms has been shown to be dependent on the audio features chosen to represent the audio. Some approaches have proposed learning feature transformations from music segment annotation data, although, such data is time consuming or expensive to create and as such these approaches are likely limited by the size of their datasets. While annotated music segmentation data is a scarce resource, the amount of available music audio is much greater. In the neighboring field of semantic audio unsupervised deep learning has shown promise in improving the performance of solutions to the query-by-example and sound classification tasks. In this work, unsupervised training of deep feature embeddings using convolutional neural networks (CNNs) is explored for music segmentation. The proposed techniques exploit only the time proximity of audio features that is implicit in any audio timeline. Employing these embeddings in a classic music segmentation algorithm is shown not only to significantly improve the performance of this algorithm, but obtain state of the art performance in unsupervised music segmentation.


title: Normalizing field flows: Solving forward and inverse stochastic differential equations using physics-informed flow models

abstract: We introduce in this work the normalizing field flows (NFF) for learning random fields from scattered measurements. More precisely, we construct a bijective transformation (a normalizing flow characterizing by neural networks) between a Gaussian random field with the Karhunen-Lo\`eve (KL) expansion structure and the target stochastic field, where the KL expansion coefficients and the invertible networks are trained by maximizing the sum of the log-likelihood on scattered measurements. This NFF model can be used to solve data-driven forward, inverse, and mixed forward/inverse stochastic partial differential equations in a unified framework. We demonstrate the capability of the proposed NFF model for learning Non Gaussian processes and different types of stochastic partial differential equations.


title: Searching for Two-Stream Models in Multivariate Space for Video Recognition

abstract: Conventional video models rely on a single stream to capture the complex spatial-temporal features. Recent work on two-stream video models, such as SlowFast network and AssembleNet, prescribe separate streams to learn complementary features, and achieve stronger performance. However, manually designing both streams as well as the in-between fusion blocks is a daunting task, requiring to explore a tremendously large design space. Such manual exploration is time-consuming and often ends up with sub-optimal architectures when computational resources are limited and the exploration is insufficient. In this work, we present a pragmatic neural architecture search approach, which is able to search for two-stream video models in giant spaces efficiently. We design a multivariate search space, including 6 search variables to capture a wide variety of choices in designing two-stream models. Furthermore, we propose a progressive search procedure, by searching for the architecture of individual streams, fusion blocks, and attention blocks one after the other. We demonstrate two-stream models with significantly better performance can be automatically discovered in our design space. Our searched two-stream models, namely Auto-TSNet, consistently outperform other models on standard benchmarks. On Kinetics, compared with the SlowFast model, our Auto-TSNet-L model reduces FLOPS by nearly 11 times while achieving the same accuracy 78.9%. On Something-Something-V2, Auto-TSNet-M improves the accuracy by at least 2% over other methods which use less than 50 GFLOPS per video.


title: 3DStyleNet: Creating 3D Shapes with Geometric and Texture Style Variations

abstract: We propose a method to create plausible geometric and texture style variations of 3D objects in the quest to democratize 3D content creation. Given a pair of textured source and target objects, our method predicts a part-aware affine transformation field that naturally warps the source shape to imitate the overall geometric style of the target. In addition, the texture style of the target is transferred to the warped source object with the help of a multi-view differentiable renderer. Our model, 3DStyleNet, is composed of two sub-networks trained in two stages. First, the geometric style network is trained on a large set of untextured 3D shapes. Second, we jointly optimize our geometric style network and a pre-trained image style transfer network with losses defined over both the geometry and the rendering of the result. Given a small set of high-quality textured objects, our method can create many novel stylized shapes, resulting in effortless 3D content creation and style-ware data augmentation. We showcase our approach qualitatively on 3D content stylization, and provide user studies to validate the quality of our results. In addition, our method can serve as a valuable tool to create 3D data augmentations for computer vision tasks. Extensive quantitative analysis shows that 3DStyleNet outperforms alternative data augmentation techniques for the downstream task of single-image 3D reconstruction.


title: Particle production at a finite potential step: Transition from Euler-Heisenberg to Klein paradox

abstract: Spontaneous pair production for spin-$1/2$ and spin-$0$ particles is explored in a quantitative manner for a static $\tanh$-Sauter potential step (SS), evaluating the imaginary part of the effective action. We provide finite-valued per unit-surface results, including the exact sharp-edge Klein paradox (KP) limit, which is the upper bound to pair production. At the vacuum instability threshold the spin-$0$ particle production can surpass that for the spin-$1/2$ rate. Presenting the effect of two opposite sign Sauter potential steps creating a well we show that spin-$0$ pair production, contrary to the case of spin-$1/2$, requires a smoothly sloped wall.


title: LOT: A Story-Centric Benchmark for Evaluating Chinese Long Text Understanding and Generation

abstract: Standard multi-task benchmarks are essential for developing pretraining models that can generalize to various downstream tasks. Existing benchmarks for natural language processing (NLP) usually focus only on understanding or generating short texts. However, long text modeling requires many distinct abilities in contrast to short texts, such as the modeling of long-range discourse and commonsense relations, and the coherence and controllability of generation. The lack of standardized benchmarks makes it difficult to assess these abilities of a model and fairly compare different models, especially Chinese models. Therefore, we propose a story-centric benchmark named LOT for evaluating Chinese long text modeling, which aggregates two understanding tasks and two generation tasks. We construct new datasets for these tasks based on human-written Chinese stories with hundreds of words. Furthermore, we release an encoder-decoder-based Chinese long text pretraining model named LongLM with up to 1 billion parameters. We pretrain LongLM on 120G Chinese novels with two generative tasks including text infilling and conditional continuation. Extensive experiments show that LongLM outperforms similar-sized pretraining models substantially on both the understanding and generation tasks in LOT.


title: BioFors: A Large Biomedical Image Forensics Dataset

abstract: Research in media forensics has gained traction to combat the spread of misinformation. However, most of this research has been directed towards content generated on social media. Biomedical image forensics is a related problem, where manipulation or misuse of images reported in biomedical research documents is of serious concern. The problem has failed to gain momentum beyond an academic discussion due to an absence of benchmark datasets and standardized tasks. In this paper we present BioFors -- the first dataset for benchmarking common biomedical image manipulations. BioFors comprises 47,805 images extracted from 1,031 open-source research papers. Images in BioFors are divided into four categories -- Microscopy, Blot/Gel, FACS and Macroscopy. We also propose three tasks for forensic analysis -- external duplication detection, internal duplication detection and cut/sharp-transition detection. We benchmark BioFors on all tasks with suitable state-of-the-art algorithms. Our results and analysis show that existing algorithms developed on common computer vision datasets are not robust when applied to biomedical images, validating that more research is required to address the unique challenges of biomedical image forensics.


title: Application of Schur-Weyl duality to Springer theory

abstract: In \cite{FMX19}, it is proved that the convolution algebra of top Borel-Moore homology on Steinberg variety of type $B/C$ realizes $U(sl_n^{\theta})$, where $sl_{n}^{\theta}$ is the fixed point subalgebra of involution on $sl_n$. So top Borel-Moore homology of the partial Springer's fibers gives the representations of $U(sl_n^{\theta})$. In this paper, we study these representations using the Schur-Weyl duality and Springer theory.


title: Scheduled Sampling Based on Decoding Steps for Neural Machine Translation

abstract: Scheduled sampling is widely used to mitigate the exposure bias problem for neural machine translation. Its core motivation is to simulate the inference scene during training by replacing ground-truth tokens with predicted tokens, thus bridging the gap between training and inference. However, vanilla scheduled sampling is merely based on training steps and equally treats all decoding steps. Namely, it simulates an inference scene with uniform error rates, which disobeys the real inference scene, where larger decoding steps usually have higher error rates due to error accumulations. To alleviate the above discrepancy, we propose scheduled sampling methods based on decoding steps, increasing the selection chance of predicted tokens with the growth of decoding steps. Consequently, we can more realistically simulate the inference scene during training, thus better bridging the gap between training and inference. Moreover, we investigate scheduled sampling based on both training steps and decoding steps for further improvements. Experimentally, our approaches significantly outperform the Transformer baseline and vanilla scheduled sampling on three large-scale WMT tasks. Additionally, our approaches also generalize well to the text summarization task on two popular benchmarks.


title: WIMP Dark Matter Hidden behind its Companion

abstract: The WIMP dark matter (DM) hypothesis now is in an awkward position, owing to the stronger and stronger exclusion from DM direct detection. In this article we design a mechanism to evade this constraint.The idea is simple. DM has a companion, and they are both charged under the DM protecting symmetry G; they admit the trilinear coupling DM-DM-companion, so the latter provides a portal to the standard model (SM) via, for instance, the coupling to Higgs doublet.Then, DM semi-annihilates into the companion to arrive correct relic density, without leaving DM-nucleon scattering signal. The idea can be realized for ZN symmetric models with N >2.We stress that this mechanism has the characteristics of co-annihilation, and as a matter of fact its effect becomes necessary near or above the TeV region. This means that it may be difficult to detect our dark matter directly or indirectly.


title: Font Completion and Manipulation by Cycling Between Multi-Modality Representations

abstract: Generating font glyphs of consistent style from one or a few reference glyphs, i.e., font completion, is an important task in topographical design. As the problem is more well-defined than general image style transfer tasks, thus it has received interest from both vision and machine learning communities. Existing approaches address this problem as a direct image-to-image translation task. In this work, we innovate to explore the generation of font glyphs as 2D graphic objects with the graph as an intermediate representation, so that more intrinsic graphic properties of font styles can be captured. Specifically, we formulate a cross-modality cycled image-to-image model structure with a graph constructor between an image encoder and an image renderer. The novel graph constructor maps a glyph's latent code to its graph representation that matches expert knowledge, which is trained to help the translation task. Our model generates improved results than both image-to-image baseline and previous state-of-the-art methods for glyph completion. Furthermore, the graph representation output by our model also provides an intuitive interface for users to do local editing and manipulation. Our proposed cross-modality cycled representation learning has the potential to be applied to other domains with prior knowledge from different data modalities. Our code is available at https://github.com/VITA-Group/Font_Completion_Graph.


title: Digging into Uncertainty in Self-supervised Multi-view Stereo

abstract: Self-supervised Multi-view stereo (MVS) with a pretext task of image reconstruction has achieved significant progress recently. However, previous methods are built upon intuitions, lacking comprehensive explanations about the effectiveness of the pretext task in self-supervised MVS. To this end, we propose to estimate epistemic uncertainty in self-supervised MVS, accounting for what the model ignores. Specially, the limitations can be categorized into two types: ambiguious supervision in foreground and invalid supervision in background. To address these issues, we propose a novel Uncertainty reduction Multi-view Stereo (UMVS) framework for self-supervised learning. To alleviate ambiguous supervision in foreground, we involve extra correspondence prior with a flow-depth consistency loss. The dense 2D correspondence of optical flows is used to regularize the 3D stereo correspondence in MVS. To handle the invalid supervision in background, we use Monte-Carlo Dropout to acquire the uncertainty map and further filter the unreliable supervision signals on invalid regions. Extensive experiments on DTU and Tank&Temples benchmark show that our U-MVS framework achieves the best performance among unsupervised MVS methods, with competitive performance with its supervised opponents.


title: Demonstration of dynamical control of three-level open systems with a superconducting qutrit

abstract: We propose a method for the dynamical control in three-level open systems and realize it in the experiment with a superconducting qutrit. Our work demonstrates that in the Markovian environment for a relatively long time (3 us), the systemic populations or coherence can still strictly follow the preset evolution paths. This is the first experiment for precisely controlling the Markovian dynamics of three-level open systems, providing a solid foundation for the future realization of dynamical control in multiple open systems. An instant application of the techniques demonstrated in this experiment is to stabilize the energy of quantum batteries.


title: Kinetic construction of the high-beta anisotropic-pressure equilibrium in the magnetosphere

abstract: A theoretical model of the high-beta equilibrium of magnetospheric plasma was constructed by consistently connecting the (anisotropic pressure) Grad-Shafranov equation and the Vlasov equation. The Grad-Shafranov equation was used to determine the axisymmetric magnetic field for a given magnetization current corresponding to a pressure tensor. Given a magnetic field, we determine the distribution function as a specific equilibrium solution of the Vlasov equation, using which we obtain the pressure tensor. We need to find an appropriate class of distribution function for these two equations to be satisfied simultaneously. Here, we consider the distribution function that maximizes the entropy on the submanifold specified by the magnetic moment. This is equivalent to the reduction of the canonical Poisson bracket to the noncanonical one having the Casimir corresponding to the magnetic moment. The pressure tensor then becomes a function of the magnetic field (through the cyclotron frequency) and flux function, satisfying the requirement of the Grad-Shafranov equation. Numerical solutions have been obtained to interpret the experimental data of the RT-1 laboratory magnetosphere.


title: Uniform regularity estimates and invisicid limit for the compressible non-resistive magnetohydrodynamics system

abstract: We are concerned with the uniform regularity estimates of solutions to the two dimensional compressible non-resistive magnetohydrodynamics (MHD) equations with the no-slip boundary condition on velocity in the half plane. Under the assumption that the initial magnetic field is transverse to the boundary, the uniform conormal energy estimates are established for the solutions to compressible MHD equations with respect to small viscosity coefficients. As a direct consequence, we proved the inviscid limit of solutions from viscous MHD systems to the ideal MHD systems in $L^\infty$ sense. It shows that the transverse magnetic field can prevent the boundary layers from occurring in some physical regime.


title: An inverse problem for the porous medium equation with partial data and a possibly singular absorption term

abstract: In this paper we prove uniqueness in the inverse boundary value problem for the three coefficient functions in the porous medium equation with an absorption term $\epsilon\partial_t u-\nabla\cdot(\gamma\nabla u^m)+\lambda u^q=0$, with $m>1$, $m^{-1}<q<\sqrt{m}$, with the space dimension 2 or higher. This is a degenerate parabolic type quasilinear PDE which has been used as a model for phenomena in fields such as gas flow (through a porous medium), plasma physics, and population dynamics. In the case when $\gamma=1$ a priori, we prove unique identifiability with data supported in an arbitrarily small part of the boundary. Even for the global problem we improve on previous work by obtaining uniqueness with a finite (rather than infinite) time of observation and also by introducing the additional absorption term $\lambda u^q$.


title: HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types

abstract: A smart contract is a program executed on a blockchain, based on which many cryptocurrencies are implemented, and is being used for automating transactions. Due to the large amount of money that smart contracts deal with, there is a surging demand for a method that can statically and formally verify them. This article describes our type-based static verification tool HELMHOLTZ for Michelson, which is a statically typed stack-based language for writing smart contracts that are executed on the blockchain platform Tezos. HELMHOLTZ is designed on top of our extension of Michelson's type system with refinement types. HELMHOLTZ takes a Michelson program annotated with a user-defined specification written in the form of a refinement type as input; it then typechecks the program against the specification based on the refinement type system, discharging the generated verification conditions with the SMT solver Z3. We briefly introduce our refinement type system for the core calculus Mini-Michelson of Michelson, which incorporates the characteristic features such as compound datatypes (e.g., lists and pairs), higher-order functions, and invocation of another contract. \HELMHOLTZ{} successfully verifies several practical Michelson programs, including one that transfers money to an account and that checks a digital signature.


title: Approaching the Basis Set Limit in Gaussian-Orbital-Based Periodic Calculations with Transferability: Performance of Pure Density Functionals for Simple Semiconductors

abstract: Simulating solids with quantum chemistry methods and Gaussian-type orbitals (GTOs) has been gaining popularity. Nonetheless, there are few systematic studies that assess the basis set incompleteness error (BSIE) in these GTO-based simulations over a variety of solids. In this work, we report a GTO-based implementation for solids, and apply it to address the basis set convergence issue. We employ a simple strategy to generate large uncontracted (unc) GTO basis sets, that we call the unc-def2-GTH sets. These basis sets exhibit systematic improvement towards the basis set limit as well as good transferability based on application to a total of 43 simple semiconductors. Most notably, we found the BSIE of unc-def2-QZVP-GTH to be smaller than 0.7 m$E_h$ per atom in total energies and 20 meV in band gaps for all systems considered here. Using unc-def2-QZVP-GTH, we report band gap benchmarks of a combinatorially designed meta generalized gradient functional (mGGA), B97M-rV, and show that B97M-rV performs similarly (a root-mean-square-deviation (RMSD) of 1.18 eV) to other modern mGGA functionals, M06-L (1.26 eV), MN15-L (1.29 eV), and SCAN (1.20 eV). This represents a clear improvement over older pure functionals such as LDA (1.71 eV) and PBE (1.49 eV) though all these mGGAs are still far from being quantitatively accurate. We also provide several cautionary notes on the use of our uncontracted bases and on future research on GTO basis set development for solids.


title: Armor: A Benchmark for Meta-evaluation of Artificial Music

abstract: Objective evaluation (OE) is essential to artificial music, but it's often very hard to determine the quality of OEs. Hitherto, subjective evaluation (SE) remains reliable and prevailing but suffers inevitable disadvantages that OEs may overcome. Therefore, a meta-evaluation system is necessary for designers to test the effectiveness of OEs. In this paper, we present Armor, a complex and cross-domain benchmark dataset that serves for this purpose. Since OEs should correlate with human judgment, we provide music as test cases for OEs and human judgment scores as touchstones. We also provide two meta-evaluation scenarios and their corresponding testing methods to assess the effectiveness of OEs. To the best of our knowledge, Armor is the first comprehensive and rigorous framework that future works could follow, take example by, and improve upon for the task of evaluating computer-generated music and the field of computational music as a whole. By analyzing different OE methods on our dataset, we observe that there is still a huge gap between SE and OE, meaning that hard-coded algorithms are far from catching human's judgment to the music.


title: Best $n$-term approximation of diagonal operators and application to function spaces with mixed smoothness

abstract: In this paper we give exact values of the best $n$-term approximation widths of diagonal operators between $\ell_p(\mathbb{N})$ and $\ell_q(\mathbb{N})$ with $0<p,q\leq \infty$. The result will be applied to obtain the asymptotic constants of best $n$-term approximation widths of embeddings of function spaces with mixed smoothness by trigonometric system.


title: High order conservative schemes for the generalized Benjamin-Ono equation in the unbounded domain

abstract: This paper proposes a new class of mass or energy conservative numerical schemes for the generalized Benjamin-Ono (BO) equation on the whole real line with arbitrarily high-order accuracy in time. The spatial discretization is achieved by the pseudo-spectral method with the rational basis functions, which can be implemented by the Fast Fourier transform (FFT) with the computational cost $\mathcal{O}( N\log(N))$. By reformulating the spatial discretized system into the different equivalent forms, either the spatial semi-discretized mass or energy can be preserved exactly under the continuous time flow. Combined with the symplectic Runge-Kutta, with or without the scalar auxiliary variable reformulation, the fully discrete energy or mass conservative scheme can be constructed with arbitrarily high-order temporal accuracy, respectively. Our numerical results show the conservation of the proposed schemes, and also the superior accuracy and stability to the non-conservative (Leap-frog) scheme.


title: Approximating Pandora's Box with Correlations

abstract: We revisit the classic Pandora's Box (PB) problem under correlated distributions on the box values. Recent work of arXiv:1911.01632 obtained constant approximate algorithms for a restricted class of policies for the problem that visit boxes in a fixed order. In this work, we study the complexity of approximating the optimal policy which may adaptively choose which box to visit next based on the values seen so far. Our main result establishes an approximation-preserving equivalence of PB to the well studied Uniform Decision Tree (UDT) problem from stochastic optimization and a variant of the Min-Sum Set Cover ($\text{MSSC}_f$) problem. For distributions of support $m$, UDT admits a $\log m$ approximation, and while a constant factor approximation in polynomial time is a long-standing open problem, constant factor approximations are achievable in subexponential time (arXiv:1906.11385). Our main result implies that the same properties hold for PB and $\text{MSSC}_f$. We also study the case where the distribution over values is given more succinctly as a mixture of $m$ product distributions. This problem is again related to a noisy variant of the Optimal Decision Tree which is significantly more challenging. We give a constant-factor approximation that runs in time $n^{ \tilde O( m^2/\varepsilon^2 ) }$ when the mixture components on every box are either identical or separated in TV distance by $\varepsilon$.


title: The Structure and Thermodynamic Stability of Reverse Micelles in Dry AOT/Alkane Mixtures

abstract: Monte Carlo simulation studies of reverse micelles of an anionic surfactant, sodium AOT, in a non-polar solvent provide strong evidence that, in the absence of water, these clusters are charge ordered polyhedral shells. The stabilizing energy of these clusters is so large that the entropy of mixing is, in comparison, inconsequential and we predict that, if all waters of hydration could be removed (something not yet accomplished for the sodium salt) then AOT would be insoluble in nonpolar solvents.


title: Private Multi-Task Learning: Formulation and Applications to Federated Learning

abstract: Many problems in machine learning rely on multi-task learning (MTL), in which the goal is to solve multiple related machine learning tasks simultaneously. MTL is particularly relevant for privacy-sensitive applications in areas such as healthcare, finance, and IoT computing, where sensitive data from multiple, varied sources are shared for the purpose of learning. In this work, we formalize notions of client-level privacy for MTL via joint differential privacy (JDP), a relaxation of differential privacy for mechanism design and distributed optimization. We then propose an algorithm for mean-regularized MTL, an objective commonly used for applications in personalized federated learning, subject to JDP. We analyze our objective and solver, providing certifiable guarantees on both privacy and utility. Empirically, we find that our method provides improved privacy/utility trade-offs relative to global baselines across common federated learning benchmarks.


title: Infinite families of crank functions, Stanton-type conjectures, and unimodality

abstract: Dyson's rank function and the Andrews--Garvan crank function famously give combinatorial witnesses for Ramanujan's partition function congruences modulo 5, 7, and 11. While these functions can be used to show that the corresponding sets of partitions split into 5, 7, or 11 equally sized sets, one may ask how to make the resulting bijections between partitions organized by rank or crank combinatorially explicit. Stanton recently made conjectures which aim to uncover a deeper combinatorial structure along these lines, where it turns out that minor modifications of the rank and crank are required. Here, we prove two of these conjectures. We also provide abstract criteria for quotients of polynomials by certain cyclotomic polynomials to have non-negative coefficients based on unimodality and symmetry. Furthermore, we extend Stanton's conjecture to an infinite family of cranks. This suggests further applications to other combinatorial objects. We also discuss numerical evidence for our conjectures, connections with other analytic conjectures such as the distribution of partition ranks.


title: Application of Rothe's method to a nonlinear wave equation on graphs

abstract: We study a nonlinear wave equation on finite connected weighted graphs. Using Rothe's and energy methods, we prove the existence and uniqueness of solution under certain assumption. For linear wave equation on graphs, Lin and Xie \cite{Lin-Xie} obtained the existence and uniqueness of solution. The main novelty of this paper is that the wave equation we considered has the nonlinear damping term $|u_t|^{p-1}\cdot u_t$ ($p>1$).


title: The ensmallen library for flexible numerical optimization

abstract: We overview the ensmallen numerical optimization library, which provides a flexible C++ framework for mathematical optimization of user-supplied objective functions. Many types of objective functions are supported, including general, differentiable, separable, constrained, and categorical. A diverse set of pre-built optimizers is provided, including Quasi-Newton optimizers and many variants of Stochastic Gradient Descent. The underlying framework facilitates the implementation of new optimizers. Optimization of an objective function typically requires supplying only one or two C++ functions. Custom behavior can be easily specified via callback functions. Empirical comparisons show that ensmallen outperforms other frameworks while providing more functionality. The library is available at https://ensmallen.org and is distributed under the permissive BSD license.


title: Adversarial Stein Training for Graph Energy Models

abstract: Learning distributions over graph-structured data is a challenging task with many applications in biology and chemistry. In this work we use an energy-based model (EBM) based on multi-channel graph neural networks (GNN) to learn permutation invariant unnormalized density functions on graphs. Unlike standard EBM training methods our approach is to learn the model via minimizing adversarial stein discrepancy. Samples from the model can be obtained via Langevin dynamics based MCMC. We find that this approach achieves competitive results on graph generation compared to benchmark models.


title: PAH Spectroscopy from 1-5 $\mu$m

abstract: The PAH model predicts many weak emission features in the 1-5 $\mu$m region that can resolve significant questions that it has faced since its inception in the mid-80s. These features contain fundamental information about the PAH population that is inaccessible via the much stronger PAH bands in the 5-20 $\mu$m region. Apart from the 3.3 $\mu$m band and plateau, PAH spectroscopy across most of the 1-5 $\mu$m region has been unexplored due to its low intrinsic intensity. ISO and Akari covered some of this wavelength range, but lacked the combined sensitivity and resolution to measure the predicted bands with sufficient fidelity. The spectroscopic capabilities of the NIRSpec instrument on board JWST will make it possible to measure and fully characterize many of the PAH features expected in this region. These include the fundamental, overtone and combination C-D and C$\equiv$N stretching bands of deuterated PAHs, cyano-PAHs (PAH-C$\equiv$ N), and the overtones and combinations of the strong PAH bands that dominate the 5-20 $\mu$m region. These bands will reveal the amount of D tied up in PAHs, the PAH D/H ratio, the D distribution between PAH aliphatic and aromatic subcomponents, and delineate key stages in PAH formation and evolution on an object-by-object basis and within extended objects. If cyano-PAHs are present, these bands will also reveal the amount of cyano groups tied up in PAHs, determine the N/C ratio within that PAH subset, and distinguish between the bands near 4.5 $\mu$m that arise from CD versus C$\equiv$N.


title: Accretion of matter and spectra of Binary X-ray sources in Massive Gravity

abstract: We study low-mass binary X-ray sources involving stellar mass black holes within massive gravity. Regarding the accretion disk, we adopt the standard model for an optically thick, cool, and geometrically thin disk by Shakura-Sunyaev. For the gravitational field generated by the black hole, we consider the analogue of the Schwarzschild-de Sitter space-time of Einstein's theory in massive gravity, for which we found an additional term linear in the radial coordinate. Then, we compute the radial velocity, the energy density and the pressure as a function of the radial coordinate, and the X-ray emission's soft spectral component expected from the disk. We also investigated in detailed the impact of this new geometry. Our result indicates that by using observed spectra from confirmed X-ray binaries involving astrophysical black holes, we can put strong constraints on alternative theories of gravity.


title: What's in a name? Quantifying the interplay between the Definition, Orientation, and Shape of Ultra-diffuse Galaxies Using the Romulus Simulations

abstract: We explore populations of ultra-diffuse galaxies (UDGs) in isolated, satellite, and cluster environments using the Romulus25 and RomulusC simulations, including how the populations vary with UDG definition and viewing orientation. Using a fiducial definition of UDGs, we find that isolated UDGs have notably larger semi-major (b/a) and smaller semi-minor (c/a) axis ratios than their non-UDG counterparts, i.e., they are more oblate, or diskier. This is in line with previous results that adopted the same UDG definition and showed that isolated UDGs form via early, high-spin mergers. However, the choice of UDG definition can drastically affect what subsets of a dwarf population are classified as UDGs, changing the number of UDGs by up to approximately 45% of the dwarf population. We also find that a galaxy's classification as a UDG is dependent on its viewing orientation, and this dependence decreases as environmental density increases. Overall, we conclude that some definitions for UDGs used in the literature manage to isolate a specific formation mechanism for isolated dwarfs, while less restrictive definitions erase a link to the formation mechanism. Thus, how we define UDG populations must be considered if we want to understand the formation and evolution of UDGs.


title: Characterization and Topological Behavior of Homomorphism Tree-Shifts

abstract: The purpose of this article is twofold. On one hand, we reveal the equivalence of shift of finite type between a one-sided shift $X$ and its associated hom tree-shift $\mathcal{T}_{X}$, as well as the equivalence in the sofic shift. On the other hand, we investigate the interrelationship among the comparable mixing properties on tree-shifts as those on multidimensional shift spaces. They include irreducibility, topologically mixing, block gluing, and strong irreducibility, all of which are defined in the spirit of classical multidimensional shift, complete prefix code (CPC), and uniform CPC. In summary, the mixing properties defined in all three manners coincide for $\mathcal{T}_{X}$. Furthermore, an equivalence between irreducibility on $\mathcal{T}_{A}$ and irreducibility on $X_A$ are seen, and so is one between topologically mixing on $\mathcal{T}_{A}$ and mixing property on $X_A$, where $X_A$ is the one-sided shift space induced by the matrix $A$ and $T_A$ is the associated tree-shift. These equivalences are consistent with the mixing properties on $X$ or $X_A$ when viewed as a degenerate tree-shift.


title: CAST: Enhancing Code Summarization with Hierarchical Splitting and Reconstruction of Abstract Syntax Trees

abstract: Code summarization aims to generate concise natural language descriptions of source code, which can help improve program comprehension and maintenance. Recent studies show that syntactic and structural information extracted from abstract syntax trees (ASTs) is conducive to summary generation. However, existing approaches fail to fully capture the rich information in ASTs because of the large size/depth of ASTs. In this paper, we propose a novel model CAST that hierarchically splits and reconstructs ASTs. First, we hierarchically split a large AST into a set of subtrees and utilize a recursive neural network to encode the subtrees. Then, we aggregate the embeddings of subtrees by reconstructing the split ASTs to get the representation of the complete AST. Finally, AST representation, together with source code embedding obtained by a vanilla code token encoder, is used for code summarization. Extensive experiments, including the ablation study and the human evaluation, on benchmarks have demonstrated the power of CAST. To facilitate reproducibility, our code and data are available at https://anonymous.4open.science/r/CAST/.


title: Learning Meta Representations for Agents in Multi-Agent Reinforcement Learning

abstract: In multi-agent reinforcement learning, the behaviors that agents learn in a single Markov Game (MG) are typically confined to the given agent number. Every single MG induced by varying the population may possess distinct optimal joint strategies and game-specific knowledge, which are modeled independently in modern multi-agent reinforcement learning algorithms. In this work, our focus is on creating agents that can generalize across population-varying MGs. Instead of learning a unimodal policy, each agent learns a policy set comprising effective strategies across a variety of games. To achieve this, we propose Meta Representations for Agents (MRA) that explicitly models the game-common and game-specific strategic knowledge. By representing the policy sets with multi-modal latent policies, the game-common strategic knowledge and diverse strategic modes are discovered through an iterative optimization procedure. We prove that by approximately maximizing the resulting constrained mutual information objective, the policies can reach Nash Equilibrium in every evaluation MG when the latent space is sufficiently large. When deploying MRA in practical settings with limited latent space sizes, fast adaptation can be achieved by leveraging the first-order gradient information. Extensive experiments demonstrate the effectiveness of MRA in improving training performance and generalization ability in challenging evaluation games.


title: Partially Explicit Time Discretization for Time Fractional Diffusion Equation

abstract: Time fractional PDEs have been used in many applications for modeling and simulations. Many of these applications are multiscale and contain high contrast variations in the media properties. It requires very small time step size to perform detailed computations. On the other hand, in the presence of small spatial grids, very small time step size is required for explicit methods. Explicit methods have many advantages as we discuss in the paper. In this paper, we propose a partial explicit method for time fractional PDEs. The approach solves the forward problem on a coarse computational grid, which is much larger than spatial heterogeneities, and requires only a few degrees of freedom to be treated implicitly. Via the construction of appropriate spaces and careful stability analysis, we can show that the time step can be chosen not to depend on the contrast or scale as the coarse mesh size. Thus, one can use larger time step size in an explicit approach. We present stability theory for our proposed method and our numerical results confirm the stability findings and demonstrate the performance of the approach.


title: DH Type II Radio Bursts During Solar Cycles 23 and 24: Frequency-dependent Classification and their Flare-CME Associations

abstract: We present the characteristics of DH type II bursts for the Solar Cycles 23 and 24. The bursts are classified according to their end frequencies into three categories, i.e. Low Frequency Group (LFG; 20 kHz $\leq$ $f$ $\leq$ 200 kHz), Medium Frequency Group (MFG; 200 kHz $<$ $f$ $\leq$ 1 MHz), and High Frequency Group (HFG; 1 MHz $<$ $f$ $\le$ 16 MHz). We find that the sources for LFG, MFG, and HFG events are homogeneously distributed over the active region belt. Our analysis shows a drastic reduction of the DH type II events during Solar Cycle 24 which includes only 35% of the total events (i.e. 179 out of 514). Despite having smaller number of DH type II events in the Solar Cycle 24, it contains a significantly higher fraction of LFG events compared to the previous cycle (32% $versus$ 24%). However, within the LFG group the cycle 23 exhibits significant dominance of type II bursts that extend below 50 kHz, suggesting rich population of powerful CMEs travelling beyond half of the Sun-Earth distance. The events of LFG group display strongest association with faster and wider (more than 82% events are halo) CMEs while at the source location they predominantly trigger large M/X class flares (in more than 83% cases). Our analysis also indicates that CME initial speed or flare energetics are partly related with the duration of type II burst and that survival of CME associated shock is determined by multiple factors/parameters related to CMEs, flares, and state of coronal and interplanetary medium. The profiles relating CME heights with respect to the end frequencies of DH type II bursts suggest that for HFG and MFG categories, the location for majority of CMEs ($\approx$65%-70%) is in well compliance with ten-fold Leblanc coronal density model, while for LFG events a lower value of density multiplier ($\approx$3) seems to be compatible.


title: Collapsing geometry of hyperk\"ahler 4-manifolds and applications

abstract: We investigate the collapsing geometry of hyperk\"ahler 4-manifolds. As applications we prove two well-known conjectures in the field. (1) Any collapsed limit of unit-diameter hyperk\"ahler metrics on the K3 manifold is isometric to one of the following: the quotient of a flat 3-torus by an involution, a singular special K\"ahler metric on the 2-sphere, or the unit interval. (2) Any complete hyperk\"ahler 4-manifold with finite energy (i.e., gravitational instanton) is asymptotic to a model end at infinity.


title: SHIFT15M: Fashion-specific dataset for set-to-set matching with several distribution shifts

abstract: This paper addresses the problem of set-to-set matching, which involves matching two different sets of items based on some criteria, especially in the case of high-dimensional items like images. Although neural networks have been applied to solve this problem, most machine learning-based approaches assume that the training and test data follow the same distribution, which is not always true in real-world scenarios. To address this limitation, we introduce SHIFT15M, a dataset that can be used to evaluate set-to-set matching models when the distribution of data changes between training and testing. We conduct benchmark experiments that demonstrate the performance drop of naive methods due to distribution shift. Additionally, we provide software to handle the SHIFT15M dataset in a simple manner, with the URL for the software to be made available after publication of this manuscript. We believe proposed SHIFT15M dataset provide a valuable resource for evaluating set-to-set matching models under the distribution shift.