title: Improving Coherence and Consistency in Neural Sequence Models with Dual-System, Neuro-Symbolic Reasoning

abstract: Human reasoning can often be understood as an interplay between two systems: the intuitive and associative ("System 1") and the deliberative and logical ("System 2"). Neural sequence models -- which have been increasingly successful at performing complex, structured tasks -- exhibit the advantages and failure modes of System 1: they are fast and learn patterns from data, but are often inconsistent and incoherent. In this work, we seek a lightweight, training-free means of improving existing System 1-like sequence models by adding System 2-inspired logical reasoning. We explore several variations on this theme in which candidate generations from a neural sequence model are examined for logical consistency by a symbolic reasoning module, which can either accept or reject the generations. Our approach uses neural inference to mediate between the neural System 1 and the logical System 2. Results in robust story generation and grounded instruction-following show that this approach can increase the coherence and accuracy of neurally-based generations.


title: Time-irreversibility tests for random-length time series: the matching-time approach applied to DNA

abstract: In this work we implement the so-called matching time estimators for estimating the entropy rate as well as the entropy production rate for symbolic sequences. These estimators are based on recurrence properties of the system, which have been shown to be appropriate to test irreversibility specially when the sequences have large correlations or memory. Based on limit theorems for matching-times we derive a maximum likelihood estimator for entropy rate assuming that we have a set of moderately short symbolic time-series of finite random duration. We show that the proposed estimator has several properties that makes it adequate to estimate entropy rate and entropy production rate (or to test irreversibility) when the sample sequences have different lengths such as the coding sequences of DNA. We test our approach in some controlled examples of Markov chains. We also implement our estimators in genomic sequences to show that the degree of irreversibility coding sequences of human DNA is significantly larger than the corresponding non-coding sequences.


title: Double domination in maximal outerplanar graphs

abstract: In a graph $G$, a vertex dominates itself and its neighbors. A subset $S\subseteq V(G)$ is said to be a double dominating set of $G$ if $S$ dominates every vertex of $G$ at least twice. The double domination number $\gamma_{\times 2}(G)$ is the minimum cardinality of a double dominating set of $G$. We show that if $G$ is a maximal outerplanar graph on $n\geq 3$ vertices, then $\gamma_{\times 2}(G)\leq \lfloor \frac{2n}{3}\rfloor$. Further, if $n\geq 4$, then $\gamma_{\times 2}(G)\leq \min \{\lfloor \frac{n+t}{2}\rfloor, n-t\}$, where $t$ is the number of vertices of degree $2$ in $G$. These bounds are shown to be tight. In addition, we also study the case that $G$ is a striped maximal outerplanar graph.


title: Generalization Error Analysis of Neural networks with Gradient Based Regularization

abstract: We study gradient-based regularization methods for neural networks. We mainly focus on two regularization methods: the total variation and the Tikhonov regularization. Applying these methods is equivalent to using neural networks to solve some partial differential equations, mostly in high dimensions in practical applications. In this work, we introduce a general framework to analyze the generalization error of regularized networks. The error estimate relies on two assumptions on the approximation error and the quadrature error. Moreover, we conduct some experiments on the image classification tasks to show that gradient-based methods can significantly improve the generalization ability and adversarial robustness of neural networks. A graphical extension of the gradient-based methods are also considered in the experiments.


title: Representing choice functions by a total hyper-order

abstract: Choice functions over a set $X$ that satisfy the Outcast, a.k.a. Aizerman, property are exactly those that attach to any set its maximal subset relative to some total order of ${2}^{X}$.


title: A megathrust earthquake genesis process observed by a Global Positioning System

abstract: Japan's GPS observed the fifteen-month megathrust earthquake genesis process of the 2011 Tohoku M9, suggesting the real-time predictability of such events.

categories: physics.geo-ph nlin.CD physics.class-ph physics.data-an physics.pop-ph


title: The numerical evaluation of the Riesz function

abstract: The behaviour of the generalised Riesz function defined by \[S_{m,p}(x)=\sum_{k=0}^\infty \frac{(-)^{k-1}x^k}{k! \zeta(mk+p)}\qquad (m\geq 1,\ p\geq 1)\] is considered for large positive values of $x$. A numerical scheme is given to compute this function which enables the visualisation of its asymptotic form. The two cases $m=2$, $p=1$ and $m=p=2$ (introduced respectively by Hardy and Littlewood in 1918 and Riesz in 1915) are examined in detail. It is found on numerical evidence that these functions appear to exhibit the $x^{-1/4}$ and $x^{-3/4}$ decay, superimposed on an oscillatory structure, required for the truth of the Riemann hypothesis.


title: Hubble selection of the weak scale from QCD quantum critical point

abstract: There is growing evidence that the small weak scale may be related to self-organized criticality. In this regard, we note that if the strange quark were lighter, the QCD phase transition could have been first order, possibly exhibiting quantum critical points at zero temperature as a function of the Higgs vacuum expectation value $v_h$ smaller than (but near) the weak scale. We show that these quantum critical points allow a dynamical selection of the observed weak scale, via quantum-dominated stochastic evolutions of the value of $v_h$ during eternal inflation. Although the values of $v_h$ in different Hubble patches are described by a probability distribution in the multiverse, inflationary quantum dynamics ensures that the peak of the distribution evolves toward critical points (self-organized criticality), driven mainly by the largest Hubble expansion rate there -- the Hubble selection of the universe. To this end, we first explore the quantum critical points of the three-flavor QCD linear sigma model, parametrized by $v_h$ at zero temperature, and we present a relaxion model for the weak scale. Among the patches that have reached reheating, it results in a sharp probability distribution of $v_h$ near the observed weak scale, which is critical not to the crossover at $v_h=0$ but to the sharp transition at ${\sim}\Lambda_{\rm QCD}$.


title: Evidence for low kick velocities among high-mass X-ray binaries in the Small Magellanic Cloud from the spatial correlation function

abstract: We present the two-point cross-correlation function between high-mass X-ray binaries (HMXBs) in the Small Magellanic Cloud (SMC) and their likely birthplaces (OB Associations: OBAs). This function compares the spatial correlation between the observed HMXB and OBA populations against mock catalogs in which the members are distributed randomly across the sky. A significant correlation (15 sigma) is found for the HMXB and OBA populations when compared with a randomized catalog in which the OBAs are distributed uniformly over the SMC. A less significant correlation (4 sigma) is found for a randomized catalog of OBAs built with a bootstrap method. However, no significant correlation is detected when the randomized catalogs assume the form of a Gaussian ellipsoid or a distribution that reflects the star-formation history from 40 Myr ago. Based on their observed distributions and assuming a range of migration timescales, we infer that the average value of the kick velocity inherited by an HMXB during the formation of its compact object is 2-34 km/s. This is considerably less than the value obtained for their counterparts in the Milky Way hinting that the galactic environment affecting stellar evolution plays a role in setting the average kick velocity of HMXBs.


title: Gauged Inverse Seesaw from Dark Matter

abstract: We propose an economical model addressing the generation of the Inverse Seesaw mechanism from the spontaneous breaking of a local $U(1)_{B-L}$, with the Majorana masses of the sterile neutrinos radiatively generated from the dark sector. The field content of the Standard Model is extended by neutral scalars and fermionic singlets, and the gauge group is extended with a $U(1)_{B-L}$ and a discrete $\mathbb{Z}_4$ symmetries. Besides dynamically generating the Inverse Seesaw and thus small masses to the active neutrinos, our model offers two possible dark matter candidates, one scalar and one fermionic, stable thanks to a remnant $\mathbb{Z}_2$ symmetry. Our model complies with bounds and constraints form dark matter direct detection, invisible Higgs decays and $Z'$ collider searches for masses of the dark sector at the TeV scale.


title: Searching for light long-lived neutralinos at Super-Kamiokande

abstract: Light neutralinos could be copiously produced from the decays of mesons generated in cosmic-ray air showers. These neutralinos can be long-lived particles in the context of R-parity violating (RPV) supersymmetric models, implying that they could be capable of reaching the surface of the earth and decay within the instrumental volume of large neutrino detectors. In this letter, we use atmospheric neutrino data from the Super-Kamiokande experiment to derive novel constraints for the RPV couplings involved in the production of long-lived light neutralinos from the decays of charged $D$-mesons and kaons. Our results highlight the potential of neutrino detectors to search for long-lived particles, by demonstrating that it is possible to explore regions of parameter space that are not yet constrained by any fixed-target nor collider experiments.


title: The Second Discovery from the COol Companions ON Ultrawide orbiTS (COCONUTS) Program: A Cold Wide-Orbit Exoplanet around a Young Field M Dwarf at 10.9 pc

abstract: We present the identification of the COCONUTS-2 system, composed of the M3 dwarf L 34-26 and the T9 dwarf WISEPA J075108.79$-$763449.6. Given their common proper motions and parallaxes, these two field objects constitute a physically bound pair with a projected separation of 594$"$ (6471 au). The primary star COCONUTS-2A has strong stellar activity (H$\alpha$, X-ray, and UV emission) and is rapidly rotating ($P_{\rm rot} = 2.83$ days), from which we estimate an age of 150-800 Myr. Comparing equatorial rotational velocity derived from the TESS light curve to spectroscopic $v\sin{i}$, we find COCONUTS-2A has a nearly edge-on inclination. The wide exoplanet COCONUTS-2b has an effective temperature of $T_{\rm eff}=434 \pm 9$ K, a surface gravity of $\log{g} = 4.11^{+0.11}_{-0.18}$ dex, and a mass of $M=6.3^{+1.5}_{-1.9}$ $M_{\rm Jup}$ based on hot-start evolutionary models, leading to a $0.016^{+0.004}_{-0.005}$ mass ratio for the COCONUTS-2 system. COCONUTS-2b is the second coldest (after WD 0806$-$661B) and the second widest (after TYC 9486-927-1 b) exoplanet imaged to date. Comparison of COCONUTS-2b's infrared photometry with ultracool model atmospheres suggests the presence of both condensate clouds and non-equilibrium chemistry in its photosphere. Similar to 51 Eri b, COCONUTS-2b has a sufficiently low luminosity ($\log{(L_{\rm bol}/L_{\odot})} = -6.384 \pm 0.028$ dex) to be consistent with the cold-start process that may form gas-giant (exo)planets, though its large separation means such formation would not have occurred in situ. Finally, at a distance of 10.9 pc, COCONUTS-2b is the nearest imaged exoplanet to Earth known to date.


