title: Evidence for a Distant Giant Planet in the Solar System

abstract: Recent analyses have shown that distant orbits within the scattered disk population of the Kuiper belt exhibit an unexpected clustering in their respective arguments of perihelion. While several hypotheses have been put forward to explain this alignment, to date, a theoretical model that can successfully account for the observations remains elusive. In this work we show that the orbits of distant Kuiper belt objects cluster not only in argument of perihelion, but also in physical space. We demonstrate that the perihelion positions and orbital planes of the objects are tightly confined and that such a clustering has only a probability of 0.007% to be due to chance, thus requiring a dynamical origin. We find that the observed orbital alignment can be maintained by a distant eccentric planet with mass greater than ~10 Earth masses, whose orbit lies in approximately the same plane as those of the distant Kuiper belt objects, but whose perihelion is 180 degrees away from the perihelia of the minor bodies. In addition to accounting for the observed orbital alignment, the existence of such a planet naturally explains the presence of high perihelion Sedna-like objects, as well as the known collection of high semimajor axis objects with inclinations between 60 and 150 degrees whose origin was previously unclear. Continued analysis of both distant and highly inclined outer solar system objects provides the opportunity for testing our hypothesis as well as further constraining the orbital elements and mass of the distant planet.


title: RepEx: A Flexible Framework for Scalable Replica Exchange Molecular Dynamics Simulations

abstract: Replica Exchange (RE) simulations have emerged as an important algorithmic tool for the molecular sciences. RE simulations involve the concurrent execution of independent simulations which infrequently interact and exchange information. The next set of simulation parameters are based upon the outcome of the exchanges. Typically RE functionality is integrated into the molecular simulation software package. A primary motivation of the tight integration of RE functionality with simulation codes has been performance. This is limiting at multiple levels. First, advances in the RE methodology are tied to the molecular simulation code. Consequently these advances remain confined to the molecular simulation code for which they were developed. Second, it is difficult to extend or experiment with novel RE algorithms, since expertise in the molecular simulation code is typically required. In this paper, we propose the RepEx framework which address these aforementioned shortcomings of existing approaches, while striking the balance between flexibility (any RE scheme) and scalability (tens of thousands of replicas) over a diverse range of platforms. RepEx is designed to use a pilot-job based runtime system and support diverse RE Patterns and Execution Modes. RE Patterns are concerned with synchronization mechanisms in RE simulation, and Execution Modes with spatial and temporal mapping of workload to the CPU cores. We discuss how the design and implementation yield the following primary contributions of the RepEx framework: (i) its ability to support different RE schemes independent of molecular simulation codes, (ii) provide the ability to execute different exchange schemes and replica counts independent of the specific availability of resources, (iii) provide a runtime system that has first-class support for task-level parallelism, and (iv) required scalability along multiple dimensions.


title: Exact extreme value statistics at mixed order transitions

abstract: We study extreme value statistics (EVS) for spatially extended models exhibiting mixed order phase transitions (MOT). These are phase transitions which exhibit features common to both first order (discontinuity of the order parameter) and second order (diverging correlation length) transitions. We consider here the truncated inverse distance squared Ising (TIDSI) model which is a prototypical model exhibiting MOT, and study analytically the extreme value statistics of the domain lengths. The lengths of the domains are identically distributed random variables except for the global constraint that their sum equals the total system size $L$. In addition, the number of such domains is also a fluctuating variable, and not fixed. In the paramagnetic phase, we show that the distribution of the largest domain length $l_{\max}$ converges, in the large $L$ limit, to a Gumbel distribution. However, at the critical point (for a certain range of parameters) and in the ferromagnetic phase, we show that the fluctuations of $l_{\max}$ are governed by novel distributions which we compute exactly. Our main analytical results are verified by numerical simulations.


title: Symmetry preserving truncations of the gap and Bethe-Salpeter equations

abstract: Ward-Green-Takahashi (WGT) identities play a crucial role in hadron physics, e.g. imposing stringent relationships between the kernels of the one- and two-body problems, which must be preserved in any veracious treatment of mesons as bound-states. In this connection, one may view the dressed gluon-quark vertex, $\Gamma_\mu^a$, as fundamental. We use a novel representation of $\Gamma_\mu^a$, in terms of the gluon-quark scattering matrix, to develop a method capable of elucidating the unique quark-antiquark Bethe-Salpeter kernel, $K$, that is symmetry-consistent with a given quark gap equation. A strength of the scheme is its ability to expose and capitalise on graphic symmetries within the kernels. This is displayed in an analysis that reveals the origin of $H$-diagrams in $K$, which are two-particle-irreducible contributions, generated as two-loop diagrams involving the three-gluon vertex, that cannot be absorbed as a dressing of $\Gamma_\mu^a$ in a Bethe-Salpeter kernel nor expressed as a member of the class of crossed-box diagrams. Thus, there are no general circumstances under which the WGT identities essential for a valid description of mesons can be preserved by a Bethe-Salpeter kernel obtained simply by dressing both gluon-quark vertices in a ladder-like truncation; and, moreover, adding any number of similarly-dressed crossed-box diagrams cannot improve the situation.


title: The Advanced LIGO Input Optics

abstract: The Advanced LIGO gravitational wave detectors are nearing their design sensitivity and should begin taking meaningful astrophysical data in the fall of 2015. These resonant optical interferometers will have unprecedented sensitivity to the strains caused by passing gravitational waves. The input optics play a significant part in allowing these devices to reach such sensitivities. Residing between the pre-stabilized laser and the main interferometer, the input optics is tasked with preparing the laser beam for interferometry at the sub-attometer level while operating at continuous wave input power levels ranging from 100 mW to 150 W. These extreme operating conditions required every major component to be custom designed. These designs draw heavily on the experience and understanding gained during the operation of Initial LIGO and Enhanced LIGO. In this article we report on how the components of the input optics were designed to meet their stringent requirements and present measurements showing how well they have lived up to their design.


title: Strongly enhanced Rashba splittings in oxide heterostructure: a tantalite monolayer on BaHfO$_3$

abstract: In the two-dimensional electron gas (2DEG) emerging at the transition metal oxide surface and interface, it has been pointed out that the Rashba spin-orbit interaction, the momentum-dependent spin splitting due to broken inversion symmetry and atomic spin-orbit coupling, can have profound effects on electronic ordering in the spin, orbit, and charge channels, and may help give rise to exotic phenomena such as ferromagnetism-superconductivity coexistence and topological superconductivity. Although a large Rashba splitting is expected to improve experimental accessibility of such phenomena, it has not been understood how we can maximally enhance this splitting. Here, we present a promising route to realize significant Rashba-type band splitting using a thin film heterostructure. Based on first-principles methods and analytic model analyses, a tantalate monolayer on BaHfO$_3$ is shown to host two-dimensional bands originating from Ta $t_{2g}$ states with strong Rashba spin splittings - up to nearly 10% of the bandwidth - at both the band minima and saddle points due to the maximal breaking of the inversion symmetry. Such 2DEG band structure makes this oxide heterostructure a promising platform for realizing both a topological superconductor which hosts Majorana fermions and the electron correlation physics with strong spin-orbit coupling.


title: Probing surface recombination velocities in semiconductors using two-photon microscopy

abstract: The determination of minority-carrier lifetimes and surface recombination velocities is essential for the development of semiconductor technologies such as solar cells. The recent development of two-photon time-resolved microscopy allows for better measurements of bulk and subsurface interfaces properties. Here we analyze the diffusion problem related to this optical technique. Our three-dimensional treatment enables us to separate lifetime (recombination) from transport effects (diffusion) in the photoluminescence intensity. It also allows us to consider surface recombination occurring at a variety of geometries: a single plane (representing an isolated exposed or buried interface), two parallel planes (representing two inequivalent interfaces), and a spherical surface (representing the enclosing surface of a grain boundary). We provide fully analytical results and scalings directly amenable to data fitting, and apply those to experimental data collected on heteroepitaxial CdTe/ZnTe/Si.


title: Ulam stability for some classes of C*-algebras

abstract: We prove some stability results for certain classes of C*-algebras. We prove that whenever $A$ is a finite-dimensional C*-algebra, $B$ is a C*-algebra and $\phi\colon A\to B$ is approximately a $^*$-homomorphism then there is an actual $^*$-homomorphism close to $\phi$ by a factor depending only on how far is $\phi$ from being a $^*$-homomorphism and not on $A$ or $B$.


title: Quenching of antihydrogen gravitational states by surface charges

abstract: We study an effect of quenching of antihydrogen quantum states near material surface in the gravitational field of the Earth by local charges randomly distributed along the mirror surface. The quenching mechanism reduces the quantum reflection probability because of additional atom-charge interaction and nonadiabatic transitions to excited gravitational states. Our approach is suitable for accounting for quenching caused by any kind of additional interaction with the characteristic range much smaller than the typical gravitational state wave-length.


title: Detecting Temporally Consistent Objects in Videos through Object Class Label Propagation

abstract: Object proposals for detecting moving or static video objects need to address issues such as speed, memory complexity and temporal consistency. We propose an efficient Video Object Proposal (VOP) generation method and show its efficacy in learning a better video object detector. A deep-learning based video object detector learned using the proposed VOP achieves state-of-the-art detection performance on the Youtube-Objects dataset. We further propose a clustering of VOPs which can efficiently be used for detecting objects in video in a streaming fashion. As opposed to applying per-frame convolutional neural network (CNN) based object detection, our proposed method called Objects in Video Enabler thRough LAbel Propagation (OVERLAP) needs to classify only a small fraction of all candidate proposals in every video frame through streaming clustering of object proposals and class-label propagation. Source code will be made available soon.


title: Parallel variable-density particle-laden turbulence simulation

abstract: We have developed a fully parallel C++/MPI based simulation code for variable-density particle-laden turbulent flows. The fluid is represented through a uniform Eulerian staggered grid, while particles are modeled using a Lagrangian point-particle framework. Spatial discretization is second-order accurate, and time integration has a fourth-order accuracy. Two-way coupling of the particles with the background flow is considered in both momentum and energy equations. The code is fully modular and abstracted, and easily can be extended or modified. We have considered two different boundary conditions. We have also developed a novel parallel linear solver for the variable density Poisson equation that arises in the calculation.


