title: IZI: Inferring the Gas Phase Metallicity (Z) and Ionization Parameter (q) of Ionized Nebulae using Bayesian Statistics

abstract: We present a new method for inferring the metallicity (Z) and ionization parameter (q) of HII regions and star-forming galaxies using strong nebular emission lines (SEL). We use Bayesian inference to derive the joint and marginalized posterior probability density functions for Z and q given a set of observed line fluxes and an input photo-ionization model. Our approach allows the use of arbitrary sets of SELs and the inclusion of flux upper limits. The method provides a self-consistent way of determining the physical conditions of ionized nebulae that is not tied to the arbitrary choice of a particular SEL diagnostic and uses all the available information. Unlike theoretically calibrated SEL diagnostics the method is flexible and not tied to a particular photo-ionization model. We describe our algorithm, validate it against other methods, and present a tool that implements it called IZI. Using a sample of nearby extra-galactic HII regions we assess the performance of commonly used SEL abundance diagnostics. We also use a sample of 22 local HII regions having both direct and recombination line (RL) oxygen abundance measurements in the literature to study discrepancies in the abundance scale between different methods. We find that oxygen abundances derived through Bayesian inference using currently available photo-ionization models in the literature can be in good (~30%) agreement with RL abundances, although some models perform significantly better than others. We also confirm that abundances measured using the direct method are typically 0.2 dex lower than both RL and photo-ionization model based abundances.


title: Backstepping feedback control of open channel flow

abstract: We derive a feedback control law for the control of the downstream flow in a 1-D open channel by manipulating the water flow at an upstream location. We use backstepping for controller design and Lyapunov techniques for stability analysis. Finally, the controller is verified with simulations.


title: On the exceptional generalised Lie derivative for $d\geq7$

abstract: In this work we revisit the $E_8\times\mathbb{R}^{+}$ generalised Lie derivative encoding the algebra of diffeomorphisms and gauge transformations of compactifications of M-theory on eight-dimensional manifolds, by extending certain features of the $E_7\times\mathbb{R}^{+}$ one. Compared to its $E_d\times\mathbb{R}^{+},\ d\le 7$ counterparts, a new term is needed for consistency. However, we find that no compensating parameters need to be introduced, but rather that the new term can be written in terms of the ordinary generalised gauge parameters by means of a connection. This implies that no further degrees of freedom, beyond those of the field content of the $E_{8}$ group, are needed to have a well defined theory. We discuss the implications of the structure of the $E_8\times\mathbb{R}^{+}$ generalised transformation on the construction of the $d=8$ generalised geometry. Finally, we suggest how to lift the generalised Lie derivative to eleven dimensions.


title: Detecting Structural Irregularity in Electronic Dictionaries Using Language Modeling

abstract: Dictionaries are often developed using tools that save to Extensible Markup Language (XML)-based standards. These standards often allow high-level repeating elements to represent lexical entries, and utilize descendants of these repeating elements to represent the structure within each lexical entry, in the form of an XML tree. In many cases, dictionaries are published that have errors and inconsistencies that are expensive to find manually. This paper discusses a method for dictionary writers to quickly audit structural regularity across entries in a dictionary by using statistical language modeling. The approach learns the patterns of XML nodes that could occur within an XML tree, and then calculates the probability of each XML tree in the dictionary against these patterns to look for entries that diverge from the norm.


title: Valence independent formula for the equilibrium measure

abstract: We derive a new formula for the equilibrium measure for eigenvalues of random matrices sampled from polynomial perturbations of the GUE, valid in the one-cut case. The virtue of our formula is that it depends on the potential only implicitly through the endpoints of support of the equilibrium measure. Our motivation is the problem of computing explicit formulas for generating functions which enumerate graphs embedded in a Riemann surface. To demonstrate the utility of our formula for the equilibrium measure, we derive a formula for the generating function $e_1$ enumerating maps on the torus. This formula is "valence independent" in the sense that it holds regardless of what numbers of edges are allowed to meet at vertices; furthermore it subsumes formulas for $e_1$ given by other authors as special cases.


title: A comparison of dense region detectors for image search and fine-grained classification

abstract: We consider a pipeline for image classification or search based on coding approaches like Bag of Words or Fisher vectors. In this context, the most common approach is to extract the image patches regularly in a dense manner on several scales. This paper proposes and evaluates alternative choices to extract patches densely. Beyond simple strategies derived from regular interest region detectors, we propose approaches based on super-pixels, edges, and a bank of Zernike filters used as detectors. The different approaches are evaluated on recent image retrieval and fine-grain classification benchmarks. Our results show that the regular dense detector is outperformed by other methods in most situations, leading us to improve the state of the art in comparable setups on standard retrieval and fined-grain benchmarks. As a byproduct of our study, we show that existing methods for blob and super-pixel extraction achieve high accuracy if the patches are extracted along the edges and not around the detected regions.


title: Inertial magnetohydrodynamics

abstract: A version of extended magnetohydrodynamics (MHD) that incorporates electron inertia is obtained by constructing an action principle. Unlike MHD which freezes in magnetic flux, the present theory freezes in an alternative flux related to the electron canonical momentum. The associated Hamiltonian formulation is derived and reduced models that have previously been used to describe collisionless reconnection are obtained.


title: Motility of a Model Bristle-Bot: a Theoretical Analysis

abstract: Bristle-bots are legged robots that can be easily made out of a toothbrush head and a small vibrating engine. Despite their simple appearance, the mechanism enabling them to propel themselves by exploiting friction with the substrate is far from trivial. Numerical experiments on a model bristle-bot have been able to reproduce such a mechanism revealing, in addition, the ability to switch direction of motion by varying the vibration frequency. This paper provides a detailed account of these phenomena through a fully analytical treatment of the model. The equations of motion are solved through an expansion in terms of a properly chosen small parameter. The convergence of the expansion is rigorously proven. In addition, the analysis delivers formulas for the average velocity of the robot and for the frequency at which the direction switch takes place. A quantitative description of the mechanism for the friction modulation underlying the motility of the bristle-bot is also provided.


title: On finding orientations with fewest number of vartices with small out-degree

abstract: Given an undirected graph, each of the two end-vertices of an edge can own the edge. Call a vertex poor, if it owns at most one edge. We give a polynomial time algorithm for the problem of finding an assignment of owners to the edges which minimizes the number of poor vertices. In the terminology of graph orientation, this means finding an orientation for the edges of a graph minimizing the number of edges with out-degree at most 1, and answers a question of Asahiro Jansson, Miyano, Ono (2014).


title: Solving stochastic chemical kinetics by Metropolis Hastings sampling

abstract: This study considers using Metropolis-Hastings algorithm for stochastic simulation of chemical reactions. The proposed method uses SSA (Stochastic Simulation Algorithm) distribution which is a standard method for solving well-stirred chemically reacting systems as a desired distribution. A new numerical solvers based on exponential form of exact and approximate solutions of CME (Chemical Master Equation) is employed for obtaining target and proposal distributions in Metropolis-Hastings algorithm to accelerate the accuracy of the tau-leap method. Samples generated by this technique have the same distribution as SSA and the histogram of samples show it's convergence to SSA.


title: A note on algebraic rank, matroids, and metrized complexes

abstract: We show that the algebraic rank of divisors on certain graphs is related to the realizability problem of matroids. As a consequence, we produce a series of examples in which the algebraic rank depends on the ground field. We use the theory of metrized complexes to show that equality between the algebraic and combinatorial rank is not a sufficient condition for smoothability of divisors, thus giving a negative answer to a question posed by Caporaso, Melo, and the author.


title: Constructing thin subgroups commensurable with the figure-eight knot group

abstract: In this paper we find infinitely many lattices in $SL(4,\mathbb{R})$ each of which contains thin subgroups commensurable with the figure-eight knot group.


title: Histogram-Based Flash Channel Estimation

abstract: Current generation Flash devices experience significant read-channel degradation from damage to the oxide layer during program and erase operations. Information about the read-channel degradation drives advanced signal processing methods in Flash to mitigate its effect. In this context, channel estimation must be ongoing since channel degradation evolves over time and as a function of the number of program/erase (P/E) cycles. This paper proposes a framework for ongoing model-based channel estimation using limited channel measurements (reads). This paper uses a channel model characterizing degradation resulting from retention time and the amount of charge programmed and erased. For channel histogram measurements, bin selection to achieve approximately equal-probability bins yields a good approximation to the original distribution using only ten bins (i.e. nine reads). With the channel model and binning strategy in place, this paper explores candidate numerical least squares algorithms and ultimately demonstrates the effectiveness of the Levenberg-Marquardt algorithm which provides both speed and accuracy.


title: Chemical Basis of Trotter-Suzuki Errors in Quantum Chemistry Simulation

abstract: Although the simulation of quantum chemistry is one of the most anticipated applications of quantum computing, the scaling of known upper bounds on the complexity of these algorithms is daunting. Prior work has bounded errors due to Trotterization in terms of the norm of the error operator and analyzed scaling with respect to the number of spin-orbitals. However, we find that these error bounds can be loose by up to sixteen orders of magnitude for some molecules. Furthermore, numerical results for small systems fail to reveal any clear correlation between ground state error and number of spin-orbitals. We instead argue that chemical properties, such as the maximum nuclear charge in a molecule and the filling fraction of orbitals, can be decisive for determining the cost of a quantum simulation. Our analysis motivates several strategies to use classical processing to further reduce the required Trotter step size and to estimate the necessary number of steps, without requiring additional quantum resources. Finally, we demonstrate improved methods for state preparation techniques which are asymptotically superior to proposals in the simulation literature.


title: Pricing and Hedging Long-Term Options

abstract: In this article, we investigate the behavior of long-term options. In many cases, option prices follow an exponential decay (or growth) rate for further maturity dates. We determine under what conditions option prices are characterized by this property. To see this, we use the martingale extraction method through which a pricing operator is transformed into a semigroup operator, which is easier to address. We also explore notions of hedging long-term options. Hedging is an attempt to reduce market risks, and we investigate the price sensitivities (Greeks) with respect to such risks, which are typically repre- sented by variations in the underlying process of an option. We combine the Malliavin calculus with the martingale extraction method to analyze Greeks. We see that the ratios between Greeks and the option price are expressed in a simple form in the long term.


title: Star formation quenching in simulated group and cluster galaxies: When, how, and why?

