title: Electromagnetic field evolution in relativistic heavy-ion collision and its effect on flow of particles

abstract: We compute the electromagnetic fields generated in relativistic heavy-ion collisions using the iEBE-VISHNU framework. We calculated the incremental drift velocity from the possible four sources of the electric force (coulomb, Lorentz, Faraday, and Plasma-based) on the particles created. The effect of this external electromagnetic field on the flow harmonics of particles was investigated, and we found out that the flow harmonics values get suppressed and rouse in a non-uniform fashion throughout the evolution. More precisely, a maximum of close to three percent increase in elliptic flow was observed. We also found mass more dominant factor than charges for the change in flow harmonics due to the created electromagnetic field. On the top of that, the magnetic field perpendicular to the reaction plane is found to be sizable while the different radial electric forces were found to cancel out each other. Finally, we found out that the inclusion of an electromagnetic field affects the flow of particles by suppressing or rising it in a non-uniform fashion throughout the evolution.


title: First-Order logic and its Infinitary Quantifier Extensions over Countable Words

abstract: We contribute to the refined understanding of the language-logic-algebra interplay in the context of first-order properties of countable words. We establish decidable algebraic characterizations of one variable fragment of FO as well as boolean closure of existential fragment of FO via a strengthening of Simon's theorem about piecewise testable languages. We propose a new extension of FO which admits infinitary quantifiers to reason about the inherent infinitary properties of countable words. We provide a very natural and hierarchical block-product based characterization of the new extension. We also explicate its role in view of other natural and classical logical systems such as WMSO and FO[cut] - an extension of FO where quantification over Dedekind-cuts is allowed. We also rule out the possibility of a finite basis for a block-product based characterization of these logical systems. Finally, we report simple but novel algebraic characterizations of one variable fragments of the hierarchies of the new proposed extension of FO.


title: Scene-aware Learning Network for Radar Object Detection

abstract: Object detection is essential to safe autonomous or assisted driving. Previous works usually utilize RGB images or LiDAR point clouds to identify and localize multiple objects in self-driving. However, cameras tend to fail in bad driving conditions, e.g. bad weather or weak lighting, while LiDAR scanners are too expensive to get widely deployed in commercial applications. Radar has been drawing more and more attention due to its robustness and low cost. In this paper, we propose a scene-aware radar learning framework for accurate and robust object detection. First, the learning framework contains branches conditioning on the scene category of the radar sequence; with each branch optimized for a specific type of scene. Second, three different 3D autoencoder-based architectures are proposed for radar object detection and ensemble learning is performed over the different architectures to further boost the final performance. Third, we propose novel scene-aware sequence mix augmentation (SceneMix) and scene-specific post-processing to generate more robust detection results. In the ROD2021 Challenge, we achieved a final result of average precision of 75.0% and an average recall of 81.0%. Moreover, in the parking lot scene, our framework ranks first with an average precision of 97.8% and an average recall of 98.6%, which demonstrates the effectiveness of our framework.


title: Fiber-based optical trapping of yeast cells as near-field magnifying lenses for parallel subwavelength imaging

abstract: Subwavelength imaging by microsphere lenses is a promising label-free super-resolution imaging technique. There is a growing interest to use live cells to replace the widely used non-biological microsphere lenses. In this work, we demonstrate the use of yeast cells for such imaging purpose. Using fiber-based optical trapping technique, we successfully trapped a chain of yeast cells and bring them to the vicinity of imaging objects. These yeast cells work as near-field magnifying lenses and simultaneously pick up the sub-diffraction information of the nanoscale objects under each cell and project them into the far-field. Blu-ray disc of 100 nm feature can be clearly resolved in a parallel manner by each cell, thus effectively increasing the imaging field of view and imaging efficiency. Our work will contribute to the further development of more advanced bio-superlens imaging system


title: On Tightness of Tsaknakis-Spirakis Descent Methods for Approximate Nash Equilibria

abstract: This article explores the minimum approximation ratio for Nash equilibrium in bi-matrix games, focusing on the Tsaknakis and Spirakis (TS) methods. The previous SOTA, TS algorithm, achieved an approximation ratio of 0.3393, but efforts to improve the analysis of the TS algorithm have been unsuccessful. This work demonstrates that the bound of 0.3393 is tight for the TS algorithm and presents a theoretical worst-case analysis. A condition for identifying tight instances is provided, along with a generator. While most generated instances are unstable, indicating potential improvements, stable instances exist where perturbations cannot enhance the 0.3393 bound. Other approximate algorithms, such as regret-matching and fictitious play, achieve better ratios on these instances. The generated instances can serve as benchmarks for approximate Nash equilibrium algorithms. The article also mentions progress in the TS algorithm, achieving an approximation ratio of 1/3, which can be further studied using the presented techniques.


title: Detailed Abundances of Planet-Hosting Open Clusters. The Praesepe (Beehive) Cluster

abstract: It is not yet fully understood how planet formation affects the properties of host stars, in or out of a cluster; however, abundance trends can help us understand these processes. We present a detailed chemical abundance analysis of six stars in Praesepe, a planet-hosting open cluster. Pr0201 is known to host a close-in (period of 4.4 days) giant planet (mass of 0.54$\rm M_{\rm{J}}$), while the other five cluster members in our sample (Pr0133, Pr0081, Pr0208, Pr0051, and Pr0076) have no detected planets according to RV measurements. Using high-resolution, high signal-to-noise echelle spectra obtained with Keck/HIRES and a novel approach to equivalent width measurements (XSpect-EW), we derived abundances of up to 20 elements spanning a range of condensation temperatures (Tc). We find a mean cluster metallicity of [Fe/H] = +0.21$\pm$0.02 dex, in agreement with most previous determinations. We find most of our elements show a [X/Fe] scatter of $\sim$0.02-0.03 dex and conclude that our stellar sample is chemically homogeneous. The Tc slope for the cluster mean abundances is consistent with zero and none of the stars in our sample exhibit individually a statistically significant Tc slope. Using a planet engulfment model, we find that the planet-host, Pr0201, shows no evidence of significant enrichment in its refractory elements when compared to the cluster mean that would be consistent with a planetary accretion scenario.


title: Slope and generalization properties of neural networks

abstract: Neural networks are very successful tools in for example advanced classification. From a statistical point of view, fitting a neural network may be seen as a kind of regression, where we seek a function from the input space to a space of classification probabilities that follows the "general" shape of the data, but avoids overfitting by avoiding memorization of individual data points. In statistics, this can be done by controlling the geometric complexity of the regression function. We propose to do something similar when fitting neural networks by controlling the slope of the network. After defining the slope and discussing some of its theoretical properties, we go on to show empirically in examples, using ReLU networks, that the distribution of the slope of a well-trained neural network classifier is generally independent of the width of the layers in a fully connected network, and that the mean of the distribution only has a weak dependence on the model architecture in general. The slope is of similar size throughout the relevant volume, and varies smoothly. It also behaves as predicted in rescaling examples. We discuss possible applications of the slope concept, such as using it as a part of the loss function or stopping criterion during network training, or ranking data sets in terms of their complexity.


title: Properties and Application of Gaussian Quantum Processes

abstract: Gaussian states, operations, and measurements are central building blocks for continuous-variable quantum information processing which paves the way for abundant applications, especially including network-based quantum computation and communication. To make the most use of the Gaussian processes, it is required to understand and utilize suitable mathematical tools such as the symplectic space, symplectic algebra, and Wigner representation. Applying these mathematical tools to practical quantum scenarios, we developed various schemes for quantum transduction, interference-based bosonic mode permutation and bosonic sensing. We demonstrated that generic coupler characterized by Gaussian unitary process can be transformed into a high-fidelity transducer, assuming the access to infinite squeezing and adaptive feedforward with homodyne measurements. To address the practical limitation of finite squeezing, we explored the interference-based protocols. These protocols let us freely permute bosonic modes only assuming the access to single-mode Gaussian operations and multiple uses of a given multi-mode Gaussian process. Thus, such a scheme not only enables universal decoupling for bosonic systems, which is useful for suppressing undesired coupling between the system and the environment, but also faithful bidirectional single-mode quantum transduction. Moreover, noticing that the Gaussian processes are appropriate theoretical models for optical sensors, we studied the quantum noise theory for optical parameter sensing and its potential in providing great measurement precision enhancement. We also extended the Gaussian theories to discrete variable systems, with several examples such as quantum (gate) teleportation. All the analyses originated from the fundamental quantum commutation relations, and therefore are widely applicable.


title: Privacy-Preserving Representation Learning on Graphs: A Mutual Information Perspective

abstract: Learning with graphs has attracted significant attention recently. Existing representation learning methods on graphs have achieved state-of-the-art performance on various graph-related tasks such as node classification, link prediction, etc. However, we observe that these methods could leak serious private information. For instance, one can accurately infer the links (or node identity) in a graph from a node classifier (or link predictor) trained on the learnt node representations by existing methods. To address the issue, we propose a privacy-preserving representation learning framework on graphs from the \emph{mutual information} perspective. Specifically, our framework includes a primary learning task and a privacy protection task, and we consider node classification and link prediction as the two tasks of interest. Our goal is to learn node representations such that they can be used to achieve high performance for the primary learning task, while obtaining performance for the privacy protection task close to random guessing. We formally formulate our goal via mutual information objectives. However, it is intractable to compute mutual information in practice. Then, we derive tractable variational bounds for the mutual information terms, where each bound can be parameterized via a neural network. Next, we train these parameterized neural networks to approximate the true mutual information and learn privacy-preserving node representations. We finally evaluate our framework on various graph datasets.


title: Measurement of prompt open-charm production cross sections in proton-proton collisions at $\sqrt{s} = $ 13 TeV

abstract: The production cross sections for prompt open-charm mesons in proton-proton collisions at a center-of-mass energy of 13 TeV are reported. The measurement is performed using a data sample collected by the CMS experiment corresponding to an integrated luminosity of 29 nb$^{-1}$. The differential production cross sections of the D$^{*\pm}$, D$^\pm$, and D$^0$ ($\overline{\mathrm{D}}^{0}$) mesons are presented in ranges of transverse momentum and pseudorapidity 4 $\lt$ $p_\mathrm{T}$ $\lt$ 100 GeV and $\lvert\eta\rvert$ $\lt$ 2.1, respectively. The results are compared to several theoretical calculations and to previous measurements.


