title: Precise limits on cosmological variability of the fine-structure constant with zinc and chromium quasar absorption lines

abstract: The strongest transitions of Zn and CrII are the most sensitive to relative variations in the fine-structure constant ($\Delta\alpha/\alpha$) among the transitions commonly observed in quasar absorption spectra. They also lie within just 40\AA\ of each other (rest frame), so they are resistant to the main systematic error affecting most previous measurements of $\Delta\alpha/\alpha$: long-range distortions of the wavelength calibration. While Zn and CrII absorption is normally very weak in quasar spectra, we obtained high signal-to-noise, high-resolution echelle spectra from the Keck and Very Large Telescopes of 9 rare systems where it is strong enough to constrain $\Delta\alpha/\alpha$ from these species alone. These provide 12 independent measurements (3 quasars were observed with both telescopes) at redshifts 1.0--2.4, 11 of which pass stringent reliability criteria. These 11 are all consistent with $\Delta\alpha/\alpha=0$ within their individual uncertainties of 3.5--13 parts per million (ppm), with a weighted mean $\Delta\alpha/\alpha = 1.2\pm1.7_{\rm stat}\pm0.9_{\rm sys}$ ppm (1$\sigma$ statistical and systematic uncertainties), indicating no significant cosmological variations in $\alpha$. This is the first statistical sample of absorbers that is resistant to long-range calibration distortions (at the $<$1 ppm level), with a precision comparable to previous large samples of $\sim$150 (distortion-affected) absorbers. Our systematic error budget is instead dominated by much shorter-range distortions repeated across echelle orders of individual spectra.

categories: astro-ph.CO gr-qc hep-ph hep-th physics.atom-ph


title: A New Statistical Model for Population III Supernova Rates: Discriminating Between $\Lambda$CDM and WDM Cosmologies

abstract: With new observational facilities becoming available soon, discovering and characterising supernovae from the first stars will open up alternative observational windows to the end of the cosmic dark ages. Based on a semi-analytical merger tree model of early star formation we constrain Population III supernova rates. We find that our method reproduces the Population III supernova rates of large-scale cosmological simulations very well. Our computationally efficient model allows us to survey a large parameter space and to explore a wide range of different scenarios for Population III star formation. Our calculations show that observations of the first supernovae can be used to differentiate between cold and warm dark matter models and to constrain the corresponding particle mass of the latter. Our predictions can also be used to optimize survey strategies with the goal to maximize supernova detection rates.


title: Warps and waves in the stellar discs of the Auriga cosmological simulations

abstract: Recent studies have revealed an oscillating asymmetry in the vertical structure of the Milky Way's disc. Here we analyze 16 high-resolution, fully cosmological simulations of the evolution of individual Milky Way-sized galaxies, carried out with the MHD code AREPO. At redshift zero, about $70\%$ of our galactic discs show strong vertical patterns, with amplitudes that can exceed 2 kpc. Half of these are typical `integral sign' warps. The rest are oscillations similar to those observed in the Milky Way. Such structures are thus expected to be common. The associated mean vertical motions can be as large as 30~km/s. Cold disc gas typically follows the vertical patterns seen in the stars. These perturbations have a variety of causes: close encounters with satellites, distant flybys of massive objects, accretion of misaligned cold gas from halo infall or from mergers. Tidally induced vertical patterns can be identified in both young and old stellar populations, whereas those originating from cold gas accretion are seen mainly in the younger populations. Galaxies with regular or at most weakly perturbed discs are usually, but not always, free from recent interactions with massive companions, although we have one case where an equilibrium compact disc reforms after a merger.


title: Interacting Giant Gravitons from Spin Matrix Theory

abstract: Using the non-abelian DBI action we find an effective matrix model that describes the dynamics of weakly interacting giant gravitons wrapped on three-spheres in the AdS part of AdS_5 x S^5 at high energies with two angular momenta on the S^5. In parallel we consider the limit of \CN=4 super Yang-Mills theory near a certain unitarity bound where it reduces to the quantum mechanical theory called SU(2) Spin Matrix Theory. We show that the exact same matrix model that describes the giant gravitons on the string theory side also provides the effective description in the strong coupling and large energy limit of the Spin Matrix Theory. Thus, we are able to match non-supersymmetric dynamics of D-branes on AdS_5 x S^5 to a finite-N regime in \CN=4 super Yang-Mills theory near a unitarity bound.


title: Gravitational self-force on eccentric equatorial orbits around a Kerr black hole

abstract: This paper presents the first calculation of the gravitational self-force on a small compact object on an eccentric equatorial orbit around a Kerr black hole to first order in the mass-ratio. That is the pointwise correction to the object's equations of motion (both conservative and dissipative) due to its own gravitational field treated as a linear perturbation to the background Kerr spacetime generated by the much larger spinning black hole. The calculation builds on recent advances on constructing the local metric and self-force from solutions of the Teukolsky equation, which led to the calculation of the Detweiler-Barack-Sago redshift invariant on eccentric equatorial orbits around a Kerr black hole in a previous paper. After deriving the necessary expression to obtain the self-force from the Weyl scalar $\psi_4$, we perform several consistency checks of the method and numerical implementation, including a check of the balance law relating orbital average of the self-force to average flux of energy and angular momentum out of the system. Particular attention is paid to the pointwise convergence properties of the sum over frequency modes in our method, identifying a systematic inherent loss of precision that any frequency domain calculation of the self-force on eccentric orbits must overcome.


title: New Detectors to Explore the Lifetime Frontier

abstract: Long-lived particles (LLPs) are a common feature in many beyond the Standard Model theories, including supersymmetry, and are generically produced in exotic Higgs decays. Unfortunately, no existing or proposed search strategy will be able to observe the decay of non-hadronic electrically neutral LLPs with masses above $\sim$ GeV and lifetimes near the limit set by Big Bang Nucleosynthesis (BBN), $c \tau \lesssim 10^7 - 10^8$~m. We propose the MATHUSLA surface detector concept (MAssive Timing Hodoscope for Ultra Stable neutraL pArticles), which can be implemented with existing technology and in time for the high luminosity LHC upgrade to find such ultra-long-lived particles (ULLPs), whether produced in exotic Higgs decays or more general production modes. We also advocate for a dedicated LLP detector at a future 100 TeV collider, where a modestly sized underground design can discover ULLPs with lifetimes at the BBN limit produced in sub-percent level exotic Higgs decays.


title: GAMA/H-ATLAS: A meta-analysis of SFR indicators - comprehensive measures of the SFR-M* relation and Cosmic Star Formation History at z < 0.4

abstract: We present a meta-analysis of star-formation rate (SFR) indicators in the GAMA survey, producing 12 different SFR metrics and determining the SFR-M* relation for each. We compare and contrast published methods to extract the SFR from each indicator, using a well-defined local sample of morphologically-selected spiral galaxies, which excludes sources which potentially have large recent changes to their SFR. The different methods are found to yield SFR-M* relations with inconsistent slopes and normalisations, suggesting differences between calibration methods. The recovered SFR-M* relations also have a large range in scatter which, as SFRs of the targets may be considered constant over the different timescales, suggests differences in the accuracy by which methods correct for attenuation in individual targets. We then recalibrate all SFR indicators to provide new, robust and consistent luminosity-to-SFR calibrations, finding that the most consistent slopes and normalisations of the SFR-M* relations are obtained when recalibrated using the radiation transfer method of Popescu et al. These new calibrations can be used to directly compare SFRs across different observations, epochs and galaxy populations. We then apply our calibrations to the GAMA II equatorial dataset and explore the evolution of star-formation in the local Universe. We determine the evolution of the normalisation to the SFR-M* relation from 0 < z < 0.35 - finding consistent trends with previous estimates at 0.3 < z < 1.2. We then provide the definitive z < 0.35 Cosmic Star Formation History, SFR-M* relation and its evolution over the last 3 billion years.


title: Universal power-law decay of electron-electron interactions due to nonlinear screening in a Josephson junction array

abstract: Josephson junctions are the most prominent nondissipative and at the same time nonlinear elements in superconducting circuits allowing Cooper pairs to tunnel coherently between two superconductors separated by a tunneling barrier. Due to this, physical systems involving Josephson junctions show highly complex behavior and interesting novel phenomena. Here, we consider an infinite one-dimensional chain of superconducting islands where neighboring islands are coupled by capacitances. We study the effect of Josephson junctions shunting each island to a common ground superconductor. We treat the system in the regime where the Josephson energy exceeds the capacitive coupling between the islands. For the case of two offset charges on two distinct islands, we calculate the interaction energy of these charges mediated by quantum phase slips due to the Josephson nonlinearities. We treat the phase slips in an instanton approximation and map the problem onto a classical partition function of interacting particles. Using the Mayer cluster expansion, we find that the interaction potential of the offset charges decays with an universal inverse-square power law behavior.


title: Approximating local observables on projected entangled pair states

abstract: Tensor network states are for good reasons believed to capture ground states of gapped local Hamiltonians arising in the condensed matter context, states which are in turn expected to satisfy an entanglement area law. However, the computational hardness of contracting projected entangled pair states in two and higher dimensional systems is often seen as a significant obstacle when devising higher-dimensional variants of the density-matrix renormalisation group method. In this work, we show that for those projected entangled pair states that are expected to provide good approximations of such ground states of local Hamiltonians, one can compute local expectation values in quasi-polynomial time. We therefore provide a complexity-theoretic justification of why state-of-the-art numerical tools work so well in practice. We comment on how the transfer operators of such projected entangled pair states have a gap and discuss notions of local topological quantum order. We finally turn to the computation of local expectation values on quantum computers, providing a meaningful application for a small-scale quantum computer.


title: Landscape of atomic nuclear shapes

abstract: We exhibit a wide variety of the nuclear shape phases over the nuclear chart along with a shell model scheme. Various nuclear shapes are demonstrated within the framework of proton-neutron spin-orbital interactions; ferro-deformed, sub-ferro-deformed, and spherical shapes. The spherical shape is classified into the three magic-number categories in view of a large shell gap mechanism; double-magic nuclei I, double magic nuclei II, and double magic nuclei III. We discuss nuclear shape coexistence in the space Z = 76 to 84 as providing a new way to understanding the dynamical shape phases.