title: The most luminous blue quasars at 3.0<z<3.3. II. CIV/X-ray emission and accretion disc physics

abstract: We analyse the properties of the CIV broad emission line in connection with the X-ray emission of 30 bright SDSS quasars at z~3.0-3.3 with pointed XMM-Newton observations, which were selected to test the suitability of AGN as cosmological tools. In our previous work, we found that a large fraction (~25%) of the quasars in this sample are X-ray underluminous by factors of >3-10. As absorbing columns of >10$^{23}$ cm$^{-2}$ can be safely ruled out, their weakness is most likely intrinsic. Here we explore possible correlations between the UV and X-ray features of these sources to investigate the origin of X-ray weakness. We fit their UV SDSS spectra and analyse their CIV properties (e.g., equivalent width, EW; line peak velocity, $\upsilon_{\rm peak}$) as a function of the X-ray photon index and 2-10 keV flux. We confirm the trends of CIV $\upsilon_{\rm peak}$ and EW with UV luminosity at 2500 angstrom for both X-ray weak and X-ray normal quasars, as well as the correlation between X-ray weakness and CIV EW. In contrast to some recent work, we do not observe any clear relation between the 2-10 keV luminosity and $\upsilon_{\rm peak}$. We find a correlation between the hard X-ray flux and the integrated CIV flux for X-ray normal quasars, whilst X-ray weak quasars deviate from the main trend by more than 0.5 dex. We argue that X-ray weakness might be interpreted in a starved X-ray corona picture associated with an ongoing disc-wind phase. If the wind is ejected in the vicinity of the black hole, the extreme-UV radiation that reaches the corona will be depleted, depriving the corona of seeds photons and generating an X-ray weak quasar. Yet, at the largest UV luminosities (>10$^{47}$ erg s$^{-1}$), there will still be an ample reservoir of ionising photons that can explain the excess CIV emission observed in the X-ray weak quasars with respect to normal sources of similar X-ray luminosities.


title: Quenching the Anderson impurity model at finite temperature: Entanglement and bath dynamics using matrix product states

abstract: We study the dynamics of the quenched Anderson model at finite temperature using matrix product states. Exploiting a chain mapping for the electron bath, we investigate the entanglement structure in the MPS for various orderings of the two chains, which emerge from the thermofield transformation employed to deal with nonzero temperature. We show that merging both chains can significantly lower the entanglement at finite temperatures as compared to an intuitive nearest-neighbor implementation of the Hamiltonian. Analyzing the population of the free bath modes -- possible when simulating the full dynamics of impurity plus bath -- we find clear signatures of the Kondo effect in the quench dynamics.


title: The violation of Bell-CHSH inequalities leads to different conclusions depending on the description used

abstract: Since the experimental observation of the violation of the Bell-CHSH inequalities, much has been said about the non-local and contextual character of the underlying system. But the hypothesis from which Bell's inequalities are derived differ according to the probability space used to write them. The violation of Bell's inequalities can, alternatively, be explained assuming that the hidden variables do not exist at all, or that they exist but their values cannot be simultaneously assigned, or that the values can be assigned but joint probabilities cannot be properly defined, or that averages taken in different contexts cannot be combined. All of the above are valid options, selected by different communities to provide support to their particular research program.


title: A tight angular-momentum plane for disc galaxies

abstract: The relations between the specific angular momenta ($j$) and masses ($M$) of galaxies are often used as a benchmark in analytic models and hydrodynamical simulations as they are considered to be amongst the most fundamental scaling relations. Using accurate measurements of the stellar ($j_\ast$), gas ($j_{\rm gas}$), and baryonic ($j_{\rm bar}$) specific angular momenta for a large sample of disc galaxies, we report the discovery of tight correlations between $j$, $M$, and the cold gas fraction of the interstellar medium ($f_{\rm gas}$). At fixed $f_{\rm gas}$, galaxies follow parallel power laws in 2D $(j,M)$ spaces, with gas-rich galaxies having a larger $j_\ast$ and $j_{\rm bar}$ (but a lower $j_{\rm gas}$) than gas-poor ones. The slopes of the relations have a value around 0.7. These new relations are amongst the tightest known scaling laws for galaxies. In particular, the baryonic relation ($j_{\rm bar}-M_{\rm bar}-f_{\rm gas}$), arguably the most fundamental of the three, is followed not only by typical discs but also by galaxies with extreme properties, such as size and gas content, and by galaxies previously claimed to be outliers of the standard 2D $j-M$ relations. The stellar relation ($j_{\ast}-M_{\ast}-f_{\rm gas}$) may be connected to the known $j_\ast-M_\ast-$bulge fraction relation; however, we argue that the $j_{\rm bar}-M_{\rm bar}-f_{\rm gas}$ relation can originate from the radial variation in the star formation efficiency in galaxies, although it is not explained by current disc instability models.


title: The Spin and Orientation of the Black Hole in XTE J1908$+$094

abstract: NuSTAR observed the black hole candidate XTE J1908$+$094 during its 2013 and 2019 outbursts. We use relativistic reflection to measure the spin of the black hole through 19 different assumptions of relxill flavors and parameter combinations. The most favored model in terms of Deviance Information Criterion (DIC) measures the spin of the black hole to be $a = 0.55^{+0.29}_{-0.45}$, and an inclination of $\theta=27^{+2}_{-3}$ degrees ($1\sigma$ statistical errors). We look at the effects of coronal geometry assumptions and density of the accretion disk on the spin prediction. All 19 tested models provide consistent spin estimates. We discuss the evolution of spin measurement techniques using relativistic reflection in X-ray binaries and discuss the implications of this spin measurement in reconciling the distributions of stellar mass black hole spin measurements made through X-ray and gravitational wave observations.


title: Surface Bogoliubov-Dirac cones and helical Majorana hinge modes in superconducting Dirac semimetals

abstract: In the presence of certain symmetries, three-dimensional Dirac semimetals can harbor not only surface Fermi arcs, but also surface Dirac cones. Motivated by the experimental observation of rotation-symmetry-protected Dirac semimetal states in iron-based superconductors, we investigate the potential intrinsic topological phases in a $C_{4z}$-rotational invariant superconducting Dirac semimetal with $s_{\pm}$-wave pairing. When the normal state harbors only surface Fermi arcs on the side surfaces, we find that an interesting gapped superconducting state with a quartet of Bogoliubov-Dirac cones on each side surface can be realized, even though the first-order topology of its bulk is trivial. When the normal state simultaneously harbors surface Fermi arcs and surface Dirac cones, we find that a second-order time-reversal invariant topological superconductor with helical Majorana hinge states can be realized. The criteria for these two distinct topological phases have a simple geometric interpretation in terms of three characteristic surfaces in momentum space. By reducing the bulk material to a thin film normal to the axis of rotation symmetry, we further find that a two-dimensional first-order time-reversal invariant topological superconductor can be realized if the inversion symmetry is broken by applying a gate voltage. Our work reveals that diverse topological superconducting phases and types of Majorana modes can be realized in superconducting Dirac semimetals.


title: Galactic Geology: Probing Time-Varying Dark Matter Signals with Paleo-Detectors

abstract: Paleo-detectors are a proposed experimental technique to search for dark matter by reading out the damage tracks caused by nuclear recoils in small samples of natural minerals. Unlike a conventional real-time direct detection experiment, paleo-detectors have been accumulating these tracks for up to a billion years. These long integration times offer a unique possibility: by reading out paleo-detectors of different ages, one can explore the time-variation of signals on megayear to gigayear timescales. We investigate two examples of dark matter substructure that could give rise to such time-varying signals. First, a dark disk through which the Earth would pass every $\sim$45 Myr, and second, a dark matter subhalo that the Earth encountered during the past gigayear. We demonstrate that paleo-detectors are sensitive to these examples under a wide variety of experimental scenarios, even in the presence of substantial background uncertainties. This paper shows that paleo-detectors may hold the key to unraveling our Galactic history.

categories: astro-ph.GA astro-ph.CO astro-ph.IM hep-ex hep-ph


title: The Phases of Non-supersymmetric Gauge Theories: the $SO(N_c)$ Case Study

abstract: We investigate the IR phases of non-supersymmetric (non-SUSY) $SO(N_c)$ gauge theories with $N_F$ fermions in the vector representation obtained by perturbing the SUSY theory with anomaly mediated SUSY breaking (AMSB). We find that of the wide variety of phases appearing in the SUSY theory only two survive: for $N_F<\frac{3}{2} (N_c-2)$ the theory confines, breaking the $SU(N_F)$ global symmetry to $SO(N_F)$, while for $\frac{3}{2} (N_c-2)<N_F<3(N_c-2)$ the theory flows to a (super)-conformal fixed point. The abelian Coulomb and free magnetic phases do not survive and collapse to the confining phase. We also investigate the behavior of loop operators in order to provide a clear distinction between the confining and screened phases. With the choice of $Spin(N_c)$ for the global structure of the gauge group, we find that the electric Wilson loop indeed obeys an area law, providing one of the first demonstrations of true confinement with chiral symmetry breaking in a non-SUSY theory. We identify monopole condensation as the dynamics underlying confinement. These monopoles arise naturally for $N_F=N_c-2$. The case with smaller number of flavors can be obtained by integrating out flavors, and we confirm numerically that the monopole condensate persists in the presence of AMSB and mass perturbations.


title: Supersymmetry Breaking and Stability in String Vacua: brane dynamics, bubbles and the swampland

