title: The Casimir densities for a sphere in the Milne universe

abstract: The influence of a spherical boundary on the vacuum fluctuations of a massive scalar field is investigated in background of $(D+1)$-dimensional Milne universe, assuming that the field obeys Robin boundary condition on the sphere. The normalized mode functions are derived for the regions inside and outside the sphere and different vacuum states are discussed. For the conformal vacuum, the Hadamard function is decomposed into boundary-free and sphere-induced contributions and an integral representation is obtained for the latter in both the interior and exterior regions. As important local characteristics of the vacuum state the vacuum expectation values (VEVs) of the field squared and of the energy-momentum tensor are investigated. It is shown that the vacuum energy-momentum tensor has an off-diagonal component that corresponds to the energy flux along the radial direction. Depending on the coefficient in Robin boundary condition the sphere-induced contribution to the vacuum energy and the energy flux can be either positive or negative. At late stages of the expansion and for a massive field the decay of the sphere-induced VEVs, as functions of time, is damping oscillatory. The geometry under consideration is conformally related to that for a static spacetime with negative constant curvature space and the sphere-induced contributions in the corresponding VEVs are compared.


title: Lattice modulation spectroscopy of one-dimensional quantum gases:Universal scaling of the absorbed energy

abstract: Lattice modulation spectroscopy is a powerful tool for probing low-energy excitations of interacting many-body systems. By means of bosonization we analyze the absorbed power in a one dimensional interacting quantum gas of bosons or fermions, subjected to a periodic drive of the optical lattice. For these Tomonaga Luttinger liquids we find a universal $\omega^3$ scaling of the absorbed power, that at very low-frequency turns into an $\omega^2$ scaling when scattering processes at the boundary of the system are taken into account. We confirm this behavior numerically by simulations based on time-dependent matrix product states. Furthermore, in the presence of impurities, the theory predicts an $\omega^2$ bulk scaling. While typical response functions of Tomonaga Luttinger liquids are characterized by exponents that depend on the interaction strength, modulation spectroscopy of cold atoms leads to a universal power-law exponent of the absorbed power. Our findings can be readily demonstrated in ultracold atoms in optical lattices with current experimental technology.


title: On some free algebras of orthogonal modular forms

abstract: For 25 orthogonal groups of signature $(2,n)$ related to the root lattices $A_1$, $2A_1$, $3A_1$, $4A_1$, $A_2$, $A_3$, $A_4$, $A_5$, $A_6$, $A_7$, $D_4$, $D_5$, $D_6$, $D_7$, $D_8$, $E_6$, $E_7$, we prove that the algebras of modular forms on symmetric domains of type IV are freely generated by the additive lifts of some special Jacobi forms. The proof is universal and elementary.


title: On the Effect of Correlation on the Capacity of Backscatter Communication Systems

abstract: We analyse the effect of correlation between the forward and backward links on the capacity of backscatter communication systems. To that aim, we obtain an analytical expression for the average capacity under a correlated Rayleigh product fading channel, as well as closed-form asymptotic expressions for the high and low signal-to-noise ratio (SNR) regimes. Our results show that correlation is indeed detrimental for a fixed target SNR; contrarily to the common belief, we also see that correlation can be actually beneficial in some instances when a fixed power budget is considered.


title: An Optimization Problem for Day-Ahead Planning of Electrical Energy Aggregators

abstract: The widespread diffusion of distributed energy resources, especially those based on renewable energy, and energy storage devices has deeply modified power systems. As a consequence, demand response, the ability of customers to respond to regulating signals, has moved from large high-voltage and medium-voltage end-users to small, low-voltage, customers. In order to be effective, the participation to demand response of such small players must be gathered by aggregators. The role and the business models of these new entities have been studied in literature from a variety of viewpoints. Demand response can be clearly applied by sending a dedicated price signal to customers, but this methodology cannot obtain a diverse, punctual, predictable, and reliable response. These characteristics can be achieved by directly controlling the loads units. This approach involves communication problems and technological readiness. This paper proposes a fully decentralized mixed integer linear programming approach for demand response. In this framework, each load unit performs an optimization, subject to technical and user-based constraints, and gives to the aggregator a desired profile along with a reserve, which is guaranteed to comply with the constraints. In this way, the aggregator can trade the reserve coming from several load units, being the only interface to the market. Upon request, then, the aggregator communicates to the load units the modifications to their desired profiles without either knowing or caring how this modification would be accomplished. The effectiveness is simulated on 200 realistic load units.


title: Brazilian Lyrics-Based Music Genre Classification Using a BLSTM Network

abstract: Organize songs, albums, and artists in groups with shared similarity could be done with the help of genre labels. In this paper, we present a novel approach for automatic classifying musical genre in Brazilian music using only the song lyrics. This kind of classification remains a challenge in the field of Natural Language Processing. We construct a dataset of 138,368 Brazilian song lyrics distributed in 14 genres. We apply SVM, Random Forest and a Bidirectional Long Short-Term Memory (BLSTM) network combined with different word embeddings techniques to address this classification task. Our experiments show that the BLSTM method outperforms the other models with an F1-score average of $0.48$. Some genres like "gospel", "funk-carioca" and "sertanejo", which obtained 0.89, 0.70 and 0.69 of F1-score, respectively, can be defined as the most distinct and easy to classify in the Brazilian musical genres context.


title: Activation energies of water molecular dynamics and Stokes-Einstein equation

abstract: An analysis of the values and signs of the activation energies of temperature dependences (TDs) of the self-diffusion coefficient (D) and dynamic viscosity ({\eta}) in the range from 0 {\deg}C to 100 {\deg}C confirmed that the molecular dynamics of water is based on the synergism of endo and exo reactions of rearrangement of hydrogen bonds in the supramolecular structure water. The ratio of linear approximation coefficients TD of the complex characteristic D{\eta} before and after 25 {\deg}C correlates with the ratio of cluster sizes prevailing in the water structure in these temperature ranges. This result is consistent with the Stokes-Einstein equation and the hypothesis that the decomposition of hexagonal ice-like clusters is completed in the vicinity of 25 {\deg}C. A reliable approximation of the TD complex D{\eta} by a bimodal function of type Texp (E/RT) was used to refine the Stokes-Einstein equation.


title: Plant Disease Detection from Images

abstract: Plant disease detection is a huge problem and often require professional help to detect the disease. This research focuses on creating a deep learning model that detects the type of disease that affected the plant from the images of the leaves of the plants. The deep learning is done with the help of Convolutional Neural Network by performing transfer learning. The model is created using transfer learning and is experimented with both resnet 34 and resnet 50 to demonstrate that discriminative learning gives better results. This method achieved state of art results for the dataset used. The main goal is to lower the professional help to detect the plant diseases and make this model accessible to as many people as possible.


title: Isogeny Classes of Abelian Varieties over Finite Fields in the LMFDB

abstract: This document is intended to summarize the theory and methods behind fq_isog collection inside the ab_var database in the LMFDB as well as some observations gleaned from these databases. This collection consists of tables of Weil q-polynomials, which by the Honda-Tate theorem are in bijection with isogeny classes of abelian varieties over finite fields.


title: Abundance analyses of Li-enriched and normal giants in the GALAH survey

abstract: Compositions of lithium-enriched and normal giants among the GALAH survey are compared. Except for Li, the only detectable abundance difference between lithium-enriched and normal giants among the investigated elements from carbon to europium occurs for carbon. Among Li-rich giants with A(Li) = 1.8 to 3.1, the C deficiency is very similar to that reported for the normal giants (with A(Li) $<$ 1.8) where the slight C deficiency arises from the first dredge-up. Carbon is slightly under abundant relative to normal giants among the super Li-rich giants where the Li abundance exceeds A(Li) = 3.2. The C abundance as well as the $^{12}$C/$^{13}$C ratios from the literature suggest that addition of Li to create a Li-rich giant may occur independently of the abundance changes wrought by the first dredge-up. Creation of a super Li-rich giant, however, appears to occur with additional CN-cycle conversion of C to N. The probability of becoming a Li-rich giant is approximately independent of a star's mass, although the majority of the Li-rich giants are found to be low mass ($M \leq$ 2 M$_\odot$). The frequency of occurrence of Li-enriched giants among normal giants is about one percent and slightly dependent on metallicity ([Fe/H]). Li-enriched and normal giants are found to have similar projected rotational velocity which suggest that Li-enrichment in giants is not linked to scenarios such as mergers and tidal interaction between binary stars.


title: Max-convolution semigroups and extreme values in limit theorems for the free multiplicative convolution

abstract: We investigate relations between additive convolution semigroup and max-convolution semigroup through the law of large numbers for the free multiplicative convolution. Based on the relation, we give a formula related with Belinschi-Nica semigroup and max-Belinschi-Nica semigroup. Finally, we give several limit theorems for classical, free and Boolean extreme values.


title: xCos: An Explainable Cosine Metric for Face Verification Task

abstract: We study the XAI (explainable AI) on the face recognition task, particularly the face verification here. Face verification is a crucial task in recent days and it has been deployed to plenty of applications, such as access control, surveillance, and automatic personal log-on for mobile devices. With the increasing amount of data, deep convolutional neural networks can achieve very high accuracy for the face verification task. Beyond exceptional performances, deep face verification models need more interpretability so that we can trust the results they generate. In this paper, we propose a novel similarity metric, called explainable cosine ($xCos$), that comes with a learnable module that can be plugged into most of the verification models to provide meaningful explanations. With the help of $xCos$, we can see which parts of the two input faces are similar, where the model pays its attention to, and how the local similarities are weighted to form the output $xCos$ score. We demonstrate the effectiveness of our proposed method on LFW and various competitive benchmarks, resulting in not only providing novel and desiring model interpretability for face verification but also ensuring the accuracy as plugging into existing face recognition models.


title: Dense Gas in a Giant Molecular Filament

