title: Learning to Synthesize Data for Semantic Parsing

abstract: Synthesizing data for semantic parsing has gained increasing attention recently. However, most methods require handcrafted (high-precision) rules in their generative process, hindering the exploration of diverse unseen data. In this work, we propose a generative model which features a (non-neural) PCFG that models the composition of programs (e.g., SQL), and a BART-based translation model that maps a program to an utterance. Due to the simplicity of PCFG and pre-trained BART, our generative model can be efficiently learned from existing data at hand. Moreover, explicitly modeling compositions using PCFG leads to a better exploration of unseen programs, thus generate more diverse data. We evaluate our method in both in-domain and out-of-domain settings of text-to-SQL parsing on the standard benchmarks of GeoQuery and Spider, respectively. Our empirical results show that the synthesized data generated from our model can substantially help a semantic parser achieve better compositional and domain generalization.


title: Evidence-based Prescriptive Analytics, CAUSAL Digital Twin and a Learning Estimation Algorithm

abstract: Evidence-based Prescriptive Analytics (EbPA) is necessary to determine optimal operational set-points that will improve business productivity. EbPA results from what-if analysis and counterfactual experimentation on CAUSAL Digital Twins (CDTs) that quantify cause-effect relationships in the DYNAMICS of a system of connected assets. We describe the basics of Causality and Causal Graphs and develop a Learning Causal Digital Twin (LCDT) solution; our algorithm uses a simple recurrent neural network with some innovative modifications incorporating Causal Graph simulation. Since LCDT is a learning digital twin where parameters are learned online in real-time with minimal pre-configuration, the work of deploying digital twins will be significantly simplified. A proof-of-principle of LCDT was conducted using real vibration data from a system of bearings; results of causal factor estimation, what-if analysis study and counterfactual experiment are very encouraging.


title: NekRS, a GPU-Accelerated Spectral Element Navier-Stokes Solver

abstract: The development of NekRS, a GPU-oriented thermal-fluids simulation code based on the spectral element method (SEM) is described. For performance portability, the code is based on the open concurrent compute abstraction and leverages scalable developments in the SEM code Nek5000 and in libParanumal, which is a library of high-performance kernels for high-order discretizations and PDE-based miniapps. Critical performance sections of the Navier-Stokes time advancement are addressed. Performance results on several platforms are presented, including scaling to 27,648 V100s on OLCF Summit, for calculations of up to 60B gridpoints.


title: A time-series VI study of the variable stars of the globular cluster NGC 6397

abstract: We present a new time-series VI CCD photometry of the globular cluster NGC 6397, from which we obtained and analysed the light curves of 35 variables carefully identified in the cluster field. We assessed the membership of the variables with an astrometric analysis based on \emph{Gaia} DR2 data. The cluster colour-magnitude diagram was differentially dereddened and cleaned of non members, which allowed us to fit isochrones for [Fe/H]$ = -2.0$ dex in the range 13.0--13.5 Gyr, for a mean reddening $E(B-V)=0.19$, and a distance of 2.5 kpc. This distance was confirmed using the period-luminosity relation for the cluster's five SX Phoenicis variables (V10, V11, V15, V21, and V23) present among its blue stragglers, yielding $2.24\pm0.13$ kpc. We also modelled the light curves of four eclipsing binaries (V4, V5, V7, and V8), and gave the parameters of the systems; the contact binaries V7 and V8 have distances consistent with that of the cluster. NGC 6397 appears to harbour no RR Lyrae stars, being its horizontal branch remarkably blue, much like that of its analogous cluster, M10. To match the blue tail of the horizontal branch population, models of 0.64--0.66 $M_\odot$ with mass loss at the RGB are required, indicating rather thin shell masses for the HB stars.


title: Enhancing User' s Income Estimation with Super-App Alternative Data

abstract: This paper presents the advantages of alternative data from Super-Apps to enhance user' s income estimation models. It compares the performance of these alternative data sources with the performance of industry-accepted bureau income estimators that takes into account only financial system information; successfully showing that the alternative data manage to capture information that bureau income estimators do not. By implementing the TreeSHAP method for Stochastic Gradient Boosting Interpretation, this paper highlights which of the customer' s behavioral and transactional patterns within a Super-App have a stronger predictive power when estimating user' s income. Ultimately, this paper shows the incentive for financial institutions to seek to incorporate alternative data into constructing their risk profiles.


title: SpartQA: : A Textual Question Answering Benchmark for Spatial Reasoning

abstract: This paper proposes a question-answering (QA) benchmark for spatial reasoning on natural language text which contains more realistic spatial phenomena not covered by prior work and is challenging for state-of-the-art language models (LM). We propose a distant supervision method to improve on this task. Specifically, we design grammar and reasoning rules to automatically generate a spatial description of visual scenes and corresponding QA pairs. Experiments show that further pretraining LMs on these automatically generated data significantly improves LMs' capability on spatial understanding, which in turn helps to better solve two external datasets, bAbI, and boolQ. We hope that this work can foster investigations into more sophisticated models for spatial reasoning over text.


title: Semantic Segmentation with Generative Models: Semi-Supervised Learning and Strong Out-of-Domain Generalization

