title: An Introduction to Probabilistic Spiking Neural Networks: Probabilistic Models, Learning Rules, and Applications

abstract: Spiking neural networks (SNNs) are distributed trainable systems whose computing elements, or neurons, are characterized by internal analog dynamics and by digital and sparse synaptic communications. The sparsity of the synaptic spiking inputs and the corresponding event-driven nature of neural processing can be leveraged by energy-efficient hardware implementations, which can offer significant energy reductions as compared to conventional artificial neural networks (ANNs). The design of training algorithms lags behind the hardware implementations. Most existing training algorithms for SNNs have been designed either for biological plausibility or through conversion from pretrained ANNs via rate encoding. This article provides an introduction to SNNs by focusing on a probabilistic signal processing methodology that enables the direct derivation of learning rules by leveraging the unique time-encoding capabilities of SNNs. We adopt discrete-time probabilistic models for networked spiking neurons and derive supervised and unsupervised learning rules from first principles via variational inference. Examples and open research problems are also provided.


title: 9Li and 8He decays in GEANT4

abstract: The decays of cosmogenic nuclei such as $^9$Li and $^8$He represent one of the largest irreducible backgrounds for reactor antineutrino experiments. The correct treatment of such decays are of fundamental importance in the study of cosmogenic backgrounds and in their rejection, hence the full chain of intermediate excited states must be accounted for. Currently the treatment in GEANT4 of the modelling of de-excitation of $^9$Be and $^8$Li, which are the daughter nuclei of $^9$Li and $^8$He respectively, is not correct. $^9$Be excited states should break into a neutron and two $\alpha$'s, and $^8$Li excited states should emit a neutron and possibly an $\alpha$ and a triton depending on the decay chain, whereas in GEANT4 they both reach the ground state by emitting a gamma. Based on the available nuclear measurements we included the correct treatment of $^9$Li and $^8$He decays in GEANT4 and compared the obtained results with the spectra published by the Double Chooz collaboration finding an excellent agreement.


title: Medium-band Photometry Reverberation Mapping of Nearby Active Galactic Nuclei

abstract: Reverberation mapping (RM) is one of the most efficient ways to investigate the broad-line region around the central supermassive black holes of active galactic nuclei (AGNs). A common way of performing the RM is to perform a long term spectroscopic monitoring of AGNs, but the spectroscopic monitoring campaign of a large number of AGNs requires an extensive amount of observing time of medium to large size telescopes. As an alternative way, we present the results of photometric RM with medium-band photometry. As the widths of medium-band filters match well with the widths of AGN broad emission lines, the medium-band observation with small telescopes can be a cost-effective way to perform RM. We monitored five nearby AGNs with available spectroscopic RM results showing days to weeks scale variability. Observations were performed for ~3 months with an average of 3 days cadence using three medium-band filters on a 0.43 m telescope. The time lags between the continuum and the H-alpha emission line light curves are calculated using the JAVELIN software and the discrete correlation function. We find time lags of 1.5-15.9 days for these AGNs, which are consistent with the time lags derived from previous spectroscopic RM measurements. This result demonstrates that even a 0.5 m class telescope can perform RM with medium-bands. Furthermore, we show that RM for tens of thousands AGNs is possible with a dedicated 1 m class telescope.


title: Never Worse, Mostly Better: Stable Policy Improvement in Deep Reinforcement Learning

abstract: In recent years, there has been significant progress in applying deep reinforcement learning (RL) for solving challenging problems across a wide variety of domains. Nevertheless, convergence of various methods has been shown to suffer from inconsistencies, due to algorithmic instability and variance, as well as stochasticity in the benchmark environments. Particularly, despite the fact that the agent's performance may be improving on average, it may abruptly deteriorate at late stages of training. In this work, we study methods for enhancing the agent's learning process, by providing conservative updates with respect to either the obtained history or a reference benchmark policy. Our method, termed EVEREST, obtains high confidence improvements via confidence bounds of a reference policy. Through extensive empirical analysis we demonstrate the benefit of our approach in terms of both performance and stabilization, with significant improvements in continuous control and Atari benchmarks.


title: Probe for Type Ia supernova progenitor in decihertz gravitational wave astronomy

abstract: It is generally believed that Type Ia supernovae are thermonuclear explosions of carbon-oxygen white dwarfs (WDs). However, there is currently no consensus regarding the events leading to the explosion. A binary WD (WD-WD) merger is a possible progenitor of Type Ia supernovae. Space-based gravitational wave (GW) detectors with considerable sensitivity in the deci-Hz range such as the DECi-hertz Interferometer Gravitational wave Observatory (DECIGO) can observe WD-WD mergers directly. Therefore, access to the deci-Hz band of GWs would enable multi-messenger observations of Type Ia supernovae to determine their progenitor and explosion mechanism. In this paper, we consider the event rate of WD-WD mergers and minimum detection range to observe one WD-WD merger per year, using a nearby galaxy catalog and the relation between the Ia supernova and host galaxy. Furthermore, we calculate DECIGO's ability to localize WD-WD mergers and to determine the masses of binary mergers. We estimate that the deci-Hz GW observatory can detect GWs with amplitudes $h\sim10^{-20}[\rm Hz^{-1/2}]$ at 0.01-0.1 Hz, which is 1000 times higher than the detection limit of DECIGO. Assuming progenitors of Ia supernovae are merging WD-WD ($1M_{\odot}-0.8M_{\odot}$), DECIGO is expected to detect 6600 WD-WD mergers within $z=0.08$, and identify the host galaxy of such WD-WD mergers within $z\sim0.065$ using GW detection alone.


title: Concept Drift Detection and Adaptation with Weak Supervision on Streaming Unlabeled Data

abstract: Concept drift in learning and classification occurs when the statistical properties of either the data features or target change over time; evidence of drift has appeared in search data, medical research, malware, web data, and video. Drift adaptation has not yet been addressed in high dimensional, noisy, low-context data such as streaming text, video, or images due to the unique challenges these domains present. We present a two-fold approach to deal with concept drift in these domains: a density-based clustering approach to deal with virtual concept drift (change in statistical properties of features) and a weak-supervision step to deal with real concept drift (change in statistical properties of target). Our density-based clustering avoids problems posed by the curse of dimensionality to create an evolving 'map' of the live data space, thereby addressing virtual drift in features. Our weak-supervision step leverages high-confidence labels (oracle or heuristic labels) to generate weighted training sets to generalize and update existing deep learners to adapt to changing decision boundaries (real drift) and create new deep learners for unseen regions of the data space. Our results show that our two-fold approach performs well with >90% precision in 2018, four years after initial deployment in 2014, without any human intervention.


title: Homogeneous coherent configurations from spherical buildings and other edge-coloured graphs

abstract: We study a class of edge-coloured graphs, including the chamber systems of buildings and other geometries such as affine planes, from which we build coherent configurations (also known as non-commutative association schemes). The condition we require is that the graph be endowed with a certain distance function, taking its values in the adjacency algebra (itself generated by the adjacency operators). When all the edges are of the same colour, the condition is equivalent to the graph being distance-regular, so our result is a generalization of the classical fact that distance-regular graphs give rise to association schemes. The Bose-Mesner algebra of the coherent configuration is then isomorphic to the adjacency algebra of the graph. The latter is more easily computed, and comes with a "small" set of generators, so we are able to produce examples of Bose-Mesner algebras with particularly simple presentations. When a group acts "strongly transitively", in a certain sense, on a graph, we show that a distance function as above exists canonically; moreover, when the graph is (the chamber system of) a building, we show that strong transitivity is equivalent to the usual condition involving pairs of incident chambers and apartments. We study affine planes in detail. These are not buildings, yet the machinery developed allows us to state and prove some results which are directly analogous to classical facts in the theory of projective planes (which {\em are} buildings). In particular, we prove that an affine plane with a group acting strongly transitively on it must be Desarguesian.


title: Ranking-based rich-get-richer processes

abstract: We study a discrete-time Markov process $X_n\in\mathbb{R}^d$, for which the distribution of the future increments depends only on the relative ranking of its components (descending order by value). We endow the process with a rich-get-richer assumption and show that, together with a finite second moments assumption, it is enough to guarantee almost sure convergence of $X_n$ / $n$. We characterize the possible limits if one is free to choose the initial state, and give a condition under which the initial state is irrelevant. Finally, we show how our framework can account for ranking-based P\'olya urns and can be used to study ranking-algorithms for web interfaces.


title: Order-Independent Structure Learning of Multivariate Regression Chain Graphs

abstract: This paper deals with multivariate regression chain graphs (MVR CGs), which were introduced by Cox and Wermuth [3,4] to represent linear causal models with correlated errors. We consider the PC-like algorithm for structure learning of MVR CGs, which is a constraint-based method proposed by Sonntag and Pe\~{n}a in [18]. We show that the PC-like algorithm is order-dependent, in the sense that the output can depend on the order in which the variables are given. This order-dependence is a minor issue in low-dimensional settings. However, it can be very pronounced in high-dimensional settings, where it can lead to highly variable results. We propose two modifications of the PC-like algorithm that remove part or all of this order-dependence. Simulations under a variety of settings demonstrate the competitive performance of our algorithms in comparison with the original PC-like algorithm in low-dimensional settings and improved performance in high-dimensional settings.


title: Acousto-electric study of microwave-induced current domains

abstract: Surface Acoustic Waves (SAW) have been utilized to investigate the properties of a two-dimensional electron system, subjected to a perpendicular magnetic field and monochromatic microwave radiation, in the regime where the so-called microwave-induced zero-resistance states form. Contrary to conventional magneto-transport in Hall bar and van der Pauw geometries, the collimated SAW beam probes only the bulk of the electronic system exposed to this wave. Clear signatures appear in the SAW propagation velocity corroborating that neither contacts, nor sample edges are a root source for their emergence. By virtue of the directional nature of this probing method and with the assistance of theoretical modelling, we were also able to demonstrate that the SAW response depends on the angle between its propagation vector and the orientation of domains which spontaneously form when zero-resistance is observed in transport. This confirms in unprecedented manner the formation of an inhomogeneous phase under these non-equilibrium conditions.


title: Fast Interpolation-based Globality Certificates for Computing Kreiss Constants and the Distance to Uncontrollability