title: Detailed temporal structure of communication networks in groups of songbirds

abstract: Animals in groups often exchange calls, in patterns whose temporal structure may be influenced by contextual factors such as physical location and the social network structure of the group. We introduce a model-based analysis for temporal patterns of animal call timing, originally developed for networks of firing neurons. This has advantages over cross-correlation analysis in that it can correctly handle common-cause confounds and provides a generative model of call patterns with explicit parameters for the influences between individuals. It also has advantages over standard Markovian analysis in that it incorporates detailed temporal interactions which affect timing as well as sequencing of calls. Further, a fitted model can be used to generate novel synthetic call sequences. We apply the method to calls recorded from groups of domesticated zebra finch (Taenopyggia guttata) individuals. We find that the communication network in these groups has stable structure that persists from one day to the next, and that "kernels" reflecting the temporal range of influence have a characteristic structure for a calling individual's effect on itself, its partner, and on others in the group. We further find characteristic patterns of influences by call type as well as by individual.


title: Bessel functions and local converse conjecture of Jacquet

abstract: In this paper, we prove the local converse conjecture of Jacquet over p-adic fields for GL(n) using Bessel functions.


title: Temperature tunability of quantum emitter - cavity coupling in a photonic wire microcavity with shielded sidewall loss

abstract: Recent technological advancements have allowed to implement in solid-state cavity-based devices phenomena of quantum nature such as vacuum Rabi splitting, controllable single photon emission and quantum entanglement. For a sufficiently strong coupling between a quantum emitter and a cavity, large quality factors ($Q$) along with small modal volume ($V_{eff}$) are essential. Here we show that by applying a 5nm Al coating to the sidewalls of a submicrometer-sized Fabry-P\'{e}rot microcavity, the cavity $Q$ can be temperature-tuned from few hundreds at room temperatures to 2$\times$10$^5$ below 30~K. This is achieved by, first, a complete shielding of the sidewall loss with ideally reflecting lateral metallic mirrors and, secondly, a dramatic decrease of the cavity's axial loss for small-sized devices due to the largely off-axis wavevector within the multilayered structure. Our findings offer a novel temperature-tunable platform to study quantum electrodynamical phenomena of emitter-cavity coupling. We demonstrate that a Rabi splitting of 2g=24~GHz (0.142~nm) can be readily achieved at 40~K in a 0.8$\mu$m-sized device, which has an $V_{eff}\approx0.0845~\mu$m$^3$, comparable to best 2D photonic crystal (PhC) nanocavities.


title: Multichroic TES Bolometers and Galaxy Cluster Mass Scaling Relations with the South Pole Telescope

abstract: The South Pole Telescope (SPT) is a high-resolution microwave-frequency telescope designed to observe the Cosmic Microwave Background (CMB). To date, two cameras have been installed on the SPT to conduct two surveys of the CMB, the first in intensity only (SPT-SZ) and the second in intensity and polarization (SPTpol). A third-generation polarization-sensitive camera is currently in development (SPT-3G). This thesis describes work spanning all three instruments on the SPT. I present my work in time-reversed order, to follow the canonical narrative of instrument development, deployment, and analysis. First, the development and testing of novel 3-band multichroic Transition Edge Sensor (TES) bolometers for the SPT-3G experiment is detailed, followed by the development and deployment of the frequency multiplexed cryogenic readout electronics for the SPTpol experiment, and concluding with the analysis of data taken by the SPT-SZ instrument. I describe the development of a Bayesian likelihood based method I developed for measuring the integrated Comptonization (Ysz) of galaxy clusters from the Sunyaev-Zel'dovich (SZ) effect, and constraining galaxy cluster Ysz-mass scaling relations.


title: Conformal Field Theories and Deep Inelastic Scattering

abstract: We consider Deep Inelastic Scattering (DIS) thought experiments in unitary Conformal Field Theories (CFTs). We explore the implications of the standard dispersion relations for the OPE data. We derive positivity constraints on the OPE coefficients of minimal-twist operators of even spin s \geq 2. In the case of s=2, when the leading-twist operator is the stress tensor, we reproduce the Hofman-Maldacena bounds. For s>2 the bounds are new.


title: Bounding 2D Functions by Products of 1D Functions

abstract: Given sets $X,Y$ and a regular cardinal $\mu$, let $\Phi(X,Y,\mu)$ be the statement that for any function $f : X \times Y \to \mu$, there are functions $g_1 : X \to \mu$ and $g_2 : Y \to \mu$ such that for all $(x,y) \in X \times Y$, $$f(x,y) \le \max \{ g_1(x), g_2(y) \}.$$ In ZFC, the statement $\Phi(\omega_1, \omega_1, \omega)$ is false. However, we show the theory ZF + "the club filter on $\omega_1$ is normal" + $\Phi(\omega_1, \omega_1, \omega)$ (which is implied by ZF + DC + "$V = L(\mathbb{R})$" + "$\omega_1$ is measurable") implies that for every $\alpha < \omega_1$ there is a $\kappa \in (\alpha,\omega_1)$ such that in some inner model, $\kappa$ is measurable with Mitchell order $\ge \alpha$.


title: Large proper motion of the Thorne-\.Zytkow object candidate HV 2112 reveals its likely nature as foreground Galactic S-star

abstract: Using the Southern Proper Motion (SPM) catalog, we show that the candidate Thorne-\.Zytkow object HV~2112 has a proper motion implying a space velocity of about 3000\kms if the object is located at the distance of the Small Magellanic Cloud. The proper motion is statistically different from that of the SMC at approximately $4\sigma$ in SPM, although the result can drop to about $3\sigma$ significance by including the UCAC4 data and considering systematic uncertainties in addition to the statistical ones. Assuming the measurement is robust, this proper motion is sufficient to exclude its proposed membership of the Small Magellanic Cloud and to argue instead that it is likely to be a foreground star in the Milky Way halo. The smaller distance and therefore lower brightness argue against its proposed nature as a Thorne-\.Zytkow object (the hypothesized star-like object formed when a normal star and a neutron star merge) or a super-Asymptotic Giant Branch (AGB) star. Instead we propose a binary scenario where this star is the companion of a former massive AGB star, which polluted the object with via its stellar wind, i.e. a special case of an extrinsic S star. Our new scenario solves two additional problems with the two existing scenarios for its nature as Thorne-\.Zytkow object or present-day super-AGB star. The puzzling high ratio of the strength of calcium to iron absorption lines is unexpected for SMC supergiants, but is fully consistent with the expectations for halo abundances. Secondly, its strong variability can now be explained naturally as a manifestation of the Mira phenomenon.


title: Near-inertial wave scattering by random flows

abstract: The impact of a turbulent flow on wind-driven oceanic near-inertial waves is examined using a linearised shallow-water model of the mixed layer. Modelling the flow as a homogeneous and stationary random process with spatial scales comparable to the wavelengths, we derive a transport (or kinetic) equation governing wave-energy transfers in both physical and spectral spaces. This equation describes the scattering of the waves by the flow which results in a redistribution of energy between waves with the same frequency (or, equivalently, with the same wavenumber) and, for isotropic flows, in the isotropisation of the wave field. The time scales for the scattering and isotropisation are obtained explicitly and found to be of the order of tens of days for typical oceanic parameters. The predictions inferred from the transport equation are confirmed by a series of numerical simulations. Two situations in which near-inertial waves are strongly influenced by flow scattering are investigated through dedicated nonlinear shallow-water simulations. In the first, a wavepacket propagating equatorwards as a result from the $\beta$-effect is shown to be slowed down and dispersed both zonally and meridionally by scattering. In the second, waves generated by moving cyclones are shown to be strongly disturbed by scattering, leading again to an increased dispersion.


title: Sound Speed of Primordial Fluctuations in Supergravity Inflation

abstract: We study the realization of slow-roll inflation in $\mathcal N = 1$ supergravities where inflation is the result of the evolution of a single chiral field. When there is only one flat direction in field space, it is possible to derive a single-field effective field theory parametrized by the sound speed $c_s$ at which curvature perturbations propagate during inflation. The value of $c_s$ is determined by the rate of bend of the inflationary path resulting from the shape of the $F$-term potential. We show that $c_s$ must respect an inequality that involves the curvature tensor of the Kahler manifold underlying supergravity, and the ratio $M/H$ between the mass $M$ of fluctuations ortogonal to the inflationary path, and the Hubble expansion rate $H$. This inequality provides a powerful link between observational constraints on primordial non-Gaussianity and information about the $\mathcal N = 1$ supergravity responsible for inflation. In particular, the inequality does not allow for suppressed values of $c_s$ (values smaller than $c_s \sim 0.4$) unless (a) the ratio $M/H$ is of order 1 or smaller, and (b) the fluctuations of mass $M$ affect the propagation of curvature perturbations by inducing on them a nonlinear dispersion relation during horizon crossing. Therefore, if large non-Gaussianity is observed, supergravity models of inflation would be severely constrained.


title: Efficient Compilation to Event-Driven Task Programs

abstract: As illustrated by the emergence of a class of new languages and runtimes, it is expected that a large portion of the programs to run on extreme scale computers will need to be written as graphs of event-driven tasks (EDTs). EDT runtime systems, which schedule such collections of tasks, enable more concurrency than traditional runtimes by reducing the amount of inter-task synchronization, improving dynamic load balancing and making more operations asynchronous. We present an efficient technique to generate such task graphs from a polyhedral representation of a program, both in terms of compilation time and asymptotic execution time. Task dependences become materialized in different forms, depending upon the synchronization model available with the targeted runtime. We explore the different ways of programming EDTs using each synchronization model, and identify important sources of overhead associated with them. We evaluate these programming schemes according to the cost they entail in terms of sequential start-up, in-flight task management, space used for synchronization objects, and garbage collection of these objects. While our implementation and evaluation take place in a polyhedral compiler, the presented overhead cost analysis is useful in the more general context of automatic code generation.


title: Mechanism, time-reversal symmetry and topology of superconductivity in noncentrosymmetric systems