title: Byzantine-robust Federated Learning through Spatial-temporal Analysis of Local Model Updates

abstract: Federated Learning (FL) enables multiple distributed clients (e.g., mobile devices) to collaboratively train a centralized model while keeping the training data locally on the client. Compared to traditional centralized machine learning, FL offers many favorable features such as offloading operations which would usually be performed by a central server and reducing risks of serious privacy leakage. However, Byzantine clients that send incorrect or disruptive updates due to system failures or adversarial attacks may disturb the joint learning process, consequently degrading the performance of the resulting model. In this paper, we propose to mitigate these failures and attacks from a spatial-temporal perspective. Specifically, we use a clustering-based method to detect and exclude incorrect updates by leveraging their geometric properties in the parameter space. Moreover, to further handle malicious clients with time-varying behaviors, we propose to adaptively adjust the learning rate according to momentum-based update speculation. Extensive experiments on 4 public datasets demonstrate that our algorithm achieves enhanced robustness comparing to existing methods under both cross-silo and cross-device FL settings with faulty/malicious clients.


title: Thin film of Al-Ga-Pd-Mn quasicrystalline alloy

abstract: Thin film quasicrystal coatings have unique properties such as very high electrical and thermal resistivity and very low surface energy. A nano quasicrystalline thin film of icosahedral Al-Ga-Pd-Mn alloy, has produced by flash evaporation followed by annealing. Attempts will be made to discuss the micromechanisms for the formation of quasicrystalline thin film in Al-Ga-Pd-Mn alloys


title: Long time dynamics and blow-up for the focusing inhomogeneous nonlinear Schr\"odinger equation with spatial growing nonlinearity

abstract: We investigate the Cauchy problem for the focusing inhomogeneous nonlinear Schr\"odinger equation $i \partial_t u + \Delta u = - |x|^b |u|^{p-1} u$ in the radial Sobolev space $H^1_{\text{rad}}(\mathbb{R}^N)$, where $b>0$ and $p>1$. We show the global existence and energy scattering in the inter-critical regime, i.e., $p>\frac{N+4+2b}{N}$ and $p<\frac{N+2+2b}{N-2}$ if $N\geq 3$. We also obtain blowing-up solutions for the mass-critical and mass-supercritical nonlinearities. The main difficulty, coming from the spatial growing nonlinearity, is overcome by refined Gagliardo-Nirenberg type inequalities. Our proofs are based on improved Gagliardo-Nirenberg inequalities, the Morawetz-Sobolev approach of Dodson and Murphy, radial Sobolev embeddings, and localized virial estimates.


title: Assessing contribution of treatment phases through tipping point analyses via counterfactual elicitation using rank preserving structural failure time models

abstract: This article provides a novel approach to assess the importance of specific treatment phases within a treatment regimen through tipping point analyses (TPA) of a time-to-event endpoint using rank-preserving-structural-failure-time (RPSFT) modelling. In oncology clinical research, an experimental treatment is often added to the standard of care therapy in multiple treatment phases to improve patient outcomes. When the resulting new regimen provides a meaningful benefit over standard of care, gaining insights into the contribution of each treatment phase becomes important to properly guide clinical practice. New statistical approaches are needed since traditional methods are inadequate in answering such questions. RPSFT modelling is an approach for causal inference, typically used to adjust for treatment switching in randomized clinical trials with time-to-event endpoints. A tipping-point analysis is commonly used in situations where a statistically significant treatment effect is suspected to be an artifact of missing or unobserved data rather than a real treatment difference. The methodology proposed in this article is an amalgamation of these two ideas to investigate the contribution of a specific component of a regimen comprising multiple treatment phases. We provide different variants of the method and construct indices of contribution of a treatment phase to the overall benefit of a regimen that facilitates interpretation of results. The proposed approaches are illustrated with findings from a recently concluded, real-life phase 3 cancer clinical trial. We conclude with several considerations and recommendations for practical implementation of this new methodology.


title: String correlators on $\text{AdS}_3$: Four-point functions

abstract: We propose a closed-form formula for genus 0 four-point functions in $\text{AdS}_3$ string theory with pure NS-NS flux including arbitrary amounts of spectral flow. Our formula passes many non-trivial consistency checks and has intriguing connections to Hurwitz theory. This paper is the second in a series with several instalments.


title: The IVP for a certain dispersion generalized ZK equation in bi-periodic spaces

abstract: We establish well-posedness conclusions for the Cauchy problem associated to the dispersion generalized Zakharov-Kutnesov equation in bi-periodic Sobolev spaces $H^{s}\left(\mathbb{T}^{2}\right)$, $s>(\frac{3}{2}-\frac{1}{2^{\alpha+2}})(\frac{3}{2}-\frac{\beta}{4})$.


title: Four 'Peculiar' RRd Stars Observed by K2

abstract: Four stars pulsating simultaneously with a dominant period $P_D$$\in$(0.28,0.39) d and an {\it additional} period $P_A$$\in$(0.20,0.27) d have been identified from among the more than 3000 RR Lyrae stars observed by the Kepler space telescope during NASA's K2 Mission. All four stars are located in the direction of the Galactic Bulge and have period ratios, $P_A$/$P_D$, significantly smaller than those of most double-mode RR Lyrae (RRd) stars: $P_A$/$P_D$$\in$(0.694,0.710) vs. $P_1$/$P_0$$\in$(0.726,0.748). Three of the stars are faint ($<$$V$$>$=18--20 mag) and distant and are among the `peculiar' RRd (pRRd) stars discovered by Prudil et al. (2017); the fourth star, EPIC 216764000 (=V1125 Sgr), is a newly discovered pRRd star several magnitudes brighter than the other three stars. In this paper the high-precision long-cadence K2 photometry is analyzed in detail and used to study the cycle-to-cycle light variations. The pulsational characteristics of pRRd stars are compared with those of `classical' and `anomalous' RRd (cRRd, aRRd) stars. The conclusion by Prudil et al. that pRRd stars form a separate group of double-mode pulsators and are not simply very-short-period cRRd stars is confirmed. V1127 Aql and AH Cam are identified as other probable members of the class of pRRd stars.


title: Radiative decay of an emitter due to non-Markovian interactions with dissipating matter

abstract: It is known that the more tractable Markovian models of coupling suited for weak interactions may overestimate the Rabi frequency notably when applied to the strong-coupling regime. Here, a more significant consequence of the non-Markovian interaction between a photon emitter and dissipating matter such as resonant plasmonic nanoparticles is described. A large increase of radiative decay and a diminished non-radiative loss is shown, which unravels the origin of unexpected large enhancements of surface-enhanced-Raman-spectroscopy (SERS), as well as the anomalous enhancements of emission due to extremely small fully absorbing metal nanoparticles less than 10 nm in dimensions. We construct the mixture of pure states of the coupled emitter-nanoparticle system, unlike conventional methods that rely on the orthogonal modes of the nanoparticle alone.


title: Homology of the pronilpotent completion and cotorsion groups

abstract: For a non-cyclic free group $F$, the second homology of its pronilpotent completion $H_2(\widehat F)$ is not a cotorsion group.


title: Leptogenesis in Type Ib seesaw models

abstract: We study leptogenesis in three different realisations of the type Ib seesaw mechanism, where the effective masses of the neutrinos are obtained by the spontaneous symmetry breaking of two different Higgs doublets. In the minimal type Ib seesaw model, where two right-handed neutrinos form a Dirac mass, we show that it is impossible to produce the correct baryon asymmetry, even including a pseudo-Dirac mass splitting. In an extended type Ib seesaw model, with a third very heavy Majorana right-handed neutrino, together with the low scale Dirac pair of right-handed (RH) neutrinos and an extra singlet Higgs boson, we find that the imbalance of matter and antimatter can be explained by resonant leptogenesis. In the resulting low scale effective type Ib seesaw mechanism, we derive the allowed range of the seesaw couplings consistent with resonant leptogenesis. Dark matter may also be included via the right-handed neutrino portal. The Dirac RH neutrino masses may lie in the 1-100 GeV mass range, accessible to the future experiments SHiP and FCC-$ee$, allowing the type Ib seesaw mechanism with leptogenesis and dark matter to be tested.


title: Masses at null infinity for Einstein's equations in harmonic coordinates

abstract: In this work we give a complete picture of how to in a direct simple way define the mass at null infinity in harmonic coordinates in three different ways that we show satisfy the Bondi mass loss law. The first and second way involve only the limit of metric (Trautman mass) respectively the null second fundamental forms along asymptotically characteristic surfaces (asymptotic Hawking mass) that only depend on the ADM mass. The last in an original way involves construction of special characteristic coordinates at null infinity (Bondi mass). The results here rely on asymptotics of the metric derived in [24].


title: A fast algorithm for computing the Boys function

abstract: We present a new fast algorithm for computing the Boys function using a nonlinear approximation of the integrand via exponentials. The resulting algorithms evaluate the Boys function with real and complex valued arguments and are competitive with previously developed algorithms for the same purpose.


title: Learning Decentralized Wireless Resource Allocations with Graph Neural Networks

abstract: We consider the broad class of decentralized optimal resource allocation problems in wireless networks, which can be formulated as a constrained statistical learning problems with a localized information structure. We develop the use of Aggregation Graph Neural Networks (Agg-GNNs), which process a sequence of delayed and potentially asynchronous graph aggregated state information obtained locally at each transmitter from multi-hop neighbors. We further utilize model-free primal-dual learning methods to optimize performance subject to constraints in the presence of delay and asynchrony inherent to decentralized networks. We demonstrate a permutation equivariance property of the resulting resource allocation policy that can be shown to facilitate transference to dynamic network configurations. The proposed framework is validated with numerical simulations that exhibit superior performance to baseline strategies.