abstract: Recent surveys of the Galactic plane in the dust continuum and CO emission lines reveal that large ($\gtrsim 50$~pc) and massive ($\gtrsim 10^5$~$M_\odot$) filaments, know as giant molecular filaments (GMFs), may be linked to galactic dynamics and trace the mid-plane of the gravitational potential in the Milky Way. We have imaged one entire GMF located at $l\sim$52--54$^\circ$ longitude, GMF54 ($\sim$68~pc long), in the empirical dense gas tracers using the HCN(1--0), HNC(1--0), HCO$^+$(1--0) lines, and their $^{13}$C isotopologue transitions, as well as the N$_2$H$^+$(1--0) line. We study the dense gas distribution, the column density probability density functions (N-PDFs) and the line ratios within the GMF. The dense gas molecular transitions follow the extended structure of the filament with area filling factors between 0.06 and 0.28 with respect to $^{13}$CO(1--0). We constructed the N-PDFs of H$_2$ for each of the dense gas tracers based on their column densities and assumed uniform abundance. The N-PDFs of the dense gas tracers appear curved in log-log representation, and the HCO$^+$ N-PDF has the largest log-normal width and flattest power-law slope index. Studying the N-PDFs for sub-regions of GMF54, we found an evolutionary trend in the N-PDFs that high-mass star forming and Photon-Dominate Regions (PDRs) have flatter power-law indices. The integrated intensity ratios of the molecular lines in GMF54 are comparable to those in nearby galaxies. In particular, the N$_2$H$^+$/$^{13}$CO ratio, which traces the dense gas fraction, has similar values in GMF54 and all nearby galaxies except ULIRGs.


title: hp-VPINNs: Variational Physics-Informed Neural Networks With Domain Decomposition

abstract: We formulate a general framework for hp-variational physics-informed neural networks (hp-VPINNs) based on the nonlinear approximation of shallow and deep neural networks and hp-refinement via domain decomposition and projection onto space of high-order polynomials. The trial space is the space of neural network, which is defined globally over the whole computational domain, while the test space contains the piecewise polynomials. Specifically in this study, the hp-refinement corresponds to a global approximation with local learning algorithm that can efficiently localize the network parameter optimization. We demonstrate the advantages of hp-VPINNs in accuracy and training cost for several numerical examples of function approximation and solving differential equations.


title: Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store

abstract: Modelling and reasoning about dynamic memory allocation is one of the well-established strands of theoretical computer science, which is particularly well-known as a source of notorious challenges in semantics, reasoning, and proof theory. We capitalize on recent progress on categorical semantics of full ground store, in terms of a full ground store monad, to build a corresponding semantics of a higher order logic over the corresponding programs. Our main result is a construction of an (intuitionistic) BI-hyperdoctrine, which is arguably the semantic core of higher order logic over local store. Although we have made an extensive use of the existing generic tools, certain principled changes had to be made to enable the desired construction: while the original monad works over total heaps (to disable dangling pointers), our version involves partial heaps (heaplets) to enable compositional reasoning using separating conjunction. Another remarkable feature of our construction is that, in contrast to the existing generic approaches, our BI-algebra does not directly stem from an internal categorical partial commutative monoid.


title: Domain wall nonlinear quantization

abstract: The nonlinear quantization of the domain wall (relativistic membrane of codimension 1) is considered. The membrane dust equation is considered as an analogue of the Hamilton-Jacobi equation, which allows us to construct its quantum analogue. The resulting equation has the form of a nonlinear Klein-Fock-Gordon equation. It can be interpreted as the mean field approximation for a quantum domain wall. Dispersion relations are obtained for small perturbations (in a linear approximation). The group speed of perturbations does not exceed the speed of light. For perturbations propagating along the domain wall, in addition to the massless mode (as in the classical case), a massive one appears. The result may be interesting in condensed matter theory and in membrane quantization in superstring and supergravity theories.


title: A Methodology for Automating Assurance Case Generation

abstract: Safety Case has become an integral component for safety-certification in various Cyber Physical System domains including automotive, aviation, medical devices, and military. The certification processes for these systems are stringent and require robust safety assurance arguments and substantial evidence backing. Despite the strict requirements, current practices still rely on manual methods that are brittle, do not have a systematic approach or thorough consideration of sound arguments. In addition, stringent certification requirements and ever-increasing system complexity make ad-hoc, manual assurance case generation (ACG) inefficient, time consuming, and expensive. To improve the current state of practice, we introduce a structured ACG tool which uses system design artifacts, accumulated evidence, and developer expertise to construct a safety case and evaluate it in an automated manner. We also illustrate the applicability of the ACG tool on a remote-control car testbed case study.


title: Convergence of the regularized Kohn-Sham iteration in Banach spaces

abstract: The Kohn-Sham iteration of generalized density-functional theory on Banach spaces with Moreau-Yosida regularized universal Lieb functional and an adaptive damping step is shown to converge to the correct ground-state density. This result demands state spaces for (quasi)densities and potentials that are uniformly convex with modulus of convexity of power type. The Moreau-Yosida regularization is adapted to match the geometry of the spaces and some convex analysis results are extended to this type of regularization. Possible connections between regularization and physical effects are pointed out as well. The proof of convergence presented here (Theorem 23) contains a critical mistake that has been noted and fixed for the finite-dimensional case in arXiv:1903.09579. Yet, the proposed correction is not straightforwardly generalizable to a setting of infinite-dimensional Banach spaces. This means the question of convergence in such a case is still left open. We present this draft as a collection of techniques and ideas for a possible altered, successful demonstration of convergence of the Kohn--Sham iteration in Banach spaces.


title: Neutron Electric Dipole Moments with Clover Fermions

abstract: We present preliminary results for the contributions to the neutron EDM arising from the QCD $\theta$-term, the Weinberg three-gluon and the quark chromo-EDM operators from our ongoing lattice calculations using clover valence quarks on the MILC HISQ lattices. We use the gradient-flow technique to smooth the lattices and renormalize the gluonic operators, and use the Schwinger source method to incorporate the quark chromo-EDM interactions in the quark propagator. For the QCD $\theta$-term and the Weinberg three-gluon operator, we report results in the gradient-flow scheme from 8 ensembles at four lattice spacings and three pion masses, including 2 physical pion mass ensembles. For the quark chromo-EDM, unrenormalized results are presented at two lattice spacings, $a=0.12$ and $0.09$ fm, and two pion masses, $M_\pi = 310$ MeV and $220$ MeV.


title: Nearly Gorenstein vs almost Gorenstein affine monomial curves

abstract: We extend some results on almost Gorenstein affine monomial curves to the nearly Gorenstein case. In particular, we prove that the Cohen-Macaulay type of a nearly Gorenstein monomial curve in $\mathbb{A}^4$ is at most $3$, answering a question of Stamate in this particular case. Moreover, we prove that, if $\mathcal C$ is a nearly Gorenstein affine monomial curve which is not Gorenstein and $n_1, \dots, n_{\nu}$ are the minimal generators of the associated numerical semigroup, the elements of $\{n_1, \dots, \widehat{n_i}, \dots, n_{\nu}\}$ are relatively coprime for every $i$.


title: Filtered bicolimit presentations of locally presentable linear categories, Grothendieck categories and their tensor products

abstract: We investigate two different ways of recovering a Grothendieck category as a filtered bicolimit of small categories and the compatibility of both with the tensor product of Grothendieck categories. Firstly, we show that any locally presentable linear category (and in particular any Grothendieck category) can be recovered as the filtered bicolimit of its subcategories of $\alpha$-presentable objects, with $\alpha$ varying in the family of small regular cardinals. We then prove that the tensor product of locally presentable linear categories (and in particular the tensor product of Grothendieck categories) can be recovered as a filtered bicolimit of the Kelly tensor product of $\alpha$-cocomplete linear categories of the corresponding subcategories of $\alpha$-presentable objects. Secondly, we show that one can recover any Grothendieck category as a filtered bicolimit of its linear site presentations. We then prove that the tensor product of Grothendieck categories, in contrast with the first case, cannot be recovered in general as a filtered bicolimit of the tensor product of the corresponding linear sites. Finally, as a direct application of the first presentation, we translate the functoriality, associativity and symmetry of the Kelly tensor product of $\alpha$-cocomplete linear categories to the tensor product of locally presentable linear categories.


title: Geodesic distance on optimally regularized functional connectomes uncovers individual fingerprints

abstract: Background: Functional connectomes (FCs), have been shown to provide a reproducible individual fingerprint, which has opened the possibility of personalized medicine for neuro/psychiatric disorders. Thus, developing accurate ways to compare FCs is essential to establish associations with behavior and/or cognition at the individual-level. Methods: Canonically, FCs are compared using Pearson's correlation coefficient of the entire functional connectivity profiles. Recently, it has been proposed that the use of geodesic distance is a more accurate way of comparing functional connectomes, one which reflects the underlying non-Euclidean geometry of the data. Computing geodesic distance requires FCs to be positive-definite and hence invertible matrices. As this requirement depends on the fMRI scanning length and the parcellation used, it is not always attainable and sometimes a regularization procedure is required. Results: In the present work, we show that regularization is not only an algebraic operation for making FCs invertible, but also that an optimal magnitude of regularization leads to systematically higher fingerprints. We also show evidence that optimal regularization is dataset-dependent, and varies as a function of condition, parcellation, scanning length, and the number of frames used to compute the FCs. Discussion: We demonstrate that a universally fixed regularization does not fully uncover the potential of geodesic distance on individual fingerprinting, and indeed could severely diminish it. Thus, an optimal regularization must be estimated on each dataset to uncover the most differentiable across-subject and reproducible within-subject geodesic distances between FCs. The resulting pairwise geodesic distances at the optimal regularization level constitute a very reliable quantification of differences between subjects.


title: Comment on "Low-frequency lattice phonons in halide perovskites explain high defect tolerance toward electron-hole recombination"

abstract: Halide perovskites exhibit slow rates of non-radiative electron-hole recombination upon illumination. Chu et al. [Sci. Adv. 6 7, eaaw7453 (2020)] use the results of first-principles simulations to argue that this arises from the nature of the crystal vibrations and leads to a breakdown of Shockley-Read-Hall theory. We highlight flaws in their methodology and analysis of carrier capture by point defects in crystalline semiconductors.


title: Frozone: Freezing-Free, Pedestrian-Friendly Navigation in Human Crowds