abstract: We review some aspects of the dramatic consequences of supersymmetry breaking on string vacua. In particular, we focus on the issue of vacuum stability in ten-dimensional string models with broken, or without, supersymmetry, whose perturbative spectra are free of tachyons. After formulating the models at stake, we introduce their unified low-energy effective description and present a number of vacuum solutions to the classical equations of motion. In addition, we present a generalization of previous no-go results for de Sitter vacua in warped flux compactifications. Then we analyze the classical and quantum stability of these vacua, studying linearized field fluctuations and bubble nucleation. Then, we describe how the resulting instabilities can be framed in terms of brane dynamics, examining in particular brane interactions, back-reacted geometries and commenting on a brane-world string construction along the lines of a recent proposal. After providing a summary, we conclude with some perspectives on possible future developments.


title: A Catalog of Host Galaxies for WISE-Selected AGN: Connecting Host Properties with Nuclear Activity and Identifying Contaminants

abstract: We present a catalog of physical properties for galaxies hosting active galactic nuclei (AGN) detected by the Wide-field Infrared Survey Explorer (WISE). By fitting broadband spectral energy distributions of sources in the WISE AGN Catalog (Assef et al. 2018) with empirical galaxy and AGN templates, we derive photometric redshifts, AGN bolometric luminosities, measures of AGN obscuration, host galaxy stellar masses, and host galaxy star formation rates (SFRs) for 695,273 WISE AGN. The wide-area nature of this catalog significantly augments the known number of obscured AGN out to redshifts of z~3 and will be useful for studies focused on AGN or their host galaxy physical properties. We first show that the most likely non-AGN contaminants are galaxies at redshifts of z=0.2-0.3, with relatively blue W1-W2 colors, and with high specific SFRs for which the dust continuum emission is elevated in the W2 filter. Toward increasingly lower redshifts, WISE AGN host galaxies have systematically lower specific SFRs, relative to those of normal star forming galaxies, likely due to decreased cold gas fractions and the time delay between global star formation and AGN triggering. Finally, WISE AGN obscuration is not strongly correlated with AGN bolometric luminosity but shows a significant negative correlation with Eddington ratio. This result is consistent with a version of the `receding torus' model in which the obscuring material is located within the supermassive black hole gravitational sphere of influence and the dust inner radius increases due to radiation pressure.


title: Non-rational Narain CFTs from codes over $F_4$

abstract: We construct a map between a class of codes over $F_4$ and a family of non-rational Narain CFTs. This construction is complementary to a recently introduced relation between quantum stabilizer codes and a class of rational Narain theories. From the modular bootstrap point of view we formulate a polynomial ansatz for the partition function which reduces modular invariance to a handful of algebraic easy-to-solve constraints. For certain small values of central charge our construction yields optimal theories, i.e. those with the largest value of the spectral gap.


title: Solvable Lattice Hamiltonians with Fractional Hall Conductivity

abstract: We construct a class of lattice Hamiltonians that exhibit fractional Hall conductivity. These Hamiltonians, while not being exactly solvable, can be controllably solved in their low energy sectors, through a combination of perturbative and exact techniques. Our construction demonstrates a systematic way to circumvent the Kapustin-Fidkowski no-go theorem and is generalizable.


title: Symmetry-enforced topological nodal planes at the Fermi surface of a chiral magnet

abstract: Following over a decade of intense efforts to enable major progress in spintronics devices and quantum information technology by means of materials in which the electronic structure exhibits non-trivial topological properties, three key challenges are still unresolved. First, the identification of topological band degeneracies that are generically rather than accidentally located at the Fermi level. Second, the ability to easily control such topological degeneracies. And third, to identify generic topological degeneracies in large, multi-sheeted Fermi surfaces. Combining de Haas - van Alphen spectroscopy with density functional theory and band-topology calculations, we report here that the non-symmorphic symmetries in ferromagnetic MnSi generate nodal planes (NPs), which enforce topological protectorates (TPs) with substantial Berry curvatures at the intersection of the NPs with the Fermi surface (FS) regardless of the complexity of the FS. We predict that these TPs will be accompanied by sizeable Fermi arcs subject to the direction of the magnetization. Deriving the symmetry conditions underlying topological NPs, we show that the 1651 magnetic space groups comprise 7 grey groups and 26 black-and-white groups with topological NPs, including the space group of ferromagnetic MnSi. Thus, the identification of symmetry-enforced TPs on the FS of MnSi that may be controlled with a magnetic field suggests the existence of similar properties, amenable for technological exploitation, in a large number of materials.


title: Spin-valley Silin modes in graphene with substrate-induced spin-orbit coupling

abstract: In the presence of external magnetic field the Fermi-liquid state supports oscillatory spin modes known as Silin modes. We predict the existence of the generalized Silin modes in a multivalley system, monolayer graphene. A gauge- and Berry-gauge- invariant kinetic equation for a multivalley Fermi liquid is developed and applied to the case of graphene with extrinsic spin-orbit coupling (SOC). The interplay of SOC and Berry curvature allows for the excitation of generalized Silin modes in the spin and valley-staggered-spin channels via an AC electric field. The resonant contributions from these modes to the optical conductivity are calculated.


title: Network of topological nodal planes, multifold degeneracies, and Weyl points in CoSi

abstract: We report the identification of symmetry-enforced nodal planes (NPs) in CoSi providing the missing topological charges in an entire network of band-crossings comprising in addition multifold degeneracies and Weyl points, such that the fermion doubling theorem is satisfied. In our study we have combined measurements of Shubnikov-de Haas (SdH) oscillations in CoSi with material-specific calculations of the electronic structure and Berry curvature, as well as a general analysis of the band topology of space group (SG) 198. The observation of two nearly dispersionless SdH frequency branches provides unambiguous evidence of four Fermi surface sheets at the R point that reflect the symmetry-enforced orthogonality of the underlying wave functions at the intersections with the NPs. Hence, irrespective of the spin-orbit coupling strength, SG198 features always six- and fourfold degenerate crossings at R and $\Gamma$ that are intimately connected to the topological charges distributed across the network.


title: New Methods and Datasets for Group Anomaly Detection From Fundamental Physics

abstract: The identification of anomalous overdensities in data - group or collective anomaly detection - is a rich problem with a large number of real world applications. However, it has received relatively little attention in the broader ML community, as compared to point anomalies or other types of single instance outliers. One reason for this is the lack of powerful benchmark datasets. In this paper, we first explain how, after the Nobel-prize winning discovery of the Higgs boson, unsupervised group anomaly detection has become a new frontier of fundamental physics (where the motivation is to find new particles and forces). Then we propose a realistic synthetic benchmark dataset (LHCO2020) for the development of group anomaly detection algorithms. Finally, we compare several existing statistically-sound techniques for unsupervised group anomaly detection, and demonstrate their performance on the LHCO2020 dataset.


title: Intermediate Luminosity Type Iax SN 2019muj With Narrow Absorption Lines: Long-Lasting Radiation Associated With a Possible Bound Remnant Predicted by the Weak Deflagration Model

abstract: We present comprehensive spectroscopic and photometric analyses of the intermediate luminosity Type Iax supernova (SN Iax) 2019muj based on multi-band datasets observed through the framework of the OISTER target-of-opportunity program. SN 2019muj exhibits almost identical characteristics with the subluminous SNe Iax 2008ha and 2010ae in terms of the observed spectral features and the light curve evolution at the early phase, except for the peak luminosity. The long-term observations unveil the flattening light curves at the late time as seen in a luminous SN Iax 2014dt. This can be explained by the existence of an inner dense and optically-thick component possibly associated with a bound white dwarf remnant left behind the explosion. We demonstrate that the weak deflagration model with a wide range of the explosion parameters can reproduce the late-phase light curves of other SNe Iax. Therefore, we conclude that a common explosion mechanism operates for different subclass SNe Iax.


title: Deep Learning for Micro-expression Recognition: A Survey

abstract: Micro-expressions (MEs) are involuntary facial movements revealing people's hidden feelings in high-stake situations and have practical importance in medical treatment, national security, interrogations and many human-computer interaction systems. Early methods for MER mainly based on traditional appearance and geometry features. Recently, with the success of deep learning (DL) in various fields, neural networks have received increasing interests in MER. Different from macro-expressions, MEs are spontaneous, subtle, and rapid facial movements, leading to difficult data collection, thus have small-scale datasets. DL based MER becomes challenging due to above ME characters. To date, various DL approaches have been proposed to solve the ME issues and improve MER performance. In this survey, we provide a comprehensive review of deep micro-expression recognition (MER), including datasets, deep MER pipeline, and the bench-marking of most influential methods. This survey defines a new taxonomy for the field, encompassing all aspects of MER based on DL. For each aspect, the basic approaches and advanced developments are summarized and discussed. In addition, we conclude the remaining challenges and and potential directions for the design of robust deep MER systems. To the best of our knowledge, this is the first survey of deep MER methods, and this survey can serve as a reference point for future MER research.


title: Activation of magnetic moments in CVD-grown graphene by annealing

abstract: Effects of annealing on chemical vapor deposited graphene are investigated via a weak localization magnetoresistance measurement. Annealing at \SI{300}{\celsius} in inert gases, a common cleaning procedure for graphene devices, is found to raise the dephasing rate significantly above the rate from electron-electron interactions, which would otherwise be expected to dominate dephasing at 4 K and below. This extra dephasing is apparently induced by local magnetic moments activated by the annealing process, and depends strongly on the backgate voltage applied.


title: The role of orbital nesting in the superconductivity of Iron-based Superconductors

abstract: We analyze the magnetic excitations and the spin-mediated superconductivity in iron-based superconductors within a low-energy model that operates in the band basis but fully incorporates the orbital character of the spin excitations. We show how the orbital selectivity, encoded in our low-energy description, simplifies substantially the analysis and allows for analytical treatments, while retaining all the main features of both spin-excitations and gap functions computed using multiorbital models. Importantly, our analysis unveils the orbital matching between the hole and electron pockets as the key parameter to determine the momentum-dependence and the hierarchy of the superconducting gaps, instead of the Fermi surface matching as in the common nesting scenario.


title: MPLP: Massively Parallelized Lazy Planning

abstract: Lazy search algorithms have been developed to efficiently solve planning problems in domains where the computational effort is dominated by the cost of edge evaluation. The existing algorithms operate by intelligently balancing computational effort between searching the graph and evaluating edges. However, they are designed to run as a single process and do not leverage the multithreading capability of modern processors. In this work, we propose a massively parallelized, bounded suboptimal, lazy search algorithm (MPLP) that harnesses modern multi-core processors. In MPLP, searching of the graph and edge evaluations are performed completely asynchronously in parallel, leading to a drastic improvement in planning time. We validate the proposed algorithm in two different planning domains: 1) motion planning for 3D humanoid navigation and 2) task and motion planning for a robotic assembly task. We show that MPLP outperforms the state-of-the-art lazy search as well as parallel search algorithms. The open-source code for MPLP is available here: https://github.com/shohinm/parallel_search


title: Plot2Spectra: an Automatic Spectra Extraction Tool

abstract: Different types of spectroscopies, such as X-ray absorption near edge structure (XANES) and Raman spectroscopy, play a very important role in analyzing the characteristics of different materials. In scientific literature, XANES/Raman data are usually plotted in line graphs which is a visually appropriate way to represent the information when the end-user is a human reader. However, such graphs are not conducive to direct programmatic analysis due to the lack of automatic tools. In this paper, we develop a plot digitizer, named Plot2Spectra, to extract data points from spectroscopy graph images in an automatic fashion, which makes it possible for large scale data acquisition and analysis. Specifically, the plot digitizer is a two-stage framework. In the first axis alignment stage, we adopt an anchor-free detector to detect the plot region and then refine the detected bounding boxes with an edge-based constraint to locate the position of two axes. We also apply scene text detector to extract and interpret all tick information below the x-axis. In the second plot data extraction stage, we first employ semantic segmentation to separate pixels belonging to plot lines from the background, and from there, incorporate optical flow constraints to the plot line pixels to assign them to the appropriate line (data instance) they encode. Extensive experiments are conducted to validate the effectiveness of the proposed plot digitizer, which shows that such a tool could help accelerate the discovery and machine learning of materials properties.


title: Cognitive cascades: How to model (and potentially counter) the spread of fake news

abstract: Understanding the spread of false or dangerous beliefs through a population has never seemed so urgent. Network science researchers have often taken a page from epidemiologists, and modeled the spread of false beliefs as similar to how a disease spreads through a social network. However, absent from those disease-inspired models is an internal model of an individual's set of current beliefs, where cognitive science has increasingly documented how the interaction between mental models and incoming messages seems to be crucially important for their adoption or rejection. Some computational social science modelers analyze agent-based models where individuals do have simulated cognition, but they often lack the strengths of network science, namely in empirically-driven network structures. We introduce a cognitive cascade model that combines a network science belief cascade approach with an internal cognitive model of the individual agents as in opinion diffusion models as a public opinion diffusion (POD) model, adding media institutions as agents which begin opinion cascades. We conduct an analysis of the cognitive cascade model with our simple cognitive function across various graph topologies and institutional messaging patterns. We argue from our results that population-level aggregate outcomes of the model qualitatively match what has been reported in COVID-related public opinion polls, and that the model dynamics lend insights as to how to address the spread of problematic beliefs. The overall model sets up a framework with which social science misinformation researchers and computational opinion diffusion modelers can join forces to understand, and hopefully learn how to best counter, the spread of disinformation and "alternative facts."


title: Search-based Path Planning for a High Dimensional Manipulator in Cluttered Environments Using Optimization-based Primitives

abstract: In this work we tackle the path planning problem for a 21-dimensional snake robot-like manipulator, navigating a cluttered gas turbine for the purposes of inspection. Heuristic search based approaches are effective planning strategies for common manipulation domains. However, their performance on high dimensional systems is heavily reliant on the effectiveness of the action space and the heuristics chosen. The complex nature of our system, reachability constraints, and highly cluttered turbine environment renders naive choices of action spaces and heuristics ineffective. To this extent we have developed i) a methodology for dynamically generating actions based on online optimization that help the robot navigate narrow spaces, ii) a technique for lazily generating these computationally expensive optimization actions to effectively utilize resources, and iii) heuristics that reason about the homotopy classes induced by the blades of the turbine in the robot workspace and a Multi-Heuristic framework which guides the search along the relevant classes. The impact of our contributions is presented through an experimental study in simulation, where the 21 DOF manipulator navigates towards regions of inspection within a turbine.


title: Abstract colorings, games and ultrafilters

abstract: The main result provide a common generalization for Ramsey-type theorems concerning finite colorings of edge sets of complete graphs with vertices in infinite semigroups. We capture the essence of theorems proved in different fields: for natural numbers due to Milliken--Tylor, Deuber--Hindman, Bergelson--Hindman, for combinatorial covering properties due to Scheepers and Tsaban, and local properties in function spaces due to Scheepers. To this end, we use idempotent ultrafilters in the \v{C}ech--Stone compactifications of discrete infinite semigroups and topological games. The research is motivated by the recent breakthrough work of Tsaban about colorings and the Menger covering property.


title: Interpretation of neutral charm mesons near threshold as unparticles

abstract: The existence of the $X(3872)$ resonance extremely close to the $D^{*0} \bar{D}^0$ threshold implies that neutral charm mesons have an approximate nonrelativistic conformal symmetry. Systems consisting of these mesons with small kinetic energies produced in a short-distance reaction are unparticles in the sense that they can be created by operators with definite scaling dimensions in a nonrelativistic conformal field theory. There is a scaling region in which their energy distribution has power-law behavior with an exponent determined by the scaling dimension of the operator. The unparticle associated with two neutral charm mesons produces a peak in the recoil momentum spectrum of $K^\pm$ in inclusive decays of $B^\pm$ that has been observed. The scaling dimensions of the unparticles associated with three neutral charm mesons are calculated. They can be determined experimentally by measuring the invariant mass distributions for $XD^0$ or $X D^{*0}$ in inclusive prompt production at the Large Hadron Collider.


title: On asymptotics for $C_0$-semigroups

abstract: We stretch the spectral bound equal growth bound condition along with a generalized Lyapunov stability theorem, known to hold for $C_0$-semigroups of normal operators on complex Hilbert spaces, to $C_0$-semigroups of scalar type spectral operators on complex Banach spaces. For such semigroups, we obtain exponential estimates with the best stability constants. We also extend to a Banach space setting a celebrated characterization of uniform exponential stability for $C_0$-semigroups on complex Hilbert spaces and thereby acquire a characterization of uniform exponential stability for scalar type spectral and eventually norm-continuous $C_0$-semigroups.


title: Tuning the universality class of phase transitions by feedback: Open quantum systems beyond dissipation

abstract: We shift the paradigm of feedback control from the control of quantum states to the control of phase transitions in quantum systems. We show that feedback allows tuning the universality class of phase transitions via modifying its critical exponent. We expand our previous treatment [D. A. Ivanov, T. Yu. Ivanova, S. F. Caballero-Benitez, and I. B. Mekhov, Phys. Rev. Lett. 124, 010603 (2020)] of Dicke model and go beyond the approximation of adiabatically eliminated light field. Both linearized and nonlinear models of spin ensembles are considered. The tunability of quantum fluctuations near the critical point by the feedbacks of nontrivial shapes is explained by considering the fluctuation spectra and the system behavior at single quantum trajectories.

categories: quant-ph cond-mat.other cond-mat.quant-gas physics.atom-ph physics.optics


title: Signatures of Bardasis-Schrieffer mode excitation in Third-Harmonic generated currents

abstract: We theoretically analyze the collective modes in unconventional superconductors focusing on Bardasis-Schrieffer (BS) mode and its contribution to the third harmonic generation currents. Starting from a model with competing superconducting pairing instabilities we add fluctuations of the fields beyond saddle point approximation and calculate their response to an applied pulsed electric field. To model phase fluctuations appropriately we take into account the effect of the long-range Coulomb interaction. While the phase mode is pushed into a plasmon frequency, as known from the literature, we show that the BS mode remains unaffected. Furthermore, it has a characteristic polarization dependence and, unlike the Higgs mode, generates a current in perpendicular direction to the applied field. We find that the Bardasis-Schrieffer excitations contribute a sizable signal to the third harmonic generated current, which is clearly distinguishable from the charge density fluctuations due to Cooper pair breaking effects and can be straightforwardly detected in experiment.


title: Pairwise Comparison Evolutionary Dynamics with Strategy-Dependent Revision Rates: Stability and Delta-Passivity (Expanded Version)

abstract: We report on new stability conditions for evolutionary dynamics in the context of population games. We adhere to the prevailing framework consisting of many agents, grouped into populations, that interact noncooperatively by selecting strategies with a favorable payoff. Each agent is repeatedly allowed to revise its strategy at a rate referred to as revision rate. Previous stability results considered either that the payoff mechanism was a memoryless potential game, or allowed for dynamics (in the payoff mechanism) at the expense of precluding any explicit dependence of the agents' revision rates on their current strategies. Allowing the dependence of revision rates on strategies is relevant because the agents' strategies at any point in time are generally unequal. To allow for strategy-dependent revision rates and payoff mechanisms that are dynamic (or memoryless games that are not potential), we focus on an evolutionary dynamics class obtained from a straightforward modification of one that stems from the so-called impartial pairwise comparison strategy revision protocol. Revision protocols consistent with the modified class retain from those in the original one the advantage that the agents operate in a fully decentralized manner and with minimal information requirements - they need to access only the payoff values (not the mechanism) of the available strategies. Our main results determine conditions under which system-theoretic passivity properties are assured, which we leverage for stability analysis.


title: Simulating Eclipsing Binary Yields of the Rubin Observatory in the Galactic Field and Star Clusters

abstract: We present a study of the detection and recovery efficiency of the Rubin Observatory for detached eclipsing binaries (EBs) in the galactic field, globular clusters (GCs) and open clusters (OCs), with a focus on comparing two proposed observing strategies: a standard cadence ("baseline"), and a cadence which samples the galactic plane more evenly ("colossus"). We generate realistic input binary populations in all observing fields of the Rubin Observatory, simulate the expected observations in each filter, and attempt to characterize the EBs using these simulated observations. In our models, we predict the baseline cadence will enable the Rubin Observatory to observe about three million EBs; our technique could recover and characterize nearly one million of these in the field and thousands within star clusters. If the colossus cadence is used, the number of recovered EBs would increase by an overall factor of about 1.7 in the field and in globular clusters, and a factor of about three in open clusters. Including semi-detached and contact systems could increase the number of recovered EBs by an additional factor of about 2.5 to 3. Regardless of the cadence, observations from the Rubin Observatory could reveal statistically significant physical distinctions between the distributions of EB orbital elements between the field, GCs and OCs. Simulations such as these can be used to bias correct the sample of Rubin Observatory EBs to study the intrinsic properties of the full binary populations in the field and star clusters.


title: Classifying and extending $Q_0$-local $\mathcal{A}(1)$-modules

abstract: In the stable category of bounded below $\mathcal{A}(1)$--modules, every module is determined by an extension between a module with trivial $Q_0$-Margolis homology and a module with trivial $Q_1$-Margolis homology. We show that all bounded below $\mathcal{A}(1)$-modules of finite type whose $Q_1$-Margolis homology is trivial are stably equivalent to direct sums of suspensions of a distinguished family of $\mathcal{A}(1)$-modules. Each module in this family is comprised of copies of $\mathcal{A}(1) /\!/ \mathcal{A}(0)$ linked by the action of $Sq^1 \in \mathcal{A}(1)$. The classification theorem is then used to simplify computations of $h_0^{-1}\mathrm{Ext}_{\mathcal{A}(1)}^{\bullet, \bullet}\big(-, \mathbb{F}_2\big)$ and to provide necessary conditions for lifting $\mathcal{A}(1)$-modules to $\mathcal{A}$-modules. We discuss a Davis--Mahowald spectral sequence converging to $h_0^{-1}\mathrm{Ext}_{\mathcal{A}(1)}^{\bullet, \bullet}(M, \mathbb{F}_2)$ where $M$ is any bounded below $\mathcal{A}(1)$-module. The differentials in this spectral sequence detect obstructions to lifting the $\mathcal{A}(1)$-module, $M$, to an $\mathcal{A}$-module. We give a formula for the second differential.


title: Evidence of dark energy in different cosmological observations

abstract: The idea of a negative-pressure dark energy component in the Universe which causes an accelerated expansion in the late Universe has deep implications in models of field theory and general relativity. In this article, we survey the evidence for dark energy from cosmological observations which started from the compilation of distance-luminosity plots of Type Ia supernovae. This turned out to be consistent with the dark energy inferred from the CMB observations and large scale surveys and gave rise to the concordance $\Lambda$CDM model of cosmology. In this article, we discuss the observational evidence for dark energy from Type Ia supernovae, CMB, galaxy surveys, observations of the Sunyaev-Zeldovich effect from clusters, and lensing by clusters. We also discuss the observational discrepancy in the values of $H_0$ and $\sigma_8$ between CMB and large scale structures and discuss if varying dark energy models are able to resolve these tensions between different observations.


title: Toward Robotically Automated Femoral Vascular Access

abstract: Advanced resuscitative technologies, such as Extra Corporeal Membrane Oxygenation (ECMO) cannulation or Resuscitative Endovascular Balloon Occlusion of the Aorta (REBOA), are technically difficult even for skilled medical personnel. This paper describes the core technologies that comprise a teleoperated system capable of granting femoral vascular access, which is an important step in both of these procedures and a major roadblock in their wider use in the field. These technologies include a kinematic manipulator, various sensing modalities, and a user interface. In addition, we evaluate our system on a surgical phantom as well as in-vivo porcine experiments. These resulted in, to the best of our knowledge, the first robot-assisted arterial catheterizations; a major step towards our eventual goal of automatic catheter insertion through the Seldinger technique.


title: RAILS: A Robust Adversarial Immune-inspired Learning System

abstract: Adversarial attacks against deep neural networks (DNNs) are continuously evolving, requiring increasingly powerful defense strategies. We develop a novel adversarial defense framework inspired by the adaptive immune system: the Robust Adversarial Immune-inspired Learning System (RAILS). Initializing a population of exemplars that is balanced across classes, RAILS starts from a uniform label distribution that encourages diversity and uses an evolutionary optimization process to adaptively adjust the predictive label distribution in a manner that emulates the way the natural immune system recognizes novel pathogens. RAILS' evolutionary optimization process explicitly captures the tradeoff between robustness (diversity) and accuracy (specificity) of the network, and represents a new immune-inspired perspective on adversarial learning. The benefits of RAILS are empirically demonstrated under eight types of adversarial attacks on a DNN adversarial image classifier for several benchmark datasets, including: MNIST; SVHN; CIFAR-10; and CIFAR-10. We find that PGD is the most damaging attack strategy and that for this attack RAILS is significantly more robust than other methods, achieving improvements in adversarial robustness by $\geq 5.62\%, 12.5\%$, $10.32\%$, and $8.39\%$, on these respective datasets, without appreciable loss of classification accuracy. Codes for the results in this paper are available at https://github.com/wangren09/RAILS.


title: Toward Interlanguage Parallel Scripting for Distributed-Memory Scientific Computing

abstract: Scripting languages such as Python and R have been widely adopted as tools for the productive development of scientific software because of the power and expressiveness of the languages and available libraries. However, deploying scripted applications on large-scale parallel computer systems such as the IBM Blue Gene/Q or Cray XE6 is a challenge because of issues including operating system limitations, interoperability challenges, parallel filesystem overheads due to the small file system accesses common in scripted approaches, and other issues. We present here a new approach to these problems in which the Swift scripting system is used to integrate high-level scripts written in Python, R, and Tcl, with native code developed in C, C++, and Fortran, by linking Swift to the library interfaces to the script interpreters. In this approach, Swift handles data management, movement, and marshaling among distributed-memory processes without direct user manipulation of low-level communication libraries such as MPI. We present a technique to efficiently launch scripted applications on large-scale supercomputers using a hierarchical programming model.


title: Immuno-mimetic Deep Neural Networks (Immuno-Net)

abstract: Biomimetics has played a key role in the evolution of artificial neural networks. Thus far, in silico metaphors have been dominated by concepts from neuroscience and cognitive psychology. In this paper we introduce a different type of biomimetic model, one that borrows concepts from the immune system, for designing robust deep neural networks. This immuno-mimetic model leads to a new computational biology framework for robustification of deep neural networks against adversarial attacks. Within this Immuno-Net framework we define a robust adaptive immune-inspired learning system (Immuno-Net RAILS) that emulates, in silico, the adaptive biological mechanisms of B-cells that are used to defend a mammalian host against pathogenic attacks. When applied to image classification tasks on benchmark datasets, we demonstrate that Immuno-net RAILS results in improvement of as much as 12.5% in adversarial accuracy of a baseline method, the DkNN-robustified CNN, without appreciable loss of accuracy on clean data.


title: Paschke duality and assembly maps

abstract: We construct a natural transformation between two versions of $G$-equivariant $K$-homology with coefficients in a $G$-$C^{*}$-category for a countable discrete group $G$. Its domain is a coarse geometric $K$-homology and its target is the usual analytic $K$-homology. Following classical terminology, we call this transformation the Paschke transformation. We show that under certain finiteness assumptions on a $G$-space $X$, the Paschke transformation is an equivalence on $X$. As an application, we provide a direct comparison of the homotopy theoretic Davis-L\"uck assembly map with Kasparov's analytic assembly map appearing in the Baum-Connes conjecture.


title: Establishing $\alpha$ Oph as a Prototype Rotator: Precision Orbit with new Keck, CHARA, and RV Observations

abstract: Alpha Ophiuchi (Rasalhague) is a nearby rapidly rotating A5IV star which has been imaged by infrared interferometry. $\alpha$ Oph is also part of a known binary system, with a companion semi-major axis of $\sim$430 milli-arcseconds and high eccentricity of 0.92. The binary companion provides the unique opportunity to measure the dynamical mass to compare with the results of rapid rotator evolution models. The lack of data near periastron passage limited the precision of mass measurements in previous work. We add new interferometric data from the MIRC combiner at the CHARA Array as well as new Keck adaptive optics imaging data with NIRC2, including epochs taken near periastron passage. We also obtained new radial velocities of both components at Fairborn Observatory. Our updated combined orbit for the system drastically reduces the errors of the orbital elements, and allows for precise measurement of the primary star mass at the few percent level. Our resulting primary star mass of $2.20\pm0.06$ M$_{\odot}$ agrees well with predictions from imaging results, and matches evolution models with rotation when plotting on an HR diagram. However, to truly distinguish between non-rotating and rotating evolution models for this system we need $\sim$1\% errors on mass, which might be achieved once the distance is known to higher precision in future Gaia releases. We find that the secondary mass of $0.824\pm0.023$ M$_{\odot}$ is slightly under-luminous when compared to stellar evolution models. We show that $\alpha$ Oph is a useful reference source for programs that need $\pm$1 milli-arcsecond astrometry.


title: Logit-based Uncertainty Measure in Classification

abstract: We introduce a new, reliable, and agnostic uncertainty measure for classification tasks called logit uncertainty. It is based on logit outputs of neural networks. We in particular show that this new uncertainty measure yields a superior performance compared to existing uncertainty measures on different tasks, including out of sample detection and finding erroneous predictions. We analyze theoretical foundations of the measure and explore a relationship with high density regions. We also demonstrate how to test uncertainty using intermediate outputs in training of generative adversarial networks. We propose two potential ways to utilize logit-based uncertainty in real world applications, and show that the uncertainty measure outperforms.


title: Visions in Theoretical Computer Science: A Report on the TCS Visioning Workshop 2020

abstract: Theoretical computer science (TCS) is a subdiscipline of computer science that studies the mathematical foundations of computational and algorithmic processes and interactions. Work in this field is often recognized by its emphasis on mathematical technique and rigor. At the heart of the field are questions surrounding the nature of computation: What does it mean to compute? What is computable? And how efficiently? Every ten years or so the TCS community attends visioning workshops to discuss the challenges and recent accomplishments in the TCS field. The workshops and the outputs they produce are meant both as a reflection for the TCS community and as guiding principles for interested investment partners. Concretely, the workshop output consists of a number of nuggets, each summarizing a particular point, that are synthesized in the form of a white paper and illustrated with graphics/slides produced by a professional graphic designer. The second TCS Visioning Workshop was organized by the SIGACT Committee for the Advancement of Theoretical Computer Science and took place during the week of July 20, 2020. Despite the conference being virtual, there were over 76 participants, mostly from the United States, but also a few from Europe and Asia who were able to attend due to the online format. Workshop participants were divided into categories as reflected in the sections of this report: (1) models of computation; (2) foundations of data science; (3) cryptography; and (4) using theoretical computer science for other domains. Each group participated in a series of discussions that produced the nuggets below.


title: Transfer Learning in Information Criteria-based Feature Selection

abstract: This paper investigates the effectiveness of transfer learning based on Mallows' Cp. We propose a procedure that combines transfer learning with Mallows' Cp (TLCp) and prove that it outperforms the conventional Mallows' Cp criterion in terms of accuracy and stability. Our theoretical results indicate that, for any sample size in the target domain, the proposed TLCp estimator performs better than the Cp estimator by the mean squared error (MSE) metric in the case of orthogonal predictors, provided that i) the dissimilarity between the tasks from source domain and target domain is small, and ii) the procedure parameters (complexity penalties) are tuned according to certain explicit rules. Moreover, we show that our transfer learning framework can be extended to other feature selection criteria, such as the Bayesian information criterion. By analyzing the solution of the orthogonalized Cp, we identify an estimator that asymptotically approximates the solution of the Cp criterion in the case of non-orthogonal predictors. Similar results are obtained for the non-orthogonal TLCp. Finally, simulation studies and applications with real data demonstrate the usefulness of the TLCp scheme.


title: Deep Unfolding with Normalizing Flow Priors for Inverse Problems

abstract: Many application domains, spanning from computational photography to medical imaging, require recovery of high-fidelity images from noisy, incomplete or partial/compressed measurements. State of the art methods for solving these inverse problems combine deep learning with iterative model-based solvers, a concept known as deep algorithm unfolding. By combining a-priori knowledge of the forward measurement model with learned (proximal) mappings based on deep networks, these methods yield solutions that are both physically feasible (data-consistent) and perceptually plausible. However, current proximal mappings only implicitly learn such image priors. In this paper, we propose to make these image priors fully explicit by embedding deep generative models in the form of normalizing flows within the unfolded proximal gradient algorithm. We demonstrate that the proposed method outperforms competitive baselines on various image recovery tasks, spanning from image denoising to inpainting and deblurring.


title: Randomization-based Test for Censored Outcomes: A New Look at the Logrank Test

abstract: Two-sample tests with censored outcomes are a classical topic in statistics with wide use even in cutting edge applications. There are at least two modes of inference used to justify two-sample tests. One is usual superpopulation inference assuming that units are independent and identically distributed (i.i.d.) samples from some superpopulation; the other is finite population inference that relies on the random assignments of units into different groups. When randomization is actually implemented, the latter has the advantage of avoiding distributional assumptions on the outcomes. In this paper, we focus on finite population inference for censored outcomes, which has been less explored in the literature. Moreover, we allow the censoring time to depend on treatment assignment, under which exact permutation inference is unachievable. We find that, surprisingly, the usual logrank test can also be justified by randomization. Specifically, under a Bernoulli randomized experiment with non-informative i.i.d. censoring, the logrank test is asymptotically valid for testing Fisher's null hypothesis of no treatment effect on any unit. The asymptotic validity of the logrank test does not require any distributional assumption on the potential event times. We further extend the theory to the stratified logrank test, which is useful for randomized block designs and when censoring mechanisms vary across strata. In sum, the developed theory for the logrank test from finite population inference supplements its classical theory from usual superpopulation inference, and helps provide a broader justification for the logrank test.


title: Survey of Self-Play in Reinforcement Learning

abstract: In reinforcement learning (RL), the term self-play describes a kind of multi-agent learning (MAL) that deploys an algorithm against copies of itself to test compatibility in various stochastic environments. As is typical in MAL, the literature draws heavily from well-established concepts in classical game theory and so this survey quickly reviews some fundamental concepts. In what follows, we present a brief survey of self-play literature, its major themes, criteria, and techniques, and then conclude with an assessment of current shortfalls of the literature as well as suggestions for future directions.


title: Product isometry of generalized weighted composition operator on general weighted Hardy space

abstract: We obtain necessary and sufficient conditions for the composition and weighted composition operator and product of composition operators to be isometry and unitary on $H_{E}(\xi).$ With the help of counter example we also prove that the product of two non isometric composition operator and weighted composition operator can be isometry on $H_{E}(\xi)$. We also completely characterize the boundedness of generalized weighted composition operators on $H_{E}(\xi).$


title: A Comparative Study of Modular and Joint Approaches for Speaker-Attributed ASR on Monaural Long-Form Audio

abstract: Speaker-attributed automatic speech recognition (SA-ASR) is a task to recognize "who spoke what" from multi-talker recordings. An SA-ASR system usually consists of multiple modules such as speech separation, speaker diarization and ASR. On the other hand, considering the joint optimization, an end-to-end (E2E) SA-ASR model has recently been proposed with promising results on simulation data. In this paper, we present our recent study on the comparison of such modular and joint approaches towards SA-ASR on real monaural recordings. We develop state-of-the-art SA-ASR systems for both modular and joint approaches by leveraging large-scale training data, including 75 thousand hours of ASR training data and the VoxCeleb corpus for speaker representation learning. We also propose a new pipeline that performs the E2E SA-ASR model after speaker clustering. Our evaluation on the AMI meeting corpus reveals that after fine-tuning with a small real data, the joint system performs 8.9--29.9% better in accuracy compared to the best modular system while the modular system performs better before such fine-tuning. We also conduct various error analyses to show the remaining issues for the monaural SA-ASR.


title: KAM quasi-periodic tori for the dissipative spin-orbit problem

abstract: We provide evidence of the existence of KAM quasi-periodic attractors for a dissipative model in Celestial Mechanics. We compute the attractors extremely close to the breakdown threshold. We consider the spin-orbit problem describing the motion of a triaxial satellite around a central planet under the simplifying assumption that the center of mass of the satellite moves on a Keplerian orbit, the spin-axis is perpendicular to the orbit plane and coincides with the shortest physical axis. We also assume that the satellite is non-rigid; as a consequence, the problem is affected by a dissipative tidal torque that can be modeled as a time-dependent friction, which depends linearly upon the velocity. Our goal is to fix a frequency and compute the embedding of a smooth attractor with this frequency. This task requires to adjust a drift parameter. The goal of this paper is to provide numerical calculations of the condition numbers and verify that, when they are applied to the numerical solutions, they will lead to the existence of the torus for values of the parameters extremely close to the parameters of breakdown. Computing reliably close to the breakdown allows to discover several interesting phenomena, which we will report in [CCGdlL20a]. The numerical calculations of the condition numbers presented here are not completely rigorous, since we do not use interval arithmetic to estimate the round off error and we do not estimate rigorously the truncation error, but we implement the usual standards in numerical analysis (using extended precision, checking that the results are not affected by the level of precision, truncation, etc.). Hence, we do not claim a computer-assisted proof, but the verification is more convincing that standard numerics. We hope that our work could stimulate a computer-assisted proof.


title: Unsupervised Domain Adaptation for Small Bowel Segmentation using Disentangled Representation

abstract: We present a novel unsupervised domain adaptation method for small bowel segmentation based on feature disentanglement. To make the domain adaptation more controllable, we disentangle intensity and non-intensity features within a unique two-stream auto-encoding architecture, and selectively adapt the non-intensity features that are believed to be more transferable across domains. The segmentation prediction is performed by aggregating the disentangled features. We evaluated our method using intravenous contrast-enhanced abdominal CT scans with and without oral contrast, which are used as source and target domains, respectively. The proposed method showed clear improvements in terms of three different metrics compared to other domain adaptation methods that are without the feature disentanglement. The method brings small bowel segmentation closer to clinical application.


title: Travelling Wakefield Tube: THz Source Powered by Nonrelativistic Electron Beam

abstract: High peak power, tunable, narrowband terahertz emitters are becoming sought after given their portability, efficiency, and ability to be deployed in the field for industrial, medical, and military applications. The use of accelerator systems producing THz frequencies via Cherenkov radiation, generated by passing an electron beam through a slow-wave wakefield structure, is a promising method to meet future THz requirements. To date, efforts have been dedicated to analysis and design of sources utilizing laser seeded bunched electron beam drivers with relativistic energies beyond 5 MeV. Presented here is a wakefield THz generation scheme based on passing a long quasi-dc nonrelativistic beam (200 keV) through a dielectric loaded travelling wave structure. Reduced energy allows for compactness and portability of the accelerator as the size and weight of the dielectric slow wave structure is vanishingly small compared to the accelerator unit. The presented scheme can serve as a tunable high peak power THz source operated between 0.4-1.6 THz and produces power gain by a factor of five with an average efficiency of 6.8\%.


title: A Discrete Simulation Optimization Approach Towards Calibration of an Agent-based Simulation Model of Hepatitis C Virus Transmission

abstract: This study demonstrates the implementation of the stochastic ruler discrete simulation optimization method for calibrating an agent-based model (ABM) developed to simulate hepatitis C virus (HCV) transmission. The ABM simulates HCV transmission between agents interacting in multiple environments relevant for HCV transmission in the Indian context. Key outcomes of the ABM are HCV and injecting drug user (IDU) prevalences among the simulated cohort. Certain input parameters of the ABM need to be calibrated so that simulation outcomes attain values as close as possible to real-world HCV and IDU prevalences. We conceptualize the calibration process as a discrete simulation optimization problem by discretizing the calibration parameter ranges, defining an appropriate objective function, and then applying the stochastic ruler random search method to solve this problem. We also present a method that exploits the monotonic relationship between the simulation outcomes and calibration parameters to yield improved calibration solutions with lesser computational effort.


title: Magnetic and electronic structure of the topological semimetal YbMnSb$_2$

abstract: The antiferromagnetic (AFM) semimetal YbMnSb$_2$ has recently been identified as a candidate topological material, driven by time-reversal symmetry breaking. Depending on the ordered arrangement of Mn spins below the N\'{e}el temperature, $T_\mathrm{N}$ = 345 K, the electronic bands near the Fermi energy can ether have a Dirac node, a Weyl node or a nodal line. We have investigated the ground state magnetic structure of YbMnSb$_2$ using unpolarized and polarized single crystal neutron diffraction. We find that the Mn moments lie along the $c$ axis of the $P4/nmm$ space group and are arranged in a C-type AFM structure, which implies the existence of gapped Dirac nodes near the Fermi level. The results highlight how different magnetic structures can critically affect the topological nature of fermions in semimetals.


title: Topic Modeling in the Voynich Manuscript

abstract: This article presents the results of investigations using topic modeling of the Voynich Manuscript (Beinecke MS408). Topic modeling is a set of computational methods which are used to identify clusters of subjects within text. We use latent dirichlet allocation, latent semantic analysis, and nonnegative matrix factorization to cluster Voynich pages into `topics'. We then compare the topics derived from the computational models to clusters derived from the Voynich illustrations and from paleographic analysis. We find that computationally derived clusters match closely to a conjunction of scribe and subject matter (as per the illustrations), providing further evidence that the Voynich Manuscript contains meaningful text.


