title: Thermonuclear X-ray bursts from LMXB 4U 1636$-$536 observed with AstroSat

abstract: We report results obtained from the study of 12 thermonuclear X-ray bursts in 6 AstroSat observations of a neutron star X-ray binary and well-known X-ray burster, 4U 1636$-$536. Burst oscillations at $\sim$581 Hz are observed with 4$-$5$\sigma$ confidence in three of these X-ray bursts. The rising phase burst oscillations show a decreasing trend of the fractional rms amplitude at 3$\sigma$ confidence,by far the strongest evidence of thermonuclear flame spreading observed with AstroSat. During the initial 0.25 second of the rise a very high value (34.0$\pm$6.7%) is observed. The concave shape of the fractional amplitude profile provides a strong evidence of latitude-dependent flame speeds, possibly due to the effects of the Coriolis force. We observe decay phase oscillations with amplitudes comparable to that observed during the rising phase, plausibly due to the combined effect of both surface modes as well as the cooling wake. The Doppler shifts due to the rapid rotation of the neutron star might cause hard pulses to precede the soft pulses, resulting in a soft lag. The distance to the source estimated using the PRE bursts is consistent with the known value of $\sim$6 kpc.


title: Machine Learning-Assisted Exploration of Thermally Conductive Polymers Based on High-Throughput Molecular Dynamics Simulations

abstract: Finding amorphous polymers with higher thermal conductivity is important, as they are ubiquitous in heat transfer applications. With recent progress in material informatics, machine learning approaches have been increasingly adopted for finding or designing materials with desired properties. However, relatively limited effort has been put into finding thermally conductive polymers using machine learning, mainly due to the lack of polymer thermal conductivity databases with reasonable data volume. In this work, we combine high-throughput molecular dynamics (MD) simulations and machine learning to explore polymers with relatively high thermal conductivity (> 0.300 W/m-K). We first randomly select 365 polymers from the existing PolyInfo database and calculate their thermal conductivity using MD simulations. The data are then employed to train a machine learning regression model to quantify the structure-thermal conductivity relation, which is further leveraged to screen polymer candidates in the PolyInfo database with thermal conductivity > 0.300 W/m-K. 133 polymers with MD-calculated thermal conductivity above this threshold are eventually identified. Polymers with a wide range of thermal conductivity values are selected for re-calculation under different simulation conditions, and those polymers found with thermal conductivity above 0.300 W/m-K are mostly calculated to maintain values above this threshold despite fluctuation in the exact values. A classification model is also constructed, and similar results were obtained compared to the regression model in predicting polymers with thermal conductivity above or below 0.300 W/m-K. The strategy and results from this work may contribute to automating the design of polymers with high thermal conductivity.


title: Impatient PPSZ -- a Faster algorithm for CSP

abstract: PPSZ is the fastest known algorithm for (d,k)-CSP problems, for most values of d and k. It goes through the variables in random order and sets each variable randomly to one of the d colors, excluding those colors that can be ruled out by looking at few constraints at a time. We propose and analyze a modification of PPSZ: whenever all but 2 colors can be ruled out for some variable, immediately set that variable randomly to one of the remaining colors. We show that our new "impatient PPSZ" outperforms PPSZ exponentially for all k and all d >= 3 on formulas with a unique satisfying assignment.


title: Dissipative Magnetohydrodynamics for Non-Resistive Relativistic Plasmas

abstract: Based on a 14-moment closure for non-resistive (general-) relativistic viscous plasmas, we describe a new numerical scheme that is able to handle all first-order dissipative effects (heat conduction, bulk and shear viscosities), as well the anisotropies induced by the presence of magnetic fields. The latter is parameterized in terms of a thermal gyrofrequency or, equivalently, a thermal Larmor radius and allows to correctly capture the thermal Hall effect. By solving an extended Israel-Stewart-like system for the dissipative quantities that enforces algebraic constraints via stiff-relaxation, we are able to cast all first-order dissipative terms in flux-divergence form. This allows us to apply traditional high-resolution shock capturing methods to the equations, making the system suitable for the numerical study of highly turbulent flows. We present several numerical tests to assess the robustness of our numerical scheme in flat spacetime. The 14-moment closure can seamlessly interpolate between the highly collisional limit found in neutron star mergers, and the highly anisotropic limit of relativistic Braginskii magnetohydrodynamics appropriate for weakly collisional plasmas in black-hole accretion problems. We believe that this new formulation and numerical scheme will be useful for a broad class of relativistic magnetized flows.

categories: astro-ph.HE gr-qc nucl-th physics.comp-ph physics.plasm-ph


title: Puzzle Solving without Search or Human Knowledge: An Unnatural Language Approach

abstract: The application of Generative Pre-trained Transformer (GPT-2) to learn text-archived game notation provides a model environment for exploring sparse reward gameplay. The transformer architecture proves amenable to training on solved text archives describing mazes, Rubik's Cube, and Sudoku solvers. The method benefits from fine-tuning the transformer architecture to visualize plausible strategies derived outside any guidance from human heuristics or domain expertise. The large search space ($>10^{19}$) for the games provides a puzzle environment in which the solution has few intermediate rewards and a final move that solves the challenge.


title: L1 scheme on graded mesh for subdiffusion equation with nonlocal diffusion term

abstract: The solution of time fractional partial differential equations in general exhibit a weak singularity near the initial time. In this article we propose a method for solving time fractional diffusion equation with nonlocal diffusion term. The proposed method comprises L1 scheme on graded mesh, finite element method and Newton's method. We discuss the well-posedness of the weak formulation at discrete level and derive \emph{a priori} error estimates for fully-discrete formulation in $L^2(\Omega)$ and $H^1(\Omega)$ norms. Finally, some numerical experiments are conducted to validate the theoretical findings.


title: Global well-posedness for the three-dimensional full compressible viscous non-resistive MHD system

abstract: In this paper, we consider the three-dimensional full compressible viscous non-resistive MHD system. Global well-posedness is proved for an initial-boundary value problem around a strong background magnetic field. It is also shown that the unique solution converges to the steady state at an almost exponential rate as time tends to infinity. The proof is based on the celebrated two-tier energy method, due to Guo and Tice [\emph{Arch. Ration. Mech. Anal.}, 207 (2013), pp. 459--531; \emph{Anal. PDE.}, 6 (2013), pp. 287--369], reformulated in Lagrangian coordinates. The obtained result may be viewed as an extension of Tan and Wang [\emph{SIAM J. Math. Anal.}, 50 (2018), pp. 1432--1470] to the context of heat-conductive fluids. This in particular verifies the stabilization effects of vertical magnetic field in the full compressible non-resistive fluids.


title: Near-field probing of image phonon-polaritons in hexagonal boron nitride on gold crystals

abstract: Near-field mapping has been widely used to study hyperbolic phonon-polaritons in van der Waals crystals. However, an accurate measurement of the polaritonic loss remains challenging because of the inherent complexity of the near-field signal and the substrate-mediated loss. Here we demonstrate that large-area monocrystalline gold flakes, an atomically-flat low-loss substrate for image polaritons, provide a platform for precise near-field measurement of the complex propagation constant of polaritons in van der Waals crystals. As a topical example, we measure propagation loss of the image phonon-polaritons in hexagonal boron nitride, revealing that their normalized propagation length exhibits a parabolic spectral dependency. Further, we show that image phonon-polaritons exhibit up to a twice lower normalized propagation loss, while being 2.4 times more compressed compared to the case of dielectric substrate. We conclude that the monocrystalline gold flakes provide a unique nanophotonic platform for probing and exploitation of the image modes in low-dimensional materials.


title: ArGoT: A Glossary of Terms extracted from the arXiv

abstract: We introduce ArGoT, a data set of mathematical terms extracted from the articles hosted on the arXiv website. A term is any mathematical concept defined in an article. Using labels in the article's source code and examples from other popular math websites, we mine all the terms in the arXiv data and compile a comprehensive vocabulary of mathematical terms. Each term can be then organized in a dependency graph by using the term's definitions and the arXiv's metadata. Using both hyperbolic and standard word embeddings, we demonstrate how this structure is reflected in the text's vector representation and how they capture relations of entailment in mathematical concepts. This data set is part of an ongoing effort to align natural mathematical text with existing Interactive Theorem Prover Libraries (ITPs) of formally verified statements.


title: Implementing Security Protocol Monitors

abstract: Cryptographic protocols are often specified by narrations, i.e., finite sequences of message exchanges that show the intended execution of the protocol. Another use of narrations is to describe attacks. We propose in this paper to compile, when possible, attack describing narrations into a set of tests that honest participants can perform to exclude these executions. These tests can be implemented in monitors to protect existing implementations from rogue behaviour.


title: Statistical Model Checking of Common Attack Scenarios on Blockchain

abstract: Blockchain technology has developed significantly over the last decade. One of the reasons for this is its sustainability architecture, which does not allow modification of the history of committed transactions. That means that developers should consider blockchain vulnerabilities and eliminate them before the deployment of the system. In this paper, we demonstrate a statistical model checking approach for the verification of blockchain systems on three real-world attack scenarios. We build and verify models of DNS attack, double-spending with memory pool flooding, and consensus delay scenario. After that, we analyze experimental results and propose solutions to avoid these kinds of attacks.


title: Deep Collaborative Multi-Modal Learning for Unsupervised Kinship Estimation

abstract: Kinship verification is a long-standing research challenge in computer vision. The visual differences presented to the face have a significant effect on the recognition capabilities of the kinship systems. We argue that aggregating multiple visual knowledge can better describe the characteristics of the subject for precise kinship identification. Typically, the age-invariant features can represent more natural facial details. Such age-related transformations are essential for face recognition due to the biological effects of aging. However, the existing methods mainly focus on employing the single-view image features for kinship identification, while more meaningful visual properties such as race and age are directly ignored in the feature learning step. To this end, we propose a novel deep collaborative multi-modal learning (DCML) to integrate the underlying information presented in facial properties in an adaptive manner to strengthen the facial details for effective unsupervised kinship verification. Specifically, we construct a well-designed adaptive feature fusion mechanism, which can jointly leverage the complementary properties from different visual perspectives to produce composite features and draw greater attention to the most informative components of spatial feature maps. Particularly, an adaptive weighting strategy is developed based on a novel attention mechanism, which can enhance the dependencies between different properties by decreasing the information redundancy in channels in a self-adaptive manner. To validate the effectiveness of the proposed method, extensive experimental evaluations conducted on four widely-used datasets show that our DCML method is always superior to some state-of-the-art kinship verification methods.


