title: Self-similarity in the circular unitary ensemble

abstract: This paper gives a rigorous proof of a conjectured statistical self-similarity property of the eigenvalues random matrices from the Circular Unitary Ensemble. We consider on the one hand the eigenvalues of an $n \times n$ CUE matrix, and on the other hand those eigenvalues $e^{i\phi}$ of an $mn \times mn$ CUE matrix with $|\phi| \le \pi / m$, rescaled to fill the unit circle. We show that for a large range of mesoscopic scales, these collections of points are statistically indistinguishable for large $n$. The proof is based on a comparison theorem for determinantal point processes which may be of independent interest.


title: Proving Correctness of Imperative Programs by Linearizing Constrained Horn Clauses

abstract: We present a method for verifying the correctness of imperative programs which is based on the automated transformation of their specifications. Given a program prog, we consider a partial correctness specification of the form $\{\varphi\}$ prog $\{\psi\}$, where the assertions $\varphi$ and $\psi$ are predicates defined by a set Spec of possibly recursive Horn clauses with linear arithmetic (LA) constraints in their premise (also called constrained Horn clauses). The verification method consists in constructing a set PC of constrained Horn clauses whose satisfiability implies that $\{\varphi\}$ prog $\{\psi\}$ is valid. We highlight some limitations of state-of-the-art constrained Horn clause solving methods, here called LA-solving methods, which prove the satisfiability of the clauses by looking for linear arithmetic interpretations of the predicates. In particular, we prove that there exist some specifications that cannot be proved valid by any of those LA-solving methods. These specifications require the proof of satisfiability of a set PC of constrained Horn clauses that contain nonlinear clauses (that is, clauses with more than one atom in their premise). Then, we present a transformation, called linearization, that converts PC into a set of linear clauses (that is, clauses with at most one atom in their premise). We show that several specifications that could not be proved valid by LA-solving methods, can be proved valid after linearization. We also present a strategy for performing linearization in an automatic way and we report on some experimental results obtained by using a preliminary implementation of our method.


title: Moment of inertia of neutron star crust in alternative and modified theories of gravity

abstract: The glitch activity of young pulsars arises from the exchange of angular momentum between the crust and the interior of the star. Recently, it was inferred that the moment of inertia of the crust of a neutron star is not sufficient to explain the observed glitches. Such estimates are presumed in the Einstein's general relativity in describing the hydrostatic equilibrium of neutron stars. The crust of the neutron star has a space-time curvature of 14 orders of magnitude larger than that probed in solar system tests. This makes gravity the weakest constrained physics input in the crust related processes. We calculate the ratio of the crustal to the total moment of inertia of neutron stars in the scalar-tensor theory of gravity and the non-perturbative $f({\cal R})={\cal R}+ a {\cal R}^2$ gravity. We find for the former that the crust to core ratio of the moment of inertia does not change significantly from what is inferred in general relativity. For the latter we find that the ratio increases significantly from what is inferred in general relativity in the case of high mass objects. Our results suggest that the glitch activity of pulsars may be used to probe gravity models, although the gravity models explored in this work are not appropriate candidates.


title: Explicit formulas of the Bergman kernel for some Reinhardt domains

abstract: In this paper we obtain the closed forms of some hypergeometric functions. As an application, we obtain the explicit forms of the Bergman kernel functions for Reinhardt domains $\{|z_3|^{\lambda} < |z_1|^{2p} + |z_2|^2, \quad |z_1|^{2p} + |z_2|^2 < |z_1|^{p} \}$ and $\{|z_4|^{\lambda} < (|z_1|^2 + |z_2|^2)^{p} + |z_3|^2, \quad (|z_1|^2 + |z_2|^2)^{p} + |z_3|^2 < (|z_1|^2 + |z_2|^2 )^{p/2} \}$.


title: A study of the classification of low-dimensional data with supervised manifold learning

abstract: Supervised manifold learning methods learn data representations by preserving the geometric structure of data while enhancing the separation between data samples from different classes. In this work, we propose a theoretical study of supervised manifold learning for classification. We consider nonlinear dimensionality reduction algorithms that yield linearly separable embeddings of training data and present generalization bounds for this type of algorithms. A necessary condition for satisfactory generalization performance is that the embedding allow the construction of a sufficiently regular interpolation function in relation with the separation margin of the embedding. We show that for supervised embeddings satisfying this condition, the classification error decays at an exponential rate with the number of training samples. Finally, we examine the separability of supervised nonlinear embeddings that aim to preserve the low-dimensional geometric structure of data based on graph representations. The proposed analysis is supported by experiments on several real data sets.


title: Communicability Angles Reveal Critical Edges for Network Consensus Dynamics

abstract: We consider the question of determining how the topological structure influences a consensus dynamical process taking place on a network. By considering a large dataset of real-world networks we first determine that the removal of edges according to their communicability angle -an angle between position vectors of the nodes in an Euclidean communicability space- increases the average time of consensus by a factor of 5.68 in real-world networks. The edge betweenness centrality also identifies -in a smaller proportion- those critical edges for the consensus dynamics, i.e., its removal increases the time of consensus by a factor of 3.70. We justify theoretically these findings on the basis of the role played by the algebraic connectivity and the isoperimetric number of networks on the dynamical process studied, and their connections with the properties mentioned before. Finally, we study the role played by global topological parameters of networks on the consensus dynamics. We determine that the network density and the average distance-sum -an analogous of the node degree for shortest-path distances, account for more than 80% of the variance of the average time of consensus in the real-world networks studied.


title: Towards a description of the double ramification hierarchy for Witten's $r$-spin class

abstract: The double ramification hierarchy is a new integrable hierarchy of hamiltonian PDEs introduced recently by the first author. It is associated to an arbitrary given cohomological field theory. In this paper we study the double ramification hierarchy associated to the cohomological field theory formed by Witten's $r$-spin classes. Using the formula for the product of the top Chern class of the Hodge bundle with Witten's class, found by the second author, we present an effective method for a computation of the double ramification hierarchy. We do explicit computations for $r=3,4,5$ and prove that the double ramification hierarchy is Miura equivalent to the corresponding Dubrovin--Zhang hierarchy. As an application, this result together with a recent work of the first author with Paolo Rossi gives a quantization of the $r$-th Gelfand--Dickey hierarchy for $r=3,4,5$.


title: On the existence of Euler-Lagrange orbits satisfying the conormal boundary conditions

abstract: Let $(M,g)$ be a closed Riemannian manifold, $L: TM\rightarrow \mathbb R$ be a Tonelli Lagrangian. Given two closed submanifolds $Q_0$ and $Q_1$ of $M$ and a real number $k$, we study the existence of Euler-Lagrange orbits with energy $k$ connecting $Q_0$ to $Q_1$ and satisfying the conormal boundary conditions. We introduce the Ma\~n\'e critical value which is relevant for this problem and discuss existence results for supercritical and subcritical energies. We also provide counterexamples showing that all the results are sharp.


title: On two refinements of the bounded weak approximate identities

abstract: Let $A$ be a commutative Banach algebra with non-empty character space $\Delta(A)$. In this paper, we change the concepts of convergence and boundedness in the classical notion of bounded approximate identity. This work give us a new kind of approximate identity between bounded approximate identity and bounded weak approximate identity. More precisely, a net $\{e_{\alpha}\}$ in $A$ is a \emph{c-w approximate identity} if for each $a\in A$, the Gel'fand transform of $e_{\alpha}a$ tends to the Gel'fand transform of $a$ in the compact-open topology and we say $\{e_{\alpha}\}$ is \emph{weakly bounded} if the image of $\{e_{\alpha}\}$ under the Gel'fand transform is bounded in $C_{0}(\Delta(A))$.


title: Regularity criterion for the 3D Hall-magneto-hydrodynamics

abstract: This paper studies the regularity problem for the 3D incompress- ible resistive viscous Hall-magneto-hydrodynamic (Hall-MHD) system. The Kolmogorov 41 phenomenological theory of turbulence predicts that there exists a critical wavenumber above which the high frequency part is dominated by the dissipation term in the fluid equation. Inspired by this idea, we apply an approach of splitting the wavenumber combined with an estimate of the energy flux to obtain a new regularity criterion. The regularity condition presented here is weaker than conditions in the existing criteria (Prodi-Serrin type criteria) for the 3D Hall-MHD system.


title: Quasi Scale-Invariant Inflationary Attractors

abstract: We show that pure quadratic gravity with quantum loop corrections yields a viable inflationary scenario. We also show that a large family of models in the Jordan frame, with softly-broken scale invariance, corresponds to the same theory with linear inflaton potential in the Einstein frame. It follows that all these quasi scale-invariant models have the same relation between the tensor-to-scalar ratio and the scalar spectral index, which is also consistent with the current data. Thus, they form a family of attractors, which is sharply distinct from the recently discovered $\alpha$-attractors of Kallosh, Linde et al.


title: On the Bartnik conjecture for the static vacuum Einstein equations

abstract: We prove that given any smooth metric $\gamma$ and smooth positive function $H$ on $S^{2}$, there is a constant $\lambda > 0$, depending on $(\gamma, H)$, and an asymptotically flat solution $(M, g, u)$ of the static vacuum Einstein equations on $M = {\mathbb R}^{3} \setminus B^{3}$, such that the induced metric and mean curvature of $(M, g, u)$ at $\partial M$ are given by $(\gamma, \lambda H)$. This gives a partial resolution of a conjecture of Bartnik.


title: A Convex Sum-of-Squares Approach to Analysis, State Feedback and Output Feedback Control of Parabolic PDEs

abstract: We present an optimization-based framework for analysis and control of linear parabolic partial differential equations (PDEs) with spatially varying coefficients without discretization or numerical approximation. For controller synthesis, we consider both full-state feedback and point observation (output feedback). The input occurs at the boundary (point actuation). We use positive matrices to parameterize positive Lyapunov functions and polynomials to parameterize controller and observer gains. We use duality and an invertible state-variable transformation to convexify the controller synthesis problem. Finally, we combine our synthesis condition with the Luenberger observer framework to express the output feedback controller synthesis problem as a set of LMI/SDP constraints. We perform an extensive set of numerical experiments to demonstrate accuracy of the conditions and to prove necessity of the Lyapunov structures chosen. We provide numerical and analytical comparisons with alternative approaches to control including Sturm Liouville theory and backstepping. Finally we use numerical tests to show that the method retains its accuracy for alternative boundary conditions.