title: Poly-NL: Linear Complexity Non-local Layers with Polynomials

abstract: Spatial self-attention layers, in the form of Non-Local blocks, introduce long-range dependencies in Convolutional Neural Networks by computing pairwise similarities among all possible positions. Such pairwise functions underpin the effectiveness of non-local layers, but also determine a complexity that scales quadratically with respect to the input size both in space and time. This is a severely limiting factor that practically hinders the applicability of non-local blocks to even moderately sized inputs. Previous works focused on reducing the complexity by modifying the underlying matrix operations, however in this work we aim to retain full expressiveness of non-local layers while keeping complexity linear. We overcome the efficiency limitation of non-local blocks by framing them as special cases of 3rd order polynomial functions. This fact enables us to formulate novel fast Non-Local blocks, capable of reducing the complexity from quadratic to linear with no loss in performance, by replacing any direct computation of pairwise similarities with element-wise multiplications. The proposed method, which we dub as "Poly-NL", is competitive with state-of-the-art performance across image recognition, instance segmentation, and face detection tasks, while having considerably less computational overhead.


title: Discriminating chaotic and stochastic time series using permutation entropy and artificial neural networks

abstract: Extracting relevant properties of empirical signals generated by nonlinear, stochastic, and high-dimensional systems is a challenge of complex systems research. Open questions are how to differentiate chaotic signals from stochastic ones, and how to quantify nonlinear and/or high-order temporal correlations. Here we propose a new technique to reliably address both problems. Our approach follows two steps: first, we train an artificial neural network (ANN) with flicker (colored) noise to predict the value of the parameter, $\alpha$, that determines the strength of the correlation of the noise. To predict $\alpha$ the ANN input features are a set of probabilities that are extracted from the time series by using symbolic ordinal analysis. Then, we input to the trained ANN the probabilities extracted from the time series of interest, and analyze the ANN output. We find that the $\alpha$ value returned by the ANN is informative of the temporal correlations present in the time series. To distinguish between stochastic and chaotic signals, we exploit the fact that the difference between the permutation entropy (PE) of a given time series and the PE of flicker noise with the same $\alpha$ parameter is small when the time series is stochastic, but it is large when the time series is chaotic. We validate our technique by analysing synthetic and empirical time series whose nature is well established. We also demonstrate the robustness of our approach with respect to the length of the time series and to the level of noise. We expect that our algorithm, which is freely available, will be very useful to the community.