title: First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving

abstract: In this paper, we compare two alternative mechanisms for deciding the validity of first-order formulas over finite domains supported by the mathematical model checker RISCAL: first, the original approach of semantic evaluation (based on an implementation of the denotational semantics of the RISCAL language) and, second, the later approach of SMT solving (based on satisfiability preserving translations of RISCAL formulas to SMT-LIB formulas as inputs for SMT solvers). After a short presentation of the two approaches and a discussion of their fundamental pros and cons, we quantitatively evaluate them, both by a set of artificial benchmarks and by a set of benchmarks taken from real-life applications of RISCAL; for this, we apply the state-of-the-art SMT solvers Boolector, CVC4, Yices, and Z3. Our benchmarks demonstrate that (while SMT solving generally vastly outperforms semantic evaluation), the various SMT solvers exhibit great performance differences. More important, we identify classes of formulas where semantic evaluation is able to compete with (or even outperform) satisfiability solving, outlining some room for improvements in the translation of RISCAL formulas to SMT-LIB formulas as well as in the current SMT technology.


title: Symbolic Computation in Software Science: My Personal View

abstract: In this note, I develop my personal view on the scope and relevance of symbolic computation in software science. For this, I discuss the interaction and differences between symbolic computation, software science, automatic programming, mathematical knowledge management, artificial intelligence, algorithmic intelligence, numerical computation, and machine learning. In the discussion of these notions, I allow myself to refer also to papers (1982, 1985, 2001, 2003, 2013) of mine in which I expressed my views on these areas at early stages of some of these fields.


title: Error Analysis of the Light Curve Solution of Contact Binaries Based on the W-D Code

abstract: We use the idea of repeat measurement to determine the mean value and error of light curve solution parameters of contact binaries. Our simulation is realized by the Monte Carlo algorithm and Wilson-Devinney code. This method can obtain the systematic and random error simultaneously. Within our 48 models, the systematic errors are smaller than the random errors in most case. According to the numerical calculations, it is found that the relative errors of photometric mass ratios are less than 1% for totally eclipsing contact binaries, while they are generally between 10% and 20% for partly eclipsing ones. The effect of third light on the errors of photometric solution is also investigated. With a third light, these errors are close to 10% for totally eclipsing contact binaries. Specially, it is better to set the third light to zero in flux if that light is very faint (e.g., less than 1% contribution in luminosity), because such faint third light will bring big errors to the light curve solutions.


title: A Scalable AI Approach for Clinical Trial Cohort Optimization

abstract: FDA has been promoting enrollment practices that could enhance the diversity of clinical trial populations, through broadening eligibility criteria. However, how to broaden eligibility remains a significant challenge. We propose an AI approach to Cohort Optimization (AICO) through transformer-based natural language processing of the eligibility criteria and evaluation of the criteria using real-world data. The method can extract common eligibility criteria variables from a large set of relevant trials and measure the generalizability of trial designs to real-world patients. It overcomes the scalability limits of existing manual methods and enables rapid simulation of eligibility criteria design for a disease of interest. A case study on breast cancer trial design demonstrates the utility of the method in improving trial generalizability.


title: Kinship Verification Based on Cross-Generation Feature Interaction Learning

abstract: Kinship verification from facial images has been recognized as an emerging yet challenging technique in many potential computer vision applications. In this paper, we propose a novel cross-generation feature interaction learning (CFIL) framework for robust kinship verification. Particularly, an effective collaborative weighting strategy is constructed to explore the characteristics of cross-generation relations by corporately extracting features of both parents and children image pairs. Specifically, we take parents and children as a whole to extract the expressive local and non-local features. Different from the traditional works measuring similarity by distance, we interpolate the similarity calculations as the interior auxiliary weights into the deep CNN architecture to learn the whole and natural features. These similarity weights not only involve corresponding single points but also excavate the multiple relationships cross points, where local and non-local features are calculated by using these two kinds of distance measurements. Importantly, instead of separately conducting similarity computation and feature extraction, we integrate similarity learning and feature extraction into one unified learning process. The integrated representations deduced from local and non-local features can comprehensively express the informative semantics embedded in images and preserve abundant correlation knowledge from image pairs. Extensive experiments demonstrate the efficiency and superiority of the proposed model compared to some state-of-the-art kinship verification methods.


title: An Inversion Tool for Conditional Term Rewriting Systems -- A Case Study of Ackermann Inversion

abstract: We report on an inversion tool for a class of oriented conditional constructor term rewriting systems. Four well-behaved rule inverters ranging from trivial to full, partial and semi-inverters are included. Conditional term rewriting systems are theoretically well founded and can model functional and non-functional rewrite relations. We illustrate the inversion by experiments with full and partial inversions of the Ackermann function. The case study demonstrates, among others, that polyvariant inversion and input-output set propagation can reduce the search space of the generated inverse systems.


title: A Digital Smart City for Emerging Mobility Systems

abstract: The increasing demand for emerging mobility systems with connected and automated vehicles has imposed the necessity for quality testing environments to support their development. In this paper, we introduce a Unity-based virtual simulation environment for emerging mobility systems, called the Information and Decision Science Lab's Scaled Smart Digital City (IDS 3D City), intended to operate alongside its physical peer and its established control framework. By utilizing the Robot Operation System, AirSim, and Unity, we constructed a simulation environment capable of iteratively designing experiments significantly faster than it is possible in a physical testbed. This environment provides an intermediate step to validate the effectiveness of our control algorithms prior to their implementation in the physical testbed. The IDS 3D City also enables us to demonstrate that our control algorithms work independently of the underlying vehicle dynamics, as the vehicle dynamics introduced by AirSim operate at a different scale than our scaled smart city. Finally, we demonstrate the behavior of our digital environment by performing an experiment in both the virtual and physical environments and comparing their outputs.


title: Program Specialization as a Tool for Solving Word Equations

abstract: The paper focuses on the automatic generating of the witnesses for the word equation satisfiability problem by means of specializing an interpreter which tests whether a composition of variable substitutions of a given word equation system produces its solution. We specialize such an interpreter w.r.t. the equation system, while the substitutions are unknown. We show that several variants of such interpreters, when specialized using the basic unfold/fold specialization methods, are able to construct the whole solution sets for some classes of the word equations whose left- and right-hand sides share variables. We prove that the specialization process wrt the constructed interpreters gives a simple syntactic criterion of the satisfiability of the equations considered, and show that the suggested approach can solve some equations not solvable by Z3str3 and CVC4, the widely-used SMT-solvers.


title: Improving Dynamic Code Analysis by Code Abstraction

abstract: In this paper, our aim is to propose a model for code abstraction, based on abstract interpretation, allowing us to improve the precision of a recently proposed static analysis by abstract interpretation of dynamic languages. The problem we tackle here is that the analysis may add some spurious code to the string-to-execute abstract value and this code may need some abstract representations in order to make it analyzable. This is precisely what we propose here, where we drive the code abstraction by the analysis we have to perform.


title: An Empirical Study of Partial Deduction for miniKanren

abstract: We study conjunctive partial deduction, an advanced specialization technique aimed at improving the performance of logic programs, in the context of relational programming language miniKanren. We identify a number of issues, caused by miniKanren peculiarities, and describe a novel approach to specialization based on partial deduction and supercompilation. The results of the evaluation demonstrate successful specialization of relational interpreters. Although the project is at an early stage, we consider it as the first step towards an efficient optimization framework for miniKanren.


title: The planar pure braid group is a diagram group

abstract: A planar pure braid consists of $n$ descending smooth arcs, each connecting a point on one horizontal line $\ell_{1}$ to a point on a horizontal line $\ell_{2}$, which is required to be directly below the first point. Two arcs are allowed to cross, but no threefold intersections are allowed. The set $\Gamma_{n}$ of all planar pure braids on $n$ strands is a group with respect to a natural stacking operation. We show that $\Gamma_{n}$ is always a diagram group, in the sense of Guba and Sapir. A number of consequences follow, including biautomaticity and bi-orderability of the groups $\Gamma_{n}$. Moreover, each group $\Gamma_{n}$ acts properly and cocompactly on a CAT(0) cubical complex. (The current version corrects a typographical error and acknowledges overlap with earlier work of Genevois.)


title: Motion of Particles and Gravitational Lensing Around (2+1)-dimensional BTZ black holes in Gauss-Bonnet Gravity

abstract: We study motion of test particles and photons in the vicinity of (2+1) dimensional Gauss-Bonnet (GB) BTZ black hole. We find that the presence of the coupling constant serves as an attractive gravitational charge, shifting the innermost stable circular orbits outward with respect to the one for this theory in 4 dimensions. Further we consider the gravitational lensing, to test the GB gravity in (2+1) dimensions and show that the presence of GB parameter causes the bending angle to grow up first with the increase of the inverse of closest approach distance, $u_0$, then have its maximum value for specific $u_0^*$, and then reduce until zero. We also show that increase in the value of the GB parameter makes the bending angle smaller and the increase in the absolute value of the negative cosmological constant produces opposite effect on this angle.


title: Exact and Asymptotic Tests for Sufficient Followup in Censored Survival Data

abstract: The existence of immune or cured individuals in a population and whether there is sufficient followup in a sample of censored observations on their lifetimes to be confident of their presence are questions of major importance in medical survival analysis. So far only a few candidates have been put forward as possible test statistics for the existence of sufficient followup in a sample. Here we investigate one such statistic and give a detailed analysis, obtaining an exact finite sample as well as asymptotic distributions for it, and use these to calculate the power of the test as a function of the followup in the sample.