title: Water Masers in the Andromeda Galaxy: I. A Survey for Water Masers, Ammonia, and Hydrogen Recombination Lines

abstract: We report the results of a Green Bank Telescope survey for water masers, ammonia (1,1) and (2,2), and the H66-alpha recombination line toward 506 luminous compact 24 micron-emitting regions in the Andromeda Galaxy (M31). We include the 206 sources observed in the Darling (2011) water maser survey for completeness. The survey was sensitive enough to detect any maser useful for ~10 microarcsecond/yr astrometry. No new water masers, ammonia lines, or H66-alpha recombination lines were detected individually or in spectral stacks reaching rms noise levels of ~3 mJy and ~0.2 mJy, respectively, in 3.1-3.3 km/s channels. The lack of detections in individual spectra and in the spectral stacks is consistent with Galactic extrapolations. Contrary to previous assertions, there do not seem to be additional bright water masers to be found in M31. The strong variability of water masers may enable new maser detections in the future, but variability may also limit the astrometric utility of known (or future) masers since flaring masers must also fade.


title: Water Masers in the Andromeda Galaxy: II. Where Do Masers Arise?

abstract: We present a comparative multi-wavelength analysis of water maser-emitting regions and non-maser-emitting luminous 24 micron star-forming regions in the Andromeda Galaxy (M31) to identify the sites most likely to produce luminous water masers useful for astrometry and proper motion studies. Included in the analysis are Spitzer 24 micron photometry, Herschel 70 and 160 micron photometry, H$\alpha$ emission, dust temperature, and star formation rate. We find significant differences between the maser-emitting and non-maser-emitting regions: water maser-emitting regions tend to be more IR-luminous and show higher star formation rates. The five water masers in M31 are consistent with being analogs of water masers in Galactic star-forming regions and represent the high-luminosity tail of a larger (and as yet undetected) population. Most regions likely to produce water masers bright enough for proper motion measurements using current facilities have already been surveyed, but we suggest three ways to detect additional water masers in M31: (1) Re-observe the most luminous mid- or far-IR sources with higher sensitivity than was used in the Green Bank Telescope survey; (2) Observe early-stage star-forming regions selected by mm continuum that have not already been selected by their 24 micron emission, and (3) Re-observe the most luminous mid- or far-IR sources, and rely on maser variability for new detections.


title: Limits to coherent scattering and photon coalescence from solid-state quantum emitters

abstract: The desire to produce high-quality single photons for applications in quantum information science has lead to renewed interest in exploring solid-state emitters in the weak excitation regime. Under these conditions it is expected that photons are coherently scattered, and so benefit from a substantial suppression of detrimental interactions between the source and its surrounding environment. Nevertheless, we demonstrate here that this reasoning is incomplete, as phonon interactions continue to play a crucial role in determining solid-state emission characteristics even for very weak excitation. We find that the sideband resulting from non-Markovian relaxation of the phonon environment is excitation strength independent. It thus leads to an intrinsic limit to the fraction of coherently scattered light and to the visibility of two-photon coalescence at weak driving, both of which are absent for atomic systems or within simpler Markovian treatments.


title: 4d N=2 SCFT from Complete Intersection Singularity

abstract: Detailed studies of four dimensional N=2 superconformal field theories (SCFT) defined by isolated complete intersection singularities are performed: we compute the Coulomb branch spectrum, Seiberg-Witten solutions and central charges. Most of our theories have exactly marginal deformations and we identify the weakly coupled gauge theory descriptions for many of them, which involve (affine) D and E shaped quiver gauge theories and theories formed from Argyres-Douglas matters. These investigations provide strong evidence for the singularity approach in classifying 4d N=2 SCFTs.


title: Quasars as a tracer of large-scale structures in the distant universe

abstract: We study the dependence of the number density and properties of quasars on the background galaxy density using the currently largest spectroscopic datasets of quasars and galaxies. We construct a galaxy number density field smoothed over the variable smoothing scale of between approximately 10 and $20\,h^{-1}$Mpc over the redshift range of $0.46<z<0.59$ using the Sloan Digital Sky Survey (SDSS) Data Release 12 (DR12) Constant MASS (CMASS) galaxies. The quasar sample is prepared from the SDSS I/II DR7. We examine the correlation of incidence of quasars with the large-scale background density and dependence of quasar properties such as bolometric luminosity, black hole mass, and Eddington ratio on the large-scale density. We find a monotonic correlation between the quasar number density and large-scale galaxy number density, which is fitted well with a power law relation, $n_Q\propto\rho_G^{0.618}$. We detect weak dependences of quasar properties on the large-scale density such as a positive correlation between black hole mass and density, and a negative correlation between luminosity and density. We discuss the possibility of using quasars as a tracer of large-scale structures at high redshifts, which may be useful for studies of growth of structures in the high redshift universe.


title: Noise and dissipation in rigid body motion

abstract: Using the rigid body as an example, we illustrate some features of stochastic geometric mechanics. These features include: i) a geometric variational motivation for the noise structure involving Lie-Poisson brackets and momentum maps, ii) stochastic coadjoint motion with double bracket dissipation, iii) the Lie-Poisson Fokker-Planck description and its stationary solutions, iv) random dynamical systems, random attractors and SRB measures connected to statistical physics.


title: Antineutrino monitoring of spent nuclear fuel

abstract: Military and civilian applications of nuclear energy have left a significant amount of spent nuclear fuel over the past 70 years. Currently, in many countries world wide, the use of nuclear energy is on the rise. Therefore, the management of highly radioactive nuclear waste is a pressing issue. In this letter, we explore antineutrino detectors as a tool for monitoring and safeguarding nuclear waste material. We compute the flux and spectrum of antineutrinos emitted by spent nuclear fuel elements as a function of time, and we illustrate the usefulness of antineutrino detectors in several benchmark scenarios. In particular, we demonstrate how a measurement of the antineutrino flux can help to re-verify the contents of a dry storage cask in case the monitoring chain by conventional means gets disrupted. We then comment on the usefulness of antineutrino detectors at long-term storage facilities such as Yucca mountain. Finally, we put forward antineutrino detection as a tool in locating underground "hot spots" in contaminated areas such as the Hanford site in Washington state.


title: Substructured formulations of nonlinear structure problems - influence of the interface condition

abstract: We investigate the use of non-overlapping domain decomposition (DD) methods for nonlinear structure problems. The classic techniques would combine a global Newton solver with a linear DD solver for the tangent systems. We propose a framework where we can swap Newton and DD, so that we solve independent nonlinear problems for each substructure and linear condensed interface problems. The objective is to decrease the number of communications between subdomains and to improve parallelism. Depending on the interface condition, we derive several formulations which are not equivalent, contrarily to the linear case. Primal, dual and mixed variants are described and assessed on a simple plasticity problem.


title: Benchmarking Python Tools for Automatic Differentiation

abstract: In this paper we compare several Python tools for automatic differentiation. In order to assess the difference in performance and precision, the problem of finding the optimal geometrical structure of the cluster with identical atoms is used as follows. First, we compare performance of calculating gradients for the objective function. We showed that the PyADOL-C and PyCppAD tools have much better performance for big clusters than the other ones. Second, we assess precision of these two tools by calculating the difference between the obtained at the optimal configuration gradient norms. We conclude that PyCppAD has the best performance among others, while having almost the same precision as the second- best performing tool - PyADOL-C.


title: Fermion masses through four-fermion condensates

abstract: Fermion masses can be generated through four-fermion condensates when symmetries prevent fermion bilinear condensates from forming. This less explored mechanism of fermion mass generation is responsible for making four reduced staggered lattice fermions massive at strong couplings in a lattice model with a local four-fermion coupling. The model has a massless fermion phase at weak couplings and a massive fermion phase at strong couplings. In particular there is no spontaneous symmetry breaking of any lattice symmetries in both these phases. Recently it was discovered that in three space-time dimensions there is a direct second order phase transition between the two phases. Here we study the same model in four space-time dimensions and find results consistent with the existence of a narrow intermediate phase with fermion bilinear condensates, that separates the two asymptotic phases by continuous phase transitions.


title: Electron-positron pair production in external electric fields varying both in space and time

abstract: The Schwinger mechanism of electron-positron pair production in the presence of strong external electric fields is analyzed numerically for the case of one- and two-dimensional field configurations where the external field depends both on time and one spatial coordinate. In order to provide this analysis, a new efficient numerical approach is developed. The number of particles created is obtained numerically and also compared with the analytical results for several exactly solvable one-dimensional backgrounds. For the case of two-dimensional field configurations the effects of the spatial finiteness are examined, which confirms their importance and helps us to attest our approach further. The corresponding calculations are also performed for several more interesting and nontrivial combinations of temporal and spatial inhomogeneities. Finally, we discuss the case of a spatially periodic external field when the approach is particularly productive. The method employed is described in detail.


title: Multiple Hypothesis Colorization

abstract: In this work we focus on the problem of colorization for image compression. Since color information occupies a large proportion of the total storage size of an image, a method that can predict accurate color from its grayscale version can produce dramatic reduction in image file size. But colorization for compression poses several challenges. First, while colorization for artistic purposes simply involves predicting plausible chroma, colorization for compression requires generating output colors that are as close as possible to the ground truth. Second, many objects in the real world exhibit multiple possible colors. Thus, to disambiguate the colorization problem some additional information must be stored to reproduce the true colors with good accuracy. To account for the multimodal color distribution of objects we propose a deep tree-structured network that generates multiple color hypotheses for every pixel from a grayscale picture (as opposed to a single color produced by most prior colorization approaches). We show how to leverage the multimodal output of our model to reproduce with high fidelity the true colors of an image by storing very little additional information. In the experiments we show that our proposed method outperforms traditional JPEG color coding by a large margin, producing colors that are nearly indistinguishable from the ground truth at the storage cost of just a few hundred bytes for high-resolution pictures!