abstract: Star formation is observed to be suppressed in group and cluster galaxies compared to the field. To gain insight into the quenching process, we have analysed ~2000 galaxies formed in the GIMIC suite of cosmological hydrodynamical simulations. The time of quenching varies from ~2 Gyr before accretion (first crossing of r200,c) to >4 Gyr after, depending on satellite and host mass. Once begun, quenching is rapid (>~ 500 Myr) in low-mass galaxies (M* < 10^10 M_Sun), but significantly more protracted for more massive satellites. The simulations predict a substantial role of outflows driven by ram pressure -- but not tidal forces -- in removing the star-forming interstellar matter (ISM) from satellite galaxies, especially dwarfs (M* ~ 10^9 M_Sun) where they account for nearly two thirds of ISM loss in both groups and clusters. Immediately before quenching is complete, this fraction rises to ~80% even for Milky Way analogues (M* ~ 10^10.5 M_Sun) in groups (M_host ~ 10^13.5 M_Sun). We show that (i) ISM stripping was significantly more effective at early times than at z = 0; (ii) approximately half the gas is stripped from `galactic fountains' and half directly from the star forming disk; (iii) galaxies undergoing stripping experience ram pressure up to ~100 times the average at a given group/cluster-centric radius, because they are preferentially located in overdense ICM regions. Remarkably, stripping causes at most half the loss of the extended gas haloes surrounding our simulated satellites. These results contrast sharply with the current picture of strangulation -- removal of the ISM through star formation after stripping of the hot halo -- being the dominant mechanism quenching group and cluster satellites.


title: Quasi-periodic pulsations in solar and stellar flares: re-evaluating their nature in the context of power-law flare Fourier spectra

abstract: The nature of quasi-periodic pulsations in solar and stellar flares remains debated. Recent work has shown that power-law-like Fourier power spectra, also referred to as 'red' noise processes, are an intrinsic property of solar and stellar flare signals, a property that many previous studies of this phenomenon have not accounted for. Hence a re-evaluation of the existing interpretations and assumptions regarding QPP is needed. Here we adopt a Bayesian method for investigating this phenomenon, fully considering the Fourier power law properties of flare signals. Using data from the PROBA2/LYRA, Fermi/GBM, Nobeyama Radioheliograph and Yohkoh/HXT instruments, we study a selection of flares from the literature identified as QPP events. Additionally we examine optical data from a recent stellar flare that appears to exhibit oscillatory properties. We find that, for all but one event tested, an explicit oscillation is not required in order to explain the observations. Instead, the flare signals are adequately described as a manifestation of a power law in the Fourier power spectrum, rather than a direct signature of oscillating components or structures. However, for the flare of 1998 May 8, strong evidence for the existence of an explicit oscillation with P ~ 14-16 s is found in the 17 GHz radio data and the 13-23 keV Yohkoh HXT data. We conclude that, most likely, many previously analysed events in the literature may be similarly described in terms of power laws in the flare Fourier power spectrum, without the need to invoke a narrowband, oscillatory component. As a result the prevalence of oscillatory signatures in solar and stellar flares may be less than previously believed. The physical mechanism behind the appearance of the observed power laws is discussed.


title: Developing an aqueous approach for synthesizing Au and M@Au (M = Pd, CuPt) hybrid nanostars with plasmonic properties

abstract: Anisotropic Au nanoparticles show unique localized surface plasmon resonance (LSPR) properties, which make it attractive in optical, sensing, and biomedical applications. In this contribution, we report a general and facile strategy towards aqueous synthesis of Au and M@Au (M = Pd, CuPt) hybrid nanostars by reducing HAuCl4 with ethanolamine in the presence of cetyltrimethylammonium bromide (CTAB). According to electron microscopic observation and spectral monitoring, we found that the layered epitaxial growth mode (i.e., Frank-van der Merwe mechanism) contributes to the enlargement of the core, while, the random attachment of Au nanoclusters onto the cores accounts for the formation of the branches. Both of them are indispensable for the formation of the nanostars. The LSPR properties of the Au nanoparticles have been well investigated with morphology control via precursor amount and growth temperature. The Au nanostars showed improved surface-enhanced Raman spectroscopy (SERS) performance for rhodamine 6G due to their sharp edges and tips, which were therefore confirmed as good SERS substrate to detect trace amount of molecules.


title: Jets in AGN at extremely high redshifts

abstract: A brief review of VLBI structures in extremely high-redshift AGN (revised/edited).


title: Comparing Seventeen Interval Estimates for a Bivariate Normal Correlation Coefficient

abstract: In this paper, we consider the problem of constructing confidence interval for the correlation coefficient in a bivariate normal distribution. For this problem, we found fifteen approaches in literatures. Also, we have proposed a generalized confidence interval and a parametric bootstrap confidence interval. The coverage probabilities and expected lengths of these seventeen approaches are evaluated and compared via simulation study. In addition, robustness of the methods is considered in the comparisons by the non-normal distributions. Two real examples are given to illustrate the approaches.


title: Cayley graph on symmetric groups with generating block transposition sets

abstract: This paper deals with the Cayley graph $\Cay,$ where the generating set consists of all block transpositions. A motivation for the study of these particular Cayley graphs comes from current research in Bioinformatics. We prove that ${\rm{Aut}}(\Cay)$ is the product of the right translation group by $\textsf{N}\rtimes \textsf{D}_{n+1},$ where $\textsf{N}$ is the subgroup fixing $S_n$ element-wise and $\textsf{D}_{n+1}$ is a dihedral group of order $2(n+1)$. We conjecture that $\textsf{N}$ is trivial. We also prove that the subgraph $\Gamma$ with vertex-set $S_n$ is a $2(n-2)$-regular graph whose automorphism group is $\textsf{D}_{n+1}$. Furthermore, $\Gamma$ has as many as $n+1$ maximum cliques of size $2.$ Also, its subgraph $\Gamma(V)$ whose vertices are those in these cliques is a $3$-regular, Hamiltonian, and vertex-transitive graph.


title: Characterization of Order Statistics in Two Runs Using Conditional Expectation

abstract: The runs test is a well-known test that is used for checking independence between elements of a sample data sequence. Some of runs tests are based on the longest run and others based on the total runs. In this paper, we consider order statistics of two runs statistics, and obtain their probability mass functions. In addition, the means and variances of the order statistics are derived using traditional conditional expectation.


title: CO gas inside the protoplanetary disk cavity in HD 142527: disk structure from ALMA

abstract: Inner cavities and annular gaps in circumstellar disks are possible signposts of giant planet formation. The young star HD 142527 hosts a massive protoplanetary disk with a large cavity that extends up to 140 au from the central star, as seen in continuum images at infrared and millimeter wavelengths. Estimates of the survival of gas inside disk cavities are needed to discriminate between clearing scenarios. We present a spatially and spectrally resolved carbon monoxide isotopologue observations of the gas-rich disk HD 142527, in the J=2-1 line of 12CO, 13CO and C18O, obtained with the Atacama Large Millimeter Array (ALMA). We detect emission coming from inside the dust-depleted cavity in all three isotopologues. Based on our analysis of the gas in the dust cavity, the 12CO emission is optically thick, while 13CO and C18O emission are both optically thin. The total mass of residual gas inside the cavity is about 1.5-2 Jupiter masses. We model the gas with an axisymmetric disk model. Our best fit model shows that the cavity radius is much smaller in CO than it is in millimeter continuum and scattered light observations, with a gas cavity that does not extend beyond 105 au (at 3-sigma). The gap wall at its outer edge is diffuse and smooth in the gas distribution, while in dust continuum it is manifestly sharper. The inclination angle, as estimated from the high velocity channel maps, is 28+/-0.5 degrees, higher than in previous estimates, assuming a fix central star mass of 2.2 Solar masses.


title: Non-equilibrium quantum systems: Divergence between global and local descriptions

abstract: Even photosynthesis -- the most basic natural phenomenon underlying Life on Earth -- involves the non-trivial processing of excitations at the pico- and femtosecond scales during light-harvesting. The desire to understand such natural phenomena, as well as interpret the output from ultrafast experimental probes, creates an urgent need for accurate quantitative theories of open quantum systems. However it is unclear how best to generalize the well-established assumptions of an isolated system, particularly under non-equilibrium conditions. Here we compare two popular approaches: a description in terms of a direct product of the states of each individual system (i.e. a local approach) versus the use of new states resulting from diagonalizing the whole Hamiltonian (i.e. a global approach). We show that their equivalence fails when the system is open, in particular under the experimentally ubiquitous condition of a temperature gradient. By solving for the steady-state populations and calculating the heat flux as a test observable, we uncover stark differences between the formulations. This divergence highlights the need to establish rigorous ranges of applicability for such methods in modeling nanoscale transfer phenomena -- including during the light-harvesting process in photosynthesis.


title: Tracial Rokhlin property for actions of amenable groups on C* algebras

abstract: Tracial Rokhlin property was introduced by Chris Phillips to study the structure of crossed product of actions on simple C*-algebras. It was originally defined for actions of finite groups and group of integers. Matui and Sato generalized it to actions of amenable groups. In this paper, we give a further generalization of Matui and Sato's definition. We shall show that many known results about tracial Rokhlin property could be generalized to actions of amenable groups under this definition. We also show that some natural examples has the (weak) tracial Rokhlin property.


title: Controlling the magnetic field sensitivity of atomic clock states by microwave dressing

abstract: We demonstrate control of the differential Zeeman shift between clock states of ultracold rubidium atoms by means of non-resonant microwave dressing. Using the dc-field dependence of the microwave detuning, we suppress the first and second order differential Zeeman shift in magnetically trapped $^{87}$Rb atoms. By dressing the state pair 5S$_{1/2} F= 1, m_F = -1$ and $F= 2, m_F = 1$, a residual frequency spread of <0.1 Hz in a range of 100 mG around a chosen magnetic offset field can be achieved. This is one order of magnitude smaller than the shift of the bare states at the magic field of the Breit-Rabi parabola. We further identify double magic points, around which the clock frequency is insensitive to fluctuations both in the magnetic field and the dressing Rabi frequency. The technique is compatible with chip-based cold atom systems and allows the creation of clock and qubit states with reduced sensitivity to magnetic field noise.


title: Casimir interactions in strained graphene systems

abstract: We theoretically study the strain effect on the Casimir interactions in graphene based systems. We found that the interactions between two strained graphene sheets are strongly dependent on the direction of stretching. The influence of the strain on the dispersion interactions is still strong in the presence of dielectric substrates but is relatively weak when the substrate is metallic. Our studies would suggest new ways to design next generation devices.


title: Moyennabilit\'e \`a l'infini et exactitude d'un groupo\"ide \'etale

abstract: We give a definition of amenability at infinity for a locally compact, $\sigma$-compact and Hausdorff etale groupoid and we study in some case the exactness of the reduced $C^*$-algebra of a such groupoid.


title: On the dynamics of lattice systems with unbounded on-site terms in the Hamiltonian

abstract: We supply the mathematical arguments required to complete the proofs of two previously published results: Lieb-Robinson bounds for the dynamics of quantum lattice systems with unbounded on-site terms in the Hamiltonian and the existence of the thermodynamic limit of the dynamics of such systems.


title: Randomized Rumor Spreading in Poorly Connected Small-World Networks

abstract: Push-Pull is a well-studied round-robin rumor spreading protocol defined as follows: initially a node knows a rumor and wants to spread it to all nodes in a network quickly. In each round, every informed node sends the rumor to a random neighbor, and every uninformed node contacts a random neighbor and gets the rumor from her if she knows it. We analyze this protocol on random $k$-trees, a class of power law graphs, which are small-world and have large clustering coefficients, built as follows: initially we have a $k$-clique. In every step a new node is born, a random $k$-clique of the current graph is chosen, and the new node is joined to all nodes of the $k$-clique. When $k>1$ is fixed, we show that if initially a random node is aware of the rumor, then with probability $1-o(1)$ after $O\left((\log n)^{1+2/k}\cdot\log\log n\cdot f(n)\right)$ rounds the rumor propagates to $n-o(n)$ nodes, where $n$ is the number of nodes and $f(n)$ is any slowly growing function. Since these graphs have polynomially small conductance, vertex expansion $O(1/n)$ and constant treewidth, these results demonstrate that Push-Pull can be efficient even on poorly connected networks. On the negative side, we prove that with probability $1-o(1)$ the protocol needs at least $\Omega\left(n^{(k-1)/(k^2+k-1)}/f^2(n)\right)$ rounds to inform all nodes. This exponential dichotomy between time required for informing almost all and all nodes is striking. Our main contribution is to present, for the first time, a natural class of random graphs in which such a phenomenon can be observed. Our technique for proving the upper bound carries over to a closely related class of graphs, random $k$-Apollonian networks, for which we prove an upper bound of $O\left((\log n)^{c_k}\cdot\log\log n\cdot f(n)\right)$ rounds for informing $n-o(n)$ nodes with probability $1-o(1)$ when $k>2$ is fixed. Here, $c_k=(k^2-3)/(k-1)^2<1 + 2/k$.


title: Proportional-Integral Clock Synchronization in Wireless Sensor Networks

abstract: In this article, we present a new control theoretic distributed time synchronization algorithm, named PISync, in order to synchronize sensor nodes in Wireless Sensor Networks (WSNs). PISync algorithm is based on a Proportional-Integral (PI) controller. It applies a proportional feedback (P) and an integral feedback (I) on the local measured synchronization errors to compensate the differences between the clock offsets and clock speeds. We present practical flooding-based and fully distributed protocol implementations of the PISync algorithm, and we provide theoretical analysis to highlight the benefits of this approach in terms of improved steady state error and scalability as compared to existing synchronization algorithms. We show through real-world experiments and simulations that PISync protocols have several advantages over existing protocols in the WSN literature, namely no need for memory allocation, minimal CPU overhead and code size independent of network size and topology, and graceful performance degradation in terms of network size.


title: Rayleigh-B\'enard Instability in Graphene

abstract: Motivated by the observation that electrons in graphene, in the hydrodynamic regime of transport, can be treated as a two-dimensional ultra-relativistic gas with very low shear viscosity, we examine the existence of the Rayleigh-B\'enard instability in a massless electron-hole plasma. Firstly, we perform a linear stability analysis, derive the leading contributions to the relativistic Rayleigh number, and calculate the critical value above which the instability develops. By replacing typical values for graphene, such as thermal conductivity, shear viscosity, temperature, and sample sizes, we find that the instability might be experimentally observed in the near future. Additionally, we have performed simulations for vanishing reduced chemical potential and compare the measured critical Rayleigh number with the theoretical prediction, finding good agreement.

categories: cond-mat.mes-hall cond-mat.quant-gas nlin.CG physics.flu-dyn


title: Detecting non-uniform period spacings in the Kepler photometry of gamma Doradus stars: methodology and case studies

abstract: Context. The analysis of stellar oscillations is one of the most reliable ways to probe stellar interiors. Recent space missions such as Kepler have provided us with an opportunity to study these oscillations with unprecedented detail. For many multi-periodic pulsators such as {\gamma} Doradus stars, this led to the detection of dozens to hundreds of oscillation frequencies that could not be found from ground-based observations. Aims. We aim to detect non-uniform period spacings in the Fourier spectra of a sample of {\gamma} Doradus stars observed by Kepler. Such detection is complicated by both the large number of significant frequencies in the space photometry and by overlapping non-equidistant rotationally split multiplets. Methods. Guided by theoretical properties of gravity-mode oscillation of {\gamma} Doradus stars, we developed a period-spacing detection method and applied it to Kepler observations of a few stars, after having tested the performance from simulations. Results. The application of the technique resulted in the clear detection of non-uniform period spacing series for three out of the five treated Kepler targets. Disadvantages of the technique are also discussed, and include the disability to distinguish between different values of the spherical degree and azimuthal order of the oscillation modes without additional theoretical modelling. Conclusions. Despite the shortcomings, the method is shown to allow solid detections of period spacings for {\gamma} Doradus stars, which will allow future asteroseismic analyses of these stars.


title: Eisenstein Quasimodes and QUE

abstract: We consider the question of Quantum Unique Ergodicity for quasimodes on surfaces of constant negative curvature, and conjecture the order of quasimodes that should satisfy QUE. We then show that this conjecture holds for Eisenstein series on the modular surface, extending results of Luo-Sarnak and Jakobson. Moreover, we observe that the equidistribution results of Luo-Sarnak and Jakobson extend to quasimodes of much weaker order--- for which QUE is known to fail on compact surfaces--- though in this scenario the total mass of the limit measures will decrease. We interpret this stronger equidistribution property in the context of arithmetic QUE, in light of recent joint work with E. Lindenstrauss on joint quasimodes.


title: Membrane Quantum Mechanics

abstract: We consider the multiple M2-branes wrapped on a compact Riemann surface and study the arising quantum mechanics by taking the limit where the size of the Riemann surface goes to zero. The IR quantum mechanical models resulting from the BLG-model and the ABJM-model compactified on a torus are N = 16 and N = 12 superconformal gauged quantum mechanics. After integrating out the auxiliary gauge fields we find OSp(16|2) and SU(1,1|6) quantum mechanics from the reduced systems. The curved Riemann surface is taken as a holomorphic curve in a Calabi-Yau space to preserve supersymmetry and we present a prescription of the topological twisting. We find the N = 8 superconformal gauged quantum mechanics that may describe the motion of two wrapped M2-branes in a K3 surface.


title: On the Search for Inhomogeneous Phases in Fermionic Models

abstract: We revisit the Gross-Neveu model with N fermion flavors in 1+1 dimensions and compute its phase diagram at finite temperature and chemical potential in the large-N limit. To this end, we double the number of fermion degrees of freedom in a specific way which allows us to detect inhomogeneous phases in an efficient manner. We show analytically that this "fermion doubling trick" predicts correctly the position of the boundary between the chirally symmetric phase and the phase with broken chiral symmetry. Most importantly, we find that the emergence of an inhomogeneous ground state is predicted correctly. We critically analyze our approach based on this trick and discuss its applicability to other theories, such as fermionic models in higher dimensions, where it may be used to guide the search for inhomogeneous phases.


title: Exotic open $4$-manifolds which are non-leaves

abstract: We study the possibility of realizing exotic smooth structures on punctured simply connected $4$-manifolds as leaves of a codimension one foliation on a compact manifold. In particular, we show the existence of uncountably many smooth open $4$-manifolds which are not diffeomorphic to any leaf of a codimension one transversely $C^{2}$ foliation on a compact manifold. These examples include some exotic ${\mathbb R}^4$'s and exotic cylinders $S^3\times{\mathbb R}$.


title: Matter Bounce Loop Quantum Cosmology from $F(R)$ Gravity

abstract: Using the reconstruction method, we investigate which $F(R)$ theories, with or without the presence of matter fluids, can produce the matter bounce scenario of holonomy corrected Loop Quantum Cosmology. We focus our study in two limits of the cosmic time, the large cosmic time limit and the small cosmic time limit. For the former, we found that, in the presence of non-interacting and non-relativistic matter, the $F(R)$ gravity that reproduces the late time limit of the matter bounce solution is actually the Einstein-Hilbert gravity plus a power law term. In the early time limit, since it corresponds to large spacetime curvatures, assuming that the Jordan frame is described by a general metric that when it is conformally transformed to the Einstein frame, produces an accelerating Friedmann-Robertson-Walker metric, we found explicitly the scalar field dependence on time. After demonstrating that the solution in the Einstein frame is indeed accelerating, we calculate the spectral index derived from the Einstein frame scalar-tensor counterpart theory of the $F(R)$ theory and compare it with the Planck experiment data. In order to implement the resulting picture, we embed the $F(R)$ gravity explicitly in a Loop Quantum Cosmology framework by introducing holonomy corrections to the $F(R)$ gravity. In this way, the resulting inflation picture corresponding to the $F(R)$ gravity can be corrected in order it coincides to some extent with the current experimental data.


title: Permutation Symmetry of the Scattering Equations

abstract: Closed formulas for tree amplitudes of $n$-particle scatterings of gluon, graviton, and massless scalar particles have been proposed by Cachazo, He, and Yuan. It depends on $(n-3)$ quantities $\s_\a$ which satisfy a set of coupled {\it scattering equations}, with momentum dot products as input coefficients. These equations are known to have $(n-3)!$ solutions, hence each $\s_\a$ is believed to satisfy a single polynomial equation of degree $(n-3)!$. In this article, we derive the transformation properties of $\s_\a$ under momentum permutation, and verify them with known solutions at low $n$, and with exact solutions at any $n$ for special momentum configurations. For momentum configurations not invariant under a certain momentum permutation, new solutions can be obtained for the permuted configuration from these symmetry relations. These symmetry relations for $\s_\a$ lead to symmetry relations for the $(n-3)!+1$ coefficients of the single-variable polynomials, whose correctness are checked with the known cases at low $n$. The extent to which the coefficient symmetry relations can determine the coefficients is discussed.


title: The Zwicky Transient Facility

abstract: The Zwicky Transient Facility (ZTF) is a next-generation optical synoptic survey that builds on the experience and infrastructure of the Palomar Transient Factory (PTF). Using a new 47 deg$^2$ survey camera, ZTF will survey more than an order of magnitude faster than PTF to discover rare transients and variables. I describe the survey and the camera design. Searches for young supernovae, fast transients, counterparts to gravitational-wave detections, and rare variables will benefit from ZTF's high cadence, wide area survey.


title: Void Dynamics

abstract: Cosmic voids are becoming key players in testing the physics of our Universe. Here we concentrate on the abundances and the dynamics of voids as these are among the best candidates to provide information on cosmological parameters. Cai, Padilla \& Li (2014) use the abundance of voids to tell apart Hu \& Sawicki $f(R)$ models from General Relativity. An interesting result is that even though, as expected, voids in the dark matter field are emptier in $f(R)$ gravity due to the fifth force expelling away from the void centres, this result is reversed when haloes are used to find voids. The abundance of voids in this case becomes even lower in $f(R)$ compared to GR for large voids. Still, the differences are significant and this provides a way to tell apart these models. The velocity field differences between $f(R)$ and GR, on the other hand, are the same for halo voids and for dark matter voids. Paz et al. (2013), concentrate on the velocity profiles around voids. First they show the necessity of four parameters to describe the density profiles around voids given two distinct void populations, voids-in-voids and voids-in-clouds. This profile is used to predict peculiar velocities around voids, and the combination of the latter with void density profiles allows the construction of model void-galaxy cross-correlation functions with redshift space distortions. When these models are tuned to fit the measured correlation functions for voids and galaxies in the Sloan Digital Sky Survey, small voids are found to be of the void-in-cloud type, whereas larger ones are consistent with being void-in-void. This is a novel result that is obtained directly from redshift space data around voids. These profiles can be used to remove systematics on void-galaxy Alcock-Pacinsky tests coming from redshift-space distortions.


title: Boundedness of log Calabi-Yau pairs of Fano type

abstract: We prove a boundedness result for klt pairs $(X,B)$ such that $K_X+B\equiv 0$ and $B$ is big. As a consequence we obtain a positive answer to the Effective Iitaka Fibration Conjecture for klt pairs with big boundary.


title: Partial Wave Analysis of the Reaction $p(3.5 GeV)+p \to pK^+\Lambda$ to Search for the "$ppK^-$" Bound State

abstract: Employing the Bonn-Gatchina partial wave analysis framework (PWA), we have analyzed HADES data of the reaction $p(3.5GeV)+p\to pK^{+}\Lambda$. This reaction might contain information about the kaonic cluster "$ppK^-$" via its decay into $p\Lambda$. Due to interference effects in our coherent description of the data, a hypothetical $\overline{K}NN$ (or, specifically "$ppK^-$") cluster signal must not necessarily show up as a pronounced feature (e.g. a peak) in an invariant mass spectra like $p\Lambda$. Our PWA analysis includes a variety of resonant and non-resonant intermediate states and delivers a good description of our data (various angular distributions and two-hadron invariant mass spectra) without a contribution of a $\overline{K}NN$ cluster. At a confidence level of CL$_{s}$=95\% such a cluster can not contribute more than 2-12\% to the total cross section with a $pK^{+}\Lambda$ final state, which translates into a production cross-section between 0.7 $\mu b$ and 4.2 $\mu b$, respectively. The range of the upper limit depends on the assumed cluster mass, width and production process.


title: The frequency and the structure of large character sums

abstract: Let $M(\chi)$ denote the maximum of $|\sum_{n\le N}\chi(n)|$ for a given non-principal Dirichlet character $\chi \pmod q$, and let $N_\chi$ denote a point at which the maximum is attained. In this article we study the distribution of $M(\chi)/\sqrt{q}$ as one varies over characters $\pmod q$, where $q$ is prime, and investigate the location of $N_\chi$. We show that the distribution of $M(\chi)/\sqrt{q}$ converges weakly to a universal distribution $\Phi$, uniformly throughout most of the possible range, and get (doubly exponential decay) estimates for $\Phi$'s tail. Almost all $\chi$ for which $M(\chi)$ is large are odd characters that are $1$-pretentious. Now, $M(\chi)\ge |\sum_{n\le q/2}\chi(n)| = \frac{|2-\chi(2)|}\pi \sqrt{q} |L(1,\chi)|$, and one knows how often the latter expression is large, which has been how earlier lower bounds on $\Phi$ were mostly proved. We show, though, that for most $\chi$ with $M(\chi)$ large, $N_\chi$ is bounded away from $q/2$, and the value of $M(\chi)$ is little bit larger than $\frac{\sqrt{q}}{\pi} |L(1,\chi)|$.


title: Detection of a Light Echo from the Otherwise Normal SN 2007af

abstract: We present the discovery of a light echo from SN 2007af, a normal Type Ia supernova (SN Ia) in NGC 5584. Hubble Space Telescope (HST) images taken three years post explosion reveal two separate echoes; an outer echo and extended central region, which we propose as an unresolved inner echo. Multiple images were obtained in the F160W, F350LP, F555W, and F814W using the Wide Field Camera 3. If the outer echo is produced by an interstellar dust sheet perpendicular to the line of sight, it is located ~800 pc in front of the SN. The dust for the inner echo is 0.45 pc < d < 90 pc away from the SN. The inner echo color is consistent with typical interstellar dust wavelength-dependent scattering cross-sections, while the outer echo color does not match the predictions. Both dust sheets, if in the foreground, are optically thin for scattering, with the outer echo sheet thickness consistent with the inferred extinction from peak brightness. Whether the inner echo is from interstellar or circumstellar dust is ambiguous. Overall, the echo characteristics are quite similar to previously observed SN Ia echoes.


title: Quantum Riemannian geometry of phase space and nonassociativity

abstract: Noncommutative or `quantum' differential geometry has emerged in recent years as a process for quantizing not only a classical space into a noncommutative algebra (as familiar in quantum mechanics) but also differential forms, bundles and Riemannian structures at this level. The data for the algebra quantisation is a classical Poisson bracket, the data for the quantum differential forms is a Poisson-compatible connection it was recently shown that after this, classical data such as classical bundles, metrics etc. all become quantised in a canonical `functorial' way at least to 1st order in deformation theory. There are, however, fresh compatibility conditions between the classical Riemannian and the Poisson structures as well as new physics such as nonassociativity at 2nd order. We give an introduction to this theory and some details for the case of CP${}^n$ where the commutation relations have the canonical form $[w^i,\bar w^j]=\mathrm{i}\lambda\delta_{ij}$ similar to the proposal of Penrose for quantum twistor space. Our work provides a canonical but ultimately nonassociative differential calculus on this algebra and quantises the metric and Levi-Civita connection at lowest order in $\lambda$.