title: Complex Flare Dynamics Initiated by a Filament-Filament Interaction

abstract: We report on an eruption involving a relatively rare filament-filament interaction on 2013 June 21, observed by SDO and STEREO-B. The two filaments were separated in height with a 'double-decker' configuration. The eruption of the lower filament began simultaneously with a descent of the upper filament resulting in a convergence and direct interaction of the two filaments. The interaction was accompanied by the heating of surrounding plasma and an apparent crossing of a loop-like structure through the upper filament. The subsequent coalescence of the filaments drove a bright front ahead of the erupting structures. The whole process was associated with a C3.0 flare followed immediately by an M2.9 flare. Shrinking loops and descending dark voids were observed during the M2.9 flare at different locations above a C-shaped flare arcade as part of the energy release, giving us a unique insight into the flare dynamics.


title: On Structural Parameterizations of Hitting Set: Hitting Paths in Graphs Using 2-SAT

abstract: Hitting Set is a classic problem in combinatorial optimization. Its input consists of a set system F over a finite universe U and an integer t; the question is whether there is a set of t elements that intersects every set in F. The Hitting Set problem parameterized by the size of the solution is a well-known W[2]-complete problem in parameterized complexity theory. In this paper we investigate the complexity of Hitting Set under various structural parameterizations of the input. Our starting point is the folklore result that Hitting Set is polynomial-time solvable if there is a tree T on vertex set U such that the sets in F induce connected subtrees of T. We consider the case that there is a treelike graph with vertex set U such that the sets in F induce connected subgraphs; the parameter of the problem is a measure of how treelike the graph is. Our main positive result is an algorithm that, given a graph G with cyclomatic number k, a collection P of simple paths in G, and an integer t, determines in time 2^{5k} (|G| +|P|)^O(1) whether there is a vertex set of size t that hits all paths in P. It is based on a connection to the 2-SAT problem in multiple valued logic. For other parameterizations we derive W[1]-hardness and para-NP-completeness results.


title: Disentangling geometric and dissipative origins of negative Casimir entropies

abstract: Dissipative electromagnetic response and scattering geometry are potential sources for the appearance of a negative Casimir entropy. We show that the dissipative contribution familiar from the plane-plane geometry appears also in the plane-sphere and the sphere-sphere geometries and adds to the negative Casimir entropy known to exist in these geometries even for perfectly reflecting objects. Taking the sphere-sphere geometry as an example, we carry out a scattering-channel analysis which allows to distinguish between the contributions of different polarizations. We demonstrate that dissipation and geometry share a common feature making possible negative values of the Casimir entropy. In both cases there exists a scattering channel whose contribution to the Casimir free energy vanishes in the high-temperature limit. While the mode-mixing channel is associated with the geometric origin, the transverse electric channel is associated with the dissipative origin of the negative Casimir entropy. By going beyond the Rayleigh limit, we find even for large distances that negative Casimir entropies can occur also for Drude-type metals provided the dissipation strength is sufficiently small.


title: A simple formula for local burnup based on constant relative reaction rate per nuclei

abstract: A simple and analytical formula is suggested to solve the problems of the local burnup and the isotope distributions. The present method considers two extreme conditions of neutrons penetrating the fuel rod. Based on these considerations, the formula is obtained to calculate the reaction rates of $^{235}$U, $^{238}$U, and $^{239}$Pu and straightforward the local burnup and the isotope distributions. Starting from an initial burnup level, the parameters of the formula are fitted to the reaction rates given by a Monte Carlo (MC) calculation. Then the present formula independently gives very similar results as the MC calculation from the starting to high burnup level, but takes just a few minutes. The relative reaction rates are found to be almost independent on the radius (except $(n,\gamma)$ of $^{238}$U) and the burnup, providing a solid background for the present formula. A more realistic examination is also performed when the fuel rods locate in an assembly. A combination of the present formula and the MC calculation is expected to have a nice balance on the accuracy and the cost on time.


title: Experimental Tests of Particle Flow Calorimetry

abstract: Precision physics at future colliders requires highly granular calorimeters to support the Particle Flow Approach for event reconstruction. This article presents a review of about 10 - 15 years of R\&D, mainly conducted within the CALICE collaboration, for this novel type of detector. The performance of large scale prototypes in beam tests validate the technical concept of particle flow calorimeters. The comparison of test beam data with simulation, of e.g.\ hadronic showers, supports full detector studies and gives deeper insight into the structure of hadronic cascades than was possible previously.


title: On Category $\mathcal{O}$ over triangular Generalized Weyl Algebras

abstract: We analyze the BGG Category $\mathcal{O}$ over a large class of generalized Weyl algebras (henceforth termed GWAs). Given such a "triangular" GWA for which Category $\mathcal{O}$ decomposes into a direct sum of subcategories, we study in detail the homological properties of blocks with finitely many simples. As consequences, we show that the endomorphism algebra of a projective generator of such a block is quasi-hereditary, finite-dimensional, and graded Koszul. We also classify all tilting modules in the block, as well as all submodules of all projective and tilting modules. Finally, we present a novel connection between blocks of triangular GWAs and Young tableaux, which provides a combinatorial interpretation of morphisms and extensions between objects of the block.


title: Decision Maker based on Atomic Switches

abstract: We propose a simple model for an atomic switch-based decision maker (ASDM), and show that, as long as its total volume of precipitated Ag atoms is conserved when coupled with suitable operations, an atomic switch system provides a sophisticated "decision-making" capability that is known to be one of the most important intellectual abilities in human beings. We considered the multi-armed bandit problem (MAB); the problem of finding, as accurately and quickly as possible, the most profitable option from a set of options that gives stochastic rewards. These decisions are made as dictated by each volume of precipitated Ag atoms, which is moved in a manner similar to the fluctuations of a rigid body in a tug-of-war game. The "tug-of-war (TOW) dynamics" of the ASDM exhibits higher efficiency than conventional MAB solvers. We show analytical calculations that validate the statistical reasons for the ASDM dynamics to produce such high performance, despite its simplicity. These results imply that various physical systems, in which some conservation law holds, can be used to implement efficient "decision-making objects." Efficient MAB solvers are useful for many practical applications, because MAB abstracts a variety of decision-making problems in real- world situations where an efficient trial-and-error is required. The proposed scheme will introduce a new physics-based analog computing paradigm, which will include such things as "intelligent nano devices" and "intelligent information networks" based on self-detection and self-judgment.


title: The density of primes dividing a term in the Somos-5 sequence

abstract: The Somos-5 sequence is defined by $a_{0} = a_{1} = a_{2} = a_{3} = a_{4} = 1$ and $a_{m} = \frac{a_{m-1} a_{m-4} + a_{m-2} a_{m-3}}{a_{m-5}}$ for $m \geq 5$. We relate the arithmetic of the Somos-5 sequence to the elliptic curve $E : y^{2} + xy = x^{3} + x^{2} - 2x$ and use properties of Galois representations attached to $E$ to prove the density of primes $p$ dividing some term in the Somos-5 sequence is equal to $\frac{5087}{10752}$.


title: Entanglement Entropy for Singular Surfaces in Hyperscaling violating Theories

abstract: We study the holographic entanglement entropy for singular surfaces in theories described holographically by hyperscaling violating backgrounds. We consider singular surfaces consisting of cones or creases in diverse dimensions. The structure of UV divergences of entanglement entropy exhibits new logarithmic terms whose coefficients, being cut-off independent, could be used to define new central charges in the nearly smooth limit. We also show that there is a relation between these central charges and the one appearing in the two-point function of the energy-momentum tensor. Finally we examine how this relation is affected by considering higher-curvature terms in the gravitational action.


title: Edwards thermodynamics for a driven athermal system with dry friction

abstract: We obtain, using semi-analytical transfer operator techniques, the Edwards thermodynamics of a one-dimensional model of blocks connected by harmonic springs and subjected to dry friction. The theory is able to reproduce the linear divergence of the correlation length as a function of energy density observed in direct numerical simulations of the model under tapping dynamics. We further characterize analytically this divergence using a Gaussian approximation for the distribution of mechanically stable configurations, and show that it is related to the existence of a peculiar infinite temperature critical point.


title: Sparsity in Multivariate Extremes with Applications to Anomaly Detection

abstract: Capturing the dependence structure of multivariate extreme events is a major concern in many fields involving the management of risks stemming from multiple sources, e.g. portfolio monitoring, insurance, environmental risk management and anomaly detection. One convenient (non-parametric) characterization of extremal dependence in the framework of multivariate Extreme Value Theory (EVT) is the angular measure, which provides direct information about the probable 'directions' of extremes, that is, the relative contribution of each feature/coordinate of the 'largest' observations. Modeling the angular measure in high dimensional problems is a major challenge for the multivariate analysis of rare events. The present paper proposes a novel methodology aiming at exhibiting a sparsity pattern within the dependence structure of extremes. This is done by estimating the amount of mass spread by the angular measure on representative sets of directions, corresponding to specific sub-cones of $R^d\_+$. This dimension reduction technique paves the way towards scaling up existing multivariate EVT methods. Beyond a non-asymptotic study providing a theoretical validity framework for our method, we propose as a direct application a --first-- anomaly detection algorithm based on multivariate EVT. This algorithm builds a sparse 'normal profile' of extreme behaviours, to be confronted with new (possibly abnormal) extreme observations. Illustrative experimental results provide strong empirical evidence of the relevance of our approach.


title: Exploring Dephasing of a Solid-State Quantum Emitter via Time- and Temperature- Dependent Hong-Ou-Mandel Experiments

abstract: We probe the indistinguishability of photons emitted by a semiconductor quantum dot (QD) via time- and temperature- dependent two-photon interference (TPI) experiments. An increase in temporal-separation between consecutive photon emission events, reveals a decrease in TPI visibility on a nanosecond timescale, theoretically described by a non-Markovian noise process in agreement with fluctuating charge-traps in the QD's vicinity. Phonon-induced pure dephasing results in a decrease in TPI visibility from $(96\pm4)\,$\% at 10\,K to a vanishing visibility at 40\,K. In contrast to Michelson-type measurements, our experiments provide direct access to the time-dependent coherence of a quantum emitter at a nanosecond timescale.


title: Multimessengers from 3D Core-Collapse Supernovae