title: The Optics of Refractive Substructure

abstract: Newly recognized effects of refractive scattering in the ionized interstellar medium have broad implications for very long baseline interferometry (VLBI) at extreme angular resolutions. Building upon work by Blandford & Narayan (1985), we present a simplified, geometrical optics framework, which enables rapid, semi-analytic estimates of refractive scattering effects. We show that these estimates exactly reproduce previous results based on a more rigorous statistical formulation. We then derive new expressions for the scattering-induced fluctuations of VLBI observables such as closure phase, and we demonstrate how to calculate the fluctuations for arbitrary quantities of interest using a Monte Carlo technique.


title: Content Retrieval At the Edge: A Social-aware and Named Data Cooperative Framework

abstract: Recent years with the popularity of mobile devices have witnessed an explosive growth of mobile multimedia contents which dominate more than 50\% of mobile data traffic. This significant growth poses a severe challenge for future cellular networks. As a promising approach to overcome the challenge, we advocate Content Retrieval At the Edge, a content-centric cooperative service paradigm via device-to-device (D2D) communications to reduce cellular traffic volume in mobile networks. By leveraging the Named Data Networking (NDN) principle, we propose sNDN, a social-aware named data framework to achieve efficient cooperative content retrieval. Specifically, sNDN introduces Friendship Circle by grouping a user with her close friends of both high mobility similarity and high content similarity. We construct NDN routing tables conditioned on Friendship Circle encounter frequency to navigate a content request and a content reply packet between Friendship Circles, and leverage social properties in Friendship Circle to search for the final target as inner-Friendship Circle routing. The evaluation results demonstrate that sNDN can save cellular capacity greatly and outperform other content retrieval schemes significantly.


title: The Puzzle of Empty Bottle in Quantum Theory

abstract: We discuss an extremely simple effect of 'shadowing' where the very existence of the measuring apparatus deforms the evolution of quantum states even if the measurement is never preformed. In spite of strange intuitive aspects, it might be related to some recent doubts about the completeness of quantum theories.


title: Existence of the optimum for Shallow Lake type models

abstract: We consider the optimal control problem associated with a general version of the well known shallow lake model, and we prove the existence of an optimum in the class $L_{loc}^{1}\left(0,+\infty\right)$. Any direct proof seems to be missing in the literature. Dealing with admissible controls that can be unbounded (even locally) is necessary in order to represent properly the concrete optimization problem; on the other hand, the non-compactness of the control space together with the infinite horizon setting prevents from having good \emph{a priori} estimates - and this makes the existence problem considerably harder. We present an original method which is in a way opposite to the classical control theoretic approach used to solve finite horizon Mayer or Bolza problems. Synthetically, our method is based on the following scheme: i) two uniform localization lemmas providing, given $T\geq1$ and a maximizing sequence of controls, another sequence of controls which is bounded in $L^{\infty}\left(\left[0,T\right]\right)$ and still maximizing. ii) A special diagonal procedure dealing with sequences which are not extracted one from the other. iii) A 'standard' diagonal procedure. The optimum results to be locally bounded by construction. Keywords: Optimal control, infinite horizon, non compact control space, uniform localization, convex-concave dynamics, logarithmic utility.


title: Parafermions in the tau-2 model II

abstract: Many years ago Baxter introduced an inhomogeneous two-dimensional classical spin model, now called the $\tau_2(t)$ model with free boundary conditions, and he specialized the resulting quantum spin-chain Hamiltonian in a special limit to a simple clock Hamiltonian. Recently, Fendley showed that this clock Hamiltonian can be expressed in terms of free "parafermions." Baxter followed this up by showing that this construction generalizes to the more general $\tau_2(t)$ model, provided some conjectures hold. In this paper, we will compare the different notations and approaches enabling us to express the Hamiltonians in terms of projection operators as introduced by Fendley. By examining the properties of the raising operators, we are then able to prove the last unproven conjecture in Baxter's paper left in our previous paper. Thus the eigenvectors can all be written in terms of these raising operators.


title: Calibration artefacts in radio interferometry. III. Phase-only calibration and primary beam correction

abstract: This is the third installment in a series of papers in which we investigate calibration artefacts. Calibration artefacts (also known as ghosts or spurious sources) are created when we calibrate with an incomplete model. In the first two papers of this series we developed a mathematical framework which enabled us to study the ghosting mechanism itself. An interesting concomitant of the second paper was that ghosts appear in symmetrical pairs. This could possibly account for spurious symmetrization. Spurious symmetrization refers to the appearance of a spurious source (the anti-ghost) symmetrically opposite an unmodelled source around a modelled source. The analysis in the first two papers indicates that the anti-ghost is usually very faint, in particular when a large number of antennas are used. This suggests that spurious symmetrization will mainly occur at an almost undetectable flux level. In this paper, we show that phase-only calibration produces an anti-ghost that is $N$-times (where $N$ denotes the number of antennas in the array) as bright as the one produced by phase and amplitude calibration and that this already bright ghost can be further amplified by the primary beam correction.


title: Path-dependent SDEs in Hilbert spaces

abstract: We study path-dependent SDEs in Hilbert spaces. By using methods based on contractions in Banach spaces, we prove existence and uniqueness of mild solutions, continuity of mild solutions with respect to perturbations of all the data of the system, G\^ateaux differentiability of generic order n of mild solutions with respect to the starting point, continuity of the G\^ateaux derivatives with respect to all the data. The analysis is performed for generic spaces of paths that do not necessarily coincide with the space of continuous functions.


title: Classification of finite dimensional uniserial representations of conformal Galilei algebras

abstract: With the aid of the $6j$-symbol, we classify all uniserial modules of $\mathfrak{sl}(2)\ltimes \mathfrak{h}_{n}$, where $\mathfrak{h}_{n}$ is the Heisenberg Lie algebra of dimension $2n+1$.


title: Predicting Novel Tick Vectors of Zoonotic Disease

abstract: With the resurgence of tick-borne diseases such as Lyme disease and the emergence of new pathogens such as Powassan virus, understanding what distinguishes vector from non-vector species, and predicting undiscovered tick vectors is an important step towards mitigating human disease risk. We apply generalized boosted regression to interrogate over 90 features for over 240 species of Ixodes ticks. Our model predicted vector status with ~97% accuracy and implicated 14 tick species whose intrinsic trait profiles confer high probabilities (~80%) that they are capable of transmitting infections from animal hosts to humans. Distinguishing characteristics of zoonotic tick vectors include several anatomical structures that facilitate efficient host seeking and blood-feeding from a wide variety of host species. Boosted regression analysis produced both actionable predictions to guide ongoing surveillance as well as testable hypotheses about the biological underpinnings of vectorial capacity across tick species.


title: A Quintuple Star System Containing Two Eclipsing Binaries

abstract: We present a quintuple star system that contains two eclipsing binaries. The unusual architecture includes two stellar images separated by 11" on the sky: EPIC 212651213 and EPIC 212651234. The more easterly image (212651213) actually hosts both eclipsing binaries which are resolved within that image at 0.09", while the westerly image (212651234) appears to be single in adaptive optics (AO), speckle imaging, and radial velocity (RV) studies. The 'A' binary is circular with a 5.1-day period, while the 'B' binary is eccentric with a 13.1-day period. The gamma velocities of the A and B binaries are different by ~10 km/s. That, coupled with their resolved projected separation of 0.09", indicates that the orbital period and separation of the 'C' binary (consisting of A orbiting B) are ~65 years and ~25 AU, respectively, under the simplifying assumption of a circular orbit. Motion within the C orbit should be discernible via future RV, AO, and speckle imaging studies within a couple of years. The C system (i.e., 212651213) has a radial velocity and proper motion that differ from that of 212651234 by only ~1.4 km/s and ~3 mas/yr. This set of similar space velocities in 3 dimensions strongly implies that these two objects are also physically bound, making this at least a quintuple star system.


title: Applications of Thin Orbits

abstract: This text is based on a series of three expository lectures on a variety of topics related to "thin orbits," as delivered at Durham University's Easter School on "Dynamics and Analytic Number Theory" in April 2014. The first lecture reviews closed geodesics on the modular surface and the reduction theory of binary quadratic forms before discussing Duke's equidistribution theorem (for indefinite classes). The second lecture exposits three quite different but (it turns out) not unrelated problems, due to Einsiedler-Lindenstrauss-Michel-Venkatesh, McMullen, and Zaremba. The third lecture reformulates these in terms of the aforementioned thin orbits, and shows how all three would follow from a single "Local-Global" Conjecture of Bourgain and the author. We also describe some partial progress on the conjecture, which has lead to some results on the original problems.


title: Functional It\=o calculus in Hilbert spaces and application to path-dependent Kolmogorov equations

abstract: Recently, functional It\=o calculus has been introduced and developed in finite dimension for functionals of continuous semimartingales. With different techniques, we develop a functional It\=o calculus for functionals of Hilbert spacevalued diffusions. In this context, we first prove a path-dependent It\=o's formula, then we show applications to classical solutions of path-dependent Kolmogorov equations in Hilbert spaces and derive a Clark-Ocone type formula. Finally, we explicitly verify that all the theory developed can be applied to a class of diffusions driven by SDEs with a path-dependent drift (suitably regular) and constant diffusion coefficient.


title: Orthogonal basis with a conicoid first mode for shape specification of optical surfaces

abstract: A rigorous and powerful theoretical framework is proposed to obtain systems of orthogonal functions (or shape modes) to represent optical surfaces. The method is general so it can be applied to different initial shapes and different polynomials. Here we present results for surfaces with circular apertures when the first basis function (mode) is a conicoid. The system for aspheres with rotational symmetry is obtained applying an appropriate change of variables to Legendre polynomials, whereas the system for general freeform case is obtained applying a similar procedure to spherical harmonics. Numerical comparisons with standard systems, such as Forbes and Zernike polynomials, are performed and discussed.


title: Inferring Mobility Measures from GPS Traces with Missing Data

