Wetland Management Strategies that Maximize Marsh Bird Use in the Midwest Annual Performance Report Period: 1 July 2015 – 30 June 2016

We determined marsh bird use across a wide range of wetland types (e.g., emergent, non-vegetated, riparian), hydrologic regimes (e.g., temporary, seasonal, semi-permanent), management practices (e.g., active, passive, unmanaged), and past disturbance regimes (e.g., natural and restored, impounded and unimpounded) in Illinois during late spring and early summer 2016. Our objectives were to 1) compare marsh bird use of wetland impoundments managed for waterfowl across a continuum of management 3 intensities and strategies to predict how these actions can increase use by both groups, 2) compare marsh bird use of restored and natural wetlands, and 3) determine characteristics of wetlands and the surrounding landscape that influence marsh bird use of restored wetlands. Additionally, we surveyed marsh birds using the standard protocols on wetlands concurrently surveyed within the Illinois Critical Trends Assessment Program (CTAP) for comparison of methodologies.United States Fish and Wildlife Service Contract Number: F14AP00485unpublishednot peer reviewedOpe

State Sum Models and Simplicial Cohomology

We study a class of subdivision invariant lattice models based on the gauge group $Z_{p}$, with particular emphasis on the four dimensional example. This model is based upon the assignment of field variables to both the $1$- and $2$-dimensional simplices of the simplicial complex. The property of subdivision invariance is achieved when the coupling parameter is quantized and the field configurations are restricted to satisfy a type of mod-$p$ flatness condition. By explicit computation of the partition function for the manifold $RP^{3} \times S^{1}$, we establish that the theory has a quantum Hilbert space which differs from the classical one.Comment: 28 pages, Latex, ITFA-94-13, (Expanded version with two new sections

On the Expansions in Spin Foam Cosmology

We discuss the expansions used in spin foam cosmology. We point out that already at the one vertex level arbitrarily complicated amplitudes contribute, and discuss the geometric asymptotics of the five simplest ones. We discuss what type of consistency conditions would be required to control the expansion. We show that the factorisation of the amplitude originally considered is best interpreted in topological terms. We then consider the next higher term in the graph expansion. We demonstrate the tension between the truncation to small graphs and going to the homogeneous sector, and conclude that it is necessary to truncate the dynamics as well.Comment: 17 pages, 4 figures, published versio

Holonomy observables in Ponzano-Regge type state sum models

We study observables on group elements in the Ponzano-Regge model. We show that these observables have a natural interpretation in terms of Feynman diagrams on a sphere and contrast them to the well studied observables on the spin labels. We elucidate this interpretation by showing how they arise from the no-gravity limit of the Turaev-Viro model and Chern-Simons theory.Comment: 15 pages, 2 figure

4-Dimensional BF Theory as a Topological Quantum Field Theory

Starting from a Lie group G whose Lie algebra is equipped with an invariant nondegenerate symmetric bilinear form, we show that 4-dimensional BF theory with cosmological term gives rise to a TQFT satisfying a generalization of Atiyah's axioms to manifolds equipped with principal G-bundle. The case G = GL(4,R) is especially interesting because every 4-manifold is then naturally equipped with a principal G-bundle, namely its frame bundle. In this case, the partition function of a compact oriented 4-manifold is the exponential of its signature, and the resulting TQFT is isomorphic to that constructed by Crane and Yetter using a state sum model, or by Broda using a surgery presentation of 4-manifolds.Comment: 15 pages in LaTe

Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory

There are two fundamentally different approaches to specifying and verifying properties of systems. The logical approach makes use of specifications given as formulae of temporal or modal logics and relies on efficient model checking algorithms; the behavioural approach exploits various equivalence or refinement checking methods, provided the specifications are given in the same formalism as implementations. In this paper we provide translations between the logical formalism of Hennessy-Milner logic with greatest fixed points and the behavioural formalism of disjunctive modal transition systems. We also introduce a new operation of quotient for the above equivalent formalisms, which is adjoint to structural composition and allows synthesis of missing specifications from partial implementations. This is a substantial generalisation of the quotient for deterministic modal transition systems defined in earlier papers

A Lorentzian Signature Model for Quantum General Relativity

We give a relativistic spin network model for quantum gravity based on the Lorentz group and its q-deformation, the Quantum Lorentz Algebra. We propose a combinatorial model for the path integral given by an integral over suitable representations of this algebra. This generalises the state sum models for the case of the four-dimensional rotation group previously studied in gr-qc/9709028. As a technical tool, formulae for the evaluation of relativistic spin networks for the Lorentz group are developed, with some simple examples which show that the evaluation is finite in interesting cases. We conjecture that the `10J' symbol needed in our model has a finite value.Comment: 22 pages, latex, amsfonts, Xypic. Version 3: improved presentation. Version 2 is a major revision with explicit formulae included for the evaluation of relativistic spin networks and the computation of examples which have finite value

Higher Algebraic Structures and Quantization

We derive (quasi-)quantum groups in 2+1 dimensional topological field theory directly from the classical action and the path integral. Detailed computations are carried out for the Chern-Simons theory with finite gauge group. The principles behind our computations are presumably more general. We extend the classical action in a d+1 dimensional topological theory to manifolds of dimension less than d+1. We then ``construct'' a generalized path integral which in d+1 dimensions reduces to the standard one and in d dimensions reproduces the quantum Hilbert space. In a 2+1 dimensional topological theory the path integral over the circle is the category of representations of a quasi-quantum group. In this paper we only consider finite theories, in which the generalized path integral reduces to a finite sum. New ideas are needed to extend beyond the finite theories treated here.Comment: 62 pages + 16 figures (revised version). In this revision we make some small corrections and clarification

Degenerate Plebanski Sector and Spin Foam Quantization

We show that the degenerate sector of Spin(4) Plebanski formulation of four-dimensional gravity is exactly solvable and describes covariantly embedded SU(2) BF theory. This fact ensures that its spin foam quantization is given by the SU(2) Crane-Yetter model and allows to test various approaches of imposing the simplicity constraints. Our analysis strongly suggests that restricting representations and intertwiners in the state sum for Spin(4) BF theory is not sufficient to get the correct vertex amplitude. Instead, for a general theory of Plebanski type, we propose a quantization procedure which is by construction equivalent to the canonical path integral quantization and, being applied to our model, reproduces the SU(2) Crane-Yetter state sum. A characteristic feature of this procedure is the use of secondary second class constraints on an equal footing with the primary simplicity constraints, which leads to a new formula for the vertex amplitude.Comment: 34 pages; changes in the abstract and introduction, a few references adde