abstract: We present Frozone, a novel algorithm to deal with the Freezing Robot Problem (FRP) that arises when a robot navigates through dense scenarios and crowds. Our method senses and explicitly predicts the trajectories of pedestrians and constructs a Potential Freezing Zone (PFZ); a spatial zone where the robot could freeze or be obtrusive to humans. Our formulation computes a deviation velocity to avoid the PFZ, which also accounts for social constraints. Furthermore, Frozone is designed for robots equipped with sensors with a limited sensing range and field of view. We ensure that the robot's deviation is bounded, thus avoiding sudden angular motion which could lead to the loss of perception data of the surrounding obstacles. We have combined Frozone with a Deep Reinforcement Learning-based (DRL) collision avoidance method and use our hybrid approach to handle crowds of varying densities. Our overall approach results in smooth and collision-free navigation in dense environments. We have evaluated our method's performance in simulation and on real differential drive robots in challenging indoor scenarios. We highlight the benefits of our approach over prior methods in terms of success rates (up to 50% increase), pedestrian-friendliness (100% increase) and the rate of freezing (> 80% decrease) in challenging scenarios.


title: $\mathcal{H}_2$ performance of series-parallel networks: A compositional perspective

abstract: We examine the $\mathcal{H}_2$ norm of matrix-weighted leader-follower consensus on series-parallel networks. By using an extension of electrical network theory on matrix-valued resistances, voltages and currents, we show that the computation of the $\mathcal{H}_2$ norm can be performed efficiently by decomposing the network into atomic elements and composition rules. Lastly, we examine the problem of efficiently adapting the matrix-valued edge weights to optimize the $\mathcal{H}_2$ norm of the network.


title: A weak spectral signature of water vapour in the atmosphere of HD 179949 b at high spectral resolution in the L-band

abstract: High resolution spectroscopy (R > 20,000) is currently the only known method to constrain the orbital solution and atmospheric properties of non-transiting hot Jupiters. It does so by resolving the spectral features of the planet into a forest of spectral lines and directly observing its Doppler shift while orbiting the host star. In this study, we analyse VLT/CRIRES (R = 100,000) L-band observations of the non-transiting giant planet HD 179949 b centred around 3.5 microns. We observe a weak (3.0 sigma, or S/N = 4.8) spectral signature of H2O in absorption contained within the radial velocity of the planet at superior-conjunction, with a mild dependence on the choice of line list used for the modelling. Combining this data with previous observations in the K-band, we measure a detection significance of 8.4 sigma for an atmosphere that is most consistent with a shallow lapse-rate, solar C/O ratio, and with CO and H2O being the only major sources of opacity in this wavelength range. As the two sets of data were taken three years apart, this points to the absence of strong radial-velocity anomalies due, e.g., to variability in atmospheric circulation. We measure a projected orbital velocity for the planet of KP = (145.2 +- 2.0)kms^{-1} (1 sigma) and improve the error bars on this parameter by ~70%. However, we only marginally tighten constraints on orbital inclination (66.2 +3.7 -3.1 degrees) and planet mass (0.963 +0.036 -0.031 Jupiter masses), due to the dominant uncertainties of stellar mass and semi-major axis. Follow ups of radial-velocity planets are thus crucial to fully enable their accurate characterisation via high resolution spectroscopy.


title: Stratification of polymer-colloid mixtures via fast nonequilibrium evaporation

abstract: In drying liquid films of polymer-colloid mixtures, the stratification in which polymers are placed on top of larger colloids is studied. It is often presumed that the formation of segregated polymer-colloid layers is solely due to the proportion in size at fast evaporation as in binary colloid mixtures. By comparing experiments with a theoretical model, we found that the transition in viscosity near the drying interface was another important parameter for controlling the formation of stratified layers in polymer-colloid mixtures. At high evaporation rates, increased polymer concentrations near the surface lead to a phase transition from semidilute to concentrated regime, in which colloidal particles are kinetically arrested. Stratification only occurs if the formation of a stratified layer precedes the evolution to the concentrated regime near the drying interfaces. Otherwise, the colloids will be trapped by the polymers in the concentrated regime before forming a segregated layer. Also, no stratification is observed if the initial polymer concentration is too low to form a sufficiently high polymer concentration gradient within a short period of time. Our findings are relevant for developing solution-cast polymer composite for painting, antifouling and antireflective coatings.


title: Hamiltonian structures for integrable hierarchies of Lagrangian PDEs

abstract: Many integrable hierarchies of differential equations allow a variational description, called a Lagrangian multiform or a pluri-Lagrangian structure. The fundamental object in this theory is not a Lagrange function but a differential $d$-form that is integrated over arbitrary $d$-dimensional submanifolds. All such action integrals must be stationary for a field to be a solution to the pluri-Lagrangian problem. In this paper we present a procedure to obtain Hamiltonian structures from the pluri-Lagrangian formulation of an integrable hierarchy of PDEs. As a prelude, we review a similar procedure for integrable ODEs. We show that exterior derivative of the Lagrangian $d$-form is closely related to the Poisson brackets between the corresponding Hamilton functions. In the ODE (Lagrangian 1-form) case we discuss as examples the Toda hierarchy and the Kepler problem. As examples for the PDE (Lagrangian 2-form) case we present the potential and Schwarzian Korteweg-de Vries hierarchies, as well as the Boussinesq hierarchy.


title: Beyond the Guruswami-Sudan (and Parvaresh-Vardy) Radii: Folded Reed-Solomon, Multiplicity and Derivative Codes

abstract: The classical family of Reed-Solomon codes consist of evaluations of polynomials over the finite field $\mathbb{F}_q$ of degree less than $k$, at $n$ distinct field elements. These are arguably the most widely used and studied codes, as they have both erasure and error-correction capabilities, among many others nice properties. In this survey we study closely related codes, folded Reed-Solomon codes, which are the first constructive codes to achieve the list decoding capacity. We then study two more codes which also have this feature, \textit{multiplicity codes} and \textit{derivative codes}. Our focus for the most part are the list decoding algorithms of these codes, though we also look into the local decodability of multiplicity codes.


title: Correlated Disorder in the SYK$_{2}$ model

abstract: We study the SYK$_{2}$ model of $N$ Majorana fermions with random quadratic interactions through a detailed spectral analysis and by coupling the model to 2- and 4-point sources. In particular, we define the generalized spectral form factor and level spacing distribution function by generalizing from the partition function to the generating function. For $N=2$, we obtain an exact solution of the generalized spectral form factor. It exhibits qualitatively similar behavior to the higher $N$ case with a source term. The exact solution helps understand the behavior of the generalized spectral form factor. We calculate the generalized level spacing distribution function and the mean value of the adjacent gap ratio defined by the generating function. For the SYK$_2$ model with a 4-point source term, we find a Gaussian unitary ensemble behavior in the near-integrable region of the theory, which indicates a transition to chaos. This behavior is confirmed by the connected part of the generalized spectral form factor with an unfolded spectrum. The departure from this Gaussian random matrix behavior as the relative strength of the source term is increased is consistent with the observation that the 4-point source term alone, without the SYK$_2$ couplings turned on, exhibits an integrable spectrum from the spectral form factor and level spacing distribution function in the large $N$ limit.


title: FuDGE: A Method to Estimate a Functional Differential Graph in a High-Dimensional Setting

abstract: We consider the problem of estimating the difference between two undirected functional graphical models with shared structures. In many applications, data are naturally regarded as a vector of random functions rather than as a vector of scalars. For example, electroencephalography (EEG) data are treated more appropriately as functions of time. In such a problem, not only can the number of functions measured per sample be large, but each function is itself an infinite-dimensional object, making estimation of model parameters challenging. This is further complicated by the fact that curves are usually observed only at discrete time points. We first define a functional differential graph that captures the differences between two functional graphical models and formally characterize when the functional differential graph is well defined. We then propose a method, FuDGE, that directly estimates the functional differential graph without first estimating each individual graph. This is particularly beneficial in settings where the individual graphs are dense but the differential graph is sparse. We show that FuDGE consistently estimates the functional differential graph even in a high-dimensional setting for both fully observed and discretely observed function paths. We illustrate the finite sample properties of our method through simulation studies. We also propose a competing method, the Joint Functional Graphical Lasso, which generalizes the Joint Graphical Lasso to the functional setting. Finally, we apply our method to EEG data to uncover differences in functional brain connectivity between a group of individuals with alcohol use disorder and a control group.


title: Further comments on "Individual external dose monitoring of all citizens of Date City by passive dosimeter 5 to 51 months after the Fukushima NPP accident (series): 1." : Inconsistencies in Table 1 2014 Q3 and Figure 4f

abstract: We point out serious inconsistencies of the first paper of the series, written by Makoto Miyazaki and Ryugo Hayano, which discusses the correlation between the personal doses of the citizens of Date City measured by glass badges with the ambient dose rates measured by six airborne surveys. The last of the six airborne survey was made in the period of 2014 Q3 (from October 2014 to December 2014). The real number of participants of the period is about 14,500; however, in Table 1 2014 Q3 it is written that the number of participants is 21,080 and in Fig. 4f 21,052. We conclude that the analysis of the paper with respect to Table 1 2014 Q3 and Fig. 4f are done without using real correct data and we cannot obtain any meaningful information from the table and figure. Since the period 2014 Q3 is also included in Fig. 5 of the second paper of the series, it is quite possible that Fig. 5 of the second paper is made on the basis of, at least partially, false data and is not reliable.


title: The GRAVITY young stellar object survey. II. First spatially resolved observations of the CO bandhead emission in a high-mass YSO

