Shadows and traces in bicategories

Traces in symmetric monoidal categories are well-known and have many applications; for instance, their functoriality directly implies the Lefschetz fixed point theorem. However, for some applications, such as generalizations of the Lefschetz theorem, one needs "noncommutative" traces, such as the Hattori-Stallings trace for modules over noncommutative rings. In this paper we study a generalization of the symmetric monoidal trace which applies to noncommutative situations; its context is a bicategory equipped with an extra structure called a "shadow." In particular, we prove its functoriality and 2-functoriality, which are essential to its applications in fixed-point theory. Throughout we make use of an appropriate "cylindrical" type of string diagram, which we justify formally in an appendix.Comment: 46 pages; v2: reorganized and shortened, added proof for cylindrical string diagrams; v3: final version, to appear in JHR

Linear stability of planar premixed flames: reactive Navier-Stokes equations with finite activation energy and arbitrary Lewis number

A numerical shooting method for performing linear stability analyses of travelling waves is described and applied to the problem of freely propagating planar premixed flames. Previous linear stability analyses of premixed flames either employ high activation temperature asymptotics or have been performed numerically with finite activation temperature, but either for unit Lewis numbers (which ignores thermal-diffusive effects) or in the limit of small heat release (which ignores hydrodynamic effects). In this paper the full reactive Navier-Stokes equations are used with arbitrary values of the parameters (activation temperature, Lewis number, heat of reaction, Prandtl number), for which both thermal-diffusive and hydrodynamic effects on the instability, and their interactions, are taken into account. Comparisons are made with previous asymptotic and numerical results. For Lewis numbers very close to or above unity, for which hydrodynamic effects caused by thermal expansion are the dominant destablizing mechanism, it is shown that slowly varying flame analyses give qualitatively good but quantitatively poor predictions, and also that the stability is insensitive to the activation temperature. However, for Lewis numbers sufficiently below unity for which thermal-diffusive effects play a major role, the stability of the flame becomes very sensitive to the activation temperature. Indeed, unphysically high activation temperatures are required for the high activation temperature analysis to give quantitatively good predictions at such low Lewis numbers. It is also shown that state-insensitive viscosity has a small destabilizing effect on the cellular instability at low Lewis numbers

Rapid Mixing for Lattice Colorings with Fewer Colors

We provide an optimally mixing Markov chain for 6-colorings of the square lattice on rectangular regions with free, fixed, or toroidal boundary conditions. This implies that the uniform distribution on the set of such colorings has strong spatial mixing, so that the 6-state Potts antiferromagnet has a finite correlation length and a unique Gibbs measure at zero temperature. Four and five are now the only remaining values of q for which it is not known whether there exists a rapidly mixing Markov chain for q-colorings of the square lattice.Comment: Appeared in Proc. LATIN 2004, to appear in JSTA

From double Lie groupoids to local Lie 2-groupoids

We apply the bar construction to the nerve of a double Lie groupoid to obtain a local Lie 2-groupoid. As an application, we recover Haefliger's fundamental groupoid from the fundamental double groupoid of a Lie groupoid. In the case of a symplectic double groupoid, we study the induced closed 2-form on the associated local Lie 2-groupoid, which leads us to propose a definition of a symplectic 2-groupoid.Comment: 23 pages, a few minor changes, including a correction to Lemma 6.

Ignition of thermally sensitive explosives between a contact surface and a shock

The dynamics of ignition between a contact surface and a shock wave is investigated using a one-step reaction model with Arrhenius kinetics. Both large activation energy asymptotics and high-resolution finite activation energy numerical simulations are employed. Emphasis is on comparing and contrasting the solutions with those of the ignition process between a piston and a shock, considered previously. The large activation energy asymptotic solutions are found to be qualitatively different from the piston driven shock case, in that thermal runaway first occurs ahead of the contact surface, and both forward and backward moving reaction waves emerge. These waves take the form of quasi-steady weak detonations that may later transition into strong detonation waves. For the finite activation energies considered in the numerical simulations, the results are qualitatively different to the asymptotic predictions in that no backward weak detonation wave forms, and there is only a weak dependence of the evolutionary events on the acoustic impedance of the contact surface. The above conclusions are relevant to gas phase equation of state models. However, when a large polytropic index more representative of condensed phase explosives is used, the large activation energy asymptotic and finite activation energy numerical results are found to be in quantitative agreement