title: ALICE results on vector meson photoproduction in ultra-peripheral p-Pb and Pb-Pb collisions

abstract: Lead nuclei, accelerated at the LHC, are sources of strong electromagnetic fields that can be used to measure photon-induced interactions in a new kinematic regime. These interactions can be studied in ultra-peripheral p-Pb and Pb-Pb collisions where impact parameters are larger than the sum of the nuclear radii and hadronic interactions are strongly suppressed. Heavy quarkonium photoproduction is of particular interest since it is sensitive to the gluon distribution in the target. The ALICE Collaboration has studied J/psi and psi(2S) photoproduction in ultra-peripheral Pb-Pb collisions and exclusive J/psi photoproduction off protons in ultra-peripheral p-Pb collisions at the LHC. Implications for the study of gluon density distributions and nuclear gluon shadowing are discussed. Recent ALICE results on rho photoproduction are also presented.


title: Thermoelectric Properties of Nanoscale three dimensional Si Phononic Crystal

abstract: The thermoelectric properties of n type nanoscale three dimensional (3D) Si phononic crystals (PnCs) with spherical pores are studied. Density functional theory and Boltzmann transport equation under the relaxation time approximation are applied to study the electronic transport coefficients, electrical conductivity, Seebeck coefficient and electronic thermal conductivity. We found that the electronic transport coefficients in 3D Si PnC at room temperature (300 K) change very little compared with that of Si, for example, electrical conductivity and electronic thermal conductivity is decreased by 0.26 to 0.41 and 0.39 to 0.55 depending on carrier concentration, respectively, and the Seebeck coefficient is similar to that of bulk Si. However, the lattice thermal conductivity of 3D Si PnCs with spherical pores is decreased by a factor of 500 calculated by molecular dynamics methods, leading to the ZT of 0.76, which is about 30 times of that of porous Si. This work indicates that 3D Si PnC is a promising candidate for high efficiency thermoelectric materials.