abstract: We present gravitational wave and neutrino signatures obtained in our first principle 3D core-collapse supernova simulation of 15M non-rotating progenitor with Chimera code. Observations of neutrinos emitted by the forming neutron star, and gravitational waves, which are produced by hydrodynamic instabilities is the only way to get direct information about the supernova engine. Both GW and neutrino signals show different phases of supernova evolution.


title: First proof of topological signature in the high pressure xenon gas TPC with electroluminescence amplification for the NEXT experiment

abstract: The NEXT experiment aims to observe the neutrinoless double beta decay of xenon in a high-pressure Xe136 gas TPC using electroluminescence (EL) to amplify the signal from ionization. One of the main advantages of this technology is the possibility to reconstruct the topology of events with energies close to Qbb. This paper presents the first demonstration that the topology provides extra handles to reject background events using data obtained with the NEXT-DEMO prototype. Single electrons resulting from the interactions of Na22 1275 keV gammas and electron-positron pairs produced by conversions of gammas from the Th228 decay chain were used to represent the background and the signal in a double beta decay. These data were used to develop algorithms for the reconstruction of tracks and the identification of the energy deposited at the end-points, providing an extra background rejection factor of 24.3 +- 1.4 (stat.)%, while maintaining an efficiency of 66.7 +- 1% for signal events.


title: Future Constraints on Angle-Dependent Non-Gaussianity from Large Radio Surveys

abstract: We investigate how well future large-scale radio surveys could measure different shapes of primordial non-Gaussianity; in particular we focus on angle-dependent non-Gaussianity arising from primordial anisotropic sources, whose bispectrum has an angle dependence between the three wavevectors that is characterized by Legendre polynomials $\mathcal{P}_L$ and expansion coefficients $c_L$. We provide forecasts for measurements of galaxy power spectrum, finding that Large-Scale Structure (LSS) data could allow measurements of primordial non-Gaussianity competitive or improving upon current constraints set by CMB experiments, for all the shapes considered. We argue that the best constraints will come from the possibility to assign redshift information to radio galaxy surveys, and investigate a few possible scenarios for the EMU and SKA surveys. A realistic (futuristic) modeling could provide constraints of $f_{\rm NL}^{\rm loc} \approx 1 (0.5)$ for the local shape, $f_{\rm NL}$ of $\mathcal{O}(10) (\mathcal{O}(1))$ for the orthogonal, equilateral and folded shapes, and $c_{L=1} \approx 80 (2)$, $c_{L=2} \approx 400 (10)$ for angle-dependent non-Gaussianity. The more futuristic forecasts show the potential of LSS analyses to considerably improve current constraints on non-Gaussianity, and so on models of the primordial Universe. Finally, we find the minimum requirements that would be needed to reach $\sigma(c_{L=1})=10$, which can be considered as a typical (lower) value predicted by some (inflationary) models.


title: Edge states and local electronic structure around an adsorbed impurity in a topological superconductor

abstract: Recently topological superconducting states has attracted a lot of interest. In this work, we consider a topo- logical superconductor with $Z_2$ topological mirror order [1] and s$\pm$-wave superconducting pairing symmetry, within a two-orbital model originally designed for iron-based superconductivity [2]. We predict the existence of gapless edge states. We also study the local electronic structure around an adsorbed interstitial magnetic impurity in the system, and find the existence of low-energy in-gap bound states even with a weak spin polar- ization on the impurity. We also discuss the relevance of our results to the recent STM experiment on Fe(Te,Se) compound with adsorbed Fe impurity [3], for which our density functional calculations show the Fe impurity is spin polarized.


title: Unprecedentedly Wide Curie-Temperature Windows as Phase-Transition Design Platform for Tunable Magneto-Multifunctional Materials

abstract: A series of unprecedentedly wide Curie-temperature windows (CTWs) between 40 and 450 K are realized by employing the isostructural alloying principle for the strongly coupled magnetostructural phase transitions in a single host system. The CTWs provide a design platform for magneto-multifunctional multiferroic alloys that can be manipulated in a quite large temperature space in various scales and patterns, as well as by multiple physical fields.


title: Induced p-wave superconductivity without spin-orbit interactions

abstract: The study of Majorana fermions is of great importance for the implementation of a quantum computer. These modes are topologically protected and very stable. It is now well known that a p-wave superconducting wire can sustain, in its topological non-trivial phase, Majorana quasi-particles at its ends. Since this type of superconductor is not found in nature, many methods have been devised to implement it. Most of them rely on the spin-orbit interaction. In this paper we study the superconducting properties of a two-band system in the presence of antisymmetric hybridization. We consider inter-band attractive interactions and also an attractive interaction in one of the bands. We show that superconducting fluctuations with p-wave character are induced in the non-interacting band due to the combined effects of inter-band coupling and hybridization. In the case of a wire, this type of induced superconductivity gives rise to four Majorana modes at its ends. The long range correlation between the different charge states of these modes offers new possibilities for the implementation of protected q-bits.


title: Realization of multifunctional shape-memory ferromagnets in all-d-metal Heusler phases

abstract: Heusler ferromagnetic shape-memory alloys (FSMAs) normally consist of transition-group d-metals and main-group p-elements. Here, we report the realization of FSMAs in Heusler phases that completely consist of d metals. By introducing the d-metal Ti into NiMn alloys, cubic B2-type Heusler phase is obtained and the martensitic transformation temperature is decreased efficiently. Strong ferromagnetism is established by further doping Co atoms into the B2-type antiferromagnetic Ni-Mn-Ti austenite. Based on the magnetic-field-induced martensitic transformations, collective multifunctional properties are observed in Ni(Co)-Mn-Ti alloys. The d metals not only facilitate the formation of B2-type Heusler phases, but also establish strong ferromagnetic coupling and offer the possibility to tune the martensitic transformation.


title: Determining modes for the 3D Navier-Stokes equations

abstract: We introduce a determining wavenumber for the forced 3D Navier-Stokes equations (NSE) defined for each individual solution. Even though this wavenumber blows up if the solution blows up, its time average is uniformly bounded for all solutions on the global attractor. The bound is compared to Kolmogorov's dissipation wavenumber and the Grashof constant.


title: Redshift distributions of galaxies in the DES Science Verification shear catalogue and implications for weak lensing

abstract: We present photometric redshift estimates for galaxies used in the weak lensing analysis of the Dark Energy Survey Science Verification (DES SV) data. Four model- or machine learning-based photometric redshift methods -- ANNZ2, BPZ calibrated against BCC-Ufig simulations, SkyNet, and TPZ -- are analysed. For training, calibration, and testing of these methods, we construct a catalogue of spectroscopically confirmed galaxies matched against DES SV data. The performance of the methods is evaluated against the matched spectroscopic catalogue, focusing on metrics relevant for weak lensing analyses, with additional validation against COSMOS photo-zs. From the galaxies in the DES SV shear catalogue, which have mean redshift $0.72\pm0.01$ over the range $0.3<z<1.3$, we construct three tomographic bins with means of $z=\{0.45, 0.67, 1.00\}$. These bins each have systematic uncertainties $\delta z \lesssim 0.05$ in the mean of the fiducial SkyNet photo-z $n(z)$. We propagate the errors in the redshift distributions through to their impact on cosmological parameters estimated with cosmic shear, and find that they cause shifts in the value of $\sigma_8$ of approx. 3%. This shift is within the one sigma statistical errors on $\sigma_8$ for the DES SV shear catalog. We further study the potential impact of systematic differences on the critical surface density, $\Sigma_{\mathrm{crit}}$, finding levels of bias safely less than the statistical power of DES SV data. We recommend a final Gaussian prior for the photo-z bias in the mean of $n(z)$ of width $0.05$ for each of the three tomographic bins, and show that this is a sufficient bias model for the corresponding cosmology analysis.


title: Clustering is Efficient for Approximate Maximum Inner Product Search

abstract: Efficient Maximum Inner Product Search (MIPS) is an important task that has a wide applicability in recommendation systems and classification with a large number of classes. Solutions based on locality-sensitive hashing (LSH) as well as tree-based solutions have been investigated in the recent literature, to perform approximate MIPS in sublinear time. In this paper, we compare these to another extremely simple approach for solving approximate MIPS, based on variants of the k-means clustering algorithm. Specifically, we propose to train a spherical k-means, after having reduced the MIPS problem to a Maximum Cosine Similarity Search (MCSS). Experiments on two standard recommendation system benchmarks as well as on large vocabulary word embeddings, show that this simple approach yields much higher speedups, for the same retrieval precision, than current state-of-the-art hashing-based and tree-based methods. This simple method also yields more robust retrievals when the query is corrupted by noise.


title: Noether's theorem for higher-order variational problems of Herglotz type

abstract: We approach higher-order variational problems of Herglotz type from an optimal control point of view. Using optimal control theory, we derive a generalized Euler-Lagrange equation, transversality conditions, a DuBois-Reymond necessary optimality condition and Noether's theorem for Herglotz's type higher-order variational problems, valid for piecewise smooth functions.


title: Twofold and Fourfold Symmetric Anisotropic Magnetoresistance Effect in A Model with Crystal Field

abstract: We theoretically study the twofold and fourfold symmetric anisotropic magnetoresistance (AMR) effects of ferromagnets. We here use the two-current model for a system consisting of a conduction state and localized d states. The localized d states are obtained from a Hamiltonian with a spin--orbit interaction, an exchange field, and a crystal field. From the model, we first derive general expressions for the coefficient of the twofold symmetric term ($C_2$) and that of the fourfold symmetric term ($C_4$) in the AMR ratio. In the case of a strong ferromagnet, the dominant term in $C_2$ is proportional to the difference in the partial densities of states (PDOSs) at the Fermi energy ($E_{\rm F}$) between the $d\varepsilon$ and $d\gamma$ states, and that in $C_4$ is proportional to the difference in the PDOSs at $E_{\rm F}$ among the $d\varepsilon$ states. Using the dominant terms, we next analyze the experimental results for Fe$_4$N, in which $|C_2|$ and $|C_4|$ increase with decreasing temperature. The experimental results can be reproduced by assuming that the tetragonal distortion increases with decreasing temperature.


title: Large Galois images for Jacobian varieties of genus 3 curves