title: Radially symmetric scalar solitons

abstract: A class of noncanonical effective potentials is introduced allowing stable, radially symmetric, solutions to first order Bogomol'nyi equations for a real scalar field in a fixed spacetime background. This class of effective potentials generalizes those found previously by Bazeia, Menezes, and Menezes [Phys.Rev.Lett. 91 (2003) 241601] for radially symmetric defects in a flat spacetime. Use is made of the "on-shell method" introduced by Atmaja and Ramadhan [Phys.Rev.D 90 (2014) 10, 105009] of reducing the second order equation of motion to a first order one, along with a constraint equation. This method and class of potentials admits radially symmetric, stable solutions for four dimensional static, radially symmetric spacetimes. Stability against radial fluctuations is established with a modified version of Derrick's theorem, along with demonstrating that the radial stress vanishes. Several examples of scalar field configurations are given.


title: Light-induced hidden odd-frequency order in a model for A$_3$C$_{60}$

abstract: Laser driving in systems with competing or coupled electronic orders can lead to the enhancement of orders, or even to the appearance of hidden phases without an equilibrium analogue. Here we consider a model for A$_3$C$_{60}$ which exhibits a unique interplay between conventional and odd-frequency (or composite) orders. In particular, we show that photo-doping of the antiferromagnetic Mott insulating phase, as realized in Cs$_3$C$_{60}$, results in a paramagnetic gapped state with broken orbital symmetry. This hidden phase, which does not exist under equilibrium conditions, can be interpreted as an odd-frequency orbital-ordered state, and is conceptually related to the equilibrium Jahn-Teller metal in more weakly correlated compounds. Our study demonstrates the appearance of pure odd-frequency order via the nonthermal melting of magnetic order, and provides an interesting example of nonequilibrium control of electronic orders in a multi-orbital system.