title: List-decodable Codes and Covering Codes

abstract: The list-decodable code has been an active topic in theoretical computer science.There are general results about the list-decodability to the Johnson radius and the list-decoding capacity theorem. In this paper we show that rates, list-decodable radius and list sizes are closely related to the classical topic of covering codes. We prove new general simple but strong upper bounds for list-decodable codes in general finite metric spaces based on various covering codes. The general covering code upper bounds can be applied to the case that the volumes of the balls depend on the centers, not only on the radius. Then any good upper bound on the covering radius or the size of covering code imply a good upper bound on the sizes of list-decodable codes. Our results give exponential improvements on the recent generalized Singleton upper bound in STOC 2020 for Hamming metric list-decodable codes, when the code lengths are large. A generalized Singleton upper bound for average-radius list-decodable codes is also given from our general covering code upper bound. We also suggest to study the combinatorial covering list-decodable codes as a natural generalization of combinatorial list-decodable codes. We apply our general covering code upper bounds for list-decodable rank-metric codes, list-decodable subspace codes, list-decodable insertion codes list-decodable deletion codes,list-decodable sum-rank-metric codes and list decodable permutation codes. Some new better results about non-list-decodability of rank-metric codes, subspace codes, sum-rank-metric codes and permutation codes with various metrics are obtained.


title: An Oppenheim type inequality for positive definite block matrices

abstract: We present an Oppenheim type determinantal inequality for positive definite block matrices. Recently, Lin [Linear Algebra Appl. 452 (2014) 1--6] proved a remarkable extension of Oppenheim type inequality for block matrices, which solved a conjecture of G\"{u}nther and Klotz. There is a requirement that two matrices commute in Lin's result. The motivation of this paper is to obtain another natural and general extension of Oppenheim type inequality for block matrices to get rid of the requirement that two matrices commute.


title: Few-shot Learning via Dependency Maximization and Instance Discriminant Analysis

abstract: We study the few-shot learning (FSL) problem, where a model learns to recognize new objects with extremely few labeled training data per category. Most of previous FSL approaches resort to the meta-learning paradigm, where the model accumulates inductive bias through learning many training tasks so as to solve a new unseen few-shot task. In contrast, we propose a simple approach to exploit unlabeled data accompanying the few-shot task for improving few-shot performance. Firstly, we propose a Dependency Maximization method based on the Hilbert-Schmidt norm of the cross-covariance operator, which maximizes the statistical dependency between the embedded feature of those unlabeled data and their label predictions, together with the supervised loss over the support set. We then use the obtained model to infer the pseudo-labels for those unlabeled data. Furthermore, we propose anInstance Discriminant Analysis to evaluate the credibility of each pseudo-labeled example and select the most faithful ones into an augmented support set to retrain the model as in the first step. We iterate the above process until the pseudo-labels for the unlabeled data becomes stable. Following the standard transductive and semi-supervised FSL setting, our experiments show that the proposed method out-performs previous state-of-the-art methods on four widely used benchmarks, including mini-ImageNet, tiered-ImageNet, CUB, and CIFARFS.


title: Anomalous Charge Density Wave State Evolution and Dome-like Superconductivity in CuIr2Te4-xSex Chalcogenides

abstract: We report the anomalous charge density wave (CDW) state evolution and dome-like superconductivity (SC) in CuIr2Te4-xSex series. Room temperature powder X ray-diffraction (PXRD) results indicate that CuIr2Te4-xSex compounds retain the same structure as the host CuIr2Te4 and the unit cell constants a and c manifest a linear decline with increasing Se content. Magnetization, resistivity and heat capacity results suggest that superconducting transition temperature (Tc) exhibits a weak dome-like variation as substituting Te by Se with the maximum Tc = 2.83 K for x = 0.1 followed by suppression in Tc and simultaneous decrease of the superconducting volume fraction. Unexpectedly, the CDW-like transition (TCDW) is suppressed with lower Se doping but re-emerges at higher doping. Meanwhile, the temperature-dependent XRD measurements show that the trigonal structure is stable at 20 K, 100 K and 300 K for the host sample and the doping composition with x = 0.5, thus we propose that the behaviour CDW-like transition arises from the disorder effect created by chemical doping and is not related to structural transition. The lower and the upper critical fields of these compounds are also addressed.


title: Local Well-posedness for the Motion of a Compressible Gravity Water Wave with Vorticity

abstract: In this paper we prove the local well-posedness (LWP) for the 3D compressible Euler equations describing the motion of a liquid in an unbounded initial domain with moving boundary. The liquid is under the influence of gravity but without surface tension, and it is not assumed to be irrotational. We apply the tangential smoothing method introduced in [10,11] to construct the approximation system with energy estimates uniform in the smooth parameter. It should be emphasized that, when doing the nonlinear a priori estimates, we need neither the higher order wave equation of the pressure and delicate elliptic estimates, nor the higher regularity on the flow-map or initial vorticity. Instead, we adapt the Alinhac's good unknowns to the estimates of full spatial derivatives.


title: Learning Visual-Audio Representations for Voice-Controlled Robots

abstract: Based on the recent advancements in representation learning, we propose a novel pipeline for task-oriented voice-controlled robots with raw sensor inputs. Previous methods rely on a large number of labels and task-specific reward functions. Not only can such an approach hardly be improved after the deployment, but also has limited generalization across robotic platforms and tasks. To address these problems, our pipeline first learns a visual-audio representation (VAR) that associates images and sound commands. Then the robot learns to fulfill the sound command via reinforcement learning using the reward generated by the VAR. We demonstrate our approach with various sound types, robots, and tasks. We show that our method outperforms previous work with much fewer labels. We show in both the simulated and real-world experiments that the system can self-improve in previously unseen scenarios given a reasonable number of newly labeled data.


title: Miniaturizing transmon qubits using van der Waals materials

abstract: Quantum computers can potentially achieve an exponential speedup versus classical computers on certain computational tasks, as recently demonstrated in systems of superconducting qubits. However, these qubits have large footprints due to their large capacitor electrodes needed to suppress losses by avoiding dielectric materials. This tactic hinders scaling by increasing parasitic coupling among circuit components, degrading individual qubit addressability, and limiting the spatial density of qubits. Here, we take advantage of the unique properties of the van der Waals (vdW) materials to reduce the qubit area by a factor of $>1000$ while preserving the required capacitance without increasing substantial loss. Our qubits combine conventional aluminum-based Josephson junctions with parallel-plate capacitors composed of crystalline layers of superconducting niobium diselenide (NbSe$_2$) and insulating hexagonal-boron nitride (hBN). We measure a vdW transmon $T_1$ relaxation time of 1.06 $\mu$s, which demonstrates a path to achieve high-qubit-density quantum processors with long coherence times, and illustrates the broad utility of layered heterostructures in low-loss, high-coherence quantum devices.


title: Robba's method on exponential sums

abstract: In this article, we use Robba's method to give an estimate of the Newton polygon for the L function on torus and we can draw the Newton polygon in some special cases.


title: Frobenius-Ehresmann structures and Cartan geometries in positive characteristic

abstract: The aim of the present paper is to lay the foundation for a theory of Ehresmann structures in positive characteristic, generalizing the Frobenius-projective and Frobenius-affine structures defined in the previous work. This theory deals with atlases of \'{e}tale coordinate charts on varieties modeled on homogenous spaces of algebraic groups, which we call Frobenius-Ehresmann structures. These structures are compared with Cartan geometries in positive characteristic, as well as with higher-dimensional generalizations of dormant indigenous bundles. In particular, we investigate the conditions under which these geometric structures are equivalent to each other. Also, we consider the classification problem of Frobenius-Ehresmann structures on algebraic curves. The latter half of the present paper discusses the deformation theory of indigenous bundles in the algebraic setting. The tangent and obstruction spaces of various deformation functors are computed in terms of the hypercohomology groups of certain complexes. As a consequence, we formulate and prove the Ehresmann-Weil-Thurston principle for Frobenius-Ehresmann structures. This fact asserts that deformations of a variety equipped with a Frobenius-Ehresmann structure are completely determined by their monodromy crystals.


title: Expansion formulas for multiple basic hypergeometric series over root systems

abstract: We extend expansion formulas of Liu given in 2013 to the context of multiple series over root systems. Liu and others have shown the usefulness of these formulas in Special Functions and number-theoretic contexts. We extend Wang and Ma's generalizations of Liu's work which they obtained using $q$-Lagrange inversion. We use the $A_n$ and $C_n$ Bailey transformation and other summation theorems due to Gustafson, Milne, Milne and Lilly, and others, from the theory of $A_n$, $C_n$ and $D_n$ basic hypergeometric series.


title: Doubly heavy tetraquark states $cc\bar{u}\bar{d}$ and $bb\bar{u}\bar{d}$

abstract: Inspired by the recent observation of a very narrow state, called $T_{cc}^+$, by the LHCb collaboration, the possible bound states and low-lying resonance states of the doubly heavy tetraquark states $cc\bar{u}\bar{d}$ ($T_{cc}$) and $bb\bar{u}\bar{d}$ ($T_{bb}$) are searched in the framework of chiral quark model with an accurate few body method, Gaussian expansion method. The real scaling method is also applied to identify the genuine resonance states. In the calculation, the meson-meson structure, diquark-antidiquark structure, as well as their coupling are all considered. The numerical results show that (i) for $T_{cc}$ and $T_{bb}$, only $I(J^P)=0(1^+)$ states are bound in different quark structures. The binding energy varies from a few MeV for meson-meson structure to over 100 MeV for diquark-antidiquark structure. For example for $T_{cc}$, in meson-meson structure, there exists a weakly bound molecule $DD^*$ state around 3841.4 MeV, 1.8 MeV below the $D^0D^{*+}$, which may be a good candidate of the observed state by LHCb; however in diquark-antidiquark structure, a deeper bound sate with mass 3700.9 MeV is obtained; when considering the structure mixing, the energy of system decreases to 3660.7 MeV and the shallow bound state disappears. (ii) Besides bound states, several resonance states for $T_{QQ}(Q=c, b)$ with $I(J^P)=1(0^+), 1(1^+), 1(2^+), 0(1^+)$ are proposed.