abstract: The inner regions of the discs of high-mass young stellar objects (HMYSOs) are still poorly known due to the small angular scales and the high visual extinction involved. We deploy near-infrared (NIR) spectro-interferometry to probe the inner gaseous disc in HMYSOs and investigate the origin and physical characteristics of the CO bandhead emission (2.3-2.4 $\mu$m). We present the first GRAVITY/VLTI observations at high spectral (R=4000) and spatial (mas) resolution of the CO overtone transitions in NGC 2024 IRS2. The continuum emission is resolved in all baselines and is slightly asymmetric, displaying small closure phases ($\leq$8$^{\circ}$). Our best ellipsoid model provides a disc inclination of 34$^{\circ}$$\pm$1$^{\circ}$, a disc major axis position angle of 166$^{\circ}$$\pm$1$^{\circ}$, and a disc diameter of 3.99$\pm$0.09 mas (or 1.69$\pm$0.04 au, at a distance of 423 pc). The small closure phase signals in the continuum are modelled with a skewed rim, originating from a pure inclination effect. For the first time, our observations spatially and spectrally resolve the first four CO bandheads. Changes in visibility, as well as differential and closure phases across the bandheads are detected. Both the size and geometry of the CO-emitting region are determined by fitting a bidimensional Gaussian to the continuum-compensated CO bandhead visibilities. The CO-emitting region has a diameter of 2.74$\pm^{0.08}_{0.07}$ mas (1.16$\pm$0.03 au), and is located in the inner gaseous disc, well within the dusty rim, with inclination and $PA$ matching the dusty disc geometry, which indicates that both dusty and gaseous discs are coplanar. Physical and dynamical gas conditions are inferred by modelling the CO spectrum. Finally, we derive a direct measurement of the stellar mass of $M_*\sim$14.7$^{+2}_{-3.6}$ M$_{\odot}$ by combining our interferometric and spectral modelling results.


title: Fine-grain atlases of functional modes for fMRI analysis

abstract: Population imaging markedly increased the size of functional-imaging datasets, shedding new light on the neural basis of inter-individual differences. Analyzing these large data entails new scalability challenges, computational and statistical. For this reason, brain images are typically summarized in a few signals, for instance reducing voxel-level measures with brain atlases or functional modes. A good choice of the corresponding brain networks is important, as most data analyses start from these reduced signals. We contribute finely-resolved atlases of functional modes, comprising from 64 to 1024 networks. These dictionaries of functional modes (DiFuMo) are trained on millions of fMRI functional brain volumes of total size 2.4TB, spanned over 27 studies and many research groups. We demonstrate the benefits of extracting reduced signals on our fine-grain atlases for many classic functional data analysis pipelines: stimuli decoding from 12,334 brain responses, standard GLM analysis of fMRI across sessions and individuals, extraction of resting-state functional-connectomes biomarkers for 2,500 individuals, data compression and meta-analysis over more than 15,000 statistical maps. In each of these analysis scenarii, we compare the performance of our functional atlases with that of other popular references, and to a simple voxel-level analysis. Results highlight the importance of using high-dimensional "soft" functional atlases, to represent and analyse brain activity while capturing its functional gradients. Analyses on high-dimensional modes achieve similar statistical performance as at the voxel level, but with much reduced computational cost and higher interpretability. In addition to making them available, we provide meaningful names for these modes, based on their anatomical location. It will facilitate reporting of results.


title: An Artificial Neural Network Based Approach for Identification of Native Protein Structures using an Extended ForceField

abstract: Current protein forcefields like the ones seen in CHARMM or Xplor-NIH have many terms that include bonded and non-bonded terms. Yet the forcefields do not take into account the use of hydrogen bonds which are important for secondary structure creation and stabilization of proteins. SCOPE is an open-source program that generates proteins from rotamer space. It then creates a forcefield that uses only non-bonded and hydrogen bond energy terms to create a profile for a given protein. The profiles can then be used in an artificial neural network to create a linear model that is funneled to the true protein conformation.


title: Dependence of Intensities of Major Geomagnetic Storms (Dst $\le$ -100 nT) on Associated Solar Wind Parameters

abstract: A geomagnetic storm is the result of sustained interaction between solar wind with a southward magnetic field and the magnetosphere. To investigate the influence of various solar wind parameters on the intensity of major geomagnetic storm, 67 major geomagnetic storms that occurred between 1998 and 2006 were used to calculate the correlation coefficients (CCs) between the intensities of major geomagnetic storms and the time integrals of southward interplanetary magnetic field $B_s$, solar wind electric field ($E_y$) and injection function (Q) during the main phase of the associated geomagnetic storms. SYM-H$_{min}$ was used to indicate the intensity of the associated major geomagnetic storm, while I($B_z$), I($E_y$) and I(Q) were used to indicate the time integrals of $B_z$, $E_y$ and Q during the main phase of associated major geomagnetic storm respectively. The derived CC between I($B_z$) and SYM-H$_{min}$ is 0.33, while the CC between I($E_y$) and SYM-H$_{min}$ is 0.57 and the CC between I(Q) and SYM-H$_{min}$ is 0.86. The results provide statistical evidence that solar wind dynamic pressure or solar wind density plays a significant role in transferring solar wind energy into the magnetosphere, in addition to the southward magnetic field and solar wind speed. Solar wind that has a strong geoeffectiveness requires solar wind dynamic pressure $>$3 nPa or solar wind density $>3$ nPa$/V_{sw}^2$. Large and long duration $B_s$ alone cannot ensure a major geomagnetic storm, especially if the solar wind dynamic pressure is very low, as large and long duration Bs is not a full condition, only a necessary condition to trigger a major geomagnetic storm.


title: Early Response Assessment in Lung Cancer Patients using Spatio-temporal CBCT Images

abstract: We report a model to predict patient's radiological response to curative radiation therapy (RT) for non-small-cell lung cancer (NSCLC). Cone-Beam Computed Tomography images acquired weekly during the six-week course of RT were contoured with the Gross Tumor Volume (GTV) by senior radiation oncologists for 53 patients (7 images per patient). Deformable registration of the images yielded six deformation fields for each pair of consecutive images per patient. Jacobian of a field provides a measure of local expansion/contraction and is used in our model. Delineations were compared post-registration to compute unchanged ($U$), newly grown ($G$), and reduced ($R$) regions within GTV. The mean Jacobian of these regions $\mu_U$, $\mu_G$ and $\mu_R$ are statistically compared and a response assessment model is proposed. A good response is hypothesized if $\mu_R < 1.0$, $\mu_R < \mu_U$, and $\mu_G < \mu_U$. For early prediction of post-treatment response, first, three weeks' images are used. Our model predicted clinical response with a precision of $74\%$. Using reduction in CT numbers (CTN) and percentage GTV reduction as features in logistic regression, yielded an area-under-curve of 0.65 with p=0.005. Combining logistic regression model with the proposed hypothesis yielded an odds ratio of 20.0 (p=0.0).


title: Localized magnetic field structures and their boundaries in the near-Sun solar wind from Parker Solar Probe measurements

abstract: One of the discoveries made by Parker Solar Probe during first encounters with the Sun is the ubiquitous presence of relatively small-scale structures standing out as sudden deflections of the magnetic field. They were called switchbacks as some of them show up the full reversal of the radial component of the magnetic field and then return to regular conditions. Analyzing the magnetic field and plasma perturbations associated with switchbacks we identify three types of structures with slightly different characteristics: 1. Alfvenic structures, where the variations of the magnetic field components take place while the magnitude of the field remains constant; 2. Compressional, the field magnitude varies together with changes of the components; 3. Structures manifesting full reversal of the magnetic field (extremal class of Alfvenic structures). Processing of structures boundaries and plasma bulk velocity perturbations lead to the conclusion that they represent localized magnetic field tubes with enhanced parallel plasma velocity and ion beta moving together with respect to surrounding plasma. The magnetic field deflections before and after the switchbacks reveal the existence of total axial current. The electric currents are concentrated on the relatively narrow boundary layers on the surface of the tubes and determine the magnetic field perturbations inside the tube. These currents are closed on the structure surface, and typically have comparable azimuthal and the axial components. The surface of the structure may also accommodate an electromagnetic wave, that assists to particles in carrying currents. We suggest that the two types of structures we analyzed here may represent the local manifestations of the tube deformations corresponding to a saturated stage of the Firehose instability development.


title: How Powerful Are Randomly Initialized Pointcloud Set Functions?

abstract: We study random embeddings produced by untrained neural set functions, and show that they are powerful representations which well capture the input features for downstream tasks such as classification, and are often linearly separable. We obtain surprising results that show that random set functions can often obtain close to or even better accuracy than fully trained models. We investigate factors that affect the representative power of such embeddings quantitatively and qualitatively.


title: The differentiation operator in the space of uniformly convergent Dirichlet series

abstract: Continuity, compactness, the spectrum and ergodic properties of the differentiation operator are investigated, when it acts in the Fr\'echet space of all Dirichlet series that are uniformly convergent in all half-planes $\{s \in \mathbb{C} \ | \ {\rm Re} s > \varepsilon \}$ for each $\varepsilon>0$. The properties of the formal inverse of the differentiation are also investigated.


title: On the self-adjointness of H+A*+A

abstract: Let $H:D(H)\subseteq{\mathscr F}\to{\mathscr F}$ be self-adjoint and let $A:D(H)\to{\mathscr F}$ (playing the role of the annihilator operator) be $H$-bounded. Assuming some additional hypotheses on $A$ (so that the creation operator $A^{*}$ is a singular perturbation of $H$), by a twofold application of a resolvent Krein-type formula, we build self-adjoint realizations $\hat H$ of the formal Hamiltonian $H+A^{*}+A$ with $D(H)\cap D(\hat H)=\{0\}$. We give an explicit characterization of $D(\hat H)$ and provide a formula for the resolvent difference $(-\hat H+z)^{-1}-(-H+z)^{-1}$. Moreover, we consider the problem of the description of $\hat H$ as a (norm resolvent) limit of sequences of the kind $H+A^{*}_{n}+A_{n}+E_{n}$, where the $A_{n}\!$'s are regularized operators approximating $A$ and the $E_{n}$'s are suitable renormalizing bounded operators. These results show the connection between the construction of singular perturbations of self-adjoint operators by Krein's resolvent formula and nonperturbative theory of renormalizable models in Quantum Field Theory; in particular, as an explicit example, we consider the Nelson model.


title: Consistent interactions of Curtright fields

abstract: Consistent self-interactions of Curtright fields (Lorentz tensors with (2,1) Young diagram index symmetry) are constructed in dimensions 5 and 7. Most of them modify the gauge transformations of the free theory but the commutator algebra of the deformed gauge transformations remains Abelian in all cases. All of these interactions contain terms cubic in the Curtright fields with four or five derivatives, which are reminiscent of Yang-Mills, Chapline-Manton, Freedman-Townsend and Chern-Simons interactions, respectively.


title: Planar Josephson Hall effect in topological Josephson junctions

