title: Gappy spectral proper orthogonal decomposition

abstract: Experimental spatio-temporal flow data often contain gaps or other types of undesired artifacts. To reconstruct flow data in the compromised or missing regions, a data completion method based on spectral proper orthogonal decomposition (SPOD) is developed. The algorithm leverages the temporal correlation of the SPOD modes with preceding and succeeding snapshots, and their spatial correlation with the surrounding data at the same time instant. For each gap, the algorithm first computes the SPOD of the remaining, unaffected data. In the next step, the compromised data are projected onto the basis of the SPOD modes. This corresponds to a local inversion of the SPOD problem and yields expansion coefficients that permit the reconstruction in the affected regions. This local reconstruction is successively applied to each gap. After all gaps are filled in, the procedure is repeated in an iterative manner until convergence. This method is demonstrated on two examples: direct numerical simulation of laminar flow around a cylinder, and time-resolved PIV data of turbulent cavity flow obtained by Zhang et al. (2019). Randomly added gaps correspond to 1%, 5%, and 20% of data loss. Even for 20% data corruption, and in the presence of measurement noise in the experimental data, the algorithm recovers 97% and 80% of the original data in the corrupted regions of the simulation and PIV data, respectively. These values are higher than those achieved by established methods like gappy POD and Kriging.


title: RBF-FD discretization of the Navier-Stokes equations on scattered but staggered nodes

abstract: A semi-implicit fractional-step method that uses a staggered node layout and radial basis function-finite differences (RBF-FD) to solve the incompressible Navier-Stokes equations is developed. Polyharmonic splines (PHS) with polynomial augmentation (PHS+poly) are used to construct the global differentiation matrices. A systematic parameter study identifies a combination of stencil size, PHS exponent, and polynomial degree that minimizes the truncation error for a wave-like test function on scattered nodes. Classical modified wavenumber analysis is extended to RBF-FDs on heterogeneous node distributions and used to confirm that the accuracy of the selected 28-point stencil is comparable to that of spectral-like, 6th-order Pad\'e-type finite differences. The Navier-Stokes solver is demonstrated on two benchmark problems, internal flow in a lid-driven cavity in the Reynolds number regime $10^2\leq$Re$\leq10^4$, and open flow around a cylinder at Re=100 and 200. The combination of grid staggering and careful parameter selection facilitates accurate and stable simulations at significantly lower resolutions than previously reported, using more compact RBF-FD stencils, without special treatment near solid walls, and without the need for hyperviscosity or other means of regularization.


title: Towards Alternative Techniques for Improving Adversarial Robustness: Analysis of Adversarial Training at a Spectrum of Perturbations

abstract: Adversarial training (AT) and its variants have spearheaded progress in improving neural network robustness to adversarial perturbations and common corruptions in the last few years. Algorithm design of AT and its variants are focused on training models at a specified perturbation strength $\epsilon$ and only using the feedback from the performance of that $\epsilon$-robust model to improve the algorithm. In this work, we focus on models, trained on a spectrum of $\epsilon$ values. We analyze three perspectives: model performance, intermediate feature precision and convolution filter sensitivity. In each, we identify alternative improvements to AT that otherwise wouldn't have been apparent at a single $\epsilon$. Specifically, we find that for a PGD attack at some strength $\delta$, there is an AT model at some slightly larger strength $\epsilon$, but no greater, that generalizes best to it. Hence, we propose overdesigning for robustness where we suggest training models at an $\epsilon$ just above $\delta$. Second, we observe (across various $\epsilon$ values) that robustness is highly sensitive to the precision of intermediate features and particularly those after the first and second layer. Thus, we propose adding a simple quantization to defenses that improves accuracy on seen and unseen adaptive attacks. Third, we analyze convolution filters of each layer of models at increasing $\epsilon$ and notice that those of the first and second layer may be solely responsible for amplifying input perturbations. We present our findings and demonstrate our techniques through experiments with ResNet and WideResNet models on the CIFAR-10 and CIFAR-10-C datasets.


title: SN 2019zrk, a bright SN 2009ip analog with a precursor

abstract: We present photometric and spectroscopic observations of the Type IIn supernova SN 2019zrk (also known as ZTF20aacbyec). The SN shows a $\gtrsim$ 100 day precursor, with a slow rise, followed by a rapid rise to M $\sim -19.2$ in the $r$ and $g$ bands. The post-peak light-curve decline is well fit with an exponential decay with a timescale of $\sim 39$ days, but it shows prominent undulations, with an amplitude of $\sim 1$ mag. Both the light curve and spectra are dominated by an interaction with a dense circumstellar medium (CSM), probably from previous mass ejections. The spectra evolve from a scattering-dominated Type IIn spectrum to a spectrum with strong P-Cygni absorptions. The expansion velocity is high, $\sim 16,000$ km s$^{-1}$, even in the last spectra. The last spectrum $\sim 110$ days after the main eruption reveals no evidence for advanced nucleosynthesis. From analysis of the spectra and light curves, we estimate the mass-loss rate to be $\sim 4 \times 10^{-2}$ M$_\odot$ yr$^{-1}$ for a CSM velocity of 100 km s$^{-1}$, and a CSM mass of $\gtrsim 1$ M$_\odot$. We find strong similarities for both the precursor, general light curve, and spectral evolution with SN 2009ip and similar SNe, although SN 2019zrk displays a brighter peak magnitude. Different scenarios for the nature of the 09ip-class of SNe, based on pulsational pair instability eruptions, wave heating, and mergers, are discussed. }


title: Fast Computation of Highly G-optimal Exact Designs via Particle Swarm Optimization

abstract: Computing proposed exact $G$-optimal designs for response surface models is a difficult computation that has received incremental improvements via algorithm development in the last two-decades. These optimal designs have not been considered widely in applications in part due to the difficulty and cost involved with computing them. Three primary algorithms for constructing exact $G$-optimal designs are presented in the literature: the coordinate exchange (CEXCH), a genetic algorithm (GA), and the relatively new $G$-optimal via $I_\lambda$-optimality algorithm ($G(I_\lambda)$-CEXCH) which was developed in part to address large computational cost. Particle swarm optimization (PSO) has achieved widespread use in many applications, but to date, its broad-scale success notwithstanding, has seen relatively few applications in optimal design problems. In this paper we develop an extension of PSO to adapt it to the optimal design problem. We then employ PSO to generate optimal designs for several scenarios covering $K = 1, 2, 3, 4, 5$ design factors, which are common experimental sizes in industrial experiments. We compare these results to all $G$-optimal designs published in last two decades of literature. Published $G$-optimal designs generated by GA for $K=1, 2, 3$ factors have stood unchallenged for 14 years. We demonstrate that PSO has found improved $G$-optimal designs for these scenarios, and it does this with comparable computational cost to the state-of-the-art algorithm $G(I_\lambda)$-CEXCH. Further, we show that PSO is able to produce equal or better $G$-optimal designs for $K= 4, 5$ factors than those currently known. These results suggest that PSO is superior to existing approaches for efficiently generating highly $G$-optimal designs.


title: Activity gradients in two- and three-dimensional active nematics

abstract: We numerically investigate how spatial variations of extensile or contractile active stress affect bulk active nematic systems in two and three dimensions. In the absence of defects, activity gradients drive flows which re-orient the nematic director field and thus act as an effective anchoring force. At high activity, defects are created and the system transitions into active turbulence, a chaotic flow state characterized by strong vorticity. We find that in two-dimensional (2D) systems active torques robustly align $+1/2$ defects parallel to activity gradients, with defect heads pointing towards contractile regions. In three-dimensional (3D) active nematics disclination lines preferentially lie in the plane perpendicular to activity gradients due to active torques acting on line segments. The average orientation of the defect structures in the plane perpendicular to the line tangent depends on the defect type, where wedge-like $+1/2$ defects align parallel to activity gradients, while twist defects are aligned anti-parallel. Understanding the response of active nematic fluids to activity gradients is an important step towards applying physical theories to biology, where spatial variations of active stress impact morphogenetic processes in developing embryos and affect flows and deformations in growing cell aggregates, such as tumours.


title: Atomistically-informed modeling of point defect clustering and evolution in irradiated ThO2

abstract: A cluster dynamics (CD) model has been developed to investigate the nucleation and growth of point defect clusters, i.e., interstitial prismatic loops and nanoscale and sub-nanoscale voids, in ThO2 during irradiation by energetic particles. The model considers cluster off-stoichiometry due to the asymmetry of point defect generation on the O and Th sublattices under irradiation, as well as the point defect diffusivities and the defect binding energies to clusters. The energies were established using detailed molecular dynamics simulations considering the statistical variability of cluster configuration. A high-order adaptive time-integration has been used to solve the model. The predicted loop density and their average size is in good agreement with reported experimental observations for proton irradiated ThO2 at 600oC. The model did not predict void evolution due to the sluggish kinetics of cation vacancies, explaining the absence of voids in proton irradiated ThO2 (and other oxides) at relatively low temperatures.


title: Optimal Clipping and Magnitude-aware Differentiation for Improved Quantization-aware Training

abstract: Data clipping is crucial in reducing noise in quantization operations and improving the achievable accuracy of quantization-aware training (QAT). Current practices rely on heuristics to set clipping threshold scalars and cannot be shown to be optimal. We propose Optimally Clipped Tensors And Vectors (OCTAV), a recursive algorithm to determine MSE-optimal clipping scalars. Derived from the fast Newton-Raphson method, OCTAV finds optimal clipping scalars on the fly, for every tensor, at every iteration of the QAT routine. Thus, the QAT algorithm is formulated with provably minimum quantization noise at each step. In addition, we reveal limitations in common gradient estimation techniques in QAT and propose magnitude-aware differentiation as a remedy to further improve accuracy. Experimentally, OCTAV-enabled QAT achieves state-of-the-art accuracy on multiple tasks. These include training-from-scratch and retraining ResNets and MobileNets on ImageNet, and Squad fine-tuning using BERT models, where OCTAV-enabled QAT consistently preserves accuracy at low precision (4-to-6-bits). Our results require no modifications to the baseline training recipe, except for the insertion of quantization operations where appropriate.


title: Time optimal holonomic quantum computation