title: The principal eigenfunction of the Dirichlet Laplacian with prescribed numbers of critical points on the upper half of a topological torus

abstract: We consider the principal eigenvalue problem for the Laplace-Beltrami operator on the upper half of a topological torus under the Dirichlet boundary condition. We present a construction of the upper half of a topological torus that admits the principal eigenfunction having exact numbers of critical points. Furthermore, we manage to identify the locations of all the critical points of the principal eigenfunction explicitly.


title: The rank of a signed graph in terms of girth

abstract: Let $\Gamma=(G,\sigma)$ be a signed graph and $A(G,\sigma)$ be its adjacency matrix. Denote by $gr(G)$ the girth of $G$, which is the length of the shortest cycle in $G$. Let $r(G,\sigma)$ be the rank of $(G,\sigma)$. In this paper, we will prove that $r(G,\sigma)\geq gr(G)-2$ for a signed graph $(G,\sigma)$. Moreover, we characterize all extremal graphs which satisfy the equalities $r(G,\sigma)=gr(G)-2$ and $r(G,\sigma)=gr(G)$.


title: Two-flavor color superconductivity in the Fierz-transfromed Nambu--Jona-Lasinio model

abstract: The color superconducting phase of two-flavor quark matter is studied under a Fierz-transformed Lagrangian. In the Fierz-transformed Lagrangian both the quark-antiquark and quark-quark channel are included. Two parameters $\alpha$ and $\beta$ are introduced to weight the Fierz-transformed quark-antiquark Lagrangian and quark-quark Lagrangian, respectively. The couplings of different interaction channel are thus fixed by the two coefficients other than five free parameters. The interplay between chiral symmetry restoration and the formation of color superconducting phases are discussed. It is found that the increase of $\alpha$ leads the chiral phase transition from first order to crossover. The calculated specific heat shows jump at critical temperature which confirms the phase transition. The increase of $\beta$ leads the pseudo-critical chemical potential reduce. With large $\beta$ the superconductors gap $\Delta$ can be larger than the typical value and the well-known BCS relation between critical temperature and gap is well fitted.


title: Besov Function Approximation and Binary Classification on Low-Dimensional Manifolds Using Convolutional Residual Networks

abstract: Most of existing statistical theories on deep neural networks have sample complexities cursed by the data dimension and therefore cannot well explain the empirical success of deep learning on high-dimensional data. To bridge this gap, we propose to exploit low-dimensional geometric structures of the real world data sets. We establish theoretical guarantees of convolutional residual networks (ConvResNet) in terms of function approximation and statistical estimation for binary classification. Specifically, given the data lying on a $d$-dimensional manifold isometrically embedded in $\mathbb{R}^D$, we prove that if the network architecture is properly chosen, ConvResNets can (1) approximate Besov functions on manifolds with arbitrary accuracy, and (2) learn a classifier by minimizing the empirical logistic risk, which gives an excess risk in the order of $n^{-\frac{s}{2s+2(s\vee d)}}$, where $s$ is a smoothness parameter. This implies that the sample complexity depends on the intrinsic dimension $d$, instead of the data dimension $D$. Our results demonstrate that ConvResNets are adaptive to low-dimensional structures of data sets.


title: Photonic toroidal vortex

abstract: Toroidal vortices are whirling disturbances rotating about a ring-shaped core while advancing in the direction normal to the ring orifice. Toroidal vortices are commonly found in nature and being studied in a wide range of disciplines. Here we report the experimental observation of photonic toroidal vortex as a new solution to Maxwell's equations with the use of conformal mapping. The helical phase twists around a closed loop leading to an azimuthal local orbital angular momentum density. The preparation of such intriguing light field may offer insights of extending toroidal vortex to other disciplines and find important applications in light-matter interaction, optical manipulation, photonic symmetry and topology, and quantum information.


title: P3FA: Unified Unicast/Multicast Forwarding with Low Egress Diversities

abstract: Multicast is an efficient way to realize one-to-many group communications in large-scale networks such as the Internet. However, the deployment of IP multicast services over the Internet has not been as rapid as expected and needed. Excepting the fatal defects in designing IPv4 address structure. Another main reason that contributes to this slow deployment is the lack of carrier-grade multicast-enabled switches and routers that can be as to scale as their unicast counterparts. Implementing a high-performance switch/router relies on a polynomial-time group membership query algorithm within the Packet Forwarding Engines (PFEs) to determine whether or not a packet is forwarded through an egress. Among these, Bloom filter (BF)-based and Residue Number System (RNS)-based are being considered as two representations of the membership query algorithms. However, both approaches suffer from some fatal weaknesses such as space and time inefficiencies, especially for a carrier-grade PFE with high port-density features. According to similar properties of the prime theorem, we propose a simplified forwarding scheme in this paper, named Per-Port Prime Filter Array (P3FA). The simulation results indicate that the P3FA can significantly improve space efficiencies under specific lower egress-diversities conditions. Under the same space constraints, compared with the SVRF, the multicast time efficiencies, the unicast time efficiency of the P3FA are respectively increased by 12x-17234x and 19x-2038x at a range of port-densities 16-1024, but at the expense of hardware cost, which increased by \r{ho}/2x. A PFE designer that attempts to adopt P3FA should trade-off between required performance and cost.


title: Explicit constructions of some infinite families of finite-dimensional irreducible representations of the type $\mathsf{E}_{6}$ and $\mathsf{E}_{7}$ simple Lie algebras

abstract: We construct every finite-dimensional irreducible representation of the simple Lie algebra of type $\mathsf{E}_{7}$ whose highest weight is a nonnegative integer multiple of the dominant minuscule weight associated with the type $\mathsf{E}_{7}$ root system. As a consequence, we obtain constructions of each finite-dimensional irreducible representation of the simple Lie algebra of type $\mathsf{E}_{6}$ whose highest weight is a nonnegative integer linear combination of the two dominant minuscule $\mathsf{E}$-weights. Our constructions are explicit in the sense that, if the representing space is $d$-dimensional, then a weight basis is provided such that all entries of the $d \times d$ representing matrices of the Chevalley generators are obtained via explicit, non-recursive formulas. To effect this work, we introduce what we call $\mathsf{E}_{6}$- and $\mathsf{E}_{7}$-polyminuscule lattices that analogize certain lattices associated with the famous special linear Lie algebra representation constructions obtained by Gelfand and Tsetlin.


title: Trojan Signatures in DNN Weights

abstract: Deep neural networks have been shown to be vulnerable to backdoor, or trojan, attacks where an adversary has embedded a trigger in the network at training time such that the model correctly classifies all standard inputs, but generates a targeted, incorrect classification on any input which contains the trigger. In this paper, we present the first ultra light-weight and highly effective trojan detection method that does not require access to the training/test data, does not involve any expensive computations, and makes no assumptions on the nature of the trojan trigger. Our approach focuses on analysis of the weights of the final, linear layer of the network. We empirically demonstrate several characteristics of these weights that occur frequently in trojaned networks, but not in benign networks. In particular, we show that the distribution of the weights associated with the trojan target class is clearly distinguishable from the weights associated with other classes. Using this, we demonstrate the effectiveness of our proposed detection method against state-of-the-art attacks across a variety of architectures, datasets, and trigger types.


title: Exploring Strategies for Generalizable Commonsense Reasoning with Pre-trained Models

abstract: Commonsense reasoning benchmarks have been largely solved by fine-tuning language models. The downside is that fine-tuning may cause models to overfit to task-specific data and thereby forget their knowledge gained during pre-training. Recent works only propose lightweight model updates as models may already possess useful knowledge from past experience, but a challenge remains in understanding what parts and to what extent models should be refined for a given task. In this paper, we investigate what models learn from commonsense reasoning datasets. We measure the impact of three different adaptation methods on the generalization and accuracy of models. Our experiments with two models show that fine-tuning performs best, by learning both the content and the structure of the task, but suffers from overfitting and limited generalization to novel answers. We observe that alternative adaptation methods like prefix-tuning have comparable accuracy, but generalize better to unseen answers and are more robust to adversarial splits.


title: Understanding the Social Determinants of Mental Health of the Undergraduate Students in Bangladesh: Interview Study

abstract: Objective: This study aims to identify the social determinants of mental health among undergraduate students in Bangladesh, a developing nation in South Asia. Our goal is to identify the broader social determinants of mental health among this population, study the manifestation of these determinants in their day-to-day life, and explore the feasibility of self-monitoring tools in helping them identify the specific factors or relationships that impact their mental health. Methods: We conducted a 21-day study with 38 undergraduate students from seven universities in Bangladesh. We conducted two semi-structured interviews: one pre-study and one post-study. During the 21-day study, participants used an Android application to self-report and self-monitor their mood after each phone conversation. The app prompted participants to report their mood after each phone conversation and provided graphs and charts so that participants could independently review their mood and conversation patterns. Results: Our results show that academics, family, job and economic condition, romantic relationships, and religion are the major social determinants of mental health among undergraduate students in Bangladesh. Our app helped the participants pinpoint the specific issues related to these factors as participants could review the pattern of their moods and emotions from past conversation history. Although our app does not provide any explicit recommendation, participants took certain steps on their own to improve their mental health (e.g., reduced the frequency of communication with certain persons). Conclusions: Overall, the findings from this study would provide better insights for the researchers to design better solutions to help the younger population from this part of the world.


title: Self-adaptive deep neural network: Numerical approximation to functions and PDEs