abstract: We analyze the possible interaction-induced superconducting instabilities in noncentrosymmetric systems based on symmetries of the normal state. It is proven that pure electron-phonon coupling will always lead to a fully gapped superconductor that does not break time-reversal symmetry and is topologically trivial. We show that topologically nontrivial behavior can be induced by magnetic doping without gapping out the resulting Kramers pair of Majorana edge modes. In case of superconductivity arising from the particle-hole fluctuations associated with a competing instability, the properties of the condensate crucially depend on the time-reversal behavior of the order parameter of the competing instability. When the order parameter preserves time-reversal symmetry, we obtain exactly the same properties as in case of phonons. If it is odd under time-reversal, the Cooper channel of the interaction will be fully repulsive leading to sign changes of the gap and making spontaneous time-reversal symmetry breaking possible. To discuss topological properties, we focus on fully gapped time-reversal symmetric superconductors and derive constraints on possible pairing states that yield necessary conditions for the emergence of topologically nontrivial superconductivity. These conditions might serve as a tool in the search for topological superconductors. We also discuss implications for oxides heterostructures and single-layer FeSe.


title: Classification of Metaplectic Modular Categories

abstract: We obtain a classification of metaplectic modular categories: every metaplectic modular category is a gauging of the particle-hole symmetry of a cyclic modular category. Our classification suggests a conjecture that every weakly-integral modular category can be obtained by gauging a symmetry of a pointed modular category.


title: Consistency of heterogeneous synchronization patterns in complex weighted networks

abstract: We show that subsets of interacting oscillators may synchronize in different ways within a single network. This diversity of synchronization patterns is promoted by increasing the heterogeneous distribution of coupling weights and/or asymmetries in small networks. We also analyze consistency, defined as the persistence of coexistent synchronization patterns regardless of the initial conditions. Our results show that complex weighted networks display richer consistency than regular networks, suggesting why certain functional network topologies are often constructed when experimental data are analyzed.


title: Framework for systematic flow manipulation by wind and hydrokinetic energy turbine arrays

abstract: Wind and hydrokinetic energy turbines are often constrained to locations where the available energy is limited by the operation of the turbines themselves. In two-dimensions, we describe how an array can manipulate the steady flow, redirecting more fluid kinetic energy to itself. Two computational examples of turbine arrays present solutions of the Navier-Stokes equations to illustrate the feasibility of flow manipulation, and motivate an idealized model. Using inviscid fluid dynamics, we underscore the relation between bound vorticity and flow deflection, and between free vorticity and energy extraction. To understand and design flow manipulations that increase the kinetic energy incident on the turbines, we consider an idealized deflector-turbine array constrained to a line segment, acting as an internal flow-boundary. We impose profiles of bound and shed vorticity on this segment by parameterizing the flow deflection and the wake deficit, respectively, and analyze the resulting flow using inviscid fluid dynamics. We find that the power extracted by the array is the product of two components: (i) the deflected kinetic energy incident on the array, and (ii) the array efficiency, both of which vary with deflection strength. The array efficiency, or its ability to extract a fraction of the incident energy, decreases slightly with increasing deflection from about 57\% at weak deflection to 39\% at high deflection. This decrease is outweighed by increasing incident kinetic energy with deflection, resulting in monotonically improved power extraction, thus highlighting the benefits from flow deflection.


title: Real-time Kadanoff-Baym approach to nuclear response functions

abstract: Linear density response functions are calculated for symmetric nuclear matter of normal density by time-evolving two-time Green's functions in real time. Of particular interest is the effect of correlations. The system is therefore initially time-evolved with a collision term calculated in a direct Born approximation as well as with full (RPA) ring-summation until fully correlated. An external time-dependent potential is then applied. The ensuing density fluctuations are recorded to calculate the density response. This method was previously used by Kwong and Bonitz for studying plasma oscillations in a correlated electron gas. The energy-weighted sum-rule for the response function is guaranteed by using conserving self-energy insertions as the method then generates the full vertex-functions. These can alternatively be calculated by solving a Bethe -Salpeter equation as done in some previous works. The (first order) mean field is derived from a momentum-dependent (non-local) interaction while $2^{nd}$ order self-energies are calculated using a particle-hole two-body effective (or 'residual') interaction given by a gaussian \it local \rm potential. We present numerical results for the response function $S(\omega,q_0)$ for $q_0=0.2,0.4$ and $0.8 {\rm fm}^{-1}$. Comparison is made with the nucleons being un-correlated i.e. with only the first order mean field included, the 'HF+RPA' approximation. We briefly discuss the relation of our work with the Landau quasi-particle theory as applied to nuclear systems by Sj\"oberg and followers using methods developped by Babu and Brown, with special emphasis on the 'induced' interaction.


title: Hard X-ray irradiation of cosmic silicate analogs: structural evolution and astrophysical implications

abstract: Protoplanetary disks, interstellar clouds, and active galactic nuclei, contain X-ray dominated regions. X-rays interact with the dust and gas present in such environments. While a few laboratory X-ray irradiation experiments have been performed on ices, X-ray irradiation experiments on bare cosmic dust analogs have been scarce up to now. Our goal is to study the effects of hard X-rays on cosmic dust analogs via in-situ X-ray diffraction. By using a hard X-ray synchrotron nanobeam, we seek to simulate cumulative X-ray exposure on dust grains during their lifetime in these astrophysical environments, and provide an upper limit on the effect of hard X-rays on dust grain structure. We prepared enstatite nanograins, analogs to cosmic silicates, via the melting-quenching technique. These amorphous grains were then annealed to obtain polycrystalline grains. These were characterized via scanning electron microscopy and high-resolution transmission electron microscopy before irradiation. Powder samples were prepared in X-ray transparent substrates and were irradiated with hard X-rays nanobeams (29.4 keV) provided by beamline ID16B of the European Synchrotron Radiation Facility. X-ray diffraction images were recorded in transmission mode. We detected the amorphization of polycrystalline silicates embedded in an organic matrix after an accumulated X-ray exposure of 6.4 x 10$^{27}$ eV cm$^{-2}$. Pure crystalline silicate grains (without resin) did not exhibit amorphization. None of the amorphous silicate samples (pure and embedded in resin) underwent crystallization. We analyzed the evolution of the polycrystalline sample embedded in an organic matrix as a function of X-ray exposure. Loss of diffraction peak intensity, peak broadening, and the disappearance of discrete spots and arcs, revealed the amorphization of the resin embedded (originally polycrystalline) silicate sample.


title: The Anglo-Australian Planet Search XXIV: The Frequency of Jupiter Analogs

abstract: We present updated simulations of the detectability of Jupiter analogs by the 17-year Anglo-Australian Planet Search. The occurrence rate of Jupiter-like planets that have remained near their formation locations beyond the ice line is a critical datum necessary to constrain the details of planet formation. It is also vital in our quest to fully understand how common (or rare) planetary systems like our own are in the Galaxy. From a sample of 202 solar-type stars, and correcting for imperfect detectability on a star-by-star basis, we derive a frequency of $6.2^{+2.8}_{-1.6}$% for giant planets in orbits from 3-7 AU. When a consistent definition of "Jupiter analog" is used, our results are in agreement with those from other legacy radial velocity surveys.


title: Student difficulties in translating between mathematical and graphical representations in introductory physics

abstract: We investigate introductory physics students' difficulties in translating between mathematical and graphical representations and the effect of scaffolding on students' performance. We gave a typical problem that can be solved using Gauss's law involving a spherically symmetric charge distribution (a conducting sphere concentric with a conducting spherical shell) to 95 calculus-based introductory physics students. We asked students to write a mathematical expression for the electric field in various regions and asked them to graph the electric field. We knew from previous experience that students have great difficulty in graphing the electric field. Therefore, we implemented two scaffolding interventions to help them. Students who received the scaffolding support were either (1) asked to plot the electric field in each region first (before having to plot it as a function of distance from the center of the sphere) or (2) asked to plot the electric field in each region after explicitly evaluating the electric field at the beginning, mid and end points of each region. The comparison group was only asked to plot the electric field at the end of the problem. We found that students benefited the most from intervention (1) and that intervention (2), although intended to aid students, had an adverse effect. Also, recorded interviews were conducted with a few students in order to understand how students were impacted by the aforementioned interventions.


title: To use or no to use diagrams: The effect of drawing a diagram in solving introductory physics problems

abstract: Drawing appropriate diagrams is a useful problem solving heuristic that can transform a give problem into a representation that is easier to exploit for solving it. A major focus while helping introductory physics students learn problem solving is to help them appreciate that drawing a diagram facilitates problem solution. We conducted an investigation in which 111 students in an algebra-based introductory physics course were subjected to two different interventions during recitation quizzes throughout the semester. They were either (1) asked to solve problems in which the diagrams were drawn for them or (2) explicitly told to draw a diagram. A comparison group was not given any instruction regarding diagrams. We developed a rubric to score the problem-solving performance of students in different intervention groups. We investigated two problems involving electric field and electric force and found that students who draw expert-like diagrams are more successful problem solvers and that a higher level of detail in a student's diagram corresponds to a better score.


title: Coamoebas of polynomials supported on circuits

abstract: We study coamoebas of polynomials supported on circuits. Our results include an explicit description of the space of coamoebas, a relation between connected components of the coamoeba complement and critical points of the polynomial, an upper bound on the area of a planar coamoeba, and a recovered bound on the number of positive solutions of a fewnomial system.


title: Core Graduate Courses: A Missed Learning Opportunity?

abstract: An important goal of graduate physics core courses is to help students develop expertise in problem solving and improve their reasoning and meta-cognitive skills. We explore the conceptual difficulties of physics graduate students by administering conceptual problems on topics covered in undergraduate physics courses before and after instruction in related first year core graduate courses. Here, we focus on physics graduate students' difficulties manifested by their performance on two qualitative problems involving diagrammatic representation of vector fields. Some graduate students had great difficulty in recognizing whether the diagrams of the vector fields had divergence and/or curl but they had no difficulty computing the divergence and curl of the vector fields mathematically. We also conducted individual discussions with various faculty members who regularly teach first year graduate physics core courses about the goals of these courses and the performance of graduate students on the conceptual problems after related instruction in core courses.


title: Effectively Subsampled Quadratures For Least Squares Polynomial Approximations