title: Atomic-Number (Z)-Correlated Atomic Sizes for Deciphering Electron Microscopic Molecular Images

abstract: With the advent of atomic-resolution transmission electron microscopy (AR-TEM) achieving sub-{\AA}ngstrom image resolution and submillisecond time resolution, an era of visual molecular science where chemists can visually study the time evolution of molecular motions and reactions at atomistic precision has arrived. However, the appearance of experimental TEM images often differs greatly from that of conventional molecular models, and the images are difficult to decipher unless we know in advance the structure of the specimen molecules. The difference arises from the fundamental design of the molecular models that represent atomic connectivity and/or the electronic properties of molecules rather than the nuclear charge of atoms and electrostatic potentials that are felt by the e-beam in TEM imaging. We found a good correlation between the atomic number (Z) and the atomic size seen in TEM images when we consider shot noise in digital images. We propose here Z-correlated (ZC) atomic radii for modeling AR-TEM images of single molecules and ultrathin crystals, with which we can develop a good estimate of the molecular structure from the TEM image much more easily than with conventional molecular models. Two parameter sets were developed for TEM images recorded under high-noise (ZCHN) and low-noise (ZCLN) conditions. The new molecular models will stimulate the imaginations of chemists planning to use AR-TEM for their research.


title: Composite Entanglement Topology and Extensional Rheology of Symmetric Ring-Linear Polymer Blends

abstract: Extensive molecular simulations are applied to characterize the equilibrium dynamics, entanglement topology, and nonlinear extensional rheology of symmetric ring-linear polymer blends with systematically varied ring fraction $\phi_R$. Chains with degree of entanglement $Z\approx14$ mixed to produce 10 well-entangled systems with $\phi_R$ varying from neat linear to neat ring melts. Primitive path analysis are used to visualize and quantify the structure of the composite ring-linear entanglement network. We directly measure the quantity of ring-linear threading and linear-linear entanglement as a function of $\phi_R$, and identify with simple arguments a ring fraction $\phi_R\approx0.4$ where the topological constraints of the entanglement network are maximized. These topological analyses are used to rationalize the $\phi_R$-dependence of ring and linear chain dynamics, conformations, and blend viscosity. Complimentary simulations of startup uniaxial elongation flows demonstrate the extensional stress overshoot observed in recent filament stretching experiments, and characterize how it depends on the blend composition and entanglement topology. The overshoot is driven by an overstretching and recoil of ring polymer conformations that is caused by the convective unthreading of rings from linear chains. This produces significant changes in the entanglement structure of blends that we directly visualize and quantify with primitive path analyses during flow.


title: Tunable Surface Phonon Polariton based THz Cavity

abstract: Designing and realizing switchable cavities at the infrared and THz frequencies is crucial for achieving novel integrated photonic circuits. Semiconductors like SiC support the propagation of surface phonon polaritons with the ability to tune carrier concentrations via doping. In this manuscript, we investigate the tunability of coupled surface-phonon-plasmon polariton waves inside an elliptical cavity build from a metal-semiconductor heterostructure. We theoretically study the impact of the extra n- and p-carrier doping on the resonant modes of the cavity and we show that for certain cavity modes a Purcell factor of 180 and an on/off switching behavior can be achieved via charge injection. The cavity mode tuning range spans approximately 13 times the resonance width.


title: Predictions of Astrometric Jitter for Sun-like Stars. II. Dependence on Inclination, Metallicity, and Active-Region Nesting

abstract: Ultra-precise astrometry from the Gaia mission is expected to lead to astrometric detections of more than 20,000 exoplanets in our Galaxy. One of the factors that could hamper such detections is the astrometric jitter caused by the magnetic activity of the planet host stars. In our previous study, we modeled astrometric jitter for the Sun observed equator-on. In this work, we generalize our model and calculate the photocenter jitter as it would be measured by the Gaia and Small-JASMINE missions for stars with solar rotation rate and effective temperature, but with various values of the inclination angle of the stellar rotation axis. In addition, we consider the effect of metallicity and of nesting of active regions (i.e. the tendency of active regions to emerge in the vicinity of each other). We find that, while the jitter of stars observed equator-on does not have any long-term trends and can be easily filtered out, the photocenters of stars observed out of their equatorial planes experience systematic shifts over the course of the activity cycle. Such trends allow the jitter to be detected with continuous measurements, in which case it can interfere with planet detectability. An increase in the metallicity is found to increase the jitter caused by stellar activity. Active-region nesting can further enhance the peak-to-peak amplitude of the photocenter jitter to a level that could be detected by Gaia.


title: Concentration inequalities for the hydrodynamic limit of a two-species stochastic particle system

abstract: We study a stochastic particle system which is motivated from grain boundary coarsening in two-dimensional networks. Each particles lives on the positive real line and is labeled as belonging to either Species 1 or Species 2. Species 1 particles drift at unit speed toward the origin, while Species 2 particles do not move. When a particle in Species 1 hits the origin, it is removed, and a randomly selected particle mutates from Species 2 to Species 1. The process described is an example of a high-dimensional piecewise deterministic Markov process (PDMP), in which deterministic flow is punctuated with stochastic jumps. Our main result is a proof of exponential concentration inequalities of the Kolmogorov-Smirnoff distance between empirical measures of the particle system and solutions of limiting nonlinear kinetic equations. Our method of proof involves a time and space discretization of the kinetic equations, which we compare with the particle system to derive recurrence inequalities for comparing total numbers in small intervals. To show these recurrences occur with high probability, we appeal to a state dependent Hoeffding type inequality at each time increment.


title: On Positional and Structural Node Features for Graph Neural Networks on Non-attributed Graphs

abstract: Graph neural networks (GNNs) have been widely used in various graph-related problems such as node classification and graph classification, where superior performance is mainly established when natural node features are available. However, it is not well understood how GNNs work without natural node features, especially regarding the various ways to construct artificial ones. In this paper, we point out the two types of artificial node features, i.e., positional and structural node features, and provide insights on why each of them is more appropriate for certain tasks, i.e., positional node classification, structural node classification, and graph classification. Extensive experimental results on 10 benchmark datasets validate our insights, thus leading to a practical guideline on the choices between different artificial node features for GNNs on non-attributed graphs. The code is available at https://github.com/zjzijielu/gnn-positional-structural-node-features.


title: A Data-Driven Method for Recognizing Automated Negotiation Strategies