abstract: A three-level system can be used in a $\Lambda$-type configuration in order to construct a universal set of quantum gates through the use of non-Abelian non-adiabatic geometrical phases. Such construction allows for high-speed operation times which diminish the effects of decoherence. This might be, however, accompanied by a breakdown of the validity of the rotating wave approximation (RWA) due to the comparable time scale between counter-rotating terms and the pulse length, which greatly affects the dynamics. Here, we investigate the trade-off between dissipative effects and the RWA validity, obtaining the optimal regime for the operation of the holonomic quantum gates.


title: Electron-phonon coupling strength from ab initio frozen-phonon approach

abstract: We propose a fast method for high-throughput screening of potential superconducting materials. The method is based on calculating metallic screening of zone-center phonon modes, which provides an accurate estimate for the electron-phonon coupling strength. This method is complementary to the recently proposed Rigid Muffin Tin (RMT) method, which amounts to integrating the electron-phonon coupling over the entire Brillouin zone (as opposed to the zone center), but in a relatively inferior approximation. We illustrate the use of this method by applying it to MgB$_\text{2}$, where the high-temperature superconductivity is known to be driven largely by the zone-center modes, and compare it to a sister compound AlB$_\text{2}$. We further illustrate the usage of this descriptor by screening a large number of binary hydrides, for which accurate first-principle calculations of electron-phonon coupling have been recently published. Together with the RMT descriptor, this method opens a way to perform initial high-throughput screening in search of conventional superconductors via machine learning or data mining.


title: Heavy Traffic Joint Queue Length Distribution without Resource Pooling

abstract: This paper studies the heavy-traffic joint distribution of queue lengths in two stochastic processing networks (SPN), viz., an input-queued switch operating under the MaxWeight scheduling policy and a two-server parallel server system called the $\mathcal{N}$-system. These two systems serve as representatives of SPNs that do not satisfy the so-called Complete Resource Pooling (CRP) condition, and consequently exhibit a multidimensional State Space Collapse (SSC). Except in special cases, only mean queue lengths of such non-CRP systems is known in the literature. In this paper, we develop the Transform method to study the joint distribution of queue lengths in non-CRP systems. The key challenge is in solving an implicit functional equation involving the Laplace transform of the heavy-traffic limiting distribution. For the $\mathcal{N}$-system and a special case of an input-queued switch involving only three queues, we obtain the exact limiting heavy-traffic joint distribution in terms of a linear combination of two iid exponentials. For the general $n\times n$ input-queued switch that has $n^2$ queues, under a conjecture on uniqueness of the solution of the functional equation, we obtain an exact joint distribution of the heavy-traffic limiting queue-lengths in terms of a non-linear combination of $2n$ iid exponentials.


title: Mass and Expansion of Asymptotically Conical K\"ahler Metrics

abstract: We prove an expansion theorem on scalar-flat asymptotically conical K\"ahler metrics. Consider an AC K\"ahler manifold with asymptotic to a Ricci-flat K\"ahler metric cone with complex dimension n. Assuming the weak decay conditions required for the mass to be well-defined, then each scalar-flat AC K\"ahler metric admits an expansion that the main term is given by the standard K\"ahler metric of the metric cone and the leading error term is of O(r^{2-2n}) with coefficient only depending on the ADM mass and its dimension. Besides, the mass formula by Hein-LeBrun also can be proved in our setting. As an application, a new version of the positive mass theorem will be discussed in the cases of the resolutions of the Ricci-flat K\"ahler cones.


title: Spiking Neural Networks for Frame-based and Event-based Single Object Localization

abstract: Spiking neural networks have shown much promise as an energy-efficient alternative to artificial neural networks. However, understanding the impacts of sensor noises and input encodings on the network activity and performance remains difficult with common neuromorphic vision baselines like classification. Therefore, we propose a spiking neural network approach for single object localization trained using surrogate gradient descent, for frame- and event-based sensors. We compare our method with similar artificial neural networks and show that our model has competitive/better performance in accuracy, robustness against various corruptions, and has lower energy consumption. Moreover, we study the impact of neural coding schemes for static images in accuracy, robustness, and energy efficiency. Our observations differ importantly from previous studies on bio-plausible learning rules, which helps in the design of surrogate gradient trained architectures, and offers insight to design priorities in future neuromorphic technologies in terms of noise characteristics and data encoding methods.


title: Towards Analytic Structure of Feynman Parameter Integrals with Rational Curves

abstract: We propose a strategy to study the analytic structure of Feynman parameter integrals where singularities of the integrand consist of rational irreducible components. At the core of this strategy is the identification of a selected stratum of discontinuities induced from the integral, together with a geometric method for computing their singularities on the principal sheet. For integrals that yield multiple polylogarithms we expect the data collected in this strategy to be sufficient for the construction of their symbols. We motivate this analysis by the Aomoto polylogarithms, and further check its validity and illustrate technical details using examples with quadric integrand singularities (which the one-loop Feynman integrals belong to). Generalizations to higher-loop integrals are commented at the end.


title: Sudden adiabaticity entering field-induced state in UTe2

abstract: There has been a recent surge of interest in UTe$_2$ due to its unconventional magnetic field (H) reinforced spin-triplet superconducting phases persisting at fields far above the simple Pauli limit for H $\parallel$ [010]. Magnetic fields in excess of 35 T then induce a field-polarized magnetic state via a first-order-like phase transition. More controversially, for field orientations close to H $\parallel$ [011] and above 40 T, electrical resistivity measurements suggest that a further superconducting state may exist. However, no Meissner effect or thermodynamic evidence exists to date for this phase making it difficult to exclude a simple low-resistance metallic state. In this paper, we describe a study using thermal, electrical, and magnetic probes in magnetic fields of up to 55 T applied between the [010] ($b$) and [001] ($c$) directions. Our MHz conductivity data reveal the field-induced state of low or vanishing electrical resistance; simultaneous magnetocaloric effect measurements (i.e. changes in sample temperature due to changing magnetic field), show the first definitive evidence for adiabaticity and thermal behavior characteristic of bulk field-induced superconductivity.


title: Entanglement of inhomogeneous free fermions on hyperplane lattices

abstract: We introduce an inhomogeneous model of free fermions on a $(D-1)$-dimensional lattice with $D(D-1)/2$ continuous parameters that control the hopping strength between adjacent sites. We solve this model exactly, and find that the eigenfunctions are given by multidimensional generalizations of Krawtchouk polynomials. We construct a Heun operator that commutes with the chopped correlation matrix, and compute the entanglement entropy numerically for $D=2,3,4$, for a wide range of parameters. For $D=2$, we observe oscillations in the sub-leading contribution to the entanglement entropy, for which we conjecture an exact expression. For $D>2$, we find logarithmic violations of the area law for the entanglement entropy with nontrivial dependence on the parameters.

categories: cond-mat.stat-mech hep-th math-ph math.MP quant-ph


title: Generalizable Method for Face Anti-Spoofing with Semi-Supervised Learning

abstract: Face anti-spoofing has drawn a lot of attention due to the high security requirements in biometric authentication systems. Bringing face biometric to commercial hardware became mostly dependent on developing reliable methods for detecting fake login sessions without specialized sensors. Current CNN-based method perform well on the domains they were trained for, but often show poor generalization on previously unseen datasets. In this paper we describe a method for utilizing unsupervised pretraining for improving performance across multiple datasets without any adaptation, introduce the Entry Antispoofing Dataset for supervised fine-tuning, and propose a multi-class auxiliary classification layer for augmenting the binary classification task of detecting spoofing attempts with explicit interpretable signals. We demonstrate the efficiency of our model by achieving state-of-the-art results on cross-dataset testing on MSU-MFSD, Replay-Attack, and OULU-NPU datasets.


title: Bounds on gravitational brane couplings and tomography in AdS3 black hole microstates

abstract: We study information theoretic properties of planar black hole microstates in 2 + 1 dimensional asymptotically anti-de Sitter spacetime, modeled by black holes with an end-of-the-world brane behind the horizon. The von Neumann entropy of sufficiently large subregions in the dual CFT exhibits a time-dependent phase, which from a doubly-holographic perspective corresponds to the appearance of quantum extremal islands in the brane description. Considering the case where dilaton gravity is added to the brane, we show that tuning the associated couplings affects the propagation of information in the dual CFT state. By requiring that information theoretic bounds on the growth of entanglement entropy are satisfied in the dual CFT, we can place bounds on the allowed values of the couplings on the brane. Furthermore, we initiate the study of brane tomography, by showing how subleading corrections to the entanglement velocity can be used to learn about the properties of the brane as well as any gravitational dynamics localized on it.


title: Algorithms for Parallel Generic $hp$-adaptive Finite Element Software

abstract: The $hp$-adaptive finite element method (FEM) - where one independently chooses the mesh size ($h$) and polynomial degree ($p$) to be used on each cell - has long been known to have better theoretical convergence properties than either $h$- or $p$-adaptive methods alone. However, it is not widely used, owing at least in parts to the difficulty of the underlying algorithms and the lack of widely usable implementations. This is particularly true when used with continuous finite elements. Herein, we discuss algorithms that are necessary for a comprehensive and generic implementation of $hp$-adaptive finite element methods on distributed-memory, parallel machines. In particular, we will present a multi-stage algorithm for the unique enumeration of degrees of freedom (DoFs) suitable for continuous finite element spaces, describe considerations for weighted load balancing, and discuss the transfer of variable size data between processes. We illustrate the performance of our algorithms with numerical examples, and demonstrate that they scale reasonably up to at least 16,384 Message Passing Interface (MPI) processes. We provide a reference implementation of our algorithms as part of the open-source library deal.II.


title: FibeRed: Fiberwise Dimensionality Reduction of Topologically Complex Data with Vector Bundles

abstract: Datasets with non-trivial large scale topology can be hard to embed in low-dimensional Euclidean space with existing dimensionality reduction algorithms. We propose to model topologically complex datasets using vector bundles, in such a way that the base space accounts for the large scale topology, while the fibers account for the local geometry. This allows one to reduce the dimensionality of the fibers, while preserving the large scale topology. We formalize this point of view, and, as an application, we describe an algorithm which takes as input a dataset together with an initial representation of it in Euclidean space, assumed to recover part of its large scale topology, and outputs a new representation that integrates local representations, obtained through local linear dimensionality reduction, along the initial global representation. We demonstrate this algorithm on examples coming from dynamical systems and chemistry. In these examples, our algorithm is able to learn topologically faithful embeddings of the data in lower target dimension than various well known metric-based dimensionality reduction algorithms.