abstract: This paper proposes a new deterministic sampling strategy for constructing polynomial chaos approximations for expensive physics simulation models. The proposed approach, effectively subsampled quadratures involves sparsely subsampling an existing tensor grid using QR column pivoting. For polynomial interpolation using hyperbolic or total order sets, we then solve the following square least squares problem. For polynomial approximation, we use a column pruning heuristic that removes columns based on the highest total orders and then solves the tall least squares problem. While we provide bounds on the condition number of such tall submatrices, it is difficult to ascertain how column pruning effects solution accuracy as this is problem specific. We conclude with numerical experiments on an analytical function and a model piston problem that show the efficacy of our approach compared with randomized subsampling. We also show an example where this method fails.


title: Long-Baseline Neutrino Facility (LBNF) and Deep Underground Neutrino Experiment (DUNE) Conceptual Design Report Volume 1: The LBNF and DUNE Projects

abstract: This document presents the Conceptual Design Report (CDR) put forward by an international neutrino community to pursue the Deep Underground Neutrino Experiment at the Long-Baseline Neutrino Facility (LBNF/DUNE), a groundbreaking science experiment for long-baseline neutrino oscillation studies and for neutrino astrophysics and nucleon decay searches. The DUNE far detector will be a very large modular liquid argon time-projection chamber (LArTPC) located deep underground, coupled to the LBNF multi-megawatt wide-band neutrino beam. DUNE will also have a high-resolution and high-precision near detector.


title: Hierarchical Latent Word Clustering

abstract: This paper presents a new Bayesian non-parametric model by extending the usage of Hierarchical Dirichlet Allocation to extract tree structured word clusters from text data. The inference algorithm of the model collects words in a cluster if they share similar distribution over documents. In our experiments, we observed meaningful hierarchical structures on NIPS corpus and radiology reports collected from public repositories.


title: The Early Growth of the First Black Holes

abstract: With detections of quasars powered by increasingly massive black holes (BHs) at increasingly early times in cosmic history over the past decade, there has been correspondingly rapid progress made on the theory of early BH formation and growth. Here we review the emerging picture of how the first massive BHs formed from the primordial gas and then grew to supermassive scales. We discuss the initial conditions for the formation of the progenitors of these seed BHs, the factors dictating the initial masses with which they form, and their initial stages of growth via accretion, which may occur at super-Eddington rates. Finally, we briefly discuss how these results connect to large-scale simulations of the growth of supermassive BHs over the course of the first billion years following the Big Bang.


title: The $R_{\mathrm{h}}=ct$ universe and quintessence

abstract: Over the last few years the $R_{\mathrm{h}}=ct$ universe has received a lot of attention, particularly when observational evidence seems to favor this over the standard $\Lambda$ cold dark matter ($\Lambda CDM$) universe. Like the $\Lambda CDM$, the $R_{\mathrm{h}}=ct$ universe is based on a Friedmann-Robertson-Walker (FRW) cosmology where the total energy density $\rho$ and pressure $p$ of the cosmic fluid contain a dark energy component besides the usual (dark and baryonic) matter and radiation components. However unlike the $\Lambda CDM$ this model has the simple equation of state (EOS) $\rho + 3p = 0$, i.e., its total active gravitational mass vanishes, which would therefore exclude a cosmological constant as the source of its dark energy component. Faced with this issue, in this paper we examine various possible sources for the dark energy component of the $R_{\mathrm{h}}=ct$ universe and show that quintessence which has been used in other various dynamical dark energy models could also be a possible source in this case.


title: Hadron Physics From Superconformal Quantum Mechanics and its Light-Front Holographic Embedding

abstract: The complex nonperturbative color-confining dynamics of QCD is well captured in a semiclassical effective theory based on superconformal quantum mechanics and its extension to the light-front. I describe here how this new approach to hadron physics incorporates confinement, the appearance of nearly massless pseudoscalar particles, and Regge spectroscopy consistent with experiment. It also gives remarkable connections between the meson and baryon spectrum across the light and heavy-light hadron spectrum. I also briefly discuss how higher spin states are consistently described in this framework by the holographic embedding of the superconformal theory in a higher dimensional semiclassical gravity theory.


title: Edge mode dynamics of quenched topological wires

abstract: The fermionic and Majorana edge mode dynamics of various topological systems is compared, after a sudden global quench of the Hamiltonian parameters takes place. Attention is focused on the regimes where the survival probability of an edge state has oscillations either due to critical or off-critical quenches. The nature of the wave functions and the overlaps between the eigenstates of different points in parameter space determine the various types of behaviors, and the distinction due to the Majorana nature of the excitations plays a lesser role. Performing a sequence of quenches it is shown that the edge states, including Majorana modes, may be switched off and on. Also, the generation of Majoranas due to quenching from a trivial phase is discussed.


title: Particle-relabeling symmetry, generalized vorticity, and normal-mode expansion of ideal incompressible fluids and plasmas in three-dimensional space

abstract: The Lagrangian mechanical consideration of the dynamics of ideal incompressible hydrodynamic, magnetohydrodynamic, and Hall magnetohydrodynamic media, which are formulated as dynamical systems in appropriate Lie groups equipped with Riemannian metrics, leads to the notion of generalized vorticities, as well as generalized coordinates, velocities, and momenta. The action of each system is conserved against the integral path variation in the direction of the generalized vorticity, and this invariance is associated with the particle relabeling symmetry. The generalized vorticities are formulated by the operation of integro-differential operators on the generalized velocities. The eigenfunctions of the operators provide sets of orthogonal functions, and we obtain common mathematical expressions concerning these dynamical systems using the orthogonoal functions. In particular, we find that the product of the Riemannian metric, $g_{im}$, and the structure constants of the Lie group, $C^{m}_{jk}$, is given by the product of the eigenvalue of the operator, $\Lambda(i)$, and a certain totally antisymmetric tensor, $T_{ijk}$: $g_{i\alpha}C^{\alpha}_{jk}=\Lambda(i)T_{ijk}.$ Its physical implications, including the weak interaction conjecture of MHD turbulence, are also discussed.


title: Hydrodynamical simulations of the tidal stripping of binary stars by massive black holes

abstract: In a galactic nucleus, a star on a low angular momentum orbit around the central massive black hole can be fully or partially disrupted by the black hole tidal field, lighting up the compact object via gas accretion. This phenomenon can repeat if the star, not fully disrupted, is on a closed orbit. Because of the multiplicity of stars in binary systems, also binary stars may experience in pairs such a fate, immediately after being tidally separated. The consumption of both the binary components by the black hole is expected to power a double-peaked flare. In this paper, we perform for the first time, with GADGET2, a suite of smoothed particle hydrodynamics simulations of binary stars around a galactic central black hole in the Newtonian regime. We show that accretion luminosity light curves from double tidal disruptions reveal a more prominent knee, rather than a double peak, when decreasing the impact parameter of the encounter and when elevating the difference between the mass of the star which leaves the system after binary separation and the mass of the companion. The detection of a knee can anticipate the onset of periodic accretion luminosity flares if one of the stars, only partially disrupted, remains bound to the black hole after binary separation. Thus knees could be precursors of periodic flares, which can then be predicted, followed up and better modelled. Analytical estimates in the black hole mass range $10^5-10^8 \rm M_{\rm \odot}$ show that the knee signature is enhanced in the case of black holes of mass $10^6-10^7 \rm M_{\rm \odot}$.


title: Arithmetics and combinatorics of tropical Severi varieties of univariate polynomials

abstract: We give a description of the tropical variety of univariate polynomials of degree n having two double roots. As a set, it is given as the union of three types of maximal cones of dimension n-1, where only cones of two of these types are cones of the secondary fan of {0,...,n}. Through Kapranov's theorem, this goal is achieved by a careful study of the possible valuations of the elementary symmetric functions of the roots of a polynomial with two double root. Despite its apparent simplicity, the computation of the tropical Severi variety has both combinatorial and arithmetic ingredients.


title: Optimal Composition Ordering Problems for Piecewise Linear Functions

abstract: In this paper, we introduce maximum composition ordering problems. The input is $n$ real functions $f_1,\dots,f_n:\mathbb{R}\to\mathbb{R}$ and a constant $c\in\mathbb{R}$. We consider two settings: total and partial compositions. The maximum total composition ordering problem is to compute a permutation $\sigma:[n]\to[n]$ which maximizes $f_{\sigma(n)}\circ f_{\sigma(n-1)}\circ\dots\circ f_{\sigma(1)}(c)$, where $[n]=\{1,\dots,n\}$. The maximum partial composition ordering problem is to compute a permutation $\sigma:[n]\to[n]$ and a nonnegative integer $k~(0\le k\le n)$ which maximize $f_{\sigma(k)}\circ f_{\sigma(k-1)}\circ\dots\circ f_{\sigma(1)}(c)$. We propose $O(n\log n)$ time algorithms for the maximum total and partial composition ordering problems for monotone linear functions $f_i$, which generalize linear deterioration and shortening models for the time-dependent scheduling problem. We also show that the maximum partial composition ordering problem can be solved in polynomial time if $f_i$ is of form $\max\{a_ix+b_i,c_i\}$ for some constants $a_i\,(\ge 0)$, $b_i$ and $c_i$. We finally prove that there exists no constant-factor approximation algorithm for the problems, even if $f_i$'s are monotone, piecewise linear functions with at most two pieces, unless P=NP.


title: The Local Cut Lemma

abstract: The Lov\'{a}sz Local Lemma is a very powerful tool in probabilistic combinatorics, that is often used to prove existence of combinatorial objects satisfying certain constraints. Moser and Tardos have shown that the LLL gives more than just pure existence results: there is an effective randomized algorithm that can be used to find a desired object. In order to analyze this algorithm, Moser and Tardos developed the so-called entropy compression method. It turned out that one could obtain better combinatorial results by a direct application of the entropy compression method rather than simply appealing to the LLL. The aim of this paper is to provide a generalization of the LLL which implies these new combinatorial results. This generalization, which we call the Local Cut Lemma, concerns a random cut in a directed graph with certain properties. Note that our result has a short probabilistic proof that does not use entropy compression. As a consequence, it not only shows that a certain probability is positive, but also gives an explicit lower bound for this probability. As an illustration, we present a new application (an improved lower bound on the number of edges in color-critical hypergraphs) as well as explain how to use the Local Cut Lemma to derive some of the results obtained previously using the entropy compression method.