abstract: Understanding an opponent agent helps in negotiating with it. Existing works on understanding opponents focus on preference modeling (or estimating the opponent's utility function). An important but largely unexplored direction is recognizing an opponent's negotiation strategy, which captures the opponent's tactics, e.g., to be tough at the beginning but to concede toward the deadline. Recognizing complex, state-of-the-art, negotiation strategies is extremely challenging, and simple heuristics may not be adequate for this purpose. We propose a novel data-driven approach for recognizing an opponent's s negotiation strategy. Our approach includes a data generation method for an agent to generate domain-independent sequences by negotiating with a variety of opponents across domains, a feature engineering method for representing negotiation data as time series with time-step features and overall features, and a hybrid (recurrent neural network-based) deep learning method for recognizing an opponent's strategy from the time series of bids. We perform extensive experiments, spanning four problem scenarios, to demonstrate the effectiveness of our approach.


title: Novel Semi-parametric Tobit Additive Regression Models

abstract: Regression method has been widely used to explore relationship between dependent and independent variables. In practice, data issues such as censoring and missing data often exist. When the response variable is (fixed) censored, Tobit regression models have been widely employed to explore the relationship between the response variable and covariates. In this paper, we extend conventional parametric Tobit models to a novel semi-parametric regression model by replacing the linear components in Tobit models with nonparametric additive components, which we refer as Tobit additive models, and propose a likelihood based estimation method for Tobit additive models. %The proposed estimation method is computational efficient and easy to implement. Numerical experiments are conducted to evaluate the finite sample performance. The estimation method works well in finite sample experiments, even when sample size is relative small.


title: Machine learning approach to pattern recognition in nuclear dynamics from the ab initio symmetry-adapted no-core shell model

abstract: A novel machine learning approach is used to provide further insight into atomic nuclei and to detect orderly patterns amidst a vast data of large-scale calculations. The method utilizes a neural network that is trained on ab initio results from the symmetry-adapted no-core shell model (SA-NCSM) for light nuclei. We show that the SA-NCSM, which expands ab initio applications up to medium-mass nuclei by using dominant symmetries of nuclear dynamics, can reach heavier nuclei when coupled with the machine learning approach. In particular, we find that a neural network trained on probability amplitudes for $s$-and $p$-shell nuclear wave functions not only predicts dominant configurations for heavier nuclei but in addition, when tested for the $^{20}$Ne ground state, it accurately reproduces the probability distribution. The nonnegligible configurations predicted by the network provide an important input to the SA-NCSM for reducing ultra-large model spaces to manageable sizes that can be, in turn, utilized in SA-NCSM calculations to obtain accurate observables. The neural network is capable of describing nuclear deformation and is used to track the shape evolution along the $^{20-42}$Mg isotopic chain, suggesting a shape-coexistence that is more pronounced toward the very neutron-rich isotopes. We provide first descriptions of the structure and deformation of $^{24}$Si and $^{40}$Mg of interest to x-ray burst nucleosynthesis, and even of the extremely heavy nuclei such as $^{166,168}$Er and $^{236}$U, that build upon first principles considerations.


title: BAGUA: Scaling up Distributed Learning with System Relaxations

abstract: Recent years have witnessed a growing list of systems for distributed data-parallel training. Existing systems largely fit into two paradigms, i.e., parameter server and MPI-style collective operations. On the algorithmic side, researchers have proposed a wide range of techniques to lower the communication via system relaxations: quantization, decentralization, and communication delay. However, most, if not all, existing systems only rely on standard synchronous and asynchronous stochastic gradient (SG) based optimization, therefore, cannot take advantage of all possible optimizations that the machine learning community has been developing recently. Given this emerging gap between the current landscapes of systems and theory, we build BAGUA, a MPI-style communication library, providing a collection of primitives, that is both flexible and modular to support state-of-the-art system relaxation techniques of distributed training. Powered by this design, BAGUA has a great ability to implement and extend various state-of-the-art distributed learning algorithms. In a production cluster with up to 16 machines (128 GPUs), BAGUA can outperform PyTorch-DDP, Horovod and BytePS in the end-to-end training time by a significant margin (up to 2 times) across a diverse range of tasks. Moreover, we conduct a rigorous tradeoff exploration showing that different algorithms and system relaxations achieve the best performance over different network conditions.


title: Geometric vs Algebraic Nullity for Hyperpaths

abstract: We consider the question of how the eigenvarieties of a hypergraph relate to the algebraic multiplicities of their corresponding eigenvalues. Specifically, we (1) fully describe the irreducible components of the zero-eigenvariety of a loose $3$-hyperpath (its "nullvariety"), (2) use recent results of Bao-Fan-Wang-Zhu to compute the corresponding algebraic multiplicity of zero (its "nullity"), and then (3) for this special class of hypergraphs, verify a conjecture of Hu-Ye about the relationship between the geometric (multi-)dimension of the nullvariety and the nullity.


title: In vitro reconstitution of microtubule dynamics and severing imaged by label-free interference reflection microscopy

abstract: The dynamic architecture of the microtubule cytoskeleton is crucial for cell division, motility and morphogenesis. The dynamic properties of microtubules - growth, shrinkage, nucleation and severing - are regulated by an arsenal of microtubule-associated proteins (MAPs). The activities of many of these MAPs have been reconstituted in vitro using microscope assays. As an alternative to fluorescence microscopy, interference-reflection microscopy (IRM) has been introduced as an easy-to-use, wide-field imaging technique that allows label-free visualization of microtubules with high contrast and speed. IRM circumvents several problems associated with fluorescence microscopy including the high concentrations of tubulin required for fluorescent labeling, the potential perturbation of function caused by the fluorophores, and the risks of photodamage. IRM can be implemented on a standard epifluorescence microscope at low cost and can be combined with fluorescence techniques like total-internal-reflection-fluorescence (TIRF) microscopy. Here we describe the experimental procedure to image microtubule dynamics and severing using IRM, providing practical tips and guidelines to resolve possible experimental hurdles.


title: Pulmonary Vessel Segmentation based on Orthogonal Fused U-Net++ of Chest CT Images

abstract: Pulmonary vessel segmentation is important for clinical diagnosis of pulmonary diseases, while is also challenging due to the complicated structure. In this work, we present an effective framework and refinement process of pulmonary vessel segmentation from chest computed tomographic (CT) images. The key to our approach is a 2.5D segmentation network applied from three orthogonal axes, which presents a robust and fully automated pulmonary vessel segmentation result with lower network complexity and memory usage compared to 3D networks. The slice radius is introduced to convolve the adjacent information of the center slice and the multi-planar fusion optimizes the presentation of intra- and inter- slice features. Besides, the tree-like structure of the pulmonary vessel is extracted in the post-processing process, which is used for segmentation refining and pruning. In the evaluation experiments, three fusion methods are tested and the most promising one is compared with the state-of-the-art 2D and 3D structures on 300 cases of lung images randomly selected from LIDC dataset. Our method outperforms other network structures by a large margin and achieves by far the highest average DICE score of 0.9272 and precision of 0.9310, as per our knowledge from the pulmonary vessel segmentation models available in the literature.


title: Modification of electronic structure and morphology of Ni2MnGa(100) by Cr adlayers

abstract: The growth of Cr adlayers on the Mn-Ga terminated surface of Ni2MnGa(100) has been studied in this work. We show formation of islands of epitaxial Cr layer up to 4 atomic layer heights using scanning tunneling microscopy, while core-level x-ray photoelectron spectroscopy (XPS) indicates absence of any intermixing of the adlayer and the substrate. The density of states (DOS) of the thin Cr layer (2.7 ML) measured by scanning tunneling spectroscopy exhibits nice agreement with density functional theory (DFT) that establishes that it is ferromagnetic. In contrast, a thick layer of Cr that also grows epitaxially on Ni2MnGa(100) is shown to be antiferromagnetic by comparing its XPS valence band with the DOS for bulk Cr calculated by DFT.


title: Overcoming the Force Limitations of Magnetic Robotic Surgery: Impact-based Tetherless Suturing

abstract: Magnetic robotics obviate the physical connections between the actuators and end effectors resulting in ultra-minimally invasive surgeries. Even though such a wireless actuation method is highly advantageous in medical applications, the trade-off between the applied force and miniature magnetic end effector dimensions has been one of the main challenges in practical applications in clinically relevant conditions. This trade-off is crucial for applications where in-tissue penetration is required (e.g., needle access, biopsy, and suturing). To increase the forces of such magnetic miniature end effectors to practically useful levels, we propose an impact-force-based suturing needle that is capable of penetrating into in-vitro and ex-vivo samples with 3-DoF planar freedom (planar positioning and in-plane orienting). The proposed optimized design is a custom-built 12 G needle that can generate 1.16 N penetration force which is 56 times stronger than its magnetic counterparts with the same size without such an impact force. By containing the fast-moving permanent magnet within the needle in a confined tubular structure, the movement of the overall needle remains slow and easily controllable. The achieved force is in the range of tissue penetration limits allowing the needle to be able to penetrate through tissues to follow a suturing method in a teleoperated fashion. We demonstrated in-vitro needle penetration into a bacon strip and successful suturing of a gauze mesh onto an agar gel mimicking a hernia repair procedure.


title: Low-frequency excess vibrational modes in two-dimensional glasses

abstract: Glasses possess more low-frequency vibrational modes than predicted by Debye theory. These excess modes are crucial for the understanding the low temperature thermal and mechanical properties of glasses, which differ from those of crystalline solids. Recent simulational studies suggest that the density of the excess modes scales with their frequency $\omega$ as $\omega^4$ in two and higher dimensions. Here, we present extensive numerical studies of two-dimensional model glass formers over a large range of glass stabilities. We find that the density of the excess modes follows $D_\text{exc}(\omega)\sim \omega^2 $ up to around the boson peak, regardless of the glass stability. The stability dependence of the overall scale of $D_\text{exc}(\omega)$ correlates with the stability dependence of low-frequency sound attenuation. However, we also find that in small systems, where the first sound mode is pushed to higher frequencies, at frequencies below the first sound mode there are excess modes with a system size independent density of states that scales as $\omega^3$.


title: Performance of wall-modeled LES with boundary-layer-conforming grids for external aerodynamics

abstract: We investigate the error scaling and computational cost of wall-modeled large-eddy simulation (WMLES) for external aerodynamic applications. The NASA Juncture Flow is used as representative of an aircraft with trailing-edge smooth-body separation. Two gridding strategies are examined: i) constant-size grid, in which the near-wall grid size has a constant value and ii) boundary-layer-conforming grid (BL-conforming grid), in which the grid size varies to accommodate the growth of the boundary-layer thickness. Our results are accompanied by a theoretical analysis of the cost and expected error scaling for the mean pressure coefficient ($C_p$) and mean velocity profiles. The prediction of $C_p$ is within less than $5\%$ error for all the grids studied, even when the boundary layers are marginally resolved. The high accuracy in the prediction of $C_p$ is attributed to the outer-layer nature of the mean pressure in attached flows. The errors in the predicted mean velocity profiles exhibit a large variability depending on the location considered, namely, fuselage, wing-body juncture, or separated trailing-edge. WMLES performs as expected in regions where the flow resembles a zero-pressure-gradient turbulent boundary layer such as the fuselage ($<5\%$ error). However, there is a decline in accuracy of WMLES predictions of mean velocities in the vicinity of wing-body junctions and, more acutely, in separated zones. The impact of the propagation of errors from the underresolved wing leading-edge is also investigated. It is shown that BL-conforming grids enable a higher accuracy in wing-body junctions and separated regions due to the more effective distribution of grid points, which in turn diminishes the streamwise propagation of errors.


title: Mission-level Robustness with Rapidly-deployed, Autonomous Aerial Vehicles by Carnegie Mellon Team Tartan at MBZIRC 2020

abstract: For robotic systems to succeed in high risk, real-world situations, they have to be quickly deployable and robust to environmental changes, under-performing hardware, and mission subtask failures. These robots are often designed to consider a single sequence of mission events, with complex algorithms lowering individual subtask failure rates under some critical constraints. Our approach utilizes common techniques in vision and control, and encodes robustness into mission structure through outcome monitoring and recovery strategies. In addition, our system infrastructure enables rapid deployment and requires no central communication. This report also includes lessons in rapid field robotic development and testing. We developed and evaluated our systems through real-robot experiments at an outdoor test site in Pittsburgh, Pennsylvania, USA, as well as in the 2020 Mohamed Bin Zayed International Robotics Challenge. All competition trials were completed in fully autonomous mode without RTK-GPS. Our system placed fourth in Challenge 2 and seventh in the Grand Challenge, with notable achievements such as popping five balloons (Challenge 1), successfully picking and placing a block (Challenge 2), and dispensing the most water onto an outdoor, real fire with an autonomous UAV (Challenge 3).


title: Measurement of the inclusive and differential $\mathrm{t\overline{t}}\gamma$ cross sections in the single-lepton channel and EFT interpretation at $\sqrt{s}$ = 13 TeV

abstract: The production cross section of a top quark pair in association with a photon is measured in proton-proton collisions at a center-of-mass energy of 13 TeV. The data set, corresponding to an integrated luminosity of 137 fb$^{-1}$, was recorded by the CMS experiment during the 2016-2018 data taking of the LHC. The measurements are performed in a fiducial volume defined at the particle level. Events with an isolated, highly energetic lepton, at least three jets from the hadronization of quarks, among which at least one is b tagged, and one isolated photon are selected. The inclusive fiducial $\mathrm{t\overline{t}}\gamma$ cross section, for a photon with transverse momentum greater than 20 GeV and pseudorapidity $\lvert \eta\rvert$ $\lt$ 1.4442, is measured to be 798 $\pm$ 7 (stat) $\pm$ 48 (syst) fb, in good agreement with the prediction from the standard model at next-to-leading order in quantum chromodynamics. The differential cross sections are also measured as a function of several kinematic observables and interpreted in the framework of the standard model effective field theory (EFT), leading to the most stringent direct limits to date on anomalous electromagnetic dipole moment interactions of the top quark and the photon.