title: Multi-Hop Quantum Key Distribution with Passive Relays over Underwater Turbulence Channels

abstract: Absorption, scattering, and turbulence experienced in underwater channels severely limit the range of quantum communications. In this paper, to overcome range limitations, we investigate a multi-hop underwater quantum key distribution (QKD) where intermediate nodes help the key distribution between the source and destination nodes. We consider deployment of passive-relays which simply redirect the qubits to the next relay node or receiver without any measurement. Based on near-field analysis, we present the performance of relay-assisted QKD scheme in clear ocean under different atmospheric conditions. We further investigate the effect of system parameters (aperture size and detector field-of-view) on the achievable distance.


title: Effective properties of acoustic waves in a poroelastic medium containing spherical cavities randomly distributed within the Rayleigh limit

abstract: The propagation of acoustic waves in a poro-elastic medium of infinite extension containing spherical cavities randomly distributed is investigated. The scattering coefficients are computed in the low frequency limit using the sealed pore boundary conditions. Also in this limit, using explicit Waterman-Truell (WT) formulas and a generalization of the Linton-Martin (LM) formula to poro-elastic medium, expressions of the wave numbers of the coherent waves are proposed. Expressions of the effective mass densities and moduli are derived from the WT formulas. The effective properties of the coherent wave in an elastic medium are obtained as a limiting case when the porosity tends towards zero.


title: Gauss-Bonnet black holes in (2+1) dimensions: Perturbative aspects and entropy features

abstract: We investigate some aspects of the $(2+1)$-dimensional Gauss-Bonnet black hole proposed in [1][2]. The perturbations of scalar and massless spinorial fields are studied suggesting the dynamical stability of the geometry. The field evolution is analyzed calculating the quasinormal modes for different parameters and exploring the influence of the coupling constant of the theory. The hydrodynamical modes are also obtained in the small coupling limit. Furthermore, the entropy bound and the dominant semiclassical correction to the black hole entropy are calculated.


title: Short second moment bound and Subconvexity for GL(3) $L$-functions

abstract: Let $\pi$ be a Hecke cusp form for $\mathrm{SL}_3(\mathbb{Z})$. We bound the second moment average of $L(s,\pi)$ over a short interval to obtain the subconvexity estimate $$ L(1/2+it, \pi) \ll_{\pi, \varepsilon} (1+|t|)^{3/4-1/8+\varepsilon}. $$


title: Estimating Pose from Pressure Data for Smart Beds with Deep Image-based Pose Estimators

abstract: In-bed pose estimation has shown value in fields such as hospital patient monitoring, sleep studies, and smart homes. In this paper, we explore different strategies for detecting body pose from highly ambiguous pressure data, with the aid of pre-existing pose estimators. We examine the performance of pre-trained pose estimators by using them either directly or by re-training them on two pressure datasets. We also explore other strategies utilizing a learnable pre-processing domain adaptation step, which transforms the vague pressure maps to a representation closer to the expected input space of common purpose pose estimation modules. Accordingly, we used a fully convolutional network with multiple scales to provide the pose-specific characteristics of the pressure maps to the pre-trained pose estimation module. Our complete analysis of different approaches shows that the combination of learnable pre-processing module along with re-training pre-existing image-based pose estimators on the pressure data is able to overcome issues such as highly vague pressure points to achieve very high pose estimation accuracy.


title: When quantum corrections alter the predictions of classical field theory for scalar field dark matter

abstract: We investigate the timescale on which quantum corrections alter the predictions of classical field theory for scalar field dark matter. This is accomplished by including second order terms in the evolution proportional to the covariance of the field operators. When this covariance is no longer small compared to the mean field value, we say that the system has reached the ``quantum breaktime" and the predictions of classical field theory will begin to differ from those of the full quantum theory. While holding the classical field theory evolution fixed, we determine the change of the quantum breaktime as total occupation number is increased. This provides a novel numerical estimation of the breaktime based at high occupations $n_{tot}$ and mode number $N=256$. We study the collapse of a sinusoidal overdensity in a single spatial dimension. We find that the breaktime scales as $\log(n_{tot})$ prior to shell crossing and then then as a powerlaw following the collapse. If we assume that the collapsing phase is representative of halos undergoing nonlinear growth, this implies that the quantum breaktime of typical systems may be as large as $\sim 30$ of dynamical times even at occupations of $n_{tot}\sim 10^{100}$.


title: Memory-Based Model Editing at Scale

abstract: Even the largest neural networks make errors, and once-correct predictions can become invalid as the world changes. Model editors make local updates to the behavior of base (pre-trained) models to inject updated knowledge or correct undesirable behaviors. Existing model editors have shown promise, but also suffer from insufficient expressiveness: they struggle to accurately model an edit's intended scope (examples affected by the edit), leading to inaccurate predictions for test inputs loosely related to the edit, and they often fail altogether after many edits. As a higher-capacity alternative, we propose Semi-Parametric Editing with a Retrieval-Augmented Counterfactual Model (SERAC), which stores edits in an explicit memory and learns to reason over them to modulate the base model's predictions as needed. To enable more rigorous evaluation of model editors, we introduce three challenging language model editing problems based on question answering, fact-checking, and dialogue generation. We find that only SERAC achieves high performance on all three problems, consistently outperforming existing approaches to model editing by a significant margin. Code, data, and additional project information will be made available at https://sites.google.com/view/serac-editing.


title: Ultra-High-Precision Detection of Single Microwave Photons based on a Hybrid System between Majorana Zero Mode and a Quantum Dot

abstract: The ability to detect single photons has become increasingly essential due to the rise of photon-based quantum computing. In this theoretical work, we propose a system consisting of a quantum dot (QD) side-coupled to a superconducting nanowire. The coupling opens a gap in both the QD mode and the Majorana zero mode (MZM) at the nanowire edge, enabling photon absorption in the system. We show that the absorbed photoelectron decays via rapid (sub-nanosecond to nanosecond) nonradiative heat transfer to the nanowire phonon modes rather than by spontaneous emission. Furthermore, we calculate the temperature increase and associated resistance increase induced by the absorption of a photon for a given appropriate set of material and environmental parameters, yielding a temperature increase in the millikelvin range and a resistance increase in the kiloohm range, vastly exceeding the photon-absorption-induced temperature and resistance increases for competing 2D-3D hybrid systems by 5 and 9 orders of magnitude, respectively. Lastly, we determine the detector efficiency and discuss the system density required for deterministic photon number measurement, demonstrating that a photon absorption probability of over 99.9 percent can be achieved for an integrated system consisting of an array of nanowire-QD complexes on-chip inside a cavity. Our results thus provide a basis for a deterministic microwave photon number detector with an unprecedented photon-number-detection resolution.

categories: cond-mat.mes-hall cond-mat.supr-con physics.ins-det physics.optics quant-ph


title: LST: Ladder Side-Tuning for Parameter and Memory Efficient Transfer Learning

abstract: Fine-tuning large pre-trained models on downstream tasks has been adopted in a variety of domains recently. However, it is costly to update the entire parameter set of large pre-trained models. Although recently proposed parameter-efficient transfer learning (PETL) techniques allow updating a small subset of parameters (e.g. only using 2% of parameters) inside a pre-trained backbone network for a new task, they only reduce the training memory requirement by up to 30%. This is because the gradient computation for the trainable parameters still requires backpropagation through the large pre-trained backbone model. To address this, we propose Ladder Side-Tuning (LST), a new PETL technique that can reduce training memory requirements by more substantial amounts. Unlike existing parameter-efficient methods that insert additional parameters inside backbone networks, we train a ladder side network, a small and separate network that takes intermediate activations as input via shortcut connections (called ladders) from backbone networks and makes predictions. LST has significantly lower memory requirements than previous methods, because it does not require backpropagation through the backbone network, but instead only through the side network and ladder connections. We evaluate our method with various models (T5 and CLIP-T5) on both NLP (GLUE) and vision-and-language (VQA, GQA, NLVR2 , MSCOCO) tasks. LST saves 69% of the memory costs to fine-tune the whole network, while other methods only save 26% of that in similar parameter usages (hence, 2.7x more memory savings). Moreover, LST achieves higher accuracy than Adapter and LoRA in a low-memory regime. To further show the advantage of this better memory efficiency, we also apply LST to larger T5 models, attaining better GLUE performance than full fine-tuning and other PETL methods. The accuracy-efficiency trade-off also holds on VL tasks.


title: Existence and uniqueness of the globally conservative solutions for a weakly dissipative Camassa-Holm equation in time weighted $H^1(\mathbb{R})$ space

abstract: In this paper, we prove that the existence and uniqueness of globally weak solutions to the Cauchy problem for the weakly dissipative Camassa-Holm equation in time weighted $H^1$ space. First, we derive an equivalent semi-linear system by introducing some new variables, and present the globally conservative solutions of this equation in time weighted $H^1$ space. Second, we show that the peakon solutions are conservative weak solutions in $H^1.$ Finally, given a conservative solution, we introduce a set of auxiliary variables tailored to this particular solution, and prove that these variables satisfy a particular semilinear system having unique solutions. In turn, we get the uniqueness of the conservative solution in the original variables.


title: Coherent state excitations and string-added coherent states in gauge-gravity correspondence

abstract: We analyze detailed properties of BPS coherent states and their connection to gravity. We interpret the group integral coherent state as a path integral over auxiliary variables coupled to the elementary letters of the theory. The eigenvalues of coherent state amplitudes can be viewed as collective coordinates of giant gravitons. Inspired by the above coherent states and by the integrability, we construct a new type of coherent states in the SL(2) sectors and their cousin PSU(1,1|2) sectors, analogous to the aforementioned coherent states. The large spin and small spin limits can be obtained by varying coherent state amplitudes. We add string words onto the BPS coherent states, and this gives rise to string-added coherent states. The insertions of string multi-words can be viewed as operator-insertions in this path integral. We describe BPS states and near BPS states building upon these coherent states in gauge-gravity correspondence. For example, string-added coherent states and their near BPS spectra are analyzed. This approach is particularly convenient for heavy excited states.


title: Sphere Packing Densities of Sublattices of the Mordell-Weil Lattices of two Families of Elliptic Curves

abstract: In this paper, we examine certain maximal rank sublattices of the Mordell-Weil lattices of two families of elliptic curves over fields of characteristic $p > 0$. We compute explicit lower bounds on the densest sphere packings of these sublattices by finding lower bounds on the minimal norms of the sublattices and explicitly computing the volumes of their fundamental domains.