title: Windows, cores and skinning maps

abstract: We give a generalization of Thurston's Bounded Image Theorem for skinning maps, which applies to pared 3-manifolds with incompressible boundary that are not necessarily acylindrical. Along the way we study properties of divergent sequences in the deformation space of such a manifold, establishing the existence of compact cores satisfying a certain notion of uniform geometry.


title: Alternative Authentication in the Wild

abstract: Alphanumeric authentication routinely fails to regulate access to resources with the required stringency, primarily due to usability issues. Initial deployment did not reveal the problems of passwords, deep and profound flaws only emerged once passwords were deployed in the wild. The need for a replacement is widely acknowledged yet despite over a decade of research into knowledge-based alternatives, few, if any, have been adopted by industry. Alternatives are unconvincing for three primary reasons. The first is that alternatives are rarely investigated beyond the initial proposal, with only the results from a constrained lab test provided to convince adopters of their viability. The second is that alternatives are seldom tested realistically where the authenticator mediates access to something of value. The third is that the testing rarely varies the device or context beyond that initially targeted. In the modern world different devices are used across a variety of contexts. What works well in one context may easily fail in another. Consequently, the contribution of this paper is an "in the wild" evaluation of an alternative authentication mechanism that had demonstrated promise in its lab evaluation. In the field test the mechanism was deployed to actual users to regulate access to an application in a context beyond that initially proposed. The performance of the mechanism is reported and discussed. We conclude by reflecting on the value of field evaluations of alternative authentication mechanisms.


title: Analysis and Observations from the First Amazon Picking Challenge

abstract: This paper presents a overview of the inaugural Amazon Picking Challenge along with a summary of a survey conducted among the 26 participating teams. The challenge goal was to design an autonomous robot to pick items from a warehouse shelf. This task is currently performed by human workers, and there is hope that robots can someday help increase efficiency and throughput while lowering cost. We report on a 28-question survey posed to the teams to learn about each team's background, mechanism design, perception apparatus, planning and control approach. We identify trends in this data, correlate it with each team's success in the competition, and discuss observations and lessons learned based on survey results and the authors' personal experiences during the challenge.


title: Limb-darkening and exoplanets II: Choosing the Best Law for Optimal Retrieval of Transit Parameters

abstract: Very precise measurements of exoplanet transit lightcurves both from ground and space based observatories make it now possible to fit the limb-darkening coefficients in the transit-fitting procedure rather than fix them to theoretical values. This strategy has been shown to give better results, as fixing the coefficients to theoretical values can give rise to important systematic errors which directly impact the physical properties of the system derived from such lightcurves such as the planetary radius. However, studies of the effect of limb darkening assumptions on the retrieved parameters have mostly focused on the widely used quadratic limb-darkening law, leaving out other proposed laws that are either simpler or better descriptions of model intensity profiles. In this work, we show that laws such as the logarithmic, square-root and three-parameter law do a better job than the quadratic and linear laws when deriving parameters from transit lightcurves, both in terms of bias and precision, for a wide range of situations. We therefore recommend to study which law to use on a case-by-case basis. We provide code to guide the decision of when to use each of these laws and select the optimal one in a mean-square error sense, which we note has a dependence on both stellar and transit parameters. Finally, we demonstrate that the so-called exponential law is non-physical as it typically produces negative intensities close to the limb and should therefore not be used.


title: Exact Solution of Quadratic Fermionic Hamiltonians for Arbitrary Boundary Conditions

abstract: We present a procedure for exactly diagonalizing finite-range quadratic fermionic Hamiltonians with arbitrary boundary conditions in one of D dimensions, and periodic in the remaining D-1. The key is a Hamiltonian-dependent separation of the bulk from the boundary. By combining information from the two, we identify a matrix function that completely characterizes the solutions, and allow to identify an indicator of bulk-boundary correspondence. As an illustration, we show how our method correctly describes the zero-energy Majorana modes of a time-reversal-invariant s-wave superconductor in a Josephson ring configuration, and predicts that a fractional 4 pi Josephson effect can only be observed in phases hosting an odd number of Majorana pairs.


title: Sign regularity of Maclaurin coefficients of functions in the Laguerre-P\'olya class

abstract: We prove that the signs of the Maclaurin coefficients of a wide class of entire functions that belong to the Laguerre-P\'olya class posses a regular behaviour.


title: Band Gaps in Jagged and Straight Graphene Nanoribbons Tunable by an External Electric Field

abstract: Band gap control by an external field is useful in various optical, infrared and THz applications. However, widely tunable band gaps are still not practical due to variety of reasons. Using the orthogonal tight-binding method for $\pi$-electrons, we have investigated the effect of the external electric field on a subclass of monolayer chevron-type graphene nanoribbons that can be referred to as jagged graphene nanoribbons. A classification of such ribbons was proposed and band gaps for applied fields up to the SiO$_2$ breakdown strength ($1$ V/nm) were calculated. According to the tight-binding model, band gap opening (or closing) takes place for some type of jagged graphene nanoribbons in the external electric field that lays in the plane of the structure and perpendicular to its longitudinal axis. Tunability of the band gap up to $0.6$ eV is attainable for narrow ribbons. In the case of jagged ribbons with armchair edges larger jags forming a chevron pattern of the ribbon enhance the controllability of the band gap. For jagged ribbons with zigzag and armchair edges regions of linear and quadratic dependence of the band gap on the external electric field can be found that are useful in devices with controllable modulation of the band gap.


title: Exceptional contours and band structure design in parity-time symmetric photonic crystals

abstract: We investigate the properties of multidimensional parity-time symmetric periodic systems whose non-Hermitian periodicity is an integer multiple of the underlying Hermitian system's periodicity. This creates a natural set of degeneracies which can undergo thresholdless $\mathcal{PT}$ transitions. We derive a $\mathbf{k} \cdot \mathbf{p}$ perturbation theory suited to the continuous eigenvalues of such systems in terms of the modes of the underlying Hermitian system. In photonic crystals, such thresholdless $\mathcal{PT}$ transitions are shown to yield significant control over the band structure of the system, and can result in all-angle supercollimation, a $\mathcal{PT}$-superprism effect, and unidirectional behavior.


title: Unsmoothable group actions on compact one-manifolds

abstract: We show that no finite index subgroup of a sufficiently complicated mapping class group or braid group can act faithfully by $C^{1+\mathrm{bv}}$ diffeomorphisms on the circle, which generalizes a result of Farb-Franks, and which parallels a result of Ghys and Burger-Monod concerning differentiable actions of higher rank lattices on the circle. This answers a question of Farb, which has its roots in the work of Nielsen. We prove this result by showing that if a right-angled Artin group acts faithfully by $C^{1+\mathrm{bv}}$ diffeomorphisms on a compact one-manifold, then its defining graph has no subpath of length three. As a corollary, we also show that no finite index subgroup of $\textrm{Aut}(F_n)$ and $\textrm{Out}(F_n)$ for $n\geq 3$, the Torelli group for genus at least $3$, and of each term of the Johnson filtration for genus at least $5$, can act faithfully by $C^{1+\mathrm{bv}}$ diffeomorphisms on a compact one-manifold.


title: Pell's equation and series expansions for irrational numbers

abstract: Solutions of Pell's equation and hypergeometric series identities are used to study series expansions for $\sqrt{p}$ where $p$ are arbitrary prime numbers. Numerous fast convergent series expansions for this family of irrational numbers are established.


title: New Insights for High-precision Asteroseismology: Acoustic Radius of KIC 6225718

abstract: Asteroseismology is a powerful tool for probing stellar interiors and determining stellar fundamental parameters. In previous works, $\chi^2$-minimization method is usually used to find the best matching model to characterize observations. In this letter, we adopt the $\chi^2$-minimization method but only using the observed high-precision oscillation to constrain theoretical models for solar-like oscillating star KIC 6225718, which is observed by \kepler\ satellite. We also take into account the influence of model precision. Finally, we find that the time resolution of stellar evolution can not be ignored in high-precision asteroseismic analysis. Based on this, we find the acoustic radius $\tau_{0}$ is the only global parameter that can be accurately measured by $\chi^2_{\nu}$ matching method between observed frequencies and theoretical model calculations. We obtain $\tau_{0}=4601.5^{+4.4}_{-8.3}$ seconds. In addition, we analyze the distribution of $\chi^2_{\nu}$-minimization models (CMMs), and find that the distribution range of CMMs is slightly enlarged by some extreme cases, which possess both of larger mass and higher (or lower) heavy element abundance, at lower acoustic radius end.


title: Glass-on-Glass Fabrication of Bottle-Shaped Tunable Micro-Lasers and Their Applications

abstract: We describe a novel method for making microbottle-shaped lasers by using a CO$_2$ laser to melt Er:Yb glass onto silica microcapillaries or fibres. This is realised by the fact that the two glasses have different melting points. The CO$_2$ laser power is controlled to flow the doped glass around the silica cylinder. In the case of a capillary, the resulting geometry is a hollow, microbottle-shaped resonator. This is a simple method for fabricating a number of glass WGM lasers with a wide range of sizes on a single, micron-scale structure. The Er:Yb doped glass outer layer is pumped at 980 nm via a tapered optical fibre and whispering gallery mode (WGM) lasing is recorded around 1535 nm. This structure facilitates a new way to thermo-optically tune the microlaser modes by passing gas through the capillary. The cooling effect of the gas flow shifts the WGMs towards shorter wavelengths, thus thermal tuning of the lasing modes over 70 GHz is achieved. Results are fitted using the theory of hot wire anemometry, allowing the flow rate to be calibrated with a flow sensitivity as high as 100 GHz/sccm. Strain tuning of the microlaser modes by up to 50 GHz is also demonstrated.


title: Autoreducibility of NP-Complete Sets