title: Spin contribution to the dissociation of bound states in rotating medium in magnetic field

abstract: Magneto-rotational dissociation is the decay, by the way of tunneling, of a rotating bound state in the magnetic field. The corresponding probability was recently computed in the quasi-classical approximation using the Imaginary Time Method and was shown to increase with the angular velocity and decrease with the magnetic field strength \cite{Tuchin:2021lxl}. This letter reports the calculation of the quantum correction to the dissociation probability associated with the spin of the tunneling particle. The quasi-classical motion of spin is described by the Bargmann--Michel--Telegdi equation in the rotating frame. It is shown that the spin contribution significantly increases the dissociation probability. Applications to the Quark-Gluon Plasma are touched upon.


title: Event driven 4D STEM acquisition with a Timepix3 detector: microsecond dwell time and faster scans for high precision and low dose applications

abstract: Four dimensional scanning transmission electron microscopy (4D STEM) records the scattering of electrons in a material in great detail. The benefits offered by 4D STEM are substantial, with the wealth of data it provides facilitating for instance high precision, high electron dose efficiency phase imaging via center of mass or ptychography based analysis. However the requirement for a 2D image of the scattering to be recorded at each probe position has long placed a severe bottleneck on the speed at which 4D STEM can be performed. Recent advances in camera technology have greatly reduced this bottleneck, with the detection efficiency of direct electron detectors being especially well suited to the technique. However even the fastest frame driven pixelated detectors still significantly limit the scan speed which can be used in 4D STEM, making the resulting data susceptible to drift and hampering its use for low dose beam sensitive applications. Here we report the development of the use of an event driven Timepix3 direct electron camera that allows us to overcome this bottleneck and achieve 4D STEM dwell times down to 100~ns; orders of magnitude faster than what has been possible with frame based readout. We characterise the detector for different acceleration voltages and show that the method is especially well suited for low dose imaging and promises rich datasets without compromising dwell time when compared to conventional STEM imaging.