abstract: With increasing availability of smartphones with GPS capabilities, large-scale studies relating individual-level mobility patterns to a wide variety of patient-centered outcomes, from mood disorders to surgical recovery, are becoming a reality. Similar past studies have been small in scale and have provided wearable GPS devices to subjects. These devices typically collect mobility traces continuously without significant gaps in the data, and consequently the problem of data missingness has been safely ignored. Leveraging subjects' own smartphones makes it possible to scale up and extend the duration of these types of studies, but at the same time introduces a substantial challenge: to preserve a smartphone's battery, GPS can be active only for a small portion of the time, frequently less than $10\%$, leading to a tremendous missing data problem. We introduce a principled statistical approach, based on weighted resampling of the observed data, to impute the missing mobility traces, which we then summarize using different mobility measures. We compare the strengths of our approach to linear interpolation, a popular approach for dealing with missing data, both analytically and through simulation of missingness for empirical data. We conclude that our imputation approach better mirrors human mobility both theoretically and over a sample of GPS mobility traces from 182 individuals in the Geolife data set, where, relative to linear interpolation, imputation resulted in a 10-fold reduction in the error averaged across all mobility features.


title: Recognizing Surgical Activities with Recurrent Neural Networks

abstract: We apply recurrent neural networks to the task of recognizing surgical activities from robot kinematics. Prior work in this area focuses on recognizing short, low-level activities, or gestures, and has been based on variants of hidden Markov models and conditional random fields. In contrast, we work on recognizing both gestures and longer, higher-level activites, or maneuvers, and we model the mapping from kinematics to gestures/maneuvers with recurrent neural networks. To our knowledge, we are the first to apply recurrent neural networks to this task. Using a single model and a single set of hyperparameters, we match state-of-the-art performance for gesture recognition and advance state-of-the-art performance for maneuver recognition, in terms of both accuracy and edit distance. Code is available at https://github.com/rdipietro/miccai-2016-surgical-activity-rec .


title: Uniform propagation of chaos for Kac's 1D particle system

abstract: In this paper we study Kac's 1D particle system, consisting of the velocities of $N$ particles colliding at constant rate and randomly exchanging energies. We prove uniform (in time) propagation of chaos in Wasserstein distance with explicit polynomial rates in $N$, for both the squared (i.e., the energy) and non-squared particle system. These rates are of order $N^{-1/3}$ (almost, in the non-squared case), assuming that the initial distribution of the limit nonlinear equation has finite moments of sufficiently high order ($4+\epsilon$ is enough when using the 2-Wasserstein distance). The proof relies on a convenient parametrization of the collision recently introduced by Hauray, as well as on a coupling technique developed by Cortez and Fontbona.


title: Electrodynamics of a Cosmic Dark Fluid

abstract: Cosmic Dark Fluid is considered as a non-stationary medium, in which electromagnetic waves propagate, and magneto-electric field structures emerge and evolve. A medium - type representation of the Dark Fluid allows us to involve into analysis the concepts and mathematical formalism elaborated in the framework of classical covariant electrodynamics of continua, and to distinguish dark analogs of well-known medium-effects, such as optical activity, pyro-electricity, piezo-magnetism, electro- and magneto-striction and dynamo-optical activity. The Dark Fluid is assumed to be formed by a duet of a Dark Matter (a pseudoscalar axionic constituent) and Dark Energy (a scalar element); respectively, we distinguish electrodynamic effects induced by these two constituents of the Dark Fluid. The review contains discussions of ten models, which describe electrodynamic effects induced by Dark Matter and/or Dark Energy. The models are accompanied by examples of exact solutions to the master equations, correspondingly extended; applications are considered for cosmology and space-times with spherical and pp-wave symmetries. In these applications we focused the attention on three main electromagnetic phenomena induced by the Dark Fluid: first, emergence of Longitudinal Magneto-Electric Clusters; second, generation of anomalous electromagnetic responses; third, formation of Dark Epochs in the Universe history.


title: Ultra-high oxidation potential of Ti/Cu-SnO2 anodes fabricated by spray pyrolysis for wastewater treatment

abstract: High oxidation potential indicates anodes have high oxidation power and high current efficiency for organics oxidation. In this paper, we prepared Ti/Cu-SnO2 anodes using spray pyrolysis method. The Ti/Cu-SnO2 anodes have an ultra-high oxidation potential of about 2.7 V vs NHE, suitable for use in wastewater treatment. The Ti/Cu-SnO2 anodes exhibit the preferred orientation along (110) plane at high Cu doped concentration. First-principles calculations suggest that work function of Cu-SnO2 increases with the Cu doping concentration. It is obtained that the preferred (110) plane and the high work function are responsible for the enhanced oxidation potential of Ti/Cu-SnO2 anodes.


title: Tight Bounds on the Complexity of Semi-Equitable Coloring of Cubic and Subcubic Graphs

abstract: A $k$-coloring of a graph $G=(V,E)$ is called semi-equitable if there exists a partition of its vertex set into independent subsets $V_1,\ldots,V_k$ in such a way that $|V_1| \notin \{\lceil |V|/k\rceil, \lfloor |V|/k \rfloor\}$ and $||V_i|-|V_j|| \leq 1$ for each $i,j=2,\ldots,k$. The color class $V_1$ is called non-equitable. In this note we consider the complexity of semi-equitable $k$-coloring, $k\geq 4$, of the vertices of a cubic or subcubic graph $G$. In particular, we show that, given a $n$-vertex subcubic graph $G$ and constants $\epsilon > 0$, $k \geq 4$, it is NP-complete to obtain a semi-equitable $k$-coloring of $G$ whose non-equitable color class is of size $s$ if $s \geq n/3+\epsilon n$, and it is polynomially solvable if $s \leq n/3$.


title: Polarization measurement of dielectronic recombination transitions in highly charged krypton ions

abstract: We report linear polarization measurements of x rays emitted due to dielectronic recombination into highly charged krypton ions. The ions in the He-like through O-like charge states were populated in an electron beam ion trap with the electron beam energy adjusted to recombination resonances in order to produce $K\alpha$ x rays. The x rays were detected with a newly developed Compton polarimeter using a beryllium scattering target and 12 silicon x-ray detector diodes sampling the azimuthal distribution of the scattered x rays. The extracted degrees of linear polarization of several dielectronic recombination transitions agree with results of relativistic distorted--wave calculations. We also demonstrate a high sensitivity of the polarization to the Breit interaction, which is remarkable for a medium-$Z$ element like krypton. The experimental results can be used for polarization diagnostics of hot astrophysical and laboratory fusion plasmas.

categories: physics.atom-ph astro-ph.IM physics.ins-det physics.plasm-ph


title: Local chiral potentials and the structure of light nuclei

abstract: We present fully local versions of the minimally non-local nucleon-nucleon potentials constructed in a previous paper [M.\ Piarulli {\it et al.}, Phys.\ Rev.\ C {\bf 91}, 024003 (2015)], and use them in hypersperical-harmonics and quantum Monte Carlo calculations of ground and excited states of $^3$H, $^3$He, $^4$He, $^6$He, and $^6$Li nuclei. The long-range part of these local potentials includes one- and two-pion exchange contributions without and with $\Delta$-isobars in the intermediate states up to order $Q^3$ ($Q$ denotes generically the low momentum scale) in the chiral expansion, while the short-range part consists of contact interactions up to order $Q^4$. The low-energy constants multiplying these contact interactions are fitted to the 2013 Granada database in two different ranges of laboratory energies, either 0--125 MeV or 0--200 MeV, and to the deuteron binding energy and $nn$ singlet scattering length. Fits to these data are performed for three models characterized by long- and short-range cutoffs, $R_{\rm L}$ and $R_{\rm S}$ respectively, ranging from $(R_{\rm L},R_{\rm S})=(1.2,0.8)$ fm down to $(0.8,0.6)$ fm. The long-range (short-range) cutoff regularizes the one- and two-pion exchange (contact) part of the potential.


title: Excess of genomic defects in a woolly mammoth on Wrangel island

abstract: Woolly mammoths (Mammuthus primigenius) populated Siberia, Beringia, and North America during the Pleistocene and early Holocene. Recent breakthroughs in ancient DNA sequencing have allowed for complete genome sequencing for two specimens of woolly mammoths (Palkopoulou et al. 2015). One mammoth specimen is from a mainland population ~45,000 years ago when mammoths were plentiful. The second, a 4300 yr old specimen, is derived from an isolated population on Wrangel island where mammoths subsisted with small effective population size more than 43-fold lower than previous populations. These extreme differences in effective population size offer a rare opportunity to test nearly neutral models of genome architecture evolution within a single species. Using these previously published mammoth sequences, we identify deletions, retrogenes, and non-functionalizing point mutations. In the Wrangel island mammoth, we identify a greater number of deletions, a larger proportion of deletions affecting gene sequences, a greater number of candidate retrogenes, and an increased number of premature stop codons. This accumulation of detrimental mutations is consistent with genomic meltdown in response to low effective population sizes in the dwindling mammoth population on Wrangel island. In addition, we observe high rates of loss of olfactory receptors and urinary proteins, either because these loci are non-essential or because they were favored by divergent selective pressures in island environments. Finally, at the locus of FOXQ1 we observe two independent loss-of-function mutations, which would confer a satin coat phenotype in this island woolly mammoth.


title: Bypassing slip velocity: rotational and translational velocities of autophoretic colloids in terms of surface flux

abstract: A standard approach to propulsion velocities of autophoretic colloids with thin interaction layers uses a reciprocity relation applied to the slip velocity. But the surface flux (chemical, electrical, thermal, etc.), which is the source of the field driving the slip is often more accessible. We show how, under conditions of low Reynolds number and a field obeying the Laplace equation in the outer region, the slip velocity can be bypassed in velocity calculations. In a sense, the actual slip velocity and a normal field proportional to the flux density are equivalent for this type of calculation. Using known results for surface traction induced by rotating or translating an inert particle in a quiescent fluid, we derive simple and explicit integral formulas for translational and rotational velocities of arbitrary spheroidal and slender-body autophoretic colloids.