abstract: We propose a new approach to computing global minimizers of singular value functions in two real variables. Specifically, we present new algorithms to compute the Kreiss constant of a matrix and the distance to uncontrollability of a linear control system, both to arbitrary accuracy. Previous state-of-the-art methods for these two quantities rely on 2D level-set tests that are based on solving large eigenvalue problems. Consequently, these methods are costly, i.e., $\mathcal{O}(n^6)$ work using dense eigensolvers, and often multiple tests are needed before convergence. Divide-and-conquer techniques have been proposed that reduce the work complexity to $\mathcal{O}(n^4)$ on average and $\mathcal{O}(n^5)$ in the worst case, but these variants are nevertheless still very expensive and can be numerically unreliable. In contrast, our new interpolation-based globality certificates perform level-set tests by building interpolant approximations to certain one-variable continuous functions that are both relatively cheap and numerically robust to evaluate. Our new approach has a $\mathcal{O}(kn^3)$ work complexity and uses $\mathcal{O}(n^2)$ memory, where $k$ is the number of function evaluations necessary to build the interpolants. Not only is this interpolation process mostly "embarrassingly parallel," but also low-fidelity approximations typically suffice for all but the final interpolant, which must be built to high accuracy. Even without taking advantage of the aforementioned parallelism, $k$ is sufficiently small that our new approach is generally orders of magnitude faster than the previous state-of-the-art.


title: Helios-r2 -- A new Bayesian, open-source retrieval model for brown dwarfs and exoplanet atmospheres

abstract: We present an improved, hybrid CPU-GPU atmospheric retrieval code, Helios-r2, which is applicable to medium-resolution emission spectra of brown dwarfs, in preparation for precision atmospheric spectroscopy in the era of the James Webb Space Telescope. The model is available as open-source code on the Exoclimes Simulation Platform. We subject Helios-r2 to a battery of tests of varying difficulty. The simplest test involves a mock retrieval on a forward model generated using the same radiative transfer technique, the same implementation of opacities, and the same chemistry model. The least trivial test involves a mock retrieval on synthetic spectra from the Sonora model grid, which uses a different radiative transfer technique, a different implementation of opacities, and a different chemistry model. A calibration factor, which is included to capture uncertainties in the brown dwarf radius, distance to the brown dwarf and flux calibration of the spectrum, may compensate, sometimes erroneously, for discrepancies in modeling choices and implementation. We analyze spectra of the benchmark brown dwarf GJ 570 D and the binary brown dwarf companions in the Epsilon Indi system. The retrieved surface gravities are consistent with previous studies and/or values inferred from dynamical masses (for Epsilon Indi Ba and Bb only). There remains no clear criterion on how to reject unphysical values of the retrieved brown dwarf radii. The inferred radii and corresponding masses should be taken with great caution. The retrieved carbon-to-oxygen ratios and metallicity depend on whether chemical equilibrium is assumed.


title: Computing the largest bond of a graph

abstract: A bond of a graph $G$ is an inclusion-wise minimal disconnecting set of $G$, i.e., bonds are cut-sets that determine cuts $[S,V\setminus S]$ of $G$ such that $G[S]$ and $G[V\setminus S]$ are both connected. Given $s,t\in V(G)$, an $st$-bond of $G$ is a bond whose removal disconnects $s$ and $t$. Contrasting with the large number of studies related to maximum cuts, there are very few results regarding the largest bond of general graphs. In this paper, we aim to reduce this gap on the complexity of computing the largest bond and the largest $st$-bond of a graph. Although cuts and bonds are similar, we remark that computing the largest bond of a graph tends to be harder than computing its maximum cut. We show that {\sc Largest Bond} remains NP-hard even for planar bipartite graphs, and it does not admit a constant-factor approximation algorithm, unless $P = NP$. We also show that {\sc Largest Bond} and {\sc Largest $st$-Bond} on graphs of clique-width $w$ cannot be solved in time $f(w)\times n^{o(w)}$ unless the Exponential Time Hypothesis fails, but they can be solved in time $f(w)\times n^{O(w)}$. In addition, we show that both problems are fixed-parameter tractable when parameterized by the size of the solution, but they do not admit polynomial kernels unless NP $\subseteq$ coNP/poly.


title: Extremal regular graphs of given chromatic number