abstract: Given a prime number l greater than or equal to 5, we construct an infinite family of three-dimensional abelian varieties over Q such that, for any A/Q in the family, the Galois representation \rho_{A, l}: Gal_Q -> GSp(6, l) attached to the l-torsion of A is surjective. Any such variety A will be the Jacobian of a genus 3 curve over Q whose respective reductions at two auxiliary primes we prescribe to provide us with generators of Sp(6, l).


title: A Frank-Wolfe Based Branch-and-Bound Algorithm for Mean-Risk Optimization

abstract: We present an exact algorithm for mean-risk optimization subject to a budget constraint, where decision variables may be continuous or integer. The risk is measured by the covariance matrix and weighted by an arbitrary monotone function, which allows to model risk-aversion in a very individual way. We address this class of convex mixed-integer minimization problems by designing a branch-and-bound algorithm, where at each node, the continuous relaxation is solved by a non-monotone Frank-Wolfe type algorithm with away-steps. Experimental results on portfolio optimization problems show that our approach can outperform the MISOCP solver of CPLEX 12.6 for instances where a linear risk-weighting function is considered.


title: Pseudorapidity distribution of charged hadrons in proton-proton collisions at sqrt(s) = 13 TeV

abstract: The pseudorapidity distribution of charged hadrons in pp collisions at sqrt(s) =13 TeV is measured using a data sample obtained with the CMS detector, operated at zero magnetic field, at the CERN LHC. The yield of primary charged long-lived hadrons produced in inelastic pp collisions is determined in the central region of the CMS pixel detector (abs(eta)<2) using both hit pairs and reconstructed tracks. For central pseudorapidities (abs(eta)<0.5), the charged-hadron multiplicity density is dN/d(eta)[charged,abs(eta) < 0.5] = 5.49 +/- 0.01 (stat) +/- 0.17 (sys), a value obtained by combining the two methods. The result is compared to predictions from Monte Carlo event generators and to similar measurements made at lower collision energies.


title: Optical hydrogen absorption consistent with a thin bow shock leading the hot Jupiter HD 189733b

abstract: Bow shocks are ubiquitous astrophysical phenomena resulting from the supersonic passage of an object through a gas. Recently, pre-transit absorption in UV metal transitions of the hot Jupiter exoplanets HD 189733b and WASP12-b have been interpreted as being caused by material compressed in a planetary bow shock. Here we present a robust detection of a time-resolved pre-transit, as well as in-transit, absorption signature around the hot Jupiter exoplanet HD 189733b using high spectral resolution observations of several hydrogen Balmer lines. The line shape of the pre-transit feature and the shape of the time series absorption provide the strongest constraints on the morphology and physical characteristics of extended structures around an exoplanet. The in-transit measurements confirm the previous exospheric H-alpha detection although the absorption depth measured here is ~50% lower. The pre-transit absorption feature occurs 125 minutes before the predicted optical transit, a projected linear distance from the planet to the stellar disk of 7.2 planetary radii. The absorption strength observed in the Balmer lines indicates an optically thick, but physically small, geometry. We model this signal as the early ingress of a planetary bow shock. If the bow shock is mediated by a planetary magnetosphere, the large standoff distance derived from the model suggests a large equatorial planetary magnetic field strength of 28 G. Better knowledge of exoplanet magnetic field strengths is crucial to understanding the role these fields play in planetary evolution and the potential development of life on planets in the habitable zone.


title: Time-dependent phase shift of a retrieved pulse in off-resonant EIT-based light storage

abstract: We report measurements of the time-dependent phases of the leak and retrieved pulses obtained in EIT storage experiments with metastable helium vapor at room temperature. In particular, we investigate the influence of the optical detuning at two-photon resonance, and provide numerical simulations of the full dynamical Maxwell-Bloch equations, which allow us to account for the experimental results.


title: Invariance in multi-objective quantum control

abstract: Simultaneous optimization of multiple quantum objectives is often considered a demanding task. However, a special circumstance arises when a primary objective is pitted against a set of secondary objectives, which we show leads to invariant behavior of the secondary objectives upon the primary one approaching its optimal value. Still, practical relationships among the objectives will generally lead to a threshold, beyond which system re-engineering is required to further increase the primary objective. This finding is of broad significance for reaching high performance in quantum technologies


title: Quantum spin chains with fractional revival

abstract: A systematic study of fractional revival at two sites in $XX$ quantum spin chains is presented and analytic models with this phenomenon are exhibited. The generic models have two essential parameters and a revival time that does not depend on the length of the chain. They are obtained by combining two basic ways of realizing fractional revival in a spin chain each bringing one parameter. The first proceeds through isospectral deformations of spin chains with perfect state transfer. The second arises from the recurrence coefficients of the para-Krawtchouk polynomials with a bi-lattice orthogonality grid. It corresponds to an analytic model previously identified that can possess perfect state transfer in addition to fractional revival.


title: Generalized Totalizer Encoding for Pseudo-Boolean Constraints

abstract: Pseudo-Boolean constraints, also known as 0-1 Integer Linear Constraints, are used to model many real-world problems. A common approach to solve these constraints is to encode them into a SAT formula. The runtime of the SAT solver on such formula is sensitive to the manner in which the given pseudo-Boolean constraints are encoded. In this paper, we propose generalized Totalizer encoding (GTE), which is an arc-consistency preserving extension of the Totalizer encoding to pseudo-Boolean constraints. Unlike some other encodings, the number of auxiliary variables required for GTE does not depend on the magnitudes of the coefficients. Instead, it depends on the number of distinct combinations of these coefficients. We show the superiority of GTE with respect to other encodings when large pseudo-Boolean constraints have low number of distinct coefficients. Our experimental results also show that GTE remains competitive even when the pseudo-Boolean constraints do not have this characteristic.


title: Probing molecular dynamics at the nanoscale via an individual paramagnetic center

abstract: Understanding the dynamics of molecules adsorbed to surfaces or confined to small volumes is a matter of increasing scientific and technological importance. Here, we demonstrate a pulse protocol using individual paramagnetic nitrogen vacancy (NV) centers in diamond to observe the time evolution of 1H spins from organic molecules located a few nanometers from the diamond surface. The protocol records temporal correlations among the interacting 1H spins, and thus is sensitive to the local system dynamics via its impact on the nuclear spin relaxation and interaction with the NV. We are able to gather information on the nanoscale rotational and translational diffusion dynamics by carefully analyzing the time dependence of the NMR signal. Applying this technique to various liquid and solid samples, we find evidence that liquid samples form a semi-solid layer of 1.5 nm thickness on the surface of diamond, where translational diffusion is suppressed while rotational diffusion remains present. Extensions of the present technique could be adapted to highlight the chemical composition of molecules tethered to the diamond surface or to investigate thermally or chemically activated dynamical processes such as molecular folding.


title: Torsion in the Coherent Cohomology of Shimura Varieties and Galois Representations

abstract: We introduce a method for producing congruences between Hecke eigenclasses, possibly torsion, in the coherent cohomology of automorphic vector bundles on certain good reduction Shimura varieties. The congruences are produced using some "generalized Hasse invariants" adapted to the Ekedahl-Oort stratification of the special fiber.


title: Solutions to multi-marginal optimal transport problems concentrated on several graphs

abstract: We study solutions to the multi-marginal Monge-Kantorovich problem which are concentrated on several graphs over the first marginal. We first present two general conditions on the cost function which ensure, respectively, that any solution must concentrate on either finitely many or countably many graphs. We show that local differential conditions on the cost, known to imply local $d$-rectifiability of the solution, are sufficient to imply a local version of the first of our conditions. We exhibit two examples of cost functions satisfying our conditions, including the Coulomb cost from density functional theory in one dimension. We also prove a number of results relating to the uniqueness and extremality of optimal measures. These include a sufficient condition on a collection of graphs for any competitor in the Monge-Kantorovich problem concentrated on them to be extremal, and a general negative result, which shows that when the problem is symmetric with respect to permutations of the variables, uniqueness cannot occur except under very special circumstances.


title: Multiuser Communication through Power Talk in DC MicroGrids

abstract: Power talk is a novel concept for communication among control units in MicroGrids (MGs), carried out without a dedicated modem, but by using power electronics that interface the common bus. The information is transmitted by modulating the parameters of the primary control, incurring subtle power deviations that can be detected by other units. In this paper, we develop power talk communication strategies for DC MG systems with arbitrary number of control units that carry out all-to-all communication. We investigate two multiple access strategies: 1) TDMA, where only one unit transmits at a time, and 2) full duplex, where all units transmit and receive simultaneously. We introduce the notions of signaling space, where the power talk symbol constellations are constructed, and detection space, where the demodulation of the symbols is performed. The proposed communication technique is challenged by the random changes of the bus parameters due to load variations in the system. To this end, we employ a solution based on training sequences, which re-establishes the signaling and detection spaces and thus enables reliable information exchange. The presented results show that power talk is an effective solution for reliable communication among units in DC MG systems.


title: Integral equation methods for elastance and mobility problems in two dimensions

abstract: We present new integral representations in two dimensions for the elastance problem in electrostatics and the mobility problem in Stokes flow. These representations lead to resonance-free Fredholm integral equations of the second kind and well conditioned linear systems upon discretization. By coupling our integral equations with high order quadrature and fast multipole acceleration, large-scale problems can be solved with only modest computing resources. We also discuss some applications of these boundary value problems in applied physics.


title: A census of dense cores in the Aquila cloud complex: SPIRE/PACS observations from the Herschel Gould Belt survey

abstract: We present and discuss the results of the Herschel Gould Belt survey observations in a ~11 deg^2 area of the Aquila molecular cloud complex at d~260 pc, imaged with the SPIRE/PACS cameras from 70 to 500 micron. We identify a complete sample of starless dense cores and embedded protostars in this region, and analyze their global properties and spatial distributions. We find a total of 651 starless cores, ~60% of which are gravitationally bound prestellar cores, and they will likely form stars in the future. We also detect 58 protostellar cores. The core mass function (CMF) derived for the prestellar cores is very similar in shape to the stellar initial mass function (IMF), supporting the earlier view that there is a close physical link between the IMF and the CMF. The global shift in mass scale observed between the CMF and the IMF is consistent with a typical star formation efficiency of ~40%. By comparing the numbers of starless cores to the number of young stellar objects, we estimate that the lifetime of prestellar cores is ~1 Myr. We find a strong correlation between the spatial distribution of prestellar cores and the densest filaments. About 90% of the Herschel-identified prestellar cores are located above a background column density corresponding to A_V~7, and ~75% of them lie within filamentary structures with supercritical masses per unit length >~16 M_sun/pc. These findings support a picture wherein the cores making up the peak of the CMF (and probably responsible for the base of the IMF) result primarily from the gravitational fragmentation of marginally supercritical filaments. Given that filaments appear to dominate the mass budget of dense gas at A_V>7, our findings also suggest that the physics of prestellar core formation within filaments is responsible for a characteristic "efficiency" SFR/M_dense ~5+-2 x 10^-8 yr^-1 for the star formation process in dense gas.