title: Bayesian decision-making under misspecified priors with applications to meta-learning

abstract: Thompson sampling and other Bayesian sequential decision-making algorithms are among the most popular approaches to tackle explore/exploit trade-offs in (contextual) bandits. The choice of prior in these algorithms offers flexibility to encode domain knowledge but can also lead to poor performance when misspecified. In this paper, we demonstrate that performance degrades gracefully with misspecification. We prove that the expected reward accrued by Thompson sampling (TS) with a misspecified prior differs by at most $\tilde{\mathcal{O}}(H^2 \epsilon)$ from TS with a well specified prior, where $\epsilon$ is the total-variation distance between priors and $H$ is the learning horizon. Our bound does not require the prior to have any parametric form. For priors with bounded support, our bound is independent of the cardinality or structure of the action space, and we show that it is tight up to universal constants in the worst case. Building on our sensitivity analysis, we establish generic PAC guarantees for algorithms in the recently studied Bayesian meta-learning setting and derive corollaries for various families of priors. Our results generalize along two axes: (1) they apply to a broader family of Bayesian decision-making algorithms, including a Monte-Carlo implementation of the knowledge gradient algorithm (KG), and (2) they apply to Bayesian POMDPs, the most general Bayesian decision-making setting, encompassing contextual bandits as a special case. Through numerical simulations, we illustrate how prior misspecification and the deployment of one-step look-ahead (as in KG) can impact the convergence of meta-learning in multi-armed and contextual bandits with structured and correlated priors.


title: Directed Percolation in Temporal Networks

abstract: Connectivity and reachability on temporal networks, which can describe the spreading of a disease, decimation of information or the accessibility of a public transport system over time, have been among the main contemporary areas of study in complex systems for the last decade. However, while isotropic percolation theory successfully describes connectivity in static networks, a similar description has not been yet developed for temporal networks. Here address this problem and formalize a mapping of the concept of temporal network reachability to percolation theory. We show that the limited-waiting-time reachability, a generic notion of constrained connectivity in temporal networks, displays directed percolation phase transition in connectivity. Consequently, the critical percolation properties of spreading processes on temporal networks can be estimated by a set of known exponents characterising the directed percolation universality class. This result is robust across a diverse set of temporal network models with different temporal and topological heterogeneities, while by using our methodology we uncover similar reachability phase transitions in real temporal networks too. These findings open up an avenue to apply theory, concepts and methodology from the well-developed directed percolation literature to temporal networks.

categories: physics.soc-ph cond-mat.dis-nn cond-mat.stat-mech cs.SI


title: Fall-to-the-centre as a $\mathcal{PT}$ symmetry breaking transition

abstract: The attractive inverse square potential arises in a number of physical problems such as a dipole interacting with a charged wire, the Efimov effect, the Calgero-Sutherland model, near-horizon black hole physics and the optics of Maxwell fisheye lenses. Proper formulation of the inverse-square problem requires specification of a boundary condition (regulator) at the origin representing short-range physics not included in the inverse square potential and this generically breaks the Hamiltonian's continuous scale invariance in an elementary example of a quantum anomaly. The system's spectrum qualitatively changes at a critical value of the inverse-square coupling, and we here point out that the transition at this critical potential strength can be regarded as an example of a $\mathcal{PT}$ symmetry breaking transition. In particular, we use point particle effective field theory (PPEFT), as developed by Burgess et al [J. High Energy Phys., 2017(4):106, 2017], to characterize the renormalization group (RG) evolution of the boundary coupling under rescalings. While many studies choose boundary conditions to ensure the system is unitary, these RG methods allow us to systematically handle the richer case of nonunitary physics describing a source or sink at the origin (such as is appropriate for the charged wire or black hole applications). From this point of view the RG flow changes character at the critical inverse-square coupling, transitioning from a sub-critical regime with evolution between two real, unitary fixed points ($\mathcal{PT}$ symmetric phase) to a super-critical regime with imaginary, dissipative fixed points ($\mathcal{PT}$ symmetry broken phase) that represent perfect-sink and perfect-source boundary conditions, around which the flow executes limit-cycle evolution.


title: Simplicity of tangent bundles of smooth horospherical varieties of Picard number one

abstract: Recently, Kanemitsu has discovered a counterexample to the long-standing conjecture that the tangent bundle of a Fano manifold of Picard number one is (semi)stable. His counterexample is a smooth horospherical variety. There is a weaker conjecture that the tangent bundle of a Fano manifold of Picard number one is simple. We prove that this weaker conjecture is valid for smooth horospherical varieties of Picard number one. Our proof follows from the existence of an irreducible family of unbendable rational curves whose tangent vectors span the tangent spaces of the horospherical variety at general points.


title: Selecting invalid instruments to improve Mendelian randomization with two-sample summary data

abstract: Mendelian randomization (MR) is a widely-used method to estimate the causal relationship between a risk factor and disease. A fundamental part of any MR analysis is to choose appropriate genetic variants as instrumental variables. Genome-wide association studies often reveal that hundreds of genetic variants may be robustly associated with a risk factor, but in some situations investigators may have greater confidence in the instrument validity of only a smaller subset of variants. Nevertheless, the use of additional instruments may be optimal from the perspective of mean squared error even if they are slightly invalid; a small bias in estimation may be a price worth paying for a larger reduction in variance. For this purpose, we consider a method for "focused" instrument selection whereby genetic variants are selected to minimise the estimated asymptotic mean squared error of causal effect estimates. In a setting of many weak and locally invalid instruments, we propose a novel strategy to construct confidence intervals for post-selection focused estimators that guards against the worst case loss in asymptotic coverage. In empirical applications to: (i) validate lipid drug targets; and (ii) investigate vitamin D effects on a wide range of outcomes, our findings suggest that the optimal selection of instruments does not involve only a small number of biologically-justified instruments, but also many potentially invalid instruments.


title: Affleck-Dine Baryogenesis with Observable Neutron-Anti-Neutron Oscillation

abstract: We discuss the implications of Affleck-Dine (AD) baryogenesis for different classes of baryon and lepton number violating processes: specially focussing on implications for neutron-anti-neutron ($n-\bar{n}$) oscillation. The class of AD baryogenesis scenarios we work with uses the AD field also as the inflaton which is nonminimally coupled to gravity. We find that adequate baryogenesis and no washout by the baryon number ($B$) or the lepton number ($L$) violating operators implies constraints on the observability of the process or in the case of neutrino mass with compatibility with neutrino oscillation observations. In particular, for $n-\bar{n}$ oscillation, we study some of the familiar operators that connect the AD field to $n-\bar{n}$ oscillation and find that a split scalar spectrum model turns out to be most advantageous for obtaining an observable $n-\bar{n}$ while remaining consistent with AD baryogenesis. It is interesting that this spectrum is similar to a non-supersymmetyric SO(10) model for observable $n-\bar{n}$ oscillation discussed before, suggesting that this AD scenario can be embedded into a grand unified SO(10) model. We also find that for a low scale (all scales in the 100 TeV range), there is a narrow range of parameters where the observable $n-\bar{n}$ oscillation is compatible with viable AD baryogenesis. A feature of this baryogenesis scenario for $n-\bar{n}$ oscillation is that it necessarily predicts processes with $\Delta B=4$ or higher, all be it with highly suppressed amplitudes.


title: The Mazur-Ulam property for uniform algebras

abstract: We give a sufficient condition for a Banach space with which the homogeneous extension of a surjective isometry from the unit sphere of it onto another one is real-linear. The condition is satisfied by a uniform algebra and a certain extremely $C$-regular space of real-valued continuous functions.


title: Introducing Self-Attention to Target Attentive Graph Neural Networks

abstract: Session-based recommendation systems suggest relevant items to users by modeling user behavior and preferences using short-term anonymous sessions. Existing methods leverage Graph Neural Networks (GNNs) that propagate and aggregate information from neighboring nodes i.e., local message passing. Such graph-based architectures have representational limits, as a single sub-graph is susceptible to overfit the sequential dependencies instead of accounting for complex transitions between items in different sessions. We propose a new technique that leverages a Transformer in combination with a target attentive GNN. This allows richer representations to be learnt, which translates to empirical performance gains in comparison to a vanilla target attentive GNN. Our experimental results and ablation show that our proposed method is competitive with the existing methods on real-world benchmark datasets, improving on graph-based hypotheses. Code is available at https://github.com/The-Learning-Machines/SBR


title: A New Shape of Extremal Clusters For Certain Stationary Semi-Exponential Processes With Moderate Long Range Dependence

abstract: Extremal clusters of stationary processes with long memory can be quite intricate. For certain stationary infinitely divisible processes with subexponential tails, including both power-like tails and certain lighter tails, e.g. lognormal-like tails, such clusters may take the shape of stable regenerative sets. In this paper we show that for semi-exponential tails, which are even lighter, a new shape of extremal clusters arises. In this case each stable regenerative set supports a random panoply of varying extremes.


title: Hierarchical Policies for Cluttered-Scene Grasping with Latent Plans

abstract: 6D grasping in cluttered scenes is a longstanding problem in robotic manipulation. Open-loop manipulation pipelines may fail due to inaccurate state estimation, while most end-to-end grasping methods have not yet scaled to complex scenes with obstacles. In this work, we propose a new method for end-to-end learning of 6D grasping in cluttered scenes. Our hierarchical framework learns collision-free target-driven grasping based on partial point cloud observations. We learn an embedding space to encode expert grasping plans during training and a variational autoencoder to sample diverse grasping trajectories at test time. Furthermore, we train a critic network for plan selection and an option classifier for switching to an instance grasping policy through hierarchical reinforcement learning. We evaluate our method and compare against several baselines in simulation, as well as demonstrate that our latent planning can generalize to real-world cluttered-scene grasping tasks. Our videos and code can be found at https://sites.google.com/view/latent-grasping .