title: Overparametrized linear dimensionality reductions: From projection pursuit to two-layer neural networks

abstract: Given a cloud of $n$ data points in $\mathbb{R}^d$, consider all projections onto $m$-dimensional subspaces of $\mathbb{R}^d$ and, for each such projection, the empirical distribution of the projected points. What does this collection of probability distributions look like when $n,d$ grow large? We consider this question under the null model in which the points are i.i.d. standard Gaussian vectors, focusing on the asymptotic regime in which $n,d\to\infty$, with $n/d\to\alpha\in (0,\infty)$, while $m$ is fixed. Denoting by $\mathscr{F}_{m, \alpha}$ the set of probability distributions in $\mathbb{R}^m$ that arise as low-dimensional projections in this limit, we establish new inner and outer bounds on $\mathscr{F}_{m, \alpha}$. In particular, we characterize the Wasserstein radius of $\mathscr{F}_{m,\alpha}$ up to logarithmic factors, and determine it exactly for $m=1$. We also prove sharp bounds in terms of Kullback-Leibler divergence and R\'{e}nyi information dimension. The previous question has application to unsupervised learning methods, such as projection pursuit and independent component analysis. We introduce a version of the same problem that is relevant for supervised learning, and prove a sharp Wasserstein radius bound. As an application, we establish an upper bound on the interpolation threshold of two-layers neural networks with $m$ hidden neurons.


title: Implications of parity-violating electron scattering experiments on $^{48}$Ca (CREX) and $^{208}$Pb (PREX-II) for nuclear energy density functionals

abstract: Recent precise parity-violating electron scattering experiments on $^{48}$Ca (CREX) and $^{208}$Pb (PREX-II) provide a new insight on the formation of neutron skin in nuclei. Within the energy density functional (EDF) framework, we investigate the implications of CREX and PREX-II data on nuclear matter symmetry energy and isovector properties of finite nuclei: neutron skin thickness and dipole polarizability. The weak-charge form factors from the CREX and PREX-II experiments are employed directly in constraining the relativistic density-dependent point coupling EDFs. The EDF established with the CREX data acquires considerably smaller values of the symmetry energy parameters, neutron skin thickness and dipole polarizability both for $^{48}$Ca and $^{208}$Pb, in comparison to the EDF obtained using the PREX-II data, and previously established EDFs. Presented analysis shows that CREX and PREX-II experiments could not provide consistent constraints for the isovector sector of the EDFs, and further theoretical and experimental studies are required.


title: The 30 Doradus Molecular Cloud at 0.4 pc Resolution with the Atacama Large Millimeter/submillimeter Array: Physical Properties and the Boundedness of CO-emitting Structures

abstract: We present results of a wide-field (approximately 60 x 90 pc) ALMA mosaic of CO(2-1) and $^{13}$CO(2-1) emission from the molecular cloud associated with the 30 Doradus star-forming region. Three main emission complexes, including two forming a bowtie-shaped structure extending northeast and southwest from the central R136 cluster, are resolved into complex filamentary networks. Consistent with previous studies, we find that the central region of the cloud has higher line widths at fixed size relative to the rest of the molecular cloud and to other LMC clouds, indicating an enhanced level of turbulent motions. However, there is no clear trend in gravitational boundedness (as measured by the virial parameter) with distance from R136. Structures observed in $^{13}$CO are spatially coincident with filaments and are close to a state of virial equilibrium. In contrast, CO structures vary greatly in virialization, with low CO surface brightness structures outside of the main filamentary network being predominantly unbound. The low surface brightness structures constitute ~10% of the measured CO luminosity; they may be shredded remnants of previously star-forming gas clumps, or alternatively the CO-emitting parts of more massive, CO-dark structures.


title: Nondegenerate internal squeezing: an all-optical, loss-resistant quantum technique for gravitational-wave detection

abstract: The detection of kilohertz-band gravitational waves promises discoveries in astrophysics, exotic matter, and cosmology. To improve the kilohertz quantum noise-limited sensitivity of interferometric gravitational-wave detectors, we investigate nondegenerate internal squeezing: optical parametric oscillation inside the signal-recycling cavity with distinct signal-mode and idler-mode frequencies. We use an analytic Hamiltonian model to show that this stable, all-optical technique is tolerant to decoherence from optical detection loss and that it, with its optimal readout scheme, is feasible for broadband sensitivity enhancement.


title: MACQ: A Holistic View of Model Acquisition Techniques

abstract: For over three decades, the planning community has explored countless methods for data-driven model acquisition. These range in sophistication (e.g., simple set operations to full-blown reformulations), methodology (e.g., logic-based vs. planing-based), and assumptions (e.g., fully vs. partially observable). With no fewer than 43 publications in the space, it can be overwhelming to understand what approach could or should be applied in a new setting. We present a holistic characterization of the action model acquisition space and further introduce a unifying framework for automated action model acquisition. We have re-implemented some of the landmark approaches in the area, and our characterization of all the techniques offers deep insight into the research opportunities that remain; i.e., those settings where no technique is capable of solving.


title: A Stochastic Proximal Method for Nonsmooth Regularized Finite Sum Optimization

abstract: We consider the problem of training a deep neural network with nonsmooth regularization to retrieve a sparse and efficient sub-structure. Our regularizer is only assumed to be lower semi-continuous and prox-bounded. We combine an adaptive quadratic regularization approach with proximal stochastic gradient principles to derive a new solver, called SR2, whose convergence and worst-case complexity are established without knowledge or approximation of the gradient's Lipschitz constant. We formulate a stopping criteria that ensures an appropriate first-order stationarity measure converges to zero under certain conditions. We establish a worst-case iteration complexity of $\mathcal{O}(\epsilon^{-2})$ that matches those of related methods like ProxGEN, where the learning rate is assumed to be related to the Lipschitz constant. Our experiments on network instances trained on CIFAR-10 and CIFAR-100 with $\ell_1$ and $\ell_0$ regularizations show that SR2 consistently achieves higher sparsity and accuracy than related methods such as ProxGEN and ProxSGD.


title: On a mathematical model of the rotating atmosphere of the Earth

abstract: In meteorology the analysis of motions of the atmosphere on the Earth has been done using various mathematical models and using various approximations. In this article as the simplest model the compressible Euler equations with barotropic equation of state of the ideal gas is analyzed under the co-ordinate system which rotates with constant angular velocity. Mathematically rigorous inquiry is tried. Although problems remain to be open, some fundamental results are exhibited.


title: 3D scene reconstruction from monocular spherical video with motion parallax

abstract: In this paper, we describe a method to capture nearly entirely spherical (360 degree) depth information using two adjacent frames from a single spherical video with motion parallax. After illustrating a spherical depth information retrieval using two spherical cameras, we demonstrate monocular spherical stereo by using stabilized first-person video footage. Experiments demonstrated that the depth information was retrieved on up to 97% of the entire sphere in solid angle. At a speed of 30 km/h, we were able to estimate the depth of an object located over 30 m from the camera. We also reconstructed the 3D structures (point cloud) using the obtained depth data and confirmed the structures can be clearly observed. We can apply this method to 3D structure retrieval of surrounding environments such as 1) previsualization, location hunting/planning of a film, 2) real scene/computer graphics synthesis and 3) motion capture. Thanks to its simplicity, this method can be applied to various videos. As there is no pre-condition other than to be a 360 video with motion parallax, we can use any 360 videos including those on the Internet to reconstruct the surrounding environments. The cameras can be lightweight enough to be mounted on a drone. We also demonstrated such applications.


title: Lorentzian Vacuum Transitions with a Generalized Uncertainty Principle

abstract: The vacuum transition probabilities between to minima of a scalar field potential in the presence of gravity are studied using the Wentzel-Kramers-Brillouin approximation. First we propose a method to compute these transition probabilities by solving the Wheeler-DeWitt equation in a semi-classical approach for any model of superspace that contains terms of squared as well as linear momenta in the Hamiltonian constraint generalizing in this way previous results. Then we apply this method to compute the transition probabilities for a Friedmann-Lemaitre-Robertson-Walker metric with positive and null curvature and for the Bianchi III metric when the coordinates of minisuperspace obey a Standard Uncertainty Principle and when a Generalized Uncertainty Principle is taken into account. In all cases we compare the results and found that the effect of considering a Generalized Uncertainty Principle is that the probability is enhanced at first but it decays faster so when the corresponding scale factor is big enough the probability is reduced. We also consider the effect of anisotropy and compare the result of the Bianchi III metric with the flat FLRW metric which corresponds to its isotropy limit and comment the differences with previous works.


title: Ion Transport in an Electrochemical Cell: A Theoretical Framework to Couple Dynamics of Double Layers and Redox Reactions for Multicomponent Electrolyte Solutions

abstract: Electrochemical devices often consist of multicomponent electrolyte solutions. Two processes influence the overall dynamics of these devices: the formation of electrical double layers and chemical conversion due to redox reactions. However, due to the presence of multiple length and time scales, it is challenging to simulate both processes directly from the Poisson-Nernst-Planck equations. Therefore, common modeling approaches ignore one of the processes, assume the two are independent, or extrapolate the results from reaction-free systems. To overcome these limitations, we formulate and derive an asymptotic model by solving the Poisson-Nernst-Planck equations for an arbitrary number of ions in the thin-double-layer limit. Our analysis reveals that there are two distinct timescales in the system: double-layer charging and bulk diffusion. Our model displays excellent quantitative agreement with direct numerical simulations. Further, our approach is computationally efficient and numerically stable, even for large potentials. We investigate the dynamics of charging for a binary electrolyte and three-ion system, and find that redox reactions impact the double-layer charging process at short times whereas they modify the double-layer capacitance at long times. Overall, the proposed theoretical framework advances our ability to simulate electrochemical devices that contain multiple ions and widens opportunities for future research in the field.


title: On Learning the Dynamical Response of Nonlinear Control Systems with Deep Operator Networks

abstract: We propose a Deep Operator Network~(DeepONet) framework to learn the dynamic response of continuous-time nonlinear control systems from data. To this end, we first construct and train a DeepONet that approximates the control system's local solution operator. Then, we design a numerical scheme that recursively uses the trained DeepONet to simulate the control system's long/medium-term dynamic response for given control inputs and initial conditions. We accompany the proposed scheme with an estimate for the error bound of the associated cumulative error. Furthermore, we design a data-driven Runge-Kutta~(RK) explicit scheme that uses the DeepONet forward pass and automatic differentiation to better approximate the system's response when the numerical scheme's step size is sufficiently small. Numerical experiments on the predator-prey, pendulum, and cart pole systems confirm that our DeepONet framework learns to approximate the dynamic response of nonlinear control systems effectively.