abstract: Designing an optimal deep neural network for a given task is important and challenging in many machine learning applications. To address this issue, we introduce a self-adaptive algorithm: the adaptive network enhancement (ANE) method, written as loops of the form train, estimate and enhance. Starting with a small two-layer neural network (NN), the step train is to solve the optimization problem at the current NN; the step estimate is to compute a posteriori estimator/indicators using the solution at the current NN; the step enhance is to add new neurons to the current NN. Novel network enhancement strategies based on the computed estimator/indicators are developed in this paper to determine how many new neurons and when a new layer should be added to the current NN. The ANE method provides a natural process for obtaining a good initialization in training the current NN; in addition, we introduce an advanced procedure on how to initialize newly added neurons for a better approximation. We demonstrate that the ANE method can automatically design a nearly minimal NN for learning functions exhibiting sharp transitional layers as well as discontinuous solutions of hyperbolic partial differential equations.


title: CIM: Class-Irrelevant Mapping for Few-Shot Classification

abstract: Few-shot classification (FSC) is one of the most concerned hot issues in recent years. The general setting consists of two phases: (1) Pre-train a feature extraction model (FEM) with base data (has large amounts of labeled samples). (2) Use the FEM to extract the features of novel data (with few labeled samples and totally different categories from base data), then classify them with the to-be-designed classifier. The adaptability of pre-trained FEM to novel data determines the accuracy of novel features, thereby affecting the final classification performances. To this end, how to appraise the pre-trained FEM is the most crucial focus in the FSC community. It sounds like traditional Class Activate Mapping (CAM) based methods can achieve this by overlaying weighted feature maps. However, due to the particularity of FSC (e.g., there is no backpropagation when using the pre-trained FEM to extract novel features), we cannot activate the feature map with the novel classes. To address this challenge, we propose a simple, flexible method, dubbed as Class-Irrelevant Mapping (CIM). Specifically, first, we introduce dictionary learning theory and view the channels of the feature map as the bases in a dictionary. Then we utilize the feature map to fit the feature vector of an image to achieve the corresponding channel weights. Finally, we overlap the weighted feature map for visualization to appraise the ability of pre-trained FEM on novel data. For fair use of CIM in evaluating different models, we propose a new measurement index, called Feature Localization Accuracy (FLA). In experiments, we first compare our CIM with CAM in regular tasks and achieve outstanding performances. Next, we use our CIM to appraise several classical FSC frameworks without considering the classification results and discuss them.


title: The HD 98800 quadruple pre-main sequence system. Towards full orbital characterisation using long-baseline infrared interferometry

abstract: HD 98800 is a young ($\sim10$ Myr old) and nearby ($\sim45$ pc) quadruple system, composed of two spectroscopic binaries orbiting around each other (AaAb and BaBb), with a gas-rich disk in polar configuration around BaBb. While the orbital parameters of BaBb and AB are relatively well constrained, this is not the case for AaAb. A full characterisation of this quadruple system can provide insights on the formation of such a complex system. The goal of this work is to determine the orbit of the AaAb subsystem and refine the orbital solution of BaBb using multi-epoch interferometric observations with the VLTI/PIONIER and radial velocities. The PIONIER observations provide relative astrometric positions and flux ratios for both AaAa and BaBb subsystems. Combining the astrometric points with radial velocity measurements, we determine the orbital parameters of both subsystems. We refined the orbital solution of BaBb and derived, for the first time, the full orbital solution of AaAb. We confirmed the polar configuration of the circumbinary disk around BaBb. From our solutions, we also inferred the dynamical masses of AaAb ($M_{Aa} = 0.93 \pm 0.09$ and $M_{Ab} = 0.29 \pm 0.02$ M$_{\odot}$). We also revisited the parameters of the AB outer orbit. Using the N-body simulation, we show that the system should be dynamically stable over thousands of orbital periods and that it made preliminary predictions for the transit of the disk in front of AaAb which is estimated to start around 2026. We discuss the lack of a disk around AaAb, which can be explained by the larger X-ray luminosity of AaAb, promoting faster photo-evaporation of the disk. High-resolution infrared spectroscopic observations would provide radial velocities of Aa and Ab (blended lines in contemporary observations), which would allow us to calculate the dynamical masses of Aa and Ab independently of the parallax of BaBb.


title: Near-Field Millimeter-Wave Imaging via Arrays in the Shape of Polyline

abstract: This paper proposes a polyline shaped array based system scheme, associated with mechanical scanning along the perpendicular direction of the array, for near-field millimeter-wave (MMW) imaging. Each section of the polyline is a chord of a circle with equal length. The polyline array, which can be realized as a monostatic array or a multistatic one, is capable of providing more observation angles than the linear or planar arrays. Further, we present the related three-dimensional (3-D) imaging algorithms based on a hybrid processing in the time domain and the spatial frequency domain. The nonuniform fast Fourier transform (NUFFT) is utilized to improve the computational efficiency. Simulations and experimental results are provided to demonstrate the efficacy of the proposed method in comparison with the back-projection (BP) algorithm.


title: A new neighborhood structure for job shop scheduling problems

abstract: Job shop scheduling problem (JSP) is a widely studied NP-complete combinatorial optimization problem. Neighborhood structures play a critical role in solving JSP. At present, there are three state-of-the-art neighborhood structures, i.e., N5, N6, and N7. Improving the upper bounds of some famous benchmarks is inseparable from the role of these neighborhood structures. However, these existing neighborhood structures only consider the movement of critical operations within a critical block. According to our experiments, it is also possible to improve the makespan of a scheduling scheme by moving a critical operation outside its critical block. According to the above finding, this paper proposes a new N8 neighborhood structure considering the movement of critical operations within a critical block and the movement of critical operations outside the critical block. Besides, a neighborhood clipping method is designed to avoid invalid movement, reducing the computational time. Tabu search (TS) is a commonly used algorithm framework combined with neighborhood structures. This paper uses this framework to compare the N8 neighborhood structure with N5, N6, and N7 neighborhood structures on four famous benchmarks. The experimental results verify that the N8 neighborhood structure is more effective and efficient in solving JSP than the other state-of-the-art neighborhood structures.


title: Quasinormal modes in two-photon autocorrelation and the geometric-optics approximation

abstract: In this work, we study the black hole light echoes in terms of the two-photon autocorrelation and explore their connection with the quasinormal modes. It is shown that the above time-domain phenomenon can be analyzed by utilizing the well-known frequency-domain relations between the quasinormal modes and characteristic parameters of null geodesics. We found that the time-domain correlator, obtained by the inverse Fourier transform, naturally acquires the echo feature, which can be attributed to a collective effect of the asymptotic poles through a weighted summation of the squared modulus of the relevant Green's functions. Specifically, the contour integral leads to a summation taking over both the overtone index and angular momentum. Moreover, the dominant contributions to the light echoes are from those in the eikonal limit, consistent with the existing findings using the geometric-optics arguments. For the Schwarzschild black holes, we demonstrate the results numerically by considering a transient spherical light source. Also, for the Kerr spacetimes, we point out a potential difference between the resulting light echoes using the geometric-optics approach and those obtained by the black hole perturbation theory. Possible astrophysical implications of the present study are addressed.


title: Numerical approximations for the fractional Fokker-Planck equation with two-scale diffusion

abstract: Fractional Fokker-Planck equation plays an important role in describing anomalous dynamics. To the best of our knowledge, the existing discussions mainly focus on this kind of equation involving one diffusion operator. In this paper, we first derive the fractional Fokker-Planck equation with two-scale diffusion from the L\'evy process framework, and then the fully discrete scheme is built by using the $L_{1}$ scheme for time discretization and finite element method for space. With the help of the sharp regularity estimate of the solution, we optimally get the spatial and temporal error estimates. Finally, we validate the effectiveness of the provided algorithm by extensive numerical experiments.


title: Datasets: A Community Library for Natural Language Processing

abstract: The scale, variety, and quantity of publicly-available NLP datasets has grown rapidly as researchers propose new tasks, larger models, and novel benchmarks. Datasets is a community library for contemporary NLP designed to support this ecosystem. Datasets aims to standardize end-user interfaces, versioning, and documentation, while providing a lightweight front-end that behaves similarly for small datasets as for internet-scale corpora. The design of the library incorporates a distributed, community-driven approach to adding datasets and documenting usage. After a year of development, the library now includes more than 650 unique datasets, has more than 250 contributors, and has helped support a variety of novel cross-dataset research projects and shared tasks. The library is available at https://github.com/huggingface/datasets.


title: CME-Driven and Flare-Ignited Fast Magnetosonic Waves Successively Detected in a Solar Eruption

abstract: We present SDO/AIA observation of three types of fast-mode propagating magnetosonic waves in a GOES C3.0 flare on 2013 April 23, which was accompanied by a prominence eruption and a broad coronal mass ejection (CME). During the fast rising phase of the prominence, a large-scale dome-shaped extreme ultraviolet (EUV) wave firstly formed ahead of the CME bubble and propagated at a speed of about 430 km/s in the CME's lateral direction. One can identify the separation process of the EUV wave from the CME bubble. The reflection effect of the on-disk counterpart of this EUV wave was also observed when it interacted with a remote active region. Six minutes after the first appearance of the EUV wave, a large-scale quasi-periodic EUV train with a period of about 120 seconds appeared inside the CME bubble, which emanated from the flare epicenter and propagated outward at an average speed up to 1100 km/s. In addition, another narrow quasi-periodic EUV wave train was observed along a closed-loop system connecting two adjacent active regions, which also emanated from the flare epicenter, propagated at a speed of about475 km/s and with a period of about 110 seconds. We propose that all the observed waves are fast-mode magnetosonic waves, in which the large-scale dome-shaped EUV wave ahead of the CME bubble was driven by the expansion of the CME bubble, while the large-scale quasi-periodic EUV train within the CME bubble and the narrow quasi-periodic EUV wave train along the closed-loop system were excited by the intermittent energy-releasing process in the flare. Coronal seismology application and energy carried by the waves are also estimated based on the measured wave parameters.


title: Asymptotic Behavior of the Steady Prandtl Equation