title: Can we explain non-typical solar flares?

abstract: We used multi-wavelength high-resolution data from ARIES, THEMIS, and SDO instruments, to analyze a non-standard, C3.3 class flare produced within the active region NOAA 11589 on 2012 October 16. Magnetic flux emergence and cancellation were continuously detected within the active region, the latter leading to the formation of two filaments. Our aim is to identify the origins of the flare taking into account the complex dynamics of its close surroundings. We analyzed the magnetic topology of the active region using a linear force-free field extrapolation to derive its 3D magnetic configuration and the location of quasi-separatrix layers (QSLs) which are preferential sites for flaring activity. Because the active region's magnetic field was nonlinear force-free, we completed a parametric study using different linear force-free field extrapolations to demonstrate the robustness of the derived QSLs. The topological analysis shows that the active region presented a complex magnetic configuration comprising several QSLs. The considered data set suggests that an emerging flux episode played a key role for triggering the flare. The emerging flux likely activated the complex system of QSLs leading to multiple coronal magnetic reconnections within the QSLs. This scenario accounts for the observed signatures: the two extended flare-ribbons developed at locations matched by the photospheric footprints of the QSLs, and were accompanied with flare loops that formed above the two filaments which played no important role in the flare dynamics. This is a typical example of a complex flare that can a-priori show standard flare signatures that are nevertheless impossible to interpret with any standard model of eruptive or confined flare. We find that a topological analysis however permitted to unveil the development of such complex sets of flare signatures.


title: Top dimensional quasiflats in $CAT(0)$ cube complexes