title: Generalization of Clausius-Mossotti approximation in application to short-time transport properties of suspensions

abstract: In 1983 Felderhof, Ford and Cohen gave microscopic explanation of the famous Clausius-Mossotti formula for the dielectric constant of nonpolar dielectric. They based their considerations on the cluster expansion of the dielectric constant, which relates this macroscopic property with the microscopic characteristics of the system. In this article, we analyze the cluster expansion of Felderhof, Ford and Cohen by performing its resummation (renormalization). Our analysis leads to the ring expansion for the macroscopic characteristic of the system, which is an expression alternative to the cluster expansion. Using similarity of structures of the cluster expansion and the ring expansion, we generalize (renormalize) the Clausius-Mossotti approximation. We apply our renormalized Clausius-Mossotti approximation to the case of the short-time transport properties of suspensions, calculating the effective viscosity and the hydrodynamic function with the translational self-diffusion and the collective diffusion coefficient. We perform calculations for monodisperse hard-sphere suspensions in equilibrium with volume fraction up to 45%. To assess the renormalized Clausius-Mossotti approximation, it is compared with numerical simulations and the Beenakker-Mazur method. The results of our renormalized Clausius-Mossotti approximation lead to comparable or much less error (with respect to the numerical simulations), than the Beenakker-Mazur method for the volume fractions below $ \phi \approx 30\% $ (apart from a small range of wave vectors in hydrodynamic function). For volume fractions above $\phi \approx 30 \%$, the Beenakker-Mazur method gives in most cases lower error, than the renormalized Clausius-Mossotti approximation.


title: Baby Skyrmions in AdS

abstract: We study the baby Skyrme model in a pure AdS background without a mass term. The tail decays and scalings of massless radial solutions are demonstrated to take a similar form to those of the massive flat space model, with the AdS curvature playing a similar role to the flat space pion mass. We also numerically find minimal energy solutions for a range of higher topological charges and find that they form concentric ring-like solutions. Popcorn transitions (named in analogy with studies of toy models of holographic QCD) from an n layer to an n+1-layer configuration are observed at topological charges 9 and 27 and further popcorn transitions for higher charges are predicted. Finally, a point-particle approximation for the model is derived and used to successfully predict the ring structures and popcorn transitions for higher charge solitons.


title: Random mappings designed for commercial search engines

abstract: We give a practical random mapping that takes any set of documents represented as vectors in Euclidean space and then maps them to a sparse subset of the Hamming cube while retaining ordering of inter-vector inner products. Once represented in the sparse space, it is natural to index documents using commercial text-based search engines which are specialized to take advantage of this sparse and discrete structure for large-scale document retrieval. We give a theoretical analysis of the mapping scheme, characterizing exact asymptotic behavior and also giving non-asymptotic bounds which we verify through numerical simulations. We balance the theoretical treatment with several practical considerations; these allow substantial speed up of the method. We further illustrate the use of this method on search over two real data sets: a corpus of images represented by their color histograms, and a corpus of daily stock market index values.


title: Search for an additional, heavy Higgs boson in the $H\rightarrow ZZ$ decay channel at $\sqrt{s}$ = 8 TeV in $pp$ collision data with the ATLAS detector

abstract: A search is presented for a high-mass Higgs boson in the $H\rightarrow\ell\ell\ell\ell$, $H\rightarrow\ell\ell\nu\nu$, $H\rightarrow\ell\ell qq$, and $H\rightarrow\nu\nu qq$ decay modes using the ATLAS detector at the CERN Large Hadron Collider. The search uses proton-proton collision data at a centre-of-mass energy of 8 TeV corresponding to an integrated luminosity of 20.3 fb$^{-1}$. The results of the search are interpreted in the scenario of a heavy Higgs boson with a width that is small compared with the experimental mass resolution. The Higgs boson mass range considered extends up to 1 TeV for all four decay modes and down to as low as 140 GeV, depending on the decay mode. No significant excess of events over the Standard Model prediction is found. A simultaneous fit to the four decay modes yields upper limits on the production cross-section of a heavy Higgs boson times the branching ratio to Z boson pairs. 95% confidence level upper limits range from 0.53 pb at $m_H=195$ GeV to 0.008 pb at $m_H=950$ GeV for the gluon-fusion production mode and from 0.31 pb at $m_H=195$ GeV to 0.009 pb at $m_H=950$ GeV for the vector-boson-fusion production mode. The results are also interpreted in the context of Type-I and Type-II two-Higgs-doublet models.


title: The effect of surface wettability on inertial pouring flows

abstract: A liquid poured from a curved solid surface can separate as a steady jet or sheet, or trickle down along the solid surface. It was shown by Duez et al. [Phys. Rev. Lett. 104, 084503 (2010)] that surface wettability controls the separation of an inertial flow from a solid surface to an unexpected degree, which was further motivated by an inertial-capillary adhesion model. In this paper we extend the analysis by a control volume calculation that takes into account the velocity profile within the flowing layer, supported by Boundary Integral potential flow simulations, and the detailed capillary forces induced by the local curvatures of the sheet. Our analysis captures the appearance of a critical Weber number below which no steady separated solutions can be sustained. We investigate the dependence of the critical Weber number on the wettability and sharpness of the edge of the curved solid, and recover the key experimental trends.


title: Twisted Dirac operators and dynamical zeta functions

abstract: In this paper, we consider the dynamical zeta functions of Ruelle and Selberg associated with the geodesic flow of a compact hyperbolic odd dimensional manifold $X$. These functions are initially defined on one complex variable $s$ in some right half-plane of $\mathbb{C}$. Our goal is the continue meromorphically the dynamical zeta functions to the whole complex plane, using the Selberg trace formula for arbitrary, not necessarily unitary, representations $\chi$ of the fundamental group. First, we prove a trace formula for the integral operator $D^{\sharp}_{\chi}(\sigma)e^{-t(D^{\sharp}_{\chi}(\sigma))^{2}}$, induced by the twisted Dirac operator $D^{\sharp}_{\chi}(\sigma)$ on $X$. Then we use these results to establish the meromorphic continuation of the dynamical zeta functions to $\mathbb{C}$.


title: The list chromatic index of simple graphs whose odd cycles intersect in at most one edge

abstract: We study the class of simple graphs $\mathcal{G}^*$ for which every pair of distinct odd cycles intersect in at most one edge. We give a structural characterization of the graphs in $\mathcal{G}^*$ and prove that every $G \in \mathcal{G}^*$ satisfies the list-edge-coloring conjecture. When $\Delta(G) \geq 4$, we in fact prove a stronger result about kernel-perfect orientations in $L(G)$ which implies that $G$ is $(m\Delta(G):m)$-edge-choosable and $\Delta(G)$-edge-paintable for every $m \geq 1$.


title: Unconditional and quasi-greedy bases in $L_p$ with applications to Jacobi polynomials Fourier series