abstract: Training deep networks with limited labeled data while achieving a strong generalization ability is key in the quest to reduce human annotation efforts. This is the goal of semi-supervised learning, which exploits more widely available unlabeled data to complement small labeled data sets. In this paper, we propose a novel framework for discriminative pixel-level tasks using a generative model of both images and labels. Concretely, we learn a generative adversarial network that captures the joint image-label distribution and is trained efficiently using a large set of unlabeled images supplemented with only few labeled ones. We build our architecture on top of StyleGAN2, augmented with a label synthesis branch. Image labeling at test time is achieved by first embedding the target image into the joint latent space via an encoder network and test-time optimization, and then generating the label from the inferred embedding. We evaluate our approach in two important domains: medical image segmentation and part-based face segmentation. We demonstrate strong in-domain performance compared to several baselines, and are the first to showcase extreme out-of-domain generalization, such as transferring from CT to MRI in medical imaging, and photographs of real faces to paintings, sculptures, and even cartoons and animal faces. Project Page: \url{https://nv-tlabs.github.io/semanticGAN/}


title: Generative Design of NU's Husky Carbon, A Morpho-Functional, Legged Robot

abstract: We report the design of a morpho-functional robot called Husky Carbon. Our goal is to integrate two forms of mobility, aerial and quadrupedal-legged locomotion, within a single platform. There are prohibitive design restrictions such as tight power budget and payload, which can particularly become important in aerial flights. To address these challenges, we pose a problem called the Mobility Value of Added Mass (MVAM) problem. In the MVAM problem, we attempt to allocate mass in our designs such that the energetic performance is affected the least. To solve the MVAM problem, we adopted a generative design approach using Grasshopper's evolutionary solver to synthesize a parametric design space for Husky. Then, this space was searched for the morphologies that could yield a minimized Total Cost Of Transport (TCOT) and payload. This approach revealed that a front-heavy quadrupedal robot can achieve a lower TCOT while retaining larger margins on allowable added mass to its design. Based on this framework Husky was built and tested as a front-heavy robot.


title: A change of variable formula with applications to multi-dimensional optimal stopping problems

abstract: We derive a change of variable formula for $C^1$ functions $U:\R_+\times\R^m\to\R$ whose second order spatial derivatives may explode and not be integrable in the neighbourhood of a surface $b:\R_+\times\R^{m-1}\to \R$ that splits the state space into two sets $\cC$ and $\cD$. The formula is tailored for applications in problems of optimal stopping where it is generally very hard to control the second order derivatives of the value function near the optimal stopping boundary. Differently to other existing papers on similar topics we only require that the surface $b$ be monotonic in each variable and we formally obtain the same expression as the classical It\^o's formula.


title: Design of silicon waveguides for Kerr nonlinear optical performance with graphene oxide films

abstract: The Kerr nonlinear optical performance of silicon nanowire waveguides integrated with 2D layered graphene oxide (GO) films is theoretically studied and optimized based on experimentally measured linear and nonlinear optical parameters of the GO films. The strong mode overlap between the silicon nanowires and highly nonlinear GO films yields a significantly enhanced Kerr nonlinearity for the hybrid waveguides. A detailed analysis for the influence of waveguide geometry and GO film thickness on the propagation loss, nonlinear parameter, and nonlinear figure of merit (FOM) is performed. The results show that the effective nonlinear parameter and nonlinear FOM can be increased by up to 52 and 79 times relative to bare silicon nanowires, respectively. Self-phase modulation (SPM)-induced spectral broadening of optical pulses is used as a benchmark to evaluate the nonlinear performance, examining the tradeoff between enhancing Kerr nonlinearity and minimizing loss. By optimizing the device parameters to balance this, a high spectral broadening factor of 27.8 can be achieved, more than 6 times that achieved in previous experiments. Finally, the influence of pulse chirp, material anisotropy, and the interplay between saturable absorption and SPM is also discussed, together with the comparison between the spectral broadening after going through GO-coated and graphene-coated silicon waveguides. These results provide useful guidance for optimizing the Kerr nonlinear optical performance of silicon waveguides integrated with 2D layered GO films.


title: Relational World Knowledge Representation in Contextual Language Models: A Review

abstract: Relational knowledge bases (KBs) are commonly used to represent world knowledge in machines. However, while advantageous for their high degree of precision and interpretability, KBs are usually organized according to manually-defined schemas, which limit their expressiveness and require significant human efforts to engineer and maintain. In this review, we take a natural language processing perspective to these limitations, examining how they may be addressed in part by training deep contextual language models (LMs) to internalize and express relational knowledge in more flexible forms. We propose to organize knowledge representation strategies in LMs by the level of KB supervision provided, from no KB supervision at all to entity- and relation-level supervision. Our contributions are threefold: (1) We provide a high-level, extensible taxonomy for knowledge representation in LMs; (2) Within our taxonomy, we highlight notable models, evaluation tasks, and findings, in order to provide an up-to-date review of current knowledge representation capabilities in LMs; and (3) We suggest future research directions that build upon the complementary aspects of LMs and KBs as knowledge representations.


title: Theory of parametric x-ray optical wavemixing processes

abstract: Enabled by x-ray free-electron lasers, nonlinear optical phenomena can be explored in the x-ray domain nowadays. Among the multitude of newly accessible processes, this theoretical study focuses parametric x-ray optical wavemixing for closer investigation. Specifically, we develop a framework based on non-relativistic QED to describe x-ray optical sum- and difference-frequency generation as well as x-ray parametric down-conversion on equal footing. All of these processes promise imaging capabilities similar to regular x-ray diffraction with additional spectroscopic selectivity that is tunable via the optical admixture. Based on our derivation, we identify the imaged quantity as we relate the observable scattering pattern to an underlying response function of the medium. The resulting relation, furthermore, enables the microscopic reconstruction of this response function from nonlinear analogues of crystallographic measurements. We benchmark our approach on recent experimental sum-frequency results, for which we find encouraging agreement with our theory.


title: Sectionable Tournaments: Their topology and Coloring

abstract: We provide a detailed study of topological and combinatorial properties of sectionable tournaments. This class forms an inductively constructed family of tournaments grounded over simply disconnected tournaments, those tournaments whose fundamental groups of acyclic complexes are non-trivial. When $T$ is a sectionable tournament, we fully describe the cell-structure of its acyclic complex $Acy(T)$ by using the adapted machinery of discrete Morse theory for acyclic complexes of tournaments. In the combinatorial side, we demonstrate that the dimension of the complex $Acy(T)$ has a role to play. We prove that if $T$ is a $(2r+1)$-sectionable tournament and $d$ is the dimension of $Acy(T)$, then the (acyclic) chromatic number of $T$ satisfies $\chi(T)\leq 2 \left( 2-1/(r+1) \right)^{\log(d+1)}-1$ where the logarithm has two as its base.


title: Dispersal timescale of protoplanetary disks in the low-metallicity young cluster Dolidze 25

abstract: The dispersal of protoplanetary disks sets the timescale available for planets to assemble, and thus it is one of the fundamental parameters in theories of planetary formation. Disk dispersal is determined by several properties of the central star, the disk itself, and the surrounding environment. In particular, the metallicity of disks may impact their evolution, even if to date controversial results exist: in low-metallicity clusters disks seem to rapidly disperse, while in the Magellanic Clouds some evidence supports the existence of accreting disks few tens of Myrs old. In this paper we study the dispersal timescale of disks in Dolidze~25, the young cluster in proximity of the Sun with lowest metallicity, with the aim of understanding whether disk evolution is impacted by the low-metallicity of the cluster. We have analyzed Chandra/ACIS-I observations of the cluster and combined the resulting source catalog with existing optical and infrared catalogs of the region. We selected the disk-bearing population and the disk-less population of Dolidze 25. We have derived stellar parameters from isochrones fitted to color-magnitude diagrams. We derived a disk fraction of about 34% and a median age of 1.2 Myrs. By comparing this estimate with existing estimates of the disk fraction of clusters younger than 10 Myrs, our study suggests that the disk fraction of Dolidze 25 is lower than what is expected from its age alone. Even if our results are not conclusive given the intrinsic uncertainty on stellar ages estimated from isochrones fitting to color-magnitude diagrams, we suggest that disk evolution in Dolidze 25 may be impacted by the environment. Given the poor O star population and low stellar density of the cluster, it is more likely that disks dispersal timescale is dictated more by the low metallicity of the cluster rather than external photoevaporation or dynamical encounters.


title: Representations of quantum toroidal superalgebras and plane $\mathbf{s}$-partitions

abstract: We construct Fock and MacMahon modules for the quantum toroidal superalgebra $\mathcal{E}_\mathbf{s}$ associated with the Lie superalgebra $\mathfrak{gl}_{m|n}$ and parity $\mathbf{s}$. The bases of the Fock and MacMahon modules are labeled by super-analogs of partitions and plane partitions with various boundary conditions, while the action of generators of $\mathcal{E}_\mathbf{s}$ is given by Pieri type formulas. We study the corresponding characters.


title: Lower bounds for Galois orbits of special points on Shimura varieties: a point-counting approach

abstract: Let $S$ be a Shimura variety and let $h$ be a Weil height function on $S$. We conjecture that the heights of special points in $S$ are discriminant negligible. Assuming this conjecture to be true, we prove that the sizes of the Galois orbits of special points grow as a fixed power of their discriminant (an invariant we will define in the text). In the case of Shimura varieties of abelian type, the height bound holds by the recently proved averaged Colmez formula, and our theorem gives a new proof of Tsimerman's Galois lower bound in this case. The main novelty is that our approach avoids the use of Masser-W\"ustholz isogeny estimates, replacing them by a point-counting argument, and establishes lower bounds for Galois orbits conditional on height bounds for \emph{arbitrary} Shimura varieties. In particular, following the Pila-Zannier strategy (and Gao's work in the mixed case) this implies that the Andre-Oort conjecture for an arbitrary (mixed) Shimura variety follows from the corresponding conjecture on heights of special points.


title: Remote Recording of Emotional and Activity Data: A Methodological Study

abstract: The impact of physical exercise on emotional well-being is one of the most important factors that drive sustained physical activity engagement. It is also one of the least studied topics on account of the rather elaborated setups required to quantify emotional expression during exercise. The wide adoption of at-home, physical exercise solutions has compounded this problem due to the secluded nature of these activities. We propose here a new methodology that would allow for mass emotional expression and physical activity data gathering using publicly available sources such as at-home exercise videos. We have shown that the methodology is robust enough to extract high resolution, reliable data from home videos posted on popular video share sites. The source-code and instructions for practical use are published online such that researchers can access data pertinent to emotional response during exertion in real world situations with applicability for prospective and retrospective studies.


title: Time is Money: The Equilibrium Trading Horizon and Optimal Arrival Price

abstract: Executing even moderately large derivatives orders can be expensive and risky; it's hard to balance the uncertainty of working an order over time versus paying a liquidity premium for immediate execution. Here, we introduce the Time Is Money model, which calculates the Equilibrium Trading Horizon over which to execute an order within the adversarial forces of variance risk and liquidity premium. We construct a hypothetical at-the-money option within Arithmetic Brownian Motion and invert the Bachelier model to compute an inflection point between implied variance and liquidity cost as governed by a central limit order book, each in real time as they evolve. As a result, we demonstrate a novel, continuous-time Arrival Price framework. Further, we argue that traders should be indifferent to choosing between variance risk and liquidity cost, unless they have a predetermined bias or an exogenous position with a convex payoff. We, therefore, introduce half-life factor asymptotics to the model based on a convexity factor and compare results to existing models. We also describe a specialization of the model for trading a basket of correlated instruments, as exemplified by a futures calendar spread. Finally, we establish groundwork for microstructure optimizations as well as explore short term drift and conditional expected slippage within the Equilibrium Horizon framework.


title: Visual Goal-Step Inference using wikiHow

abstract: Understanding what sequence of steps are needed to complete a goal can help artificial intelligence systems reason about human activities. Past work in NLP has examined the task of goal-step inference for text. We introduce the visual analogue. We propose the Visual Goal-Step Inference (VGSI) task, where a model is given a textual goal and must choose which of four images represents a plausible step towards that goal. With a new dataset harvested from wikiHow consisting of 772,277 images representing human actions, we show that our task is challenging for state-of-the-art multimodal models. Moreover, the multimodal representation learned from our data can be effectively transferred to other datasets like HowTo100m, increasing the VGSI accuracy by 15 - 20%. Our task will facilitate multimodal reasoning about procedural events.


title: New universality classes of the non-Hermitian Dirac operator in QCD-like theories

abstract: In non-Hermitian random matrix theory there are three universality classes for local spectral correlations: the Ginibre class and the nonstandard classes $\mathrm{AI}^\dagger$ and $\mathrm{AII}^\dagger$. We show that the continuum Dirac operator in two-color QCD coupled to a chiral $\mathrm{U}(1)$ gauge field or an imaginary chiral chemical potential falls in class $\mathrm{AI}^\dagger$ ($\mathrm{AII}^\dagger$) for fermions in pseudoreal (real) representations of $\mathrm{SU}(2)$. We introduce the corresponding chiral random matrix theories and verify our predictions in lattice simulations with staggered fermions, for which the correspondence between representation and universality class is reversed. Specifically, we compute the complex eigenvalue spacing ratios introduced recently. We also derive novel spectral sum rules.

categories: hep-th cond-mat.stat-mech hep-lat nlin.CD


title: Targeted Adversarial Training for Natural Language Understanding

abstract: We present a simple yet effective Targeted Adversarial Training (TAT) algorithm to improve adversarial training for natural language understanding. The key idea is to introspect current mistakes and prioritize adversarial training steps to where the model errs the most. Experiments show that TAT can significantly improve accuracy over standard adversarial training on GLUE and attain new state-of-the-art zero-shot results on XNLI. Our code will be released at: https://github.com/namisan/mt-dnn.


title: Family of Origin and Family of Choice: Massively Parallel Lexiconized Iterative Pretraining for Severely Low Resource Machine Translation

abstract: We translate a closed text that is known in advance into a severely low resource language by leveraging massive source parallelism. In other words, given a text in 124 source languages, we translate it into a severely low resource language using only ~1,000 lines of low resource data without any external help. Firstly, we propose a systematic method to rank and choose source languages that are close to the low resource language. We call the linguistic definition of language family Family of Origin (FAMO), and we call the empirical definition of higher-ranked languages using our metrics Family of Choice (FAMC). Secondly, we build an Iteratively Pretrained Multilingual Order-preserving Lexiconized Transformer (IPML) to train on ~1,000 lines (~3.5%) of low resource data. To translate named entities correctly, we build a massive lexicon table for 2,939 Bible named entities in 124 source languages, and include many that occur once and covers more than 66 severely low resource languages. Moreover, we also build a novel method of combining translations from different source languages into one. Using English as a hypothetical low resource language, we get a +23.9 BLEU increase over a multilingual baseline, and a +10.3 BLEU increase over our asymmetric baseline in the Bible dataset. We get a 42.8 BLEU score for Portuguese-English translation on the medical EMEA dataset. We also have good results for a real severely low resource Mayan language, Eastern Pokomchi.