abstract: Josephson junctions based on three-dimensional topological insulators offer intriguing possibilities to realize unconventional $p$-wave pairing and Majorana modes. Here, we provide a detailed study of the effect of a uniform magnetization in the normal region: We show how the interplay between the spin-momentum locking of the topological insulator and an in-plane magnetization parallel to the direction of phase bias leads to an asymmetry of the Andreev spectrum with respect to transverse momenta. If sufficiently large, this asymmetry induces a transition from a regime of gapless, counterpropagating Majorana modes to a regime with unprotected modes that are unidirectional at small transverse momenta. Intriguingly, the magnetization-induced asymmetry of the Andreev spectrum also gives rise to a Josephson Hall effect, that is, the appearance of a transverse Josephson current. The amplitude and current phase relation of the Josephson Hall current are studied in detail. In particular, we show how magnetic control and gating of the normal region can enable sizable Josephson Hall currents compared to the longitudinal Josephson current. Finally, we also propose in-plane magnetic fields as an alternative to the magnetization in the normal region and discuss how the planar Josephson Hall effect could be observed in experiments.


title: Impact of Aliovalent Alkaline-Earth Metal Solutes on Ceria Grain Boundaries: A Density Functional Theory Study

abstract: Ceria has proven to be an excellent ion-transport and ion-exchange material when used in polycrystalline form and with a high-concentration of aliovalent doped cations. Despite its widespread application, the impact of atomic-scale defects in this material are scarcely studied and poorly understood. In this article, using first-principles simulations, we provide a fundamental understanding of the atomic-structure, thermodynamic stability and electronic properties of undoped grain-boundaries (GBs) and alkaline-earth metal (AEM) doped GBs in ceria. Using density-functional theory simulations, with a GGA+U functional, we find the $\Sigma$3 (111)/[$\bar{1}$01] GB is thermodynamically more stable than the $\Sigma$3 (121)/[$\bar{1}$01] GB due to the larger atomic coherency in the $\Sigma$3 (111)/[$\bar{1}$01] GB plane. We dope the GBs with $\sim$20% [M]$_{GB}$ (M=Be, Mg, Ca, Sr, and Ba) and find that the GB energies have a parabolic dependence on the size of solutes, the interfacial strain and the packing density of the GB. We see a stabilization of the GBs upon Ca, Sr and Ba doping whereas Be and Mg render them thermodynamically unstable. The electronic density of states reveal that no defect states are present in or above the band gap of the AEM doped ceria, which is highly conducive to maintain low electronic mobility in this ionic conductor. The electronic properties, unlike the thermodynamic stability, exhibit complex inter-dependence on the structure and chemistry of the host and the solutes. This work makes advances in the atomic-scale understanding of aliovalent cation doped ceria GBs serving as an anchor to future studies that can focus on understanding and improving ionic-transport.


title: A new proxy to estimate the cosmic-ray ionisation rate in dense cores

abstract: Cosmic rays are a global source of ionisation, and the ionisation fraction represents a fundamental parameter in the interstellar medium. Ions couple to magnetic fields, affect the chemistry, and the dynamics of star-forming regions as well as planetary atmospheres. However, the cosmic-ray ionisation rate represents one of the bottlenecks for astrochemical models, and its determination is one of the most puzzling problems in astrophysics. While for diffuse clouds reasonable values have been provided from H$_3^+$ observations, for dense clouds, due to the lack of rotational transitions, this is not possible, and estimates are strongly biased by the employed model. We present here an analytical expression, obtained from first principles, to estimate the cosmic-ray ionisation rate from observational quantities. The theoretical predictions are validated with high-resolution three-dimensional numerical simulations and applied to the well known core L1544; we obtained an estimate of $\zeta_2 \sim 2-3 \times 10^{-17}$ s$^{-1}$. Our results and the analytical formulae provided represent the first model-independent, robust tool to probe the cosmic-ray ionisation rate in the densest part of star-forming regions (on spatial scales of $R \leq 0.05$ pc). An error analysis is presented to give statistical relevance to our study.


title: BP-DIP: A Backprojection based Deep Image Prior

abstract: Deep neural networks are a very powerful tool for many computer vision tasks, including image restoration, exhibiting state-of-the-art results. However, the performance of deep learning methods tends to drop once the observation model used in training mismatches the one in test time. In addition, most deep learning methods require vast amounts of training data, which are not accessible in many applications. To mitigate these disadvantages, we propose to combine two image restoration approaches: (i) Deep Image Prior (DIP), which trains a convolutional neural network (CNN) from scratch in test time using the given degraded image. It does not require any training data and builds on the implicit prior imposed by the CNN architecture; and (ii) a backprojection (BP) fidelity term, which is an alternative to the standard least squares loss that is usually used in previous DIP works. We demonstrate the performance of the proposed method, termed BP-DIP, on the deblurring task and show its advantages over the plain DIP, with both higher PSNR values and better inference run-time.


abstract: Since the study by Jacobi and Hecke, Hecke-type series have received extensive attention. Especially, Hecke-type series involving infinite products have attracted broad interest among many mathematicians including Kac, Peterson, Andrews, Bressoud and Liu. Motivated by the works of these people, we study Hecke-type series involving infinite products. In particular, we establish some Hecke-type series involving infinite products and then obtain the truncated versions of these series as well as some other known series of the same type. As consequences, three families of inequalities for certain partition functions are also presented. Our proofs heavily rely on a formula from the work of Zhi-Guo Liu.


title: Relation between regularity of powers of edge ideals and (im, reg)-invariant extension

abstract: In this paper, we define (im, reg)-invariant extension of graphs and propose a new approach for Nevo and Peeva's conjecture which said that for any gap-free graph $G$ with $reg(I(G)) = 3$ and for any $k \geq 2$, $I(G)^k$ has a linear resolution. Moreover, we consider new conjectures related to the regularity of powers of edge ideals of gap-free graphs.


title: Bi-Directional Attention for Joint Instance and Semantic Segmentation in Point Clouds

abstract: Instance segmentation in point clouds is one of the most fine-grained ways to understand the 3D scene. Due to its close relationship to semantic segmentation, many works approach these two tasks simultaneously and leverage the benefits of multi-task learning. However, most of them only considered simple strategies such as element-wise feature fusion, which may not lead to mutual promotion. In this work, we build a Bi-Directional Attention module on backbone neural networks for 3D point cloud perception, which uses similarity matrix measured from features for one task to help aggregate non-local information for the other task, avoiding the potential feature exclusion and task conflict. From comprehensive experiments and ablation studies on the S3DIS dataset and the PartNet dataset, the superiority of our method is verified. Moreover, the mechanism of how bi-directional attention module helps joint instance and semantic segmentation is also analyzed.


title: Poissonian correlation of higher order differences

abstract: A sequence $(x_n)_{n=1}^{\infty}$ on the torus $\mathbb{T}$ exhibits Poissonian pair correlation if for all $s\geq0$, \begin{equation*} \lim_{N\to\infty} \frac{1}{N}\#\left\{1\leq m\neq n \leq N : |x_m-x_n| \leq \frac{s}{N}\right\} = 2s. \end{equation*} It is known that this condition implies equidistribution of $(x_n)$. We generalize this result to four-fold differences: if for all $s> 0$ we have \begin{equation*} \lim_{N\to\infty} \frac{1}{N^2}\#\left\{\substack{1\leq m,n,k,l\leq N\\\{m,n\}\neq\{k,l\}} : |x_m+x_n-x_k-x_l| \leq \frac{s}{N^2}\right\} = 2s \end{equation*} then $(x_n)_{n=1}^{\infty}$ is equidistributed. This notion generalizes to higher orders, and for any $k$ we show that a sequence exhibiting $2k$-fold Poissonian correlation is equidistributed. In the course of this investigation we obtain a discrepancy bound for a sequence in terms of its closeness to $2k$-fold Poissonian correlation. This result refines earlier bounds of Grepstad & Larcher and Steinerberger in the case of pair correlation, and resolves an open question of Steinerberger.


title: The "96 GeV excess" at the LHC

abstract: The CMS collaboration reported an intriguing \sim 3 sigma (local) excess at 96 GeV in the light Higgs-boson search in the diphoton decay mode. This mass coincides with a \sim 2 sigma (local) excess in the bb final state at LEP. We briefly review the proposed combined interpretations for the two excesses. In more detail we review the interpretation of this possible signal as the lightest Higgs boson in the 2 Higgs Doublet Model with an additional real Higgs singlet (N2HDM). We show which channels have the best prospects for the discovery of additional Higgs bosons at the upcoming Run 3 of the LHC.


title: Disjoining pressure oscillations causing height discretization in graphene nanobubbles

abstract: Recent experiments and computer simulations observe various geometrical formations of nanobubbles in van der Waals heterostructures. Among the well studied dome and tent geometries, there is yet least understood pancake graphene nanobubbles (GNB). This more exotic form exhibits discrete values of vertical sizes around just a few diameters of the molecules trapped inside the GNBs. We develop a model based on the membrane theory and confined fluids thermodynamics. Our approach describes the equilibrium properties of such flat GNBs. We show that discrete pancake geometry is the result of disjoining pressure induced by the trapped fluid inside GNB. The calculated total energy defines a discrete series of the metastable states with the pancake heights, which are multiple to molecular diameter. We observe that the value and the distribution of the total energy minima crucially depend on the temperature. The energy barriers between metastable states decrease as the temperature becomes larger. Also, we demonstrate that the pancake forms are favorable in the cases of sufficiently low membrane-substrate adhesion energy and the small number of trapped molecules. These properties are in agreement with the published simulations and experiments. The numerical comparison of our result with molecular dynamics results additionally shows the adequacy of the proposed model.


title: Dual Majorana universality in thermally induced nonequilibrium

abstract: We demonstrate that nonequilibrium nanoscopic systems with Majorana zero modes admit special kind of universality which cannot be classified as of strictly transport or strictly thermodynamic nature. To reveal such kind of Majorana universality we explore purely thermal nonequilibrium states of a quantum dot whose low-energy degrees of freedom are governed by Majorana zero modes. Specifically, the quantum dot is coupled to a topological superconductor, supporting Majorana zero modes, as well as to two normal metallic contacts with the same chemical potentials but different temperatures. It is shown that the Majorana universality in this setup is dual: it is stored inside both the response of the electric current, excited by exclusively the temperature difference, and the quantum dot compressibility. The latter is defined as the derivative of the quantum dot particle number with respect to the chemical potential and forms a universal Majorana ratio with a proper derivative of the electric current that flows in nonequilibrium states of purely thermal nature.