title: Constraining the magnetic vector in the quiet solar photosphere and the impact of instrumental degradation

abstract: With the advent of next generation high resolution telescopes, our understanding of how the magnetic field is organized in the internetwork (IN) photosphere is likely to advance.We aim to evaluate the extent to which we can retrieve information about the magnetic vector in the IN photosphere using inversions. We use snapshots produced from high resolution 3D magnetohydrodynamic (MHD) simulations and employ the Stokes Inversions based on Response functions (SIR) code to produce synthetic observables in the near infrared spectral window observed by the GREGOR Infrared Spectrograph (GRIS), which contains the highly magnetically sensitive photospheric Fe I line pair at 15648.52 A and 15652.87 A. We perform nearly 14 million inversions to test how well the true MHD atmospheric parameters can be constrained. Finally, we degrade the synthetic Stokes vectors spectrally and spatially to GREGOR resolutions and examine how this influences observations, considering the impact of stray light, spatial resolution and signal-to-noise (S-to-N). We find the depth-averaged parameters can be recovered by the inversions of the undegraded profiles, and by adding gradients to magnetic field strength, inclination and line of sight velocity we show an improvement in the chi squared value is achieved. We evaluate the extent to which we can constrain these parameters at various optical depths, with the kinematic and thermodynamic parameters sensitive deeper in the atmosphere than the magnetic parameters. We find the S-to-N and spatial resolution play a significant role in determining how the atmosphere appears and the magnetic and kinematic parameters are invariant upon inclusion of unpolarized stray light. We studied a linear polarization feature which resembles those recently observed by GRIS, appearing as loop-like structures with similar magnetic flux density.


title: The PCP-like Theorem for Sub-linear Time Inapproximability

abstract: In this paper we propose the PCP-like theorem for sub-linear time inapproximability. Abboud et al. have devised the distributed PCP framework for proving sub-quadratic time inapproximability. Here we try to go further in this direction. Staring from SETH, we first find a problem denoted as Ext-$k$-SAT, which can not be computed in linear time, then devise an efficient MA-like protocol for this problem. To use this protocol to prove the sub-linear time inapproximability of other problems, we devise a new kind of reduction denoted as Ext-reduction, and it is different from existing reduction techniques. We also define two new hardness class, the problems in which can be computed in linear-time, but can not be efficiently approximated in sub-linear time. Some problems are shown to be in the newly defined hardness class.


title: On multilinear distorted multiplier estimate and its applications

abstract: In this article, we investigate the multilinear distorted multiplier estimate (Coifman-Meyer type theorem) associated with the Schr\"{o}dinger operator $H=-\Delta + V$ in the framework of the corresponding distorted Fourier transform. Our result is the "distorted" analog of the multilinear Coifman-Meyer multiplier operator theorem in \cite{CM1}, which extends the bilinear estimates of Germain, Hani and Walsh's in \cite{PZS} to the multilinear case for all dimensions. As applications, we give the estimate of Leibniz's law of integer order derivations for the multilinear distorted multiplier for the first time and we obtain small data scattering for a kind of generalized mass-critical NLS with good potential in low dimensions $d=1,2$.


title: Heavy and light flavor jet quenching in different collision systems at the LHC energies

abstract: Recent experiments have observed large anisotropic collective flows in high multiplicity proton-lead collisions at the Large Hadron Collider (LHC), which indicates the possible formation of mini quark-gluon plasma (QGP) in small collision systems. However, no jet quenching has been confirmed in such small systems so far. To understand this intriguing result, the system size scan experiments have been proposed to bridge the gap between large and small systems. In this work, we perform a systematic study on both heavy and light flavor jet quenching in different collision systems at the LHC energies. Using our state-of-the-art jet quenching model, which combines the next-to-leading-order perturbative QCD framework, a linear Boltzmann transport model and the (3+1)-dimensional viscous hydrodynamics simulation, we provide a good description of nuclear modification factor $R_{\rm AA}$ for charged hadrons and $D$ mesons in central and mid-central Pb+Pb and Xe+Xe collisions measured by CMS collaboration. We further predict the transverse momentum and centrality dependences of $R_{AA}$ for charged hadrons, $D$ and $B$ mesons in Pb+Pb, Xe+Xe, Ar+Ar and O+O collisions at the LHC energies. Our numerical results show a clear system size dependence for both light and heavy flavor hadron $R_{AA}$ across different collision systems. Sizable jet quenching effect is obtained for both heavy and light flavor hadrons in central O+O collisions at the LHC energies. Our study provides a significant bridge for jet quenching from large to small systems, and should be helpful for finding the smallest QGP droplet and the disappearance of QGP in relativistic nuclear collisions.


title: Volterra type integration operators between weighted Bergman spaces and Hardy spaces