title: A software toolkit and hardware platform for investigating and comparing robot autonomy algorithms in simulation and reality

abstract: We describe a software framework and a hardware platform used in tandem for the design and analysis of robot autonomy algorithms in simulation and reality. The software, which is open source, containerized, and operating system (OS) independent, has three main components: a ROS 2 interface to a C++ vehicle simulation framework (Chrono), which provides high-fidelity wheeled/tracked vehicle and sensor simulation; a basic ROS 2-based autonomy stack for algorithm design and testing; and, a development ecosystem which enables visualization, and hardware-in-the-loop experimentation in perception, state estimation, path planning, and controls. The accompanying hardware platform is a 1/6th scale vehicle augmented with reconfigurable mountings for computing, sensing, and tracking. Its purpose is to allow algorithms and sensor configurations to be physically tested and improved. Since this vehicle platform has a digital twin within the simulation environment, one can test and compare the same algorithms and autonomy stack in simulation and reality. This platform has been built with an eye towards characterizing and managing the simulation-to-reality gap. Herein, we describe how this platform is set up, deployed, and used to improve autonomy for mobility applications.


title: Zircons and smooth Bruhat intervals in symmetric groups

abstract: In this paper, we prove that if the dual of a Bruhat interval in a Weyl group is a zircon, then that interval is rationally smooth. Investigating when the converse holds, and drawing inspiration from conjectures by Delanoy, leads us to pose two conjectures. If true, they imply that for Bruhat intervals in type $A$, duals of smooth intervals, zircons, and being isomorphic to lower intervals are all equivalent. As a verification, we have checked our conjectures in types $A_n$, $n\leq 8$.


title: Capillarity-driven thinning dynamics of entangled polymer solutions

abstract: We analyze the capillarity-driven thinning dynamics of entangled polymer solutions described by the Doi-Edwards-Marrucci-Grizzuti (DEMG) model and the Rolie-Poly (RP) model. Both models capture polymer reptation, finite rates of chain retraction and finite extensibility of single polymer molecules, while differing slightly in their final form regarding to the convective constraint release. We calculate numerically the filament thinning profiles predicted by the two models with realistic entanglement densities, assuming cylindrical filament shapes and no fluid inertia. Both results reveal an early tube-reorientation regime, followed by a brief intermediate elasto-capillary regime, and finally a finite-extensibility regime close to the pinch-off singularity. The results presented in this work reveal two critical features in the transient extensional rheology of entangled polymer solutions that have been reported from previous experimental studies, but are poorly described by the widely-used FENE-P model. First, the relaxation time obtained from capillary breakup extensional rheometry is notably smaller than that from steady-shear rheometry. Their ratio can be expressed as a universal function of the entanglement state and the polymer concentration, which agrees well with the experimental data for a range of entangled polymer solutions. Second, the filament thinning dynamics at sufficiently high polymer concentrations are governed by the tube reorientation at intermediate strain-rates, and the apparent extensional viscosity shows a noticeably rate-thinning response. We finally evaluate the filament thinning dynamics of aqueous polyethylene oxide solutions (1 MDa) over dilute and entangled regimes. As the concentration increases, the profiles deviate from the well-studied exponential-thinning trends beyond the entangled threshold, becoming increasingly power-law in character.


title: Impact of fragment formation on shear viscosity in the nuclear liquid-gas phase transition region

abstract: Within the improved quantum molecular dynamic (ImQMD) model we follow the evolution of nuclear matter for planar Couette flow in a periodic box. We focus on the region of liquid-gas phase transition and extract the shear viscosity coefficient from the local stress tensor, directly following viscosity definition. By switching on and off the mean field and thus inducing the phase transition, we are able to observe the impact of clumping in the phase-transition region onto the viscosity.


title: Pixel-by-pixel Mean Opinion Score (pMOS) for No-Reference Image Quality Assessment

abstract: Deep-learning based techniques have contributed to the remarkable progress in the field of automatic image quality assessment (IQA). Existing IQA methods are designed to measure the quality of an image in terms of Mean Opinion Score (MOS) at the image-level (i.e. the whole image) or at the patch-level (dividing the image into multiple units and measuring quality of each patch). Some applications may require assessing the quality at the pixel-level (i.e. MOS value for each pixel), however, this is not possible in case of existing techniques as the spatial information is lost owing to their network structures. This paper proposes an IQA algorithm that can measure the MOS at the pixel-level, in addition to the image-level MOS. The proposed algorithm consists of three core parts, namely: i) Local IQA; ii) Region of Interest (ROI) prediction; iii) High-level feature embedding. The Local IQA part outputs the MOS at the pixel-level, or pixel-by-pixel MOS - we term it 'pMOS'. The ROI prediction part outputs weights that characterize the relative importance of region when calculating the image-level IQA. The high-level feature embedding part extracts high-level image features which are then embedded into the Local IQA part. In other words, the proposed algorithm yields three outputs: the pMOS which represents MOS for each pixel, the weights from the ROI indicating the relative importance of region, and finally the image-level MOS that is obtained by the weighted sum of pMOS and ROI values. The image-level MOS thus obtained by utilizing pMOS and ROI weights shows superior performance compared to the existing popular IQA techniques. In addition, visualization results indicate that predicted pMOS and ROI outputs are reasonably aligned with the general principles of the human visual system (HVS).


title: Surface embeddings in $\mathbb{R}^2\times\mathbb{R}$

abstract: This is an investigation into a classification of embeddings of a surface in Euclidean $3$-space. Specifically, we consider $\mathbb{R}^3$ as having the product structure $\mathbb{R}^2 \times \mathbb{R}$ and let $\pi:\mathbb{R}^2 \times \mathbb{R} \to \mathbb{R}^2$ be the natural projection map onto the Euclidean plane. Let $ \varepsilon : S_g \hookrightarrow \mathbb{R}^2 \times \mathbb{R}$ be a smooth embedding of a closed oriented genus $g$ surface such that the set of critical points for the map $\pi \circ \varepsilon$ is a smooth (possibly multi-component) $1$-manifold, $\mathscr{C} \subset S_g$. We say $\mathscr{C}$ is the crease set of $\varepsilon$ and two embeddings are in the same isotopy class if there exists an isotopy between them that has $\mathscr{C}$ being an invariant set. The case where $\pi \circ \varepsilon|_\mathscr{C}$ restricts to an immersion is readily accessible, since the turning number function of a smooth curve in $\mathbb{R}^2$ supplies us with a natural map of components of $\mathscr{C}$ into $\mathbb{Z}$. The Gauss-Bonnet Theorem beautifully governs the behavior of $\pi \circ \varepsilon (\mathscr{C})$, as it implies $\chi(S_g) = 2 \sum_{\gamma \in \mathscr{C}} t(\pi \circ \varepsilon (\gamma))$, where $t$ is the turning number function. Focusing on when $S_g \cong S^2$, we give a necessary and sufficient condition for when a disjoint collection of curves $\mathscr{C} \subset S^2$ can be realized as the crease set of an embedding $\varepsilon: S^2 \hookrightarrow \mathbb{R}^2 \times \mathbb{R}$. From there, we give the classification of all isotopy classes of embeddings when $\mathscr{C} \subset S^2$ and $|\mathscr{C}|=3$ -- a simple yet enlightening case. As a teaser of future work, we give an application to knot projections and discuss directions for further investigation.


title: List-3-Coloring ordered graphs with a forbidden induced subgraph

abstract: The List-3-Coloring Problem is to decide, given a graph $G$ and a list $L(v)\subseteq \{1,2,3\}$ of colors assigned to each vertex $v$ of $G$, whether $G$ admits a proper coloring $\phi$ with $\phi(v)\in L(v)$ for every vertex $v$ of $G$, and the $3$-Coloring Problem is the List-$3$-Coloring Problem on instances with $L(v)=\{1,2,3\}$ for every vertex $v$ of $G$. The List-$3$-Coloring Problem is a classical NP-complete problem, and it is well-known that while restricted to $H$-free graphs (meaning graphs with no induced subgraph isomorphic to a fixed graph $H$), it remains NP-complete unless $H$ is isomorphic to an induced subgraph of a path. However, the current state of art is far from proving this to be sufficient for a polynomial time algorithm; in fact, the complexity of the $3$-Coloring Problem on $P_8$-free graphs (where $P_8$ denotes the eight-vertex path) is unknown. Here we consider a variant of the List-$3$-Coloring Problem called the Ordered Graph List-$3$-Coloring Problem, where the input is an ordered graph, that is, a graph along with a linear order on its vertex set. For ordered graphs $G$ and $H$, we say $G$ is $H$-free if $H$ is not isomorphic to an induced subgraph of $G$ with the isomorphism preserving the linear order. We prove, assuming $H$ to be an ordered graph, a nearly complete dichotomy for the Ordered Graph List-$3$-Coloring Problem restricted to $H$-free ordered graphs. In particular, we show that the problem can be solved in polynomial time if $H$ has at most one edge, and remains NP-complete if $H$ has at least three edges. Moreover, in the case where $H$ has exactly two edges, we give a complete dichotomy when the two edges of $H$ share an end, and prove several NP-completeness results when the two edges of $H$ do not share an end, narrowing the open cases down to three very special types of two-edge ordered graphs.


title: A Survey of Automated Data Augmentation Algorithms for Deep Learning-based Image Classification Tasks

abstract: In recent years, one of the most popular techniques in the computer vision community has been the deep learning technique. As a data-driven technique, deep model requires enormous amounts of accurately labelled training data, which is often inaccessible in many real-world applications. A data-space solution is Data Augmentation (DA), that can artificially generate new images out of original samples. Image augmentation strategies can vary by dataset, as different data types might require different augmentations to facilitate model training. However, the design of DA policies has been largely decided by the human experts with domain knowledge, which is considered to be highly subjective and error-prone. To mitigate such problem, a novel direction is to automatically learn the image augmentation policies from the given dataset using Automated Data Augmentation (AutoDA) techniques. The goal of AutoDA models is to find the optimal DA policies that can maximize the model performance gains. This survey discusses the underlying reasons of the emergence of AutoDA technology from the perspective of image classification. We identify three key components of a standard AutoDA model: a search space, a search algorithm and an evaluation function. Based on their architecture, we provide a systematic taxonomy of existing image AutoDA approaches. This paper presents the major works in AutoDA field, discussing their pros and cons, and proposing several potential directions for future improvements.