title: Gauge Equivariant Mesh CNNs: Anisotropic convolutions on geometric graphs

abstract: A common approach to define convolutions on meshes is to interpret them as a graph and apply graph convolutional networks (GCNs). Such GCNs utilize isotropic kernels and are therefore insensitive to the relative orientation of vertices and thus to the geometry of the mesh as a whole. We propose Gauge Equivariant Mesh CNNs which generalize GCNs to apply anisotropic gauge equivariant kernels. Since the resulting features carry orientation information, we introduce a geometric message passing scheme defined by parallel transporting features over mesh edges. Our experiments validate the significantly improved expressivity of the proposed model over conventional GCNs and other methods.


title: Adaptive Neural Trajectory Tracking Control for Flexible-Joint Robots with Online Learning

abstract: Collaborative robots and space manipulators contain significant joint flexibility. It complicates the control design, compromises the control bandwidth, and limits the tracking accuracy. The imprecise knowledge of the flexible joint dynamics compounds the challenge. In this paper, we present a new control architecture for controlling flexible-joint robots. Our approach uses a multi-layer neural network to approximate unknown dynamics needed for the feedforward control. The network may be viewed as a linear-in-parameter representation of the robot dynamics, with the nonlinear basis of the robot dynamics connected to the linear output layer. The output layer weights are updated based on the tracking error and the nonlinear basis. The internal weights of the nonlinear basis are updated by online backpropagation to further reduce the tracking error. To use time scale separation to reduce the coupling of the two steps - the update of the internal weights is at a lower rate compared to the update of the output layer weights. With the update of the output layer weights, our controller adapts quickly to the unknown dynamics change and disturbances (such as attaching a load). The update of the internal weights would continue to improve the converge of the nonlinear basis functions. We show the stability of the proposed scheme under the "outer loop" control, where the commanded joint position is considered as the control input. Simulation and physical experiments are conducted to demonstrate the performance of the proposed controller on a Baxter robot, which exhibits significant joint flexibility due to the series-elastic joint actuators.


title: Embedding closed totally geodesic surfaces in Bianchi orbifolds

abstract: We study embedding of closed totally geodesic hyperbolic 2-orbifolds in the Bianchi orbifolds $\mathbb{H}^3/PSL(2,\mathcal{O}_d)$. Our main result shows that there is a constant $c$ such that for $d$ large enough there are at least $cd$ closed embedded totally geodesic hyperbolic 2-orbifolds. Moreover we provide a list which conjecturally consists of those $d$ for which $\mathbb{H}^3/PSL(2,\mathcal{O}_d)$ does not contain a closed embedded totally geodesic hyperbolic 2-orbifold.


title: Template Matching Route Classification

abstract: This paper details a route classification method for American football using a template matching scheme that is quick and does not require manual labeling. Pre-defined routes from a standard receiver route tree are aligned closely with game routes in order to determine the closest match. Based on a test game with manually labeled routes, the method achieves moderate success with an overall accuracy of 72\% of the 232 routes labeled correctly.


title: d'Alembert Digitized: A Wave Pulse Method for Visualizing Electromagnetic Waves in Matter and for Deriving the Finite Difference Time Domain Method for Numerically Solving Maxwell's Equations

abstract: An alternative way of visualizing electromagnetic waves in matter and of deriving the Finite Difference Time Domain method (FDTD) for simulating Maxwell's equations for one dimensional systems is presented. The method uses d'Alembert's splitting of waves into forward and backward pulses of arbitrary shape and allows for grid spacing and material properties that vary with position. Constant velocity of waves in dispersionless dielectric materials, partial reflection and transmission at boundaries between materials with different indices of refraction, and partial reflection, transmission, and attenuation through conducting materials are derived without recourse to exponential functions, trigonometric functions, or complex numbers. Placing d'Alembert's method on a grid is shown to be equivalent to FDTD and allows for a simple and visual proof that FDTD is exact for dielectrics when the ratio of the spatial and temporal grid spacing is the wave speed, a straightforward way to incorporate reflectionless boundary conditions, and a derivation that FDTD retains second order accuracy when the grid spacing varies with position and the material parameters make sudden jumps across layer boundaries.


title: Periodic tillings of the plane by squares

abstract: The paper provides an elementary proof of Kenyon's necessary condition for the existence of a periodic tiling of the plane by squares with given periods. A similar new result on covering both sides of a rectangle by nonoverlaping squares is proved.


title: Building and Interpreting Deep Similarity Models

abstract: Many learning algorithms such as kernel machines, nearest neighbors, clustering, or anomaly detection, are based on the concept of 'distance' or 'similarity'. Before similarities are used for training an actual machine learning model, we would like to verify that they are bound to meaningful patterns in the data. In this paper, we propose to make similarities interpretable by augmenting them with an explanation in terms of input features. We develop BiLRP, a scalable and theoretically founded method to systematically decompose similarity scores on pairs of input features. Our method can be expressed as a composition of LRP explanations, which were shown in previous works to scale to highly nonlinear functions. Through an extensive set of experiments, we demonstrate that BiLRP robustly explains complex similarity models, e.g. built on VGG-16 deep neural network features. Additionally, we apply our method to an open problem in digital humanities: detailed assessment of similarity between historical documents such as astronomical tables. Here again, BiLRP provides insight and brings verifiability into a highly engineered and problem-specific similarity model.


title: The impact of flavour data on global fits of the MFV SMEFT

abstract: We investigate the information that can be gained by including flavour data in fits of the Standard Model Effective Field Theory (SMEFT) with the assumption of Minimal Flavour Violation (MFV), allowing - as initial conditions at the high scale - leading terms in spurionic Yukawas only. Starting therefore from a theory with no tree level flavour changing neutral currents at the scale of new physics, we calculate effects in flavour changing processes at one loop, and the resulting constraints on linear combinations of SMEFT coefficients, consistently parameterising the electroweak parameters and the CKM within the SMEFT. By doing a global fit including electroweak, Higgs and low energy precision measurements among others, we show that flavour observables put strong constraints on previously unconstrained operator directions. The addition of flavour data produces four independent constraints at order TeV or above on otherwise flat directions; reducing to three when complete U(3)^5 flavour symmetry is assumed. Our findings demonstrate that flavour remains a stringent test for models of new physics, even in the most flavourless scenario.


title: Precision Theory of Electroweak Interactions

abstract: As a part of the celebration of 50 years of the Standard Model of particle physics, I present a brief history of the precision theory of electroweak interactions. I emphasize in particular the theoretical preparations for the LEP program and the prediction of m_t and m_h from the electroweak precision data. [to appear in the proceedings of the SM@50 Symposium, Case Western Reserve University, June 1-4, 2018]


title: Developing and Operating Artificial Intelligence Models in Trustworthy Autonomous Systems

abstract: Companies dealing with Artificial Intelligence (AI) models in Autonomous Systems (AS) face several problems, such as users' lack of trust in adverse or unknown conditions, gaps between software engineering and AI model development, and operation in a continuously changing operational environment. This work-in-progress paper aims to close the gap between the development and operation of trustworthy AI-based AS by defining an approach that coordinates both activities. We synthesize the main challenges of AI-based AS in industrial settings. We reflect on the research efforts required to overcome these challenges and propose a novel, holistic DevOps approach to put it into practice. We elaborate on four research directions: (a) increased users' trust by monitoring operational AI-based AS and identifying self-adaptation needs in critical situations; (b) integrated agile process for the development and evolution of AI models and AS; (c) continuous deployment of different context-specific instances of AI models in a distributed setting of AS; and (d) holistic DevOps-based lifecycle for AI-based AS.


title: Searching for New Physics using Precision Standard Model Measurements

abstract: New physics interactions beyond the Standard Model can make themselves known as small corrections to Standard Model reactions. There is a diverse array of proposals for new physics, and so any parametrization of those effects must be as general and all-inclusive as possible. This can be accomplished by the use of Standard Model Effective Field Theory (SMEFT). In this article, part of the celebration of 50 years of the Standard Model of particle physics, I describe how SMEFT has been applied to search for new physics in fermion-fermion scattering and precision electroweak analysis and how it will be applied in the precision study of the Higgs boson. [to appear in the proceedings of the SM@50 Symposium, Case Western Reserve University, June 1-4, 2018]


title: Learning Predictive Representations for Deformable Objects Using Contrastive Estimation

abstract: Using visual model-based learning for deformable object manipulation is challenging due to difficulties in learning plannable visual representations along with complex dynamic models. In this work, we propose a new learning framework that jointly optimizes both the visual representation model and the dynamics model using contrastive estimation. Using simulation data collected by randomly perturbing deformable objects on a table, we learn latent dynamics models for these objects in an offline fashion. Then, using the learned models, we use simple model-based planning to solve challenging deformable object manipulation tasks such as spreading ropes and cloths. Experimentally, we show substantial improvements in performance over standard model-based learning techniques across our rope and cloth manipulation suite. Finally, we transfer our visual manipulation policies trained on data purely collected in simulation to a real PR2 robot through domain randomization.


title: Matrix Concentration for Products

abstract: This paper develops nonasymptotic growth and concentration bounds for a product of independent random matrices. These results sharpen and generalize recent work of Henriksen-Ward, and they are similar in spirit to the results of Ahlswede-Winter and of Tropp for a sum of independent random matrices. The argument relies on the uniform smoothness properties of the Schatten trace classes.


title: Un-Mix: Rethinking Image Mixtures for Unsupervised Visual Representation Learning

abstract: The recently advanced unsupervised learning approaches use the siamese-like framework to compare two "views" from the same image for learning representations. Making the two views distinctive is a core to guarantee that unsupervised methods can learn meaningful information. However, such frameworks are sometimes fragile on overfitting if the augmentations used for generating two views are not strong enough, causing the over-confident issue on the training data. This drawback hinders the model from learning subtle variance and fine-grained information. To address this, in this work we aim to involve the distance concept on label space in the unsupervised learning and let the model be aware of the soft degree of similarity between positive or negative pairs through mixing the input data space, to further work collaboratively for the input and loss spaces. Despite its conceptual simplicity, we show empirically that with the solution -- Unsupervised image mixtures (Un-Mix), we can learn subtler, more robust and generalized representations from the transformed input and corresponding new label space. Extensive experiments are conducted on CIFAR-10, CIFAR-100, STL-10, Tiny ImageNet and standard ImageNet with popular unsupervised methods SimCLR, BYOL, MoCo V1&V2, SwAV, etc. Our proposed image mixture and label assignment strategy can obtain consistent improvement by 1~3% following exactly the same hyperparameters and training procedures of the base methods. Code is publicly available at https://github.com/szq0214/Un-Mix.