abstract: Let $\mathcal{D}$ be the class of radial weights on the unit disk which satisfy both forward and reverse doubling conditions. Let $g$ be an analytic function on the unit disk $\mathbb{D}$. We characterize bounded and compact Volterra type integration operators \[ J_{g}(f)(z)=\int_{0}^{z}f(\lambda)g'(\lambda)d\lambda \] between weighted Bergman spaces $L_{a}^{p}(\omega )$ induced by $\mathcal{D}$ weights and Hardy spaces $H^{q}$ for $0<p,q<\infty$.


title: Jitter radiation: towards TeV-photons of gamma-ray bursts

abstract: The synchrotron mechanism has the radiation limit of about 160 MeV, and it is not possible to explain the very high energy (VHE) photons that are emitted by high-energy objects. Inverse Compton scattering as a traditional process is applied for the explanation of the VHE emission. In this paper, jitter radiation, the relativistic electron radiation in the random and small-scale magnetic field, is proposed to be a possible mechanism to produce VHE photons. The jitter radiation frequency is associated with the perturbation field. The spectral index of the jitter radiation is dominated by the kinetic turbulence. We utilize the jitter radiation to explain the gamma-ray burst (GRB 190114C and GRB 180720B) VHE emissions that were recently detected by the Imaging Atmospheric Cherenkov Telescopes. We suggest that this mechanism can be applied to other kinds of VHE sources.


title: AdaL: Adaptive Gradient Transformation Contributes to Convergences and Generalizations

abstract: Adaptive optimization methods have been widely used in deep learning. They scale the learning rates adaptively according to the past gradient, which has been shown to be effective to accelerate the convergence. However, they suffer from poor generalization performance compared with SGD. Recent studies point that smoothing exponential gradient noise leads to generalization degeneration phenomenon. Inspired by this, we propose AdaL, with a transformation on the original gradient. AdaL accelerates the convergence by amplifying the gradient in the early stage, as well as dampens the oscillation and stabilizes the optimization by shrinking the gradient later. Such modification alleviates the smoothness of gradient noise, which produces better generalization performance. We have theoretically proved the convergence of AdaL and demonstrated its effectiveness on several benchmarks.


title: A new texture of neutrino mass matrix with three constraints

abstract: We present a new texture of neutrino mass matrix having three complex relations among its elements and study in detail the phenomenological implications. A characteristic feature of the resulting neutrino mass matrix is that the atmospheric neutrino mixing angle is predicted to lie in a very narrow region near $45^{\circ}$. We illustrate how such a form of the neutrino mass matrix can be realized using the non-Abelian flavor symmetry $A_4$ in the framework of type-I+II seesaw mechanism.


title: COVID-Rate: An Automated Framework for Segmentation of COVID-19 Lesions from Chest CT Scans

abstract: Novel Coronavirus disease (COVID-19) is a highly contagious respiratory infection that has had devastating effects on the world. Recently, new COVID-19 variants are emerging making the situation more challenging and threatening. Evaluation and quantification of COVID-19 lung abnormalities based on chest Computed Tomography (CT) scans can help determining the disease stage, efficiently allocating limited healthcare resources, and making informed treatment decisions. During pandemic era, however, visual assessment and quantification of COVID-19 lung lesions by expert radiologists become expensive and prone to error, which raises an urgent quest to develop practical autonomous solutions. In this context, first, the paper introduces an open access COVID-19 CT segmentation dataset containing 433 CT images from 82 patients that have been annotated by an expert radiologist. Second, a Deep Neural Network (DNN)-based framework is proposed, referred to as the COVID-Rate, that autonomously segments lung abnormalities associated with COVID-19 from chest CT scans. Performance of the proposed COVID-Rate framework is evaluated through several experiments based on the introduced and external datasets. The results show a dice score of 0:802 and specificity and sensitivity of 0:997 and 0:832, respectively. Furthermore, the results indicate that the COVID-Rate model can efficiently segment COVID-19 lesions in both 2D CT images and whole lung volumes. Results on the external dataset illustrate generalization capabilities of the COVID-Rate model to CT images obtained from a different scanner.


title: Incorporating Reachability Knowledge into a Multi-Spatial Graph Convolution Based Seq2Seq Model for Traffic Forecasting

abstract: Accurate traffic state prediction is the foundation of transportation control and guidance. It is very challenging due to the complex spatiotemporal dependencies in traffic data. Existing works cannot perform well for multi-step traffic prediction that involves long future time period. The spatiotemporal information dilution becomes serve when the time gap between input step and predicted step is large, especially when traffic data is not sufficient or noisy. To address this issue, we propose a multi-spatial graph convolution based Seq2Seq model. Our main novelties are three aspects: (1) We enrich the spatiotemporal information of model inputs by fusing multi-view features (time, location and traffic states) (2) We build multiple kinds of spatial correlations based on both prior knowledge and data-driven knowledge to improve model performance especially in insufficient or noisy data cases. (3) A spatiotemporal attention mechanism based on reachability knowledge is novelly designed to produce high-level features fed into decoder of Seq2Seq directly to ease information dilution. Our model is evaluated on two real world traffic datasets and achieves better performance than other competitors.


title: Learning Complex Users' Preferences for Recommender Systems

abstract: Recommender systems (RSs) have emerged as very useful tools to help customers with their decision-making process, find items of their interest, and alleviate the information overload problem. There are two different lines of approaches in RSs: (1) general recommenders with the main goal of discovering long-term users' preferences, and (2) sequential recommenders with the main focus of capturing short-term users' preferences in a session of user-item interaction (here, a session refers to a record of purchasing multiple items in one shopping event). While considering short-term users' preferences may satisfy their current needs and interests, long-term users' preferences provide users with the items that they may interact with, eventually. In this thesis, we first focus on improving the performance of general RSs. Most of the existing general RSs tend to exploit the users' rating patterns on common items to detect similar users. The data sparsity problem (i.e. the lack of available information) is one of the major challenges for the current general RSs, and they may fail to have any recommendations when there are no common items of interest among users. We call this problem data sparsity with no feedback on common items (DSW-n-FCI). To overcome this problem, we propose a personality-based RS in which similar users are identified based on the similarity of their personality traits.


title: On Reflection Representations of Coxeter Groups over Non-Commutative Rings

abstract: In this paper, we consider representations of Coxeter groups over a path algebra, R, defined by Dyer. We answer a question posed by Dyer about the multiplicative properties of R, showing that it is "almost a domain". We also show that R cam be embedded in a matrix ring over a free product of extension fields of the rational numbers and rings of Laurent polynomials.


title: TENET: A Time-reversal Enhancement Network for Noise-robust ASR

abstract: Due to the unprecedented breakthroughs brought about by deep learning, speech enhancement (SE) techniques have been developed rapidly and play an important role prior to acoustic modeling to mitigate noise effects on speech. To increase the perceptual quality of speech, current state-of-the-art in the SE field adopts adversarial training by connecting an objective metric to the discriminator. However, there is no guarantee that optimizing the perceptual quality of speech will necessarily lead to improved automatic speech recognition (ASR) performance. In this study, we present TENET, a novel Time-reversal Enhancement NETwork, which leverages the transformation of an input noisy signal itself, i.e., the time-reversed version, in conjunction with the siamese network and complex dual-path transformer to promote SE performance for noise-robust ASR. Extensive experiments conducted on the Voicebank-DEMAND dataset show that TENET can achieve state-of-the-art results compared to a few top-of-the-line methods in terms of both SE and ASR evaluation metrics. To demonstrate the model generalization ability, we further evaluate TENET on the test set of scenarios contaminated with unseen noise, and the results also confirm the superiority of this promising method.


title: Decentralizing Centralized Matching Markets: Implications from Early Offers in University Admissions

abstract: The matching literature often recommends market centralization under the assumption that agents know their own preferences and that their preferences are fixed. We find counterevidence to this assumption in a quasi-experiment. In Germany's university admissions, a clearinghouse implements the early stages of the Gale-Shapley algorithm in real time. We show that early offers made in this decentralized phase, although not more desirable, are accepted more often than later ones. These results, together with survey evidence and a theoretical model, are consistent with students' costly learning about universities. We propose a hybrid mechanism to combine the advantages of decentralization and centralization. Published at The Journal of Political Economy under a new title, ``Preference Discovery in University Admissions: The Case for Dynamic Multioffer Mechanisms,'' available at https://doi.org/10.1086/718983 (Open Access).


title: Revisiting $R^4$ higher curvature corrections to black holes

abstract: We revisit the corrections to black holes due to the $R^4$ terms in the action. We discuss corrections to the metric and possible scalar fields, as well as corrections to thermodynamic quantities. We also comment on the large $D$ limit of the solutions.


title: Erasures repair for decreasing monomial-Cartesian and augmented Reed-Muller codes of high rate

abstract: In this work, we present linear exact repair schemes for one or two erasures in decreasing monomial-Cartesian codes DM-CC, a family of codes which provides a framework for polar codes. In the case of two erasures, the positions of the erasures should satisfy a certain restriction. We present families of augmented Reed-Muller (ARM) and augmented Cartesian codes (ACar) which are families of evaluation codes obtained by strategically adding vectors to Reed-Muller and Cartesian codes, respectively. We develop repair schemes for one or two erasures for these families of augmented codes. Unlike the repair scheme for two erasures of DM-CC, the repair scheme for two erasures for the augmented codes has no restrictions on the positions of the erasures. When the dimension and base field are fixed, we give examples where ARM and ACar codes provide a lower bandwidth (resp., bitwidth) in comparison with Reed-Solomon (resp., Hermitian) codes. When the length and base field are fixed, we give examples where ACar codes provide a lower bandwidth in comparison with ARM. Finally, we analyze the asymptotic behavior when the augmented codes achieve the maximum rate.


title: A N-Path Receiver With Harmonic Response Suppression

abstract: A downconversion receiver employing a switch-based N-path filter with reduced harmonic response around the third- and fifth- LO harmonics is presented. The N-path filter is placed in a frequency-translation feedback loop that is effective at the 3rd and the 5th LO harmonics to mitigate harmonic downconversion. A pulse-width-modulated LO (PWM-LO) clocking scheme is used in the feedback upconverter to reduce the noise injected around the LO harmonic at the input of N-path downconverter. The compression resulting from blockers around the 3rd and the 5th LO harmonics is also suppressed as a result of reduced harmonic response. Compensation of peak frequency shift of the N-path response due to parasitic input capacitance is also described.


title: Computable Stone spaces

abstract: We investigate computable metrizability of Polish spaces up to homeomorphism. In this paper we focus on Stone spaces. We use Stone duality to construct the first known example of a computable topological Polish space not homeomorphic to any computably metrized space. In fact, in our proof we construct a right-c.e. metrized Stone space which is not homeomorphic to any computably metrized space. Then we introduce a new notion of effective categoricity for effectively compact spaces and prove that effectively categorical Stone spaces are exactly the duals of computably categorical Boolean algebras. Finally, we prove that, for a Stone space $X$, the Banach space $C(X;\mathbb{R})$ has a computable presentation if, and only if, $X$ is homeomorphic to a computably metrized space. This gives an unexpected positive partial answer to a question recently posed by McNicholl.


title: One-step TMLE for targeting cause-specific absolute risks and survival curves

abstract: This paper considers one-step targeted maximum likelihood estimation method for general competing risks and survival analysis settings where event times take place on the positive real line R+ and are subject to right-censoring. Our interest is overall in the effects of baseline treatment decisions, static, dynamic or stochastic, possibly confounded by pre-treatment covariates. We point out two overall contributions of our work. First, our method can be used to obtain simultaneous inference across all absolute risks in competing risks settings. Second, we present a practical result for achieving inference for the full survival curve, or a full absolute risk curve, across time by targeting over a fine enough grid of points. The one-step procedure is based on a one-dimensional universal least favorable submodel for each cause-specific hazard that can be implemented in recursive steps along a corresponding universal least favorable submodel. We present a theorem for conditions to achieve weak convergence of the estimator for an infinite-dimensional target parameter. Our empirical study demonstrates the use of the methods.


title: Completely Positive Factorization by a Riemannian Smoothing Method

abstract: Copositive optimization is a special case of convex conic programming, and it consists of optimizing a linear function over the cone of all completely positive matrices under linear constraints. Copositive optimization provides powerful relaxations of NP-hard quadratic problems or combinatorial problems, but there are still many open problems regarding copositive or completely positive matrices. In this paper, we focus on one such problem; finding a completely positive (CP) factorization for a given completely positive matrix. We treat it as a nonsmooth Riemannian optimization problem, i.e., a minimization problem of a nonsmooth function over a Riemannian manifold. To solve this problem, we present a general smoothing framework for solving nonsmooth Riemannian optimization problems and show convergence to a stationary point of the original problem. An advantage is that we can implement it quickly with minimal effort by directly using the existing standard smooth Riemannian solvers, such as Manopt. Numerical experiments show the efficiency of our method especially for large-scale CP factorizations.


title: Stability of BPS States and Weak Coupling Limits

abstract: We study the stability and spectrum of BPS states in ${\cal N}=2$ supergravity. We find evidence, and prove for a large class of cases, that BPS stability exhibits a certain filtration which is partially independent of the value of the gauge couplings. Specifically, for any perturbative value of any gauge coupling $g \ll 1$, a BPS state can only decay to some constituents if those constituents do not become infinitely heavier than it in the vanishing coupling limit $g \rightarrow 0$. This stability filtration can be mathematically formulated in terms of the monodromy weight filtration of the limiting mixed Hodge structure associated to the vanishing coupling limit. We study various implications of the result for the Swampland program which aims to understand such weak-coupling limits, specifically regarding the nature and presence of an infinite tower of light charged BPS states.


title: Persian-WSD-Corpus: A Sense Annotated Corpus for Persian All-words Word Sense Disambiguation

abstract: Word Sense Disambiguation (WSD) is a long-standing task in Natural Language Processing(NLP) that aims to automatically identify the most relevant meaning of the words in a given context. Developing standard WSD test collections can be mentioned as an important prerequisite for developing and evaluating different WSD systems in the language of interest. Although many WSD test collections have been developed for a variety of languages, no standard All-words WSD benchmark is available for Persian. In this paper, we address this shortage for the Persian language by introducing SBU-WSD-Corpus, as the first standard test set for the Persian All-words WSD task. SBU-WSD-Corpus is manually annotated with senses from the Persian WordNet (FarsNet) sense inventory. To this end, three annotators used SAMP (a tool for sense annotation based on FarsNet lexical graph) to perform the annotation task. SBU-WSD-Corpus consists of 19 Persian documents in different domains such as Sports, Science, Arts, etc. It includes 5892 content words of Persian running text and 3371 manually sense annotated words (2073 nouns, 566 verbs, 610 adjectives, and 122 adverbs). Providing baselines for future studies on the Persian All-words WSD task, we evaluate several WSD models on SBU-WSD-Corpus. The corpus is publicly available at https://github.com/hrouhizadeh/SBU-WSD-Corpus.


title: A second look at the Kurth solution in galactic dynamics

abstract: The Kurth solution is a particular non-isotropic steady state solution to the gravitational Vlasov-Poisson system. It has the property that by means of a suitable time-dependent transformation it can be turned into a family of time-dependent solutions. Therefore, for a general steady state $Q(x, v)=\tilde{Q}(e_Q, \beta)$, depending upon the particle energy $e_Q$ and $\beta=\ell^2=|x\wedge v|^2$, the question arises if solutions $f$ could be generated that are of the form \[ f(t)=\tilde{Q}\Big(e_Q(R(t), P(t), B(t)), B(t)\Big) \] for suitable functions $R$, $P$ and $B$, all depending on $(t, r, p_r, \beta)$ for $r=|x|$ and $p_r=\frac{x\cdot v}{|x|}$. We are going to show that, under some mild assumptions, basically if $R$ and $P$ are independent of $\beta$, and if $B=\beta$ is constant, then $Q$ already has to be the Kurth solution. This paper is dedicated to the memory of Professor Robert Glassey.


title: The Semantics of Package Management via Event Structures

abstract: We propose an approach to the semantics of package management which relates it to general event structures, well-known mathematical objects used in the semantics of concurrent, nondeterministic systems. In this approach, the data of a package repository is treated as a declarative specification of a nondeterministic, concurrent program. We introduce a process calculus corresponding to this data, and investigate its operational and categorical semantics. Our hope is this lays the basis for further formal study of package management in which the weight of existing tools can be brought to bear.


title: STAR-IOS Aided NOMA Networks: Channel Model Approximation and Performance Analysis

abstract: Simultaneous transmitting and reflecting intelligent omini-surfaces (STAR-IOSs) are able to achieve full coverage "smart radio environments". By splitting the energy or altering the active number of STAR-IOS elements, STAR-IOSs provide high flexibility of successive interference cancellation (SIC) orders for non-orthogonal multiple access (NOMA) systems. Based on the aforementioned advantages, this paper investigates a STAR-IOS-aided downlink NOMA network with randomly deployed users. We first propose three tractable channel models for different application scenarios, namely the central limit model, the curve fitting model, and the M-fold convolution model. More specifically, the central limit model fits the scenarios with large-size STAR-IOSs while the curve fitting model is extended to evaluate multi-cell networks. However, these two models cannot obtain accurate diversity orders. Hence, we figure out the M-fold convolution model to derive accurate diversity orders. We consider three protocols for STAR-IOSs, namely, the energy splitting (ES) protocol, the time switching (TS) protocol, and the mode switching (MS) protocol. Based on the ES protocol, we derive analytical outage probability expressions for the paired NOMA users by the central limit model and the curve fitting model. Based on three STAR-IOS protocols, we derive the diversity gains of NOMA users by the M-fold convolution model. The analytical results reveal that the diversity gain of NOMA users is equal to the active number of STAR-IOS elements. Numerical results indicate that 1) in high signal-to-noise ratio regions, the central limit model performs as an upper bound, while a lower bound is obtained by the curve fitting model; 2) the TS protocol has the best performance but requesting more time blocks than other protocols; 3) the ES protocol outperforms the MS protocol as the ES protocol has higher diversity gains.