title: Reward Mechanism for Blockchains Using Evolutionary Game Theory

abstract: Blockchains have witnessed widespread adoption in the past decade in various fields. The growing demand makes their scalability and sustainability challenges more evident than ever. As a result, more and more blockchains have begun to adopt proof-of-stake (PoS) consensus protocols to address those challenges. One of the fundamental characteristics of any blockchain technology is its crypto-economics and incentives. Lately, each PoS blockchain has designed a unique reward mechanism, yet, many of them are prone to free-rider and nothing-at-stake problems. To better understand the ad-hoc design of reward mechanisms, in this paper, we develop a reward mechanism framework that could apply to many PoS blockchains. We formulate the block validation game wherein the rewards are distributed for validating the blocks correctly. Using evolutionary game theory, we analyze how the participants' behaviour could potentially evolve with the reward mechanism. Also, penalties are found to play a central role in maintaining the integrity of blockchains.


title: Measurement of the Nucleon $F^n_2/F^p_2$ Structure Function Ratio by the Jefferson Lab MARATHON Tritium/Helium-3 Deep Inelastic Scattering Experiment

abstract: The ratio of the nucleon $F_2$ structure functions, $F_2^n/F_2^p$, is determined by the MARATHON experiment from measurements of deep inelastic scattering of electrons from $^3$H and $^3$He nuclei. The experiment was performed in the Hall A Facility of Jefferson Lab and used two high resolution spectrometers for electron detection, and a cryogenic target system which included a low-activity tritium cell. The data analysis used a novel technique exploiting the mirror symmetry of the two nuclei, which essentially eliminates many theoretical uncertainties in the extraction of the ratio. The results, which cover the Bjorken scaling variable range $0.19 < x < 0.83$, represent a significant improvement compared to previous SLAC and Jefferson Lab measurements for the ratio. They are compared to recent theoretical calculations and empirical determinations of the $F_2^n/F_2^p$ ratio.


title: Two-atom van-der-Waals forces with one atom excited: the identical atoms limit I

abstract: We compute the conservative van-der-Waals forces between two atoms, one of which is initially excited, in the limit of identical atoms. Starting with the perturbative calculation of the interaction between two dissimilar atoms, we show that a time-dependent approach in the weak-interaction approximation is essential in considering the identical atoms limit in the perturbative regime. In this limit we find that, at leading order, the van-der-Waals forces are fully-resonant and grow linearly in time, being different upon each atom. The resultant net force upon the two-atom system is related to the directionality of spontaneous emission, which results from the violation of parity symmetry. In contrast to the usual stationary van-der-Waals forces, the time-dependent conservative forces cannot be written as the gradients of the expectation values of the interaction potentials, but as the expectation values of the gradients of the interaction potentials only.


title: Localized and extended patterns in the cubic-quintic Swift-Hohenberg equation on a disk

abstract: Axisymmetric and nonaxisymmetric patterns in the cubic-quintic Swift-Hohenberg equation posed on a disk with Neumann boundary conditions are studied via numerical continuation and bifurcation analysis. Axisymmetric localized solutions in the form of spots and rings known from earlier studies persist and snake in the usual fashion until they begin to interact with the boundary. Depending on parameters, including the disk radius, these states may or may not connect to the branch of domain-filling target states. Secondary instabilities of localized axisymmetric states may create multi-arm localized structures that grow and interact with the boundary before broadening into domain filling states. High azimuthal wavenumber wall states referred to as daisy states are also found. Secondary bifurcations from these states include localized daisies, i.e., wall states localized in both radius and angle. Depending on parameters, these states may snake much as in the one-dimensional Swift-Hohenberg equation, or invade the interior of the domain, yielding states referred to as worms, or domain-filling stripes.


title: Large Scale Structure Prediction of Near-Stoichiometric Magnesium Oxide Based on a Machine-Learned Interatomic Potential: Novel Crystalline Phases and Oxygen-Vacancy Ordering

abstract: Using a fast and accurate neural network potential we are able to systematically explore the energy landscape of large unit cells of bulk magnesium oxide with the minima hopping method. The potential is trained with a focus on the near-stoichiometric compositions, in particular on suboxides, i.e., Mg$_x$O$_{1-x}$ with $0.50<x<0.60$. Our extensive exploration demonstrates that for bulk stoichiometric compounds, there are several new low-energy rocksalt-like structures in which Mg atoms are octahedrally six--coordinated and form trigonal prismatic motifs with different stacking sequences. Furthermore, we find a dense spectrum of novel non-stoichiometric crystal phases of Mg$_x$O$_{1-x}$ for each composition of $x$. These structures are mostly similar to the rock salt structure with octahedral coordination and five--coordinated Mg atoms. Due to the removal of one oxygen atom, the energy landscape becomes more glass-like with oxygen-vacancy type structures that all lie very close to each other energetically. For the same number of magnesium and oxygen atoms our oxygen-deficient structures are lower in energy if the vacancies are aligned along lines or planes than rock salt structures with randomly distributed oxygen vacancies. We also found the putative global minima configurations for each composition of the non-stoichiometric suboxide structures. These structures are predominantly composed of (111) slabs of the rock salt structure which are terminated with Mg atoms at the top and bottom, and are stacked in different sequences along the $z$-direction. Like other Magn\'eli-type phases, these structures have properties that differ considerably from their stoichiometric counterparts such as low lattice thermal conductivity and high electrical conductivity.


title: QCD phase diagram in a magnetized medium from the chiral symmetry perspective: The linear sigma model with quarks and the Nambu--Jona-Lasinio model effective descriptions

abstract: We review the main features of the QCD phase diagram description, at finite temperature, baryon density and in the presence of a magnetic field, from the point of view of effective models, whose main ingredient is chiral symmetry. We concentrate our attention on two of these models: The linear sigma model with quarks and the Nambu--Jona-Lasinio model. We show that a main ingredient to understand the characteristics of the phase transitions is the inclusion of plasma screening effects that capture the physics of collective, long-wave modes, and thus describe a prime property of plasmas near transition lines, namely, long distance correlations. Inclusion of plasma screening makes possible to understand the inverse magnetic catalysis phenomenon even without the need to consider magnetic field-dependent coupling constants. Screening is also responsible for the emergence of a critical end point in the phase diagram even for small magnetic field strengths. Although versatile, the NJL model is also a more limited approach since, being a non-renormalizable model, a clear separation between pure vacuum and medium effects is not always possible. The model cannot describe inverse magnetic catalysis unless a magnetic field dependent coupling is included. The location of the critical end point strongly depends on the choice of the type of interaction and on the magnetic field dependence of the corresponding coupling. Overall, both models provide sensible tools to explore the properties of magnetized, strongly interacting matter. However, a cross talk among them as well as a consistent physical approach to determine the model parameters is much needed.


title: Minimum number of partial triangulations

abstract: We show that the number of partial triangulations of a set of $n$ points on the plane is at least the $(n-2)$-nd Catalan number. This is tight for convex $n$-gons. We also describe all the equality cases.


title: A general algorithm for calculating irreducible Brillouin zones

abstract: Calculations of properties of materials require performing numerical integrals over the Brillouin zone (BZ). Integration points in density functional theory codes are uniformly spread over the BZ (despite integration error being concentrated in small regions of the BZ) and preserve symmetry to improve computational efficiency. Integration points over an irreducible Brillouin zone (IBZ), a rotationally distinct region of the BZ, do not have to preserve crystal symmetry for greater efficiency. This freedom allows the use of adaptive meshes with higher concentrations of points at locations of large error, resulting in improved algorithmic efficiency. We have created an algorithm for constructing an IBZ of any crystal structure in 2D and 3D. The algorithm uses convex hull and half-space representations for the BZ and IBZ to make many aspects of construction and symmetry reduction of the BZ trivial. The algorithm is simple, general, and available as open-source software.


title: From partners to populations: A hierarchical Bayesian account of coordination and convention

abstract: Languages are powerful solutions to coordination problems: they provide stable, shared expectations about how the words we say correspond to the beliefs and intentions in our heads. Yet language use in a variable and non-stationary social environment requires linguistic representations to be flexible: old words acquire new ad hoc or partner-specific meanings on the fly. In this paper, we introduce CHAI (Continual Hierarchical Adaptation through Inference), a hierarchical Bayesian theory of coordination and convention formation that aims to reconcile the long-standing tension between these two basic observations. We argue that the central computational problem of communication is not simply transmission, as in classical formulations, but continual learning and adaptation over multiple timescales. Partner-specific common ground quickly emerges from social inferences within dyadic interactions, while community-wide social conventions are stable priors that have been abstracted away from interactions with multiple partners. We present new empirical data alongside simulations showing how our model provides a computational foundation for several phenomena that have posed a challenge for previous accounts: (1) the convergence to more efficient referring expressions across repeated interaction with the same partner, (2) the gradual transfer of partner-specific common ground to strangers, and (3) the influence of communicative context on which conventions eventually form.


title: Exploring Geometric Consistency for Monocular 3D Object Detection