abstract: We show that every $n$-quasiflat in a $n$-dimensional $CAT(0)$ cube complex is at finite Hausdorff distance from a finite union of $n$-dimensional orthants. Then we introduce a class of cube complexes, called {\em weakly special} cube complexes and show that quasi-isometries between their universal coverings preserve top dimensional flats. We use this to establish several quasi-isometry invariants for right-angled Artin groups. Some of our arguments also extend to $CAT(0)$ spaces of finite geometric dimension. In particular, we give a short proof of the fact that a top dimensional quasiflat in a Euclidean buildings is Hausdorff close to finite union of Weyl cones, which was previously established in several other authors by different methods.


title: Realization of "Trapped Rainbow" in 1D slab waveguide with Surface Dispersion Engineering

abstract: We present a design of a one dimensional dielectric waveguide that can trap a broad band light pulse with different frequency component stored at different positions, effectively forming a "trapped rainbow"[1]. The spectrum of the rainbow covers the whole visible range. To do this, we first show that the dispersion of a $\text{SiO}_2$ waveguide with a Si grating placed on top can be engineered by the design parameter of the grating. Specifically, guided modes with zero group velocity(frozen modes) can be realized. Negative Goos-H\"anchen shift along the surface of the grating is responsible for such a dispersion control. The frequency of the frozen mode is tuned by changing the lateral feature parameters (period and duty cycle) of the grating. By tuning the grating feature point by point along the waveguide, a light pulse can be trapped with different frequency components frozen at different positions, so that a "rainbow" is formed. The device is expected to have extremely low ohmic loss because only dielectric materials are used. A planar geometry also promises much reduced fabrication difficulty.


title: Interferometric Tests of Planckian Quantum Geometry Models

abstract: The effect of Planck scale quantum geometrical effects on measurements with interferometers is estimated with standard physics, and with a variety of proposed extensions. It is shown that effects are negligible in standard field theory with canonically quantized gravity. Statistical noise levels are estimated in a variety of proposals for non-standard metric fluctuations, and these alternatives are constrained using upper bounds on stochastic metric fluctuations from LIGO. Idealized models of several interferometer system architectures are used to predict signal noise spectra in a quantum geometry that cannot be described by a fluctuating metric, in which position noise arises from holographic bounds on directional information. Predictions in this case are shown to be close to current and projected experimental bounds.


title: Best possible densities of Dickson m-tuples, as a consequence of Zhang-Maynard-Tao

abstract: We determine for what proportion of integers $h$ one now knows that there are infinitely many prime pairs $p,\ p+h$ as a consequence of the Zhang-Maynard-Tao theorem. We consider the natural generalization of this to $k$-tuples of integers, and we determine the limit of what can be deduced assuming only the Zhang-Maynard-Tao theorem.


title: Some classification results for generalized q-gaussian algebras

abstract: To any trace preserving action $\sigma: G \curvearrowright A$ of a countable discrete group on a finite von Neumann algebra $A$ and any orthogonal representation $\pi:G \to \mathcal O(\ell^2_{\mathbb{R}}(G))$, we associate the generalized q-gaussian von Neumann algebra $A \rtimes_{\sigma} \Gamma_q^{\pi}(G,K)$, where $K$ is an infinite dimensional separable Hilbert space. Specializing to the cases of $\pi$ being trivial or given by conjugation, we then prove that if $G \curvearrowright A = L^{\infty}(X)$, $G' \curvearrowright B = L^{\infty}(Y)$ are p.m.p. free ergodic rigid actions, the commutator subgroups $[G,G]$, $[G',G']$ are ICC, and $G, G'$ belong to a fairly large class of groups (including all non-amenable groups having the Haagerup property), then $A \rtimes \Gamma_q(G,K) = B \rtimes \Gamma_q(G',K')$ implies that $\mathcal R(G \curvearrowright A)$ is stably isomorphic to $\mathcal R(G' \curvearrowright B)$, where $\mathcal R(G \curvearrowright A), \mathcal R(G' \curvearrowright B)$ are the countable, p.m.p. equivalence relations implemented by the actions of $G$ and $G'$ on $A$ and $B$, respectively. Using results of D. Gaboriau and S. Popa we construct continuously many pair-wise non-isomorphic von Neumann algebras of the form $L^{\infty}(X) \rtimes \Gamma_q(\mathbb{F}_n,K)$, for suitable free ergodic rigid p.m.p. actions $\mathbb{F}_n \curvearrowright X$.


title: A Generalized Linear Transport Model for Spatially-Correlated Stochastic Media

abstract: We formulate a new model for transport in stochastic media with long-range spatial correlations where exponential attenuation (controlling the propagation part of the transport) becomes power law. Direct transmission over optical distance $\tau(s)$, for fixed physical distance $s$, thus becomes $(1+\tau(s)/a)^{-a}$, with standard exponential decay recovered when $a\to\infty$. Atmospheric turbulence phenomenology for fluctuating optical properties rationalizes this switch. Foundational equations for this generalized transport model are stated in integral form for $d=1,2,3$ spatial dimensions. A deterministic numerical solution is developed in $d=1$ using Markov Chain formalism, verified with Monte Carlo, and used to investigate internal radiation fields. Standard two-stream theory, where diffusion is exact, is recovered when $a=\infty$. Differential diffusion equations are not presently known when $a<\infty$, nor is the integro-differential form of the generalized transport equation. Monte Carlo simulations are performed in $d=2$, as a model for transport on random surfaces, to explore scaling behavior of transmittance $T$ when transport optical thickness $\tau_\text{t} \gg 1$. Random walk theory correctly predicts $T \propto \tau_\text{t}^{-\min\{1,a/2\}}$ in the absence of absorption. Finally, single scattering theory in $d=3$ highlights the model's violation of angular reciprocity when $a<\infty$, a desirable property at least in atmospheric applications. This violation is traced back to a key trait of generalized transport theory, namely, that we must distinguish more carefully between two kinds of propagation: one that ends in a virtual or actual detection, the other in a transition from one position to another in the medium.

categories: physics.optics nucl-th physics.ao-ph physics.comp-ph


title: Contact Research Strategy for Emerging Molybdenum Disulfide and Other Two-Dimensional Field-effect Transistors

abstract: Layered two-dimensional (2D) semiconducting transition metal dichalcogenides (TMD) have been widely isolated, synthesized, and characterized recently. Numerous 2D materials are identified as the potential candidates as channel materials for future thin film technology due to their high mobility and the exhibiting bandgaps. While many TMD filed-effect transistors (FETs) have been widely demonstrated along with a significant progress to clearly understand the device physics, large contact resistance at metal/semiconductor interface still remain a challenge. From 2D device research point of view, how to minimize the Schottky barrier effects on contacts thus reduce the contact resistance of metals on 2D materials is very critical for the further development of the field. Here, we present a review of contact research on molybdenum disulfide and other TMD FETs from the fundamental understanding of metal-semiconductor interfaces on 2D materials. A clear contact research strategy on 2D semiconducting materials is developed for future high-performance 2D FETs with aggressively scaled dimensions.


title: Binary Determinantal Complexity

abstract: We prove that for writing the 3 by 3 permanent polynomial as a determinant of a matrix consisting only of zeros, ones, and variables as entries, a 7 by 7 matrix is required. Our proof is computer based and uses the enumeration of bipartite graphs. Furthermore, we analyze sequences of polynomials that are determinants of polynomially sized matrices consisting only of zeros, ones, and variables. We show that these are exactly the sequences in the complexity class of constant free polynomially sized (weakly) skew circuits.


title: Rapid readout of a register of qubits using open loop quantum control

abstract: Measurements are a primitive for characterizing quantum systems. Reducing the time taken to perform a measurement may be beneficial in many areas of quantum information processing. We show that permuting the eigenvalues of the state matrix in the logical basis, using open loop control, provides a $O(n)$ reduction in the measurement time, where $n$ is the number of qubits in the register. This reduction is of the same order as the (previously introduced) locally optimal feedback protocol. The advantage of the open loop protocol is that it is far less difficult experimentally. Because the control commutes with the measured observable at all times, our rapid measurement protocol could be used for characterizing a quantum system, by state or process tomography, or to implement measurement-based quantum error correction.


title: Exploring stellar evolution models of sdB stars using MESA

abstract: Stellar evolution calculations have had great success reproducing the observed atmospheric properties of different classes of stars. Recent detections of g-mode pulsations in evolved He burning stars allow a rare comparison of their internal structure with stellar models. Asteroseismology of subdwarf B stars suggests convective cores of $0.22-0.28\,M_\odot$, $\gtrsim 45\,\%$ of the total stellar mass. Previous studies found significantly smaller convective core masses ($\lesssim 0.19\,M_\odot$) at a comparable evolutionary stage. We evolved stellar models with MESA (Modules for Experiments in Stellar Astrophysics) to explore how well the interior structure inferred from asteroseismology can be reproduced by standard algorithms. Our qualitative evolutionary paths, position in the $\log g-T_{\rm{eff}}$ diagram and model timescales are consistent with previous results. SdB masses from our full evolutionary sequences fall within the range of the empirical sdB mass distribution, but are nearly always lower than the median. Using standard MLT with atomic diffusion we find convective core masses of $\sim 0.17-0.18 M_\odot$, averaged over the entire sdB lifetime. We can increase the convective core sizes to be as large as those inferred from asteroseismology, but only for extreme values of the overshoot parameter (overshoot gives numerically unstable and physically unrealistic behavior at the boundary). High resolution three-dimensional (3D) simulations of turbulent convection in stars suggest that the Schwarzschild criterion for convective mixing sytematically {\it underestimates the actual extent of mixing because a boundary layer forms.} Accounting for this would decrease the errors in both sdB total and convective core masses.


title: Drawing Partially Embedded and Simultaneously Planar Graphs

abstract: We investigate the problem of constructing planar drawings with few bends for two related problems, the partially embedded graph problem---to extend a straight-line planar drawing of a subgraph to a planar drawing of the whole graph---and the simultaneous planarity problem---to find planar drawings of two graphs that coincide on shared vertices and edges. In both cases we show that if the required planar drawings exist, then there are planar drawings with a linear number of bends per edge and, in the case of simultaneous planarity, a constant number of crossings between every pair of edges. Our proofs provide efficient algorithms if the combinatorial embedding of the drawing is given. Our result on partially embedded graph drawing generalizes a classic result by Pach and Wenger which shows that any planar graph can be drawn with a linear number of bends per edge if the location of each vertex is fixed.