abstract: We study the asymptotic behavior of the Oleinik's solution to the steady Prandtl equation when the outer flow $U(x)=1$. Serrin proved that the Oleinik's solution converges to the famous Blasius solution $\bar u$ in $L^\infty_y$ sense as $x\rightarrow+\infty$. The explicit decay estimates of $u-\bar u$ and its derivatives were proved by Iyer[ARMA 237(2020)] when the initial data is a small localized perturbation of the Blasius profile. In this paper, we prove the explicit decay estimate of $\|u(x,y)-\bar{u}(x,y)\|_{L^\infty_y}$ for general initial data with exponential decay. We also prove the decay estimates of its derivatives when the data has an additional concave assumption. Our proof is based on the maximum principle technique. The key ingredient is to find a series of barrier functions.


title: Convergence rate of a collapsed Gibbs sampler for crossed random effects models

abstract: In this paper, we analyze the convergence rate of a collapsed Gibbs sampler for crossed random effects models. Our results apply to a substantially larger range of models than previous works, including models that incorporate missingness mechanism and unbalanced level data. The theoretical tools involved in our analysis include a connection between relaxation time and autoregression matrix, concentration inequalities, and random matrix theory.


title: Effective Range Expansion for Describing a Virtual State

abstract: I present numerical study of an elastic scattering by solving second order differential equations of Schroedinger Equation for some types of central potential (eg. square well, Yukawa, and Woods-Saxon) to find the wave function inside the potential, and extending the solution with the region outside the range of potential. The wave function outside the range of potential can be expanded in terms of spherical bessel and neumann function. At the boundary, logarithmic derivative is found which becomes a base to compute the phase shift. Once we have a phase shift, the scattering amplitude can then be expanded in terms of polynomial legendre, and the differential cross section can be deduced. Furthermore, the scattering at low energies is studied and the connection to the effective range expansion is discussed to determine the scattering length and effective radius. The signature of the virtual state from the scattering of $1$ neutron from $11$ nucleons are found for each potential and the energies are best described by the inclusion of the $\mathcal{O}(k^{10})$ in the effective range expansion.


title: A modification of the linear sieve, and the count of twin primes

abstract: We introduce a modification of the linear sieve whose weights satisfy strong factorization properties, and consequently equidistribute primes up to size $x$ in arithmetic progressions to moduli up to $x^{10/17}$. This surpasses the level of distribution $x^{4/7}$ with the linear sieve weights from well-known work of Bombieri, Friedlander, and Iwaniec, and which was recently extended to $x^{7/12}$ by Maynard. As an application, we obtain a new upper bound on the count of twin primes. Our method simplifies the 2004 argument of Wu, and gives the largest percentage improvement since the 1986 bound of Bombieri, Friedlander, and Iwaniec.


title: Defending a Perimeter from a Ground Intruder Using an Aerial Defender: Theory and Practice

abstract: The perimeter defense game has received interest in recent years as a variant of the pursuit-evasion game. A number of previous works have solved this game to obtain the optimal strategies for defender and intruder, but the derived theory considers the players as point particles with first-order assumptions. In this work, we aim to apply the theory derived from the perimeter defense problem to robots with realistic models of actuation and sensing and observe performance discrepancy in relaxing the first-order assumptions. In particular, we focus on the hemisphere perimeter defense problem where a ground intruder tries to reach the base of a hemisphere while an aerial defender constrained to move on the hemisphere aims to capture the intruder. The transition from theory to practice is detailed, and the designed system is simulated in Gazebo. Two metrics for parametric analysis and comparative study are proposed to evaluate the performance discrepancy.


title: The DKU-DukeECE System for the Self-Supervision Speaker Verification Task of the 2021 VoxCeleb Speaker Recognition Challenge

abstract: This report describes the submission of the DKU-DukeECE team to the self-supervision speaker verification task of the 2021 VoxCeleb Speaker Recognition Challenge (VoxSRC). Our method employs an iterative labeling framework to learn self-supervised speaker representation based on a deep neural network (DNN). The framework starts with training a self-supervision speaker embedding network by maximizing agreement between different segments within an utterance via a contrastive loss. Taking advantage of DNN's ability to learn from data with label noise, we propose to cluster the speaker embedding obtained from the previous speaker network and use the subsequent class assignments as pseudo labels to train a new DNN. Moreover, we iteratively train the speaker network with pseudo labels generated from the previous step to bootstrap the discriminative power of a DNN. Also, visual modal data is incorporated in this self-labeling framework. The visual pseudo label and the audio pseudo label are fused with a cluster ensemble algorithm to generate a robust supervisory signal for representation learning. Our submission achieves an equal error rate (EER) of 5.58% and 5.59% on the challenge development and test set, respectively.


title: Twisted Equivalences in Spectral Algebraic Geometry

abstract: We study twisted derived equivalences for schemes in the setting of spectral algebraic geometry. To this end, we introduce the notion of a twisted equivalence and show that a twisted equivalence for perfect spectral algebraic stacks admitting a quasi-finite presentation supplies an equivalence between the stacks, which compensate for the failure of twisted derived equivalences for non-affine schemes to provide an isomorphism of the schemes. In the case of (not necessarily connective) commutative ring spectra, we also prove a spectral analogue of Rickard's theorem, which shows that a derived equivalence of associative rings induces an isomorphism between their centers.


abstract: This paper presents a relativistic version of Newtonian Fractional-Dimension Gravity (NFDG), an alternative gravitational model recently introduced and based on the theory of fractional-dimension spaces. This extended version - Relativistic Fractional-Dimension Gravity (RFDG) - is based on other existing theories in the literature and might be useful for astrophysical and cosmological applications. In particular, we review the mathematical theory for spaces with non-integer dimensions and its connections with the non-relativistic NFDG. The Euler-Lagrange equations for scalar fields can also be extended to spaces with fractional dimensions, by adding an appropriate weight factor, and then can be used to generalize the Laplacian operator for rectangular, spherical, and cylindrical coordinates. In addition, the same weight factor can be added to the standard Hilbert action in order to obtain the field equations, following methods used for scalar-tensor models of gravity, multi-scale spacetimes, and fractional gravity theories. We then apply the field equations to standard cosmology and to the Friedmann-Lema\^itre-Robertson-Walker metric. Using a suitable weight $v_{t}\left(t\right)$, depending on the synchronous time $t$ and on a single time-dimension parameter $\alpha _{t}$, we extend the Friedmann equations to the RFDG case. This allows for the computation of the scale factor $a\left(t\right)$ for different values of the fractional time-dimension $\alpha _{t}$ and the comparison with standard cosmology results. Future additional work on the subject, including studies of the cosmological late-time acceleration, type Ia supernovae data, and related dark energy theory will be needed to establish this model as a relativistic alternative theory of gravity.


title: Radial excitation of light mesons and the $\gamma \gamma^* \rightarrow \pi^0$ transition form factor

abstract: We investigate radial excitation of the quark-antiquark pair in the $\pi^0$ meson and its effects on the $\gamma \gamma^* \rightarrow \pi^0$ transition form factor in the framework of light-cone perturbative QCD. The existing constraints on the light-cone wave function of the lowest Fock state $|q { \bar q} \rangle$ in the $\pi^0$ meson allow a sizeable radial excitation of the quark-antiquark pair. We construct the light-cone wave function for the quark-antiquark pair in the first radially excited state (the 2S state) using a simple harmonic oscillator potential. The distribution amplitude obtained for the 2S state has two nodes in $x$ at low scale of $Q$ and thereby has a much strong scale dependence than the 1S state. Contributions from this radial excitation to the $\gamma \gamma^* \rightarrow \pi^0$ transition form factor exhibit different $Q^2$-dependence behavior from the ground state and thus can modify the prediction for the transition form factor in the medium-large region of $Q^2$.


title: Bubble towers in the ancient solution of energy-critical heat equation

abstract: We construct a radially smooth positive ancient solution for energy critical semi-linear heat equation in $\mathbb{R}^n$, $n\geq 7$. It blows up at the origin with the profile of multiple Talenti bubbles in the backward time infinity.


title: Higher dimensional Lie algebroid sigma model with WZ term

abstract: We generalize the $(n+1)$-dimensional twisted $R$-Poisson topological sigma model with flux on a target Poisson manifold to a Lie algebroid. Analyzing consistency of constraints in the Hamiltonian formalism and the gauge symmetry in the Lagrangian formalism, geometric conditions of the target space to make the topological sigma model consistent are identified. The geometric condition is an universal compatibility condition of a Lie algebroid with the multi-symplectic structure. This condition is a generalization of the momentum map theory of a Lie group and is regarded as a generalization of the momentum section condition of the Lie algebroid.


title: Hyper Meta-Path Contrastive Learning for Multi-Behavior Recommendation

abstract: User purchasing prediction with multi-behavior information remains a challenging problem for current recommendation systems. Various methods have been proposed to address it via leveraging the advantages of graph neural networks (GNNs) or multi-task learning. However, most existing works do not take the complex dependencies among different behaviors of users into consideration. They utilize simple and fixed schemes, like neighborhood information aggregation or mathematical calculation of vectors, to fuse the embeddings of different user behaviors to obtain a unified embedding to represent a user's behavioral patterns which will be used in downstream recommendation tasks. To tackle the challenge, in this paper, we first propose the concept of hyper meta-path to construct hyper meta-paths or hyper meta-graphs to explicitly illustrate the dependencies among different behaviors of a user. How to obtain a unified embedding for a user from hyper meta-paths and avoid the previously mentioned limitations simultaneously is critical. Thanks to the recent success of graph contrastive learning, we leverage it to learn embeddings of user behavior patterns adaptively instead of assigning a fixed scheme to understand the dependencies among different behaviors. A new graph contrastive learning based framework is proposed by coupling with hyper meta-paths, namely HMG-CR, which consistently and significantly outperforms all baselines in extensive comparison experiments.


title: Hierarchical Graph Convolutional Skeleton Transformer for Action Recognition