Molecular phylogenetics of subfamily Urgineoideae (Hyacinthaceae): Toward a coherent generic circumscription informed by molecular, morphological, and distributional data

The taxonomy and systematics of Urgineoideae (Hyacinthaceae) have been controversial in recent decades, with contrasting taxonomic treatments proposed based on preliminary and partial studies that have focused on morphology and/or solely plastid DNA sequence data. Some authors have recognized only two genera, with a very broadly conceived Drimia, while others have accepted several genera that, although better defined morphologically, were doubtfully monophyletic. Here, we present phylogenetic analyses involving four plastid DNA regions (trnL intron, trnL-F spacer, matK, and the trnCGCA-ycf6 intergenic region), a nuclear region (Agt1), and a selection of 40 morphological characters. Our study covers 293 samples and ca. 160 species of Urgineoideae (ca. 80% of its global diversity). Bayesian inference, maximum likelihood, and maximum parsimony analyses were performed to derive the phylogenetic patterns. The combination of data yielded phylogenetic trees with 31 well-defined clades or lineages, most corresponding to previously described genera, although some have required description or revised circumscription. As with other monocot families, a considerable degree of homoplasy was observed in morphological characters, especially in those groups with unspecialized flowers; nonetheless, consistent syndromes of traditional and novel characters are shown to support clade recognition at genus rank. The forthcoming revised classification of Urgineoideae is outlined here.This work was partly supported by H2020 Research and Innovation Staff Exchange Programme of the European Commission, project 645636: ‘Insect-plant relationships: insights into biodiversity and new applications’ (FlyHigh) and the complementary supporting funds UAUSTI17-03, ACIE17-01, UAUSTI2019-008 (University of Alicante, Spain)

Strong Discontinuities in the Complex Photonic Band Structure of Transmission Metallic Gratings

Complex photonic band structures (CPBS) of transmission metallic gratings with rectangular slits are shown to exhibit strong discontinuities that are not evidenced in the usual energetic band structures. These discontinuities are located on Wood's anomalies and reveal unambiguously two different types of resonances, which are identified as horizontal and vertical surface-plasmon resonances. Spectral position and width of peaks in the transmission spectrum can be directly extracted from CPBS for both kinds of resonances.Comment: 4 pages, 4 figures, REVTeX version

Three-dimensionality of space and the quantum bit: an information-theoretic approach

It is sometimes pointed out as a curiosity that the state space of quantum two-level systems, i.e. the qubit, and actual physical space are both three-dimensional and Euclidean. In this paper, we suggest an information-theoretic analysis of this relationship, by proving a particular mathematical result: suppose that physics takes place in d spatial dimensions, and that some events happen probabilistically (not assuming quantum theory in any way). Furthermore, suppose there are systems that carry "minimal amounts of direction information", interacting via some continuous reversible time evolution. We prove that this uniquely determines spatial dimension d=3 and quantum theory on two qubits (including entanglement and unitary time evolution), and that it allows observers to infer local spatial geometry from probability measurements.Comment: 13 + 22 pages, 9 figures. v4: some clarifications, in particular in Section V / Appendix C (added Example 39

Singularities and Topology of Meromorphic Functions

We present several aspects of the "topology of meromorphic functions", which we conceive as a general theory which includes the topology of holomorphic functions, the topology of pencils on quasi-projective spaces and the topology of polynomial functions.Comment: 21 pages, 1 figur