abstract: We study the polynomial-time autoreducibility of NP-complete sets and obtain separations under strong hypotheses for NP. Assuming there is a p-generic set in NP, we show the following: - For every $k \geq 2$, there is a $k$-T-complete set for NP that is $k$-T autoreducible, but is not $k$-tt autoreducible or $(k-1)$-T autoreducible. - For every $k \geq 3$, there is a $k$-tt-complete set for NP that is $k$-tt autoreducible, but is not $(k-1)$-tt autoreducible or $(k-2)$-T autoreducible. - There is a tt-complete set for NP that is tt-autoreducible, but is not btt-autoreducible. Under the stronger assumption that there is a p-generic set in NP $\cap$ coNP, we show: - For every $k \geq 2$, there is a $k$-tt-complete set for NP that is $k$-tt autoreducible, but is not $(k-1)$-T autoreducible. Our proofs are based on constructions from separating NP-completeness notions. For example, the construction of a 2-T-complete set for NP that is not 2-tt-complete also separates 2-T-autoreducibility from 2-tt-autoreducibility.


title: Data-driven Rank Breaking for Efficient Rank Aggregation

abstract: Rank aggregation systems collect ordinal preferences from individuals to produce a global ranking that represents the social preference. Rank-breaking is a common practice to reduce the computational complexity of learning the global ranking. The individual preferences are broken into pairwise comparisons and applied to efficient algorithms tailored for independent paired comparisons. However, due to the ignored dependencies in the data, naive rank-breaking approaches can result in inconsistent estimates. The key idea to produce accurate and consistent estimates is to treat the pairwise comparisons unequally, depending on the topology of the collected data. In this paper, we provide the optimal rank-breaking estimator, which not only achieves consistency but also achieves the best error bound. This allows us to characterize the fundamental tradeoff between accuracy and complexity. Further, the analysis identifies how the accuracy depends on the spectral gap of a corresponding comparison graph.


title: Pointwise estimates of Brezis-Kamin type for solutions of sublinear elliptic equations

abstract: We study quasilinear elliptic equations of the type $$-\Delta_pu=\sigma \, u^q \quad \text{in} \, \, \, \mathbb{R}^n,$$ where $\Delta_p u=\nabla \cdot(\nabla u |\nabla u|^{p-2})$ is the $p$-Laplacian (or a more general $\mathcal{A}$-Laplace operator $\text{div} \, \mathcal{A}(x, \nabla u)$), $0<q < p-1$, and $\sigma \ge 0$ is an arbitrary locally integrable function or measure on $\mathbb{R}^n$. We obtain necessary and sufficient conditions for the existence of positive solutions (not necessarily bounded) which satisfy global pointwise estimates of Brezis-Kamin type given in terms of Wolff potentials. Similar problems with the fractional Laplacian $(-\Delta )^{\alpha}$ for $0<\alpha<\frac{n}{2}$ are treated as well, including explicit estimates for radially symmetric $\sigma$. Our results are new even in the classical case $p=2$ and $\alpha=1$.


title: Dodging the cosmic curvature to probe the constancy of the speed of light

abstract: We develop a new model-independent method to probe the constancy of the speed of light $c$. In our method, the degeneracy between the cosmic curvature and the speed of light can be eliminated, which makes the test more natural and general. Combining the independent observations of Hubble parameter $H(z)$ and luminosity distance $d_L(z)$, we use the model-independent smoothing technique, Gaussian processes, to reconstruct them and then detect variation of the speed of light. We find no signal of deviation from the present value of the speed of light $c_0$. Moreover, to demonstrate the improvement in probing the constancy of the speed of light from future experiments, we produce a series of simulated data. The Dark Energy Survey will be able to detect $\Delta c /c_0 \sim 1\%$ at $\sim 1.5\sigma$ confidence level and $\Delta c /c_0 \sim 2\%$ at $\sim 3\sigma$ confidence level. If the errors are reduced to one-tenth of the expected DES ones, it can detect a $\Delta c /c_0 \sim 0.1\%$ variation at $\sim 2\sigma$ confidence level.


title: A second proof of the Shareshian--Wachs conjecture, by way of a new Hopf algebra

abstract: This is a set of working notes which give a second proof of the Shareshian--Wachs conjecture, the first (and recent) proof being by Brosnan and Chow in November 2015. The conjecture relates some symmetric functions constructed combinatorially out of unit interval graphs (their $q$-chromatic quasisymmetric functions), and some symmetric functions constructed algebro-geometrically out of Tymoczko's representation of the symmetric group on the equivariant cohomology ring of a family of subvarieties of the complex flag variety, called regular semisimple Hessenberg varieties. Brosnan and Chow's proof is based in part on the idea of deforming the Hessenberg varieties. The proof given here, in contrast, is based on the idea of recursively decomposing Hessenberg varieties, using a new Hopf algebra as the organizing principle for this recursion. We hope that taken together, each approach will shed some light on the other, since there are still many outstanding questions regarding the objects under study.


title: Perfect Sampling of Generalized Jackson Network

abstract: We provide the first perfect sampling algorithm for a Generalized Jackson Network of FIFO queues under arbitrary topology and non-Markovian assumptions on the input of the network. We assume (in addition to stability) that the interarrival and service times of customers have finite moment generating function in a neighborhood of the origin, and the interarrival times have unbounded support.


title: Effects of power-law Maxwell field on the Van der Waals like phase transition of higher dimensional dilaton black holes

abstract: The effects of power-law Maxwell field on the Van der Waals like phase transition of higher-dimensional dilaton black holes are probed in detail. It is shown that the Smarr relation gains corrections due to the effects of both the power-law Maxwell field and the dilaton field while thermodynamic volume is exactly the same as that of Einstein-Maxwell-dilaton black holes. We successfully derive the analytic solutions of critical point and carry out some check to ensure that these critical quantities are positive. It is shown that the constraint on the parameters turns out to be $0<\alpha^2<1$, which is more tighter than that in the non-extended phase space. It is also shown that these critical quantities and the ratio $P_cv_c/T_c$ are affected by the power-law Maxwell field. Moreover, critical exponents are found to coincide with those of other AdS black holes, showing the powerful influence of mean field theory.


title: Cubic fourfolds, K3 surfaces, and rationality questions

abstract: This is a survey of the geometry of complex cubic fourfolds with a view toward rationality questions. Topics include classical constructions of rational examples, Hodge structures and special cubic fourfolds, associated K3 surfaces and their geometric interpretations, and connections with rationality and unirationality constructions.


title: Depinning as a coagulation process

abstract: We consider a one-dimensional sandpile model which mimics an elastic string of particles driven through a strongly pinning periodic environment with phase disorder. The evolution towards depinning occurs by the triggering of avalanches in regions of activity which are at first isolated but later grow and merge. For large system sizes the dynamically critical behavior is dominated by the coagulation of these active regions. Our analysis of the evolution and numerical simulations show that the observed sizes of active regions is well-described by a Smoluchowski coagulation equation, allowing us to predict correlation lengths and avalanche sizes.

categories: cond-mat.stat-mech math-ph math.MP math.PR


title: Spatially-resolved NUV-r color of local star-forming galaxies and clues for quenching

abstract: Using a sample of ~6,000 local face-on star-forming galaxies (SFGs), we examine the correlations between the NUV-r colors both inside and outside the half-light radius, stellar mass M* and S\'{e}rsic index n in order to understand how the quenching of star formation is linked to galaxy structure. For these less dust-attenuated galaxies, NUV-r is found to be linearly correlated with Dn4000, supporting that NUV-r is a good photometric indicator of stellar age (or specific star formation rate). We find that: (1) At M*<10^{10.2}M_{\sun}, the central NUV-r is on average only~ 0.25 mag redder than the outer NUV-r. The intrinsic value would be even smaller after accounting for dust correction. However, the central NUV-r becomes systematically much redder than the outer NUV-r for more massive galaxies at M*>10^{10.2}M_{\sun}. (2) The central NUV-r shows no dependence on S\'{e}rsic index n at M*<10^{10.2}M_{\sun}, while above this mass galaxies with a higher n tend to be redder in the central NUV-r color. These results suggest that galaxies with M*<10^{10.2}M_{\sun} exhibit similar star formation activity from the inner R<R_{50} region to the R>R_{50} region. In contrast, a considerable fraction of the M*>10^{10.2}M_{\sun} galaxies, especially those with a high n, have harbored a relatively inactive bulge component.


title: Entropy along expanding foliations

abstract: The (measure-theoretical) entropy of a diffeomorphism along an expanding invariant foliation is the rate of complexity generated by the diffeomorphism along the leaves of the foliation. We prove that this number varies upper semi-continuously with the diffeomorphism ($\C^1$ topology), the invariant measure (weak* topology) and the foliation itself in a suitable sense. This has several important consequences. For one thing, it implies that the set of Gibbs $u$-states of $\C^{1+}$ partially hyperbolic diffeomorphisms is an upper semi-continuous function of the map in the $\C^1$ topology. Another consequence is that the sets of partially hyperbolic diffeomorphisms with mostly contracting or mostly expanding center are $\C^1$ open. New examples of partially hyperbolic diffeomorphisms with mostly expanding center are provided, and the existence of physical measures for $C^1$ residual subset of diffeomorphisms are discussed. We also provide a new class of robustly transitive diffeomorphisms: every $C^2$ volume preserving, accessible partially hyperbolic diffeomorphism with one dimensional center and non-vanishing center exponent is $C^1$ robustly transitive (among neighborhood of diffeomorphisms which are not necessarily volume preserving).


title: A Schrodinger Cat Living in Two Boxes

abstract: Quantum superpositions of distinct coherent states in a single-mode harmonic oscillator, known as "cat states", have been an elegant demonstration of Schrodinger's famous cat paradox. Here, we realize a two-mode cat state of electromagnetic fields in two microwave cavities bridged by a superconducting artificial atom, which can also be viewed as an entangled pair of single-cavity cat states. We present full quantum state tomography of this complex cat state over a Hilbert space exceeding 100 dimensions via quantum non-demolition measurements of the joint photon number parity. The ability to manipulate such multi-cavity quantum states paves the way for logical operations between redundantly encoded qubits for fault-tolerant quantum computation and communication.


title: AptRank: An Adaptive PageRank Model for Protein Function Prediction on Bi-relational Graphs