title: Sign-reversed anomalous Nernst effect in the ferromagnetic Weyl-semimetal Fe$_{3-x}$GeTe$_2$: the role of Fe vacancies

abstract: Anomalous Nernst effect, as a thermal partner of anomalous Hall effect, is particularly sensitive to the Berry curvature anomaly near the Fermi level, and has been used to probe the topological nature of quantum materials. In this work, we report the observation of both effects in the ferromagnetic Weyl-semimetal Fe$_{3-x}$GeTe$_2$ with tunable Fe vacancies. With decreasing Fe vacancies, the anomalous Hall conductivity evolves as a function of the longitudinal conductivity from the hopping region to the region where the intrinsic Berry curvature contribution dominates. Concomitant evolutions in the anomalous Nernst signal and the anomalous off-diagonal thermoelectric coefficient are observed below the Curie temperature, displaying a unique sign change caused by the Fe vacancies. Combining these results with first-principles calculations, we argue that the Fe-vacancy concentration plays a unique role in simultaneously tuning the chemical potential and ferromagnetism, which in turn controls the Berry curvature contribution in this family of ferromagnetic topological semimetals.


title: Individual addressing of trapped ion qubits with geometric phase gates

abstract: We propose a new scheme for individual addressing of trapped ion qubits, selecting them via their motional frequency. We show that geometric phase gates can perform single-qubit rotations using the coherent interference of spin-independent and (global) spin-dependent forces. The spin-independent forces, which can be generated via localised electric fields, increase the gate speed while reducing its sensitivity to motional decoherence, which we show analytically and numerically. While the scheme applies to most trapped ion experimental setups, we numerically simulate a specific laser-free implementation, showing cross-talk errors below $10^{-6}$ for reasonable parameters.


title: Exclusive $\pi^0$ production at EIC of China within handbag approach

abstract: The exclusive $\pi^0$ electroproduction is analyzed within the handbag approach based on Generalized Parton Distributions (GPDs) factorization. We consider the leading-twist contribution together with the transversity effects. It is shown that the transversity, $H_T$ and $\bar E_T$ GPDs are essential in the description of $\pi^0$ cross section. Predictions for future Electron-Ion Collider of China (EicC) energy range are done. It is found that transversity dominance $\sigma_T\gg\sigma_L$, observed at low energies is valid up to EicC energy range.


title: A slow lopsided bar in the interacting dwarf galaxy IC 3167

abstract: We present surface photometry and stellar kinematics of IC 3167, a dwarf galaxy hosting a lopsided weak bar and infalling into the Virgo cluster. We measured the bar radius and strength from broad-band imaging and bar pattern speed by applying the Tremaine-Weinberg method to stellar-absorption integral-field spectroscopy. We derived the ratio of the corotation radius to bar radius (R = 1.7 + 0.5 - 0.3) from stellar kinematics and bar pattern speed. The probability that the bar is rotating slowly is more than twice as likely as that the bar is fast. This allows us to infer that the formation of this bar was triggered by the ongoing interaction rather than to internal processes.


title: Using Defect Prediction to Improve the Bug Detection Capability of Search-Based Software Testing

abstract: Automated test generators, such as search based software testing (SBST) techniques, replace the tedious and expensive task of manually writing test cases. SBST techniques are effective at generating tests with high code coverage. However, is high code coverage sufficient to maximise the number of bugs found? We argue that SBST needs to be focused to search for test cases in defective areas rather in non-defective areas of the code in order to maximise the likelihood of discovering the bugs. Defect prediction algorithms give useful information about the bug-prone areas in software. Therefore, we formulate the objective of this thesis: \textit{Improve the bug detection capability of SBST by incorporating defect prediction information}. To achieve this, we devise two research objectives, i.e., 1) Develop a novel approach (SBST$_{CL}$) that allocates time budget to classes based on the likelihood of classes being defective, and 2) Develop a novel strategy (SBST$_{ML}$) to guide the underlying search algorithm (i.e., genetic algorithm) towards the defective areas in a class. Through empirical evaluation on 434 real reported bugs in the Defects4J dataset, we demonstrate that our novel approach, SBST$_{CL}$, is significantly more efficient than the state of the art SBST when they are given a tight time budget in a resource constrained environment.


title: Automated Testing of Image Captioning Systems

abstract: Image captioning (IC) systems, which automatically generate a text description of the salient objects in an image (real or synthetic), have seen great progress over the past few years due to the development of deep neural networks. IC plays an indispensable role in human society, for example, labeling massive photos for scientific studies and assisting visually-impaired people in perceiving the world. However, even the top-notch IC systems, such as Microsoft Azure Cognitive Services and IBM Image Caption Generator, may return incorrect results, leading to the omission of important objects, deep misunderstanding, and threats to personal safety. To address this problem, we propose MetaIC, the \textit{first} metamorphic testing approach to validate IC systems. Our core idea is that the object names should exhibit directional changes after object insertion. Specifically, MetaIC (1) extracts objects from existing images to construct an object corpus; (2) inserts an object into an image via novel object resizing and location tuning algorithms; and (3) reports image pairs whose captions do not exhibit differences in an expected way. In our evaluation, we use MetaIC to test one widely-adopted image captioning API and five state-of-the-art (SOTA) image captioning models. Using 1,000 seeds, MetaIC successfully reports 16,825 erroneous issues with high precision (84.9\%-98.4\%). There are three kinds of errors: misclassification, omission, and incorrect quantity. We visualize the errors reported by MetaIC, which shows that flexible overlapping setting facilitates IC testing by increasing and diversifying the reported errors. In addition, MetaIC can be further generalized to detect label errors in the training dataset, which has successfully detected 151 incorrect labels in MS COCO Caption, a standard dataset in image captioning.


title: Boundedness of Fractional Integrals on Ball Campanato-Type Function Spaces

abstract: Let $X$ be a ball quasi-Banach function space on ${\mathbb R}^n$ satisfying some mild assumptions and let $\alpha\in(0,n)$ and $\beta\in(1,\infty)$. In this article, when $\alpha\in(0,1)$, the authors first find a reasonable version $\widetilde{I}_{\alpha}$ of the fractional integral $I_{\alpha}$ on the ball Campanato-type function space $\mathcal{L}_{X,q,s,d}(\mathbb{R}^n)$ with $q\in[1,\infty)$, $s\in\mathbb{Z}_+^n$, and $d\in(0,\infty)$. Then the authors prove that $\widetilde{I}_{\alpha}$ is bounded from $\mathcal{L}_{X^{\beta},q,s,d}(\mathbb{R}^n)$ to $\mathcal{L}_{X,q,s,d}(\mathbb{R}^n)$ if and only if there exists a positive constant $C$ such that, for any ball $B\subset \mathbb{R}^n$, $|B|^{\frac{\alpha}{n}}\leq C \|\mathbf{1}_B\|_X^{\frac{\beta-1}{\beta}}$, where $X^{\beta}$ denotes the $\beta$-convexification of $X$. Furthermore, the authors extend the range $\alpha\in(0,1)$ in $\widetilde{I}_{\alpha}$ to the range $\alpha\in(0,n)$ and also obtain the corresponding boundedness in this case. Moreover, $\widetilde{I}_{\alpha}$ is proved to be the adjoint operator of $I_\alpha$. All these results have a wide range of applications. Particularly, even when they are applied, respectively, to Morrey spaces, mixed-norm Lebesgue spaces, local generalized Herz spaces, and mixed-norm Herz spaces, all the obtained results are new. The proofs of these results strongly depend on the dual theorem on $\mathcal{L}_{X,q,s,d}(\mathbb{R}^n)$ and also on the special atomic decomposition of molecules of $H_X(\mathbb{R}^n)$ (the Hardy-type space associated with $X$) which proves the predual space of $\mathcal{L}_{X,q,s,d}(\mathbb{R}^n)$.


title: Dynamics of temporal Kerr cavity solitons in the presence of rapid parameter inhomogeneities: from bichromatic driving to third-order dispersion

abstract: Temporal Kerr cavity solitons are pulses of light that can persist in coherently-driven, dispersive resonators with Kerr-type nonlinearity. It is widely accepted that such solitons react to parameter inhomogeneities by experiencing a temporal drift whose rate is governed by the gradient of the parameter at the soliton's position. This result, however, assumes that the gradient of the inhomogeneity is constant across the soliton, which may not hold true under all situations, e.g. when using bichromatic driving or in the presence of third-order dispersion that gives rise to an extended dispersive wave tail. Here we report on theoretical and numerical results pertaining to the behavior of dissipative temporal Kerr cavity solitons under conditions where parameter inhomogeneities vary nonlinearly across the width of the soliton. In this case, the soliton velocity is dictated by the full overlap between its so-called neutral mode and the parameter perturbation, which we show can yield dynamics that are manifestly at odds with the common wisdom of motion dependent solely upon the gradient of the inhomogeneity. We also investigate how the presence of third-order dispersion and the associated dispersive wave tail changes the motion induced by parameter inhomogeneities. We find that the dispersive wave tail as such does not contribute to the soliton motion; instead, higher-order dispersion yields counter-intuitive influences on the soliton motion. Our results provide new insights to the behavior of temporal cavity solitons in the presence of parameter inhomogeneities, and can impact systems employing pulsed or bichromatic pumping and/or resonators with non-negligible higher-order dispersion.


title: Safe Output Feedback Motion Planning from Images via Learned Perception Modules and Contraction Theory

abstract: We present a motion planning algorithm for a class of uncertain control-affine nonlinear systems which guarantees runtime safety and goal reachability when using high-dimensional sensor measurements (e.g., RGB-D images) and a learned perception module in the feedback control loop. First, given a dataset of states and observations, we train a perception system that seeks to invert a subset of the state from an observation, and estimate an upper bound on the perception error which is valid with high probability in a trusted domain near the data. Next, we use contraction theory to design a stabilizing state feedback controller and a convergent dynamic state observer which uses the learned perception system to update its state estimate. We derive a bound on the trajectory tracking error when this controller is subjected to errors in the dynamics and incorrect state estimates. Finally, we integrate this bound into a sampling-based motion planner, guiding it to return trajectories that can be safely tracked at runtime using sensor data. We demonstrate our approach in simulation on a 4D car, a 6D planar quadrotor, and a 17D manipulation task with RGB(-D) sensor measurements, demonstrating that our method safely and reliably steers the system to the goal, while baselines that fail to consider the trusted domain or state estimation errors can be unsafe.