abstract: We define an extremal $(r|\chi)$-graph as an $r$-regular graph with chromatic number $\chi$ of minimum order. We show that the Tur{\' a}n graphs $T_{ak,k}$, the antihole graphs and the graphs $K_k\times K_2$ are extremal in this sense. We also study extremal Cayley $(r|\chi)$-graphs and we exhibit several $(r|\chi)$-graph constructions arising from Tur{\' a}n graphs.


title: Online Geometric Discrepancy for Stochastic Arrivals with Applications to Envy Minimization

abstract: Consider a unit interval $[0,1]$ in which $n$ points arrive one-by-one independently and uniformly at random. On arrival of a point, the problem is to immediately and irrevocably color it in $\{+1,-1\}$ while ensuring that every interval $[a,b] \subseteq [0,1]$ is nearly-balanced. We define \emph{discrepancy} as the largest imbalance of any interval during the entire process. If all the arriving points were known upfront then we can color them alternately to achieve a discrepancy of $1$. What is the minimum possible expected discrepancy when we color the points online? We show that the discrepancy of the above problem is sub-polynomial in $n$ and that no algorithm can achieve a constant discrepancy. This is a substantial improvement over the trivial random coloring that only gets an $\widetilde{O}(\sqrt n)$ discrepancy. We then obtain similar results for a natural generalization of this problem to $2$-dimensions where the points arrive uniformly at random in a unit square. This generalization allows us to improve recent results of Benade et al.\cite{BenadeKPP-EC18} for the online envy minimization problem when the arrivals are stochastic.


title: Formal Language Constraints for Markov Decision Processes

abstract: In order to satisfy safety conditions, an agent may be constrained from acting freely. A safe controller can be designed a priori if an environment is well understood, but not when learning is employed. In particular, reinforcement learned (RL) controllers require exploration, which can be hazardous in safety critical situations. We study the benefits of giving structure to the constraints of a constrained Markov decision process by specifying them in formal languages as a step towards using safety methods from software engineering and controller synthesis. We instantiate these constraints as finite automata to efficiently recognise constraint violations. Constraint states are then used to augment the underlying MDP state and to learn a dense cost function, easing the problem of quickly learning joint MDP/constraint dynamics. We empirically evaluate the effect of these methods on training a variety of RL algorithms over several constraints specified in Safety Gym, MuJoCo, and Atari environments.


title: Learning Neural Causal Models from Unknown Interventions

abstract: Promising results have driven a recent surge of interest in continuous optimization methods for Bayesian network structure learning from observational data. However, there are theoretical limitations on the identifiability of underlying structures obtained from observational data alone. Interventional data provides much richer information about the underlying data-generating process. However, the extension and application of methods designed for observational data to include interventions is not straightforward and remains an open problem. In this paper we provide a general framework based on continuous optimization and neural networks to create models for the combination of observational and interventional data. The proposed method is even applicable in the challenging and realistic case that the identity of the intervened upon variable is unknown. We examine the proposed method in the setting of graph recovery both de novo and from a partially-known edge set. We establish strong benchmark results on several structure learning tasks, including structure recovery of both synthetic graphs as well as standard graphs from the Bayesian Network Repository.


title: Module Technology for Agrivoltaics: Vertical Bifacial vs. Tilted Monofacial Farms

abstract: Agrivoltaics is an innovative approach in which solar photovoltaic (PV) energy generation is collocated with agricultural production to enable food-energy-water synergies and landscape ecological conservation. This dual-use requirement leads to unique co-optimization challenges (e.g. shading, soiling, spacing) that make module technology and farm topology choices distinctly different from traditional solar farms. Here we compare the performance of the traditional optimally-titled North/South (N/S) faced monofacial farms with a potential alternative based on vertical East/West (E/W)-faced bifacial farms. Remarkably, the vertical farm produces essentially the same energy output and photosynthetically active radiation (PAR) compared to traditional farms as long as the PV array density is reduced to half or lower relative to that for the standard ground-mounted PV farms. Our results explain the relative merits of the traditional mono facial vs. vertical bifacial farms as a function of array density, acceptable PAR-deficit, and energy production. The combined PAR/Energy yields for the vertical bifacial farm may not always be superior, it could still be an attractive choice for agrivoltaics due to its distinct advantages such as minimum land coverage, least hindrance to the farm machinery and rainfall, inherent resilience to PV soiling, easier cleaning and cost advantages due to potentially reduced elevation.


abstract: We show that a critical vulnerability in adversarial imitation is the tendency of discriminator networks to learn spurious associations between visual features and expert labels. When the discriminator focuses on task-irrelevant features, it does not provide an informative reward signal, leading to poor task performance. We analyze this problem in detail and propose a solution that outperforms standard Generative Adversarial Imitation Learning (GAIL). Our proposed method, Task-Relevant Adversarial Imitation Learning (TRAIL), uses constrained discriminator optimization to learn informative rewards. In comprehensive experiments, we show that TRAIL can solve challenging robotic manipulation tasks from pixels by imitating human operators without access to any task rewards, and clearly outperforms comparable baseline imitation agents, including those trained via behaviour cloning and conventional GAIL.


title: ROS Rescue : Fault Tolerance System for Robot Operating System

abstract: In this chapter we discuss the problem of master failure in ROS1.0 and its impact on robotic deployments in the real world. We address this issue in this tutorial chapter where we outline, design and demonstrate a fault tolerant mechanism associated with ROS master failure. Unlike previous solutions which use primary backup replication and external checkpointing libraries which are process heavy, our mechanism adds a lightweight functionality to the ROS master to enable it to recover from failure. We present a modified version of ROS master which is equipped with a logging mechanism to record the meta information and network state of ROS nodes as well as a recovery mechanism to go back to the previous state without having to abort or restart all the nodes. We also implement an additional master monitor node responsible for failure detection on the master by polling it for its availability. Our code is implemented in python and preliminary tests were conducted successfully on a variety of land, aerial and underwater robots and a tele-operating computer running ROS Kinetic on Ubuntu 16.04. The code is publicly available under a creative commons license on github at https://github.com/PushyamiKaveti/fault-tolerant-ros-master


title: A deterministic theory of low rank matrix completion

abstract: The problem of completing a large low rank matrix using a subset of revealed entries has received much attention in the last ten years. The main result of this paper gives a necessary and sufficient condition, stated in the language of graph limit theory, for a sequence of matrix completion problems with arbitrary missing patterns to be asymptotically solvable. It is then shown that a small modification of the Cand\`es-Recht nuclear norm minimization algorithm provides the required asymptotic solution whenever the sequence of problems is asymptotically solvable. The theory is fully deterministic, with no assumption of randomness. A number of open questions are listed.


title: Dynamical supersymmetry enhancement of black hole horizons

abstract: This thesis is devoted to the study of dynamical symmetry enhancement of black hole horizons in string theory. In particular, we consider supersymmetric horizons in the low energy limit of string theory known as supergravity and we prove the $\textit{horizon conjecture}$ for a number of supergravity theories. We first give important examples of symmetry enhancement in $D=4$ and the mathematical preliminaries required for the analysis. Type IIA supergravity is the low energy limit of $D=10$ IIA string theory, but also the dimensional reduction of $D=11$ supergravity which itself the low energy limit of M-theory. We prove that Killing horizons in IIA supergravity with compact spatial sections preserve an even number of supersymmetries. By analyzing the global properties of the Killing spinors, we prove that the near-horizon geometries undergo a supersymmetry enhancement. This follows from a set of generalized Lichnerowicz-type theorems we establish, together with an index theory argument. We also show that the symmetry algebra of horizons with non-trivial fluxes includes an $\mathfrak{sl}(2, \mathbb{R})$ subalgebra. As an intermediate step in the proof, we also demonstrate new Lichnerowicz type theorems for spin bundle connections whose holonomy is contained in a general linear group. We prove the same result for Roman's Massive IIA supergravity. We also consider the near-horizon geometry of supersymmetric extremal black holes in un-gauged and gauged 5-dimensional supergravity, coupled to abelian vector multiplets. We consider important examples in $D=5$ such as the BMPV and supersymmetric black ring solution, and investigate the near-horizon geometry to show the enhancement of the symmetry algebra of the Killing vectors. We repeat a similar analysis as above to prove the horizon conjecture. We also investigate the conditions on the geometry of the spatial horizon section $\cal{S}$.


title: On the minimal number of generators of endomorphism monoids of full shifts

abstract: For a group $G$ and a finite set $A$, denote by $\text{End}(A^G)$ the monoid of all continuous shift commuting self-maps of $A^G$ and by $\text{Aut}(A^G)$ its group of units. We study the minimal cardinality of a generating set, known as the rank, of $\text{End}(A^G)$ and $\text{Aut}(A^G)$. In the first part, when $G$ is a finite group, we give upper and lower bounds for the rank of $\text{Aut}(A^G)$ in terms of the number of conjugacy classes of subgroups of $G$. In the second part, we apply our bounds to show that if $G$ has an infinite descending chain of normal subgroups of finite index, then $\text{End}(A^G)$ is not finitely generated; such is the case for wide classes of infinite groups, such as infinite residually finite or infinite locally graded groups.


title: Subexponential-time algorithms for finding large induced sparse subgraphs

abstract: Let $\mathcal{C}$ and $\mathcal{D}$ be hereditary graph classes. Consider the following problem: given a graph $G\in\mathcal{D}$, find a largest, in terms of the number of vertices, induced subgraph of $G$ that belongs to $\mathcal{C}$. We prove that it can be solved in $2^{o(n)}$ time, where $n$ is the number of vertices of $G$, if the following conditions are satisfied: * the graphs in $\mathcal{C}$ are sparse, i.e., they have linearly many edges in terms of the number of vertices; * the graphs in $\mathcal{D}$ admit balanced separators of size governed by their density, e.g., $\mathcal{O}(\Delta)$ or $\mathcal{O}(\sqrt{m})$, where $\Delta$ and $m$ denote the maximum degree and the number of edges, respectively; and * the considered problem admits a single-exponential fixed-parameter algorithm when parameterized by the treewidth of the input graph. This leads, for example, to the following corollaries for specific classes $\mathcal{C}$ and $\mathcal{D}$: * a largest induced forest in a $P_t$-free graph can be found in $2^{\tilde{\mathcal{O}}(n^{2/3})}$ time, for every fixed $t$; and * a largest induced planar graph in a string graph can be found in $2^{\tilde{\mathcal{O}}(n^{3/4})}$ time.


title: Rho resonance, timelike pion form factor, and implications for lattice studies of the hadronic vacuum polarisation

abstract: We study isospin-1 P-wave $\pi\pi$ scattering in lattice QCD with two flavours of O($a$) improved Wilson fermions. For pion masses ranging from $m_\pi=265$ MeV to $m_\pi=437$ MeV, we determine the energy spectrum in the centre-of-mass frame and in three moving frames. We obtain the scattering phase shifts using L\"uscher's finite-volume quantisation condition. Fitting the dependence of the phase shifts on the scattering momentum to a Breit-Wigner form allows us to determine the resonance parameters $m_\rho$ and $g_{\rho\pi\pi}$. By combining the scattering phase shifts with the decay matrix element of the vector current, we calculate the timelike pion form factor, $F_\pi$, and compare the results to the Gounaris-Sakurai representation of the form factor in terms of the resonance parameters. In addition, we fit our data for the form factor to the functional form suggested by the Omn\`es representation, which allows for the extraction of the charge radius of the pion. As a further application, we discuss the long-distance behaviour of the vector correlator, which is dominated by the two-pion channel. We reconstruct the long-distance part in two ways: one based on the finite-volume energies and matrix elements and the other based on $F_\pi$. It is shown that this part can be accurately constrained using the reconstructions, which has important consequences for lattice calculations of the hadronic vacuum polarisation contribution to the muon anomalous magnetic moment.


title: The Balakrishnan Alpha Skew Laplace Distribution: Properties and Its Applications

abstract: In this study by considering Balakrishnan mechanism a new form of alpha skew distribution is proposed and properties are investigated. The suitability of the proposed distribution has tested at the end with appropriate data fitting experiment and then comparing the values of Akaike Information Criterion (AIC), and Bayesian Information Criterion (BIC) with the values of some other related distributions. Likelihood ratio test is carried out for nested models, that is, for Laplace and the proposed distributions. Keywords: Skew Distribution, Alpha-Skew Distribution, Bimodal Distribution, Alpha-Skew-Normal Distribution, Alpha-Skew-Laplace Distribution, Balakrishnan-Alpha-Skew-Normal Distribution


title: On well-posedness and blow-up in the generalized Hartree equation

abstract: We study the generalized Hartree equation, which is a nonlinear Schr\"odinger-type equation with a nonlocal potential $iu_t + \Delta u + (|x|^{-b} \ast |u|^p)|u|^{p-2}u=0, x \in \mathbb{R}^N$.We establish the local well-posedness at the non-conserved critical regularity $\dot{H}^{s_c}$ for $s_c \geq 0$, which also includes the energy-supercritical regime $s_c>1$ (thus, complementing the work in [3], where the authors obtained the $H^1$ well-posedness in the intercritical regime together with classification of solutions under the mass-energy threshold). We next extend the local theory to global: for small data we obtain global in time existence and for initial data with positive energy and certain size of variance we show the finite time blow-up (blow-up criterion). Both of these results hold regardless of the criticality of the equation. In the intercritical setting the criterion produces blow-up solutions with the initial values above the mass-energy threshold. We conclude with examples showing currently known thresholds for global vs. finite time behavior.


title: Isometric Uncertainty Relations

abstract: We generalize the link between fluctuation theorems and thermodynamic uncertainty relations by deriving a bound on the variance of fluxes that satisfy an isometric fluctuation theorem. The resulting bound, which depends on the system's dimension $d$, naturally interpolates between two known bounds. The bound derived from the entropy production fluctuation theorem is recovered for $d=1$, and the original entropy production thermodynamic uncertainty relation is obtained in the $d \to \infty$ limit. We show that our result can be generalized to order parameters in equilibrium systems, and we illustrate the results on a Heisenberg spin chain.


title: Linearly-Solvable Mean-Field Approximation for Multi-Team Road Traffic Games

abstract: We study the traffic routing game among a large number of selfish drivers over a traffic network. We consider a specific scenario where the strategic drivers can be classified into teams, where drivers in the same team have identical payoff functions. An incentive mechanism is considered to mitigate congestion, where each driver is subject to dynamic tax penalties. We explore a special case in which the tax is affine in the logarithm of the number of drivers selecting the same route from each team. It is shown via a mean-field approximation that a Nash equilibrium in the limit of a large population can be found by linearly solvable algorithms.


title: Dark energy and inflation invoked in CCGG by locally contorted space-time

abstract: The cosmological implications of the Covariant Canonical Gauge Theory of Gravity (CCGG) are investigated. We deduce that, in a metric compatible geometry, the requirement of covariant conservation of matter invokes torsion of space-time. In the Friedman model this leads to a scalar field built from contortion and the metric with the property of dark energy, which transforms the cosmological constant to a time-dependent function. Moreover, the quadratic, scale invariant Riemann-Cartan term in the CCGG Lagrangian endows space-time with kinetic energy, and in the field equations adds a geometrical curvature correction to Einstein gravity. Applying in the Friedman model the standard $\Lambda$CDM parameter set, those equations yield a cosmological field depending just on one additional, dimensionless ``deformation'' parameter of the theory that determines the strength of the quadratic term, viz. the deviation from the Einstein-Hilbert ansatz. Moreover, the apparent curvature of the universe differs from the actual curvature parameter of the metric. The numerical analysis in that parameter space yields three cosmology types: (I) A bounce universe starting off from a finite scale followed by a steady inflation, (II) a singular Big Bang universe undergoing a secondary inflation-deceleration phase, and (III) a solution similar to standard cosmology but with a different temporal profile. The common feature of all scenarios is the graceful exit to the current dark energy era. The value of the deformation parameter can be deduced by comparing theoretical calculations with observations, namely with the SNeIa Hubble diagram and the deceleration parameter. That comparison implies a considerable admixture of scale invariant quadratic gravity to Einstein gravity. This theory also sheds new light on the resolution of the cosmological constant problem and of the Hubble tension.


title: Deep 3D Pan via adaptive "t-shaped" convolutions with global and local adaptive dilations

abstract: Recent advances in deep learning have shown promising results in many low-level vision tasks. However, solving the single-image-based view synthesis is still an open problem. In particular, the generation of new images at parallel camera views given a single input image is of great interest, as it enables 3D visualization of the 2D input scenery. We propose a novel network architecture to perform stereoscopic view synthesis at arbitrary camera positions along the X-axis, or Deep 3D Pan, with "t-shaped" adaptive kernels equipped with globally and locally adaptive dilations. Our proposed network architecture, the monster-net, is devised with a novel "t-shaped" adaptive kernel with globally and locally adaptive dilation, which can efficiently incorporate global camera shift into and handle local 3D geometries of the target image's pixels for the synthesis of naturally looking 3D panned views when a 2-D input image is given. Extensive experiments were performed on the KITTI, CityScapes and our VICLAB_STEREO indoors dataset to prove the efficacy of our method. Our monster-net significantly outperforms the state-of-the-art method, SOTA, by a large margin in all metrics of RMSE, PSNR, and SSIM. Our proposed monster-net is capable of reconstructing more reliable image structures in synthesized images with coherent geometry. Moreover, the disparity information that can be extracted from the "t-shaped" kernel is much more reliable than that of the SOTA for the unsupervised monocular depth estimation task, confirming the effectiveness of our method.


title: Right-sizing fluxonium against charge noise

abstract: We analyze the charge-noise induced coherence time $T_2$ of the fluxonium qubit as a function of the number of array junctions in the device, $N$. The pure dephasing rate decreases with $N$, but we find that the relaxation rate increases, so $T_2$ achieves an optimum as a function of $N$. This optimum can be much smaller than the number typically chosen in experiments, yielding a route to improved fluxonium coherence and simplified device fabrication at the same time.


title: W-Net: A CNN-based Architecture for White Blood Cells Image Classification

abstract: Computer-aided methods for analyzing white blood cells (WBC) have become widely popular due to the complexity of the manual process. Recent works have shown highly accurate segmentation and detection of white blood cells from microscopic blood images. However, the classification of the observed cells is still a challenge and highly demanded as the distribution of the five types reflects on the condition of the immune system. This work proposes W-Net, a CNN-based method for WBC classification. We evaluate W-Net on a real-world large-scale dataset, obtained from The Catholic University of Korea, that includes 6,562 real images of the five WBC types. W-Net achieves an average accuracy of 97%.


title: A Machine Learning framework for Sleeping Cell Detection in a Smart-city IoT Telecommunications Infrastructure

abstract: The smooth operation of largely deployed Internet of Things (IoT) applications will depend on, among other things, effective infrastructure failure detection. Access failures in wireless network Base Stations (BSs) produce a phenomenon called "sleeping cells", which can render a cell catatonic without triggering any alarms or provoking immediate effects on cell performance, making them difficult to discover. To detect this kind of failure, we propose a Machine Learning (ML) framework based on the use of Key Performance Indicator (KPI) statistics from the BS under study, as well as those of the neighboring BSs with propensity to have their performance affected by the failure. A simple way to define neighbors is to use adjacency in Voronoi diagrams. In this paper, we propose a much more realistic approach based on the nature of radio-propagation and the way devices choose the BS to which they send access requests. We gather data from large-scale simulators that use real location data for BSs and IoT devices and pose the detection problem as a supervised binary classification problem. We measure the effects on the detection performance by the size of time aggregations of the data, the level of traffic and the parameters of the neighborhood definition. The Extra Trees and Naive Bayes classifiers achieve Receiver Operating Characteristic (ROC) Area Under the Curve (AUC) scores of 0.996 and 0.993, respectively, with False Positive Rate (FPR) under 5 %. The proposed framework holds potential for other pattern recognition tasks in smart-city wireless infrastructures, that would enable the monitoring, prediction and improvement of the Quality of Service (QoS) experienced by IoT applications.


title: Search for Surviving Companions of Progenitors of Young LMC Type Ia Supernova Remnants

abstract: We have used two methods to search for surviving companions of Type Ia supernova progenitors in three Balmer-dominated supernova remnants (SNRs) in the Large Magellanic Cloud: 0519-69.0, 0505-67.9 (DEM L71), and 0548-70.4. In the first method, we use the Hubble Space Telescope photometric measurements of stars to construct color-magnitude diagrams (CMDs), and compare positions of stars in the CMDs with those expected from theoretical post-impact evolution of surviving main sequence or helium star companions. No obvious candidates of surviving companion are identified in this photometric search. Future models for surviving red giant companions or with different explosion mechanisms are needed for thorough comparisons with these observations in order to make more definitive conclusions. In the second method, we use Multi-Unit Spectroscopic Explorer (MUSE) observations of 0519-69.0 and DEM L71 to carry out spectroscopic analyses of stars in order to use large peculiar radial velocities as diagnostics of surviving companions. We find a star in 0519-69.0 and a star in DEM L71 moving at radial velocities of 182 $\pm$ 0 km s$^{-1}$ and 213 $\pm$ 0 km s$^{-1}$, more than 2.5$\sigma$ from the mean radial velocity of the underlying stellar population, 264 km s$^{-1}$ and 270 km s$^{-1}$, respectively. These stars need higher-quality spectra to investigate their abundances and rotation velocities to determine whether they are indeed surviving companions of the SN progenitors.


title: More number theory in $\beta N$

abstract: We continue the research of an extension $\widetilde{\mid}$ of the divisibility relation to the Stone-\v Cech compactification $\beta N$. First we prove that ultrafilters we call prime actually possess the algebraic property of primality. Several questions concerning the connection between divisibilities in $\beta N$ and nonstandard extensions of $N$ are answered, providing a few more equivalent conditions for divisibility in $\beta N$. Results on uncountable chains in $(\beta N,\widetilde{\mid})$ are proved and used in a construction of a well-ordered chain of maximal cardinality. Finally, we consider ultrafilters without divisors in $N$ and among them find the maximal class.


title: The Multivariate Schwartz-Zippel Lemma

abstract: Motivated by applications in combinatorial geometry, we consider the following question: Let $\lambda=(\lambda_1,\lambda_2,\ldots,\lambda_m)$ be an $m$-partition of a positive integer $n$, $S_i \subseteq \mathbb{C}^{\lambda_i}$ be finite sets, and let $S:=S_1 \times S_2 \times \ldots \times S_m \subset \mathbb{C}^n$ be the multi-grid defined by $S_i$. Suppose $p$ is an $n$-variate degree $d$ polynomial. How many zeros does $p$ have on $S$? We first develop a multivariate generalization of Combinatorial Nullstellensatz that certifies existence of a point $t \in S$ so that $p(t) \neq 0$. Then we show that a natural multivariate generalization of the DeMillo-Lipton-Schwartz-Zippel lemma holds, except for a special family of polynomials that we call $\lambda$-reducible. This yields a simultaneous generalization of Szemer\'edi-Trotter theorem and Schwartz-Zippel lemma into higher dimensions, and has applications in incidence geometry. Finally, we develop a symbolic algorithm that identifies certain $\lambda$-reducible polynomials. More precisely, our symbolic algorithm detects polynomials that include a cartesian product of hypersurfaces in their zero set. It is likely that using Chow forms the algorithm can be generalized to handle arbitrary $\lambda$-reducible polynomials, which we leave as an open problem.


title: Superfiltered $A_\infty$-deformations of the exterior algebra, and local mirror symmetry

abstract: The exterior algebra $E$ on a finite-rank free module $V$ carries a $\mathbb{Z}/2$-grading and an increasing filtration, and the $\mathbb{Z}/2$-graded filtered deformations of $E$ as an associative algebra are the familiar Clifford algebras, classified by quadratic forms on $V$. We extend this result to $A_\infty$-algebra deformations $\mathcal{A}$, showing that they are classified by formal functions on $V$. The proof translates the problem into the language of matrix factorisations, using the localised mirror functor construction of Cho-Hong-Lau, and works over an arbitrary ground ring. We also compute the Hochschild cohomology algebras of such $\mathcal{A}$. By applying these ideas to a related construction of Cho-Hong-Lau we prove a local form of homological mirror symmetry: the Floer $A_\infty$-algebra of a monotone Lagrangian torus is quasi-isomorphic to the endomorphism algebra of the expected matrix factorisation of its superpotential.


title: A three-phase approach to grain surface chemistry in protoplanetary disks: Gas, ice surfaces and ice mantles of dust grains

abstract: We study the effects of grain surface reactions on the chemistry of protoplanetary disks where gas, ice surface layers and icy mantles of dust grains are considered as three distinct phases. Gas phase and grain surface chemistry is found to be mainly driven by photo-reactions and dust temperature gradients. The icy disk interior has three distinct chemical regions: (i) the inner midplane with low FUV fluxes and warm dust ($\gtrsim 15$K) that lead to the formation of complex organic molecules, (ii) the outer midplane with higher FUV from the ISM and cold dust where hydrogenation reactions dominate and, (iii) a molecular layer above the midplane but below the water condensation front where photodissociation of ices affects gas phase compositions. Some common radicals, e.g., CN and C$_2$H, exhibit a two-layered vertical structure and are abundant near the CO photodissociation front and near the water condensation front. The 3-phase approximation in general leads to lower vertical column densities than 2-phase models for many gas-phase molecules due to reduced desorption, e.g., H$_2$O, CO$_2$, HCN and HCOOH decrease by $\sim$ two orders of magnitude. Finally, we find that many observed gas phase species originate near the water condensation front; photo-processes determine their column densities which do not vary significantly with key disk properties such as mass and dust/gas ratio.


title: Linear programming approach to optimal impulse control problems with functional constraints

abstract: This paper considers an optimal impulse control problem of dynamical systems generated by a flow. The performance criteria are total costs over the infinite time horizon. Apart from the main performance to be minimized, there are multiple constraints on performance functionals of a similar type. Under a natural set of compactness-continuity conditions on the system primitives, we establish a linear programming approach, and prove the existence of a stationary optimal control strategy out of a more general class of randomized strategies. This is done by making use of the tools from Markov decision processes.


title: Graph modification for edge-coloured and signed graph homomorphism problems: parameterized and classical complexity

abstract: We study the complexity of graph modification problems with respect to homomorphism-based colouring properties of edge-coloured graphs. A homomorphism from edge-coloured graph $G$ to edge-coloured graph $H$ is a vertex-mapping from $G$ to $H$ that preserves adjacencies and edge-colours. We consider the property of having a homomorphism to a fixed edge-coloured graph $H$. The question we are interested in is: given an edge-coloured graph $G$, can we perform $k$ graph operations so that the resulting graph admits a homomorphism to $H$? The operations we consider are vertex-deletion, edge-deletion and switching (an operation that permutes the colours of the edges incident to a given vertex). Switching plays an important role in the theory of signed graphs, that are 2-edge-coloured graphs whose colours are the signs $+$ and $-$. We denote the corresponding problems (parameterized by $k$) by VD-$H$-COLOURING, ED-$H$-COLOURING and SW-$H$-COLOURING. These problems generalise $H$-COLOURING (to decide if an input graph admits a homomorphism to a fixed target $H$). Our main focus is when $H$ is an edge-coloured graph with at most two vertices, a case that is already interesting as it includes problems such as VERTEX COVER, ODD CYCLE RANSVERSAL and EDGE BIPARTIZATION. For such a graph $H$, we give a P/NP-c complexity dichotomy for VD-$H$-COLOURING, ED-$H$-COLOURING and SW-$H$-COLOURING. We then address their parameterized complexity. We show that VD-$H$-COLOURING and ED-$H$-COLOURING for all such $H$ are FPT. In contrast, already for some $H$ of order 3, unless P=NP, none of the three problems is in XP, since 3-COLOURING is NP-c. We show that SW-$H$-COLOURING is different: there are three 2-edge-coloured graphs $H$ of order 2 for which SW-$H$-COLOURING is W-hard, and assuming the ETH, admits no algorithm in time $f(k)n^{o(k)}$. For the other cases, SW-$H$-COLOURING is FPT.


title: Optimistic Value Iteration

abstract: Markov decision processes are widely used for planning and verification in settings that combine controllable or adversarial choices with probabilistic behaviour. The standard analysis algorithm, value iteration, only provides a lower bound on unbounded probabilities or reward values. Two "sound" variations, which also deliver an upper bound, have recently appeared. In this paper, we present optimistic value iteration, a new sound approach that leverages value iteration's ability to usually deliver tight lower bounds: we obtain a lower bound via standard value iteration, use the result to "guess" an upper bound, and prove the latter's correctness. Optimistic value iteration is easy to implement, does not require extra precomputations or a priori state space transformations, and works for computing reachability probabilities as well as expected rewards. It is also fast, as we show via an extensive experimental evaluation using our publicly available implementation within the Modest Toolset.


title: Geometric and algebraic presentations of Weinstein domains

abstract: We prove that geometric intersections between Weinstein handles induce algebraic relations in the wrapped Fukaya category, which we use to study the Grothendieck group. We produce a surjective map from middle-dimensional singular cohomology to the Grothendieck group, show that the geometric acceleration map to symplectic cohomology factors through the categorical Dennis trace map, and introduce a Viterbo functor for $C^0$-close Weinstein hypersurfaces, which gives an obstruction for Legendrians to be $C^0$-close. We show that symplectic flexibility is a geometric manifestation of Thomason's correspondence between split-generating subcategories and subgroups of the Grothendieck group, which we use to upgrade Abouzaid's split-generation criterion to a generation criterion for Weinstein domains. Thomason's theorem produces exotic presentations for certain categories and we give geometric analogs: exotic Weinstein presentations for standard cotangent bundles and Legendrians whose Chekanov-Eliashberg algebras are not quasi-isomorphic but are derived Morita equivalent.


title: Role of quantum confinement and interlayer coupling in CrI$_3$-graphene magnetic tunnel junctions

abstract: Recent demonstrations of magnetic ordering and spin transport in two-dimensional heterostructures have opened research venues in these material systems. In order to control and enhance the related physical phenomena, quantitative descriptions linking experimental observations to atomic details must be produced. Here we combine first principles and quantum ballistic transport calculations to shed important insights from an atomistic viewpoint on the underlying mechanisms governing spin transport in graphene/CrI$_3$ junctions. Descriptions of the electronic structure reveal that tunneling is the dominant transport mechanism in these heterostructures and help differentiate intermediate metamagnetic states present in the switching process. We find that quantum confinement and layer-layer interactions are key to describing transport in these two-dimensional systems. Ballistic transport calculations further support these findings and yield magnetoresistance values in remarkable agreement with experiments. The short width of these barriers limits analysis solely based on the bulk complex band structure often employed in the description of magnetic tunnel junctions. Our work devises mechanisms to attain larger tunneling magnetoresistances, proving valuable to the advancement of spin valves in layered heterostructures.


title: Observation of Arnold Tongues in Coupled Soliton Kerr Frequency Combs

abstract: We demonstrate various regimes of synchronization in systems of two coupled cavity soliton-based Kerr frequency combs. We show sub-harmonic, harmonic and harmonic-ratio synchronization of coupled microresonators, and reveal their dynamics in the form of Arnold tongues, structures that are ubiquitous in nonlinear dynamical systems. Our experimental results are well corroborated by numerical simulations based on coupled Lugiato-Lefever equations. This study illustrates the newfound degree of flexibility in synchronizing Kerr combs across a wide range of comb spacings and could find applications in time and frequency metrology, spectroscopy, microwave photonics, optical communications, and astronomy.


title: $k$-evolution: a relativistic N-body code for clustering dark energy

abstract: We introduce $k$-evolution, a relativistic $N$-body code based on $\textit{gevolution}$, which includes clustering dark energy among its cosmological components. To describe dark energy, we use the effective field theory approach. In particular, we focus on $k$-essence with a speed of sound much smaller than unity but we lay down the basis to extend the code to other dark energy and modified gravity models. We develop the formalism including dark energy non-linearities but, as a first step, we implement the equations in the code after dropping non-linear self-coupling in the $k$-essence field. In this simplified setup, we compare $k$-evolution simulations with those of $\texttt{CLASS}$ and $\textit{gevolution}$ 1.2, showing the effect of dark matter and gravitational non-linearities on the power spectrum of dark matter, of dark energy and of the gravitational potential. Moreover, we compare $k$-evolution to Newtonian $N$-body simulations with back-scaled initial conditions and study how dark energy clustering affects massive halos.


title: Parametrising non-linear dark energy perturbations

abstract: In this paper, we quantify the non-linear effects from $k$-essence dark energy through an effective parameter $\mu$ that encodes the additional contribution of a dark energy fluid or a modification of gravity to the Poisson equation. This is a first step toward quantifying non-linear effects of dark energy/modified gravity models in a more general approach. We compare our $N$-body simulation results from $k$-evolution with predictions from the linear Boltzmann code $\texttt{CLASS}$, and we show that for the $k$-essence model one can safely neglect the difference between the two potentials, $ \Phi -\Psi$, and short wave corrections appearing as higher order terms in the Poisson equation, which allows us to use single parameter $\mu$ for characterizing this model. We also show that for a large $k$-essence speed of sound the $\texttt{CLASS}$ results are sufficiently accurate, while for a low speed of sound non-linearities in matter and in the $k$-essence field are non-negligible. We propose a $\tanh$-based parameterisation for $\mu$, motivated by the results for two cases with low ($c_s^2=10^{-7}$) and high ($c_s^2=10^{-4}$) speed of sound, to include the non-linear effects based on the simulation results. This parametric form of $\mu$ can be used to improve Fisher forecasts or Newtonian $N$-body simulations for $k$-essence models.


title: Outflows from inflows: the nature of Bondi-like accretion

abstract: The classic Bondi solution remains a common starting point both for studying black hole growth across cosmic time in cosmological simulations and for smaller scale simulations of AGN feedback. In nature, however, there will be inhomogenous distributions of rotational velocity and density along the outer radius ($R_o$) marking the sphere of influence of a black hole. While there have been many studies of how the Bondi solution changes with a prescribed angular momentum boundary condition, they have all assumed a constant density at $R_o$. In this Letter, we show that a non-uniform density at $R_o$ causes a meridional flow and due to conservation of angular momentum, the Bondi solution qualitatively changes into an inflow-outflow solution. Using physical arguments, we analytically identify the critical logarithmic density gradient $|\partial{\ln{\rho}}/\partial{\theta}|$ above which this change of the solution occurs. For realistic $R_o$, this critical gradient is less than 0.01 and tends to 0 as $R_o \rightarrow \infty$. We show using numerical simulations that, unlike for solutions with an imposed rotational velocity, the accretion rate for solutions under an inhomogenous density boundary condition remains constant at nearly the Bondi rate $\dot{M}_B$, while the outflow rate can greatly exceed $\dot{M}_B$.


title: Single-valued integration and superstring amplitudes in genus zero

abstract: We study open and closed string amplitudes at tree-level in string perturbation theory using the methods of single-valued integration which were developed in the prequel to this paper. Using dihedral coordinates on the moduli spaces of curves of genus zero with marked points, we define a canonical regularisation of both open and closed string perturbation amplitudes at tree level, and deduce that they admit a Laurent expansion in Mandelstam variables whose coefficients are multiple zeta values (resp. single-valued multiple zeta values). Furthermore, we prove the existence of a motivic Laurent expansion whose image under the period map is the open string expansion, and whose image under the single-valued period map is the closed string expansion. This proves the recent conjecture of Stieberger that closed string amplitudes are the single-valued projections of (motivic lifts of) open string amplitudes. Finally, applying a variant of the single-valued formalism for cohomology with coefficients yields the KLT formula expressing closed string amplitudes as quadratic expressions in open string amplitudes.


title: DistilBERT, a distilled version of BERT: smaller, faster, cheaper and lighter

abstract: As Transfer Learning from large-scale pre-trained models becomes more prevalent in Natural Language Processing (NLP), operating these large models in on-the-edge and/or under constrained computational training or inference budgets remains challenging. In this work, we propose a method to pre-train a smaller general-purpose language representation model, called DistilBERT, which can then be fine-tuned with good performances on a wide range of tasks like its larger counterparts. While most prior work investigated the use of distillation for building task-specific models, we leverage knowledge distillation during the pre-training phase and show that it is possible to reduce the size of a BERT model by 40%, while retaining 97% of its language understanding capabilities and being 60% faster. To leverage the inductive biases learned by larger models during pre-training, we introduce a triple loss combining language modeling, distillation and cosine-distance losses. Our smaller, faster and lighter model is cheaper to pre-train and we demonstrate its capabilities for on-device computations in a proof-of-concept experiment and a comparative on-device study.


title: Complete spin phase diagram of the fractional quantum Hall liquid

abstract: Study of the ground-state electronic spin-polarization can permit discovery and identification of novel correlated phases in the quantum Hall (QH) system. It can thus determine the potential usefulness of QH states for quantum computing. However, prior measurements involving optical and NMR techniques may perturb the system away from delicate ground-states. Here, we present spin-resolved pulsed tunneling (SRPT) that precisely determines the complete phase diagram of the ground-state spin-polarization as a function of magnetic field (B) and filling factor ({\nu}). We observe fully-polarized {\nu} = 5/2 and 8/3 states at very small B, suggesting strong deviation from the weakly-interacting composite-fermion model that largely successfully describes our phase diagram for the lowest Landau level. The results establish SRPT as a powerful technique for investigating correlated electron phenomena.


title: Proximity induced spin orbit effects in graphene on Au

abstract: We introduce a $p_{z}-d$ coupling model Hamiltonian for the $\pi$-graphene/Au bands that predicts a rather large intrinsic spin-orbit (SO) coupling as are being reported in recent experiments and DFT studies. Working within the analytical Slater-Koster tight-binding approach we were able to identify the overlapping orbitals of relevance in the enhancement of the SO coupling for both, the sublattice symmetric (BC), and the ATOP (AC) stacking configurations. Our model effective Hamiltonian reproduces quite well the experimental spectrum for the two registries, and in addition, its shows that the hollow site configuration (BC), in which the A/B sites remain symmetric, yields the larger increase of the SO coupling. We also explore the Au-diluted case keeping the BC configuration and showed that it renders the preservation of the SO-gap with a similar SO interaction enhancement as the undiluted case but with a smaller graphene-gold distance.


title: Metallicity and absolute magnitude calibrations for F-G type main-sequence stars in the Gaia era

abstract: In this study, photometric metallicity and absolute magnitude calibrations were derived using F-G spectral type main-sequence stars in the Solar neighbourhood with precise spectroscopic, photometric and Gaia astrometric data for UBV photometry. The sample consists of 504 main-sequence stars covering the temperature, surface gravity and colour index intervals $5300<T_{eff} < 7300$ K, $\log g > 4$ (cgs) and $0.3<(B-V)_0<0.8$ mag, respectively. Stars with relative trigonometric parallax errors $\sigma_{\pi}/\pi\leq0.01$ were preferred from Gaia DR2 data for the estimation of their $M_V$ absolute magnitudes. In order to obtain calibrations, $(U-B)_0$ and $(B-V)_0$ colour indices of stars were preferred and a multi-variable second order equation was used. Calibrations are valid for main-sequence stars in the metallicity and absolute magnitude ranges $-2<{\rm [Fe/H]}<0.5$ dex and $2.5<M_V<6$ mag, respectively. The mean value and standard deviation of the differences between original and estimated values for the metal abundance and absolute magnitude are $\langle\Delta {\rm[Fe/H]}\rangle=0.00\pm0.11$ dex and $\langle\Delta M_V \rangle=0.00\pm0.22$ mag, respectively. In this work, it has been shown that more precise iron abundance and absolute magnitude values were obtained with the new calibrations, compared to previous calibrations in the literature.


title: Elastic-InfoGAN: Unsupervised Disentangled Representation Learning in Class-Imbalanced Data

abstract: We propose a novel unsupervised generative model that learns to disentangle object identity from other low-level aspects in class-imbalanced data. We first investigate the issues surrounding the assumptions about uniformity made by InfoGAN, and demonstrate its ineffectiveness to properly disentangle object identity in imbalanced data. Our key idea is to make the discovery of the discrete latent factor of variation invariant to identity-preserving transformations in real images, and use that as a signal to learn the appropriate latent distribution representing object identity. Experiments on both artificial (MNIST, 3D cars, 3D chairs, ShapeNet) and real-world (YouTube-Faces) imbalanced datasets demonstrate the effectiveness of our method in disentangling object identity as a latent factor of variation.


title: The LoDoPaB-CT Dataset: A Benchmark Dataset for Low-Dose CT Reconstruction Methods

abstract: Deep Learning approaches for solving Inverse Problems in imaging have become very effective and are demonstrated to be quite competitive in the field. Comparing these approaches is a challenging task since they highly rely on the data and the setup that is used for training. We provide a public dataset of computed tomography images and simulated low-dose measurements suitable for training this kind of methods. With the LoDoPaB-CT Dataset we aim to create a benchmark that allows for a fair comparison. It contains over 40,000 scan slices from around 800 patients selected from the LIDC/IDRI Database. In this paper we describe how we processed the original slices and how we simulated the measurements. We also include first baseline results.


title: Intrusion detection systems using classical machine learning techniques versus integrated unsupervised feature learning and deep neural network

abstract: Security analysts and administrators face a lot of challenges to detect and prevent network intrusions in their organizations, and to prevent network breaches, detecting the breach on time is crucial. Challenges arise while detecting unforeseen attacks. This work includes a performance comparison of classical machine learning approaches that require vast feature engineering, versus integrated unsupervised feature learning and deep neural networks on the NSL-KDD dataset. Various trials of experiments were run to identify suitable hyper-parameters and network configurations of machine learning models. The DNN using 15 features extracted using Principal Component analysis was the most effective modeling method. The further analysis using the Software Defined Networking features also presented a good accuracy using Deep Neural network.


title: Multirange Ising model on the square lattice

abstract: We study the Ising model on $\mathbb{Z}^{2}$ and show, via numerical simulation, that allowing interactions between spins separated by distances $1$ and $m$ (two ranges), the critical temperature, $ T_c (m) $, converges monotonically to the critical temperature of the Ising model on $\mathbb{Z}^4$ as $ m \to \infty $. Only interactions between spins located in directions parallel to each coordinate axis are considered. We also simulated the model with interactions between spins at distances of $ 1 $, $ m $ and $ u $ (three ranges), with $ u $ a multiple of $ m $; in this case our results indicate that $ T_c(m, u) $ converges to the critical temperature of the model on $ \mathbb{Z}^6$. For percolation, analogous results were proven for the critical probability $p_c$ [B. N. B. de Lima, R. P. Sanchis and R. W. C. Silva, Stochastic Process. Appl. {\bf 121}, 2043 (2011)].


title: Robustly Extracting Medical Knowledge from EHRs: A Case Study of Learning a Health Knowledge Graph

abstract: Increasingly large electronic health records (EHRs) provide an opportunity to algorithmically learn medical knowledge. In one prominent example, a causal health knowledge graph could learn relationships between diseases and symptoms and then serve as a diagnostic tool to be refined with additional clinical input. Prior research has demonstrated the ability to construct such a graph from over 270,000 emergency department patient visits. In this work, we describe methods to evaluate a health knowledge graph for robustness. Moving beyond precision and recall, we analyze for which diseases and for which patients the graph is most accurate. We identify sample size and unmeasured confounders as major sources of error in the health knowledge graph. We introduce a method to leverage non-linear functions in building the causal graph to better understand existing model assumptions. Finally, to assess model generalizability, we extend to a larger set of complete patient visits within a hospital system. We conclude with a discussion on how to robustly extract medical knowledge from EHRs.


title: The quantum phase of a dyon

abstract: When a dyon encircles an infinitely-long solenoid enclosing uniform electric and magnetic fields, its wave function accumulates a duality-invariant quantum phase, which is topological because it depends on a winding number and is nonlocal because the enclosed fields act on the dyon in regions where these fields vanish. Here, we derive this dyon phase and show how its duality symmetry unifies the Aharonov-Bohm phase with its dual phase. We obtain the energy levels, the two-slit interference shift, and the scattering amplitude associated with the duality-invariant quantum phase. Assuming that the dyon has spin 1/2, we show that this spin does not affect the introduced phase. We argue that a spin 1/2 dyon has electric and magnetic moments, the former being greater than the latter because of the Schwinger-Zwanziger quantisation condition.


title: On duality principles for one and three-dimensional non-linear models in elasticity

abstract: In this article, we develop duality principles applicable to primal variational formulations found in the non-linear elasticity theory. As a first application, we establish the concerning results in details for one and three-dimensional models. We emphasize such duality principles are applicable to a larger class of variational optimization problems, such as non-linear models of plates and shells and other models in elasticity. Finally, we formally prove there is no duality gap between the primal and dual formulations, in a local extremal context.


title: New smoothly connecting open curves for modeling nucleosome-decorated DNA

abstract: We introduce an analytical method to generate the pathway of a closed protein-bound DNA minicircle. This is a general method which can be used to connect any two open curves with well defined mathematical definitions as well as pairs of discrete systems found experimentally. We used this method to describe the configurations of torsionally relaxed, 360-base pair DNA rings with two evenly-spaced, ideal nucleosomes. We considered superhelical nucleosomal pathways with different levels of DNA wrapping and allowed for different inter-nucleosome orientations. We completed the DNA circles with the smooth connectors and studied the associated bending and electrostatic energies for different configurations in the absence and presence of salt. The predicted stable states bear close resemblance to reconstituted minicircles observed under low and high salt conditions.


title: Elementary Proof of a generalization of the Perron-Frobenius theorem in an ordered Banach space

abstract: We work in an ordered Banach space with closed generating positive cone. We show that a positive compact operator has zero spectral radius or a positive eigenvector with the corresponding eigenvalue equal to the spectral radius.


title: An ALMA survey of the SCUBA-2 Cosmology Legacy Survey UKIDSS/UDS field: High-resolution dust continuum morphologies and the link between sub-millimetre galaxies and spheroid formation

abstract: We present an analysis of the morphology and profiles of the dust continuum emission in 153 bright sub-millimetre galaxies (SMGs) detected with ALMA at S/N ratios of $>8$ in high-resolution $0.18''$ ($\sim1$kpc) 870$\mu$m maps. We measure sizes, shapes and light profiles for the rest-frame far-infrared emission from these luminous star-forming systems and derive a median effective radius ($R_e$) of $0.10''\pm0.04''$ for our sample with a median flux of $S_{870}=5.6\pm0.2$mJy. We find that the apparent axial ratio ($b/a$) distribution of the SMGs peaks at $b/a\sim0.63\pm0.24$ and is best described by triaxial morphologies, while their emission profiles are best fit by a Sersic model with $n\simeq1.0\pm0.1$, similar to exponential discs. This combination of triaxiality and $n\sim1$ Sersic index are characteristic of bars and we suggest that the bulk of the 870$\mu$m dust continuum emission in the central $\sim2$kpc of these galaxies arises from bar-like structures. By stacking our 870$\mu$m maps we recover faint extended dust continuum emission on $\sim4$kpc scales which contributes $13\pm1$% of the total 870$\mu$m emission. The scale of this extended emission is similar to that seen for the molecular gas and rest-frame optical light in these systems, suggesting that it represents an extended dust and gas disc at radii larger than the more active bar component. Including this component in our estimated size of the sources we derive a typical effective radius of $\simeq0.15''\pm0.05''$ or $1.2\pm0.4$kpc. Our results suggest that kpc-scale bars are ubiquitous features of high star-formation rate systems at $z\gg1$, while these systems also contain fainter and more extended gas and stellar envelopes. We suggest that these features, seen some $10-12$Gyrs ago, represent the formation phase of the earliest galactic-scale components: stellar bulges.


title: OpenVSLAM: A Versatile Visual SLAM Framework

abstract: In this paper, we introduce OpenVSLAM, a visual SLAM framework with high usability and extensibility. Visual SLAM systems are essential for AR devices, autonomous control of robots and drones, etc. However, conventional open-source visual SLAM frameworks are not appropriately designed as libraries called from third-party programs. To overcome this situation, we have developed a novel visual SLAM framework. This software is designed to be easily used and extended. It incorporates several useful features and functions for research and development.


title: The Fates of the Circumgalactic Medium in the FIRE Simulations

abstract: We analyze the different fates of the circumgalactic medium (CGM) in FIRE-2 cosmological simulations, focusing on the redshifts z=0.25 and z=2 representative of recent surveys. Our analysis includes 21 zoom-in simulations covering the halo mass range Mh(z=0) ~ 10^10 - 10^12 Msun. We analyze both where the gas ends up after first leaving the CGM (its "proximate" fate), as well as its location at z=0 (its "ultimate" fate). Of the CGM at z=2, about half is found in the ISM or stars of the central galaxy by z=0 in Mh(z=2) ~ 5e11 Msun halos, but most of the CGM in lower-mass halos ends up in the IGM. This is so even though most of the CGM in M_h(z=2) ~ 5e10 Msun halos first accretes onto the central galaxy before being ejected into the IGM. On the other hand, most of the CGM mass at z=0.25 remains in the CGM by z=0 at all halo masses analyzed. Of the CGM gas that subsequently accretes onto the central galaxy in the progenitors of Mh(z=0) ~10^12 Msun halos, most of it is cool (T~10^4 K) at z=2 but hot (~Tvir) at z=0.25, consistent with the expected transition from cold mode to hot mode accretion. Despite the transition in accretion mode, at both z=0.25 and z=2 >~80% of the cool gas in Mh >~ 10^11 Msun halos will accrete onto a galaxy. We find that the metallicity of CGM gas is typically a poor predictor of both its proximate and ultimate fates. This is because there is in general little correlation between the origin of CGM gas and its fate owing to substantial mixing while in the CGM.


title: Gravitational traces of broken gauge symmetries

abstract: We investigate first order phase transitions arising from hidden sectors which are in thermal equilibrium with the Standard Model bath in the Early Universe. Focusing on two simplified scenarios, an higgsed U(1) and a two scalar singlet model, we show the impact of friction effects acting on the bubble walls on the gravitational wave spectra and on the consequences for present and future interferometer experiments. We further comment on the possibility of disentangling the properties of the underlying theory featuring the first order phase transition should a stochastic gravitational wave signal be discovered.


title: Application of the Resource Theory of Channels to Communication Scenarios

abstract: We introduce a resource theory of channels relevant to communication via quantum channels, in which the set of constant channels --- useless channels for communication tasks --- is considered as the free resource. We find that our theory with such a simple structure is useful to address central problems in quantum Shannon theory --- in particular, we provide a converse bound for the one-shot non-signalling assisted classical capacity that naturally leads to its strong converse property, as well as obtain the one-shot channel simulation cost with non-signalling assistance. We clarify an intimate connection between the non-signalling assistance and our formalism by identifying the non-signalling assisted channel coding with the channel transformation under the maximal set of resource non-generating superchannels, providing a physical characterization of the latter. Our results provide new perspectives and concise arguments to those problems, connecting the recently developed fields of resource theories to `classic' settings in quantum information theory and shedding light on the validity of resource theories of channels as effective tools to address practical problems.


title: The Salpeter IMF and its descendants

abstract: The stellar initial mass function (IMF) is the key to understanding the matter cycle in the Universe. Edwin Salpeter's paper of 1955 founded this research field. Evidence today, however, challenges the initial mass function as an invariant probability distribution function.


title: On the Impact of Neutrino Decays on the Supernova Neutronization-Burst Flux

abstract: The discovery of non-zero neutrino masses invites one to consider decays of heavier neutrinos into lighter ones. We investigate the impact of two-body decays of neutrinos on the neutronization burst of a core-collapse supernova -- the large burst of $\nu_e$ during the first 25 ms post core-bounce. In the models we consider, the $\nu_e$, produced mainly as a $\nu_3\,(\nu_2)$ in the normal (inverted) mass ordering, are allowed to decay to $\nu_1\,(\nu_3)$ or $\bar{\nu}_1\,(\bar{\nu}_3)$, and an almost massless scalar. These decays can lead to the appearance of a neutronization peak for a normal mass ordering or the disappearance of the same peak for the inverted one, thereby allowing one mass ordering to mimic the other. Simulating supernova-neutrino data at the Deep Underground Neutrino Experiment (DUNE) and the Hyper-Kamiokande (HK) experiment, we compute their sensitivity to the neutrino lifetime. We find that, if the mass ordering is known, and depending on the nature of the Physics responsible for the neutrino decay, DUNE is sensitive to lifetimes $\tau/m \lesssim 10^6$ s/eV for a galactic SN sufficiently close-by (around 10 kpc), while HK is sensitive to lifetimes $\tau/m \lesssim 10^7$ s/eV. These sensitivities are far superior to existing limits from solar-system-bound oscillation experiments. Finally, we demonstrate that using a combination of data from DUNE and HK, one can, in general, distinguish between decaying Dirac neutrinos and decaying Majorana neutrinos.


title: Band inversion and topology of the bulk electronic structure in FeSe${}_{0.45}$Te${}_{0.55}$

abstract: FeSe${}_{0.45}$Te${}_{0.55}$ (FeSeTe) has recently emerged as a promising candidate to host topological superconductivity, with a Dirac surface state and signatures of Majorana bound states in vortex cores. However, correlations strongly renormalize the bands compared to electronic structure calculations, and there is no evidence for the expected bulk band inversion. We present here a comprehensive angle resolved photoemission (ARPES) study of FeSeTe as function of photon energies ranging from 15 - 100 eV. We find that although the top of bulk valence band shows essentially no $k_z$ dispersion, its normalized intensity exhibits a periodic variation with $k_z$. We show, using ARPES selection rules, that the intensity oscillation is a signature of band inversion indicating a change in the parity going from $\Gamma$ to Z. Thus we provide the first direct evidence for a topologically non-trivial bulk band structure that supports protected surface states.


title: Non-Minimal Dark Sectors: Mediator-Induced Decay Chains and Multi-Jet Collider Signatures

abstract: A preponderance of astrophysical and cosmological evidence indicates that the universe contains not only visible matter but also dark matter. In order to suppress the couplings between the dark and visible sectors, a standard assumption is that these two sectors communicate only through a mediator. In this paper we make a simple but important observation: if the dark sector contains multiple components with similar quantum numbers, then this mediator also generically gives rise to dark-sector decays, with heavier dark components decaying to lighter components. This in turn can even give rise to relatively long dark decay chains, with each step of the decay chain also producing visible matter. The visible byproducts of such mediator-induced decay chains can therefore serve as a unique signature of such scenarios. In order to examine this possibility more concretely, we examine a scenario in which a multi-component dark sector is connected through a mediator to Standard-Model quarks. We then demonstrate that such a scenario gives rise to multi-jet collider signatures, and we examine the properties of such jets at both the parton and detector levels. Within relatively large regions of parameter space, we find that such multi-jet signatures are not excluded by existing monojet and multi-jet searches. Such decay cascades therefore represent a potential discovery route for multi-component dark sectors at current and future colliders.


title: Spatially resolved signature of quenching in star-forming galaxies

abstract: Understanding when, how and where star formation ceased (quenching) within galaxies is still a critical subject in galaxy evolution studies. Taking advantage of the new methodology developed by Quai et al. (2018) to select recently quenched galaxies, we explored the spatial information provided by IFU data to get critical insights on this process. In particular, we analyse 10 SDSS-IV MaNGA galaxies that show regions with low [O III]/H{\alpha} compatible with a recent quenching of the star formation. We compare the properties of these 10 galaxies with those of a control sample of 8 MaNGA galaxies with ongoing star formation in the same stellar mass, redshift and gas-phase metallicity range. The quenching regions found are located between 0.5 and 1.1 effective radii from the centre. This result is supported by the analysis of the average radial profile of the ionisation parameter, which reaches a minimum at the same radii, while the one of the star-forming sample shows an almost flat trend. These quenching regions occupy a total area between 15\% and 45\% of our galaxies. Moreover, the average radial profile of the star formation rate surface density of our sample is lower and flatter than that of the control sample, at any radii, suggesting a systematic suppression of the star formation in the inner part of our galaxies. Finally, the radial profile of gas-phase metallicity of the two samples have a similar slope and normalisation. Our results cannot be ascribed to a difference in the intrinsic properties of the analysed galaxies, suggesting a quenching scenario more complicated than a simple inside-out quenching.


title: Correspondence between winding numbers and skin modes in non-hermitian systems

abstract: We establish exact relations between the winding of "energy" (eigenvalue of Hamiltonian) on the complex plane as momentum traverses the Brillouin zone with periodic boundary condition, and the presence of "skin modes" with open boundary condition in non-hermitian systems. We show that the nonzero winding with respect to any complex reference energy leads to the presence of skin modes, and vice versa. We also show that both the nonzero winding and the presence of skin modes share the common physical origin that is the non-vanishing current through the system.


title: Leptonic Scalars at the LHC

abstract: We explore the collider prospects of neutrino non-standard interaction with a Standard Model (SM) gauge-singlet leptonic scalar $\phi$ carrying two units of lepton-number-charge. These leptonic scalars are forbidden from interacting with the SM fermions at the renormalizable level and, if one allows for higher-dimensional operators, couple predominantly to SM neutrinos. For masses at or below the electroweak scale, $\phi$ decays exclusively into neutrinos. Its characteristic production signature at hadron collider experiments like the LHC would be via the vector boson fusion process and leads to same-sign dileptons, two forward jets in opposite hemispheres, and missing transverse energy, i.e., $pp \to \ell_\alpha^\pm \ell_\beta^\pm jj + E_T^{\rm miss}$ ($\alpha,\, \beta = e,\, \mu, \tau$). Exploiting the final states of electrons and muons, we estimate, for the first time, the sensitivity of the LHC to these lepton-number-charged scalars. We show that the LHC sensitivity is largely complementary to that of low-energy precision measurements of the decays of charged leptons, charged mesons, $W$, $Z$ and the SM Higgs boson, as well as the neutrino beam experiments like MINOS, and searches for neutrino self-interactions at IceCube and in cosmological observations. For $\phi$ mass larger than roughly 10 GeV, our projected LHC sensitivity would surpass all existing bounds.


title: Cluster Difference Imaging Photometric Survey. I. Light Curves of Stars in Open Clusters from TESS Sectors 6 & 7

abstract: The Transiting Exoplanet Survey Satellite (TESS) is providing precise time-series photometry for most star clusters in the solar neighborhood. Using the TESS images, we have begun a Cluster Difference Imaging Photometric Survey (CDIPS), in which we are focusing both on stars that are candidate cluster members, and on stars that show indications of youth. Our aims are to discover giant transiting planets with known ages, and to provide light curves suitable for studies in stellar astrophysics. For this work, we made 159,343 light curves of candidate young stars, across 596 distinct clusters. Each light curve represents between 20 and 25 days of observations of a star brighter than $G_{\rm Rp}=16$, with 30-minute sampling. We describe the image subtraction and time-series analysis techniques we used to create the light curves, which have noise properties that agree with theoretical expectations. We also comment on the possible utility of the light curve sample for studies of stellar rotation evolution, and binary eccentricity damping. The light curves, which cover about one sixth of the galactic plane, are available as a MAST High Level Science Product at https://doi.org/10.17909/t9-ayd0-k727 .


title: Unifying Lattice Models, Links and Quantum Geometric Langlands via Branes in String Theory

abstract: We explain how, starting with a stack of D4-branes ending on an NS5-brane in type IIA string theory, one can, via T-duality and the topological-holomorphic nature of the relevant worldvolume theories, relate (i) the lattice models realized by Costello's 4d Chern-Simons theory, (ii) links in 3d analytically-continued Chern-Simons theory, (iii) the quantum geometric Langlands correspondence realized by Kapustin-Witten using 4d N = 4 gauge theory and its quantum group modification, and (iv) the Gaitsgory-Lurie conjecture relating quantum groups/affine Kac-Moody algebras to Whittaker D-modules/W-algebras. This furnishes, purely physically via branes in string theory, a novel bridge between the mathematics of integrable systems, geometric topology, geometric representation theory, and quantum algebras.

categories: hep-th cond-mat.stat-mech math.GT math.QA math.RT


title: Emergent Strings from Infinite Distance Limits

abstract: As a refinement of the Swampland Distance Conjecture, we propose that a quantum gravitational theory in an infinite distance limit of its moduli space either decompactifies, or reduces to an asymptotically tensionless, weakly coupled string theory. We support our claim by classifying, as special cases, the behaviour of M-Theory and Type IIA string theory compactifications on Calabi-Yau three-folds at infinite distances in Kahler moduli space. The analysis comprises three parts: We first classify the possible infinite distance limits in the classical Kahler moduli space of a Calabi-Yau three-fold. Each such limit at finite volume is characterized by a universal fibration structure, for which the generic fiber shrinking in the limit is either an elliptic curve, a K3 surface, or an Abelian surface. In the second part we focus on M-Theory and investigate the nature of the towers of asymptotically massless states that arise from branes wrapped on the shrinking fibers. Depending on which of the three classes of fibrations are considered, we obtain decompactification to F-Theory, or a theory with a unique asymptotically tensionless, weakly coupled heterotic or Type II string, respectively. The latter probes a dual D-manifold which is in general non-geometric. In addition to the intrinsic string excitations, towers of states from M2-branes along non-contractible curves become light and correspond to further wrapping and winding modes of the tensionless heterotic or Type II string. In the third part of the analysis, we consider Type IIA string theory on Calabi-Yau three-folds and show that quantum effects obstruct taking finite volume infinite distance limits in the Kahler moduli space. The only possible infinite distance limit which is not a decompactification limit involves K3-fibrations with string scale fiber volume and gives rise to an emergent tensionless heterotic string.


title: Quantum criticality of loops with topologically constrained dynamics

abstract: Quantum fluctuating loops in 2+1 dimensions give gapless many-body states that are beyond current field theory techniques. Microscopically, these loops can be domain walls between up and down spins, or chains of flipped spins similar to those in the toric code. The key feature of their dynamics is that the reconnection of a pair of strands is forbidden. This happens at previously-studied multi-critical points between topologically nontrivial phases. We show that this topologically constrained dynamics leads to universality classes with unusual scaling properties. For example, scaling operators at these fixed points are classified by topology, and not only by symmetry. We introduce the concept of the topological operator classification, provide universal scaling forms for correlation functions, and analytical and numerical results for critical exponents. We use an exact correspondence between the imaginary-time dynamics of the 2+1D quantum models and a classical Markovian dynamics for 2D classical loop models with a nonlocal Boltzmann weight (for which we also provide scaling results). We comment on open questions and generalizations of the models discussed for both quantum criticality and classical Markov processes.

categories: cond-mat.str-el cond-mat.soft cond-mat.stat-mech hep-th


title: Localization from Hilbert space shattering: from theory to physical realizations

abstract: We show how a finite number of conservation laws can globally `shatter' Hilbert space into exponentially many dynamically disconnected subsectors, leading to an unexpected dynamics with features reminiscent of both many body localization and quantum scars. A crisp example of this phenomenon is provided by a `fractonic' model of quantum dynamics constrained to conserve both charge and dipole moment. We show how the Hilbert space of the fractonic model dynamically fractures into disconnected emergent subsectors within a particular charge and dipole symmetry sector. This shattering can occur in arbitrary spatial dimensions. A large number of the emergent subsectors, exponentially many in system volume, have dimension one and exhibit strictly localized quantum dynamics---even in the absence of spatial disorder and in the presence of temporal noise. Other emergent subsectors display non-trivial dynamics and may be constructed by embedding finite sized non-trivial blocks into the localized subspace. While `fractonic' models provide a particularly clean realization, the shattering phenomenon is more general, as we discuss. We also discuss how the key phenomena may be readily observed in near term ultracold atom experiments. In experimental realizations, the conservation laws are approximate rather than exact, so the localization only survives up to a prethermal timescale that we estimate. We comment on the implications of these results for recent predictions of Bloch/Stark many-body localization.

categories: cond-mat.stat-mech cond-mat.dis-nn cond-mat.quant-gas cond-mat.str-el quant-ph


title: Gribov horizon, Polyakov loop and finite temperature

abstract: We consider finite-temperature $SU(2)$ gauge theory in the continuum formulation. Choosing the Landau gauge, the existing gauge copies are taken into account by means of the Gribov-Zwanziger quantization scheme, which entails the introduction of a dynamical mass scale (Gribov mass) directly influencing the Green functions of the theory. Here, we determine simultaneously the Polyakov loop (vacuum expectation value) and Gribov mass in terms of temperature, by minimizing the vacuum energy with respect to the Polyakov-loop parameter and solving the Gribov gap equation. The main result is that the Gribov mass directly feels the deconfinement transition, visible from a cusp occurring at the same temperature where the Polyakov loop becomes nonzero. Finally, problems for the pressure at low temperatures are reported.


title: The sequence of spiral arm classes: Observational signatures of persistent spiral density waves in grand-design galaxies

abstract: We investigate how the properties of spiral arms relate to other fundamental galaxy properties. To this end, we use previously published measurements of those properties, and our own measurements of arm-interarm luminosity contrasts for a large sample of galaxies, using 3.6$\mu$m images from the Spitzer Survey of Stellar Structure in Galaxies. Flocculent galaxies are clearly distinguished from other spiral arm classes, especially by their lower stellar mass and surface density. Multi-armed and grand-design galaxies are similar in most of their fundamental parameters, excluding some bar properties and the bulge-to-total luminosity ratio. Based on these results, we discuss dense, classical bulges as a necessary condition for standing spiral wave modes in grand-design galaxies. We further find a strong correlation between bulge-to-total ratio and bar contrast, and a weaker correlation between arm and bar contrasts.


title: Lensed quasar search via time variability with the HSC transient survey

abstract: Gravitationally lensed quasars are useful for studying astrophysics and cosmology, and enlarging the sample size of lensed quasars is important for multiple studies. In this work, we develop a lens search algorithm for four-image (quad) lensed quasars based on their time variability. In the development of the lens search algorithm, we constructed a pipeline simulating multi-epoch images of lensed quasars in cadenced surveys, accounting for quasar variabilities, quasar hosts, lens galaxies, and the PSF variation. Applying the simulation pipeline to the Hyper Suprime-Cam (HSC) transient survey, we generated HSC-like difference images of the mock lensed quasars from Oguri & Marshall's lens catalog. We further developed a lens search algorithm that picks out variable objects as lensed quasar candidates based on their spatial extent in the difference images. We tested our lens search algorithm with the mock lensed quasars and variable objects from the HSC transient survey. Using difference images from multiple epochs, our lens search algorithm achieves a high true-positive rate (TPR) of 90.1% and a low false-positive rate (FPR) of 2.3% for the bright quads with wide separation. With a preselection of the number of blobs in the difference image, we obtain a TPR of 97.6% and a FPR of 2.6% for the bright quads with wide separation. Even when difference images are only available in one single epoch, our lens search algorithm can still detect the bright quads with wide separation at high TPR of 97.6% and low FPR of 2.4% in the optimal seeing scenario, and at TPR of $\sim94%$ and FPR of $\sim5%$ in typical scenarios. Therefore, our lens search algorithm is promising and is applicable to ongoing and upcoming cadenced surveys, particularly the HSC transient survey and the Rubin Observatory Legacy Survey of Space and Time, for finding new lensed quasar systems. [abridged]