abstract: Diffusion-based network models are widely used for protein function prediction using protein network data and have been shown to outperform neighborhood- and module-based methods. Recent studies have shown that integrating the hierarchical structure of the Gene Ontology (GO) data dramatically improves prediction accuracy. However, previous methods usually either used the GO hierarchy to refine the prediction results of multiple classifiers, or flattened the hierarchy into a function-function similarity kernel. No study has taken the GO hierarchy into account together with the protein network as a two-layer network model. We first construct a Bi-relational graph (Birg) model comprised of both protein-protein association and function-function hierarchical networks. We then propose two diffusion-based methods, BirgRank and AptRank, both of which use PageRank to diffuse information on this two-layer graph model. BirgRank is an application of traditional PageRank with fixed decay parameters. In contrast, AptRank uses an adaptive mechanism to improve the performance of BirgRank. We evaluate both methods in predicting protein function on yeast, fly, and human datasets, and compare with four previous methods: GeneMANIA, TMC, ProteinRank and clusDCA. We design three validation strategies: missing function prediction, de novo function prediction, and guided function prediction to comprehensively evaluate all six methods. We find that both BirgRank and AptRank outperform the others, especially in missing function prediction when using only 10% of the data for training. AptRank combines protein-protein associations and the GO function-function hierarchy into a two-layer network model without flattening the hierarchy into a similarity kernel. Introducing an adaptive mechanism to the traditional, fixed-parameter model of PageRank greatly improves the accuracy of protein function prediction.


title: Product space for two processes with independent increments under nonlinear expectations

abstract: In this paper, we consider the product space for two processes with independent increments under nonlinear expectations. By introducing a discretization method, we construct a nonlinear expectation under which the given two processes can be seen as a new process with independent increments.


title: Searching for Binary Y dwarfs with the Gemini Multi-Conjugate Adaptive Optics System (GeMS)

abstract: The NASA Wide-field Infrared Survey Explorer (WISE) has discovered almost all the known members of the new class of Y-type brown dwarfs. Most of these Y dwarfs have been identified as isolated objects in the field. It is known that binaries with L- and T-type brown dwarf primaries are less prevalent than either M-dwarf or solar-type primaries, they tend to have smaller separations and are more frequently detected in near-equal mass configurations. The binary statistics for Y-type brown dwarfs, however, are sparse, and so it is unclear if the same trends that hold for L- and T-type brown dwarfs also hold for Y-type ones. In addition, the detection of binary companions to very cool Y dwarfs may well be the best means available for discovering even colder objects. We present results for binary properties of a sample of five WISE Y dwarfs with the Gemini Multi-Conjugate Adaptive Optics System (GeMS). We find no evidence for binary companions in these data, which suggests these systems are not equal-luminosity (or equal-mass) binaries with separations larger than ~ 0.5-1.9 AU. For equal-mass binaries at an age of 5 Gyr, we find that the binary binding energies ruled out by our observations (i.e. 10^42 erg) are consistent with those observed in previous studies of hotter ultra-cool dwarfs.


title: United Theory of Planet Formation (I): Tandem Regime

abstract: We have obtained a steady-state, 1-D model of the accretion disk of a protostar taking into account the magneto-rotational instability (MRI). We find that the disk is divided into an outer turbulent region (OTR), a MRI suppressed region (MSR), and an inner turbulent region (ITR). The outer turbulent region is fully turbulent because of MRI. However, in the range, r_{out} (= 8 - 60 AU) from the central star, MRI is suppressed around the midplane of the gas disk and a quiet area without turbulence appears, because the degree of ionization of gas becomes low enough. The disk becomes fully turbulent again in the range r in (= 0.2 - 1 AU), which is called the inner turbulent region, because the midplane temperature become high enough (\gt 1000 K) due to gravitational energy release. Planetesimals are formed through gravitational instability at the two distinct sites, outer and inner MRI fronts (the boundaries between the MRI suppressed region (MSR) and the outer and inner turbulent regions), because of the radial concentration of the solid particles. At the outer MRI front, icy particles grow through low-velocity collisions into porous aggregates with low densities. They eventually undergo gravitational instability to form icy planetesimals. On the other hand, rocky particles accumulate at the inner MRI front, since their drift velocities turn outward due to the local maximum in gas pressure. They undergo gravitational instability in a sub-disk of pebbles to form rocky planetesimals at the inner MRI front. The tandem regime is consistent with the ABEL model, in which the Earth was initially formed as a completely volatile-free planet. The water and other volatile elements came later through the accretion of icy particles by the occasional scatterings in the outer regions.


title: Monotonicity Results for Delta and Nabla Caputo and Riemann Fractional Differences via dual identities

abstract: Recently, some authors have proved monotonicity results for delta and nabla fractional differences separately. In this article, we use dual identities relating delta and nabla fractional difference operators to prove shortly the monotonicity properties for the (left Riemann) nabla fractional differences using the corresponding delta type properties. Also, we proved some monotonicity properties for the Caputo fractional differences. Finally, we use the $Q-$operator dual identities to prove monotonicity results for the right fractional difference operators.


title: RGB-D-based Action Recognition Datasets: A Survey

abstract: Human action recognition from RGB-D (Red, Green, Blue and Depth) data has attracted increasing attention since the first work reported in 2010. Over this period, many benchmark datasets have been created to facilitate the development and evaluation of new algorithms. This raises the question of which dataset to select and how to use it in providing a fair and objective comparative evaluation against state-of-the-art methods. To address this issue, this paper provides a comprehensive review of the most commonly used action recognition related RGB-D video datasets, including 27 single-view datasets, 10 multi-view datasets, and 7 multi-person datasets. The detailed information and analysis of these datasets is a useful resource in guiding insightful selection of datasets for future research. In addition, the issues with current algorithm evaluation vis-\'{a}-vis limitations of the available datasets and evaluation protocols are also highlighted; resulting in a number of recommendations for collection of new datasets and use of evaluation protocols.


title: Clues and criteria for designing Kitaev spin liquid revealed by thermal and spin excitations of honeycomb iridates Na$_2$IrO$_3$

abstract: Contrary to the original expectation, Na$_2$IrO$_3$ is not a Kitaev's quantum spin liquid (QSL) but shows a zig-zag-type antiferromagnetic order in experiments. Here we propose experimental clues and criteria to measure how a material in hand is close to the Kitaev's QSL state. For this purpose, we systematically study thermal and spin excitations of a generalized Kitaev-Heisenberg model studied by Chaloupka $et$ $al$. in Phys. Rev. Lett. 110, 097204 (2013) and an effective ab initio Hamiltonian for Na$_2$IrO$_3$ proposed by Yamaji $et$ $al$. in Phys. Rev. Lett. 113, 107201 (2014), by employing a numerical diagonalization method. We reveal that closeness to the Kitaev's QSL is characterized by the following properties, besides trivial criteria such as reduction of magnetic ordered moments and Neel temperatures: (1) Two peaks in the temperature dependence of specific heat at $T_{\ell}$ and $T_h$ caused by the fractionalization of spin to two types of Majorana fermions. (2) In between the double peak, prominent plateau or shoulder pinned at $(R/2)\ln 2$ in the temperature dependence of entropy, where $R$ is the gas constant. (3) Failure of the linear spin wave approximation at the low-lying excitations of dynamical structure factors. (4) Small ratio $T_{\ell}/T_h$ close to or less than 0.03. According to the proposed criteria, Na$_2$IrO$_3$ is categorized to a compound close to the Kitaev's QSL, and is proven to be a promising candidate for the realization of the QSL if the relevant material parameters can further be tuned by making thin film of Na$_2$IrO$_3$ on various substrates or applying axial pressure perpendicular to the honeycomb networks of iridium ions. Applications of these characterization to (Na$_{1-x}$Li$_x$)$_2$IrO$_3$ and other related materials are also discussed.


title: Single microwave-photon detector using an artificial $\Lambda$-type three-level system

abstract: Single photon detection is a requisite technique in quantum-optics experiments in both the optical and the microwave domains. However, the energy of microwave quanta are four to five orders of magnitude less than their optical counterpart, making the efficient detection of single microwave photons extremely challenging. Here, we demonstrate the detection of a single microwave photon propagating through a waveguide. The detector is implemented with an "impedance-matched" artificial $\Lambda$ system comprising the dressed states of a driven superconducting qubit coupled to a microwave resonator. We attain a single-photon detection efficiency of $0.66 \pm 0.06$ with a reset time of $\sim 400$~ns. This detector can be exploited for various applications in quantum sensing, quantum communication and quantum information processing.


title: Saturation of ion irradiation effects in Cr2AlC

abstract: Cr2AlC materials were irradiated with 7 MeV Xe26+ ions and 500 keV He2+ ions at room temperature. A structural transition with an increased c lattice parameter and a decreased a lattice parameter occurs after irradiation to doses above 1 dpa. Nevertheless, the modified structure is stable up to the dose of 5.2 dpa without obvious lattice disorder. The three samples irradiated to doses above 1 dpa have comparable lattice parameters and hardness values, suggesting a saturation of irradiation effects in Cr2AlC. The structural transition and irradiation effects saturation are ascribed to irradiation-induced antisite defects (CrAl and AlCr) and C interstitials, which is supported by the calculations of the formation energies of various defects in Cr2AlC. The irradiation-induced antisite defects and C interstitials may be critical to understand the excellent resistance to irradiation-induced amorphization of MAX phases.


title: On the Seventh Power Moment of $\Delta(x)$

abstract: Let $\Delta(x)$ be the error term of the Dirichlet divisor problem. In this paper, we establish an asymptotic formula of the seventh-power moment of $\Delta(x)$ and prove that \begin{equation*} \int_2^T \Delta^7(x)\mathrm{d}x= \frac{7(5s_{7;3}(d)-3s_{7;2}(d)-s_{7;1}(d))}{2816\pi^7}T^{11/4}+O(T^{11/4-\delta_7+\varepsilon}) \end{equation*} with $\delta_7=1/336,$ which improves the previous result.


title: A Deterministic Algorithm for Pliable Index Coding

abstract: Pliable index coding considers a server with m messages, and n clients where each has as side information a subset of the messages. We seek to minimize the number of transmissions the server should make, so that each client receives (any) one message she does not already have. Previous work has shown that the server can achieve this using O(\log^2(n)) transmissions and needs at least \Omega(log(n)) transmissions in the worst case, but finding a code of optimal length is NP-hard. In this paper, we propose a deterministic algorithm that we prove achieves this upper bound, that is, in an order almost as the worst-case optimal code length. We also establish a connection between the pliable index coding problem and the minrank problem over a family of mixed matrices.