title: Minkowski inequality in Cartan-Hadamard manifolds

abstract: Using harmonic mean curvature flow, we establish a sharp Minkowski type lower bound for total mean curvature of convex surfaces with a given area in Cartan-Hadamard 3-manifolds. This inequality also improves the known estimates for total mean curvature in hyperbolic 3-space. As an application, we obtain a Bonnesen-style isoperimetric inequality for surfaces with convex distance function in nonpositively curved 3-spaces, via monotonicity results for total mean curvature. This connection between the Minkowski and isoperimetric inequalities is extended to Cartan-Hadamard manifolds of any dimension.


title: Nanowire Melting Modes during the Solid-Liquid Phase Transition: Theory and Molecular Dynamics Simulations

abstract: Molecular dynamics simulation have shown that after initial surface melting, nanowires can melt via two mechanisms: an interface front moves towards the wire centre; the growth of an instability at the interface can cause the solid to pinch-off and breakup. By perturbing a capillary fluctuation model describing the interface kinetics, we show when each mechanism is preferred and compare the results to molecular dynamics simulation. A Plateau-Rayleigh-type of instability is found, and suggests longer nanowires will melt via a instability mechanism, whereas in shorter nanowires the melting front will move closer to the centre before the solid pinch-off can initiate. Simulations support this theory; preferred modes that destabilise the interface are proportional to the wire length, with longer nanowires preferring to pinch-off and melt; shorter wires have a more stable interface close to their melting temperature, and prefer to melt via an interface front that moves towards the wire centre.


title: F3 Hand: A Versatile Robot Hand Inspired by Human Thumb and Index Fingers

abstract: It is challenging to grasp numerous objects with varying sizes and shapes with a single robot hand. To address this, we propose a new robot hand called the 'F3 hand' inspired by the complex movements of human index finger and thumb. The F3 hand attempts to realize complex human-like grasping movements by combining a parallel motion finger and a rotational motion finger with an adaptive function. In order to confirm the performance of our hand, we attached it to a mobile manipulator - the Toyota Human Support Robot (HSR) and conducted grasping experiments. In our results, we show that it is able to grasp all YCB objects (82 in total), including washers with outer diameters as small as 6.4mm. We also built a system for intuitive operation with a 3D mouse and grasp an additional 24 objects, including small toothpicks and paper clips and large pitchers and cracker boxes. The F3 hand is able to achieve a 98% success rate in grasping even under imprecise control and positional offsets. Furthermore, owing to the finger's adaptive function, we demonstrate characteristics of the F3 hand that facilitate the grasping of soft objects such as strawberries in a desirable posture.


title: An efficient decoder for a linear distance quantum LDPC code

abstract: Recent developments have shown the existence of quantum low-density parity check (qLDPC) codes with constant rate and linear distance. A natural question concerns the efficient decodability of these codes. In this paper, we present a linear time decoder for the recent quantum Tanner codes construction of asymptotically good qLDPC codes, which can correct all errors of weight up to a constant fraction of the blocklength. Our decoder is an iterative algorithm which searches for corrections within constant-sized regions. At each step, the corrections are found by reducing a locally defined and efficiently computable cost function which serves as a proxy for the weight of the remaining error.


title: Monitoring Observations of SMC X-1's Excursions (MOOSE) I: Program Description and Initial High-State Spectral Results

abstract: SMC X-1 has exhibited three super-orbital period excursions since the onset of X-ray monitoring beginning with RXTE's launch in 1995. NICER has recently probed a fourth observed excursion beginning in 2021 with our program Monitoring Observations of SMC X-1's Excursions (MOOSE). These sensitive new MOOSE data probe different super-orbital periods and phases within them. Spectral fits to the high-state continuum during April 2021 to January 2022 show that the intrinsic spectral shapes are characterised by a soft (kT~0.19 keV) disc component and a hard (Gamma~0.7) power-law tail. When the 2021-2022 NICER observations, taken during an excursion, are compared to 2016 XMM-Newton observations (outside of an excursion), we find little evidence for intrinsic spectral variability across the high-states, but find evidence for a >3 sigma change in the absorption, although we caution that there may be calibration differences between the two instruments. Thus, over different lengths of super-orbital periods, we see little evidence for intrinsic spectral changes in the high-state. Upcoming studies of the pulse profiles may shed light on the mechanism behind the excursions.


title: Determining $g_{A}/g_{V}$ with High Resolution Spectral Measurements Using an LiInSe$_2$ Bolometer

abstract: Neutrinoless Double-Beta decay (0$\nu\beta\beta$) processes sample a wide range of intermediate forbidden nuclear transitions, which may be impacted by quenching of the axial vector coupling constant ($g_A/g_V$), the uncertainty of which plays a pivotal role in determining the sensitivity reach of 0$\nu\beta\beta$ experiments. In this Letter, we present measurements performed on a high-resolution LiInSe$_{2}$~ bolometer in a ''source=detector'' configuration to measure the spectral shape of the 4-fold forbidden $\beta$-decay of $^{115}$In. The value of $g_A/g_V$ is determined by comparing the spectral shape of theoretical predictions to the experimental $\beta$ spectrum taking into account various simulated background components as well as a variety of detector effects. We find evidence of quenching of $g_A/g_V$ at $>5\sigma$ with a model-dependent quenching factor of $0.655\pm0.002$ as compared to the free-nucleon value for the Interacting Shell Model. We also measured the $^{115}$In half-life to be [$5.18\pm0.06(\text{stat.})^{+0.005}_{-0.015}(\text{sys.})]\times{10}^{14}$ yr within the Interacting Shell Model framework. This work demonstrates the power of the bolometeric technique to perform precision nuclear physics single-$\beta$ decay measurements, which can help reduce the uncertainties in the calculation of $0\nu\beta\beta$ nuclear matrix elements.


title: Impact of Asymmetries in Valences and Diffusivities on the Transport of a Binary Electrolyte in a Charged Cylindrical Pore

abstract: Ion transport in porous media is present in a wealth of technologies, e.g., energy storage devices such as batteries and supercapacitors, and environmental technologies such as electrochemical carbon capture and capacitive deionization. Recent studies on flat-plate electrodes have demonstrated that asymmetries in ion properties, such as valences and diffusivities, lead to intriguing and counter-intuitive physical phenomena. Yet, the consequences of such asymmetries to ion transport have seldom been explored in porous geometries. To bridge this knowledge gap, we conduct a perturbation expansion of the Poisson-Nernst-Planck equations in a cylindrical pore in the limit of small potentials for a binary electrolyte with arbitrary valences and diffusivities. We obtain good agreement between the perturbation analysis and direct numerical simulations. Our analysis reveals that the charge and the salt transport are coupled with each other. Further, the coupling between the charge and salt transport processes is enhanced with an increase in valence and diffusivity asymmetries of ions. We observe that the mismatch of the ionic diffusivities induces a non-trivial salt dynamics, producing either transient depletion or enhancement of salt in the pore. In the regime of high static diffusion layer conductance, we obtain an analytical solution to our perturbation model. The solution elucidates how electrolyte asymmetry induces two charging timescales that are set by the relative pore size. In the overlapping-double-layer regime, these timescales reduce to the diffusion times of each ion such that the transport of the two ions appears to be decoupled. Overall, our work underscores that the asymmetry in cation and anion diffusivities fundamentally alters the behavior of ionic transport inside a charged cylindrical pore and opens up new avenues of research on electrolyte transport in porous materials.


title: FreeKD: Free-direction Knowledge Distillation for Graph Neural Networks

abstract: Knowledge distillation (KD) has demonstrated its effectiveness to boost the performance of graph neural networks (GNNs), where its goal is to distill knowledge from a deeper teacher GNN into a shallower student GNN. However, it is actually difficult to train a satisfactory teacher GNN due to the well-known over-parametrized and over-smoothing issues, leading to invalid knowledge transfer in practical applications. In this paper, we propose the first Free-direction Knowledge Distillation framework via Reinforcement learning for GNNs, called FreeKD, which is no longer required to provide a deeper well-optimized teacher GNN. The core idea of our work is to collaboratively build two shallower GNNs in an effort to exchange knowledge between them via reinforcement learning in a hierarchical way. As we observe that one typical GNN model often has better and worse performances at different nodes during training, we devise a dynamic and free-direction knowledge transfer strategy that consists of two levels of actions: 1) node-level action determines the directions of knowledge transfer between the corresponding nodes of two networks; and then 2) structure-level action determines which of the local structures generated by the node-level actions to be propagated. In essence, our FreeKD is a general and principled framework which can be naturally compatible with GNNs of different architectures. Extensive experiments on five benchmark datasets demonstrate our FreeKD outperforms two base GNNs in a large margin, and shows its efficacy to various GNNs. More surprisingly, our FreeKD has comparable or even better performance than traditional KD algorithms that distill knowledge from a deeper and stronger teacher GNN.


title: Single production of vector-like $T$ quark at future high-energy linear $e^{+}e^{-}$ collider

abstract: Based on a model-independent framework including the vector-like top partner (VLQ-$T$), we investigate the prospect of discovering the singlet or doublet VLQ-$T$ via the single production process $e^{-}e^{+}\to T\bar{t}+t\bar{T}$ with the $T\to Zt$ decay channel at future high energy linear $e^{+}e^{-}$ collider with $\sqrt{s}=3$ TeV. We focus on the hadronic decay of the top quark and two types of decay channel for the $Z$ boson: $Z\to \ell^{+}\ell^{-}$ and $Z\to \nu\bar{\nu}$. By carrying out a full simulation for the signals and the relevant SM backgrounds, the $2\sigma$ exclusion limit and $5\sigma$ discovery prospects are, respectively, obtained on the VLQ-$T$ mass and the coupling strength $g^{\ast}$ with the integrated luminosity of 5 ab$^{-1}$. In addition, we considered the initial state radiation and beamstrahlung effects as well as the systematic uncertainty effects of backgrounds, which are found to reduce the excluding or discovery capability.