title: Singularity categories via the derived quotient

abstract: Given a noncommutative partial resolution $A=\mathrm{End}_R(R\oplus M)$ of a Gorenstein singularity $R$, we show that the relative singularity category $\Delta_R(A)$ of Kalck-Yang is controlled by a certain connective dga $A/^{\mathbb{L}}\kern -2pt AeA$, the derived quotient of Braun-Chuang-Lazarev. We think of $A/^{\mathbb{L}}\kern -2pt AeA$ as a kind of `derived exceptional locus' of the partial resolution $A$, as we show that it can be thought of as the universal dga fitting into a suitable recollement. This theoretical result has geometric consequences. When $R$ is an isolated hypersurface singularity, it follows that the singularity category $D_\mathrm{sg}(R)$ is determined completely by $A/^{\mathbb{L}}\kern -2pt AeA$, even when $A$ has infinite global dimension. Thus our derived contraction algebra classifies threefold flops, even those $X \to \mathrm{Spec} (R)$ where $X$ has only terminal singularities. This gives a solution to the strongest form of the derived Donovan-Wemyss conjecture, which we further show is the best possible classification result in this singular setting.


title: The equivariant Atiyah class

abstract: Let $X$ be a complex scheme acted on by an affine algebraic group $G$. We prove that the Atiyah class of a $G$-equivariant perfect complex on $X$, as constructed by Huybrechts and Thomas, is $G$-equivariant in a precise sense. As an application, we show that, if $G$ is reductive, the obstruction theory on the fine relative moduli space $M\to B$ of simple perfect complexes on a $G$-invariant smooth projective family $Y\to B$ is $G$-equivariant. The results contained here are meant to suggest how to check the equivariance of the natural obstruction theories on a wide variety of moduli spaces equipped with a torus action, arising for instance in Donaldson--Thomas theory and Vafa--Witten theory.


title: Can Society Function Without Ethical Agents? An Informational Perspective

abstract: Many facts are learned through the intermediation of individuals with special access to information, such as law enforcement officers, officials with a security clearance, or experts with specific knowledge. This paper considers whether societies can learn about such facts when information is cheap to manipulate, produced sequentially, and these individuals are devoid of ethical motive. The answer depends on an "information attrition" condition pertaining to the amount of evidence available which distinguishes, for example, between reproducible scientific evidence and the evidence generated in a crime. Applications to institution enforcement, social cohesion, scientific progress, and historical revisionism are discussed.


title: Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems

abstract: Different scheduling algorithms for mixed criticality systems have been recently proposed. The common denominator of these algorithms is to discard low critical tasks whenever high critical tasks are in lack of computation resources. This is achieved upon a switch of the scheduling mode from Normal to Critical. We distinguish two main categories of the algorithms: system-level mode switch and task-level mode switch. System-level mode algorithms allow low criticality (LC) tasks to execute only in normal mode. Task-level mode switch algorithms enable to switch the mode of an individual high criticality task (HC), from low (LO) to high (HI), to obtain priority over all LC tasks. This paper investigates an online scheduling algorithm for mixed-criticality systems that supports dynamic mode switches for both task level and system level. When a HC task job overruns its LC budget, then only that particular job is switched to HI mode. If the job cannot be accommodated, then the system switches to Critical mode. To accommodate for resource availability of the HC jobs, the LC tasks are degraded by stretching their periods until the Critical mode exhibiting job complete its execution. The stretching will be carried out until the resource availability is met. We have mechanized and implemented the proposed algorithm using Uppaal. To study the efficiency of our scheduling algorithm, we examine a case study and compare our results to the state of the art algorithms.


title: A Precisely Xtreme-Multi Channel Hybrid Approach For Roman Urdu Sentiment Analysis

abstract: In order to accelerate the performance of various Natural Language Processing tasks for Roman Urdu, this paper for the very first time provides 3 neural word embeddings prepared using most widely used approaches namely Word2vec, FastText, and Glove. The integrity of generated neural word embeddings is evaluated using intrinsic and extrinsic evaluation approaches. Considering the lack of publicly available benchmark datasets, it provides a first-ever Roman Urdu dataset which consists of 3241 sentiments annotated against positive, negative and neutral classes. To provide benchmark baseline performance over the presented dataset, we adapt diverse machine learning (Support Vector Machine Logistic Regression, Naive Bayes), deep learning (convolutional neural network, recurrent neural network), and hybrid approaches. Effectiveness of generated neural word embeddings is evaluated by comparing the performance of machine and deep learning based methodologies using 7, and 5 distinct feature representation approaches respectively. Finally, it proposes a novel precisely extreme multi-channel hybrid methodology which outperforms state-of-the-art adapted machine and deep learning approaches by the figure of 9%, and 4% in terms of F1-score. Roman Urdu Sentiment Analysis, Pretrain word embeddings for Roman Urdu, Word2Vec, Glove, Fast-Text


title: Demand-based Scheduling of Mixed-Criticality Sporadic Tasks on One Processor

abstract: Strategies that artificially tighten high-criticality task deadlines in low-criticality behaviors have been successfully employed for scheduling mixed-criticality systems. Although efficient scheduling algorithms have been developed for implicit deadline task systems, the same is not true for more general sporadic tasks. In this paper we develop a new demand-based schedulability test for such general mixed-criticality task systems, in which we collectively bound the low- and high-criticality demand of tasks. We show that the new test strictly dominates the only other known demand-based test for such systems. We also propose a new deadline tightening strategy based on this test, and show through simulations that the strategy significantly outperforms all known scheduling algorithms for a variety of sporadic task systems.


title: Utilization Difference Based Partitioned Scheduling of Mixed-Criticality Systems

abstract: Mixed-Criticality (MC) systems consolidate multiple functionalities with different criticalities onto a single hardware platform. Such systems improve the overall resource utilization while guaranteeing resources to critical tasks. In this paper, we focus on the problem of partitioned multiprocessor MC scheduling, in particular the problem of designing efficient partitioning strategies. We develop two new partitioning strategies based on the principle of evenly distributing the difference between total high-critical utilization and total low-critical utilization for the critical tasks among all processors. By balancing this difference, we are able to reduce the pessimism in uniprocessor MC schedulability tests that are applied on each processor, thus improving overall schedulability. To evaluate the schedulability performance of the proposed strategies, we compare them against existing partitioned algorithms using extensive experiments. We show that the proposed strategies are effective with both dynamic-priority Earliest Deadline First with Virtual Deadlines (EDF-VD) and fixed-priority Adaptive Mixed-Criticality (AMC) algorithms. Specifically, our results show that the proposed strategies improve schedulability by as much as 28.1% and 36.2% for implicit and constrained-deadline task systems respectively.


title: Propagation acceleration in reaction diffusion equations with anomalous diffusions

abstract: In this paper, we are interested in the properties of solution of the nonlocal equation $$\begin{cases}u_t+(-\Delta)^su=f(u),\quad t>0, \ x\in\mathbb{R}\\ u(0,x)=u_0(x),\quad x\in\mathbb{R}\end{cases}$$ where $0\le u_0<1$ is a Heaviside type function, $\Delta^s$ stands for the fractional Laplacian with $s\in (0,1)$, and $f\in C([0,1],\mathbb{R}^+)$ is a non negative nonlinearity such that $f(0)=f(1)=0$ and $f'(1)<0$. In this context, it is known that the solution $u(t,s)$ converges locally uniformly to 1 and our aim here is to understand how fast this invasion process occur. When $f$ is a Fisher-KPP type nonlinearity and $s \in (0,1)$, it is known that the level set of the solution $u(t,x)$ moves at an exponential speed whereas when $f$ is of ignition type and $s\in \left(\frac{1}{2},1\right)$ then the level set of the solution moves at a constant speed. In this article, for general monostable nonlinearities $f$ and any $s\in (0,1)$ we derive generic estimates on the position of the level sets of the solution $u(t,x)$ which then enable us to describe more precisely the behaviour of this invasion process. In particular, we obtain a algebraic generic upper bound on the "speed" of level set highlighting the delicate interplay of $s$ and $f$ in the existence of an exponential acceleration process. When $s\in\left (0,\frac{1}{2}\right]$ and $f$ is of ignition type, we also complete the known description of the behaviour of $u$ and give a precise asymptotic of the speed of the level set in this context. Notably, we prove that the level sets accelerate when $s\in\left(0,\frac{1}{2}\right)$ and that in the critical case $s=\frac{1}{2}$ although no travelling front can exist, the level sets still move asymptotically at a constant speed. These new results are in sharp contrast with the bistable situation where no such acceleration may occur, highlighting therefore the qualitative difference between the two type of nonlinearities.


title: Prediction and analysis of Coronavirus Disease 2019

abstract: In December 2019, a novel coronavirus was found in a seafood wholesale market in Wuhan, China. WHO officially named this coronavirus as COVID-19. Since the first patient was hospitalized on December 12, 2019, China has reported a total of 78,824 confirmed CONID-19 cases and 2,788 deaths as of February 28, 2020. Wuhan's cumulative confirmed cases and deaths accounted for 61.1% and 76.5% of the whole China mainland , making it the priority center for epidemic prevention and control. Meanwhile, 51 countries and regions outside China have reported 4,879 confirmed cases and 79 deaths as of February 28, 2020. COVID-19 epidemic does great harm to people's daily life and country's economic development. This paper adopts three kinds of mathematical models, i.e., Logistic model, Bertalanffy model and Gompertz model. The epidemic trends of SARS were first fitted and analyzed in order to prove the validity of the existing mathematical models. The results were then used to fit and analyze the situation of COVID-19. The prediction results of three different mathematical models are different for different parameters and in different regions. In general, the fitting effect of Logistic model may be the best among the three models studied in this paper, while the fitting effect of Gompertz model may be better than Bertalanffy model. According to the current trend, based on the three models, the total number of people expected to be infected is 49852-57447 in Wuhan,12972-13405 in non-Hubei areas and 80261-85140 in China respectively. The total death toll is 2502-5108 in Wuhan, 107-125 in Non-Hubei areas and 3150-6286 in China respetively. COVID-19 will be over p robably in late-April, 2020 in Wuhan and before late-March, 2020 in other areas respectively.


title: Geometric secret sharing in a model of Hawking radiation

abstract: We consider a black hole in three dimensional AdS space entangled with an auxiliary radiation system. We model the microstates of the black hole in terms of a field theory living on an end of the world brane behind the horizon, and allow this field theory to itself have a holographic dual geometry. This geometry is also a black hole since entanglement of the microstates with the radiation leaves them in a mixed state. This "inception black hole" can be purified by entanglement through a wormhole with an auxiliary system which is naturally identified with the external radiation, giving a realization of the ER=EPR scenario. In this context, we propose an extension of the Ryu-Takayanagi (RT) formula, in which extremal surfaces computing entanglement entropy are allowed to pass through the brane into its dual geometry. This new rule reproduces the Page curve for evaporating black holes, consistently with the recently proposed "island formula". We then separate the radiation system into pieces. Our extended RT rule shows that the entanglement wedge of the union of radiation subsystems covers the black hole interior at late times, but the union of entanglement wedges of the subsystems may not. This result points to a secret sharing scheme in Hawking radiation wherein reconstruction of certain regions in the interior is impossible with any subsystem of the radiation, but possible with all of it.


title: Tidal deformations of neutron stars with elastic crusts

abstract: With the first detections of binary neutron star mergers by gravitational-wave detectors, it proves timely to consider how the internal structure of neutron stars affects the way in which they can be asymmetrically deformed. Such deformations may leave measurable imprints on gravitational-wave signals and can be sourced through tidal interactions or the formation of mountains. We detail the formalism that describes fully-relativistic neutron star models with elastic crusts undergoing static perturbations. This formalism primes the problem for studies into a variety of mechanisms that can deform a neutron star. We present results for a barotropic equation of state and a realistic model for the elastic crust, which enables us to compute relevant quantities such as the tidal deformability parameter. We find that the inclusion of an elastic crust provides a very small correction to the tidal deformability. The results allow us to demonstrate when and where the crust starts to fail during a binary inspiral and we find that the majority of the crust will remain intact up until merger.


title: The Search for Electroweakinos

abstract: In this review, we consider a general theoretical framework for fermionic color-singlet states, including a singlet, a doublet and a triplet under the standard model SU(2)$_{\rm L}$ gauge symmetry, corresponding to the Bino, Higgsino and Wino in Supersymmetric theories, generically dubbed as "electroweakinos" for their mass eigenstates. Depending on the relations among their three mass parameters and the mixings after the electroweak symmetry breaking, this sector leads to rich phenomenology potentially accessible at the current and near-future experiments. We discuss the decay patterns of the electroweakinos and their observable signatures at colliders. We review the existing bounds on the model parameters. We summarize the current status for the comprehensive searches from the ATLAS and CMS experiments at the LHC. We comment on the prospects for future colliders. An important feature of the theory is that the lightest neutral electroweakino can be identified as a WIMP cold dark matter candidate. We take into account the existing bounds on the parameters from the dark matter direct detection experiments and discuss the complementarity for the electroweakino searches at colliders.


title: The ghost in the radiation: Robust encodings of the black hole interior

abstract: We reconsider the black hole firewall puzzle, emphasizing that quantum error-correction, computational complexity, and pseudorandomness are crucial concepts for understanding the black hole interior. We assume that the Hawking radiation emitted by an old black hole is pseudorandom, meaning that it cannot be distinguished from a perfectly thermal state by any efficient quantum computation acting on the radiation alone. We then infer the existence of a subspace of the radiation system which we interpret as an encoding of the black hole interior. This encoded interior is entangled with the late outgoing Hawking quanta emitted by the old black hole, and is inaccessible to computationally bounded observers who are outside the black hole. Specifically, efficient operations acting on the radiation, those with quantum computational complexity polynomial in the entropy of the remaining black hole, commute with a complete set of logical operators acting on the encoded interior, up to corrections which are exponentially small in the entropy. Thus, under our pseudorandomness assumption, the black hole interior is well protected from exterior observers as long as the remaining black hole is macroscopic. On the other hand, if the radiation is not pseudorandom, an exterior observer may be able to create a firewall by applying a polynomial-time quantum computation to the radiation.


title: Global 21-cm signal extraction from foreground and instrumental effects III: Utilizing drift-scan time dependence and full Stokes measurements

abstract: When using valid foreground and signal models, the uncertainties on extracted signals in global 21-cm signal experiments depend principally on the overlap between signal and foreground models. In this paper, we investigate two strategies for decreasing this overlap: (i) utilizing time dependence by fitting multiple drift-scan spectra simultaneously and (ii) measuring all four Stokes parameters instead of only the total power, Stokes I. Although measuring polarization requires different instruments than are used in most existing experiments, all existing experiments can utilize drift-scan measurements merely by averaging their data differently. In order to evaluate the increase in constraining power from using these two techniques, we define a method for connecting Root-Mean-Square (RMS) uncertainties to probabilistic confidence levels. Employing simulations, we find that fitting only one total power spectrum leads to RMS uncertainties at the few K level, while fitting multiple time-binned, drift-scan spectra yields uncertainties at the $\lesssim 10$ mK level. This significant improvement only appears if the spectra are modeled with one set of basis vectors, instead of using multiple sets of basis vectors that independently model each spectrum. Assuming that they are simulated accurately, measuring all four Stokes parameters also leads to lower uncertainties. These two strategies can be employed simultaneously and fitting multiple time bins of all four Stokes parameters yields the best precision measurements of the 21-cm signal, approaching the noise level in the data.


title: Topology and edge states survive quantum criticality between topological insulators

abstract: It is often thought that emergent phenomena in topological phases of matter are destroyed when tuning to a critical point. In particular, topologically protected edge states supposedly delocalize when the bulk correlation length diverges. We show that this is not true in general. Edge states of topological insulators or superconductors remain exponentially localized---despite a vanishing band gap---if the transition increases the topological index. This applies to all classes where the topological classification is larger than $Z_2$, notably including Chern insulators. Moreover, these edge states are stable to disorder, unlike in topological semi-metals. This new phenomenon is explained by generalizing band (or mass) inversion---a unifying perspective on topological insulators---to kinetic inversion. In the spirit of the bulk-boundary correspondence, we also identify topological invariants at criticality, which take half-integer values and separate topologically-distinct universality classes by a multi-critical point. This work enlarges the scope of topological protection and stability by showing that bulk energy gaps can be unnecessary. Experimental probes and stability to interactions are discussed.

categories: cond-mat.str-el cond-mat.mes-hall hep-th quant-ph


title: To go or not to go with the flow: Hawking radiation at strong coupling

abstract: We construct the gravitational dual of a one-parameter class of states of strongly coupled $SU(N)$ $\mathcal{N}=4$ SYM at infinite $N$ and asymptotic temperature $T_{\infty}$, on a fixed Schwarzschild black hole background with temperature $T_{\mathrm{BH}}$. The resulting bulk geometry is of the flowing type and allow us to measure Hawking radiation at strong coupling. The outgoing Hawking flux is a function of the dimensionless ratio $\tau\equiv T_{\infty}/T_{\mathrm{BH}}$ and appears to be non-monotonic in $\tau$. At present, we have no field theory understanding for this behaviour.


title: Line Bundle Hidden Sectors for Strongly Coupled Heterotic Standard Models

abstract: The compactification from the eleven-dimensional Ho\v{r}ava-Witten orbifold to five-dimensional heterotic M-theory on a Schoen Calabi-Yau threefold is reviewed, as is the specific $SU(4)$ vector bundle leading to the "heterotic standard model" in the observable sector. Within the context of strongly coupled heterotic M-theory, a formalism for consistent hidden-sector bundles associated with a single line bundle is presented, and a specific line bundle is introduced as a concrete example. Anomaly cancellation and the associated bulk space five-branes are discussed in this context, as is the constraint that the hidden sector bundle be compatible with the slope-stability requirements of the observable sector $SU(4)$ gauge bundle. The further compactification to a four-dimensional effective theory on a linearized BPS double domain wall is then presented to order $\kappa_{11}^{4/3}$. Specifically, the generic constraints required for anomaly cancellation and the restrictions imposed by positive squared gauge couplings to order $\kappa_{11}^{4/3}$ are presented in detail. Three additional constraints are imposed, one guaranteeing that the $S^{1}/{\mathbb{Z}}_{2}$ orbifold length is sufficiently larger than the average Calabi-Yau radius, and two enforcing that the hidden sector be compatible with both the unification mass scale and unified gauge coupling of the $SO(10)$ group in the observable sector. Finally, the expression for the Fayet-Iliopoulos term associated with an anomalous $U(1)$ symmetry is presented and its role in $N=1$ supersymmetry in the low-energy effective theory is discussed. It is shown that $N=1$ supersymmetry can be preserved by cancelling the tree-level and genus-one contributions against each another.


title: Binary deviations from single object astrometry

abstract: Most binaries are undetected. Astrometric reductions of a system using the assumption that the object moves like a single point mass can be biased by unresolved binary stars. The discrepancy between the centre of mass of the system (which moves like a point mass) and the centre of light (which is what we observe) introduces additional motion. We explore the extent to which binary systems affect single object models fit to astrometric data. This tells us how observations are diluted by binaries and which systems cause the largest discrepancies - but also allows us to make inferences about the binarity of populations based on observed astrometric error. By examining a sample of mock observations, we show that binaries with periods close to one year can mimic parallax and thus bias distance measurements, whilst long period binaries can introduce significant apparent proper motion. Whilst these changes can soak up some of the error introduced by the binary, the total deviation from the best fitting model can be translated into a lower limit on the on-sky separation of the pair. Throughout we link these predictions to data from the Gaia satellite, whilst leaving the conclusions generalizable to other surveys.