abstract: This paper investigates the geometric consistency for monocular 3D object detection, which suffers from the ill-posed depth estimation. We first conduct a thorough analysis to reveal how existing methods fail to consistently localize objects when different geometric shifts occur. In particular, we design a series of geometric manipulations to diagnose existing detectors and then illustrate their vulnerability to consistently associate the depth with object apparent sizes and positions. To alleviate this issue, we propose four geometry-aware data augmentation approaches to enhance the geometric consistency of the detectors. We first modify some commonly used data augmentation methods for 2D images so that they can maintain geometric consistency in 3D spaces. We demonstrate such modifications are important. In addition, we propose a 3D-specific image perturbation method that employs the camera movement. During the augmentation process, the camera system with the corresponding image is manipulated, while the geometric visual cues for depth recovery are preserved. We show that by using the geometric consistency constraints, the proposed augmentation techniques lead to improvements on the KITTI and nuScenes monocular 3D detection benchmarks with state-of-the-art results. In addition, we demonstrate that the augmentation methods are well suited for semi-supervised training and cross-dataset generalization.


title: Rapid Exploration for Open-World Navigation with Latent Goal Models

abstract: We describe a robotic learning system for autonomous exploration and navigation in diverse, open-world environments. At the core of our method is a learned latent variable model of distances and actions, along with a non-parametric topological memory of images. We use an information bottleneck to regularize the learned policy, giving us (i) a compact visual representation of goals, (ii) improved generalization capabilities, and (iii) a mechanism for sampling feasible goals for exploration. Trained on a large offline dataset of prior experience, the model acquires a representation of visual goals that is robust to task-irrelevant distractors. We demonstrate our method on a mobile ground robot in open-world exploration scenarios. Given an image of a goal that is up to 80 meters away, our method leverages its representation to explore and discover the goal in under 20 minutes, even amidst previously-unseen obstacles and weather conditions. Please check out the project website for videos of our experiments and information about the real-world dataset used at https://sites.google.com/view/recon-robot.


title: Contextual HyperNetworks for Novel Feature Adaptation

abstract: While deep learning has obtained state-of-the-art results in many applications, the adaptation of neural network architectures to incorporate new output features remains a challenge, as neural networks are commonly trained to produce a fixed output dimension. This issue is particularly severe in online learning settings, where new output features, such as items in a recommender system, are added continually with few or no associated observations. As such, methods for adapting neural networks to novel features which are both time and data-efficient are desired. To address this, we propose the Contextual HyperNetwork (CHN), an auxiliary model which generates parameters for extending the base model to a new feature, by utilizing both existing data as well as any observations and/or metadata associated with the new feature. At prediction time, the CHN requires only a single forward pass through a neural network, yielding a significant speed-up when compared to re-training and fine-tuning approaches. To assess the performance of CHNs, we use a CHN to augment a partial variational autoencoder (P-VAE), a deep generative model which can impute the values of missing features in sparsely-observed data. We show that this system obtains improved few-shot learning performance for novel features over existing imputation and meta-learning baselines across recommender systems, e-learning, and healthcare tasks.


title: Evaluating Pre-Trained Models for User Feedback Analysis in Software Engineering: A Study on Classification of App-Reviews

abstract: Context: Mobile app reviews written by users on app stores or social media are significant resources for app developers.Analyzing app reviews have proved to be useful for many areas of software engineering (e.g., requirement engineering, testing). Automatic classification of app reviews requires extensive efforts to manually curate a labeled dataset. When the classification purpose changes (e.g. identifying bugs versus usability issues or sentiment), new datasets should be labeled, which prevents the extensibility of the developed models for new desired classes/tasks in practice. Recent pre-trained neural language models (PTM) are trained on large corpora in an unsupervised manner and have found success in solving similar Natural Language Processing problems. However, the applicability of PTMs is not explored for app review classification Objective: We investigate the benefits of PTMs for app review classification compared to the existing models, as well as the transferability of PTMs in multiple settings. Method: We empirically study the accuracy and time efficiency of PTMs compared to prior approaches using six datasets from literature. In addition, we investigate the performance of the PTMs trained on app reviews (i.e. domain-specific PTMs) . We set up different studies to evaluate PTMs in multiple settings: binary vs. multi-class classification, zero-shot classification (when new labels are introduced to the model), multi-task setting, and classification of reviews from different resources. The datasets are manually labeled app review datasets from Google Play Store, Apple App Store, and Twitter data. In all cases, Micro and Macro Precision, Recall, and F1-scores will be used and we will report the time required for training and prediction with the models.


title: Equivalences of LLT polynomials via lattice paths

abstract: The LLT polynomials $\mathcal{L}_{\mathbf{\beta}/\mathbf{\gamma}} (X;t)$ are a family of symmetric polynomials indexed by a tuple of (possibly skew-)partitions $\mathbf{\beta}/\mathbf{\gamma}= (\beta^{(1)}/\gamma^{(1)},\ldots,\beta^{(k)}/\gamma^{(k)})$. It has recently been shown that these polynomials can be seen as the partition function of a certain vertex model whose boundary conditions are determined by $\mathbf{\beta}/\mathbf{\gamma}$. In this paper we describe an algorithm which gives a bijection between the configurations of the vertex model with boundary condition $\mathbf{\beta}/\mathbf{\gamma} = (\beta^{(1)}/\gamma^{(1)},\beta^{(2)}/\gamma^{(2)})$ and those with boundary condition $(\mathbf{\beta}/\mathbf{\gamma})_{swap} = (\beta^{(2)}/\gamma^{(2)},\beta^{(1)}/\gamma^{(1)})$. We prove a sufficient condition for when this bijection is weight-preserving up to an overall factor of $t$, which in turn implies that the corresponding LLT polynomials are equal up to the same overall factor. Using these techniques, we are also able to systematically determine linear relations within families of LLT polynomials.


title: Statistical properties of linear Majorana fermions

abstract: A Majorana fermion is the single fermionic particle that is its own antiparticle. Its dynamics is determined by the Majorana equation, where the spinor field is by definition equal to its charge-conjugate field. In this paper, we investigated Shannon's entropy of linear Majorana fermions to understand how this quantity is modified due to an external potential of the linear type linear. Subsequently, we turn our attention to the construction of an ensemble of these Majorana particles to study the thermodynamic properties of the model. Finally, we show how Shannon's entropy and thermodynamic properties are modified under the linear potential action.


title: Iterative Designs with Similar Triangles

abstract: One of the best things about geometry is that it's cool! Geometry enables us to create incredible designs and astounding patterns. This article shows how to use a simple technique (iteration) to create designs that are both cool and introduce important mathematical concepts. We give examples using one of the most common of geometrical constructions, namely, the similar triangle. In the final section, we suggest other possibilities that could be used for guided exploration or for student projects.


title: APOGEE view of the globular cluster NGC 6544

abstract: The second phase of the APOGEE survey is providing near-infrared, high-resolution, high signal-to-noise spectra of stars in the halo, disk, bar and bulge of the Milky Way. The near-infrared spectral window is especially important in the study of the Galactic bulge, where stars are obscured by the dust and gas of the disk in its line-of-sight. We present a chemical characterisation of the globular cluster NGC 6544 with high-resolution spectroscopy. The characterisation of the cluster chemical fingerprint, given its status of "interloper" towards the Galactic bulge and clear signatures of tidal disruption in its core is crucial for future chemical tagging efforts. Cluster members were selected from the DR16 of the APOGEE survey, using chemo-dynamical criteria of individual stars. A sample of 23 members of the cluster was selected. An analysis considering the intra-cluster abundance variations, known anticorrelations is given. According to the RGB content of the cluster, the iron content and $\alpha$-enhancement are [Fe/H] $= -1.44 \pm 0.04$ dex and [$\alpha$/Fe] $= 0.20 \pm 0.04$ dex, respectively. Cluster members show a significant spread in [Fe/H] and [Al/Fe] that is larger than expected based on measurement errors. An [Al/Fe] spread, signal of an Mg-Al anticorrelation is observed and used to constraint the cluster mass budget, along with C, N, Mg, Si, K, Ca, and Ce element variations are discussed. Across all the analysed evolutionary stages (RGB and AGB), about $\sim2/3$ (14 out of 23) show distinct chemical patterns, possibly associated with second-generation stars.


title: On Representation Learning for Scientific News Articles Using Heterogeneous Knowledge Graphs

abstract: In the era of misinformation and information inflation, the credibility assessment of the produced news is of the essence. However, fact-checking can be challenging considering the limited references presented in the news. This challenge can be transcended by utilizing the knowledge graph that is related to the news articles. In this work, we present a methodology for creating scientific news article representations by modeling the directed graph between the scientific news articles and the cited scientific publications. The network used for the experiments is comprised of the scientific news articles, their topic, the cited research literature, and their corresponding authors. We implement and present three different approaches: 1) a baseline Relational Graph Convolutional Network (R-GCN), 2) a Heterogeneous Graph Neural Network (HetGNN) and 3) a Heterogeneous Graph Transformer (HGT). We test these models in the downstream task of link prediction on the: a) news article - paper links and b) news article - article topic links. The results show promising applications of graph neural network approaches in the domains of knowledge tracing and scientific news credibility assessment.


title: Combinatorics of polymer models of early metabolism

abstract: Polymer models are a widely used tool to study the prebiotic formation of metabolism at the origins of life. Counts of the number of reactions in these models are often crucial in probabilistic arguments concerning the emergence of autocatalytic networks. In the first part of this paper, we provide the first exact description of the number of reactions under widely applied model assumptions. Conclusions from earlier studies rely on either approximations or asymptotic counting, and we show that the exact counts lead to similar, though not always identical, asymptotic results. In the second part of the paper, we investigate a novel model assumption whereby polymers are invariant under spatial rotation. We outline the biochemical relevance of this condition and again give exact enumerative and asymptotic formulae for the number of reactions.


title: Equivalence of quantum barren plateaus to cost concentration and narrow gorges

abstract: Optimizing parameterized quantum circuits (PQCs) is the leading approach to make use of near-term quantum computers. However, very little is known about the cost function landscape for PQCs, which hinders progress towards quantum-aware optimizers. In this work, we investigate the connection between three different landscape features that have been observed for PQCs: (1) exponentially vanishing gradients (called barren plateaus), (2) exponential cost concentration about the mean, and (3) the exponential narrowness of minina (called narrow gorges). We analytically prove that these three phenomena occur together, i.e., when one occurs then so do the other two. A key implication of this result is that one can numerically diagnose barren plateaus via cost differences rather than via the computationally more expensive gradients. More broadly, our work shows that quantum mechanics rules out certain cost landscapes (which otherwise would be mathematically possible), and hence our results are interesting from a quantum foundations perspective.