title: Zeroth-Order Topological Insights into Iterative Magnitude Pruning

abstract: Modern-day neural networks are famously large, yet also highly redundant and compressible; there exist numerous pruning strategies in the deep learning literature that yield over 90% sparser sub-networks of fully-trained, dense architectures while still maintaining their original accuracies. Amongst these many methods though -- thanks to its conceptual simplicity, ease of implementation, and efficacy -- Iterative Magnitude Pruning (IMP) dominates in practice and is the de facto baseline to beat in the pruning community. However, theoretical explanations as to why a simplistic method such as IMP works at all are few and limited. In this work, we leverage the notion of persistent homology to gain insights into the workings of IMP and show that it inherently encourages retention of those weights which preserve topological information in a trained network. Subsequently, we also provide bounds on how much different networks can be pruned while perfectly preserving their zeroth order topological features, and present a modified version of IMP to do the same.


title: Lepton masses and mixings, and muon anomalous magnetic moment in an extended $B-L$ model with type I seesaw mechanism

abstract: We propose a $B-L$ model combined with the $S_4\times Z_3\times Z_4$ discrete symmetry which successfully explains the recent $3+1$ sterile - active neutrino data. The smallness of neutrino mass is obtained through the type-I seesaw mechanism. The active-active and sterile-active neutrino mixing angles are predicted to be consistent with the recent constraints in which $0.3401\, (0.3402) \leq \sin^2\theta_{12}\leq 0.3415\, (0.3416), \, 0.456\, (0.433) \leq \sin^2\theta_{23}\leq 0.544\, (0.545), \, 2.00\, (2.018) \leq 10^2\times \sin^2\theta_{13}\leq 2.405\, (2.424),\,\, 156 \, (140.8) \leq \delta^{(\circ)}_{CP}\leq 172\, (167.2)$ for normal (inverted) ordering of the three neutrino scenario, and $0.015 \,(0.022) \leq s^2_{14}\leq 0.045 \,(0.029), \, 0.005 (0.0095)\leq s^2_{24}\leq 0.012\, (0.012), \, 0.003 \,(0.009)\leq s^2_{34} \leq 0.011$ for normal (inverted) ordering of the $3+1$ neutrino scenario. Our model predicts flavour conserving leptonic neutral scalar interactions and successfully explains the muon $g-2$ anomaly.


title: LIFT: Language-Interfaced Fine-Tuning for Non-Language Machine Learning Tasks

abstract: Fine-tuning pretrained language models (LMs) without making any architectural changes has become a norm for learning various language downstream tasks. However, for non-language downstream tasks, a common practice is to employ task-specific designs for input, output layers, and loss functions. For instance, it is possible to fine-tune an LM into an MNIST classifier by replacing the word embedding layer with an image patch embedding layer, the word token output layer with a 10-way output layer, and the word prediction loss with a 10-way classification loss, respectively. A natural question arises: Can LM fine-tuning solve non-language downstream tasks without changing the model architecture or loss function? To answer this, we propose Language-Interfaced Fine-Tuning (LIFT) and study its efficacy and limitations by conducting an extensive empirical study on a suite of non-language classification and regression tasks. LIFT does not make any changes to the model architecture or loss function, and it solely relies on the natural language interface, enabling "no-code machine learning with LMs." We find that LIFT performs comparably well across a wide range of low-dimensional classification and regression tasks, matching the performances of the best baselines in many cases, especially for the classification tasks. We also report experimental results on the fundamental properties of LIFT, including inductive bias, robustness, and sample complexity. We also analyze the effect of pretraining on LIFT and a few properties/techniques specific to LIFT, e.g., context-aware learning via appropriate prompting, calibrated predictions, data generation, and two-stage fine-tuning. Our code is available at https://github.com/UW-Madison-Lee-Lab/LanguageInterfacedFineTuning.


title: Rotational Dependence of Large-scale Dynamo in Strongly-stratified Convection: What Causes It?

abstract: In a rigidly-rotating magnetohydrodynamic (MHD) system with convective turbulence, a large-scale dynamo, categorized as the $\alpha^2$-type, can be excited when the spin rate is large enough. In this paper, the rotational dependence of the $\alpha^2$-type dynamo and the cause of it are explored by mean-field (MF) dynamo models coupled with direct numerical simulations (DNSs) of MHD convections. Bearing the application to the solar/stellar dynamo in mind, we adopt a strongly-stratified polytrope as a model of the convective atmosphere. Our DNS models show that the $\alpha^2$-type dynamo is excited when ${\rm Ro} \lesssim 0.1$ where ${\rm Ro}$ is the Rossby number defined with the volume-averaged mean convective velocity. From the corresponding MF models, we demonstrate that the rotational dependence of the $\alpha^2$-type dynamo is mainly due to the change in the magnitude of the turbulent magnetic diffusion. With increasing the spin rate, the turbulent magnetic diffusion weakens while the $\alpha$-effect remains essentially unchanged over the convection zone, providing the critical point for the excitation of the large-scale dynamo. The ${\rm Ro}$-dependence of the stellar magnetic activity observable in the cool star is also discussed from the viewpoint of the rotational dependence of the turbulent electro-motive force. Overall our results suggest that, to get a better grasp of the stellar dynamo activity and its ${\rm Ro}$-dependence, it should be quantified how the convection velocity changes with the stellar spin rate with taking account of the rotational quenching and the Lorentz force feedback from the magnetic field on the convective turbulence.


title: Characters of local and regular permutation statistics

abstract: The goal of this monograph is to study the indicator function for a set of permutations mapping one finite sequence of positive integers to another from a representation theoretic, combinatorial and probabilistic perspective. The degree of a function of permutations is the size of the largest pair of sequences required when expressing it as a linear combination of these indicators. This notion of degree, implicit in work of Diaconis, is critical for many applications of representation theory to extremal combinatorics, machine learning, probability and statistics. We use the term local to indicate bounded degree and initiate the study of low degree class functions, which encode probabilistic data for permutation statistics on each cycle type simultaneously. We begin with a self contained treatment of for functions of permutations, developing its theory using language familiar to enumerative and algebraic combinatorialists. This leads naturally to a novel basis for symmetric functions we call the path power sum symmetric functions. The most technically challenging part of our work is the path Murnaghan-Nakayama formula, which expands path power sums into Schur functions. By combining the the path Murnaghan-Nakayam formula with the classical theory of character polynomials, one obtains a structural characterization for moments for permutation statistics conditioning on cycle type. We then analyze asymptotic properties of these moments. In doing so, we introduce the novel family of regular permutation statistics, which include almost all reasonable weighted pattern counting statistics. We show a large family of regular statistics satisfy a law of large numbers on a given cycle type depending only on the proportion of fixed points and a have variances depending only on fixed points and two cycles.


title: Distributed and Distribution-Robust Meta Reinforcement Learning (D2-RMRL) for Data Pre-storing and Routing in Cube Satellite Networks

abstract: In this paper, the problem of data pre-storing and routing in dynamic, resource-constrained cube satellite networks is studied. In such a network, each cube satellite delivers requested data to user clusters under its coverage. A group of ground gateways will route and pre-store certain data to the satellites, such that the ground users can be directly served with the pre-stored data. This pre-storing and routing design problem is formulated as a decentralized Markov decision process (Dec-MDP) in which we seek to find the optimal strategy that maximizes the pre-store hit rate, i.e., the fraction of users being directly served with the pre-stored data. To obtain the optimal strategy, a distributed distribution-robust meta reinforcement learning (D2-RMRL) algorithm is proposed that consists of three key ingredients: value-decomposition for achieving the global optimum in distributed setting with minimum communication overhead, meta learning to obtain the optimal initial to reduce the training time under dynamic conditions, and pre-training to further speed up the meta training procedure. Simulation results show that, using the proposed value decomposition and meta training techniques, the satellite networks can achieve a 31.8% improvement of the pre-store hits and a 40.7% improvement of the convergence speed, compared to a baseline reinforcement learning algorithm. Moreover, the use of the proposed pre-training mechanism helps to shorten the meta-learning procedure by up to 43.7%.


title: Searching for Variable Stars in the Open Cluster NGC 2355 and Its Surrounding Region

abstract: We have investigated the variable stars in the field surrounding NGC 2355 based on the time-series photometric observation data. More than 3000 CCD frames were obtained in the V band spread over 13 nights with the Nanshan One-meter Wide-field Telescope. We have detected 88 variable stars, containing 72 new variable stars and 16 known variable stars. By analyzing these light curves, we classified the variable stars as follows: 26 eclipsing binaries, 52 pulsating stars, 4 rotating variables, and 6 unclear type variable stars for which their periods are much longer than the time baseline chosen. Employing Gaia DR2 parallax, kinematics, and photometry, the cluster membership of these variable stars were also analyzed for NGC 2355. In addition to the 11 variable members reported by Cantat-Gaudin et al. (2018), we identify 4 more variable member candidates located at the outer region of NGC 2355 and showed homogeneity in space positions and kinematic properties with the cluster members. The main physical parameters of NGC 2355 estimated from the two-color and color-magnitude diagrams are log(age/yr) = 8.9, E(B - V) = 0.24 mag, and [Fe/H] = - 0.07 dex.


title: Relations for low-energy coupling constants in baryon chiral perturbation theory derived from the chiral quark model

abstract: The quark model symmetry can be adopted to establish relations between the low-energy constants (LECs) in the baryon chiral perturbation theory ($\chi PT$) if one assumes that a baryon-baryon-meson coupling is described equivalently by a quark-quark-meson coupling at the quark level. Through the correspondence between the $SU(2)$ description and the $SU(3)$ description for the same coupling vertex at the quark level, we find some relations between the LECs in $SU(2)_{\chi PT}$ and $SU(3)_{\chi PT}$ up to the third chiral order. The $SU(3)_{\chi PT}$ LEC relations at the same order are also obtained. The numerical analysis roughly supports these relations. In the situation that the available experimental data are not enough, one may employ such constraints to reduce the number of LECs.


title: Mirror duality between Calabi-Yau fractional complete intersections

abstract: This is an expanded version of the author's talk at the third annual meeting of International Consortium of Chinese Mathematicians held at USTC in December 2020. In this expository article, we give a survey on joint works with Hosono, Lian, and Yau in arXiv:2003.07148 and arXiv:2008.04039. We also carry out some explicit examples to illustrate our results in enumerative geometry which will appear in our forthcoming papers.