abstract: We show that the decreasing rearrangement of the Fourier series with respect to the Jacobi polynomials for functions in $L_p$ does not converge unless $p=2$. As a by-product of our work on quasi-greedy bases in $L_{p}(\mu)$, we show that no normalized unconditional basis in $L_p$, $p\not=2$, can be semi-normalized in $L_q$ for $q\not=p$, thus extending a classical theorem of Kadets and Pe{\l}czy{\'n}ski from 1968.


title: Principal causal effect identification and surrogate endpoint evaluation by multiple trials

abstract: Principal stratification is a causal framework to analyze randomized experiments with a post-treatment variable between the treatment and endpoint variables. Because the principal strata defined by the potential outcomes of the post-treatment variable are not observable, we generally cannot identify the causal effects within principal strata. Motivated by a real data set of phase III adjuvant colon clinical trials, we propose approaches to identifying and estimating the principal causal effects via multiple trials. For the identifiability, we remove the commonly-used exclusion restriction assumption by stipulating that the principal causal effects are homogeneous across these trials. To remove another commonly-used monotonicity assumption, we give a necessary condition for the local identifiability, which requires at least three trials. Applying our approaches to the data from adjuvant colon clinical trials, we find that the commonly-used monotonicity assumption is untenable, and disease-free survival with three-year follow-up is a valid surrogate endpoint for overall survival with five-year follow-up, which satisfies both the causal necessity and the causal sufficiency. We also propose a sensitivity analysis approach based on Bayesian hierarchical models to investigate the impact of the deviation from the homogeneity assumption.


title: The Cumulative Distribution Transform and Linear Pattern Classification

abstract: Discriminating data classes emanating from sensors is an important problem with many applications in science and technology. We describe a new transform for pattern identification that interprets patterns as probability density functions, and has special properties with regards to classification. The transform, which we denote as the Cumulative Distribution Transform (CDT) is invertible, with well defined forward and inverse operations. We show that it can be useful in `parsing out' variations (confounds) that are `Lagrangian' (displacement and intensity variations) by converting these to `Eulerian' (intensity variations) in transform space. This conversion is the basis for our main result that describes when the CDT can allow for linear classification to be possible in transform space. We also describe several properties of the transform and show, with computational experiments that used both real and simulated data, that the CDT can help render a variety of real world problems simpler to solve.


title: Generation and Detection of Atomic Spin Entanglement in Optical Lattices

abstract: Ultracold atoms in optical lattices offer a great promise to generate entangled states for scalable quantum information processing owing to the inherited long coherence time and controllability over a large number of particles. We report on the generation, manipulation and detection of atomic spin entanglement in an optical superlattice. Employing a spin-dependent superlattice, atomic spins in the left or right sites can be individually addressed and coherently manipulated by microwave pulses with near unitary fidelities. Spin entanglement of the two atoms in the double wells of the superlattice is generated via dynamical evolution governed by spin superexchange. By observing collisional atom loss with in-situ absorption imaging we measure spin correlations of atoms inside the double wells and obtain the lower boundary of entanglement fidelity as $0.79\pm0.06$, and the violation of a Bell's inequality with $S=2.21\pm 0.08$. The above results represent an essential step towards scalable quantum computation with ultracold atoms in optical lattices.


title: Distributed Coordinated Control of Large-Scale Nonlinear Networks

abstract: We provide a distributed coordinated approach to the stability analysis and control design of large-scale nonlinear dynamical systems by using a vector Lyapunov functions approach. In this formulation the large-scale system is decomposed into a network of interacting subsystems and the stability of the system is analyzed through a comparison system. However finding such comparison system is not trivial. In this work, we propose a sum-of-squares based completely decentralized approach for computing the comparison systems for networks of nonlinear systems. Moreover, based on the comparison systems, we introduce a distributed optimal control strategy in which the individual subsystems (agents) coordinate with their immediate neighbors to design local control policies that can exponentially stabilize the full system under initial disturbances.We illustrate the control algorithm on a network of interacting Van der Pol systems.


title: Reversibility and further properties of FCFS infinite bipartite matching

abstract: The model of FCFS infinite bipartite matching was introduced in caldentey-kaplan-weiss 2009. In this model there is a sequence of items that are chosen i.i.d. from $\mathcal{C}=\{c_1,\ldots,c_I\}$ and an independent sequence of items that are chosen i.i.d. from $\mathcal{S}=\{s_1,\ldots,s_J\}$, and a bipartite compatibility graph $G$ between $\mathcal{C}$ and $\mathcal{S}$. Items of the two sequences are matched according to the compatibility graph, and the matching is FCFS, each item in the one sequence is matched to the earliest compatible unmatched item in the other sequence. In adan-weiss 2011 a Markov chain associated with the matching was analyzed, a condition for stability was verified, a product form stationary distribution was derived and the rates $r_{c_i,s_j}$ of matches between compatible types $c_i$ and $s_j$ were calculated. In the current paper, we present several new results that unveil the fundamental structure of the model. First, we provide a pathwise Loynes' type construction which enables to prove the existence of a unique matching for the model defined over all the integers. Second, we prove that the model is dynamically reversible: we define an exchange transformation in which we interchange the positions of each matched pair, and show that the items in the resulting permuted sequences are again independent and i.i.d., and the matching between them is FCFS in reversed time. Third, we obtain product form stationary distributions of several new Markov chains associated with the model. As a by product, we compute useful performance measures, for instance the link lengths between matched items.


title: Nanostructure of edge dislocations in a smectic C* liquid crystal

abstract: We report on the first direct nanoscale imaging of elementary edge dislocations in a thermotropic chiral smectic C liquid crystal with the Burgers vector equal to one smectic layer spacing d. We find two different types of dislocation profiles. In the dislocation of type A, the layers deformations lack mirror symmetry with respect to the plane perpendicular to the Burgers vector; the dislocation core size is on the order of d. In the dislocation of type S, the core is strongly anisotropic, extending along the Burgers vector over distances much larger (by a factor of 4) than d. The difference is attributed to a different orientation of the molecular tilt plane with respect to the dislocation axis; the asymmetric layers distortions are observed when the molecular tilt plane is perpendicular to the axis and the split S core is observed when the molecules are tilted along the line.


title: A Perspective on Future Research Directions in Information Theory

abstract: Information theory is rapidly approaching its 70th birthday. What are promising future directions for research in information theory? Where will information theory be having the most impact in 10-20 years? What new and emerging areas are ripe for the most impact, of the sort that information theory has had on the telecommunications industry over the last 60 years? How should the IEEE Information Theory Society promote high-risk new research directions and broaden the reach of information theory, while continuing to be true to its ideals and insisting on the intellectual rigor that makes its breakthroughs so powerful? These are some of the questions that an ad hoc committee (composed of the present authors) explored over the past two years. We have discussed and debated these questions, and solicited detailed inputs from experts in fields including genomics, biology, economics, and neuroscience. This report is the result of these discussions.


title: Beyond Fab Four

abstract: We show that the two additional Lagrangians that appear in theories beyond Horndeski can be reexpressed in terms of simple generalizations of the "John" and "Paul" terms of the Fab Four theories. We find that these extended Fab Four satisfy the same properties of self-tuning as the original Fab Four.


title: Modeling the pulse signal by wave-shape function and analyzing by synchrosqueezing transform

abstract: We apply the recently developed adaptive non-harmonic model based on the wave-shape function, as well as the time-frequency analysis tool called synchrosqueezing transform (SST) to model and analyze oscillatory physiological signals. To demonstrate how the model and algorithm work, we apply them to study the pulse wave signal. By extracting features called the spectral pulse signature, {and} based on functional regression, we characterize the hemodynamics from the radial pulse wave signals recorded by the sphygmomanometer. Analysis results suggest the potential of the proposed signal processing approach to extract health-related hemodynamics features.


title: Faster Worst Case Deterministic Dynamic Connectivity

abstract: We present a deterministic dynamic connectivity data structure for undirected graphs with worst case update time $O\left(\sqrt{\frac{n(\log\log n)^2}{\log n}}\right)$ and constant query time. This improves on the previous best deterministic worst case algorithm of Frederickson (STOC 1983) and Eppstein Galil, Italiano, and Nissenzweig (J. ACM 1997), which had update time $O(\sqrt{n})$. All other algorithms for dynamic connectivity are either randomized (Monte Carlo) or have only amortized performance guarantees.


title: Nucleosynthesis in neutrino-driven winds in hypernovae

abstract: We investigate the nucleosynthesis in the neutrino-driven winds blown off from a $3M_\odot$ massive proto-neutron star (mPNS) temporarily formed during the collapse of a $100M_\odot$ star. Such mPNSs would be formed in hypernovae. We construct steady and spherically symmetric wind solutions. We set large neutrino luminosities of $\sim 10^{53}\ {\rm erg\ s^{-1}}$ and average energies of electron neutrinos and antineutrinos in the ranges of $\epsilon_{\nu_e}=9-16\ {\rm MeV}$ and $\epsilon_{\bar{\nu}_e}=11-18\ {\rm MeV}$ based on a recent numerical relativity simulation. The wind solutions indicate much shorter temperature-decrease timescale than that of the winds from ordinary PNSs and, depending on $\epsilon_\nu$, the winds can be both neutron-rich and proton-rich. In the neutron-rich wind, the $r$-process occurs and the abundance distribution of a fiducial wind model of the mPNS gives an approximate agreement with the abundance pattern of metal-poor weak $r$ star HD~122563, although the third-peak elements are produced only when the $\bar{\nu}_e$ energy is much larger than the $\nu_e$ energy. In the proton-rich wind, the strong $\nu p$-process occurs and $A>100$ nuclides are synthesized. The synthesized nuclei can be neutron-rich in some cases because the large neutrino luminosity of the mPNS supplies a sufficient amount of neutrons.


title: Buzz: An Extensible Programming Language for Self-Organizing Heterogeneous Robot Swarms

abstract: We present Buzz, a novel programming language for heterogeneous robot swarms. Buzz advocates a compositional approach, offering primitives to define swarm behaviors both from the perspective of the single robot and of the overall swarm. Single-robot primitives include robot-specific instructions and manipulation of neighborhood data. Swarm-based primitives allow for the dynamic management of robot teams, and for sharing information globally across the swarm. Self-organization stems from the completely decentralized mechanisms upon which the Buzz run-time platform is based. The language can be extended to add new primitives (thus supporting heterogeneous robot swarms), and its run-time platform is designed to be laid on top of other frameworks, such as Robot Operating System. We showcase the capabilities of Buzz by providing code examples, and analyze scalability and robustness of the run-time platform through realistic simulated experiments with representative swarm algorithms.


title: Functional equations of Selberg and Ruelle zeta functions for non-unitary twists

abstract: We consider the dynamical zeta functions of Selberg and Ruelle associated with the geodesic flow on a compact odd-dimensional hyperbolic manifold. These dynamical zeta functions are defined for a complex variable $s$ in some right-half plane of $\mathbb{C}$. In [Spi18], it was proved that they admit a meromorphic continuation to the whole complex plane. In this paper, we establish functional equations for them, relating their values at $s$ with those at $-s$. We prove also a determinant representation of the zeta functions, using the regularized determinants of certain twisted differential operators.


title: Paired teaching for faculty professional development in teaching

abstract: Paired (or co-)teaching is an arrangement in which two faculty are collaboratively responsible for all aspects of teaching a course. By pairing an instructor experienced in research-based instructional strategies (RBIS) with an instructor with little or no experience in RBIS, paired teaching can be used to promote the adoption of RBIS. Using data from post-course interviews with the novice instructors of four such arrangements, we seek to describe factors that make for effective professional development in teaching via paired teaching. We suggest that the novice instructor's approach to the paired teaching and their previous teaching experience are two aspects which mediate their learning about teaching. Additionally, the structure of the pair-taught course and the sequence of teaching assignments for the novice both likely play roles in lowering the barrier to novice instructors adopting RBIS. We discuss these results within the framework of cognitive apprenticeship.


title: On the type of an almost Gorenstein monomial curve

abstract: We prove that the Cohen-Macaulay type of an almost Gorenstein monomial curve $\mathcal C \subseteq \mathbb{A}^4$ is at most $3$, and make some considerations on the general case.


title: On the Worst-Case Approximability of Sparse PCA

abstract: It is well known that Sparse PCA (Sparse Principal Component Analysis) is NP-hard to solve exactly on worst-case instances. What is the complexity of solving Sparse PCA approximately? Our contributions include: 1) a simple and efficient algorithm that achieves an $n^{-1/3}$-approximation; 2) NP-hardness of approximation to within $(1-\varepsilon)$, for some small constant $\varepsilon > 0$; 3) SSE-hardness of approximation to within any constant factor; and 4) an $\exp\exp\left(\Omega\left(\sqrt{\log \log n}\right)\right)$ ("quasi-quasi-polynomial") gap for the standard semidefinite program.


title: A hyperholomorphic line bundle on certain hyperk\"ahler manifolds not admitting an $S^1$-symmetry

abstract: Generalizing work of Haydys and Hitchin, we prove the existence of a hyperholomorphic line bundle on certain hyperk\"ahler manifolds that do not necessarily admit an $S^1$ action. As examples, we consider the moduli space of (non-strongly) parabolic Higgs bundles, the moduli space of solutions to Nahm's equations, and Nakajima quiver varieties.