title: Asymptotic behavior of impurity-induced bound states in low-dimensional topological superconductors

abstract: We study theoretically the asymptotic behavior of the Shiba bound states associated with magnetic impurities embedded in both 2D and 1D anomalous superconductors. We calculate analytically the spatial dependence of the local density of states together with the spin polarization associated with the Shiba bound states. We show that the latter quantity exhibits drastic differences between s-wave and different types of p-wave superconductors. Such properties, which could be measured using spin-polarized STM, offer therefore a way to discriminate between singlet and triplet pairing in low-dimensional superconductors, as well as a way to estimate the amplitude of the triplet pairing in these systems.


title: Optimal Storage Aware Caching Policies for Content-Centric Clouds

abstract: Caches in Content-Centric Networks (CCN) are increasingly adopting flash memory based storage. The current flash cache technology stores all files with the largest possible expiry date, i.e. the files are written in the memory so that they are retained for as long as possible. This, however, does not leverage the CCN data characteristics where content is typically short-lived and has a distinct popularity profile. Writing files in a cache using the longest retention time damages the memory device thus reducing its lifetime. However, writing using a small retention time can increase the content retrieval delay, since, at the time a file is requested, the file may already have been expired from the memory. This motivates us to consider a joint optimization wherein we obtain optimal policies for jointly minimizing the content retrieval delay (which is a network-centric objective) and the flash damage (which is a device-centric objective). Caching decisions now not only involve what to cache but also for how long to cache each file. We design provably optimal policies and numerically compare them against prior policies.


title: A note on stochastic Fubini's theorem and stochastic convolution

abstract: We provide a version of the stochastic Fubini's theorem which does not depend on the particular stochastic integrator chosen as far as the stochastic integration is built as a continuous linear operator from an $L^p$ space of Banach space-valued processes (the stochastically integrable processes) to an $L^p$ space of Banach space-valued paths (the integrated processes). Then, for integrators on a Hilbert space $H$, we consider stochastic convolutions with respect to a strongly continuous map $R:(0,T]\rightarrow L(H)$, not necessarily a semigroup. We prove existence of predictable versions of stochastic convolutions and we characterize the measurability needed by operator-valued processes in order to be convoluted with $R$. Finally, when $R$ is a $C_0$-semigroup and the stochastic integral provides continuous paths, we show existence of a continuous version of the convolution, by adapting the factorization method to the present setting.


title: Factorising the 3D Topologically Twisted Index

abstract: We explore the path integration -- upon the contour of hermitian (non-auxliary) field configurations -- of topologically twisted $\mathcal{N}=2$ Chern-Simons-matter theory (TTCSM) on $\mathbb{S}_2$ times a segment. In this way, we obtain the formula for the 3D topologically twisted index, first as a convolution of TTCSM on $\mathbb{S}_2$ times halves of $\mathbb{S}_1$, second as TTCSM on $\mathbb{S}_2$ times $\mathbb{S}_1$ -- with a puncture --, and third as TTCSM on $\mathbb{S}_2 \times \mathbb{S}_1$. In contradistinction to the first two cases, in the third case, the vector multiplet auxiliary field $D$ is constrained to be anti-hermitian.


title: Power-free values of polynomials on symmetric varieties

abstract: Given a symmetric variety Y defined over the rationals and a non-zero polynomial with integer coefficients, we use techniques from homogeneous dynamics to establish conditions under which the polynomial can be made r-free for a Zariski dense set of integral points on Y. We also establish an asymptotic counting formula for this set. In the special case that Y is a quadric hypersurface, we give explicit bounds on the size of r by combining the argument with a uniform upper bound for the density of integral points on general affine quadrics.


title: Twitter as a Source of Global Mobility Patterns for Social Good

abstract: Data on human spatial distribution and movement is essential for understanding and analyzing social systems. However existing sources for this data are lacking in various ways; difficult to access, biased, have poor geographical or temporal resolution, or are significantly delayed. In this paper, we describe how geolocation data from Twitter can be used to estimate global mobility patterns and address these shortcomings. These findings will inform how this novel data source can be harnessed to address humanitarian and development efforts.


title: Two-loop Bhabha Scattering at High Energy beyond Leading Power Approximation

abstract: We evaluate the two-loop ${\cal O}(m_e^2/s)$ contribution to the wide-angle high-energy electron-positron scattering in the double-logarithmic approximation. The origin and the general structure of the power-suppressed double logarithmic corrections are discussed in detail.


title: Domains and ferroelectric switching pathways in Ca$_3$Ti$_2$O$_7$ from first principles

abstract: Hybrid improper ferroelectricity, where an electrical polarization can be induced via a trilinear coupling to two non-polar structural distortions of different symmetry, has recently been experimentally demonstrated for the first time in the $n$=2 Ruddlesden-Popper compound Ca$_3$Ti$_2$O$_7$. In this paper we use group theoretic methods and first-principles calculations to identify possible ferroelectric switching pathways in Ca$_3$Ti$_2$O$_7$. We identify low-energy paths that reverse the polarization direction by switching via an orthorhombic twin domain, or via an antipolar structure. We also introduce a chemically intuitive set of local order parameters to give insight into how these paths are relevant to switching nucleated at domain walls. Our findings suggest that switching may proceed via more than one mechanism in this material.


title: On nonequivalence of regular boundary points for second-order elliptic operators

abstract: In this paper we present examples of nondivergence form second order elliptic operators with continuous coefficients such that $L$ has an irregular boundary point that is regular for the Laplacian. Also for any eigenvalue spread <1 of the matrix of the coefficients we provide an example of operator with discontinuous coefficients that has regular boundary points nonequivalent to Laplacian's (we give examples for each direction of nonequivalence). All examples are constructed for each dimension starting with 3.


title: Comparing the suitability of Lithium ion, Lithium Sulfur and Lithium air batteries for current and future vehicular applications

abstract: In this report, future performance demands of batteries for various vehicular applications are modeled. Vehicles ranging in size from electric bikes to heavy trucks are assessed using driving cycle data which allows key performance parameters such as desired range (km), specific energy of the battery (Wh/Kg), cycle life requirement and expected price per unit capacity (Euro/kWh) to be calculated. These projected performance requirements are compared with the outputs for three existing Li-ion batteries (namely (a) Kokam based high specific energy source (b) A123 based high power energy source and (c) Winston low cost system). The theoretical, current state of the art and projected performance parameters for 'beyond Li-ion' technologies (Li-S and Li-O2) are also compared to the modeled battery performance demands. The analysis indicates that current battery technologies are unlikely to meet future requirements in terms of required specific energies and will likely be too costly. In comparison, fully realized beyond Li-ion alternatives may deliver the required specific energy for the full range of vehicles examined. However, scale-up of these systems is a daunting challenge and their successful implementation will depend on improvements in terms of cycle life, electrode and electrolyte stability, rate performance and development of practical battery architectures.


title: Aspects of perturbative unitarity

abstract: We reconsider perturbative unitarity in quantum field theory and upgrade several arguments and results. The minimum assumptions that lead to the largest time equation, the cutting equations and the unitarity equation are identified. Using this knowledge and a special gauge, we give a new, simpler proof of perturbative unitarity in gauge theories and generalize it to quantum gravity, in four and higher dimensions. The special gauge interpolates between the Feynman gauge and the Coulomb gauge without double poles. When the Coulomb limit is approached, the unphysical particles drop out of the cuts and the cutting equations are consistently projected onto the physical subspace. The proof does not extend to nonlocal quantum field theories of gauge fields and gravity, whose unitarity remains uncertain.


title: Integrability of motion around galactic razor-thin disks

abstract: We consider the three-dimensional bounded motion of a test particle around razor-thin disk configurations, by focusing on the adiabatic invariance of the vertical action associated with disk-crossing orbits. We find that it leads to an approximate third integral of motion predicting envelopes of the form $Z(R)\propto[\Sigma(R)]^{-1/3}$, where $R$ is the radial galactocentric coordinate, $Z$ is the z-amplitude (vertical amplitude) of the orbit and $\Sigma$ represents the surface mass density of the thin disk. This third integral, which was previously formulated for the case of flattened 3D configurations, is tested for a variety of trajectories in different thin-disk models.


title: Chemical freeze-out conditions in hadron resonance gas

abstract: The hadron resonance gas model with hadron-type dependent eigenvolume corrections is employed to fit the hadron yield data of the NA49 collaboration for central Pb+Pb collisions at the c.m. energy per nucleon pair Ecm=6.3, 7.6, 8.8, 12.3, and 17.3 GeV, the hadron midrapidity yield data of the STAR collaboration for Au+Au collisions at Ecm=200 GeV, and the hadron midrapidity yield data of the ALICE collaboration for Pb+Pb collisions at Ecm=2760 GeV. The influence of the eigenvolume corrections is studied.


title: Geometric MCMC for Infinite-Dimensional Inverse Problems

abstract: Bayesian inverse problems often involve sampling posterior distributions on infinite-dimensional function spaces. Traditional Markov chain Monte Carlo (MCMC) algorithms are characterized by deteriorating mixing times upon mesh-refinement, when the finite-dimensional approximations become more accurate. Such methods are typically forced to reduce step-sizes as the discretization gets finer, and thus are expensive as a function of dimension. Recently, a new class of MCMC methods with mesh-independent convergence times has emerged. However, few of them take into account the geometry of the posterior informed by the data. At the same time, recently developed geometric MCMC algorithms have been found to be powerful in exploring complicated distributions that deviate significantly from elliptic Gaussian laws, but are in general computationally intractable for models defined in infinite dimensions. In this work, we combine geometric methods on a finite-dimensional subspace with mesh-independent infinite-dimensional approaches. Our objective is to speed up MCMC mixing times, without significantly increasing the computational cost per step (for instance, in comparison with the vanilla preconditioned Crank-Nicolson (pCN) method). This is achieved by using ideas from geometric MCMC to probe the complex structure of an intrinsic finite-dimensional subspace where most data information concentrates, while retaining robust mixing times as the dimension grows by using pCN-like methods in the complementary subspace. The resulting algorithms are demonstrated in the context of three challenging inverse problems arising in subsurface flow, heat conduction and incompressible flow control. The algorithms exhibit up to two orders of magnitude improvement in sampling efficiency when compared with the pCN method.