title: Question Answering over Knowledge Graphs with Neural Machine Translation and Entity Linking

abstract: The goal of Question Answering over Knowledge Graphs (KGQA) is to find answers for natural language questions over a knowledge graph. Recent KGQA approaches adopt a neural machine translation (NMT) approach, where the natural language question is translated into a structured query language. However, NMT suffers from the out-of-vocabulary problem, where terms in a question may not have been seen during training, impeding their translation. This issue is particularly problematic for the millions of entities that large knowledge graphs describe. We rather propose a KGQA approach that delegates the processing of entities to entity linking (EL) systems. NMT is then used to create a query template with placeholders that are filled by entities identified in an EL phase. Slot filling is used to decide which entity fills which placeholder. Experiments for QA over Wikidata show that our approach outperforms pure NMT: while there remains a strong dependence on having seen similar query templates during training, errors relating to entities are greatly reduced.


title: Telescoping Filter: A Practical Adaptive Filter

abstract: Filters are fast, small and approximate set membership data structures. They are often used to filter out expensive accesses to a remote set S for negative queries (that is, a query x not in S). Filters have one-sided errors: on a negative query, a filter may say "present" with a tunable false-positve probability of epsilon. Correctness is traded for space: filters only use log (1/\epsilon) + O(1) bits per element. The false-positive guarantees of most filters, however, hold only for a single query. In particular, if x is a false positive of a filter, a subsequent query to x is a false positive with probability 1, not epsilon. With this in mind, recent work has introduced the notion of an adaptive filter. A filter is adaptive if each query has false positive epsilon, regardless of what queries were made in the past. This requires "fixing" false positives as they occur. Adaptive filters not only provide strong false positive guarantees in adversarial environments but also improve performance on query practical workloads by eliminating repeated false positives. Existing work on adaptive filters falls into two categories. First, there are practical filters based on cuckoo filters that attempt to fix false positives heuristically, without meeting the adaptivity guarantee. Meanwhile, the broom filter is a very complex adaptive filter that meets the optimal theoretical bounds. In this paper, we bridge this gap by designing a practical, provably adaptive filter: the telescoping adaptive filter. We provide theoretical false-positive and space guarantees of our filter, along with empirical results where we compare its false positive performance against state-of-the-art filters. We also test the throughput of our filters, showing that they achieve comparable performance to similar non-adaptive filters.