title: Optimal Testing for Properties of Distributions

abstract: Given samples from an unknown distribution $p$, is it possible to distinguish whether $p$ belongs to some class of distributions $\mathcal{C}$ versus $p$ being far from every distribution in $\mathcal{C}$? This fundamental question has received tremendous attention in statistics, focusing primarily on asymptotic analysis, and more recently in information theory and theoretical computer science, where the emphasis has been on small sample size and computational complexity. Nevertheless, even for basic properties of distributions such as monotonicity, log-concavity, unimodality, independence, and monotone-hazard rate, the optimal sample complexity is unknown. We provide a general approach via which we obtain sample-optimal and computationally efficient testers for all these distribution families. At the core of our approach is an algorithm which solves the following problem: Given samples from an unknown distribution $p$, and a known distribution $q$, are $p$ and $q$ close in $\chi^2$-distance, or far in total variation distance? The optimality of our testers is established by providing matching lower bounds with respect to both $n$ and $\varepsilon$. Finally, a necessary building block for our testers and an important byproduct of our work are the first known computationally efficient proper learners for discrete log-concave and monotone hazard rate distributions.

categories: cs.DS cs.IT cs.LG math.IT math.ST stat.TH


title: Why Haven't Many of the Brightest Radio Loud Blazars Been Detected by Fermi ?

abstract: We use the complete MOJAVE 1.5 Jy sample of active galactic nuclei (AGN) to examine the gamma-ray detection statistics of the brightest radio-loud blazars in the northern sky. We find that 23% of these AGN were not detected above 0.1 GeV by the Fermi LAT during the 4-year 3FGL catalog period partly because of an instrumental selection effect, and partly due to their lower Doppler boosting factors. Blazars with synchrotron peaks in their spectral energy distributions located below $10^{13.4}$ Hz also tend to have high-energy peaks that lie below the 0.1 GeV threshold of the LAT, and are thus less likely to be detected by Fermi. The non-detected AGN in the 1.5 Jy sample also have significantly lower 15 GHz radio modulation indices and apparent jet speeds, indicating that they have lower than average Doppler factors. Since the effective amount of relativistic Doppler boosting is enhanced in gamma-rays (particularly in the case of external inverse-Compton scattering), this makes them less likely to appear in the 3FGL catalog. Based on their observed properties, we have identified several bright radio-selected blazars that are strong candidates for future detection by Fermi.


title: General U(1)xU(1) F-theory Compactifications and Beyond: Geometry of unHiggsings and novel Matter Structure

abstract: We construct the general form of an F-theory compactification with two U(1) factors based on a general elliptically fibered Calabi-Yau manifold with Mordell-Weil group of rank two. This construction produces broad classes of models with diverse matter spectra, including many that are not realized in earlier F-theory constructions with U(1)xU(1) gauge symmetry. Generic U(1)xU(1) models can be related to a Higgsed non-Abelian model with gauge group SU(2)xSU(2)xSU(3), SU(2)^3xSU(3), or a subgroup thereof. The nonlocal horizontal divisors of the Mordell-Weil group are replaced with local vertical divisors associated with the Cartan generators of non-Abelian gauge groups from Kodaira singularities. We give a global resolution of codimension two singularities of the Abelian model; we identify the full anomaly free matter content, and match it to the unHiggsed non-Abelian model. The non-Abelian Weierstrass model exhibits a new algebraic description of the singularities in the fibration that results in the first explicit construction of matter in the symmetric representation of SU(3). This matter is realized on double point singularities of the discriminant locus. The construction suggests a generalization to U(1)^k factors with k>2, which can be studied by Higgsing theories with larger non-Abelian gauge groups.


title: Sorting using non-binary comparisons

abstract: In this paper we investigate the problem of sorting a set of $n$ coins, each with distinct but unknown weights, using an unusual scale. The classical version of this problem, which has been well-studied, gives the user a binary scale, enabling them to determine which is the lighter/heavier of any two objects. We generalise this, considering a scale that accepts $k$ coins as input and returns the $t^{\text{th}}$ lightest, for a fixed $k$ and $t$. We consider this in both an on-line and off-line setting, and exhibit algorithms in both settings that are best-possible in terms of the order of the number of queries required.


title: Towards a Better Understanding of CAR, CDR, CADR and the Others

abstract: This paper describes the IBM 704 architecture and the genesis of the names for CAR, and CDR, which, as it turns out, probably don't quite make sense. The paper suggests that this may not be all bad, as the names lend themselves to compounding. Indeed that the compound function names , such as CADR, or even CADADR, etc. may be read as little access programs.


title: Multiple superconducting ring ratchets for ultrasensitive detection of non-equilibrium noise

abstract: Magnetic quantum periodicity in the dc voltage is observed when asymmetric rings are switched between superconducting and normal state by a noise or ac current. This quantum effect is used for detection of a non-equilibrium noise with the help of a system of 667 asymmetric aluminum rings of $1 \ \mu m$ in diameter connected in series. Any noise down to the equilibrium one can be detected with the help of such system with enough great number of asymmetric rings.


title: Multi-wavelength constraints on cosmic-ray leptons in the Galaxy

abstract: Cosmic rays (CRs) interact with the gas, the radiation field and the magnetic field in the Milky Way, producing diffuse emission from radio to gamma rays. Observations of this diffuse emission and comparison with detailed predictions are powerful tools to unveil the CR properties and to study CR propagation. We present various GALPROP CR propagation scenarios based on current CR measurements. The predicted synchrotron emission is compared to radio surveys, and synchrotron temperature maps from WMAP and Planck, while the predicted interstellar gamma-ray emission is compared to Fermi-LAT observations. We show how multi-wavelength observations of the Galactic diffuse emission can be used to help constrain the CR lepton spectrum and propagation. Finally we discuss how radio and microwave data could be used in understanding the diffuse Galactic gamma-ray emission observed with Fermi-LAT, especially at low energies.


title: How Large are Nonadiabatic Effects in Atomic and Diatomic Systems?

abstract: With recent developments in simulating nonadiabatic systems to high accuracy, it has become possible to determine how much energy is attributed to nuclear quantum effects beyond zero-point energy. In this work we calculate the non-relativistic ground-state energies of atomic and molecular systems without the Born-Oppenheimer approximation. For this purpose we utilize the fixed-node diffusion Monte Carlo method, in which the nodes depend on both the electronic and ionic positions. We report ground-state energies for all systems studied, ionization energies for the first-row atoms and atomization energies for the first-row hydrides. We find the ionization energies of the atoms to be nearly independent of the Born-Oppenheimer approximation, within the accuracy of our results. The atomization energies of molecular systems, however, show small effects of the nonadiabatic coupling between electrons and nuclei.


title: AGN Flickering and Chaotic Accretion

abstract: Observational arguments suggest that the growth phases of the supermassive black holes in active galactic nuclei have a characteristic timescale $\sim 10^5$ yr. We show that this is the timescale expected in the chaotic accretion picture of black hole feeding, because of the effect of self-gravity in limiting the mass of any accretion disc feeding event.


title: Froggatt-Nielsen meets Mordell-Weil: A Phenomenological Survey of Global F-theory GUTs with U(1)s

abstract: In F-theory, U(1) gauge symmetries are encoded in rational sections, which generate the Mordell-Weil group of the elliptic fibration of the compactification space. Recently the possible U(1) charges for global SU(5) F-theory GUTs with smooth rational sections were classified arXiv:1504.05593 [hep-th]. In this paper we utilize this classification to probe global F-theory models for their phenomenological viability. After imposing an exotic-free MSSM spectrum, anomaly cancellation (related to hypercharge flux GUT breaking in the presence of U(1) gauge symmetries), absence of dimension four and five proton decay operators and other R-parity violating couplings, and the presence of at least the third generation top Yukawa coupling, we generate the remaining quark and lepton Yukawa textures by a Froggatt-Nielsen mechanism. In this process we require that the dangerous couplings are forbidden at leading order, and when re-generated by singlet vevs, lie within the experimental bounds. We scan over all possible configurations, and show that only a small class of U(1) charge assignments and matter distributions satisfy all the requirements. The solutions give rise to the exact MSSM spectrum with realistic quark and lepton Yukawa textures, which are consistent with the CKM and PMNS mixing matrices. We also discuss the geometric realization of these models, and provide pointers to the class of elliptic fibrations with good phenomenological properties.


title: Hyperscaling at the spin density wave quantum critical point in two dimensional metals

abstract: The hyperscaling property implies that spatially isotropic critical quantum states in $d$ spatial dimensions have a specific heat which scales with temperature as $T^{d/z}$, and an optical conductivity which scales with frequency as $\omega^{(d-2)/z}$ for $\omega \gg T$, where $z$ is the dynamic critical exponent. We examine the spin-density-wave critical fixed point of metals in $d=2$ found by Sur and Lee (Phys. Rev. B 91, 125136 (2015)) in an expansion in $\epsilon = 3-d$. We find that the contributions of the "hot spots" on the Fermi surface to the optical conductivity and specific heat obey hyperscaling (up to logarithms), and agree with the results of the large $N$ analysis of the optical conductivity by Hartnoll et al. (Phys. Rev. B 84, 125115 (2011)). With a small bare velocity of the boson associated with the spin density wave order, there is an intermediate energy regime where hyperscaling is violated with $d \rightarrow d_t$, where $d_t = 1$ is the number of dimensions transverse to the Fermi surface. We also present a Boltzmann equation analysis which indicates that the hot spot contribution to the DC conductivity has the same scaling as the optical conductivity, with $T$ replacing $\omega$.


title: A temperature inversion in WASP-33b? Large Binocular Telescope occultation data confirm significant thermal flux at short wavelengths