title: Long-lived binary tunneling spectrum in a quantum-Hall Tomonaga-Luttinger liquid

abstract: The existence of long-lived non-equilibrium states without showing thermalization, which has previously been demonstrated in time evolution of ultracold atoms, suggests the possibility of their spatial analogue in transport behavior of interacting electrons in solid-state systems. Here we report long-lived non-equilibrium states in one-dimensional edge channels in the integer quantum Hall regime. An indirect heating scheme in a counterpropagating configuration is employed to generate a non-trivial binary spectrum consisting of high- and low-temperature components. This unusual spectrum is sustained even after travelling 5 - 10 {\mu}m, much longer than the length for electronic relaxation (about 0.1 {\mu}m), without showing significant thermalization. This observation is consistent with the integrable model of Tomonaga-Luttinger liquid. The long-lived spectrum implies that the system is well described by non-interacting plasmons, which are attractive for carrying information for a long distance.


title: Spin 1/2 field and regularization in de Sitter and radiation dominated universe

abstract: We construct a simple algorithm to derive number density of spin 1/2 particles created in spatially flat FLRW spacetimes and resulting renormalized energy-momentum tensor within the framework of adiabatic regularization. Physical quantities thus found are in agreement with the known results. This formalism can be considered as an appropriate extension of the techniques originally introduced for scalar fields, applicable to fermions in curved space. We apply this formalism to compute the particle number density and the renormalized energy density and pressure analytically (wherever possible) and numerically, in two interesting cosmological scenarios: a de Sitter spacetime and a radiation dominated universe. Results prove the efficiency of the methodology presented here.


title: Redundancy in the information transmission in a two-step cascade

abstract: We present a stochastic framework to study signal transmission in a generic two-step cascade $\text{S} \rightarrow \text{X} \rightarrow \text{Y}$. Starting from a set of Langevin equations obeying Gaussian noise processes we calculate the variance and covariance while considering both linear and nonlinear production terms for different biochemical species of the cascade. These quantities are then used to calculate the net synergy within the purview of partial information decomposition. We show that redundancy in information transmission is essentially an important consequence of Markovian property of the two-step cascade motif. We also show that redundancy increases fidelity of the signalling pathway.


title: COGENT: Certified Compilation for a Functional Systems Language

abstract: We present a self-certifying compiler for the COGENT systems language. COGENT is a restricted, polymorphic, higher-order, and purely functional language with linear types and without the need for a trusted runtime or garbage collector. It compiles to efficient C code that is designed to interoperate with existing C functions. The language is suited for layered systems code with minimal sharing such as file systems or network protocol control code. For a well-typed COGENT program, the compiler produces C code, a high-level shallow embedding of its semantics in Isabelle/HOL, and a proof that the C code correctly implements this embedding. The aim is for proof engineers to reason about the full semantics of real-world systems code productively and equationally, while retaining the interoperability and leanness of C. We describe the formal verification stages of the compiler, which include automated formal refinement calculi, a switch from imperative update semantics to functional value semantics formally justified by the linear type system, and a number of standard compiler phases such as type checking and monomorphisation. The compiler certificate is a series of language-level meta proofs and per-program translation validation phases, combined into one coherent top-level theorem in Isabelle/HOL.


title: Vortex Dynamics-Mediated Low-Field Magnetization Switching in an Exchange-Coupled System

abstract: A magnetic vortex has attracted significant attention since it is a topologically stable magnetic structure in a soft magnetic nanodisk. Many studies have been devoted to understanding the nature of magnetic vortex in isolated systems. Here we show a new aspect of a magnetic vortex the dynamics of which strongly affects the magnetic structures of environment. We exploit a nanodot of an exchange-coupled bilayer with a soft magnetic Ni81Fe19 (permalloy; Py) having a magnetic vortex and a perpendicularly magnetized L10-FePt exhibiting a large switching field (Hsw). The vortex dynamics with azimuthal spin waves makes the excess energy accumulate in the Py, which triggers the reversed-domain nucleation in the L10-FePt at a low magnetic field. Our results shed light on the non-local mechanism of a reversed-domain nucleation, and provide with a route for efficient Hsw reduction that is needed for ultralow-power spintronic devices.


title: Operational Characterization of Divisibility of Dynamical Maps

abstract: Divisibility of dynamical maps turns out to be a fundamental notion in characterising Markovianity of quantum evolution, although the decision problem for divisibility itself is computationally intractable. In this work, we propose the operational characterisation of divisibility of dynamical maps by exploiting distinguishability of quantum channels. We prove that distinguishability for any pair of quantum channels does not increase under divisible maps, and then, in terms of channel distinguishability with entanglement between system and $k$-dimensional ancillas, provide the operational characterization for the full hierarchy of the so-called $k$-divisiblity $(k=1,2,\ldots)$. Finally, from the fact that min-entropy corresponds to the information-theoretic measure of distinguishability, the entropic characterisation to divisible maps is also provided.


title: Stable Dirac semi-metal in the allotrope of IV elements

abstract: Three dimensional topological Dirac semi-metals represent a novel state of quantum matter with exotic electronic properties, in which a pair of Dirac points with the linear dispersion along all momentum directions exist in the bulk. Herein, by using the first principles calculations, we discover a new metastable allotrope of Ge and Sn in the staggered layered dumbbell structure, named as germancite and stancite, to be Dirac semi-metals with a pair of Dirac points on its rotation axis. On the surface parallel to the rotation axis, a pair of topologically non-trivial Fermi arcs are observed and a Lifshitz transition is found by tuning the Fermi level. Furthermore, the quantum thin film of germancite is found to be an intrinsic quantum spin Hall insulator. These discoveries suggest novel physical properties and future applications of the new metastable allotrope of Ge and Sn.


title: Anomalous electronic structure and magnetoresistance in TaAs$_2$

abstract: The resistance of a metal in a magnetic field can be very illuminating about its ground state. Some famous examples include the integer and fractional quantum Hall effects\cite{Klitzing-QHE,Tsui-FQHE}, Shubnikov-de Haas oscillations\cite{SdH}, and weak localization\cite{Lee-WL} \emph{et al}. In non-interacting metals the resistance typically increases upon the application of a magnetic field\cite{Pippard-MR}. In contrast, in some special circumstances metals, with anisotropic Fermi surfaces\cite{Kikugawa-PdCoO2LMR} or a so-called Weyl semimetal for instance\cite{Nielsen-ABJ,Son-ChirAnom}, may have negative magnetoresistance. Here we show that semimetallic TaAs$_2$ possesses a gigantic negative magnetoresistance ($-$98\% in a field of 3 T at low temperatures), with an unknown mechanism. Density functional calculations illustrate that TaAs$_2$ is a new topological semimetal [$\mathbb{Z}_2$ invariant (0;111)] without a Dirac dispersion. This demonstrates that the presence of negative magnetoresistance in non-magnetic semimetals cannot be uniquely attributed to the Adler-Bell-Jackiw anomaly of bulk Dirac/Weyl fermions. Our results also imply that the OsGe$_2$-type monoclinic dipnictides are likely a material basis where unconventional topological semimetals may be found.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.supr-con


title: On Drury's solution of Bhatia \& Kittaneh's question

abstract: Let $A, B$ be $n\times n$ positive semidefinite matrices. Bhatia and Kittaneh asked whether it is true $$ \sqrt{\sigma_j(AB)}\le \frac{1}{2} \lambda_j(A+B), \qquad j=1, \ldots, n$$ where $\sigma_j(\cdot)$, $\lambda_j(\cdot)$, are the $j$-th largest singular value, eigenvalue, respectively. The question was recently solved by Drury in the affirmative. This article revisits Drury's solution. In particular, we simplify the proof for a key auxiliary result in his solution.


title: Quadrupole and monopole transition properties of $0^+_2$ in Gd isotopes

abstract: The longstanding problem of characterization of the $0^+_2$ states in Gd isotopes is revisited by adopting the Nilsson$+$BCS mean field and the random-phase approximation. The interband electric quadrupole transition strengths varying almost two orders of magnitude are nicely reproduced at the same time as other observables. These results indicate that the $0^+_2$ states, in particular, those in lighter isotopes are well described as $\beta$ vibrations excited on top of deformed ground states without recourse to the shape-coexistence picture.


title: Single- and Multi-level Network Sparsification by Algebraic Distance

abstract: Network sparsification methods play an important role in modern network analysis when fast estimation of computationally expensive properties (such as the diameter, centrality indices, and paths) is required. We propose a method of network sparsification that preserves a wide range of structural properties. Depending on the analysis goals, the method allows to distinguish between local and global range edges that can be filtered out during the sparsification. First we rank edges by their algebraic distances and then we sample them. We also introduce a multilevel framework for sparsification that can be used to control the sparsification process at various coarse-grained resolutions. Based primarily on the matrix-vector multiplications, our method is easily parallelized for different architectures.


title: Understanding the difference in cohesive energies between alpha and beta tin in DFT calculations

abstract: The transition temperature between the low-temperature alpha phase of tin to beta tin is close to the room temperature (Tab =13C), and the difference in cohesive energy of the two phases at 0 K of about dEcoh=0.02 eV/atom is at the limit of the accuracy of DFT (density functional theory) with available exchange-correlation functionals. It is however critically important to model the relative phase energies correctly for any reasonable description of phenomena and technologies involving these phases, for example, the performance of tin electrodes in electrochemical batteries. Here, we show that several commonly used and converged DFT setups using the most practical and widely used PBE functional result in dEcoh of about 0.04 eV/atom, with different types of basis sets and with different models of core electrons (all-electron or pseudopotentials of different types), which leads to a significant overestimation of Tab. We show that this is due to the errors in relative positions of s and p -like bands, which, combined with different populations of these bands in alpha and beta Sn, leads to overstabilization of alpha tin. We show that this error can be effectively corrected by applying a Hubbard +U correction to s -like states, whereby correct cohesive energies of both alpha and beta Sn can be obtained with the same computational scheme. We quantify for the first time the effects of anharmonicity on dEcoh and find that it is negligible.