title: Visualizing textual models with in-text and word-as-pixel highlighting

abstract: We explore two techniques which use color to make sense of statistical text models. One method uses in-text annotations to illustrate a model's view of particular tokens in particular documents. Another uses a high-level, "words-as-pixels" graphic to display an entire corpus. Together, these methods offer both zoomed-in and zoomed-out perspectives into a model's understanding of text. We show how these interconnected methods help diagnose a classifier's poor performance on Twitter slang, and make sense of a topic model on historical political texts.


title: Scott sentences for certain groups

abstract: We give Scott sentences for certain computable groups, and we use index set calculations as a way of checking that our Scott sentences are as simple as possible. We consider finitely generated groups and torsion-free abelian groups of finite rank. For both kinds of groups, the computable ones all have computable $\Sigma_3$ Scott sentences. Sometimes we can do better. In fact, the computable finitely generated groups that we have studied all have Scott sentences that are "computable $d$-$\Sigma_2$" (the conjunction of a computable $\Sigma_2$ sentence and a computable $\Pi_2$ sentence). This was already shown for the finitely generated free groups. Here we show it for all finitely generated abelian groups, and for the infinite dihedral group. Among the computable torsion-free abelian groups of finite rank, we focus on those of rank $1$. These are exactly the additive subgroups of $\mathbb{Q}$. We show that for some of these groups, the computable $\Sigma_3$ Scott sentence is best possible, while for others, there is a computable $d$-$\Sigma_2$ Scott sentence.


title: Multiple Instance Hyperspectral Target Characterization

abstract: In this paper, two methods for multiple instance target characterization, MI-SMF and MI-ACE, are presented. MI-SMF and MI-ACE estimate a discriminative target signature from imprecisely-labeled and mixed training data. In many applications, such as sub-pixel target detection in remotely-sensed hyperspectral imagery, accurate pixel-level labels on training data is often unavailable and infeasible to obtain. Furthermore, since sub-pixel targets are smaller in size than the resolution of a single pixel, training data is comprised only of mixed data points (in which target training points are mixtures of responses from both target and non-target classes). Results show improved, consistent performance over existing multiple instance concept learning methods on several hyperspectral sub-pixel target detection problems.


title: A Hierarchical Reinforcement Learning Method for Persistent Time-Sensitive Tasks

abstract: Reinforcement learning has been applied to many interesting problems such as the famous TD-gammon and the inverted helicopter flight. However, little effort has been put into developing methods to learn policies for complex persistent tasks and tasks that are time-sensitive. In this paper, we take a step towards solving this problem by using signal temporal logic (STL) as task specification, and taking advantage of the temporal abstraction feature that the options framework provide. We show via simulation that a relatively easy to implement algorithm that combines STL and options can learn a satisfactory policy with a small number of training cases


title: Bots, #StrongerIn, and #Brexit: Computational Propaganda during the UK-EU Referendum

abstract: Bots are social media accounts that automate interaction with other users, and they are active on the StrongerIn-Brexit conversation happening over Twitter. These automated scripts generate content through these platforms and then interact with people. Political bots are automated accounts that are particularly active on public policy issues, elections, and political crises. In this preliminary study on the use of political bots during the UK referendum on EU membership, we analyze the tweeting patterns for both human users and bots. We find that political bots have a small but strategic role in the referendum conversations: (1) the family of hashtags associated with the argument for leaving the EU dominates, (2) different perspectives on the issue utilize different levels of automation, and (3) less than 1 percent of sampled accounts generate almost a third of all the messages.


title: Complex Embeddings for Simple Link Prediction

abstract: In statistical relational learning, the link prediction problem is key to automatically understand the structure of large knowledge bases. As in previous studies, we propose to solve this problem through latent factorization. However, here we make use of complex valued embeddings. The composition of complex embeddings can handle a large variety of binary relations, among them symmetric and antisymmetric relations. Compared to state-of-the-art models such as Neural Tensor Network and Holographic Embeddings, our approach based on complex embeddings is arguably simpler, as it only uses the Hermitian dot product, the complex counterpart of the standard dot product between real vectors. Our approach is scalable to large datasets as it remains linear in both space and time, while consistently outperforming alternative approaches on standard link prediction benchmarks.


title: High Resolution Nonperturbative Light-Front Simulations of the True Muonium Atom

abstract: Through the development of a parallel code called TMSWIFT, an extensive light-front quantization study of the nonperturbative spectrum of the bound state $(\mu^+\mu^-)$, true muonium, has been performed. Using Pad\'{e} approximants, it has been possible to extract continuum and infinite-cutoff limits for the singlet and triplet states for a range of values of the coupling constant $\alpha$. This data set allows for an investigation of the $\alpha$ dependence of the light-front spectra, the results of which are compared to standard calculations. Decay constants have also been obtained. Improved calculations have been undertaken for the energy shifts due to the presence of a second, lighter flavor ($e$). Finally, initial results for three-flavor ($e$, $\mu$, $\tau$) calculations are presented.


title: Boundary-induced dynamics in 1D topological systems and memory effects of edge modes

abstract: Dynamics induced by a change of boundary conditions reveals rate-dependent signatures associated with topological properties in one-dimensional Kitaev chain and SSH model. While the perturbation from a change of the boundary propagates into the bulk, the density of topological edge modes in the case of transforming to open boundary condition reaches steady states. The steady-state density depends on the transformation rate of the boundary and serves as an illustration of quantum memory effects in topological systems. Moreover, while a link is physically broken as the boundary condition changes, some correlation functions can remain finite across the broken link and keep a record of the initial condition. By testing those phenomena in the non-topological regimes of the two models, none of the interesting signatures of memory effects can be observed. Our results thus contrast the importance of topological properties in boundary-induced dynamics.


title: Twisted Alexander polynomials of hyperbolic links

abstract: In this paper we apply the twisted Alexander polynomial to study the fibering and genus detecting problems for oriented links. In particular we generalize a conjecture of Dunfield, Friedl and Jackson on the torsion polynomial of hyperbolic knots to hyperbolic links, and confirm it for an infinite family of hyperbolic 2-bridge links. Moreover we consider a similar problem for parabolic representations of 2-bridge link groups.


title: A Probabilistic Generative Grammar for Semantic Parsing

abstract: Domain-general semantic parsing is a long-standing goal in natural language processing, where the semantic parser is capable of robustly parsing sentences from domains outside of which it was trained. Current approaches largely rely on additional supervision from new domains in order to generalize to those domains. We present a generative model of natural language utterances and logical forms and demonstrate its application to semantic parsing. Our approach relies on domain-independent supervision to generalize to new domains. We derive and implement efficient algorithms for training, parsing, and sentence generation. The work relies on a novel application of hierarchical Dirichlet processes (HDPs) for structured prediction, which we also present in this manuscript. This manuscript is an excerpt of chapter 4 from the Ph.D. thesis of Saparov (2022), where the model plays a central role in a larger natural language understanding system. This manuscript provides a new simplified and more complete presentation of the work first introduced in Saparov, Saraswat, and Mitchell (2017). The description and proofs of correctness of the training algorithm, parsing algorithm, and sentence generation algorithm are much simplified in this new presentation. We also describe the novel application of hierarchical Dirichlet processes for structured prediction. In addition, we extend the earlier work with a new model of word morphology, which utilizes the comprehensive morphological data from Wiktionary.


title: Rational torsion on the generalized Jacobian of a modular curve with cuspidal modulus

abstract: We consider the generalized Jacobian $\widetilde{J}_0(N)$ of a modular curve $X_0(N)$ with respect to a reduced divisor given by the sum of all cusps on it. When $N$ is a power of a prime $\geq 5$, we exhibit that the group of rational torsion points $\widetilde{J}_0(N)(\mathbb{Q})_{\mathrm{Tor}}$ tends to be much smaller than the classical Jacobian.


title: In situ AFM Observations of Li-Oxygen Electrochemical Reactions

abstract: The morphologies of crystalline lithium peroxide (Li2O2) discharge products in Li-O2 batteries have been shown to exhibit a dependency on subtle variations within the battery cell-operating environment including exposure to ambient air, moisture, or additives. As a result, imaging battery discharge products in real time under carefully controlled environmental conditions is a challenging obstacle for complete mechanistic understanding of Li2O2 growth and deposition during discharge in metal-air batteries. Here, we report the design of a completely enclosed cell for high-resolution in situ AFM imaging of Li-O2 battery discharge products. The air-and moisture-free electrochemical cell environment enabled the observation of different product morphologies during AFM imaging when LiTFSI in oxygen-saturated tetraethylene glycol dimethyl ether (tetraglyme) solvent was employed. This in situ AFM cell development brings complimentary information to various proposed mechanisms for lithium oxygen reaction.


title: Predicting Student Dropout in Higher Education

abstract: Each year, roughly 30% of first-year students at US baccalaureate institutions do not return for their second year and over $9 billion is spent educating these students. Yet, little quantitative research has analyzed the causes and possible remedies for student attrition. Here, we describe initial efforts to model student dropout using the largest known dataset on higher education attrition, which tracks over 32,500 students' demographics and transcript records at one of the nation's largest public universities. Our results highlight several early indicators of student attrition and show that dropout can be accurately predicted even when predictions are based on a single term of academic transcript data. These results highlight the potential for machine learning to have an impact on student retention and success while pointing to several promising directions for future work.


title: Physics of the Bacon Internal Resonator Banjo

abstract: The internal resonator banjo, patented and first sold by Fred Bacon around 1906, remains something of a cult favorite and is still produced by some independent luthiers. According to enthusiasts, the characteristic design elements produce a sound that is mellower, richer, and of greater complexity and presence than without them. Aspects of that sound are studied here, comparing instruments that are otherwise identical and identifying physics mechanisms that are likely responsible.