title: Towards Scalable and Channel-Robust Radio Frequency Fingerprint Identification for LoRa

abstract: Radio frequency fingerprint identification (RFFI) is a promising device authentication technique based on the transmitter hardware impairments. In this paper, we propose a scalable and robust RFFI framework achieved by deep learning powered radio frequency fingerprint (RFF) extractor. Specifically, we leverage the deep metric learning to train an RFF extractor, which has excellent generalization ability and can extract RFFs from previously unseen devices. Any devices can be enrolled via the pre-trained RFF extractor and the RFF database can be maintained efficiently for allowing devices to join and leave. Wireless channel impacts the RFF extraction and is tackled by exploiting channel independent feature and data augmentation. We carried out extensive experimental evaluation involving 60 commercial off-the-shelf LoRa devices and a USRP N210 software defined radio platform. The results have successfully demonstrated that our framework can achieve excellent generalization abilities for device classification and rogue device detection as well as effective channel mitigation.


title: Principles for Evaluation of AI/ML Model Performance and Robustness

abstract: The Department of Defense (DoD) has significantly increased its investment in the design, evaluation, and deployment of Artificial Intelligence and Machine Learning (AI/ML) capabilities to address national security needs. While there are numerous AI/ML successes in the academic and commercial sectors, many of these systems have also been shown to be brittle and nonrobust. In a complex and ever-changing national security environment, it is vital that the DoD establish a sound and methodical process to evaluate the performance and robustness of AI/ML models before these new capabilities are deployed to the field. This paper reviews the AI/ML development process, highlights common best practices for AI/ML model evaluation, and makes recommendations to DoD evaluators to ensure the deployment of robust AI/ML capabilities for national security needs.


title: Parent Hamiltonians of Jastrow Wavefunctions

abstract: We find the complete family of many-body quantum Hamiltonians with ground-state of Jastrow form involving the pairwise product of a pair function in an arbitrary spatial dimension. The parent Hamiltonian generally includes a two-body pairwise potential as well as a three-body potential. We thus generalize the Calogero-Marchioro construction for the three-dimensional case to arbitrary spatial dimensions. The resulting family of models is further extended to include a one-body term representing an external potential, which gives rise to an additional long-range two-body interaction. Using this framework, we provide the generalization to an arbitrary spatial dimension of well-known systems such as the Calogero-Sutherland and Calogero-Moser models. We also introduce novel models, generalizing the McGuire many-body quantum bright soliton solution to higher dimensions and considering ground-states which involve e.g., polynomial, Gaussian, exponential, and hyperbolic pair functions. Finally, we show how the pair function can be reverse-engineered to construct models with a given potential, such as a pair-wise Yukawa potential, and to identify models governed exclusively by three-body interactions.

categories: nlin.SI cond-mat.str-el hep-th math-ph math.MP quant-ph


title: Expansion of the high field-boosted superconductivity in UTe2 under pressure

abstract: Magnetic field induced superconductivity is a fascinating quantum phenomenon, whose origin is yet to be fully understood. The recently discovered spin triplet superconductor, UTe2, exhibits two such superconducting phases, with the second one reentering in the magnetic field of 45 T and persisting up to 65 T. More surprisingly, in order to induce this superconducting phase, the magnetic field has to be applied in a special angle range, not along any high symmetry crystalline direction. Here we investigated the evolution of this high-field induced superconducting phase under pressure. Two superconducting phases merges together under pressure, and the zero resistance persists up to 45 T, the field limit of the current study. We also reveal that the high field-induced superconducting phase is completely decoupled from the first order field polarized phase transition, different from previously known example of field induced superconductivity in URhGe, indicating a superconductivity boosted by a different paring mechanism.


title: Non-Homogeneity Estimation and Universal Kriging on the Sphere

abstract: Kriging is a widely recognized method for making spatial predictions. On the sphere, popular methods such as ordinary kriging assume that the spatial process is intrinsically homogeneous. However, intrinsic homogeneity is too strict in many cases. This research uses intrinsic random function (IRF) theory to relax the homogeneity assumption. A key component of modeling IRF processes is estimating the degree of non-homogeneity. A graphical approach is proposed to accomplish this estimation. With the ability to estimate non-homogeneity, an IRF universal kriging procedure can be developed. Results from simulation studies are provided to demonstrate the advantage of using IRF universal kriging as opposed to ordinary kriging when the underlying process is not intrinsically homogeneous.


title: On the initial singularity in Kantowski-Sachs spacetime

abstract: The emergent universe scenario is a proposal for resolving the Big Bang singularity problem in the standard Friedmann-Lemaitre-Robertson-Walker cosmology. In the context of this scenario, the Universe originates from a nonsingular static state. In the present work, considering the realization of the emergent universe scenario, we address the possibility of having a nonsingular Kantowski-Sachs type static state. Considering four and five dimensional models (with and without brane), it is shown that both the existence and stability of a nonsingular state depend on the dimensions of the spacetime and the nature of the fluid supporting the geometry.


title: Blocks of profinite groups with cyclic defect group

abstract: We demonstrate that the blocks of a profinite group whose defect groups are cyclic have a Brauer tree algebra structure analogous to the case of finite groups. We show further that the Brauer tree of a block with defect group $\mathbb{Z}_{p}$ is of star type.


title: Quantum state driving: measurements versus pulses

abstract: The quantum Zeno effect is well-known for fixing a system to an eigenstate by frequent measurements. It is also known that applying frequent unitary pulses induces a Zeno subspace that can also pin the system to an eigenspace. Both approaches have been studied as means to maintain a system in a certain subspace. Extending the two concepts, we consider making the measurements/pulses dynamical so that the state can move with the motion of the measurement axis/pulse basis. We show that the system stays in the dynamical eigenbasis when the measurements/pulses are slowly changing. Explicit bounds for the apply rate that guarantees a success probability are provided. In addition, both methods are inherently resilient against non-Markovian noise. Finally, we discuss the similarities and differences between the two methods and their connection to adiabatic quantum computation.


title: Kosp2e: Korean Speech to English Translation Corpus

abstract: Most speech-to-text (S2T) translation studies use English speech as a source, which makes it difficult for non-English speakers to take advantage of the S2T technologies. For some languages, this problem was tackled through corpus construction, but the farther linguistically from English or the more under-resourced, this deficiency and underrepresentedness becomes more significant. In this paper, we introduce kosp2e (read as `kospi'), a corpus that allows Korean speech to be translated into English text in an end-to-end manner. We adopt open license speech recognition corpus, translation corpus, and spoken language corpora to make our dataset freely available to the public, and check the performance through the pipeline and training-based approaches. Using pipeline and various end-to-end schemes, we obtain the highest BLEU of 21.3 and 18.0 for each based on the English hypothesis, validating the feasibility of our data. We plan to supplement annotations for other target languages through community contributions in the future.


title: Including Atmospheric Extinction in a Performance Evaluation of a Fixed Grid of Solar Panels

abstract: We characterize the performance of a fixed grid of solar panels on the basis of data taken under clear sky conditions over 12 months. We confirm that the power output is linearly proportional to cos(theta), where theta is the angular difference of direction toward the Sun and the vector perpendicular to the panels. In order to confirm this we applied methods from astronomical photometry reduction. From late March through August we find that the median effective atmospheric extinction term is 0.145 mag/airmass. From October to mid-March the median extinction term is 0.081 mag/airmass. The proportionality "constant" scaling cos(theta) appears to be seasonally dependent, with the smallest scaling factors occurring when the extinction term is largest. Finally, we find that extinction-corrected power often underperforms the linear relationship late in the morning or early in the afternoon. This is most likely because the efficiency of solar panels depends on their operating temperature, and the panel temperature increases over the course of time on a sunny day.


title: Effects of fractional derivatives in epidemic models

abstract: We study epidemic Susceptible-Infected-Susceptible models in the fractional setting. The novelty is to consider models in which the susceptible and infected populations evolve according to different fractional orders. We study a model based on Caputo derivative, for which we establish existence results of the solutions. Also, we investigate a model based on Caputo-Fabrizio operator, for which we provide existence of solutions and a study of the equilibria. Numerical simulations for both models and a direct numerical comparison are also provided.


title: Static and dynamic magnetic properties of K3CrO4

abstract: We report on the magnetic properties of geometrically frustrated K3CrO4, in which Cr5+ cations are arranged on a distorted pyrochlore lattice. The crystal structure, static and dynamic magnetic properties of the compound are investigated in detail. A combination of DC and AC magnetic susceptibility measurements together with thermoremanent magnetization decay measurements reveal several magnetic transitions: the onset of glassy canted antiferromagnetic order occurs at 36 K, followed by the appearance of ferromagnetic/ferrimagnetic cluster glass behavior below the freezing temperature of 20 K. Further field-induced, temperature-dependent transitions are observed in the range 3-10 K. The frequency dependence of the freezing temperature for the cluster glass state is analyzed on the basis of dynamic scaling laws including the critical slowing down formula and the Vogel-Fulcher law.


title: Synchronization transitions in a hyperchaotic SQUID Trimer

abstract: The phenomena of intermittent and complete synchronization between two out of three identical, magnetically coupled SQUIDs (Superconducting QUantum Interference Devices) are investigated numerically. SQUIDs are highly nonlinear superconducting oscillators/devices that exhibit strong resonant and tunable response to applied magnetic field(s). Single SQUIDs and SQUID arrays are technologically important solid state devices, and they also serve as a testbed for exploring numerous complex dynamical phenomena. In SQUID oligomers, the dynamic complexity increases considerably with the number of SQUIDs. The SQUID trimer, considered here in a linear geometrical configuration using a realistic model with accesible control parameters, exhibits chaotic and hyperchaotic behavior in wide parameter regions. Complete chaos synchronization as well as intermittent chaos synchronization between two SQUIDs of the trimer is identified and characterized using the complete Lyapunov spectrum of the system and appropriate measures. The passage from complete to intermittent synchronization seems to be related to chaos-hyperchaos transitions as has been conjectured in the early days of chaos synchronization.