title: One-dimensional bosonization and the SYK model

abstract: We explore the possibility of extending the familiar bosonization of two dimensions to $(0+1)$- dimensional systems with a large number of degrees of freedom. As an application of this technique, we consider a class of SYK-type models, and argue that the corresponding action on the gravity dual of the SYK model is given by an STS sequence of dualities.


title: Alternate minimization and doubly stochastic matrices

abstract: Sinkhorn's alternative minimization algorithm applied to a positive $n\times n$ matrix converges to a doubly stochastic matrix. If the algorithm, applied to a $2\times 2$ matrix, converges in a finite number of iterations, then it converges in at most two iterations, and the structure of such matrices is determined.


title: Probing the seesaw mechanism at the 250 GeV ILC

abstract: We consider a gauged U(1)$_{B-L}$ (Baryon-minus-Lepton number) extension of the Standard Model (SM), which is anomaly-free in the presence of three Right-Handed Neutrinos (RHNs). Associated with the U(1)$_{B-L}$ symmetry breaking the RHNs acquire their Majorana masses and then play the crucial role to generate the neutrino mass matrix by the seesaw mechanism. Towards the experimental confirmation of the seesaw mechanism, we investigate a RHN pair production through the U(1)$_{B-L}$ gauge boson ($Z^\prime$) at the 250 GeV International Linear Collider (ILC). The $Z^\prime$ gauge boson has been searched at the Large Hadron Collider (LHC) Run-2 and its production cross section is already severely constrained. The constraint will become more stringent by the future experiments with the High-Luminosity upgrade of the LHC (HL-LHC). We find a possibility that even after a null $Z^\prime$ boson search result at the HL-LHC, the 250 GeV ILC can search for the RHN pair production through the final state with same-sign dileptons plus jets, which is a `smoking-gun' signature from the Majorana nature of RHNs. In addition, some of RHNs are long-lived and leave a clean signature with a displaced vertex. Therefore, the 250 GeV ILC can operate as not only a Higgs Factory but also a RHN discovery machine to explore the origin of the Majorana neutrino mass generation, namely the seesaw mechanism.


title: Numerical methods for stochastic differential equations based on Gaussian mixture

abstract: We develop in this work a numerical method for stochastic differential equations (SDEs) with weak second order accuracy based on Gaussian mixture. Unlike the conventional higher order schemes for SDEs based on It\^o-Taylor expansion and iterated It\^o integrals, the proposed scheme approximates the probability measure $\mu(X^{n+1}|X^n=x_n)$ by a mixture of Gaussians. The solution at next time step $X^{n+1}$ is then drawn from the Gaussian mixture with complexity linear in the dimension $d$. This provides a new general strategy to construct efficient high weak order numerical schemes for SDEs.


title: Fusion 2-categories and a state-sum invariant for 4-manifolds

abstract: We introduce semisimple 2-categories, fusion 2-categories, and spherical fusion 2-categories. For each spherical fusion 2-category, we construct a state-sum invariant of oriented singular piecewise-linear 4-manifolds.


title: Limit shapes for the asymmetric five vertex model

abstract: We compute the free energy and surface tension function for the five-vertex model, a model of non-intersecting monotone lattice paths on the grid in which each corner gets a positive weight. We give a variational principle for limit shapes in this setting, and show that the resulting Euler-Lagrange equation can be integrated, giving explicit limit shapes parameterized by analytic functions.


title: The Erdos Paradox

abstract: Remarks on the life and work of Paul Erdos.


title: Fast Radio Bursts and cosmological tests

abstract: We consider future cosmological tests based on observations of Fast Radio Bursts (FRBs). We use Illustris Simulation to realistically estimate the scatter in the dispersion measure (DM) of FRBs caused by the inhomogeneous distribution of ionized gas in the Intergalactic Medium (IGM). We find ~13% scatter in DM to a source at z=1 and ~7% at z=3 (one sigma). The distribution of DM is close to Gaussian. We simulate samples of FRBs and examine their applicability to simple cosmological tests. Our calculations show that using a sample of 100 FRBs and fixing cosmological model one can find the redshift and sample averaged fraction of ionized gas with ~1% uncertainty. Finding the ionized fraction with ~1% accuracy at few different epochs would require ~10 000 FRBs with known redshifts. Because DM is proportional to the product of ionized fraction, baryon density and the Hubble constant it is impossible to constrain these parameters separately with FRBs. Constraints on cosmological densities are possible in a flat LCDM model but give uninterestingly low accuracy. Using FRBs with other type of data improves the constraints, but the role of FRBs is not crucial. Thus constraints on the distribution of ionized gas are probably the most promising application of FRBs which allow for "tomography" if sources redshifts are known, as opposed to measuring electron scattering optical depth or S-Z y parameters with CMB observations.


title: Two "correlation games" for a nonlinear network with Hebbian excitatory neurons and anti-Hebbian inhibitory neurons

abstract: A companion paper introduces a nonlinear network with Hebbian excitatory (E) neurons that are reciprocally coupled with anti-Hebbian inhibitory (I) neurons and also receive Hebbian feedforward excitation from sensory (S) afferents. The present paper derives the network from two normative principles that are mathematically equivalent but conceptually different. The first principle formulates unsupervised learning as a constrained optimization problem: maximization of S-E correlations subject to a copositivity constraint on E-E correlations. A combination of Legendre and Lagrangian duality yields a zero-sum continuous game between excitatory and inhibitory connections that is solved by the neural network. The second principle defines a zero-sum game between E and I cells. E cells want to maximize S-E correlations and minimize E-I correlations, while I cells want to maximize I-E correlations and minimize power. The conflict between I and E objectives effectively forces the E cells to decorrelate from each other, although only incompletely. Legendre duality yields the neural network.


title: An equivalence theorem of a class of Minkowski norms and its applications

abstract: In this paper, the Cartan tensors of the $(\alpha,\beta)$-norms are investigated in details. Then an equivalence theorem of $(\alpha,\beta)$-norms is proved. As a consequence in Finsler geometry, general $(\alpha,\beta)$-metrics on smooth manifolds of dimension $n\geq4$ with vanishing Landsberg curvatures must be Berwald manifolds.


title: Cutoff and discrete Product Structure in ASEP

abstract: We consider the asymmetric simple exclusion process (ASEP) on $\mathbb{Z}$ with an initial data such that in the large time particle density $\rho(\cdot)$ a discontinuity at the origin is created, where the value of $\rho$ jumps from zero to one, but $\rho(-\varepsilon),1-\rho(\varepsilon) >0 $ for any $\varepsilon>0$. We consider the position of a particle $x_{M}$ macroscopically located at the discontinuity, and show that its limit law has a cutoff under $t^{1/2}$ scaling. Inside the discontinuity region, we show that a discrete product limit law arises, which bounds from above the limiting fluctuations of $x_{M}$ in the general ASEP, and equals them in the totally ASEP. Note: This preprint has been superseded by arXiv:1906.07711 and is no longer updated.


title: A census of exceptional Dehn fillings

abstract: This paper describes the complete list of all 205,822 exceptional Dehn fillings on the 1-cusped hyperbolic 3-manifolds that have ideal triangulations with at most 9 ideal tetrahedra. The data is consistent with the standard conjectures about Dehn filling and suggests some new ones.


title: High Quality Monocular Depth Estimation via Transfer Learning

abstract: Accurate depth estimation from images is a fundamental task in many applications including scene understanding and reconstruction. Existing solutions for depth estimation often produce blurry approximations of low resolution. This paper presents a convolutional neural network for computing a high-resolution depth map given a single RGB image with the help of transfer learning. Following a standard encoder-decoder architecture, we leverage features extracted using high performing pre-trained networks when initializing our encoder along with augmentation and training strategies that lead to more accurate results. We show how, even for a very simple decoder, our method is able to achieve detailed high-resolution depth maps. Our network, with fewer parameters and training iterations, outperforms state-of-the-art on two datasets and also produces qualitatively better results that capture object boundaries more faithfully. Code and corresponding pre-trained weights are made publicly available.


title: On Optimal Locally Repairable Codes with Super-Linear Length

abstract: Locally repairable codes which are optimal with respect to the bound presented by Prakash et al. are considered. New upper bounds on the length of such optimal codes are derived. The new bounds both improve and generalize previously known bounds. Optimal codes are constructed, whose length is order-optimal when compared with the new upper bounds. The length of the codes is super-linear in the alphabet size.


title: Enhanced Di-Higgs Production in the Two Higgs Doublet Model

abstract: We show that the rate for di-Higgs production at the LHC can be enhanced by a factor as large as 25 compared to the Standard Model value in the two Higgs doublet model while being consistent with the known properties of the observed Higgs boson $h$. There are correlated modifications in $t\overline{t}h$ and resonant $Zh$ production rates, which can serve as tests of this model. Our framework treats both Higgs doublets on equal footing, each with comparable Yukawa couplings to fermions. The Cheng-Sher ansatz for multi-Higgs doublet model is shown to be strongly disfavored by current experiments. We propose a new ansatz for the Yukawa couplings of the Higgs doublets $\Phi_a$ is proposed, where $Y_{ij}^{(a)} = C_{ij}^{(a)}\cdot {\rm min}\{m_i, \, m_j\}/v$, with $C_{ij}^{(a)}$ being order one coefficients, $m_i$ the mass of fermion $i$ and $v$ the electroweak vacuum expectation value. Such a pattern of couplings can explain the observed features of fermion masses and mixings and satisfies all flavor violation constraints arising from the exchange of neutral Higgs bosons. The rate for $\mu \rightarrow e \gamma$ decay and new contributions to CP violation in $B_s-\overline{B}_s$ mixing are predicted to be close to the experimental limits.


title: Gauge-Independent Approach to Resonant Dark Matter Annihilation

abstract: In spontaneously broken gauge theories, transition amplitudes describing dark-matter (DM) annihilation processes through a resonance may become highly inaccurate close to a production threshold, if a Breit-Wigner (BW) ansatz with a constant width is used. To partially overcome this problem, the BW propagator needs to be modified by including a momentum dependent decay width. However, such an approach to resonant transition amplitudes generically suffers from gauge artefacts that may also give rise to a bad or ambiguous high-energy behaviour for such amplitudes. We address the two problems of gauge dependence and high-energy unitarity within a gauge-independent framework of resummation implemented by the so-called Pinch Technique. We study DM annihilation via scalar resonances in a gauged U(1)$_X$ complex-scalar extension of the Standard Model that features a massive stable gauge field which can play the role of the DM. We find that the predictions for the DM abundance may vary significantly from previous studies based on the naive BW ansatz and propose an alternative simple approximation which leads to the correct DM phenomenology. In particular, our results do not depend on the gauge-fixing parameter and are consistent with considerations from high-energy unitarity.


title: Dembowski-Ostram polynomials and reversed Dickson polynomials

abstract: We give a complete classification of Dembowski-Ostram polynomials from reversed Dickson polynomials in odd characteristic.


title: Tied Hidden Factors in Neural Networks for End-to-End Speaker Recognition

abstract: In this paper we propose a method to model speaker and session variability and able to generate likelihood ratios using neural networks in an end-to-end phrase dependent speaker verification system. As in Joint Factor Analysis, the model uses tied hidden variables to model speaker and session variability and a MAP adaptation of some of the parameters of the model. In the training procedure our method jointly estimates the network parameters and the values of the speaker and channel hidden variables. This is done in a two-step backpropagation algorithm, first the network weights and factor loading matrices are updated and then the hidden variables, whose gradients are calculated by aggregating the corresponding speaker or session frames, since these hidden variables are tied. The last layer of the network is defined as a linear regression probabilistic model whose inputs are the previous layer outputs. This choice has the advantage that it produces likelihoods and additionally it can be adapted during the enrolment using MAP without the need of a gradient optimization. The decisions are made based on the ratio of the output likelihoods of two neural network models, speaker adapted and universal background model. The method was evaluated on the RSR2015 database.


title: Progressions of reasoning in K-12 mathematics

abstract: We present a research mathematician's perspective on current developments around in K-12 mathematics. We share activities, and highlight the different ways in which students' reasoning can progress, such as amount of abstraction, sophistication of representation, amount of autonomy and use of language. We end with recommendations for college and university faculty to support greater development of student reasoning in K-12.


title: Differentiable Satisfiability and Differentiable Answer Set Programming for Sampling-Based Multi-Model Optimization

abstract: We propose Differentiable Satisfiability and Differentiable Answer Set Programming (Differentiable SAT/ASP) for multi-model optimization. Models (answer sets or satisfying truth assignments) are sampled using a novel SAT/ASP solving approach which uses a gradient descent-based branching mechanism. Sampling proceeds until the value of a user-defined multi-model cost function reaches a given threshold. As major use cases for our approach we propose distribution-aware model sampling and expressive yet scalable probabilistic logic programming. As our main algorithmic approach to Differentiable SAT/ASP, we introduce an enhancement of the state-of-the-art CDNL/CDCL algorithm for SAT/ASP solving. Additionally, we present alternative algorithms which use an unmodified ASP solver (Clingo/clasp) and map the optimization task to conventional answer set optimization or use so-called propagators. We also report on the open source software DelSAT, a recent prototype implementation of our main algorithm, and on initial experimental results which indicate that DelSATs performance is, when applied to the use case of probabilistic logic inference, on par with Markov Logic Network (MLN) inference performance, despite having advantageous properties compared to MLNs, such as the ability to express inductive definitions and to work with probabilities as weights directly in all cases. Our experiments also indicate that our main algorithm is strongly superior in terms of performance compared to the presented alternative approaches which reduce a common instance of the general problem to regular SAT/ASP.


title: Sub-grid scale model classification and blending through deep learning

abstract: In this article we detail the use of machine learning for spatiotemporally dynamic turbulence model classification and hybridization for the large eddy simulations (LES) of turbulence. Our predictive framework is devised around the determination of local conditional probabilities for turbulence models that have varying underlying hypotheses. As a first deployment of this learning, we classify a point on our computational grid as that which requires the functional hypothesis, the structural hypothesis or no modeling at all. This ensures that the appropriate model is specified from \emph{a priori} knowledge and an efficient balance of model characteristics is obtained in a particular flow computation. In addition, we also utilize the conditional probability predictions of the same machine learning to blend turbulence models for another hybrid closure. Our test-case for the demonstration of this concept is given by Kraichnan turbulence which exhibits a strong interplay of enstrophy and energy cascades in the wave number domain. Our results indicate that the proposed methods lead to robust and stable closure and may potentially be used to combine the strengths of various models for complex flow phenomena prediction.


title: Image Super-Resolution via RL-CSC: When Residual Learning Meets Convolutional Sparse Coding

abstract: We propose a simple yet effective model for Single Image Super-Resolution (SISR), by combining the merits of Residual Learning and Convolutional Sparse Coding (RL-CSC). Our model is inspired by the Learned Iterative Shrinkage-Threshold Algorithm (LISTA). We extend LISTA to its convolutional version and build the main part of our model by strictly following the convolutional form, which improves the network's interpretability. Specifically, the convolutional sparse codings of input feature maps are learned in a recursive manner, and high-frequency information can be recovered from these CSCs. More importantly, residual learning is applied to alleviate the training difficulty when the network goes deeper. Extensive experiments on benchmark datasets demonstrate the effectiveness of our method. RL-CSC (30 layers) outperforms several recent state-of-the-arts, e.g., DRRN (52 layers) and MemNet (80 layers) in both accuracy and visual qualities. Codes and more results are available at https://github.com/axzml/RL-CSC.


title: Learning to Design RNA

abstract: Designing RNA molecules has garnered recent interest in medicine, synthetic biology, biotechnology and bioinformatics since many functional RNA molecules were shown to be involved in regulatory processes for transcription, epigenetics and translation. Since an RNA's function depends on its structural properties, the RNA Design problem is to find an RNA sequence which satisfies given structural constraints. Here, we propose a new algorithm for the RNA Design problem, dubbed LEARNA. LEARNA uses deep reinforcement learning to train a policy network to sequentially design an entire RNA sequence given a specified target structure. By meta-learning across 65000 different RNA Design tasks for one hour on 20 CPU cores, our extension Meta-LEARNA constructs an RNA Design policy that can be applied out of the box to solve novel RNA Design tasks. Methodologically, for what we believe to be the first time, we jointly optimize over a rich space of architectures for the policy network, the hyperparameters of the training procedure and the formulation of the decision process. Comprehensive empirical results on two widely-used RNA Design benchmarks, as well as a third one that we introduce, show that our approach achieves new state-of-the-art performance on the former while also being orders of magnitudes faster in reaching the previous state-of-the-art performance. In an ablation study, we analyze the importance of our method's different components.


title: On weight complexes, pure functors, and detecting weights

abstract: This paper is dedicated to the study of weight complexes (defined on triangulated categories endowed with weight structures) and their applications. We introduce pure (co)homological functors that "ignore all non-zero weights"; these have a nice description in terms of weight complexes. For the weight structure $w^G$ generated by the orbit category in the $G$-equivariant stable homotopy category $SH(G)$ the corresponding pure cohomological functors into abelian groups are the Bredon cohomology associated to Mackey functors ones; pure functors related to motivic weight structures are also quite useful. Our results also give some (more) new weight structures. Moreover, we prove that certain exact functors are conservative and "detect weights".


title: A Mathematical Theory of Interpersonal Interactions and Group Behavior

abstract: Emergent collective group processes and capabilities have been studied through analysis of transactive memory, measures of group task performance, and group intelligence, among others. In their approach to collective behaviors, these approaches transcend traditional studies of group decision making that focus on how individual preferences combine through power relationships, social choice by voting, negotiation and game theory. Understanding more generally how individuals contribute to group effectiveness is important to a broad set of social challenges. Here we formalize a dynamic theory of interpersonal communications that classifies individual acts, sequences of actions, group behavioral patterns, and individuals engaged in group decision making. Group decision making occurs through a sequence of communications that convey personal attitudes and preferences among members of the group. The resulting formalism is relevant to psychosocial behavior analysis, rules of order, organizational structures and personality types, as well as formalized systems such as social choice theory. More centrally, it provides a framework for quantifying and even anticipating the structure of informal dialog, allowing specific conversations to be coded and analyzed in relation to a quantitative model of the participating individuals and the parameters that govern their interactions.


title: Exact Cluster Recovery via Classical Multidimensional Scaling

abstract: Classical multidimensional scaling is an important dimension reduction technique. Yet few theoretical results characterizing its statistical performance exist. This paper provides a theoretical framework for analyzing the quality of embedded samples produced by classical multidimensional scaling. This lays the foundation for various downstream statistical analyses, and we focus on clustering noisy data. Our results provide scaling conditions on the sample size, ambient dimensionality, between-class distance, and noise level under which classical multidimensional scaling followed by a distance-based clustering algorithm can recover the cluster labels of all samples with high probability. Numerical simulations confirm these scaling conditions are near-sharp. Applications to both human genomics data and natural language data lend strong support to the methodology and theory.


title: Adjoint QCD$_4$, Deconfined Critical Phenomena, Symmetry-Enriched Topological Quantum Field Theory, and Higher Symmetry-Extension

abstract: Recent work explores the candidate phases of the 4d adjoint quantum chromodynamics (QCD$_4$) with an SU(2) gauge group and two massless adjoint Weyl fermions. Both Cordova-Dumitrescu and Bi-Senthil propose possible low energy 4d topological quantum field theories (TQFTs) to saturate the higher 't Hooft anomalies of adjoint QCD$_4$ under a renormalization-group (RG) flow from high energy. In this work, we generalize the symmetry-extension method [arXiv:1705.06728] to higher symmetries, and formulate higher group cohomology and cobordism theory approach to construct higher-symmetric TQFTs. We prove that the symmetry-extension method saturates certain anomalies, but also prove that neither $A \mathcal{P}_2(B_2)$ nor $\mathcal{P}_2(B_2)$ can be fully trivialized, with the background 1-form field $A$, Pontryagin square $\mathcal{P}_2$ and 2-form field $B_2$. Surprisingly, this indicates an obstruction to constructing a fully 1-form center and 0-form chiral symmetry (full discrete axial symmetry) preserving 4d TQFT with confinement, a no-go scenario via symmetry-extension for specific higher anomalies. We comment on the implications and constraints on deconfined quantum critical points (dQCP), quantum spin liquids (QSL) or quantum fermionic liquids in condensed matter, and ultraviolet-infrared (UV-IR) duality in 3+1 spacetime dimensions.

categories: hep-th cond-mat.str-el hep-lat hep-ph math.AT


title: Global existence for systems of quasilinear wave equations in (1+4)-dimensions

abstract: H\"ormander proved global existence of solutions for sufficiently small initial data for scalar wave equations in $(1+4)-$dimensions of the form $\Box u = Q(u, u', u'')$ where $Q$ vanishes to second order and $(\partial_u^2 Q)(0,0,0)=0$. Without the latter condition, only almost global existence may be guaranteed. The first author and Sogge considered the analog exterior to a star-shaped obstacle. Both results relied on writing the lowest order terms $u\partial_\alpha u = \frac{1}{2}\partial_\alpha u^2$ and as such do not immediately generalize to systems. The current study remedies such and extends both results to the case of multiple speed systems.


title: Near-the-origin divergence of Klein-Gordon wave functions for hydrogen-like atoms and operator product expansion

abstract: There have been some long-standing puzzles related to the Coulomb solutions of the Klein-Gordon and Dirac equations, namely how to understand the physics underlying the weakly divergent near-the-origin behavior of the $S$-wave wave functions for the hydrogen-like atoms. Taking the Klein-Gordon wave function as a simpler example, in this work we demonstrate that, with the aid of the renormalization group equation, this universal short-distance behavior can be successfully taken into account by the operator product expansion (OPE) formulated in the nonrelativistic effective field theory (EFT), which is tailored for Coulombic atoms. The key is to include the relativistic kinetic correction in the EFT. Somewhat counterintuitively, these universal near-the-origin logarithmic divergences can not be addressed by the OPE set up in the relativistic scalar QED. We conclude that the Klein-Gordon wave function at a length scale shorter than the electron Compton wavelength may cease to make physical significance.


title: Gray-box Adversarial Testing for Control Systems with Machine Learning Component

abstract: Neural Networks (NN) have been proposed in the past as an effective means for both modeling and control of systems with very complex dynamics. However, despite the extensive research, NN-based controllers have not been adopted by the industry for safety critical systems. The primary reason is that systems with learning based controllers are notoriously hard to test and verify. Even harder is the analysis of such systems against system-level specifications. In this paper, we provide a gradient based method for searching the input space of a closed-loop control system in order to find adversarial samples against some system-level requirements. Our experimental results show that combined with randomized search, our method outperforms Simulated Annealing optimization.


title: Fermionic Finite-Group Gauge Theories and Interacting Symmetric/Crystalline Orders via Cobordisms

abstract: We formulate a family of spin Topological Quantum Filed Theories (spin-TQFTs) as fermionic generalization of bosonic Dijkgraaf-Witten TQFTs. They are obtained by gauging $G$-equivariant invertible spin-TQFTs, or, in physics language, gauging the interacting fermionic Symmetry Protected Topological states (SPTs) with a finite group $G$ symmetry. We use the fact that the latter are classified by Pontryagin duals to spin-bordism groups of the classifying space $BG$. We also consider unoriented analogues, that is $G$-equivariant invertible pin$^\pm$-TQFTs (fermionic time-reversal-SPTs) and their gauging. We compute these groups for various examples of abelian $G$ using Adams spectral sequence and describe all corresponding TQFTs via certain bordism invariants in dimensions 3, 4, and other. This gives explicit formulas for the partition functions of spin-TQFTs on closed manifolds with possible extended operators inserted. The results also provide explicit classification of 't Hooft anomalies of fermionic QFTs with finite abelian group symmetries in one dimension lower. We construct new anomalous boundary deconfined spin-TQFTs (surface fermionic topological orders). We explore SPT and SET (symmetry enriched topologically ordered) states, and crystalline SPTs protected by space-group (e.g. translation $\mathbb{Z}$) or point-group (e.g. reflection, inversion or rotation $C_m$) symmetries, via the layer-stacking construction.

categories: hep-th cond-mat.str-el math-ph math.AT math.GT math.MP


title: The role of visual saliency in the automation of seismic interpretation

abstract: In this paper, we propose a workflow based on SalSi for the detection and delineation of geological structures such as salt domes. SalSi is a seismic attribute designed based on the modeling of human visual system that detects the salient features and captures the spatial correlation within seismic volumes for delineating seismic structures. Using SalSi, we can not only highlight the neighboring regions of salt domes to assist a seismic interpreter but also delineate such structures using a region growing method and post-processing. The proposed delineation workflow detects the salt-dome boundary with very good precision and accuracy. Experimental results show the effectiveness of the proposed workflow on a real seismic dataset acquired from the North Sea, F3 block. For the subjective evaluation of the results of different salt-dome delineation algorithms, we have used a reference salt-dome boundary interpreted by a geophysicist. For the objective evaluation of results, we have used five different metrics based on pixels, shape, and curvedness to establish the effectiveness of the proposed workflow. The proposed workflow is not only fast but also yields better results as compared to other salt-dome delineation algorithms and shows a promising potential in seismic interpretation.


title: Higgsed network calculus

abstract: We introduce a formalism for describing holomorphic blocks of 3d quiver gauge theories using networks of Ding-Iohara-Miki algebra intertwiners. Our approach is very direct and gives an explicit identification of the blocks with Dotsenko-Fateev type integrals for q-deformed quiver W-algebras. We also explain how quiver theories corresponding to Dynkin diagrams of superalgebras arise, write down the corresponding partition functions and W-algebras, and explain the connection with supersymmetric Macdonald-Ruijsenaars commuting Hamiltonians.


title: Solution of the Metropolis dynamics on a complete graph with application to the Markov chain Mpemba effect

abstract: We find analytically the complete set of eigenvalues and eigenvectors associated with Metropolis dynamics on a complete graph. As an application, we use this information to study a counter-intuitive relaxation phenomenon, called the Mpemba effect. This effect describes situations when upon performing a thermal quench, a system prepared in equilibrium at high temperatures relaxes faster to the bath temperature than a system prepared at a temperature closer to that of the bath. We show that Metropolis dynamics on a complete graph does not support weak nor strong Mpemba effect, however, when the graph is not complete, the effect is possible.


title: Repdigits as products of consecutive balancing or Lucas-balancing numbers

abstract: Repdigits are natural numbers formed by the repetition of a single digit. In this paper, we explore the presence of repdigits in the product of consecutive balancing or Lucas-balancing numbers.


title: Low-scale Leptogenesis with Minimal Lepton Flavour Violation

abstract: We analyse the feasibility of low-scale leptogenesis where the inverse seesaw (ISS) and linear seesaw (LSS) terms are not simultaneously present. In order to generate the necessary mass splittings, we adopt a Minimal Lepton Flavour Violation (MLFV) hypothesis where a sterile neutrino mass degeneracy is broken by flavour effects. We find that resonant leptogenesis is feasible in both scenarios. However, because of a flavour alignment issue, MLFV-ISS leptogenesis succeeds only with a highly tuned choice of Majorana masses. For MLFV-LSS, on the other hand, a large portion of parameter space is able to generate sufficient asymmetry. In both scenarios we find that the lightest neutrino mass must be of order $10^{-2}\text{ eV}$ or below for successful leptogenesis. We briefly explore implications for low-energy flavour violation experiments, in particular $\mu \rightarrow e\,\gamma$. We find that the future MEG-II experiment, while sensitive to MLFV in our setup, will not be sensitive to the specific regions required for resonant leptogenesis.


title: Relaxing the size constraints on the criterion of Proth

abstract: We add one condition to the theorem of Proth to extend its applicability to $N=k2^n+1$ where $2^n>N^{1/3}$ as opposed to the former constraint of $2^n>k$. This additional condition adds barely any complexity or time to the test and can furthermore be calculated concurrently. Furthermore, it maintains the biconditionality of the theorem and thus makes it readily applicable. A note on an extension of the primality test of Brillhart, Lehmer, and Selfridge is also made.


title: VASS reachability in three steps

abstract: This note is a product of digestion of the famous proof of decidability of the reachability problem for vector addition systems with states (VASS), as first established by Mayr in 1981 and then simplified by Kosaraju in 1982. The note is neither intended to be rigorously formal nor complete; it is rather intended to be an intuitive but precise enough description of main concepts exploited in the proof. Very roughly, the overall idea is to provide a decidable condition Theta on a VASS such that Theta implies reachability and its negation implies that the size of VASS can be reduced. With these two properties, the size of input can be incrementally reduced until the problem becomes trivial. We proceed in three steps: we first formulate the condition Theta for plain VASS, then adapt it to more general VASS with unconstrained coordinates, and finally to generalized VASS of Kosaraju.


title: Higher Anomalies, Higher Symmetries, and Cobordisms I: Classification of Higher-Symmetry-Protected Topological States and Their Boundary Fermionic/Bosonic Anomalies via a Generalized Cobordism Theory

abstract: By developing a generalized cobordism theory, we explore the higher global symmetries and higher anomalies of quantum field theories and interacting fermionic/bosonic systems in condensed matter. Our essential math input is a generalization of Thom-Madsen-Tillmann spectra, Adams spectral sequence, and Freed-Hopkins's theorem, to incorporate higher-groups and higher classifying spaces. We provide many examples of bordism groups with a generic $H$-structure manifold with a higher-group $\mathbb{G}$, and their bordism invariants --- e.g. perturbative anomalies of chiral fermions [originated from Adler-Bell-Jackiw] or bosons with U(1) symmetry in any even spacetime dimensions; non-perturbative global anomalies such as Witten anomaly and the new SU(2) anomaly in 4d and 5d. Suitable $H$ such as SO/Spin/O/Pin$^\pm$ enables the study of quantum vacua of general bosonic or fermionic systems with time-reversal or reflection symmetry on (un)orientable spacetime. Higher 't Hooft anomalies of $d$d live on the boundary of $(d+1)$d higher-Symmetry-Protected Topological states (SPTs) or symmetric invertible topological orders (i.e., invertible topological quantum field theories at low energy); thus our cobordism theory also classifies and characterizes higher-SPTs. Examples of higher-SPT's anomalous boundary theories include strongly coupled non-Abelian Yang-Mills gauge theories and sigma models, complementary to physics obtained in [arXiv:1810.00844, 1812.11955, 1812.11968, 1904.00994].

categories: hep-th cond-mat.str-el hep-ph math.AT math.GT


title: New Higher Anomalies, SU(N) Yang-Mills Gauge Theory and $\mathbb{CP}^{\mathrm{N}-1}$ Sigma Model

abstract: We hypothesize a new and more complete set of anomalies of certain quantum field theories (QFTs) and then give an eclectic verification. First, we propose a set of 't Hooft higher anomalies of 4d time-reversal symmetric pure SU(N)-Yang-Mills (YM) gauge theory with a second-Chern-class topological term at $\theta=\pi$, via 5d cobordism invariants (higher symmetry-protected topological states), with N = $2, 3, 4$ and others. Second, we propose a set of 't Hooft anomalies of 2d $\mathbb{CP}^{\mathrm{N}-1}$-sigma models with a first-Chern-class topological term at $\theta=\pi$, by enlisting all possible 3d cobordism invariants and selecting the matched terms. Based on algebraic/geometric topology, QFT analysis, manifold generator correspondence, condensed matter inputs such as stacking PSU(N)-generalized Haldane quantum spin chains, and additional physics criteria, we derive a correspondence between 5d and 3d new invariants. Thus we broadly prove a potentially complete anomaly-matching between 4d SU(N) YM and 2d $\mathbb{CP}^{\mathrm{N}-1}$ models at N = 2, and suggest new (but maybe incomplete) anomalies at N = 4. We formulate a higher-symmetry analog of "Lieb-Schultz-Mattis theorem" to constrain the low-energy dynamics.


title: Game Semantics and Linear Logic in the Cognition Process

abstract: A description of the environment cognition process by intelligent systems with a fixed set of system goals is suggested. Such a system is represented by the set of its goals only without any models of the system elements or the environment. The set has a lattice structure and a monoid structure; thus, the structure of linear logic is defined on the set. The cognition process of some environment by the system is described on this basis. The environment is represented as a configuration space of possible system positions which are estimated by an information amount (by corresponding sets). This information is supplied to the system by the environment. Thus, it is possible to define the category of Conway games with a payoff on the configuration space and to choose an optimal system's play (i.e., a trajectory). The choice is determined by the requirement of maximal information increasing and takes into account the structure of the system goal set: the linear logic on the set is used to determine the priority of possible different parallel processes. The survey may be useful to describe the behavior of robots and simple biological systems, e.g., ants.


title: Some remarks on invariant Poisson quasi-Nijenhuis structures on Lie groups

abstract: We study {\em right-invariant (resp., left-invariant) Poisson quasi-Nijenhuis structures} on a Lie group $G$ and introduce their infinitesimal counterpart, the so-called {\em r-qn structures} on the corresponding Lie algebra $\mathfrak g$. We investigate the procedure of the classification of such structures on the Lie algebras and then for clarity of our results we classify, up to a natural equivalence, all $r$-$qn$ structures on two types of four-dimensional real Lie algebras. We mention some remarks on the relation between $r$-$qn$ structures and the generalized complex structures on the Lie algebras $\mathfrak g$ and also the solutions of modified Yang-Baxter equation on the double of Lie bialgebra $\mathfrak g\oplus\mathfrak g^*$. The results are applied to some relevant examples.


title: Mid-Level Visual Representations Improve Generalization and Sample Efficiency for Learning Visuomotor Policies

abstract: How much does having visual priors about the world (e.g. the fact that the world is 3D) assist in learning to perform downstream motor tasks (e.g. delivering a package)? We study this question by integrating a generic perceptual skill set (e.g. a distance estimator, an edge detector, etc.) within a reinforcement learning framework--see Figure 1. This skill set (hereafter mid-level perception) provides the policy with a more processed state of the world compared to raw images. We find that using a mid-level perception confers significant advantages over training end-to-end from scratch (i.e. not leveraging priors) in navigation-oriented tasks. Agents are able to generalize to situations where the from-scratch approach fails and training becomes significantly more sample efficient. However, we show that realizing these gains requires careful selection of the mid-level perceptual skills. Therefore, we refine our findings into an efficient max-coverage feature set that can be adopted in lieu of raw images. We perform our study in completely separate buildings for training and testing and compare against visually blind baseline policies and state-of-the-art feature learning methods.


title: Fractal representation of the power daily demand based on topological properties of Julia sets

abstract: In a power system, the load demand considers two components such as the real power (P) because of resistive elements, and the reactive power (Q) because inductive or capacitive elements. This paper presents a graphical representation of the electric power demand based on the topological properties of the Julia Sets, with the purpose of observing the different graphic patterns and relationship with the hourly load consumptions. An algorithm that iterates complex numbers related to power is used to represent each fractal diagram of the load demand. The results show some representative patterns related to each value of the power consumption and similar behaviour in the fractal diagrams, which allows to understand consumption behaviours from the different hours of the day. This study allows to make a relation among the different consumptions of the day to create relationships that lead to the prediction of different behaviour patterns of the curves.


title: Semiparametric Estimation for Cure Survival Model with Left-Truncated and Right-Censored Data and Covariate Measurement Error

abstract: In this paper, we mainly discuss the cure model with survival data. Different from the usual survival data with right-censoring, we incorporate the features of left-truncation and measurement error in covariates. Generally speaking, left-truncation causes a biased sample in survival analysis; measurement error in covariates may incur a tremendous bias if we do not deal with it properly. To deal with these challenges, we propose a flexible way to analyze left-truncated survival data and correct measurement error in covariates. The theoretical results are also established in this paper.


title: Impact of Ground Truth Annotation Quality on Performance of Semantic Image Segmentation of Traffic Conditions

abstract: Preparation of high-quality datasets for the urban scene understanding is a labor-intensive task, especially, for datasets designed for the autonomous driving applications. The application of the coarse ground truth (GT) annotations of these datasets without detriment to the accuracy of semantic image segmentation (by the mean intersection over union - mIoU) could simplify and speedup the dataset preparation and model fine tuning before its practical application. Here the results of the comparative analysis for semantic segmentation accuracy obtained by PSPNet deep learning architecture are presented for fine and coarse annotated images from Cityscapes dataset. Two scenarios were investigated: scenario 1 - the fine GT images for training and prediction, and scenario 2 - the fine GT images for training and the coarse GT images for prediction. The obtained results demonstrated that for the most important classes the mean accuracy values of semantic image segmentation for coarse GT annotations are higher than for the fine GT ones, and the standard deviation values are vice versa. It means that for some applications some unimportant classes can be excluded and the model can be tuned further for some classes and specific regions on the coarse GT dataset without loss of the accuracy even. Moreover, this opens the perspectives to use deep neural networks for the preparation of such coarse GT datasets.


title: Black Holes in the Turbulent Phase of Viscous Rip Cosmology

abstract: We study the phantom fluid in the late universe, thus assuming the equation of state parameter $w$ to be less than $-1$. The fluid is assumed to consist of two components, one laminar component $\rho$ and one turbulent component $\rho_T$, the latter set proportional to $\rho$ as well as to the Hubble parameter, $\rho_T =3\tau H\rho$ with $\tau$ a positive constant associated with the turbulence. The effective energy density is taken to be $\rho_e= \rho + \rho_T$, and the corresponding effective pressure is $p_e=w \rho_e$, with $w$ constant. These basic assumptions lead to a Big Rip universe; the physical quantities diverging during a finite rip time $t_s$. We then consider the mass accretion of a black hole in such a universe. The most natural assumption of setting the rate $dM/dt$ proportional to $M^2$ times the sum $\rho_e+p_e$, leads to a negative mass accretion, where $M(t)$ goes to zero linearly in $(t_s-t)$ near the singularity. The Hubble parameter diverges as $(t_s-t)^{-1}$, whereas $\rho_e$ and $p_e$ diverge as $(t_s-t)^{-2}$. We also discuss other options and include, for the sake of comparison, some essential properties of mass accretion in the early (inflationary) universe.


title: Learning Spatial Common Sense with Geometry-Aware Recurrent Networks

abstract: We integrate two powerful ideas, geometry and deep visual representation learning, into recurrent network architectures for mobile visual scene understanding. The proposed networks learn to "lift" and integrate 2D visual features over time into latent 3D feature maps of the scene. They are equipped with differentiable geometric operations, such as projection, unprojection, egomotion estimation and stabilization, in order to compute a geometrically-consistent mapping between the world scene and their 3D latent feature state. We train the proposed architectures to predict novel camera views given short frame sequences as input. Their predictions strongly generalize to scenes with a novel number of objects, appearances and configurations; they greatly outperform previous works that do not consider egomotion stabilization or a space-aware latent feature state. We train the proposed architectures to detect and segment objects in 3D using the latent 3D feature map as input--as opposed to per frame features. The resulting object detections persist over time: they continue to exist even when an object gets occluded or leaves the field of view. Our experiments suggest the proposed space-aware latent feature memory and egomotion-stabilized convolutions are essential architectural choices for spatial common sense to emerge in artificial embodied visual agents.


title: Private Information Retrieval from Non-Replicated Databases

abstract: We consider the problem of private information retrieval (PIR) of a single message out of $K$ messages from $N$ non-colluding and non-replicated databases. Different from the majority of the existing literature, which considers the case of replicated databases where all databases store the same content in the form of all $K$ messages, here, we consider the case of non-replicated databases under a special non-replication structure where each database stores $M$ out of $K$ messages and each message is stored across $R$ different databases. This generates an $R$-regular graph structure for the storage system where the vertices of the graph are the messages and the edges are the databases. We derive a general upper bound for $M=2$ that depends on the graph structure. We then specialize the problem to storage systems described by two special types of graph structures: cyclic graphs and \emph{fully-connected graphs}. We prove that the PIR capacity for the case of cyclic graphs is $\frac{2}{K+1}$, and the PIR capacity for the case of fully-connected graphs is $\min\{\frac{2}{K},\frac{1}{2}\}$. To that end, we propose novel achievable schemes for both graph structures that are capacity-achieving. The central insight in both schemes is to introduce dependency in the queries submitted to databases that do not contain the desired message, such that the requests can be compressed. In both cases, the results show severe degradation in PIR capacity due to non-replication.


title: An Extreme Amplitude, Massive Heartbeat System in the LMC Characterized Using ASAS-SN and TESS

abstract: Using ASAS-SN data, we find that the bright ($V{\sim}13.5$ mag) variable star MACHO 80.7443.1718 (ASASSN-V J052624.38-684705.6) is the most extreme heartbeat star yet discovered. This massive binary, consisting of at least one early B-type star, has an orbital period of $P_{\rm ASAS-SN}=32.83627\pm0.00846\,{\rm d},$ and is located towards the LH58 OB complex in the LMC. Both the ASAS-SN and TESS light curves show extreme brightness variations of ${\sim}40\%$ at periastron and variations of ${\sim}10\%$ due to tidally excited oscillations outside periastron. We fit an analytical model of the variability caused by the tidal distortions at pericenter to find orbital parameters of $\omega=-61.4$ deg, $i=44.8$ deg and $e=0.566$. We also present a frequency analysis to identify the pulsation frequencies corresponding to the tidally excited oscillations.


title: Hydrodynamics of Fermi arcs: Bulk flow and surface collective modes

abstract: The hydrodynamic description of the Fermi arc surface states is proposed. In view of the strong suppression of scattering on impurities, the hydrodynamic regime for Fermi arc states should be, in principle, plausible. By using the kinetic theory, the Fermi arc hydrodynamics is derived and the corresponding effects on the bulk flow and surface collective modes are studied. For the bulk flow, the key effect of the proposed Fermi arc hydrodynamics is the modification of the corresponding boundary conditions. In a slab geometry, it is shown that, depending on the transfer rates between the surface and bulk, the hydrodynamic flow of the electron fluid inside the slab could be significantly altered and even enhanced near the surfaces. As to the spectrum of the surface collective modes, in agreement with earlier studies, it is found that the Fermi arcs allow for an additional gapless spectrum branch and a strong anisotropy of the surface plasmon dispersion relations in momentum space. The gapped modes are characterized by closed elliptic contours of constant frequency in momentum space.


title: Gravitational stability and fragmentation condition for discs around accreting supermassive stars

abstract: Supermassive stars (SMSs) with mass $\sim10^{5}~\rm{M}_{\odot}$ are promising candidates for the origin of supermassive black holes observed at redshift $\gtrsim6$. They are supposed to form as a result of rapid accretion of primordial gas, although it can be obstructed by the time variation caused by circum-stellar disc fragmentation due to gravitational instability. To assess the occurrence of fragmentation, we study the structure of marginally gravitationally unstable accretion discs, by using a steady one-dimensional thin disc model with detailed treatment of chemical and thermal processes. Motivated by two SMS formation scenarios, i.e., those with strong ultraviolet radiation background or with large velocity difference between the baryon and the dark matter, we consider two types of flows, i.e., atomic and molecular flows, respectively, for a wide range of the central stellar mass $10-10^5~\rm{M}_{\odot}$ and the accretion rate $10^{-3}-1~\rm{M}_{\odot}~\rm{yr}^{-1}$. In the case of a mostly atomic gas flowing to the disc outer boundary, the fragmentation condition is expressed as the accretion rate being higher than the critical value of $10^{-1}~\rm{M}_{\odot}~\rm{yr}^{-1}$ regardless of the central stellar mass. On the other hand, in the case of molecular flows, there is a critical disc radius outside of which the disc becomes unstable. Those conditions appears to be marginally satisfied according to numerical simulations, suggesting that disc fragmentation can be common during SMS formation.


title: Halo Concentrations and the Fundamental Plane of Galaxy Clusters

abstract: According to the standard cold dark matter (CDM) cosmology, the structure of dark halos including those of galaxy clusters reflects their mass accretion history. Older clusters tend to be more concentrated than younger clusters. Their structure, represented by the characteristic radius $r_s$ and mass $M_s$ of the Navarro--Frenk--White (NFW) density profile, is related to their formation time. In~this study, we showed that $r_s$, $M_s$, and the X-ray temperature of the intracluster medium (ICM), $T_X$, form a thin plane in the space of $(\log r_s, \log M_s, \log T_X)$. This tight correlation indicates that the ICM temperature is also determined by the formation time of individual clusters. Numerical simulations showed that clusters move along the fundamental plane as they evolve. The plane and the cluster evolution within the plane could be explained by a similarity solution of structure formation of the universe. The angle of the plane shows that clusters have not achieved "virial equilibrium" in the sense that mass/size growth and pressure at the boundaries cannot be ignored. The distribution of clusters on the plane was related to the intrinsic scatter in the halo concentration--mass relation, which originated from the variety of cluster ages. The well-known mass--temperature relation of clusters ($M_\Delta\propto T_X^{3/2}$) can be explained by the fundamental plane and the mass dependence of the halo concentration without the assumption of virial equilibrium. The fundamental plane could also be used for calibration of cluster masses.


title: The ASAS-SN Catalog of Variable Stars III: Variables in the Southern TESS Continuous Viewing Zone

abstract: The All-Sky Automated Survey for Supernovae (ASAS-SN) provides long baseline (${\sim}4$ yrs) light curves for sources brighter than V$\lesssim17$ mag across the whole sky. The Transiting Exoplanet Survey Satellite (TESS) has started to produce high-quality light curves with a baseline of at least 27 days, eventually for most of the sky. The combination of ASAS-SN and TESS light curves probes both long and short term variability in great detail, especially towards the TESS continuous viewing zones (CVZ) at the ecliptic poles. We have produced ${\sim}1.3$ million V-band light curves covering a total of ${\sim}1000 \, \rm deg^2$ towards the southern TESS CVZ and have systematically searched these sources for variability. We have identified ${\sim} 11,700$ variables, including ${\sim} 7,000$ new discoveries. The light curves and characteristics of the variables are all available through the ASAS-SN variable stars database (https://asas-sn.osu.edu/variables). We also introduce an online resource to obtain pre-computed ASAS-SN V-band light curves (https://asas-sn.osu.edu/photometry) starting with the light curves of the ${\sim}1.3$ million sources studied in this work. This effort will be extended to provide ASAS-SN light curves for ${\sim}50\;$million sources over the entire sky.


title: Defining a bulk-edge correspondence for non-Hermitian Hamiltonians via singular-value decomposition

abstract: We address the breakdown of the bulk-boundary correspondence observed in non-Hermitian systems, where open and periodic systems can have distinct phase diagrams. The correspondence can be completely restored by considering the Hamiltonian's singular value decomposition instead of its eigendecomposition. This leads to a natural topological description in terms of a flattened singular decomposition. This description is equivalent to the usual approach for Hermitian systems and coincides with a recent proposal for the classification of non-Hermitian systems. We generalize the notion of the entanglement spectrum to non-Hermitian systems, and show that the edge physics is indeed completely captured by the periodic bulk Hamiltonian. We exemplify our approach by considering the chiral non-Hermitian Su-Schrieffer-Heger and Chern insulator models. Our work advocates a different perspective on topological non-Hermitian Hamiltonians, paving the way to a better understanding of their entanglement structure.


title: Generalized Fishnets and Exact Four-Point Correlators in Chiral CFT$_4$

abstract: We study the Feynman graph structure and compute certain exact four-point correlation functions in chiral CFT$_4$ proposed by \"{O}.G\"{u}rdo\u{g}an and one of the authors as a double scaling limit of $\gamma$-deformed $\mathcal{N}=4$ SYM theory. We give full description of bulk behavior of large Feynman graphs: it shows a generalized "dynamical fishnet" structure, with a dynamical exchange of bosonic and Yukawa couplings. We compute certain four-point correlators in the full chiral CFT$_4$, generalizing recent results for a particular one-coupling version of this theory -- the bi-scalar "fishnet" CFT. We sum up exactly the corresponding Feynman diagrams, including both bosonic and fermionic loops, by Bethe-Salpeter method. This provides explicit OPE data for various twist-2 operators with spin, showing a rich analytic structure, both in coordinate and coupling spaces.


title: Unveiling Hidden Orders: Magnetostriction as a Probe of Multipolar-Ordered States

abstract: Broken symmetries in solids involving higher order multipolar degrees of freedom are historically referred to as "hidden orders" due to the formidable task of detecting them with conventional probes. Examples of such hidden orders include spin-nematic order in quantum magnets, and quadrupolar or higher multipolar orders in various correlated quantum materials. In this work, we theoretically propose that the study of magnetostriction provides a powerful and novel tool to directly detect higher-order multipolar symmetry breaking $-$ such as the elusive octupolar order $-$ by examining its scaling behaviour with respect to an applied magnetic field $h$. As an illustrative example, we examine such key scaling signatures in the context of Pr-based cage compounds with strongly correlated $f$-electrons, Pr(Ti,V,Ir)$_2$(Al,Zn)$_{20}$, whose low energy degrees of freedom are composed of purely higher-order multipoles: quadrupoles $\mathcal{O}_{20,22}$ and octupole $\mathcal{T}_{xyz}$. Employing a symmetry-based Landau theory of multipolar moments coupled to lattice strain fields, we demonstrate that a magnetic field applied along the [111] direction results in a length change with a distinct linear-in-$h$ scaling behaviour, accompanied by hysteresis, below the octupolar ordering temperature. We show that the resulting "magnetostriction coefficient" is directly proportional to the octupolar order parameter, providing the first clear access to this subtle order parameter. Along other field directions, we show that the field dependence of the magnetostriction provides a window into quadrupolar orders. Our work provides a springboard for future experimental and theoretical investigations of multipolar orders and their quantum phase transitions in a wide variety of systems.


title: Near-Infrared Survey and Photometric Redshifts in the Extended GOODS-North field

abstract: We present deep $J$ and $H$-band images in the extended Great Observatories Origins Deep Survey-North (GOODS-N) field covering an area of 0.22 $\rm{deg}^{2}$. The observations were taken using WIRCam on the 3.6-m Canada France Hawaii Telescope (CFHT). Together with the reprocessed $K_{\rm s}$-band image, the $5\sigma$ limiting AB magnitudes (in 2" diameter apertures) are 24.7, 24.2, and 24.4 AB mag in the $J$, $H$, and $K_{\rm s}$ bands, respectively. We also release a multi-band photometry and photometric redshift catalog containing 93598 sources. For non-X-ray sources, we obtained a photometric redshift accuracy $\sigma_{\mathrm{NMAD}}=0.036$ with an outlier fraction $\eta = 7.3\%$. For X-ray sources, which are mainly active galactic nuclei (AGNs), we cross-matched our catalog with the updated 2M-CDFN X-ray catalog from Xue et al. (2016) and found that 658 out of 683 X-ray sources have counterparts. $GALEX$ UV data are included in the photometric redshift computation for the X-ray sources to give $\sigma_{\mathrm{NMAD}} = 0.040$ with $\eta=10.5\%$. Our approach yields more accurate photometric redshift estimates compared to previous works in this field. In particular, by adopting AGN-galaxy hybrid templates, our approach delivers photometric redshifts for the X-ray counterparts with fewer outliers compared to the 3D-HST catalog, which fit these sources with galaxy-only templates.


title: Holographic Complexity Equals Which Action?

abstract: We revisit the complexity$=$action proposal for charged black holes. We investigate the complexity for a dyonic black hole, and we find the surprising feature that the late-time growth is sensitive to the ratio between electric and magnetic charges. In particular, the late-time growth rate vanishes when the black hole carries only a magnetic charge. If the dyonic black hole is perturbed by a light shock wave, a similar feature appears for the switchback effect, e.g., it is absent for purely magnetic black holes. We then show how the inclusion of a surface term to the action can put the electric and magnetic charges on an equal footing, or more generally change the value of the late-time growth rate. Next, we investigate how the causal structure influences the late-time growth with and without the surface term for charged black holes in a family of Einstein-Maxwell-Dilaton theories. Finally, we connect the previous discussion to the complexity=action proposal for the two-dimensional Jackiw-Teitelboim theory. Since the two-dimensional theory is obtained by a dimensional reduction from Einstein-Maxwell theory in higher dimensions in a near-extremal and near-horizon limit, the choices of parent action and parent background solution determine the behaviour of holographic complexity in two dimensions.


title: Methodology for replacing indirect measurements with direct measurements

abstract: In quantum computing, the indirect measurement of unitary operators such as the Hadamard test plays a significant role in many algorithms. However, in certain cases, the indirect measurement can be reduced to the direct measurement, where a quantum state is destructively measured. Here we investigate in what cases such a replacement is possible and develop a general methodology for trading an indirect measurement with sequential direct measurements. The results can be applied to construct quantum circuits to evaluate the analytical gradient, metric tensor, Hessian, and even higher order derivatives of a parametrized quantum state. Also, we propose a new method to measure the out-of-time-order correlator based on the presented protocol. Our protocols can reduce the depth of the quantum circuit significantly by making the controlled operation unnecessary and hence are suitable for quantum-classical hybrid algorithms on near-term quantum computers.


title: Error Corrected Spin-State Readout in a Nanodiamond

abstract: Quantum state readout is a key component of quantum technologies, including applications in sensing, computation, and secure communication. Readout fidelity can be enhanced by repeating readouts. However, the number of repeated readouts is limited by measurement backaction, which changes the quantum state that is measured. This detrimental effect can be overcome by storing the quantum state in an ancilla qubit, chosen to be robust against measurement backaction and to allow error correction. Here, we protect the electronic-spin state of a diamond nitrogen-vacancy center from measurement backaction using a robust multilevel 14N nuclear spin memory and perform repetitive readout, as demonstrated in previous work on bulk diamond devices. We achieve additional protection using error correction based on the quantum logic of coherent feedback to reverse measurement backaction. The repetitive spin readout scheme provides a 13-fold enhancement of readout fidelity over conventional readout and the error correction a 2-fold improvement in the signal. These experiments demonstrate full quantum control of a nitrogen vacancy center electronic spin coupled to its host 14N nuclear spin inside a ~25 nm nanodiamond, creating a sensitive and biologically compatible platform for nanoscale quantum sensing. Our error-corrected repetitive readout scheme is particularly useful for quadrupolar nuclear magnetic resonance imaging in the low magnetic field regime where conventional repetitive readout suffers from strong measurement backaction. More broadly, methods for correcting longitudinal (bit-flip) errors described here could be used to improve quantum algorithms that require nonvolatile local memory, such as correlation spectroscopy measurements for high resolution sensing.


title: Rate of convergence in the large diffusion limit for the heat equation with a dynamical boundary condition

abstract: We study the heat equation on a half-space or on an exterior domain with a linear dynamical boundary condition. Our main aim is to establish the rate of convergence to solutions of the Laplace equation with the same dynamical boundary condition as the diffusion coefficient tends to infinity.


title: Lattice-QCD Determination of the Hyperon Axial Couplings in the Continuum Limit

abstract: We present the first continuum extrapolation of the hyperon octet axial couplings ($g_{\Sigma \Sigma}$ and $g_{\Xi \Xi}$) from $N_f=2+1+1$ lattice QCD. These couplings are important parameters in the low-energy effective field theory description of the octet baryons and fundamental to the nonleptonic decays of hyperons and to hyperon-hyperon and hyperon-nucleon scattering with application to neutron stars. We use clover lattice fermion action for the valence quarks with sea quarks coming from configurations of $N_f=2+1+1$ highly improved staggered quarks (HISQ) generated by MILC Collaboration. Our work includes the first calculation of $g_{\Sigma \Sigma}$ and $g_{\Xi \Xi}$ directly at the physical pion mass on the lattice, and a full account of systematic uncertainty, including excited-state contamination, finite-volume effects and continuum extrapolation, all addressed for the first time. We find the continuum-limit hyperon coupling constants to be $g_{\Sigma \Sigma}=0.4455(55)_\text{stat}(65)_\text{sys}$ and $g_{\Xi \Xi} =-0.2703(47)_\text{stat}(13)_\text{sys}$, which correspond to low-energy constants of $D = 0.708(10)_\text{stat}(6)_\text{sys}$ and $F = 0.438(7)_\text{stat}(6)_\text{sys}$. The corresponding SU(3) symmetry breaking is 9\% which is about a factor of 2 smaller than the earlier lattice estimate.


title: One-dimensional few-electron effective Wigner crystal in quantum and classical regimes

abstract: A system of confined charged electrons interacting via the long-range Coulomb force can form a Wigner crystal due to their mutual repulsion. This happens when the potential energy of the system dominates over its kinetic energy, i.e., at low temperatures for a classical system and at low densities for a quantum one. At $T=0$, the system is governed by quantum mechanics, and hence, the spatial density peaks associated with crystalline charge localization are sharpened for a lower average density. Conversely, in the classical limit of high temperatures, the crystalline spatial density peaks are suppressed (recovered) at a lower (higher) average density. In this paper, we study those two limits separately using an exact diagonalization of small one-dimensional (1D) systems containing few ($<10$) electrons and propose an approximate method to connect them into a unified effective phase diagram for Wigner few-electron crystallization. The result is a qualitative quantum-classical crossover phase diagram of an effective 1D Wigner crystal. We show that the spatial density peaks associated with the quasi-crystallization should be experimentally observable in a few-electron 1D system. We find that the effective crystalline structure slowly disappears with both the crossover average density and crossover temperature for crystallization decreasing with increasing particle number, consistent with the absence of any true long-range 1D order. In fact, one peculiar aspect of the effective finite-size nature of 1D Wigner crystallization we find is that even a short-range interaction would lead to a finite-size 1D crystal, except that the crystalline order vanishes much faster with increasing system size in the short-range interacting system compared with the long-range interacting one.


title: Bost-Connes systems and F1-structures in Grothendieck rings, spectra, and Nori motives

abstract: We construct geometric lifts of the Bost-Connes algebra to Grothendieck rings and to the associated assembler categories and spectra, as well as to certain categories of Nori motives. These categorifications are related to the integral Bost-Connes algebra via suitable Euler characteristic type maps and zeta functions, and in the motivic case via fiber functors. We also discuss aspects of F1-geometry, in the framework of torifications, that fit into this general setting.


title: Persistent gravitational wave observables: general framework

abstract: The gravitational wave memory effect is characterized by the permanent relative displacement of a pair of initially comoving test particles that is caused by the passage of a burst of gravitational waves. Recent research on this effect has clarified the physical origin and the interpretation of this gravitational phenomenon in terms of conserved charges at null infinity and "soft theorems." In this paper, we describe a more general class of effects than the gravitational wave memory that are not necessarily associated with these charges and soft theorems, but that are, in principle, measurable. We shall refer to these effects as persistent gravitational wave observables. These observables vanish in non-radiative regions of a spacetime, and their effects "persist" after a region of spacetime which is radiating. We give three examples of such persistent observables, as well as general techniques to calculate them. These examples, for simplicity, restrict the class of non-radiative regions to those which are exactly flat. Our first example is a generalization of geodesic deviation that allows for arbitrary acceleration. The second example is a holonomy observable, which is defined in terms of a closed loop. It contains the usual "displacement" gravitational wave memory; three previously identified, though less well known memory effects (the proper time, velocity, and rotation memories); and additional new observables. Finally, the third example we give is an explicit procedure by which an observer could measure a persistent effect using a spinning test particle. We briefly discuss the ability of gravitational wave detectors (such as LIGO and Virgo) to measure these observables.


title: Quantum 3: Learning QCD through Intuitive Play

abstract: There is a nationwide drive to get more girls into physics and coding, and some educators believe gaming could be a way to get girls interested in coding and STEM topics. This project, sponsored by NSF, is to create a QCD game that will raise public interest in QCD, especially among K-12 girls, and increase interest in coding among girls. Through the immersive framework of interactive gameplay, this QCD phone game will allow the public to peek into the QCD research world. The game design will fall into the "Match 3" genre, which typically attracts a higher ratio of female players. The game will be implemented initially as a phone app, and the gameplay would require learning simple QCD rules to progress. By leveraging the willingness of players to engage with the rules of an entertaining game, they are able to easily learn a few principles of physics. The game is now available to download from the Google Play store (https://play.google.com/store/apps/details?id=com.gellab.quantum3) and the Apple Appstore (https://itunes.apple.com/gb/app/quantum-3/id1406630529)! We formed a development team of MSU undergraduate students to make the game and provided them with a QCD curriculum. The game will be tested at MSU outreach activities, as well as among local K-12 girls through school activities, and feedback will be used to improve the design. The final game can be easily distributed through various app stores and impact will be measured through a follow-up survey. If such a new direction works to attract more girls to coding and physics, one should develop more games to engage more girls in STEM.

categories: physics.ed-ph hep-ex hep-lat hep-ph nucl-ex


title: BPS Partition Functions for S-folds

abstract: We derive a formula for the BPS partition functions of arbitrary S-fold theories. We first generalize the known result for the ${\cal N}=4$ $U(N)$ supersymmetric Yang-Mills theory to $SO$ and $Sp$ theories, and then we extend the formula to ${\cal N}=3$ theories. We confirm that the results for rank $1$ and $2$ are consistent to the supersymmetry enhancement from ${\cal N}=3$ to ${\cal N}=4$. We also derive the same formula from the quantization of D3-branes in $\boldsymbol{S}^5/\mathbb{Z}_k$.


title: Nonlinear Fluctuating Hydrodynamics for the Classical XXZ Spin Chain

abstract: Using the framework of nonlinear fluctuating hydrodynamics (NFH), we examine equilibrium spatio-temporal correlations in classical ferromagnetic spin chains with nearest neighbor interactions. In particular, we consider the classical XXZ-Heisenberg spin chain (also known as Lattice Landau Lifshitz or LLL model) evolving deterministically and chaotically via Hamiltonian dynamics, for which energy and $z$-magnetization are the only locally conserved fields. For the easy-plane case, this system has a low-temperature regime in which the difference between neighboring spin's angular orientations in the XY plane is an \textit{almost conserved} field. According to the predictions of NFH, the dynamic correlations in this regime exhibit a heat peak and propagating sound peaks, all with anomalous broadening. We present a detailed molecular dynamics test of these predictions and find a reasonably accurate verification. We find that, in a suitable intermediate temperature regime, the system shows two sound peaks with Kardar-Parisi-Zhang (KPZ) scaling and a heat peak where the expected anomalous broadening is less clear. In high temperature regimes of both easy plane and easy axis case of LLL, our numerics show clear diffusive spin and energy peaks and absence of any sound modes, as one would expect. We also simulate an integrable version of the XXZ-model, for which the ballistic component instead moves with a broad range of speeds rather than being concentrated in narrower peaks around the sound speed.


title: Developing Tools for Multimessenger Gravitational Wave Astronomy

abstract: We present work in progress to craft open-sourced numerical tools that will enable the calculation of electromagnetic counterparts to gravitational waveforms: the {\tt GiRaFFE} (General Relativistic Force-Free Electrodynamics) code. {\tt GiRaFFE} numerically solves the general relativistic magnetohydrodynamics system of equations in the force-free limit, to model the magnetospheres surrounding compact binaries, in order (1) to characterize the nonlinear interaction between the source and its surrounding magnetosphere, and (2) to evaluate the electromagnetic counterparts of gravitational waves, including the production of collimated jets. We apply this code to various configurations of spinning black holes immersed in external magnetic field, in order to both test our implementation, and to explore the effect of strong gravitational field, high spins and of misalignment between the magnetic field lines an black hole spin, on the electromagnetic output and the collimation of Poynting jets. We will extend our work to collisions of black holes immersed in external magnetic field, which are prime candidates for coincident detection in both gravitational and electromagnetic spectra.


title: Pattern avoidance in permutations and their squares

abstract: We study permutations $p$ such that both $p$ and $p^2$ avoid a given pattern $q$. We obtain a generating function for the case of $q=312$ (equivalently, $q=231$), we prove that if $q$ is monotone increasing, then above a certain length, there are no such permutations, and we prove an upper bound for $q=321$. We also present some intriguing questions in the case of $q=132$.


title: DCI: Discriminative and Contrast Invertible Descriptor

abstract: Local feature descriptors have been widely used in fine-grained visual object search thanks to their robustness in scale and rotation variation and cluttered background. However, the performance of such descriptors drops under severe illumination changes. In this paper, we proposed a Discriminative and Contrast Invertible (DCI) local feature descriptor. In order to increase the discriminative ability of the descriptor under illumination changes, a Laplace gradient based histogram is proposed. A robust contrast flipping estimate is proposed based on the divergence of a local region. Experiments on fine-grained object recognition and retrieval applications demonstrate the superior performance of DCI descriptor to others.


title: On center of mass and foliations by constant spacetime mean curvature surfaces for isolated systems in General Relativity

abstract: We propose a new foliation of asymptotically Euclidean initial data sets by 2-spheres of constant spacetime mean curvature (STCMC). The leaves of the foliation have the STCMC-property regardless of the initial data set in which the foliation is constructed which asserts that there is a plethora of STCMC 2-spheres in a neighborhood of spatial infinity of any asymptotically flat spacetime. The STCMC-foliation can be understood as a covariant relativistic generalization of the CMC-foliation suggested by Huisken and Yau. We show that a unique STCMC-foliation exists near infinity of any asymptotically Euclidean initial data set with non-vanishing energy which allows for the definition of a new notion of total center of mass for isolated systems. This STCMC-center of mass transforms equivariantly under the asymptotic Poincar\'e group of the ambient spacetime and in particular evolves under the Einstein evolution equations like a point particle in Special Relativity. The new definition also remedies subtle deficiencies in the CMC-approach to defining the total center of mass suggested by Huisken and Yau which were described by Cederbaum and Nerz.


title: Multi-valuedness of the Luttinger-Ward functional in the Fermionic and Bosonic System with Replicas

abstract: We study the properties of the Luttinger-Ward functional (LWF) in a simplified Hubbard-type model without time or spatial dimensions, but with $N$ identical replicas located on a single site. The simplicity of this $(0+0)d$ model permits an exact solution for all $N$ and for both bosonic and fermionic statistics. We show that fermionic statistics are directly linked to the fact that multiple values of the noninteracting Green function $G_0$ map to the same value of the interacting Green function $G$, i.e. the mapping $G_0 \mapsto G$ is non-injective. This implies that with fermionic statistics the $(0+0)d$ model has a multiply-valued LWF. The number of LWF values in the fermionic model increases proportionally to the number of replicas $N$, while in the bosonic model the LWF has a single value regardless of $N$. We also discuss the formal connection between the $(0+0)d$ model and the $(0+1)d$ model which was used in previous studies of LWF multivaluedness.


title: NuSTAR Detection of X-rays Concurrent with Gamma Rays in the Nova V5855 Sgr

abstract: We report the first detection of hard (>10 keV) X-ray emission simultaneous with gamma rays in a nova eruption. Observations of the nova V5855 Sgr carried out with the NuSTAR satellite on Day 12 of the eruption revealed faint, highly absorbed thermal X-rays. The extreme equivalent hydrogen column density towards the X-ray emitting region (~3 x 10$^{24}$ cm$^{-2}$) indicates that the shock producing the X-rays was deeply embedded within the nova ejecta. The slope of the X-ray spectrum favors a thermal origin for the bulk of the emission, and the constraints of the temperature in the shocked region suggest a shock velocity compatible with the ejecta velocities inferred from optical spectroscopy. While we do not claim the detection of non-thermal X-rays, the data do not allow us to rule out an additional, fainter component dominating at energy above 20 keV, for which we obtained upper limits. The inferred luminosity of the thermal X-rays is too low to be consistent with the gamma-ray luminosities if both are powered by the same shock under standard assumptions regarding the efficiency of non-thermal particle acceleration and the temperature distribution of the shocked gas.


title: Interest Point Detection based on Adaptive Ternary Coding

abstract: In this paper, an adaptive pixel ternary coding mechanism is proposed and a contrast invariant and noise resistant interest point detector is developed on the basis of this mechanism. Every pixel in a local region is adaptively encoded into one of the three statuses: bright, uncertain and dark. The blob significance of the local region is measured by the spatial distribution of the bright and dark pixels. Interest points are extracted from this blob significance measurement. By labeling the statuses of ternary bright, uncertain, and dark, the proposed detector shows more robustness to image noise and quantization errors. Moreover, the adaptive strategy for the ternary cording, which relies on two thresholds that automatically converge to the median of the local region in measurement, enables this coding to be insensitive to the image local contrast. As a result, the proposed detector is invariant to illumination changes. The state-of-the-art results are achieved on the standard datasets, and also in the face recognition application.


title: Inorganic Materials Synthesis Planning with Literature-Trained Neural Networks

abstract: Leveraging new data sources is a key step in accelerating the pace of materials design and discovery. To complement the strides in synthesis planning driven by historical, experimental, and computed data, we present an automated method for connecting scientific literature to synthesis insights. Starting from natural language text, we apply word embeddings from language models, which are fed into a named entity recognition model, upon which a conditional variational autoencoder is trained to generate syntheses for arbitrary materials. We show the potential of this technique by predicting precursors for two perovskite materials, using only training data published over a decade prior to their first reported syntheses. We demonstrate that the model learns representations of materials corresponding to synthesis-related properties, and that the model's behavior complements existing thermodynamic knowledge. Finally, we apply the model to perform synthesizability screening for proposed novel perovskite compounds.


title: Collision of Ionization Waves in Long Discharge Tubes

abstract: This research focuses on interaction of ionization waves (IW) generated in long discharge tubes (1 m length and 1.5 cm in diameter) filled with neon or argon under pressure about 1 Torr and, in particular, on simplest case of such interference which is collision of the opposite directed IW of positive polarity. The waves were triggered from two electrodes of the tube by simultaneous application of the same high voltage pulse and propagated toward the tube center until their collision. Space and time stability of the collisions was achieved via decreasing time delay of the initial breakdowns which trigger IW by employment of both memory effect and photo-desorption of wall surface electrons. Significant memory effect occurred for the pulse repetition rate over 100Hz. Multiple IW transition from the electrode forms specific one-electrode discharge; as a result the problem of IW collision was transformed into the observation of two opposite one-electrode discharges interaction. Patterns of IW interfering were registered via deviation of their kinematic characteristics (x-t diagrams) from ones for non-collided wave. This method shows that two ionization waves travel toward each other with decreasing speeds and subsequent degradation of the emission. An area near the tube center where IWs emission was not detected was considered as the IW suppression zone. The zone width depends on voltage amplitude, gas type and pressure.


title: Comparing many-body localization lengths via non-perturbative construction of local integrals of motion

abstract: Many-body localization (MBL), characterized by the absence of thermalization and the violation of conventional thermodynamics, has elicited much interest both as a fundamental physical phenomenon and for practical applications in quantum information. A phenomenological model, which describes the system using a complete set of local integrals of motion (LIOMs), provides a powerful tool to understand MBL, but can be usually only computed approximately. Here we explicitly compute a complete set of LIOMs with a non-perturbative approach, by maximizing the overlap between LIOMs and physical spin operators in real space. The set of LIOMs satisfies the desired exponential decay of weight of LIOMs in real-space. This LIOM construction enables a direct mapping from the real space Hamiltonian to the phenomenological model and thus enables studying the localized Hamiltonian and the system dynamics. We can thus study and compare the localization lengths extracted from the LIOM weights, their interactions, and dephasing dynamics, revealing interesting aspects of many-body localization. Our scheme is immune to accidental resonances and can be applied even at phase transition point, providing a novel tool to study the microscopic features of the phenomenological model of MBL.


title: Convex Relaxations of Convolutional Neural Nets

abstract: We propose convex relaxations for convolutional neural nets with one hidden layer where the output weights are fixed. For convex activation functions such as rectified linear units, the relaxations are convex second order cone programs which can be solved very efficiently. We prove that the relaxation recovers the global minimum under a planted model assumption, given sufficiently many training samples from a Gaussian distribution. We also identify a phase transition phenomenon in recovering the global minimum for the relaxation.


title: Bi-parameter trilinear Fourier multipliers and pseudo-differential operators with flag symbols

abstract: The main purpose of this paper is to study $L^r$ H\"older type estimates for a bi-parameter trilinear Fourier multiplier with flag singularity, and the analogous pseudo-differential operator, when the symbols are in a certain product form. More precisely, for $f,g,h\in \mathcal{S}(\mathbb{R}^{2})$, the bi-parameter trilinear flag Fourier multiplier operators we consider are defined by $$ T_{m_1,m_2}(f,g,h)(x):=\int_{\mathbb{R}^{6}}m_1(\xi,\eta,\zeta)m_2(\eta,\zeta)\hat f(\xi) \hat g(\eta)\hat h(\zeta)e^{2\pi i(\xi+\eta+\zeta)\cdot x}d\xi d\eta d\zeta, $$ when $m_1,m_2$ are two bi-parameter symbols. We will show that our problem can be reduced to establish the $L^r$ estimate for the special multiplier $m_1(\xi_1, \eta_1, \zeta_1) m_2(\eta_2, \zeta_2)$ (see Theorem 1.7). We also study these $L^r$ estimates for the corresponding bi-parameter trilinear pseudo-differential operators defined by $$ T_{ab}(f,g,h)(x):=\int_{\mathbb{R}^6}a(x,\xi,\eta,\zeta)b(x,\eta,\zeta)\hat f(\xi)\hat g(\eta)\hat h(\zeta)e^{2\pi i x(\xi+\eta+\zeta)}d\xi d\eta d\zeta, $$ where the smooth symbols $a,b$ satisfy certain bi-parameter H\"ormander conditions. We will also show that the $L^r$ estimate holds for $T_{ab}$ as long as the $L^r$ estimate for the flag multiplier operator holds when the multiplier has the special form $m_1(\xi_1, \eta_1, \zeta_1) m_2(\eta_2, \zeta_2)$ (see Theorem 1.10). The bi-parameter and trilinear flag Fourier multipliers considered in this paper do not satisfy the conditions of the classical bi-parameter trilinear Fourier multipliers considered by Muscalu, Tao, Thiele and the second author [21, 22]. They may also be viewed as the bi-parameter trilinear variants of estimates obtained for the one-parameter flag paraproducts by Muscalu [18].


title: Generalized Dix equation and analytic treatment of normal-moveout velocity for anisotropic media

abstract: Despite the complexity of wave propagation in anisotropic media, reflection moveout on conventional common-midpoint (CMP) spreads is usually well described by the normal-moveout (NMO) velocity defined in the zero-spread limit. In their recent work, Grechka and Tsvankin showed that the azimuthal dependence of NMO velocity generally has an elliptical shape and is determined by the spatial derivatives of the slowness vector evaluated at the CMP location. This formalism is used here to develop exact solutions for normal-moveout velocity in anisotropic media of arbitrary symmetry. For the model of a single homogeneous layer above a dipping reflector, we obtain an explicit NMO expression valid for all pure modes and any orientation of the CMP line with respect to the reflector strike. The influence of anisotropy on normal-moveout velocity is absorbed by the slowness components of the zero-offset ray. If the medium above a dipping reflector is horizontally stratified, the effective NMO velocity is determined through a Dix-type average of the matrices responsible for the interval NMO ellipses in the individual layers. This generalized Dix equation provides an analytic basis for moveout inversion in vertically inhomogeneous, arbitrary anisotropic media.


title: Poor Video Streaming Performance Explained (and Fixed)

abstract: HTTP-based video streaming is a key application on the Internet today, comprising the majority of Internet traffic today. Yet customers remain dissatisfied with video quality, resulting in lost revenue for content providers. Recent studies have blamed this on the adaptive bitrate selection (ABR) algorithm used by client players, claiming it interacts poorly with TCP when the video buffer is full, which causes it to underestimate available network bandwidth. We show that the root cause of the problem lies in the data plane, and that even a perfect control plane (ABR) algorithm is not enough to guarantee video flows their fair share of network bandwidth. Namely, it is the sequential download of (small) video segments that is at fault, as they disrupt the normal interaction between TCP congestion control and router queue occupancy. We analytically derive the throughput of a video flow as a function of download size and network conditions, and use this to develop an adaptive algorithm for selecting the download size. Combined with pipelining, our approach achieves near-optimal throughput and fast bitrate adaptation, regardless of the control plane algorithm. We implement our approach as a DASH video player called Sprint, and evaluate it against state-of-the-art proposals from the literature as well as deployed players from Netflix, Youtube, Hulu, and Amazon. Sprint consistently achieves above 90% of its fair-share throughput, while the previous state-of-the-art exhibits high variability (e.g., from 31% to close to fair share depending on the network conditions). Industry players often achieve below 50% of their fair share.


title: Mask-aware networks for crowd counting

abstract: Crowd counting problem aims to count the number of objects within an image or a frame in the videos and is usually solved by estimating the density map generated from the object location annotations. The values in the density map, by nature, take two possible states: zero indicating no object around, a non-zero value indicating the existence of objects and the value denoting the local object density. In contrast to traditional methods which do not differentiate the density prediction of these two states, we propose to use a dedicated network branch to predict the object/non-object mask and then combine its prediction with the input image to produce the density map. Our rationale is that the mask prediction could be better modeled as a binary segmentation problem and the difficulty of estimating the density could be reduced if the mask is known. A key to the proposed scheme is the strategy of incorporating the mask prediction into the density map estimator. To this end, we study five possible solutions, and via analysis and experimental validation we identify the most effective one. Through extensive experiments on five public datasets, we demonstrate the superior performance of the proposed approach over the baselines and show that our network could achieve the state-of-the-art performance.


title: Deep Information Theoretic Registration

abstract: This paper establishes an information theoretic framework for deep metric based image registration techniques. We show an exact equivalence between maximum profile likelihood and minimization of joint entropy, an important early information theoretic registration method. We further derive deep classifier-based metrics that can be used with iterated maximum likelihood to achieve Deep Information Theoretic Registration on patches rather than pixels. This alleviates a major shortcoming of previous information theoretic registration approaches, namely the implicit pixel-wise independence assumptions. Our proposed approach does not require well-registered training data; this brings previous fully supervised deep metric registration approaches to the realm of weak supervision. We evaluate our approach on several image registration tasks and show significantly better performance compared to mutual information, specifically when images have substantially different contrasts. This work enables general-purpose registration in applications where current methods are not successful.


title: Dynamic Space-Time Scheduling for GPU Inference

abstract: Serving deep neural networks in latency critical interactive settings often requires GPU acceleration. However, the small batch sizes typical in online inference results in poor GPU utilization, a potential performance gap which GPU resource sharing can address. In this paper, we explore several techniques to leverage both temporal and spatial multiplexing to improve GPU utilization for deep learning inference workloads. We evaluate the performance trade-offs of each approach with respect to resource-efficiency, latency predictability, and isolation when compared with conventional batched inference. Our experimental analysis suggests up to a 5x potential for improved utilization through the exploration of more advanced spatial and temporal multiplexing strategies. Our preliminary prototype of a dynamic space-time scheduler demonstrates a 3.23x floating-point throughput increase over space-only multiplexing and a 7.73x increase over time-only multiplexing for convolutions, while also providing better isolation and latency predictability.


title: On a bounded remainder set for a digital Kronecker sequence

abstract: Let ${\bf x}_0,{\bf x}_1,...$ be a sequence of points in $[0,1)^s$. A subset $S$ of $[0,1)^s$ is called a bounded remainder set if there exist two real numbers $a$ and $C$ such that, for every integer $N$, $$ | {\rm card}\{n <N \; | \; {\bf x}_{n} \in S \} - a N| <C . $$ Let $ ({\bf x}_n)_{n \geq 0} $ be an $s-$dimensional digital Kronecker-sequence in base $b \geq 2$, ${\bf \gamma} =(\gamma_1,...,\gamma_s)$, $\gamma_i \in [0, 1)$ with $b$-adic expansion\\ $\gamma_i= \gamma_{i,1}b^{-1}+ \gamma_{i,2}b^{-2}+...$, $i=1,...,s$. In this paper, we prove that $[0,\gamma_1) \times ...\times [0,\gamma_s)$ is the bounded remainder set with respect to the sequence $({\bf x}_n)_{n \geq 0}$ if and only if \begin{equation} \nonumber \max_{1 \leq i \leq s} \max \{ j \geq 1 \; | \; \gamma_{i,j} \neq 0 \} < \infty. \end{equation}


title: On the structure of (claw,bull)-free graphs

abstract: In this research, we determine the structure of (claw, bull)-free graphs. We show that every connected (claw, bull)-free graph is either an expansion of a path, an expansion of a cycle, or the complement of a triangle-free graph; where an expansion of a graph $G$ is obtained by replacing its vertices with disjoint cliques and adding all edges between cliques corresponding to adjacent vertices of $G$. This result also reveals facts about the structure of triangle-free graphs, which might be of independent interest.


title: Isometries of asymptotically conical shrinking Ricci solitons

abstract: We show that if a shrinking soliton is asymptotic to a cone along an end then the isometry group of the cross-section of the cone embeds in the isometry group of the end of the shrinker. We also provide sufficient conditions for the isometries of the end to extend to the entire shrinker.