title: FSMJ: Feature Selection with Maximum Jensen-Shannon Divergence for Text Categorization

abstract: In this paper, we present a new wrapper feature selection approach based on Jensen-Shannon (JS) divergence, termed feature selection with maximum JS-divergence (FSMJ), for text categorization. Unlike most existing feature selection approaches, the proposed FSMJ approach is based on real-valued features which provide more information for discrimination than binary-valued features used in conventional approaches. We show that the FSMJ is a greedy approach and the JS-divergence monotonically increases when more features are selected. We conduct several experiments on real-life data sets, compared with the state-of-the-art feature selection approaches for text categorization. The superior performance of the proposed FSMJ approach demonstrates its effectiveness and further indicates its wide potential applications on data mining.


title: Will Kinematic Sunyaev-Zel'dovich Measurements Enhance the Science Return from Galaxy Redshift Surveys?

abstract: Yes. Future CMB experiments such as Advanced ACTPol and CMB-S4 should achieve measurements with S/N of $> 0.1$ for the typical galaxies in redshift surveys. These measurements will provide complementary measurements of the growth rate of large scale structure $f$ and the expansion rate of the Universe $H$ to galaxy clustering measurements. This paper emphasizes that there is significant information in the anisotropy of the relative pairwise kSZ measurements. We expand the relative pairwise kSZ power spectrum in Legendre polynomials and consider up to its octopole. Assuming that the noise in the filtered maps is uncorrelated between the positions of galaxies in the survey, we derive a simple analytic form for the power spectrum covariance of the relative pairwise kSZ temperature in redshift space. While many previous studies have assumed optimistically that the optical depth of the galaxies $\tau_{\rm T}$ in the survey is known, we marginalize over $\tau_{\rm T}$, to compute constraints on the growth rate $f$ and the expansion rate $H$. For realistic sure parameters, we find that combining kSZ and galaxy redshift survey data reduces the marginalized $1$-$\sigma$ errors on $H$ and $f$ by $\sim50$-$70\%$ compared to the galaxy-only analysis.


title: Unanimous Prediction for 100% Precision with Application to Learning Semantic Mappings

abstract: Can we train a system that, on any new input, either says "don't know" or makes a prediction that is guaranteed to be correct? We answer the question in the affirmative provided our model family is well-specified. Specifically, we introduce the unanimity principle: only predict when all models consistent with the training data predict the same output. We operationalize this principle for semantic parsing, the task of mapping utterances to logical forms. We develop a simple, efficient method that reasons over the infinite set of all consistent models by only checking two of the models. We prove that our method obtains 100% precision even with a modest amount of training data from a possibly adversarial distribution. Empirically, we demonstrate the effectiveness of our approach on the standard GeoQuery dataset.


title: Contextual Weisfeiler-Lehman Graph Kernel For Malware Detection

abstract: In this paper, we propose a novel graph kernel specifically to address a challenging problem in the field of cyber-security, namely, malware detection. Previous research has revealed the following: (1) Graph representations of programs are ideally suited for malware detection as they are robust against several attacks, (2) Besides capturing topological neighbourhoods (i.e., structural information) from these graphs it is important to capture the context under which the neighbourhoods are reachable to accurately detect malicious neighbourhoods. We observe that state-of-the-art graph kernels, such as Weisfeiler-Lehman kernel (WLK) capture the structural information well but fail to capture contextual information. To address this, we develop the Contextual Weisfeiler-Lehman kernel (CWLK) which is capable of capturing both these types of information. We show that for the malware detection problem, CWLK is more expressive and hence more accurate than WLK while maintaining comparable efficiency. Through our large-scale experiments with more than 50,000 real-world Android apps, we demonstrate that CWLK outperforms two state-of-the-art graph kernels (including WLK) and three malware detection techniques by more than 5.27% and 4.87% F-measure, respectively, while maintaining high efficiency. This high accuracy and efficiency make CWLK suitable for large-scale real-world malware detection.


title: Independence and matching numbers of some token graphs

abstract: Let $G$ be a graph of order $n$ and let $k\in\{1,\ldots,n-1\}$. The $k$-token graph $F_k(G)$ of $G$, is the graph whose vertices are the $k$-subsets of $V(G)$, where two vertices are adjacent in $F_k(G)$ whenever their symmetric difference is an edge of $G$. We study the independence and matching numbers of $F_k(G)$. We present a tight lower bound for the matching number of $F_k(G)$ for the case in which $G$ has either a perfect matching or an almost perfect matching. Also, we estimate the independence number for bipartite $k$-token graphs, and determine the exact value for some graphs.


title: Inverse source problem for time fractional diffusion with discrete random noise

abstract: In this paper, we deal with the inverse source problem of determining a source in a time fractional diffusion equation where data are given at a fixed time. This problem is ill-posed, i.e., the solution does not depend continuously on the data. To regularize the instable solution, we use the trigonometric method in nonparametric regression associated with the truncated expansion method. We also investigate the convergence rate.


title: Neutrino masses from a pseudo-Dirac Bino