abstract: We observed a secondary eclipse of WASP-33b quasi-simultaneously in the optical (~0.55 {\mu}m) and the near-infrared (~1.05 {\mu}m) using the 2x8.4 m Large Binocular Telescope. WASP-33 is a {\delta} Scuti star pulsating with periods comparable to the eclipse duration, making the determination of the eclipse depth challenging. We use previously determined oscillation frequencies to model and remove the pulsation signal from the light curves, isolating the secondary eclipse. The determined eclipse depth is dF = 1.03 +/- 0.34 parts per thousand, corresponding to a brightness temperature of Tb = 3398 +/- 302 K. Combining previously published data with our new measurement we find the equilibrium temperature of WASP-33b to be Tb = 3358 +/- 165 K. We compare all existing eclipse data to a blackbody spectrum, to a carbon-rich non-inverted model and to a solar composition model with an inverted temperature structure. We find that current available data on WASP-33b's atmosphere can be best represented by a simple blackbody emission, without the need for more sophisticated atmospheric models with temperature inversions. Although our data cannot rule out models with or without a temperature inversion, they do confirm a high brightness temperature for the planet at short wavelengths. WASP-33b is one of the hottest exoplanets known till date, and its equilibrium temperature is consistent with rapid reradiation of the absorbed stellar light and a low albedo.


title: The Budget-Constrained Functional Dependency

abstract: Armstrong's axioms of functional dependency form a well-known logical system that captures properties of functional dependencies between sets of database attributes. This article assumes that there are costs associated with attributes and proposes an extension of Armstrong's system for reasoning about budget-constrained functional dependencies in such a setting. The main technical result of this article is the completeness theorem for the proposed logical system. Although the proposed axioms are obtained by just adding cost subscript to the original Armstrong's axioms, the proof of the completeness for the proposed system is significantly more complicated than that for the Armstrong's system.


title: On Gauge Enhancement and Singular Limits in $G_2$ Compactifications of M-theory

abstract: We study the physics of singular limits of $G_2$ compactifications of M-theory, which are necessary to obtain a compactification with non-abelian gauge symmetry or massless charged particles. This is more difficult than for Calabi-Yau compactifications, due to the absence of calibrated two-cycles that would have allowed for direct control of W-boson masses as a function of moduli. Instead, we study the relationship between gauge enhancement and singular limits in $G_2$ moduli space where an associative or coassociative submanifold shrinks to zero size; this involves the physics of topological defects and sometimes gives indirect control over particle masses, even though they are not BPS. We show how a lemma of Joyce associates the class of a three-cycle to any $U(1)$ gauge theory in a smooth $G_2$ compactification. If there is an appropriate associative submanifold in this class then in the limit of nonabelian gauge symmetry it may be interpreted as a gauge theory worldvolume and provides the location of the singularities associated with non-abelian gauge or matter fields. We identify a number of gauge enhancement scenarios related to calibrated submanifolds, including Coulomb branches and non-isolated conifolds, and also study examples that realize them.


title: Can life survive Gamma-Ray Bursts in the high-redshift universe?

abstract: Nearby Gamma-Ray Bursts (GRBs) have been proposed as a possible cause of mass extinctions on Earth. Due to the higher event rate of GRBs at higher redshifts, it has been speculated that life as we know it may not survive above a certain redshift (e.g. $z>0.5$). We examine the duty cycle of lethal (life-threatening) GRBs in the solar neighborhood, in the Sloan Digital Sky Survey (SDSS) galaxies and GRB host galaxies, with the dependence of the long GRB rate on star formation and metallicity properly taken into account. We find that the number of lethal GRBs attacking Earth within the past 500 Myr ($\sim$ epoch of the Ordovician mass extinction) is $0.93$. The number of lethal GRBs hitting a certain planet increases with redshift, thanks to the increasing star formation rate and decreasing metallicity in high-$z$ galaxies. Taking 1 per 500 Myr as a conservative duty cycle for life to survive, as evidenced by our existence, we find that there are still a good fraction of SDSS galaxies beyond $z=0.5$ where the GRB rate at half-mass radius is lower than this value. We derive the fraction of such benign galaxies as a function of redshift through Monte Carlo simulations, and find that the fraction is $\sim 50\%$ at $z\sim 1.5$ and $\sim 10\%$ even at $z \sim 3$. The mass distribution of benign galaxies is dominated by Milky-Way-like ones, thanks to their commonness, relatively large mass, and low star formation rate. GRB host galaxies are among the most dangerous ones.


title: A spectroscopic survey of Herbig Ae/Be stars with X-Shooter I: Stellar parameters and accretion rates

abstract: Herbig Ae/Be stars span a key mass range that links low and high mass stars, and thus provide an ideal window from which to explore their formation. This paper presents VLT/X-Shooter spectra of 91 Herbig Ae/Be stars, HAeBes; the largest spectroscopic study of HAeBe accretion to date. A homogeneous approach to determining stellar parameters is undertaken for the majority of the sample. Measurements of the ultra-violet (UV) are modelled within the context of magnetospheric accretion, allowing a direct determination of mass accretion rates. Multiple correlations are observed across the sample between accretion and stellar properties: the youngest and often most massive stars are the strongest accretors, and there is an almost 1:1 relationship between the accretion luminosity and stellar luminosity. Despite these overall trends of increased accretion rates in HAeBes when compared to classical T Tauri stars, we also find noticeable differences in correlations when considering the Herbig Ae and Herbig Be subsets. This, combined with the difficulty in applying a magnetospheric accretion model to some of the Herbig Be stars, could suggest that another form of accretion may be occurring within the Herbig Be mass range.


title: A comprehensive study of the open cluster NGC 6866

abstract: We present CCD $UBVRI$ photometry of the field of the open cluster NGC 6866. Structural parameters of the cluster are determined utilizing the stellar density profile of the stars in the field. We calculate the probabilities of the stars being a physical member of the cluster using their astrometric data and perform further analyses using only the most probable members. The reddening and metallicity of the cluster were determined by independent methods. The LAMOST spectra and the ultraviolet excess of the F and G type main-sequence stars in the cluster indicate that the metallicity of the cluster is about the solar value. We estimated the reddening $E(B-V)=0.074 \pm 0.050$ mag using the $U-B$ vs $B-V$ two-colour diagram. The distance modula, the distance and the age of NGC 6866 were derived as $\mu = 10.60 \pm 0.10$ mag, $d=1189 \pm 75$ pc and $t = 813 \pm 50$ Myr, respectively, by fitting colour-magnitude diagrams of the cluster with the PARSEC isochrones. The Galactic orbit of NGC 6866 indicates that the cluster is orbiting in a slightly eccentric orbit with $e=0.12$. The mass function slope $x=1.35 \pm 0.08$ was derived by using the most probable members of the cluster.


title: Estimates for the number of visible galaxy-spanning civilizations and the cosmological expansion of life

abstract: If advanced civilizations appear in the universe with an ability and desire to expand, the entire universe can become saturated with life on a short timescale, even if such expanders appear rarely. Our presence in an apparently untouched Milky Way thus constrains the appearance rate of galaxy-spanning Kardashev type III (K3) civilizations, if it is assumed that some fraction of K3 civilizations will continue their expansion at intergalactic distances. We use this constraint to estimate the appearance rate of K3 civilizations for 81 cosmological scenarios by specifying the extent to which humanity is a statistical outlier. We find that in nearly all plausible scenarios, the distance to the nearest visible K3 is cosmological. In searches for K3 galaxies where the observable range is limited, we also find that the most likely detections tend to be expanding civilizations who have entered the observable range from farther away. An observation of K3 clusters is thus more likely than isolated K3 galaxies.


title: Chaotic Neuronal Oscillations in Spontaneous Cortical-Subcortical Networks

abstract: Oscillatory activities are widely observed in specific frequency bands of recorded field potentials in different brain regions, and play critical roles in processing neural information. Understanding the structure of these oscillatory activities is essential for understanding the brain function. So far many details remain elusive about their rhythmic structures and how these oscillations are generated. We show that many oscillatory activities in spontaneous cortical-subcortical networks, such as delta, spindle, gamma, high-gamma and sharp wave ripple bands in different brain regions, are genuine chaotic time series which can be reconstructed as chaotic attractors through appropriately selected embedding delay and dimension. The reconstructed attractors are approximated by a simple radial basis function enabling high precision short-term prediction. Simultaneously recorded oscillatory activities in multiple brain regions differ greatly in term of temporal phase and amplitude but can be approximated by the same function. Our results suggest that neural oscillations are produced by deterministic chaotic systems. The occurrence of neural oscillation events is predetermined, and the brain possibly knows when and where the information will be processed and transferred in the future time as a result of the deterministic dynamic.


title: Black hole formation and growth with non-Gaussian primordial density perturbations

abstract: Quasars powered by massive black holes (BHs) with mass estimates above a billion solar masses have been identified at redshift 6 and beyond. The existence of such BHs requires almost continuous growth at the Eddington limit for their whole lifetime, of order of one billion years. In this paper, we explore the possibility that positively skewed scale-dependent non-Gaussian primordial fluctuations may ease the assembly of massive BHs. In particular, they produce more low-mass halos at high redshift, thus altering the production of metals and ultra-violet flux, believed to be important factors in BH formation. Additionally, a higher number of progenitors and of nearly equal-mass halo mergers would boost the mass increase provided by BH-BH mergers and merger-driven accretion. We use a set of two cosmological simulations, with either Gaussian or scale-dependent non-Gaussian primordial fluctuations to perform a proof-of-concept experiment to estimate how BH formation and growth are altered. We estimate the BH number density and the fraction of halos where BHs form, for both simulations and for two popular scenarios of BH formation (remnants of the first generation of stars and direct collapse in the absence of metals and molecular hydrogen). We find that the fractions of halos where BHs form are almost identical, but that non-Gaussian primordial perturbations increase the total number density of BHs for the both BH formation scenarios. We also evolve BHs using merger trees extracted from the simulations and find that non-Gaussianities increase both the BH masses and the number of the most massive BHs.


title: Circle actions on symplectic four-manifolds

abstract: We complete the classification of Hamiltonian torus and circle actions on symplectic four-dimensional manifolds. Following work of Delzant and Karshon, Hamiltonian circle and 2-torus actions on any fixed simply connected symplectic four-manifold were characterized by Karshon, Kessler and Pinsonnault. What remains is to study the case of Hamiltonian actions on blowups of S^2-bundles over a Riemann surface of positive genus. These do not admit 2-torus actions. In this paper, we characterize Hamiltonian circle actions on them. We then derive combinatorial results on the existence and counting of these actions. As a by-product, we provide an algorithm that determines the g-reduced form of a blowup form. Our work is a combination of "soft" equivariant and combinatorial techniques, using the momentum map and related data, with "hard" holomorphic techniques, including Gromov-Witten invariants.