title: Strong Field Ionization of Water II: Electronic and Nuclear Dynamics En Route to Double Ionization

abstract: We investigate the role of nuclear motion and strong-field-induced electronic couplings during the double ionization of deuterated water using momentum-resolved coincidence spectroscopy. By examining the three-body dicationic dissociation channel, D$^{+}$/D$^{+}$/O, for both few- and multi-cycle laser pulses, strong evidence for intra-pulse dynamics is observed. The extracted angle- and energy-resolved double ionization yields are compared to classical trajectory simulations of the dissociation dynamics occurring from different electronic states of the dication. In contrast with measurements of single photon double ionization, pronounced departure from the expectations for vertical ionization is observed, even for pulses as short as 10~fs in duration. We outline numerous mechanisms by which the strong laser field can modify the nuclear wavefunction en-route to final states of the dication where molecular fragmentation occurs. Specifically, we consider the possibility of a coordinate-dependence to the strong-field ionization rate, intermediate nuclear motion in monocation states prior to double ionization, and near-resonant laser-induced dipole couplings in the ion. These results highlight the fact that, for small and light molecules such as D$_2$O, a vertical-transition treatment of the ionization dynamics is not sufficient to reproduce the features seen experimentally in the strong field coincidence double-ionization data.


title: Numerical viscosity solutions to Hamilton-Jacobi equations via a Carleman estimate and the convexification method

abstract: We propose a globally convergent numerical method, called the convexification, to numerically compute the viscosity solution to first-order Hamilton-Jacobi equations through the vanishing viscosity process where the viscosity parameter is a fixed small number. By convexification, we mean that we employ a suitable Carleman weight function to convexify the cost functional defined directly from the form of the Hamilton-Jacobi equation under consideration. The strict convexity of this functional is rigorously proved using a new Carleman estimate. We also prove that the unique minimizer of the this strictly convex functional can be reached by the gradient descent method. Moreover, we show that the minimizer well approximates the viscosity solution of the Hamilton-Jacobi equation as the noise contained in the boundary data tends to zero. Some interesting numerical illustrations are presented.


title: Balboa: Bobbing and Weaving around Network Censorship

abstract: We introduce Balboa, a link obfuscation framework for censorship circumvention. Balboa provides a general framework for tunneling data through existing applications. Balboa sits between an application and the operating system, intercepting outgoing network traffic and rewriting it to embed data. To avoid introducing any distinguishable divergence from the expected application behavior, Balboa only rewrites traffic that matches an externally specified \emph{traffic model} pre-shared between the communicating parties. The traffic model captures some subset of the network traffic (e.g., some subset of music an audio streaming server streams). The sender uses this model to replace outgoing data with a pointer to the associated location in the model and embed data in the freed up space. The receiver then extracts the data, replacing the pointer with the original data from the model before passing the data on to the application. When using TLS, this approach means that application behavior with Balboa is \emph{equivalent}, modulo small (protocol-dependent) timing differences, to if the application was running without Balboa. Balboa differs from prior approaches in that it (1) provides a framework for tunneling data through arbitrary (TLS-protected) protocols/applications, and (2) runs the unaltered application binaries on standard inputs, as opposed to most prior tunneling approaches which run the application on non-standard -- and thus potentially distinguishable -- inputs. We present two instantiations of Balboa -- one for audio streaming and one for web browsing -- and demonstrate the difficulty of identifying Balboa by a machine learning classifier.


title: Jittering Effects Analysis and Beam Training Design for UAV Millimeter Wave Communications

abstract: Jittering effects significantly degrade the performance of UAV millimeter-wave (mmWave) communications. To investigate the impacts of UAV jitter on mmWave communications, we firstly model UAV mmWave channel based on the geometric relationship between element antennas of the uniform planar arrays (UPAs). Then, we extract the relationship between (I) UAV attitude angles & position coordinates and (II) angle of arrival (AoA) & angle of departure (AoD) of mmWave channel, and we also derive the distribution of AoA/AoD at UAV side from the random fluctuations of UAV attitude angles, i.e., UAV jitter. In beam training design, with the relationship between attitude angles and AoA/AoD, we propose to generate a rough estimate of AoA and AoD from UAV navigation information. Finally, with the rough AoA/AoD estimate, we develop a compressed sensing (CS) based beam training scheme with constrained sensing range as the fine AoA/AoD estimation. Particularly, we construct a partially random sensing matrix to narrow down the sensing range of CS-based beam training. Numerical results show that our proposed UAV beam training scheme assisted by navigation information can achieve better accuracy with reduced training length in AoA/AoD estimation and is thus more suitable for UAV mmWave communications under jittering effects.


title: On a generalized Kuramoto model with relativistic effects and emergent dynamics

abstract: We propose a generalized Kuramoto model with relativistic effects and investigate emergent asymptotic behaviors. The proposed generalized Kuramoto model incorporates relativistic Kuramoto(RK) type models which can be derived from the relativistic Cucker-Smale (RCS) on the unit sphere under suitable approximations. We present several sufficient frameworks leading to complete synchronization in terms of initial data and system parameters. For the relativistic Kuramoto model, we show that it can be reduced to the Kuramoto model in any finite time interval in a non-relativistic limit. We also provide several numerical examples for two approximations of the relativistic Kuramoto model, and compare them with analytical results.


title: Gradient Kernel Regression

abstract: In this article a surprising result is demonstrated using the neural tangent kernel. This kernel is defined as the inner product of the vector of the gradient of an underlying model evaluated at training points. This kernel is used to perform kernel regression. The surprising thing is that the accuracy of that regression is independent of the accuracy of the underlying network.


title: Vapor-solid-solid growth dynamics in GaAs nanowires

abstract: Semiconductor nanowires are promising material systems for coming of age nanotechnology. The usage of the vapor solid solid (VSS) route, where the catalyst used for promoting axial growth of nanowire is a solid, offers certain advantages compared to the common vapor liquid solid (VLS) route (using liquid catalyst). The VSS growth of group-IV elemental nanowires have been investigated by other groups in situ during growth in a transmission electron microscope (TEM). Though it is known that compound nanowire growth has different dynamics compared to monoatomic semiconductors, the dynamics of VSS growth of compound nanowires has not been understood. Here we investigate VSS growth of compound nanowires by in situ microscopy, using Au-seeded GaAs as a model system. The growth kinetics and dynamics at the wire-catalyst interface by ledge-flow is studied and compared for liquid and solid catalysts at similar growth conditions. Here the temperature and thermal history of the system is manipulated to control the catalyst phase. In the first experiment discussed here we reduce the growth temperature in steps to solidify the initially liquid catalyst, and compare the dynamics between VLS and VSS growth observed at slightly different temperatures. In the second experiment we exploit thermal hysteresis of the system to obtain both VLS and VSS at the same temperature. The VSS growth rate is comparable or slightly slower than VLS growth. Unlike in the VLS case, during VSS growth we see several occasions where a new layer starts before the previous layer is completely grown, i.e. multilayer growth. Understanding the VSS growth mode enables better control of nanowire properties by widening the range of usable nanowire growth parameters.


title: Development of Surrogate Methods for Energy Production Process Water Characterization

abstract: Effluent streams of process water used in energy production are contaminated with organic compounds which limits reusability of the water streams. Energy producers develop expensive monitoring and treatment methods to limit impact of the contamination on production. Standard methods for quantifying dissolved organics is process-affected water is laborious and time-consuming. Results from detailed characterization of process water with high concentration of dissolved organics are presented. Methods applied to characterize effluent stream include gravimetric analysis, elemental analysis, and LCMS. The results are used to develop efficient surrogate methods that may be used in continuous improvement in energy production operations.


title: Simpler is better: A comparative study of randomized algorithms for computing the CUR decomposition

abstract: The CUR decomposition is a technique for low-rank approximation that selects small subsets of the columns and rows of a given matrix to use as bases for its column and rowspaces. It has recently attracted much interest, as it has several advantages over traditional low rank decompositions based on orthonormal bases. These include the preservation of properties such as sparsity or non-negativity, the ability to interpret data, and reduced storage requirements. The problem of finding the skeleton sets that minimize the norm of the residual error is known to be NP-hard, but classical pivoting schemes such as column pivoted QR work tend to work well in practice. When combined with randomized dimension reduction techniques, classical pivoting based methods become particularly effective, and have proven capable of very rapidly computing approximate CUR decompositions of large, potentially sparse, matrices. Another class of popular algorithms for computing CUR de-compositions are based on drawing the columns and rows randomly from the full index sets, using specialized probability distributions based on leverage scores. Such sampling based techniques are particularly appealing for very large scale problems, and are well supported by theoretical performance guarantees. This manuscript provides a comparative study of the various randomized algorithms for computing CUR decompositions that have recently been proposed. Additionally, it proposes some modifications and simplifications to the existing algorithms that leads to faster execution times.


title: On the validity of kernel approximations for orthogonally-initialized neural networks

abstract: In this note we extend kernel function approximation results for neural networks with Gaussian-distributed weights to single-layer networks initialized using Haar-distributed random orthogonal matrices (with possible rescaling). This is accomplished using recent results from random matrix theory.


title: Gravity with Explicit Diffeomorphism Breaking