title: Proceedings Seventh Workshop on Proof eXchange for Theorem Proving

abstract: This volume of EPTCS contains the proceedings of the Seventh Workshop on Proof Exchange for Theorem Proving (PxTP 2021), held on 11 July 2021 as part of the CADE-28 online conference in Pittsburgh, USA. The PxTP workshop series brings together researchers working on various aspects of communication, integration, and cooperation between reasoning systems and formalisms, with a special focus on proofs. The progress in computer-aided reasoning, both automated and interactive, during the past decades, made it possible to build deduction tools that are increasingly more applicable to a wider range of problems and are able to tackle larger problems progressively faster. In recent years, cooperation between such tools in larger systems has demonstrated the potential to reduce the amount of manual intervention. Cooperation between reasoning systems relies on availability of theoretical formalisms and practical tools to exchange problems, proofs, and models. The PxTP workshop series strives to encourage such cooperation by inviting contributions on all aspects of cooperation between reasoning tools, whether automatic or interactive.


title: Towards Neural Diarization for Unlimited Numbers of Speakers Using Global and Local Attractors

abstract: Attractor-based end-to-end diarization is achieving comparable accuracy to the carefully tuned conventional clustering-based methods on challenging datasets. However, the main drawback is that it cannot deal with the case where the number of speakers is larger than the one observed during training. This is because its speaker counting relies on supervised learning. In this work, we introduce an unsupervised clustering process embedded in the attractor-based end-to-end diarization. We first split a sequence of frame-wise embeddings into short subsequences and then perform attractor-based diarization for each subsequence. Given subsequence-wise diarization results, inter-subsequence speaker correspondence is obtained by unsupervised clustering of the vectors computed from the attractors from all the subsequences. This makes it possible to produce diarization results of a large number of speakers for the whole recording even if the number of output speakers for each subsequence is limited. Experimental results showed that our method could produce accurate diarization results of an unseen number of speakers. Our method achieved 11.84 %, 28.33 %, and 19.49 % on the CALLHOME, DIHARD II, and DIHARD III datasets, respectively, each of which is better than the conventional end-to-end diarization methods.


title: Subcritical dynamo and hysteresis in a Babcock-Leighton type kinematic dynamo model

abstract: In Sun and sun-like stars, it is believed that the cycles of the large-scale magnetic field are produced due to the existence of differential rotation and helicity in the plasma flows in their convection zones (CZs). Hence, it is expected that for each star, there is a critical dynamo number for the operation of a large-scale dynamo. As a star slows down, it is expected that the large-scale dynamo ceases to operate above a critical rotation period. In our study, we explore the possibility of the operation of the dynamo in the subcritical region using the Babcock--Leighton type kinematic dynamo model. In some parameter regimes, we find that the dynamo shows hysteresis behavior, i.e., two dynamo solutions are possible depending on the initial parameters -- decaying solution if started with weak field and strong oscillatory solution (subcritical dynamo) when started with a strong field. However, under large fluctuations in the dynamo parameter, the subcritical dynamo mode is unstable in some parameter regimes. Therefore, our study supports the possible existence of subcritical dynamo in some stars which was previously shown in a mean-field dynamo model with distributed $\alpha$ and MHD turbulent dynamo simulations.


title: Robust End-to-End Offline Chinese Handwriting Text Page Spotter with Text Kernel

abstract: Offline Chinese handwriting text recognition is a long-standing research topic in the field of pattern recognition. In previous studies, text detection and recognition are separated, which leads to the fact that text recognition is highly dependent on the detection results. In this paper, we propose a robust end-to-end Chinese text page spotter framework. It unifies text detection and text recognition with text kernel that integrates global text feature information to optimize the recognition from multiple scales, which reduces the dependence of detection and improves the robustness of the system. Our method achieves state-of-the-art results on the CASIA-HWDB2.0-2.2 dataset and ICDAR-2013 competition dataset. Without any language model, the correct rates are 99.12% and 94.27% for line-level recognition, and 99.03% and 94.20% for page-level recognition, respectively.


title: SSPNet: Scale Selection Pyramid Network for Tiny Person Detection from UAV Images

abstract: With the increasing demand for search and rescue, it is highly demanded to detect objects of interest in large-scale images captured by Unmanned Aerial Vehicles (UAVs), which is quite challenging due to extremely small scales of objects. Most existing methods employed Feature Pyramid Network (FPN) to enrich shallow layers' features by combing deep layers' contextual features. However, under the limitation of the inconsistency in gradient computation across different layers, the shallow layers in FPN are not fully exploited to detect tiny objects. In this paper, we propose a Scale Selection Pyramid network (SSPNet) for tiny person detection, which consists of three components: Context Attention Module (CAM), Scale Enhancement Module (SEM), and Scale Selection Module (SSM). CAM takes account of context information to produce hierarchical attention heatmaps. SEM highlights features of specific scales at different layers, leading the detector to focus on objects of specific scales instead of vast backgrounds. SSM exploits adjacent layers' relationships to fulfill suitable feature sharing between deep layers and shallow layers, thereby avoiding the inconsistency in gradient computation across different layers. Besides, we propose a Weighted Negative Sampling (WNS) strategy to guide the detector to select more representative samples. Experiments on the TinyPerson benchmark show that our method outperforms other state-of-the-art (SOTA) detectors.


title: Unified Autoregressive Modeling for Joint End-to-End Multi-Talker Overlapped Speech Recognition and Speaker Attribute Estimation

abstract: In this paper, we present a novel modeling method for single-channel multi-talker overlapped automatic speech recognition (ASR) systems. Fully neural network based end-to-end models have dramatically improved the performance of multi-taker overlapped ASR tasks. One promising approach for end-to-end modeling is autoregressive modeling with serialized output training in which transcriptions of multiple speakers are recursively generated one after another. This enables us to naturally capture relationships between speakers. However, the conventional modeling method cannot explicitly take into account the speaker attributes of individual utterances such as gender and age information. In fact, the performance deteriorates when each speaker is the same gender or is close in age. To address this problem, we propose unified autoregressive modeling for joint end-to-end multi-talker overlapped ASR and speaker attribute estimation. Our key idea is to handle gender and age estimation tasks within the unified autoregressive modeling. In the proposed method, transformer-based autoregressive model recursively generates not only textual tokens but also attribute tokens of each speaker. This enables us to effectively utilize speaker attributes for improving multi-talker overlapped ASR. Experiments on Japanese multi-talker overlapped ASR tasks demonstrate the effectiveness of the proposed method.


title: Solution Regularity of k-partite Linear Systems -- A Variant of Rado's Theorem

abstract: A classical question in combinatorial number theory asks whether an equation has a solution inside a particular subset of its domain. The Rado's Theorem gives a set of necessary and sufficient conditions for a systems of linear equations to have a monochromatic solution whenever the positive integers are finitely colored. In this paper, we provide a variant of this theorem. For $k \ge 2$, we present conditions such that, when the set of variables is partitioned into $k$ subsets, there is a solution such that the variables of each subset are monochromatic, which we call a semi-monochromatic solution. We adopt the smod $p$ coloring by Graham, Rothschild, and Spencer but turn the existence of semi-monochromatic solution into the existence of common roots of linear polynomials. With this idea, one can further generalize the theorem to systems of linear equations over general algebraic number fields.