title: Addressing the Rare Word Problem in Neural Machine Translation

abstract: Neural Machine Translation (NMT) is a new approach to machine translation that has shown promising results that are comparable to traditional approaches. A significant weakness in conventional NMT systems is their inability to correctly translate very rare words: end-to-end NMTs tend to have relatively small vocabularies with a single unk symbol that represents every possible out-of-vocabulary (OOV) word. In this paper, we propose and implement an effective technique to address this problem. We train an NMT system on data that is augmented by the output of a word alignment algorithm, allowing the NMT system to emit, for each OOV word in the target sentence, the position of its corresponding word in the source sentence. This information is later utilized in a post-processing step that translates every OOV word using a dictionary. Our experiments on the WMT14 English to French translation task show that this method provides a substantial improvement of up to 2.8 BLEU points over an equivalent NMT system that does not use this technique. With 37.5 BLEU points, our NMT system is the first to surpass the best result achieved on a WMT14 contest task.


title: The Potential Impact of Increased Hospital Capacity to Contain and Control Ebola in Liberia

abstract: West Africa is currently experiencing a severe outbreak of Ebola virus disease (EVD). As part of the international effort to address this outbreak, the United States has committed to building specialized Ebola treatment facilities with 1700 beds. However, the effectiveness of this increase in the available healthcare facilities to treat Ebola is unclear, especially in light of the rapidly increasing number of cases. Adapting a previously validated mathematical model of Ebola in West Africa, we examine the potential impact of an increase in hospital capacity to mitigate the impact of Ebola under several scenarios, ranging from the planned scenario of 1700 beds in 10 weeks to a considerably more aggressive approach of twice the number of beds in 5 weeks. We find that even for the most aggressive scenarios, while increasing the availability of healthcare reduces the number of Ebola cases and slows the outbreak, it is not sufficient to stop the epidemic within the next three months. We find that only a combination of increased hospital beds and a dramatic decrease in the rate of transmission within the community can bring the epidemic under control within the near future.


title: Electromagnetic Wave Transmission Through a Subwavelength Nano-hole in a Two-dimensional Plasmonic Layer

abstract: An integral equation is formulated to describe electromagnetic wave transmission through a sub-wavelength nano-hole in a thin plasmonic sheet in terms of the dyadic Green's function for the associated Helmholtz problem. Taking the subwavelength radius of the nano-hole to be the smallest length of the system, we have obtained an exact solution of the integral equation for the dyadic Green's function analytically and in closed form. This dyadic Green's function is then employed in the numerical analysis of electromagnetic wave transmission through the nano-hole for normal incidence of the incoming wave train. The electromagnetic transmission involves two distinct contributions, one emanating from the nano-hole and the other is directly transmitted through the thin plasmonic layer itself (which would not occur in the case of a perfect metal screen). The transmitted radiation exhibits interference fringes in the vicinity of the nano-hole, and they tend to flatten as a function of increasing lateral separation from the hole, reaching the uniform value of transmission through the sheet alone at large separations.


title: Sequentially Constrained Monte Carlo

abstract: Constraints can be interpreted in a broad sense as any kind of explicit restriction over the parameters. While some constraints are defined directly on the parameter space, when they are instead defined by known behaviour on the model, transformation of constraints into features on the parameter space may not be possible. Difficulties in sampling from the posterior distribution as a result of incorporation of constraints into the model is a common challenge leading to truncations in the parameter space and inefficient sampling algorithms. We propose a variant of sequential Monte Carlo algorithm for posterior sampling in presence of constraints by defining a sequence of densities through the imposition of the constraint. Particles generated from an unconstrained or mildly constrained distribution are filtered and moved through sampling and resampling steps to obtain a sample from the fully constrained target distribution. General and model specific forms of constraints enforcing strategies are defined. The Sequentially Constrained Monte Carlo algorithm is demonstrated on constraints defined by monotonicity of a function, densities constrained to low dimensional manifolds, adherence to a theoretically derived model, and model feature matching.


title: Magnetic Schr\"odinger operators and Ma\~n\'e's critical value

abstract: We study periodic magnetic Schr\"odinger operators on covers of closed manifolds in relation to Ma\~n\'e's critical energy values of the corresponding classical Hamiltonian systems. In particular, we show that if the covering transformation group is amenable, then the bottom of the spectrum is bounded from above by Ma\~n\'e's critical energy value. We also determine the spectra for various homogeneous spaces with left-invariant magnetic fields.


title: Moduli of sheaves, Fourier-Mukai transform, and partial desingularization

abstract: We study birational maps among 1) the moduli space of semistable torsion sheaves of Hilbert polynomial $4m+2$ on a smooth quadric surface, 2) the moduli space of semistable torsion sheaves of Hilbert polynomial $m^{2}+3m+2$ on $\mathbb{P}^{3}$, 3) Kontsevich's moduli space of genus zero stable maps of degree 2 to Grassmannian $Gr(2, 4)$. A regular birational morphism from 1) to 2) is described in terms of Fourier-Mukai transform. The map from 3) to 2) is Kirwan's partial desingularization. Also we investigate several geometric properties of 1) by using the variation of moduli spaces of stable pairs.


title: PBW deformations of skew polynomial rings and their group extensions

abstract: We examine PBW deformations of finite group extensions of skew polynomial rings, in particular the quantum Drinfeld orbifold algebras defined by the first author. We give a homological interpretation, in terms of Gerstenhaber brackets, of the necessary and sufficient conditions on parameter functions to define a quantum Drinfeld orbifold algebra, thus clarifying the conditions. In case the acting group is trivial, we determine conditions under which such a PBW deformation is a generalized enveloping algebra of a color Lie algebra; our PBW deformations include these algebras as a special case.


title: Approximately inner flows

abstract: When $\alpha$ is an approximately inner flow on a C$^*$-algebra $A$ and commutes with an automorphism $\gamma$ of $A$ we may extend $\alpha$ to a flow $\bar{\alpha}$ on the crossed product $A\times_\gamma Z$ by setting $\bar{\alpha}_t(U)=U$ where $U$ is the canonical unitary implementing $\gamma$ in $A\times_\gamma Z$ and ask whether $\bar{\alpha}$ is also approximately inner or not. We will consider very specific examples of this type; some of which we can answer affirmatively.


title: Detection of hot, metal-enriched outflowing gas around $z\approx\,$2.3 star-forming galaxies in the Keck Baryonic Structure Survey

abstract: We use quasar absorption lines to study the physical conditions in the circumgalactic medium of redshift $z\approx 2.3$ star-forming galaxies taken from the Keck Baryonic Structure Survey (KBSS). In Turner et al. 2014 we used the pixel optical depth technique to show that absorption by HI and the metal ions OVI, NV, CIV, CIII and SiIV is strongly enhanced within $|\Delta v|\lesssim170$ km/s and projected distances $|d|\lesssim180$ proper kpc from sightlines to the background quasars. Here we demonstrate that the OVI absorption is also strongly enhanced at fixed HI, CIV, and SiIV optical depths, and that this enhancement extends out to $\sim350$ km/s. At fixed HI the increase in the median OVI optical depth near galaxies is 0.3-0.7 dex and is detected at 2--3-$\sigma$ confidence for all seven HI bins that have $\log_{10}\tau_{\rm HI}\ge-1.5$. We use ionization models to show that the observed strength of OVI as a function of HI is consistent with enriched, photoionized gas for pixels with $\tau_{\rm HI}\gtrsim10$. However, for pixels with $\tau_{\rm HI} \lesssim 1$ this would lead to implausibly high metallicities at low densities if the gas were photoionized by the background radiation. This indicates that the galaxies are surrounded by gas that is sufficiently hot to be collisionally ionized ($T > 10^5\,$K) and that a substantial fraction of the hot gas has a metallicity $\gtrsim 10^{-1}$ of solar. Given the high metallicity and large velocity extent (out to $\sim1.5\times v_{\rm circ}$) of this gas, we conclude that we have detected hot, metal enriched outflows arising from star-forming galaxies.


title: How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers

abstract: In recent years the effectiveness of interactive theorem provers has increased to an extent that the bottleneck in the interactive process shifted to efficiency: while in principle large and complex theorems are provable (effectiveness), it takes a lot of effort for the user interacting with the system (lack of efficiency). We conducted focus groups to evaluate the usability of Isabelle/HOL and the KeY system with two goals: (a) detect usability issues in the interaction between interactive theorem provers and their user, and (b) analyze how evaluation and survey methods commonly used in the area of human-computer interaction, such as focus groups and co-operative evaluation, are applicable to the specific field of interactive theorem proving (ITP). In this paper, we report on our experience using the evaluation method focus groups and how we adapted this method to ITP. We describe our results and conclusions mainly on the "meta-level," i.e., we focus on the impact that specific characteristics of ITPs have on the setup and the results of focus groups. On the concrete level, we briefly summarise insights into the usability of the ITPs used in our case study.


title: UTP2: Higher-Order Equational Reasoning by Pointing

abstract: We describe a prototype theorem prover, UTP2, developed to match the style of hand-written proof work in the Unifying Theories of Programming semantical framework. This is based on alphabetised predicates in a 2nd-order logic, with a strong emphasis on equational reasoning. We present here an overview of the user-interface of this prover, which was developed from the outset using a point-and-click approach. We contrast this with the command-line paradigm that continues to dominate the mainstream theorem provers, and raises the question: can we have the best of both worlds?


title: Tinker, tailor, solver, proof

abstract: We introduce Tinker, a tool for designing and evaluating proof strategies based on proof-strategy graphs, a formalism previously introduced by the authors. We represent proof strategies as open-graphs, which are directed graphs with additional input/output edges. Tactics appear as nodes in a graph, and can be `piped' together by adding edges between them. Goals are added to the input edges of such a graph, and flow through the graph as the strategy is evaluated. Properties of the edges ensure that only the right `type' of goals are accepted. In this paper, we detail the Tinker tool and show how it can be integrated with two different theorem provers: Isabelle and ProofPower.


title: Advanced Proof Viewing in ProofTool

abstract: Sequent calculus is widely used for formalizing proofs. However, due to the proliferation of data, understanding the proofs of even simple mathematical arguments soon becomes impossible. Graphical user interfaces help in this matter, but since they normally utilize Gentzen's original notation, some of the problems persist. In this paper, we introduce a number of criteria for proof visualization which we have found out to be crucial for analyzing proofs. We then evaluate recent developments in tree visualization with regard to these criteria and propose the Sunburst Tree layout as a complement to the traditional tree structure. This layout constructs inferences as concentric circle arcs around the root inference, allowing the user to focus on the proof's structural content. Finally, we describe its integration into ProofTool and explain how it interacts with the Gentzen layout.