abstract: Modified theories of gravity that explicitly break diffeomorphism invariance have been used for over a decade to explore open issues related to quantum gravity, dark energy, and dark matter. At the same time, the Standard-Model Extension (SME) has been widely used as a phenomenological framework in investigations of spacetime symmetry breaking. Until recently, it was thought that the SME was suitable only for theories with spontaneous spacetime symmetry breaking due to consistency conditions stemming from the Bianchi identities. However, it has recently been shown that, particularly with matter couplings included, the consistency conditions can also be satisfied in theories with explicit breaking. An overview of how this is achieved is presented, and two examples are examined. The first is massive gravity, which includes a nondynamical background tensor. The second is a model based on a low-energy limit of Ho\v rava gravity, where spacetime has a physically preferred foliation. In both cases, bounds on matter--gravity interactions that explicitly break diffeomorphisms are obtained using the SME.


title: Properties of a quantum vortex in neutron matter

abstract: We have studied systematically microscopic properties of a quantum vortex in neutron matter at finite temperatures and densities corresponding to different layers of the inner crust of a neutron star. To this end and in preparation of future simulations of the vortex dynamics, we have carried out fully self-consistent 3D Hartree-Fock-Bogoliubov calculations, using one of the latest nuclear energy-density functionals from the Brussels-Montreal family, which has been developed specifically for applications to neutron superfluidity in neutron-star crusts. By analyzing the flow around the vortex, we have determined the effective radius relevant for the vortex filament model. We have also calculated the specific heat in the presence of the quantum vortex and have shown that it is substantially larger than for a uniform system at low temperatures. The low temperature limit of the specific heat has been identified as being determined by Andreev states inside the vortex core. We have shown that the specific heat in this limit does not scale linearly with temperature. The typical energy scale associated with Andreev states is defined by the minigap, which we have extracted for various neutron-matter densities. Our results suggest that vortices may be spin-polarized in the crust of magnetars. Finally, we have obtained a lower bound for the specific heat of a collection of vortices with given surface density, taking into account both the contributions from the vortex core states and from the hydrodynamic flow.


title: A Model using agile methodologies for defining metrics to be used by the Public Sector in Brazil to set remuneration for outsourced software development

abstract: The process of contracting software factories within the scope of the Federal Public Administration (APF, in Portuguese) in Brazil has undergone some changes due to legislative alterations and a model has been proposed to improve the rendering of services regarding delivering results. Software factory contracts based on predictive processes and on the metrics of Function Points are the target of criticisms and have issues in achieving results, as verified in previous research. The initial objective of the study now proposed will be to define a process model for formulating metrics that can be used in agile contracts as opposed to those of standardized Function Points which have already proved to be quite problematic and difficult for the contractor to manage. Thus, in line with the theme of agile contracts for software development companies, the study proposed will looking for better understand the problem of software development and its maintenance by public agencies by means of contracts using agile methodologies and appropriate metrics for remunerating these services.


title: Discourse Probing of Pretrained Language Models

abstract: Existing work on probing of pretrained language models (LMs) has predominantly focused on sentence-level syntactic tasks. In this paper, we introduce document-level discourse probing to evaluate the ability of pretrained LMs to capture document-level relations. We experiment with 7 pretrained LMs, 4 languages, and 7 discourse probing tasks, and find BART to be overall the best model at capturing discourse -- but only in its encoder, with BERT performing surprisingly well as the baseline model. Across the different models, there are substantial differences in which layers best capture discourse information, and large disparities between models.


title: Multi-Step Reasoning Over Unstructured Text with Beam Dense Retrieval

abstract: Complex question answering often requires finding a reasoning chain that consists of multiple evidence pieces. Current approaches incorporate the strengths of structured knowledge and unstructured text, assuming text corpora is semi-structured. Building on dense retrieval methods, we propose a new multi-step retrieval approach (BeamDR) that iteratively forms an evidence chain through beam search in dense representations. When evaluated on multi-hop question answering, BeamDR is competitive to state-of-the-art systems, without using any semi-structured information. Through query composition in dense space, BeamDR captures the implicit relationships between evidence in the reasoning chain. The code is available at https://github.com/ henryzhao5852/BeamDR.


title: Consistent Rotation Maps Induce a Unitary Shift Operator in Discrete Time Quantum Walks

abstract: In this work we explain the necessity for consistently labeled rotation maps for efficiently computing coined discrete time quantum walks on regular graphs.


title: Dynamic asymptotic dimension and Matui's HK conjecture

abstract: We prove that the homology groups of a principal ample groupoid vanish in dimensions greater than the dynamic asymptotic dimension of the groupoid (as a side-effect of our methods, we also give a new model of groupoid homology in terms of the Tor groups of homological algebra, which might be of independent interest). As a consequence, the K-theory of the $C^*$-algebras associated with groupoids of finite dynamic asymptotic dimension can be computed from the homology of the underlying groupoid. In particular, principal ample groupoids with dynamic asymptotic dimension at most two and finitely generated second homology satisfy Matui's HK-conjecture. We also construct explicit maps from the groupoid homology groups to the K-theory groups of their $C^*$-algebras in degrees zero and one, and investigate their properties.


title: The computational asymptotics of Gaussian variational inference and the Laplace approximation

abstract: Gaussian variational inference and the Laplace approximation are popular alternatives to Markov chain Monte Carlo that formulate Bayesian posterior inference as an optimization problem, enabling the use of simple and scalable stochastic optimization algorithms. However, a key limitation of both methods is that the solution to the optimization problem is typically not tractable to compute; even in simple settings the problem is nonconvex. Thus, recently developed statistical guarantees -- which all involve the (data) asymptotic properties of the global optimum -- are not reliably obtained in practice. In this work, we provide two major contributions: a theoretical analysis of the asymptotic convexity properties of variational inference with a Gaussian family and the maximum a posteriori (MAP) problem required by the Laplace approximation; and two algorithms -- consistent Laplace approximation (CLA) and consistent stochastic variational inference (CSVI) -- that exploit these properties to find the optimal approximation in the asymptotic regime. Both CLA and CSVI involve a tractable initialization procedure that finds the local basin of the optimum, and CSVI further includes a scaled gradient descent algorithm that provably stays locally confined to that basin. Experiments on nonconvex synthetic and real-data examples show that compared with standard variational and Laplace approximations, both CSVI and CLA improve the likelihood of obtaining the global optimum of their respective optimization problems.


title: Learning Optimal Parametric Hydrodynamic Database for Vortex-Induced Crossflow Vibration Prediction

abstract: The Vortex-induced vibration (VIV) prediction of long flexible cylindrical structures relies on the accuracy of the hydrodynamic database constructed via rigid cylinder forced vibration experiments. However, to create a comprehensive hydrodynamic database with tens of input parameters including vibration amplitudes and frequencies and Reynolds number, surface roughness and so forth is technically challenging and virtually impossible due to the large number of experiments required. The current work presents an alternative approach to approximate the crossflow (CF) hydrodynamic coefficient database in a carefully chosen parameterized form. The learning of the parameters is posed as a constraint optimization, where the objective function is constructed based on the error between the experimental response and theoretical prediction assuming energy balance between fluid and structure. Such a method yields the optimal estimation of the CF parametric hydrodynamic database and produces the VIV response prediction based on the updated hydrodynamic database. The method then was tested on several experiments, including freely-mounted rigid cylinder in large Reynolds number with combined crossflow and inline vibrations and large-scale flexible cylinder test in the Norwegian Deepwater Program, and the result is shown to robustly and significantly reduce the error in predicting cylinder VIVs.


title: Simpler Certified Radius Maximization by Propagating Covariances

abstract: One strategy for adversarially training a robust model is to maximize its certified radius -- the neighborhood around a given training sample for which the model's prediction remains unchanged. The scheme typically involves analyzing a "smoothed" classifier where one estimates the prediction corresponding to Gaussian samples in the neighborhood of each sample in the mini-batch, accomplished in practice by Monte Carlo sampling. In this paper, we investigate the hypothesis that this sampling bottleneck can potentially be mitigated by identifying ways to directly propagate the covariance matrix of the smoothed distribution through the network. To this end, we find that other than certain adjustments to the network, propagating the covariances must also be accompanied by additional accounting that keeps track of how the distributional moments transform and interact at each stage in the network. We show how satisfying these criteria yields an algorithm for maximizing the certified radius on datasets including Cifar-10, ImageNet, and Places365 while offering runtime savings on networks with moderate depth, with a small compromise in overall accuracy. We describe the details of the key modifications that enable practical use. Via various experiments, we evaluate when our simplifications are sensible, and what the key benefits and limitations are.


title: Fibro-CoSANet: Pulmonary Fibrosis Prognosis Prediction using a Convolutional Self Attention Network