abstract: We show that, in $U(1)_R$-symmetric supersymmetric models, the bino and its Dirac partner (the singlino) can play the role of right-handed neutrinos and generate the neutrino masses and mixing, without the need for traditional bilinear or trilinear R-parity violating operators. The two particles form a pseudo-Dirac pair, the `bi$\nu$o'. An Inverse Seesaw texture is generated for the neutrino-bi$\nu$o sector, and the lightest neutrino is predicted to be massless. Unlike in most models with heavy right-handed neutrinos, the bi$\nu$o can be sizably produced at the LHC through its interactions with colored particles, while respecting low energy constraints from neutrinoless double-beta decay and charged lepton flavor violation.


title: Decay and Eigenvalue Problems in Isotropic Turbulence

abstract: Based on the Karman-Howarth equation in 3D incompressible fluid, a new isotropic turbulence scale evolution equation and its related theory progress. The present results indicate that the energy cascading process has remarkable similarities with the determinisitic construction rules of the isotonic oscillators in quantum mechanics.


title: An Empirical Approach to Cosmological Galaxy Survey Simulation: Application to SPHEREx Low-Resolution Spectroscopy

abstract: Highly accurate models of the galaxy population over cosmological volumes are necessary in order to predict the performance of upcoming cosmological missions. We present a data-driven model of the galaxy population constrained by deep 0.1-8 $\rm \mu m$ imaging and spectroscopic data in the COSMOS survey, with the immediate goal of simulating the spectroscopic redshift performance of the proposed SPHEREx mission. SPHEREx will obtain over the full-sky $R\sim41$ spectrophotometry at moderate spatial resolution ($\sim6"$) over the wavelength range 0.75-4.18 $\rm \mu m$ and $R\sim135$ over the wavelength range 4.18-5 $\rm \mu m$. We show that our simulation accurately reproduces a range of known galaxy properties, encapsulating the full complexity of the galaxy population and enables realistic, full end-to-end simulations to predict mission performance. Finally, we discuss potential applications of the simulation framework to future cosmology missions and give a description of released data products.


title: Diphotons at the $Z$-pole in Models of the 750 GeV Resonance Decaying to Axion-Like Particles

abstract: Models in which the 750 GeV resonance ($S$) decays to two light axion-like particles (ALPs $a$), which in turn decay to collimated photons mimicking the observed signal, are motivated by Hidden Valley scenarios and could also provide a mechanism by which a $S \to \gamma \gamma$ signal persists while $S \to Z \gamma,\; ZZ$ and $WW$ remain subdued in the near future. We point out that these Hidden Valley like models invoking $S \to aa \to 4 \gamma$ must also contend with $Z \to a (\to \gamma \gamma) \gamma$ constraints coming from CDF and ATLAS. Within an effective field theory framework, we work out the constraints on the couplings of $S$ to $a$ and gauge bosons coming from photonic $Z$ decays and ensuring that the ALPs decay inside the electromagnetic calorimeter, in two regimes - where $a$ decays primarily to photons, and where $a$ also has hadronic branchings. The analysis is done for both when $S$ has a large as well as a narrow width, and for different relative contributions to the signal coming from $S \to \gamma \gamma$ and $a \to \gamma \gamma$. Results for the particular case where $S$ and $a$ belong to the same complex field are also presented. A $\gamma\gamma$ resonance at the $Z$-pole coming from $Z \to a \gamma$ is expected in this class of models. Taking benchmark ALP masses below around 0.4 GeV and, assuming reasonable values for the fake jet rate and the identification efficiency of the photon-jet, we find the prospects for the discovery of diphotons at the $Z$-pole.


title: A verified abstract machine for functional coroutines

abstract: Functional coroutines are a restricted form of control mechanism, where each coroutine is represented with both a continuation and an environment. This restriction was originally obtained by considering a constructive version of Parigot's classical natural deduction which is sound and complete for the Constant Domain logic. In this article, we present a refinement of de Groote's abstract machine for functional coroutines and we prove its correctness. Therefore, this abstract machine also provides a direct computational interpretation of the Constant Domain logic.


title: Kernel-based Generative Learning in Distortion Feature Space

abstract: This paper presents a novel kernel-based generative classifier which is defined in a distortion subspace using polynomial series expansion, named Kernel-Distortion (KD) classifier. An iterative kernel selection algorithm is developed to steadily improve classification performance by repeatedly removing and adding kernels. The experimental results on character recognition application not only show that the proposed generative classifier performs better than many existing classifiers, but also illustrate that it has different recognition capability compared to the state-of-the-art discriminative classifier - deep belief network. The recognition diversity indicates that a hybrid combination of the proposed generative classifier and the discriminative classifier could further improve the classification performance. Two hybrid combination methods, cascading and stacking, have been implemented to verify the diversity and the improvement of the proposed classifier.


title: First Class Call Stacks: Exploring Head Reduction

abstract: Weak-head normalization is inconsistent with functional extensionality in the call-by-name $\lambda$-calculus. We explore this problem from a new angle via the conflict between extensionality and effects. Leveraging ideas from work on the $\lambda$-calculus with control, we derive and justify alternative operational semantics and a sequence of abstract machines for performing head reduction. Head reduction avoids the problems with weak-head reduction and extensionality, while our operational semantics and associated abstract machines show us how to retain weak-head reduction's ease of implementation.


title: Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators

abstract: The salient feature of delimited-control operators is their ability to modify answer types during computation. The feature, answer-type modification (ATM for short), allows one to express various interesting programs such as typed printf compactly and nicely, while it makes it difficult to embed these operators in standard functional languages. In this paper, we present a typed translation of delimited-control operators shift and reset with ATM into a familiar language with multi-prompt shift and reset without ATM, which lets us use ATM in standard languages without modifying the type system. Our translation generalizes Kiselyov's direct-style implementation of typed printf, which uses two prompts to emulate the modification of answer types, and passes them during computation. We prove that our translation preserves typing. As the naive prompt-passing style translation generates and passes many prompts even for pure terms, we show an optimized translation that generate prompts only when needed, which is also type-preserving. Finally, we give an implementation in the tagless-final style which respects typing by construction.


title: From Push/Enter to Eval/Apply by Program Transformation

abstract: Push/enter and eval/apply are two calling conventions used in implementations of functional languages. In this paper, we explore the following observation: when considering functions with multiple arguments, the stack under the push/enter and eval/apply conventions behaves similarly to two particular implementations of the list datatype: the regular cons-list and a form of lists with lazy concatenation respectively. Along the lines of Danvy et al.'s functional correspondence between definitional interpreters and abstract machines, we use this observation to transform an abstract machine that implements push/enter into an abstract machine that implements eval/apply. We show that our method is flexible enough to transform the push/enter Spineless Tagless G-machine (which is the semantic core of the GHC Haskell compiler) into its eval/apply variant.


title: A Modular Structural Operational Semantics for Delimited Continuations

abstract: It has been an open question as to whether the Modular Structural Operational Semantics framework can express the dynamic semantics of call/cc. This paper shows that it can, and furthermore, demonstrates that it can express the more general delimited control operators control and shift.


title: Command injection attacks, continuations, and the Lambek calculus

abstract: This paper shows connections between command injection attacks, continuations, and the Lambek calculus: certain command injections, such as the tautology attack on SQL, are shown to be a form of control effect that can be typed using the Lambek calculus, generalizing the double-negation typing of continuations. Lambek's syntactic calculus is a logic with two implicational connectives taking their arguments from the left and right, respectively. These connectives describe how strings interact with their left and right contexts when building up syntactic structures. The calculus is a form of propositional logic without structural rules, and so a forerunner of substructural logics like Linear Logic and Separation Logic.


title: A singular Lambert-W Schr\"odinger potential exactly solvable in terms of the confluent hypergeometric functions

abstract: We introduce two potentials explicitly given by the Lambert-W function for which the exact solution of the one-dimensional stationary Schr\"odinger equation is written through the first derivative of a double-confluent Heun function. One of these potentials is a singular potential that behaves as the inverse square root in the vicinity of the origin and vanishes exponentially at the infinity. The exact solution of the Schr\"odinger equation for this potential is given through fundamental solutions each of which presents an irreducible linear combination of two confluent hypergeometric functions. Since the potential is effectively a short-range one it supports only a finite number of bound states.


title: On the Herbrand content of LK

abstract: We present a structural representation of the Herbrand content of LK-proofs with cuts of complexity prenex Sigma-2/Pi-2. The representation takes the form of a typed non-deterministic tree grammar of order 2 which generates a finite language of first-order terms that appear in the Herbrand expansions obtained through cut-elimination. In particular, for every Gentzen-style reduction between LK-proofs we study the induced grammars and classify the cases in which language equality and inclusion hold.


title: Denotational Semantics of the Simplified Lambda-Mu Calculus and a New Deduction System of Classical Type Theory

abstract: Classical (or Boolean) type theory is the type theory that allows the type inference $\sigma \to \bot) \to \bot => \sigma$ (the type counterpart of double-negation elimination), where $\sigma$ is any type and $\bot$ is absurdity type. This paper first presents a denotational semantics for a simplified version of Parigot's lambda-mu calculus, a premier example of classical type theory. In this semantics the domain of each type is divided into infinitely many ranks and contains not only the usual members of the type at rank 0 but also their negative, conjunctive, and disjunctive shadows in the higher ranks, which form an infinitely nested Boolean structure. Absurdity type $\bot$ is identified as the type of truth values. The paper then presents a new deduction system of classical type theory, a sequent calculus called the classical type system (CTS), which involves the standard logical operators such as negation, conjunction, and disjunction and thus reflects the discussed semantic structure in a more straightforward fashion.


title: The computational content of Nonstandard Analysis

abstract: Kohlenbach's proof mining program deals with the extraction of effective information from typically ineffective proofs. Proof mining has its roots in Kreisel's pioneering work on the so-called unwinding of proofs. The proof mining of classical mathematics is rather restricted in scope due to the existence of sentences without computational content which are provable from the law of excluded middle and which involve only two quantifier alternations. By contrast, we show that the proof mining of classical Nonstandard Analysis has a very large scope. In particular, we will observe that this scope includes any theorem of pure Nonstandard Analysis, where `pure' means that only nonstandard definitions (and not the epsilon-delta kind) are used. In this note, we survey results in analysis, computability theory, and Reverse Mathematics.


title: A note on strong normalization in classical natural deduction

abstract: In the context of natural deduction for propositional classical logic, with classicality given by the inference rule reductio ad absurdum, we investigate the De Morgan translation of disjunction in terms of negation and conjunction. Once the translation is extended to proofs, it obtains a reduction of provability to provability in the disjunction-free subsystem. It is natural to ask whether a reduction is also obtained for, say, strong normalization; that is, whether strong normalization for the disjunction-free system implies the same property for the full system, and whether such lifting of the property can be done along the De Morgan translation. Although natural, these questions are neglected by the literature. We spell out the map of reduction steps induced by the De Morgan translation of proofs. But we need to "optimize" such a map in order to show that a reduction sequence in the full system from a proof determines, in a length-preserving way, a reduction sequence in the disjunction-free system from the De Morgan translation of the proof. In this sense, the above questions have a positive answer.


title: Efficient Spectral and Spectral Element Methods for Eigenvalue Problems of Schr\"{o}dinger Equations with an Inverse Square Potential

abstract: In this article, we study numerical approximation of eigenvalue problems of the Schr\"{o}dinger operator $\displaystyle -\Delta u + \frac{c^2}{|x|^2}u$. There are three stages in our investigation: We start from a ball of any dimension, in which case the exact solution in the radial direction can be expressed by Bessel functions of fractional degrees. This knowledge helps us to design two novel spectral methods by modifying the polynomial basis to fit the singularities of the eigenfunctions. At the second stage, we move to circular sectors in the two dimensional setting. Again the radial direction can be expressed by Bessel functions of fractional degrees. Only in the tangential direction some modifications are needed from stage one. At the final stage, we extend the idea to arbitrary polygonal domains. We propose a mortar spectral element approach: a polygonal domain is decomposed into several sub-domains with each singular corner including the origin covered by a circular sector, in which origin and corner singularities are handled similarly as in the former stages, and the remaining domains are either a standard quadrilateral/triangle or a quadrilateral/triangle with a circular edge, in which the traditional polynomial based spectral method is applied. All sub-domains are linked by mortar elements (note that we may have hanging nodes). In all three stages, exponential convergence rates are achieved. Numerical experiments indicate that our new methods are superior to standard polynomial based spectral (or spectral element) methods and $hp$-adaptive methods. Our study offers a new and effective way to handle eigenvalue problems of the Schr\"{o}dinger operator including the Laplacian operator on polygonal domains with reentrant corners.


title: A Linear Potential Function for Pairing Heaps

abstract: We present the first potential function for pairing heaps with linear range. This implies that the runtime of a short sequence of operations is faster than previously known. It is also simpler than the only other potential function known to give amortized constant amortized time for insertion.


title: Weights of the mod $p$ kernel of the theta operators

abstract: We give some relations between the weights and the prime $p$ of elements of the mod $p$ kernel of the generalized theta operator $\Theta ^{[j]}$. In order to construct examples of the mod $p$ kernel of $\Theta ^{[j]}$ from any modular form, we introduce new operators $A^{(j)}(M)$ and show the modularity of $F|A^{(j)}(M)$ when $F$ is a modular form. Finally, we give some examples of the mod $p$ kernel of $\Theta ^{[j]}$ and the filtrations of some of them.


title: Phase transitions and self-organized criticality in networks of stochastic spiking neurons

abstract: Phase transitions and critical behavior are crucial issues both in theoretical and experimental neuroscience. We report analytic and computational results about phase transitions and self-organized criticality (SOC) in networks with general stochastic neurons. The stochastic neuron has a firing probability given by a smooth monotonic function $\Phi(V)$ of the membrane potential $V$, rather than a sharp firing threshold. We find that such networks can operate in several dynamic regimes (phases) depending on the average synaptic weight and the shape of the firing function $\Phi$. In particular, we encounter both continuous and discontinuous phase transitions to absorbing states. At the continuous transition critical boundary, neuronal avalanches occur whose distributions of size and duration are given by power laws, as observed in biological neural networks. We also propose and test a new mechanism to produce SOC: the use of dynamic neuronal gains -- a form of short-term plasticity probably in the axon initial segment (AIS) -- instead of depressing synapses at the dendrites (as previously studied in the literature). The new self-organization mechanism produces a slightly supercritical state, that we called SOSC, in accord to some intuitions of Alan Turing.


title: Mean Curvature Flows of Graphs with Neumann Boundary condition

abstract: In this paper, we study the mean curvature flow of graphs with Neumann boundary condition. The main aim is to use the maximum principle to get the boundary gradient estimate for solutions. In particular, we obtain the corresponding existence theorem for the mean curvature flow of graphs.