title: A Logic-Independent IDE

abstract: The author's MMT system provides a framework for defining and implementing logical systems. By combining MMT with the jEdit text editor, we obtain a logic-independent IDE. The IDE functionality includes advanced features such as context-sensitive auto-completion, search, and change management.


title: The Certification Problem Format

abstract: We provide an overview of CPF, the certification problem format, and explain some design decisions. Whereas CPF was originally invented to combine three different formats for termination proofs into a single one, in the meanwhile proofs for several other properties of term rewrite systems are also expressible: like confluence, complexity, and completion. As a consequence, the format is already supported by several tools and certifiers. Its acceptance is also demonstrated in international competitions: the certified tracks of both the termination and the confluence competition utilized CPF as exchange format between automated tools and trusted certifiers.


title: PIDE for Asynchronous Interaction with Coq

abstract: This paper describes the initial progress towards integrating the Coq proof assistant with the PIDE architecture initially developed for Isabelle. The architecture is aimed at asynchronous, parallel interaction with proof assistants, and is tied in heavily with a plugin that allows the jEdit editor to work with Isabelle. We have made some generalizations to the PIDE architecture to accommodate for more provers than just Isabelle, and adapted Coq to understand the core protocol: this delivered a working system in about two man-months.


title: System description: Isabelle/jEdit in 2014

abstract: This is an updated system description for Isabelle/jEdit, according to the official release Isabelle2014 (August 2014). The following new PIDE concepts are explained: asynchronous print functions and document overlays, syntactic and semantic completion, editor navigation, management of auxiliary files within the document-model.


title: Dimer-monomer Model on the Towers of Hanoi Graphs

abstract: The number of dimer-monomers (matchings) of a graph $G$ is an important graph parameter in statistical physics. Following recent research, we study the asymptotic behavior of the number of dimer-monomers $m(G)$ on the Towers of Hanoi graphs and another variation of the Sierpi\'{n}ski graphs which is similar to the Towers of Hanoi graphs, and derive the recursion relations for the numbers of dimer-monomers. Upper and lower bounds for the entropy per site, defined as $\mu_{G}=\lim_{v(G)\rightarrow\infty}\frac{\ln m(G)}{v(G)}$, where $v(G)$ is the number of vertices in a graph $G$, on these Sierpi\'{n}ski graphs are derived in terms of the numbers at a certain stage. As the difference between these bounds converges quickly to zero as the calculated stage increases, the numerical value of the entropy can be evaluated with more than a hundred significant figures accuracy.


title: Efficient price dynamics in a limit order market: an utility indifference approach

abstract: We construct an utility-based dynamic asset pricing model for a limit order market. The price is nonlinear in volume and subject to market impact. We solve an optimal hedging problem under the market impact and derive the dynamics of the efficient price, that is, the asset price when a representative liquidity demander follows an optimal strategy. We show that a Pareto efficient allocation is achieved under a completeness condi- tion. We give an explicit representation of the efficient price for several examples. In particular, we observe that the volatility of the asset depends on the convexity of an initial endowment. Further, we observe that an asset price crash is invoked by an endowment shock. We establish a dynamic programming principle under an incomplete framework.


title: A Note On $G$-normal Distributions

abstract: As is known, the convolution $\mu*\nu$ of two $G$-normal distributions $\mu, \nu$ with different intervals of variances may not be $G$-normal. We shows that $\mu*\nu$ is a $G$-normal distribution if and only if $\frac{\overline{\sigma}_\mu}{\underline{\sigma}_\mu}=\frac{\overline{\sigma}_\nu}{\underline{\sigma}_\nu}$.


title: Primal-Dual Entropy Based Interior-Point Algorithms for Linear Optimization

abstract: We propose a family of search directions based on primal-dual entropy in the context of interior-point methods for linear optimization. We show that by using entropy based search directions in the predictor step of a predictor-corrector algorithm together with a homogeneous self-dual embedding, we can achieve the current best iteration complexity bound for linear optimization. Then, we focus on some wide neighborhood algorithms and show that in our family of entropy based search directions, we can find the best search direction and step size combination by performing a plane search at each iteration. For this purpose, we propose a heuristic plane search algorithm as well as an exact one. Finally, we perform computational experiments to study the performance of entropy-based search directions in wide neighborhoods of the central path, with and without utilizing the plane search algorithms.


title: Pathways, Scaling Laws and Analytical Solutions for Crease Formations in a Gel Layer

abstract: An analytical study on crease formations in a swelling gel layer is conducted. By exploring the smallness of the layer thickness and using a method of coupled series-asymptotic expansions, the original nonlinear eigenvalue problem of partial differential equations is reduced to one of ordinary differential equations. The latter problem is then solved analytically to obtain closed-form solutions for all the post-bifurcation branches. With the available analytical results, a number of deep insights on crease formations are provided, including the unveiling of three pathways to crease (depending on the layer thickness), determination of the bifurcation type, establishment of a lower bound for mode numbers and two scaling laws. Also, a number of experimental results are captured, which are then nicely interpreted based on the analytical solutions. In particular, it is shown that some critical physical quantities are invariant with respect to the thickness at the moment of crease formation. It appears that the present work offers a comprehensive understanding on crease formation, a widely-spread phenomenon.


title: Highly resistive epitaxial Mg-doped GdN thin films

abstract: We report the growth by molecular beam epitaxy of highly resistive GdN, using intentional doping with magnesium. Mg-doped GdN layers with resistivities of 1000 {\Omega}.cm and carrier concentrations of 10E16 cm-3 are obtained for films with Mg concentrations up to 5 x 10E19 atoms/cm3. X-ray diffraction rocking curves indicate that Mg-doped GdN films have crystalline quality very similar to undoped GdN films, showing that the Mg doping did not affect the structural properties of the films. A decrease of the Curie temperature with decreasing the electron density is observed, supporting a recently suggested magnetic polaron scenario [F. Natali et al., Phys. Rev. B 87, 035202 (2013)].


title: Two New Approaches to Compressed Sensing Exhibiting Both Robust Sparse Recovery and the Grouping Effect

abstract: In this paper we introduce a new optimization formulation for sparse regression and compressed sensing, called CLOT (Combined L-One and Two), wherein the regularizer is a convex combination of the $\ell_1$- and $\ell_2$-norms. This formulation differs from the Elastic Net (EN) formulation, in which the regularizer is a convex combination of the $\ell_1$- and $\ell_2$-norm squared. It is shown that, in the context of compressed sensing, the EN formulation does not achieve robust recovery of sparse vectors, whereas the new CLOT formulation achieves robust recovery. Also, like EN but unlike LASSO, the CLOT formulation achieves the grouping effect, wherein coefficients of highly correlated columns of the measurement (or design) matrix are assigned roughly comparable values. It is already known LASSO does not have the grouping effect. Therefore the CLOT formulation combines the best features of both LASSO (robust sparse recovery) and EN (grouping effect). The CLOT formulation is a special case of another one called SGL (Sparse Group LASSO) which was introduced into the literature previously, but without any analysis of either the grouping effect or robust sparse recovery. It is shown here that SGL achieves robust sparse recovery, and also achieves a version of the grouping effect in that coefficients of highly correlated columns belonging to the same group of the measurement (or design) matrix are assigned roughly comparable values.


title: Parameter estimation, nonlinearity and Occam's razor

abstract: Nonlinear systems are capable of displaying complex behavior even if this is the result of a small number of interacting time scales. A widely studied case is when complex dynamics emerges out of a nonlinear system being forced by a simple harmonic function. In order to identify if a recorded time series is the result of a nonlinear system responding to a simpler forcing, we develop a discrete nonlinear transformation for time series based on synchronization techniques. This allows a parameter estimation procedure which simultaneously searches for a good fit of the recorded data, and small complexity of a fluctuating driving parameter. We illustrate this procedure using data from respiratory patterns during birdsong production.


title: PHASEGO: A toolkit for automatic calculation and plot of phase diagram

abstract: The PHASEGO package extracts the Helmholtz free energy from the phonon density of states obtained by the first-principles calculations. With the help of equation of states fitting, it reduces the Gibbs free energy as a function of pressure/temperature at fixed temperature/pressure. Based on the quasi-harmonic approximation (QHA), it calculates the possible phase boundaries among all the structures of interest and finally plots the phase diagram automatically. For the single phase analysis, PHASEGO can numerically derive many properties, such as the thermal expansion coefficients, the bulk moduli, the heat capacities, the thermal pressures, the Hugoniot pressure-volume-temperature relations, the Gruneisen parameters, and the Debye temperatures. In order to check its ability of phase transition analysis, I present here two examples: semiconductor GaN and metallic Fe. In the case of GaN, PHASEGO automatically determined and plotted the phase boundaries among the provided zinc blende (ZB), wurtzite (WZ) and rocksalt (RS) structures. In the case of Fe, the results indicate that at high temperature the electronic thermal excitation free energy corrections considerably alter the phase boundaries among the body-centered cubic (bcc), face-centered cubic (fcc) and hexagonal close-packed (hcp) structures.


title: Recent results on hot topics from Belle

abstract: We report a sample of recent and topical physics results based on the data recorded with the Belle detector at the KEK B-factory in Japan.


title: Do Artificial Reinforcement-Learning Agents Matter Morally?

abstract: Artificial reinforcement learning (RL) is a widely used technique in artificial intelligence that provides a general method for training agents to perform a wide variety of behaviours. RL as used in computer science has striking parallels to reward and punishment learning in animal and human brains. I argue that present-day artificial RL agents have a very small but nonzero degree of ethical importance. This is particularly plausible for views according to which sentience comes in degrees based on the abilities and complexities of minds, but even binary views on consciousness should assign nonzero probability to RL programs having morally relevant experiences. While RL programs are not a top ethical priority today, they may become more significant in the coming decades as RL is increasingly applied to industry, robotics, video games, and other areas. I encourage scientists, philosophers, and citizens to begin a conversation about our ethical duties to reduce the harm that we inflict on powerless, voiceless RL agents.


title: Efficient Coupling for Random Walk with Redistribution