abstract: Idiopathic pulmonary fibrosis (IPF) is a restrictive interstitial lung disease that causes lung function decline by lung tissue scarring. Although lung function decline is assessed by the forced vital capacity (FVC), determining the accurate progression of IPF remains a challenge. To address this challenge, we proposed Fibro-CoSANet, a novel end-to-end multi-modal learning-based approach, to predict the FVC decline. Fibro-CoSANet utilized CT images and demographic information in convolutional neural network frameworks with a stacked attention layer. Extensive experiments on the OSIC Pulmonary Fibrosis Progression Dataset demonstrated the superiority of our proposed Fibro-CoSANet by achieving the new state-of-the-art modified Laplace Log-Likelihood score of -6.68. This network may benefit research areas concerned with designing networks to improve the prognostic accuracy of IPF. The source-code for Fibro-CoSANet is available at: \url{https://github.com/zabir-nabil/Fibro-CoSANet}.


title: Physics-oriented learning of nonlinear Schr\"odinger equation: optical fiber loss and dispersion profile identification

abstract: In optical fiber communication, system identification (SI) for the nonlinear Schr\"odinger equation (NLSE) has long been studied mainly for fiber nonlinearity compensation (NLC). One recent line of inquiry to combine a behavioral-model approach like digital backpropagation (DBP) and a data-driven approach like neural network (NN). These works are aimed for more NLC gain; however, by directing our attention to the learned parameters in such a SI process, system status information, i.e., optical fiber parameters, will possibly be extracted. Here, we show that the model-based optimization and interpretable nature of the learned parameters in NN-based DBP enable transmission line monitoring, fully extracting the actual in-line NLSE parameter distributions. Specifically, we demonstrate that longitudinal loss and dispersion profiles along a multi-span link can be obtained at once, directly from data-carrying signals without any dedicated analog devices such as optical time-domain reflectometry. We apply the method to a long-haul (~2,080 km) link and various link conditions are tested, including excess loss inserted, different fiber input power, and non-uniform level diagram. The measurement performance is also investigated in terms of measurement range, accuracy, and fiber launch power. These results provide a path toward simplified and automated network management as another application of DBP.


title: Science-Software Linkage: The Challenges of Traceability between Scientific Knowledge and Software Artifacts

abstract: Although computer science papers are often accompanied by software artifacts, connecting research papers to their software artifacts and vice versa is not always trivial. First of all, there is a lack of well-accepted standards for how such links should be provided. Furthermore, the provided links, if any, often become outdated: they are affected by link rot when pre-prints are removed, when repositories are migrated, or when papers and repositories evolve independently. In this paper, we summarize the state of the practice of linking research papers and associated source code, highlighting the recent efforts towards creating and maintaining such links. We also report on the results of several empirical studies focusing on the relationship between scientific papers and associated software artifacts, and we outline challenges related to traceability and opportunities for overcoming these challenges.


title: CXR Segmentation by AdaIN-based Domain Adaptation and Knowledge Distillation

abstract: As segmentation labels are scarce, extensive researches have been conducted to train segmentation networks with domain adaptation, semi-supervised or self-supervised learning techniques to utilize abundant unlabeled dataset. However, these approaches appear different from each other, so it is not clear how these approaches can be combined for better performance. Inspired by recent multi-domain image translation approaches, here we propose a novel segmentation framework using adaptive instance normalization (AdaIN), so that a single generator is trained to perform both domain adaptation and semi-supervised segmentation tasks via knowledge distillation by simply changing task-specific AdaIN codes. Specifically, our framework is designed to deal with difficult situations in chest X-ray radiograph (CXR) segmentation, where labels are only available for normal data, but the trained model should be applied to both normal and abnormal data. The proposed network demonstrates great generalizability under domain shift and achieves the state-of-the-art performance for abnormal CXR segmentation.


title: NewsCLIPpings: Automatic Generation of Out-of-Context Multimodal Media

abstract: Online misinformation is a prevalent societal issue, with adversaries relying on tools ranging from cheap fakes to sophisticated deep fakes. We are motivated by the threat scenario where an image is used out of context to support a certain narrative. While some prior datasets for detecting image-text inconsistency generate samples via text manipulation, we propose a dataset where both image and text are unmanipulated but mismatched. We introduce several strategies for automatically retrieving convincing images for a given caption, capturing cases with inconsistent entities or semantic context. Our large-scale automatically generated NewsCLIPpings Dataset: (1) demonstrates that machine-driven image repurposing is now a realistic threat, and (2) provides samples that represent challenging instances of mismatch between text and image in news that are able to mislead humans. We benchmark several state-of-the-art multimodal models on our dataset and analyze their performance across different pretraining domains and visual backbones.


title: Bridging the gap between protoplanetary and debris disks: separate evolution of millimeter and micrometer-sized dust

abstract: The connection between the nature of a protoplanetary disk and that of a debris disk is not well understood. Dust evolution, planet formation, and disk dissipation likely play a role in the processes involved. We aim to reconcile both manifestations of dusty circumstellar disks through a study of optically thin Class III disks and how they correlate to younger and older disks. In this work, we collect literature and ALMA archival millimeter fluxes for 85 disks (8%) of all Class III disks across nearby star-forming regions. We derive millimeter-dust masses $M_{\text{dust}}$ and compare these with Class II and debris disk samples in the context of excess infrared luminosity, accretion rate, and age. The mean $M_{\text{dust}}$ of Class III disks is $0.29 \pm 0.19~M_{\oplus}$. We propose a new evolutionary scenario wherein radial drift is very efficient for non-structured disks during the Class II phase resulting in a rapid decrease of $M_{\text{dust}}$. However, we find long infrared protoplanetary disk timescales of ${\sim}$8~Myr, which are consistent with overall slow disk evolution. In structured disks, the presence of dust traps allows for the formation of planetesimal belts at large radii, such as those observed in debris disks. We propose therefore that the planetesimal belts in debris disks are the result of dust traps in structured disks, whereas protoplanetary disks without dust traps decrease in dust mass through radial drift and are therefore undetectable as debris disks after the gas has dissipated. These results provide a hypothesis for a novel view of disk evolution.


title: IMAGINE: Image Synthesis by Image-Guided Model Inversion

abstract: We introduce an inversion based method, denoted as IMAge-Guided model INvErsion (IMAGINE), to generate high-quality and diverse images from only a single training sample. We leverage the knowledge of image semantics from a pre-trained classifier to achieve plausible generations via matching multi-level feature representations in the classifier, associated with adversarial training with an external discriminator. IMAGINE enables the synthesis procedure to simultaneously 1) enforce semantic specificity constraints during the synthesis, 2) produce realistic images without generator training, and 3) give users intuitive control over the generation process. With extensive experimental results, we demonstrate qualitatively and quantitatively that IMAGINE performs favorably against state-of-the-art GAN-based and inversion-based methods, across three different image domains (i.e., objects, scenes, and textures).


title: Simple numerical algorithm for generating Hamiltonian cycles and edge labels on planar cubic maps

abstract: In this work we present an algorithm with which any arbitrary cubic planar map may be constructed through successive edge insertion while simultaneously constructing a set of proper edge labels and Hamiltonian cycles for each configuration. We present a publicly available Python implementation of this algorithm, and discuss both theoretical and numerical support for its validity, with reference to the well-known Four Colour Theorem.


title: Inertial Collaborative Localisation for Autonomous Vehicles using a Minimum Energy Filter

abstract: Collaborative Localisation has been studied extensively in recent years as a way to improve pose estimation of unmanned aerial vehicles in challenging environments. However little attention has been paid toward advancing the underlying filter design beyond standard Extended Kalman Filter-based approaches. In this paper, we detail a discrete-time collaborative localisation filter using the deterministic minimum-energy framework. The filter incorporates measurements from an inertial measurement unit and models the effects of sensor bias and gravitational acceleration. We present a simulation based on real-world vehicle trajectories and IMU data that demonstrates how collaborative localisation can improve performance over single-vehicle methods.


title: KAM theorem with large perturbation and application to network of Duffing oscillators

abstract: We prove that there is an invariant torus with given Diophantine frequency vector for a class of Hamiltonian systems defined by an integrable large Hamiltonian function with a large non-autonomous Hamiltonian perturbation. As for application, we prove that a finite network of Duffing oscillators with periodic exterior forces possesses Lagrangian stability for almost all initial data.


title: Qubit Sensing: A New Attack Model for Multi-programming Quantum Computing

abstract: Noisy quantum computers suffer from readout or measurement error. It is a classical bit-flip error due to which state "1" is read out as "0" and vice-versa. The probability of readout error shows a state dependence i.e., flipping probability of state "1" may differ from flipping probability of state "0". Moreover, the probability shows correlation across qubits. These state-dependent and correlated error probability introduces a signature of victim outputs on adversary output when two programs are run simultaneously on the same quantum computer. This can be exploited to sense victim output which may contain sensitive information. In this paper, we systematically show that such readout error-dependent signatures exist and that an adversary can use such signature to infer a user output. We experimentally demonstrate the attack (inference) on 3 public IBM quantum computers. Using Jensen-Shannon Distance (JSD) a measure for statistical inference, we show that our approach identifies victim output with an accuracy of 96% on real hardware. We also present randomized output flipping as a lightweight yet effective countermeasure to thwart such information leakage attacks. Our analysis shows the countermeasure incurs a minor penalty of 0.05% in terms of fidelity.


title: Nondegeneracy of eigenvectors and singular vector tuples of tensors

abstract: In this article, nondegeneracy of singular vector tuples, Z-eigenvectors and eigenvectors of tensors is studied. They have found many applications in diverse areas. The main results are: (i) each (Z-)eigenvector/singular vector tuple of a generic tensor is nondegenerate, and (ii) each nonzero Z-eigenvector/singular vector tuple of an orthogonally decomposable tensor is nondegenerate.


title: SRR-Net: A Super-Resolution-Involved Reconstruction Method for High Resolution MR Imaging

abstract: Improving the image resolution and acquisition speed of magnetic resonance imaging (MRI) is a challenging problem. There are mainly two strategies dealing with the speed-resolution trade-off: (1) $k$-space undersampling with high-resolution acquisition, and (2) a pipeline of lower resolution image reconstruction and image super-resolution. However, these approaches either have limited performance at certain high acceleration factor or suffer from the error accumulation of two-step structure. In this paper, we combine the idea of MR reconstruction and image super-resolution, and work on recovering HR images from low-resolution under-sampled $k$-space data directly. Particularly, the SR-involved reconstruction can be formulated as a variational problem, and a learnable network unrolled from its solution algorithm is proposed. A discriminator was introduced to enhance the detail refining performance. Experiment results using in-vivo HR multi-coil brain data indicate that the proposed SRR-Net is capable of recovering high-resolution brain images with both good visual quality and perceptual quality.


title: Bi-level Off-policy Reinforcement Learning for Volt/VAR Control Involving Continuous and Discrete Devices