abstract: Graph convolutional networks (GCNs) have emerged as dominant methods for skeleton-based action recognition. However, they still suffer from two problems, namely, neighborhood constraints and entangled spatiotemporal feature representations. Most studies have focused on improving the design of graph topology to solve the first problem but they have yet to fully explore the latter. In this work, we design a disentangled spatiotemporal transformer (DSTT) block to overcome the above limitations of GCNs in three steps: (i) feature disentanglement for spatiotemporal decomposition;(ii) global spatiotemporal attention for capturing correlations in the global context; and (iii) local information enhancement for utilizing more local information. Thereon, we propose a novel architecture, named Hierarchical Graph Convolutional skeleton Transformer (HGCT), to employ the complementary advantages of GCN (i.e., local topology, temporal dynamics and hierarchy) and Transformer (i.e., global context and dynamic attention). HGCT is lightweight and computationally efficient. Quantitative analysis demonstrates the superiority and good interpretability of HGCT.


title: Extended geometry of Gambini-Olmedo-Pullin polymer black hole and its quasinormal spectrum

abstract: In this paper we systematically study a model of spherically symmetric polymer black holes recently proposed by Gambini, Olmedo, and Pullin (GOP). Within the framework of loop quantum gravity, the quantum parameters in the GOP model depend on the minimal area gap and the size of the discretization of the physical states. In this model, a spacelike transition surface takes place of the classical singularity. By means of coordinate transformations, we first extend the metric to the white hole region, and find that the geometric structure of the quantum black hole is similar to the wormhole structure, and the radius of the most quantum region is equal to the wormhole radius. In addition, we show that the energy conditions are violated not only at throat, but also at horizons and the spatial infinities. In order to show how the quantum effects affect the spacetimes, we calculate the Ricci and Kretschmann scalars at different places. It turns out that, as expected, the most quantum region is at the throat. Finally, we consider the quasinormal modes (QNMs) of massless scalar field perturbations, electromagnetic field perturbations, and axial gravitational perturbations. QNMs in the Eikonal limits are also considered. As anticipated, the spectrum of QNMs deviates from that of the classical case due to quantum effects. Interestingly, our results show that the quasinormal frequencies of the perturbations share the same qualitative tendency while setting quantum parameters with various values in this effective model, even if the potential deviations are different with different spins.


title: Quantum-Classical Hybrid Machine Learning for Image Classification (ICCAD Special Session Paper)

abstract: Image classification is a major application domain for conventional deep learning (DL). Quantum machine learning (QML) has the potential to revolutionize image classification. In any typical DL-based image classification, we use convolutional neural network (CNN) to extract features from the image and multi-layer perceptron network (MLP) to create the actual decision boundaries. On one hand, QML models can be useful in both of these tasks. Convolution with parameterized quantum circuits (Quanvolution) can extract rich features from the images. On the other hand, quantum neural network (QNN) models can create complex decision boundaries. Therefore, Quanvolution and QNN can be used to create an end-to-end QML model for image classification. Alternatively, we can extract image features separately using classical dimension reduction techniques such as, Principal Components Analysis (PCA) or Convolutional Autoencoder (CAE) and use the extracted features to train a QNN. We review two proposals on quantum-classical hybrid ML models for image classification namely, Quanvolutional Neural Network and dimension reduction using a classical algorithm followed by QNN. Particularly, we make a case for trainable filters in Quanvolution and CAE-based feature extraction for image datasets (instead of dimension reduction using linear transformations such as, PCA). We discuss various design choices, potential opportunities, and drawbacks of these models. We also release a Python-based framework to create and explore these hybrid models with a variety of design choices.


title: Refinement of Hottopixx Method for Nonnegative Matrix Factorization Under Noisy Separability

abstract: Hottopixx, proposed by Bittorf et al. at NIPS 2012, is an algorithm for solving nonnegative matrix factorization (NMF) problems under the separability assumption. Separable NMFs have important applications, such as topic extraction from documents and unmixing of hyperspectral images. In such applications, the robustness of the algorithm to noise is the key to the success. Hottopixx has been shown to be robust to noise, and its robustness can be further enhanced through postprocessing. However, there is a drawback. Hottopixx and its postprocessing require us to estimate the noise level involved in the matrix we want to factorize before running, since they use it as part of the input data. The noise-level estimation is not an easy task. In this paper, we overcome this drawback. We present a refinement of Hottopixx and its postprocessing that runs without prior knowledge of the noise level. We show that the refinement has almost the same robustness to noise as the original algorithm.


title: First-principles prediction of pressure dependent mechanical, electronic, optical, and superconducting state properties of NaC6: A potential high-Tc superconductor

abstract: Very recently carbon-rich NaC6 with sodalite-like structure has been predicted to show superconducting transition temperature above 100 K at relatively low applied (compared to high-Tc hydrides) hydrostatic pressures. We have investigated the pressure dependent structural, elastic, electronic, superconducting state, and optoelectronic properties of NaC6 in this study. Some important thermophysical properties have also been explored. The elastic properties along with Poisson's and Pugh's ratios and optoelectronic parameters are investigated for the first time. NaC6 was found to be structurally stable only at high pressures at and above 40 GPa, in agreement with previous study. The compound is highly ductile and the chemical bonding is predominantly metallic in nature. The Debye temperature shows strong pressure dependence. The Gruneisen parameter also exhibits significant pressure dependence. The electronic band structure reveals metallic character and consists of highly dispersive and almost flat bands crossing the Fermi level. Both the electronic density of states at the Fermi level and repulsive Coulomb pseudopotential increase gradually with increasing pressure in the range 40 GPa to 70 Gpa. The degree of dispersion in the E(k) curves depend weakly on pressure both in the valence and conduction bands. The optical parameters spectra, studied for the first time, correspond well with the electronic band structure. NaC6 absorbs and reflects electromagnetic radiation quite efficiently in the mid-ultraviolet region. Superconducting transition temperatures of NaC6 have been estimated at different pressures and compared with previously reported values. The effects of various parameters on Tc have been discussed in details.


abstract: The task of news article image captioning aims to generate descriptive and informative captions for news article images. Unlike conventional image captions that simply describe the content of the image in general terms, news image captions follow journalistic guidelines and rely heavily on named entities to describe the image content, often drawing context from the whole article they are associated with. In this work, we propose a new approach to this task, motivated by caption guidelines that journalists follow. Our approach, Journalistic Guidelines Aware News Image Captioning (JoGANIC), leverages the structure of captions to improve the generation quality and guide our representation design. Experimental results, including detailed ablation studies, on two large-scale publicly available datasets show that JoGANIC substantially outperforms state-of-the-art methods both on caption generation and named entity related metrics.


title: Readying Medical Students for Medical AI: The Need to Embed AI Ethics Education

abstract: Medical students will almost inevitably encounter powerful medical AI systems early in their careers. Yet, contemporary medical education does not adequately equip students with the basic clinical proficiency in medical AI needed to use these tools safely and effectively. Education reform is urgently needed, but not easily implemented, largely due to an already jam-packed medical curricula. In this article, we propose an education reform framework as an effective and efficient solution, which we call the Embedded AI Ethics Education Framework. Unlike other calls for education reform to accommodate AI teaching that are more radical in scope, our framework is modest and incremental. It leverages existing bioethics or medical ethics curricula to develop and deliver content on the ethical issues associated with medical AI, especially the harms of technology misuse, disuse, and abuse that affect the risk-benefit analyses at the heart of healthcare. In doing so, the framework provides a simple tool for going beyond the "What?" and the "Why?" of medical AI ethics education, to answer the "How?", giving universities, course directors, and/or professors a broad road-map for equipping their students with the necessary clinical proficiency in medical AI.


title: Refining BERT Embeddings for Document Hashing via Mutual Information Maximization

abstract: Existing unsupervised document hashing methods are mostly established on generative models. Due to the difficulties of capturing long dependency structures, these methods rarely model the raw documents directly, but instead to model the features extracted from them (e.g. bag-of-words (BOW), TFIDF). In this paper, we propose to learn hash codes from BERT embeddings after observing their tremendous successes on downstream tasks. As a first try, we modify existing generative hashing models to accommodate the BERT embeddings. However, little improvement is observed over the codes learned from the old BOW or TFIDF features. We attribute this to the reconstruction requirement in the generative hashing, which will enforce irrelevant information that is abundant in the BERT embeddings also compressed into the codes. To remedy this issue, a new unsupervised hashing paradigm is further proposed based on the mutual information (MI) maximization principle. Specifically, the method first constructs appropriate global and local codes from the documents and then seeks to maximize their mutual information. Experimental results on three benchmark datasets demonstrate that the proposed method is able to generate hash codes that outperform existing ones learned from BOW features by a substantial margin.


title: HMSG: Heterogeneous Graph Neural Network based on Metapath Subgraph Learning

abstract: Many real-world data can be represented as heterogeneous graphs with different types of nodes and connections. Heterogeneous graph neural network model aims to embed nodes or subgraphs into low-dimensional vector space for various downstream tasks such as node classification, link prediction, etc. Although several models were proposed recently, they either only aggregate information from the same type of neighbors, or just indiscriminately treat homogeneous and heterogeneous neighbors in the same way. Based on these observations, we propose a new heterogeneous graph neural network model named HMSG to comprehensively capture structural, semantic and attribute information from both homogeneous and heterogeneous neighbors. Specifically, we first decompose the heterogeneous graph into multiple metapath-based homogeneous and heterogeneous subgraphs, and each subgraph associates specific semantic and structural information. Then message aggregation methods are applied to each subgraph independently, so that information can be learned in a more targeted and efficient manner. Through a type-specific attribute transformation, node attributes can also be transferred among different types of nodes. Finally, we fuse information from subgraphs together to get the complete representation. Extensive experiments on several datasets for node classification, node clustering and link prediction tasks show that HMSG achieves the best performance in all evaluation metrics than state-of-the-art baselines.


title: The Sensory Neuron as a Transformer: Permutation-Invariant Neural Networks for Reinforcement Learning