abstract: What can one say on convergence to stationarity of a finite state Markov chain that behaves "locally" like a nearest neighbor random walk on ${\mathbb Z}$ ? The model we consider is a version of nearest neighbor lazy random walk on the state space $ \{0,\dots,N\}$: the probability for staying put at each site is $\frac 12$, the transition to the nearest neighbors, one on the right and one on the left, occurs with probability $\frac14$ each, where we identify two sites, $J_0$ and $J_N$ as, respectively, the neighbor of $0$ from the left and the neighbor of $N$ from the right (but $0$ is not a neighbor of $J_0$ and $N$ is not neighbor of $J_N$). This model is a discrete version of diffusion with redistribution on an interval studied by several authors in recent past, and for which the the exponential rates of convergence to stationarity were computed analytically, but had no intuitive or probabilistic interpretation, except for the case where the jumps from the endpoints are identical (or more generally have the same distribution). We study convergence to stationarity probabilistically, by finding an efficient coupling. The coupling identifies the "bottlenecks" responsible for the rates of convergence and also gives tight computable bounds on the total variation norm of the process between two starting points. The adaptation to the diffusion case is straightforward.


title: A mechanism for magnetic field stochastization and energy release during an edge pedestal collapse

abstract: On the basis of three-dimensional nonlinear magnetohydrodynamic simulations, we propose a new dynamical process leading to the stochastization of magnetic fields during an edge pedestal collapse. Primary tearing modes are shown to grow by extracting kinetic energy of unstable ballooning modes, eventually leading to the island overlap. Secondary tearing modes, which are generated through a coherent nonlinear interaction between adjacent ballooning modes, play a key role in this process, mediating the energy transfer between primary ballooning and tearing modes. Explicit calculations of the parallel energy loss through the stochastic field lines show that it can be a likely dominant energy loss mechanism during an edge pedestal collapse.


title: Recurrence Relations of the Multi-Indexed Orthogonal Polynomials : II

abstract: In a previous paper we presented $3+2M$ term recurrence relations with variable dependent coefficients for $M$-indexed orthogonal polynomials of Laguerre, Jacobi, Wilson and Askey-Wilson types. In this paper we present (conjectures of) the recurrence relations with constant coefficients for these multi-indexed orthogonal polynomials. The simplest recurrence relations have $3+2\ell$ terms, where $\ell (\geq M)$ is the degree of the lowest member of the multi-indexed orthogonal polynomials.

categories: math-ph hep-th math.CA math.MP nlin.SI quant-ph


title: Calculation of $K \to \pi\pi$ decay amplitudes with improved Wilson fermion in 2+1 flavor lattice QCD

abstract: We present results for the $K\to\pi\pi$ decay amplitudes for both the $\Delta I=1/2$ and $3/2$ channels. This calculation is carried out on 480 gauge configurations in $N_f=2+1$ QCD generated over 12,000 trajectories with the Iwasaki gauge action and non-perturbatively $O(a)$-improved Wilson fermion action at $a=0.091\,{\rm fm}$, $m_\pi=280\,{\rm MeV}$ and $m_K=580\,{\rm MeV}$ on a $32^3\times 64$ ($La=2.9\,{\rm fm}$) lattice. For the quark loops in the Penguin and disconnected contributions in the $I=0$ channel, the combined hopping parameter expansion and truncated solver techniques work very well for variance reduction. We obtain, for the first time with a Wilson-type fermion action, that ${\rm Re}A_0 = 60(36) \times10^{ -8}\,{\rm GeV}$ and ${\rm Im}A_0 =-67(56) \times10^{-12}\,{\rm GeV}$ for a matching scale $q^* =1/a$. The dependence on the matching scale is weak.


title: The Slicing Theory of Quantum Measurement: Derivation of Transient Many Worlds Behavior

abstract: An emergent theory of quantum measurement arises directly by considering the particular subset of many body wavefunctions that can be associated with classical condensed matter and its interaction with delocalized wavefunctions. This transfers questions of the "strangeness" of quantum mechanics from the wavefunction to the macroscopic material itself. An effectively many-worlds picture of measurement results for long times and induces a natural arrow of time. The challenging part is then justifying why our macroscopic world is dominated by such far-from-eigenstate matter. Condensing cold mesoscopic clusters provide a pathway to a partitioning of a highly correlated many body wavefunction to long lasting islands composed of classical-like bodies widely separated in Fock space. Low mass rapidly delocalizing matter that recombines with the solids "slice" the system into a set of nearby yet very weakly interacting subsystems weighted according to the Born statistics and yields a kind of many worlds picture but with the possibility of revived phase interference on iterative particle desorption, delocalization and readsorption. A proliferation of low energy photons competes with such a possibility. Causality problems associated with correlated quantum measurement are resolved and conserved quantities are preserved for the overall many body function despite their failure in each observer's bifurcating "slice-path." The necessity of such a state for a two state logic and reliable discrete state machine suggests that later stages of the universe's evolution will destroy the physical underpinnings required for consciousness and the arrow of time even without heat-death or atomic destruction. Some exotic possibilities outside the domain of usual quantum measurement are considered such as measurement with delocalized devices and revival of information from past measurements.


title: Quantum-speed-limit time for multiqubit open systems

abstract: Quantum-speed-limit (QSL) time captures the intrinsic minimal time interval for a quantum system evolving from an initial state to a target state. In single qubit open systems, it was found that the memory (non-Markovian) effect of environment plays an essential role in shortening QSL time or, say, increasing the capacity for potential speedup. In this paper, we investigate the QSL time for multiqubit open systems. We find that for a certain class of states the memory effect still acts as the indispensable requirement for cutting the QSL time down, while for another class of states this takes place even when the environment is of no memory. In particular, when the initial state is in product state |111...1>, there exists a sudden transition from no capacity for potential speedup to potential speedup in a memoryless environment. In addition, we also display evidence for the subtle connection between QSL time and entanglement that weak entanglement may shorten QSL time even more.


title: Heat kernel estimates for $\Delta+\Delta^{\alpha/2}$ under gradient perturbation

abstract: For $d \ge 2$, $\alpha \in (0,2)$ and $M > 0$, we consider the gradient perturbation of a family of nonlocal operators $\{\Delta+a^\alpha\Delta^{\alpha/2}, a\in (0,M]\}$. We establish the existence and uniqueness of the fundamental solution $p(t, x, y)$ for \begin{equation*} \mathcal{L}^{a,b} = \Delta+a^\alpha\Delta^{\alpha/2} + b\cdot \nabla, \end{equation*} where $b$ is in Kato class $\mathbb{K}_{d,1}$ on $\mathbb{R}^d$. We show that $p(t, x, y)$ is jointly continuous and derive its sharp two-sided estimates. The kernel $p(t, x, y)$ determines a conservative Feller process $X$. We further show that the law of $X$ is the unique solution of the martingale problem for $(\mathcal{L}^{a,b}, C^\infty_c (\mathbb{R}^d)$ and $X$ can be represented as $$ X_t = X_0 + Z^a_t + \int_0^t b(X_s) ds, \qquad t\geq 0, $$ where $Z^a_t= B_t +aY_t$ for a Brownian motion $B$ and an independent isotropic $\alpha$-stable process $Y$. Moreover, we prove that the above SDE has a unique weak solution.


title: Characterization of the stability of chains associated with $g$-measures

abstract: In this paper we introduce a notion of asymptotic stability of a probability kernel, which we call dynamic uniqueness. We say that a kernel exhibits dynamic uniqueness if all the stochastic chains starting from a fixed past coincide on the future tail $\sigma$-algebra. We prove that the dynamic uniqueness is generally stronger than the usual notion of uniqueness for $g$-measures. Our main result shows that dynamic uniqueness is equivalent to the weak-$\ell^2$ summability condition on the kernel. This generalizes and strengthens the Johansson-\"Oberg $\ell^2$ criterion for uniqueness of $g$-measures. Finally, among other things, we prove that the weak-$\ell^2$ criterion implies $\beta$-mixing of the unique $g$-measure compatible with a regular kernel improving several results in the literature.


title: Multigraded Betti numbers of some path ideals

abstract: We determine (multi)graded Betti numbers of path ideals of lines and star graphs.


title: H\"older estimates for nonlocal-diffusion equations with drifts

abstract: We study a class of nonlocal-diffusion equations with drifts, and derive a priori $\Phi$-H\"older estimate for the solutions by using a purely probabilistic argument, where $\Phi$ is an intrinsic scaling function for the equation.


title: Connected simplicial algebras are Andr\'e-Quillen complete

abstract: We modify a classical construction of Bousfield and Kan to define the Adams tower of a simplicial nonunital commutative algebra over a field k. We relate this construction to Radulescu-Banu's cosimplicial resolution, and prove that all connected simplicial algebras are complete with respect to Andr\'e-Quillen homology. This is a convergence result for the unstable Adams spectral sequence for commutative algebras over k.


title: Red giants in the outer halo of the elliptical galaxy NGC 5128 / Centaurus A

abstract: We used VIMOS on VLT to perform $V$ and $I$ band imaging of the outermost halo of NGC 5128 / Centaurus A ($(m-M)_0=27.91\pm0.08$), 65 kpc from the galaxy's center and along the major axis. The stellar population has been resolved to $I_0 \approx 27$ with a $50\%$ completeness limit of $I_0 = 24.7$, well below the tip of the red-giant branch (TRGB), which is seen at $I_0 \approx 23.9$. The surface density of NGC 5128 halo stars in our fields was sufficiently low that dim, unresolved background galaxies were a major contaminant in the source counts. We isolated a clean sample of red-giant-branch (RGB) stars extending to $\approx 0.8$ mag below the TRGB through conservative magnitude and color cuts, to remove the (predominantly blue) unresolved background galaxies. We derived stellar metallicities from colors of the stars via isochrones and measured the density falloff of the halo as a function of metallicity by combining our observations with HST imaging taken of NGC 5128 halo fields closer to the galaxy center. We found both metal-rich and metal-poor stellar populations and found that the falloff of the two follows the same de Vaucouleurs' law profiles from $\approx 8$ kpc out to $\approx$ 70 kpc. The metallicity distribution function (MDF) and the density falloff agree with the results of two recent studies of similar outermost halo fields in NGC 5128. We found no evidence of a "transition" in the radial profile of the halo, in which the metal-rich halo density would drop rapidly, leaving the underlying metal-poor halo to dominate by default out to greater radial extent, as has been seen in the outer halo of two other large galaxies. If NGC 5128 has such a transition, it must lie at larger galactocentric distances.