abstract: In Volt/Var control (VVC) of active distribution networks(ADNs), both slow timescale discrete devices (STDDs) and fast timescale continuous devices (FTCDs) are involved. The STDDs such as on-load tap changers (OLTC) and FTCDs such as distributed generators should be coordinated in time sequence. Such VCC is formulated as a two-timescale optimization problem to jointly optimize FTCDs and STDDs in ADNs. Traditional optimization methods are heavily based on accurate models of the system, but sometimes impractical because of their unaffordable effort on modelling. In this paper, a novel bi-level off-policy reinforcement learning (RL) algorithm is proposed to solve this problem in a model-free manner. A Bi-level Markov decision process (BMDP) is defined to describe the two-timescale VVC problem and separate agents are set up for the slow and fast timescale sub-problems. For the fast timescale sub-problem, we adopt an off-policy RL method soft actor-critic with high sample efficiency. For the slow one, we develop an off-policy multi-discrete soft actor-critic (MDSAC) algorithm to address the curse of dimensionality with various STDDs. To mitigate the non-stationary issue existing the two agents' learning processes, we propose a multi-timescale off-policy correction (MTOPC) method by adopting importance sampling technique. Comprehensive numerical studies not only demonstrate that the proposed method can achieve stable and satisfactory optimization of both STDDs and FTCDs without any model information, but also support that the proposed method outperforms existing two-timescale VVC methods.


title: Near-perfect fidelity polarization-encoded multilayer optical data storage based on aligned gold nanorods

abstract: Encoding information in light polarization is of great importance in facilitating optical data storage (ODS) for information security and data storage capacity escalation. However, despite recent advances in nanophotonic techniques vastly enhancing the feasibility of applying polarization channels, the data fidelity in reconstructed bits has been constrained by severe crosstalks occurring between varied polarization angles during data recording and reading process, which gravely hindered the utilization of this technique in practice. In this paper, we demonstrate an ultra-low crosstalk polarization-encoding multilayer optical data storage technique for high-fidelity data recording and retrieving by utilizing a nanofibre-based nanocomposite film involving highly aligned gold nanorods (GNRs). With parallelizing the gold nanorods in the recording medium, the information carrier configuration minimizes miswriting and misreading possibilities for information input and output, respectively, compared with its randomly self-assembled counterparts. The enhanced data accuracy has significantly improved the bit recall fidelity that is quantified by a correlation coefficient higher than 0.99. It is anticipated that the demonstrated technique can facilitate the development of multiplexing ODS for a greener future.


title: DirectProbe: Studying Representations without Classifiers

abstract: Understanding how linguistic structures are encoded in contextualized embedding could help explain their impressive performance across NLP@. Existing approaches for probing them usually call for training classifiers and use the accuracy, mutual information, or complexity as a proxy for the representation's goodness. In this work, we argue that doing so can be unreliable because different representations may need different classifiers. We develop a heuristic, DirectProbe, that directly studies the geometry of a representation by building upon the notion of a version space for a task. Experiments with several linguistic tasks and contextualized embeddings show that, even without training classifiers, DirectProbe can shine light into how an embedding space represents labels, and also anticipate classifier performance for the representation.


title: Center-specific causal inference with multicenter trials: reinterpreting trial evidence in the context of each participating center

abstract: In multicenter randomized trials, when effect modifiers have a different distribution across centers, comparisons between treatment groups that average over centers may not apply to any of the populations underlying the individual centers. Here, we describe methods for reinterpreting the evidence produced by a multicenter trial in the context of the population underlying each center. We describe how to identify center-specific effects under identifiability conditions that are largely supported by the study design and when associations between center membership and the outcome may be present, given baseline covariates and treatment ("center-outcome associations"). We then consider an additional condition of no center-outcome associations given baseline covariates and treatment. We show that this condition can be assessed using the trial data; when it holds, center-specific treatment effects can be estimated using analyses that completely pool information across centers. We propose methods for estimating center-specific average treatment effects, when center-outcome associations may be present and when they are absent, and describe approaches for assessing whether center-specific treatment effects are homogeneous. We evaluate the performance of the methods in a simulation study and illustrate their implementation using data from the Hepatitis C Antiviral Long-Term Treatment Against Cirrhosis trial.


title: A discrete dislocation dynamics study of precipitate bypass mechanisms in nickel-based superalloys

abstract: Order strengthening in nickel-based superalloys is associated with the extra stress required for dislocations to bypass the $\gamma'$ precipitates distributed in the $\gamma$ matrix. A rich variety of bypass mechanism has been identified, with various shearing and Orowan looping processes giving way to climb bypass as the operating conditions change from the low/intermediate temperatures and high stress regime, to the high temperature and low stress regime. When anti phase boundary (APB) shearing and Orowan looping mechanisms operate, the bypass mechanism changes from shearing to looping with increased particle size and within a broad coexistence size window. Another possibility, supported by indirect experimental evidence, is that a third "hybrid" transition mechanism may operate. In this paper we use discrete dislocation dynamics (DDD) simulations to study dislocation bypass mechanisms in Ni-based superalloys. We develop a new method to compute generalized stacking fault forces in DDD simulations. We use this method to study the mechanisms of bypass of a square lattice of spherical $\gamma'$ precipitates by $a/2\langle110\rangle\{111\}$ edge dislocations, as a function of the precipitates volume fraction and size. We show that the hybrid mechanism is possible and it operates as a transition mechanism between the shearing and looping regimes over a large range of precipitates volume fraction and radii. We also consider the effects of a $\gamma/\gamma'$ lattice misfit on the bypass mechanisms, which we approximate by an additional precipitate stress computed according to Eshelby's inclusion theory. We show that in the shearing and hybrid looping-shearing regimes, a lattice misfit generally results in an increased bypass stress. For sufficiently high lattice misfit, the bypass stress is controlled by the pinning of the trailing dislocation on the exit side of the precipitates.


title: Triangle-free graphs with large chromatic number and no induced wheel

abstract: A wheel is a graph consisting of an induced cycle of length at least four and a single additional vertex with at least three neighbours on the cycle. We prove that no Burling graph contains an induced wheel. Burling graphs are triangle-free and have arbitrarily large chromatic number, so this answers a question of Trotignon and disproves a conjecture of Scott and Seymour.


title: Campbell penetration depth in low carrier density superconductor YPtBi

abstract: Magnetic penetration depth, $\lambda_{m}$, was measured as a function of temperature and magnetic field in single crystals of low carrier density superconductor YPtBi by using a tunnel-diode oscillator technique. Measurements in zero DC magnetic field yield London penetration depth, $\lambda_{L}\left(T\right)$, but in the applied field the signal includes the Campbell penetration depth, $\lambda_{C}\left(T\right)$, which is the characteristic length of the attenuation of small excitation field, $H_{ac}$, into the Abrikosov vortex lattice due to its elasticity. Whereas the magnetic field dependent $\lambda_C$ exhibit $\lambda_{C}\sim B^{p}$ with $p=1/2$ in most of the conventional and unconventional superconductors, we found that $p\approx 0.23\ll1/2$ in YPtBi due to rapid suppression of the pinning strength. From the measured $\lambda_{C}(T,H)$, the critical current density is $j_{c}\approx40\,\mathrm{A}/\mathrm{cm^{2}}$ at 75 mK. This is orders of magnitude lower than that of conventional superconductors of comparable $T_{c}$. Since the pinning centers (lattice defects) and vortex structure are not expected to be much different in YPtBi, this observation is direct evidence of the low density of the Cooper pairs because $j_{c}\propto n_s$.


title: Transformations preserving the norm of means between positive cones of general and commutative $C^*$-algebras

abstract: In this paper, we consider a (nonlinear) transformation $\Phi$ of invertible positive elements in $C^*$-algebras which preserves the norm of any of the three fundamental means of positive elements; namely, $\|\Phi(A)\mm \Phi(B)\| = \|A\mm B\|$, where $\mm$ stands for the arithmetic mean $A\nabla B=(A+B)/2$, the geometric mean $A\#B=A^{1/2}(A^{-1/2}BA^{-1/2})^{1/2}A^{1/2}$, or the harmonic mean $A!B=2(A^{-1} + B^{-1})^{-1}$. Assuming that $\Phi$ is surjective and preserves either the norm of the arithmetic mean or the norm of the geometric mean, we show that $\Phi$ extends to a Jordan $*$-isomorphism between the underlying full algebras. If $\Phi$ is surjective and preserves the norm of the harmonic mean, then we obtain the same conclusion in the special cases where the underlying algebras are $AW^*$-algebras or commutative $C^*$-algebras. In the commutative case, for a transformation $T: F(\mathrm{X})\subset C_0(\mathrm{X})_+\rightarrow C_0(\mathrm{Y})_+$, we can relax the surjectivity assumption and show that $T$ is a generalized composition operator if $T$ preserves the norm of the (arithmetic, geometric, harmonic, or in general any power) mean of any finite collection of positive functions, provided that the domain $F(\mathrm{X})$ contains sufficiently many elements to peak on compact $G_\delta$ sets. When the image $T(F(\mathrm{X}))$ also contains sufficiently many elements to peak on compact $G_\delta$ sets, $T$ extends to an algebra $*$-isomorphism between the underlying full function algebras.


title: Ultra-compact binary pulsars as continuous dual-line gravitational wave sources

abstract: Binary millisecond pulsars (MSPs) are detached binary systems consisting of a MSP and a He white dwarf. If the initial orbital periods of binary MSPs are less than 0.3 day, they would evolve toward ultra-compact binary pulsars due to the rapid orbital shrinkage by the gravitational wave (GW) radiation. During the orbital decay, the MSP with an ellipticity would spin down by the GW radiation and the magnetic dipole radiation. Our calculations indicate that the angular momentum loss is dominated by the GW radiation when the ellipticities of the neutron stars (NSs) are in the range of $(1-50)\times 10^{-7}$, and the frequencies of high-frequency GW signals from the rotating NSs are $10-100$ Hz when the binary pulsars can be visible as low-frequency GW sources. These high-frequency GW signals are possible to be detected by the aLIGO and the third-generation GW detectors such as Einstein Telescope, depending on the frequencies and the distances. Therefore, some ultra-compact binary pulsars have an opportunity to become intriguing dual-line GW sources. By detecting the low-frequency GW signals, the NS mass can be accurately derived. A dual-line detection of two band GW signals could provide a constraint on the moment of inertia and the ellipticity of the NS. Thus the dual-line GW sources can be potentially applied to constrain the equation of state of the NS.