abstract: In complex systems, we often observe complex global behavior emerge from a collection of agents interacting with each other in their environment, with each individual agent acting only on locally available information, without knowing the full picture. Such systems have inspired development of artificial intelligence algorithms in areas such as swarm optimization and cellular automata. Motivated by the emergence of collective behavior from complex cellular systems, we build systems that feed each sensory input from the environment into distinct, but identical neural networks, each with no fixed relationship with one another. We show that these sensory networks can be trained to integrate information received locally, and through communication via an attention mechanism, can collectively produce a globally coherent policy. Moreover, the system can still perform its task even if the ordering of its inputs is randomly permuted several times during an episode. These permutation invariant systems also display useful robustness and generalization properties that are broadly applicable. Interactive demo and videos of our results: https://attentionneuron.github.io/


title: Convergence of a spectral regularization of a time-reversed reaction-diffusion problem with high-order Sobolev-Gevrey smoothness

abstract: The present paper analyzes a spectral regularization of a time-reversed reaction-diffusion problem with globally and locally Lipschitz nonlinearities. This type of inverse and ill-posed problems arises in a variety of real-world applications concerning heat conduction and tumour source localization. In accordance with the weak solvability result for the forward problem, we focus on the inverse problem with high-order Sobolev-Gevrey smoothness and with Sobolev measurements. As expected from the well-known results for the linear case, we prove that this nonlinear spectral regularization possesses a logarithmic rate of convergence in a high-order Sobolev norm. The proof can be done by the verification of variational source condition; this way validates such a fine strategy in the framework of inverse problems for nonlinear partial differential equations. Ultimately, we study a semi-discrete version of the regularization method for a class of reaction-diffusion problems with non-degenerate nonlinearity. The convergence of this iterative scheme is also investigated.


title: Creating moving gap solitons in spin-orbit-coupled Bose-Einstein condensates

abstract: A simple and efficient method to create gap solitons is proposed in a spin-orbit-coupled spin-1 Bose-Einstein condensate. We find that a free expansion along the spin-orbit coupling dimension can generate two moving gap solitons, which are identified from a generalized massive Thirring model. The dynamics of gap solitons can be controlled by adjusting spin-orbit coupling parameters.


title: Moment Matching Method for Pricing Spread Options with Mean-Variance Mixture L\'evy Motions

abstract: The paper Borovkova et al. [4] uses moment matching method to obtain closed form formulas for spread and basket call option prices under log normal models. In this note, we also use moment matching method to obtain semi-closed form formulas for the price of spread options under exponential L\'evy models with mean-variance mixture. Unlike the semi-closed form formulas in Caldana and Fusai [5], where spread prices were expressed by using Fourier inversion formula for general price dynamics, our formula expresses spread prices in terms of the mixing distribution. Numerical tests show that our formulas give accurate spread prices also


title: Emerging quantum computing algorithms for quantum chemistry

abstract: Digital quantum computers provide a computational framework for solving the Schr\"{o}dinger equation for a variety of many-particle systems. Quantum computing algorithms for the quantum simulation of these systems have recently witnessed remarkable growth, notwithstanding the limitations of existing quantum hardware, especially as a tool for electronic structure computations in molecules. In this review, we provide a self-contained introduction to emerging algorithms for the simulation of Hamiltonian dynamics and eigenstates, with emphasis on their applications to the electronic structure in molecular systems. Theoretical foundations and implementation details of the method are discussed, and their strengths, limitations, and recent advances are presented.


title: DeepFakes: Detecting Forged and Synthetic Media Content Using Machine Learning

abstract: The rapid advancement in deep learning makes the differentiation of authentic and manipulated facial images and video clips unprecedentedly harder. The underlying technology of manipulating facial appearances through deep generative approaches, enunciated as DeepFake that have emerged recently by promoting a vast number of malicious face manipulation applications. Subsequently, the need of other sort of techniques that can assess the integrity of digital visual content is indisputable to reduce the impact of the creations of DeepFake. A large body of research that are performed on DeepFake creation and detection create a scope of pushing each other beyond the current status. This study presents challenges, research trends, and directions related to DeepFake creation and detection techniques by reviewing the notable research in the DeepFake domain to facilitate the development of more robust approaches that could deal with the more advance DeepFake in the future.


title: Morphological Evolution of the Hosts of Far-Infrared/Submillimeter Galaxies

abstract: We present a host morphological study of 1266 far-infrared galaxies (FIRGs) and submillimeter galaxies (SMGs) in the Cosmic Evolution Survey field using the F160W and F814W images obtained by the Hubble Space Telescope. The FIRGs and SMGs are selected from the Herschel Multi-tiered Extragalactic Survey and the SCUBA-2 Cosmology Legacy Survey, respectively. Their precise locations are based on the interferometry data from the Atacama Large Millimeter/submillimeter Array and the Very Large Array. These objects are mostly at $0.1\lesssim z\lesssim 3$. The SMGs can be regarded as the population at the high-redshift tail of the FIRGs. Most of our FIRGs/SMGs have a total infrared luminosity ($L_{\rm IR}$) in the regimes of luminous and ultraluminous infrared galaxies (LIRGs, $L_{\rm IR} = 10^{11-12}L_\odot$; ULIRGs, $L_{\rm IR}>10^{12}L_\odot$). The hosts of the SMG ULIRGs, FIRG ULIRGs, and FIRG LIRGs are of sufficient numbers to allow for detailed analysis, and they are only modestly different in their stellar masses. Their morphological types are predominantly disk galaxies (type D) and irregular/interacting systems (type Irr/Int). There is a morphological transition at $z\approx 1.25$ for the FIRG ULIRG hosts, above which the Irr/Int galaxies dominate and below which the D and Irr/Int galaxies have nearly the same contributions. The SMG ULIRG hosts seem to experience a similar transition. This suggests a shift in the relative importance of galaxy mergers/interactions versus secular gas accretions in "normal" disk galaxies as the possible triggering mechanisms of ULIRGs. The FIRG LIRG hosts are predominantly D galaxies over $z=$ 0.25--1.25, where they are of sufficient statistics.


title: Interpolating estimates with applications to some quantitative symmetry results

abstract: We prove interpolating estimates providing a bound for the oscillation of a function in terms of two $L^p$ norms of its gradient. They are based on a pointwise bound of a function on cones in terms of the Riesz potential of its gradient. The estimates hold for a general class of domains, including, e.g., Lipschitz domains. All the constants involved can be explicitly computed. As an application, we show how to use these estimates to obtain stability for Alexandrov's Soap Bubble Theorem and Serrin's overdetermined boundary value problem. The new approach results in several novelties and benefits for these problems.


title: On the minimum degree of minimal Ramsey graphs for cliques versus cycles

abstract: A graph $G$ is said to be $q$-Ramsey for a $q$-tuple of graphs $(H_1,\ldots,H_q)$, denoted by $G\to_q(H_1,\ldots,H_q)$, if every $q$-edge-coloring of $G$ contains a monochromatic copy of $H_i$ in color $i,$ for some $i\in[q]$. Let $s_q(H_1,\ldots,H_q)$ denote the smallest minimum degree of $G$ over all graphs $G$ that are minimal $q$-Ramsey for $(H_1,\ldots,H_q)$ (with respect to subgraph inclusion). The study of this parameter was initiated in 1976 by Burr, Erd\H{o}s and Lov\'asz, who determined its value precisely for a pair of cliques. Over the past two decades the parameter $s_q$ has been studied by several groups of authors, the main focus being on the symmetric case, where $H_i\cong H$ for all $i\in [q]$. The asymmetric case, in contrast, has received much less attention. In this paper, we make progress in this direction, studying asymmetric tuples consisting of cliques, cycles and trees. We determine $s_2(H_1,H_2)$ when $(H_1,H_2)$ is a pair of one clique and one tree, a pair of one clique and one cycle, and when it is a pair of two different cycles. We also generalize our results to multiple colors and obtain bounds on $s_q(C_\ell,\ldots,C_\ell,K_t,\ldots,K_t)$ in terms of the size of the cliques $t$, the number of cycles, and the number of cliques. Our bounds are tight up to logarithmic factors when two of the three parameters are fixed.


title: FixMe: A GitHub Bot for Detecting and Monitoring On-Hold Self-Admitted Technical Debt

abstract: Self-Admitted Technical Debt (SATD) is a special form of technical debt in which developers intentionally record their hacks in the code by adding comments for attention. Here, we focus on issue-related "On-hold SATD", where developers suspend proper implementation due to issues reported inside or outside the project. When the referenced issues are resolved, the On-hold SATD also need to be addressed, but since monitoring these issue reports takes a lot of time and effort, developers may not be aware of the resolved issues and leave the On-hold SATD in the code. In this paper, we propose FixMe, a GitHub bot that helps developers detecting and monitoring On-hold SATD in their repositories and notify them whenever the On-hold SATDs are ready to be fixed (i.e. the referenced issues are resolved). The bot can automatically detect On-hold SATD comments from source code using machine learning techniques and discover referenced issues. When the referenced issues are resolved, developers will be notified by FixMe bot. The evaluation conducted with 11 participants shows that our FixMe bot can support them in dealing with On-hold SATD. FixMe is available at https://www.fixmebot.app/ and FixMe's VDO is at https://youtu.be/YSz9kFxN_YQ.


title: Justification of the Hydrostatic Approximation of the Primitive Equations in Anisotropic Space $L^\infty_H L^q_{x_3}(\Torus^3)$

abstract: The primitive equations are fundamental models in geophysical fluid dynamics and derived from the scaled Navier-Stokes equations. In the primitive equations, the evolution equation to the vertical velocity is replaced by the so-called hydrostatic approximation. In this paper, we give a justification of the hydrostatic approximation by the scaled Navier-Stoke equations in anisotropic spaces $L^\infty_H L^q_{x_3} (\Torus^3)$ for $q \geq 1$.


title: Analog Schwarzschild black hole from a nonisentropic fluid

abstract: We study the conditions under which an analog acoustic geometry of a relativistic fluid in flat spacetime can take the same form as the Schwarzschild black hole geometry. We find that the speed of sound must necessarily be equal to the speed of light. Since the speed of the fluid cannot exceed the speed of light, this implies that analog Schwarzschild geometry necessarily breaks down behind the horizon.