Deficiency and abelianized deficiency of some virtually free groups

Let $Q_m$ be the HNN extension of $\Z/m \times \Z/m$ where the stable letter conjugates the first factor to the second. We explore small presentations of the groups $\Gamma_{m,n}=Q_m \ast Q_n$. We show that for certain choices of (m,n), for example (2,3), the group $\Gamma_{m,n}$ has a relation gap unless it admits a presentation with at most 3 defining relations, and we establish restrictions on the possible form of such a presentation. We then associate to each (m,n) a 3-complex with 16 cells. This 3-complex is a counterexample to the D(2) conjecture if $\Gamma_{m,n}$ has a relation gap.Comment: 7 pages; no figures. Minor changes; now to appear in Math. Proc. Camb. Phil. So

The Fiscal Crisis of the Campus: The View from California

The significance of the disinvestment in American baccalaureate, Ph.D. and community college institutions in recent years can hardly be exaggerated. The quandary posed by the attendant reduced funding goes beyond issues of crowded classrooms and dilapidated facilities; ultimately it questions whether our higher education will continue to be a gateway to equality and guarantor of opportunity, a path to broader horizons for citizens—or if it will be transformed into a bulwark of social inequality and vehicle for narrow vocational instruction. Determining how to successfully grapple with this decline in funding is hindered, however, by the ways in which policy-makers and pundits pose the problem. They reify the forces involved, obscuring the fact that the fiscal problem of the American university is at root a political problem whose resolution requires a political response

The Fiscal Crisis of the Campus: The View from California

Over the last generation, state governments have undertaken a major disinvestment in higher education. The questions raised by these funding reductions go beyond matters of crowded classrooms, dilapidated facilities, and altered pedagogies to challenge the basic function of college and university education in the United States. Will higher education continue to be the gateway to equality and provider of broad horizons for citizens, or will it be transformed into a bulwark of social privilege and narrow conveyor of vocational skills for private consumers? These are the ultimate questions posed by the funding priorities of the state legislatures in America today

Can one reconstruct masked CMB sky?

The CMB maps obtained by observations always possess domains which have to be masked due to severe uncertainties with respect to the genuine CMB signal. Cosmological analyses ideally use full CMB maps in order to get e.g. the angular power spectrum. There are attempts to reconstruct the masked regions at least at low resolutions, i.e. at large angular scales, before a further analysis follows. In this paper, the quality of the reconstruction is investigated for the ILC (7yr) map as well as for 1000 CMB simulations of the LambdaCDM concordance model. The latter allows an error estimation for the reconstruction algorithm which reveals some drawbacks. The analysis points to errors of the order of a significant fraction of the mean temperature fluctuation of the CMB. The temperature 2-point correlation function C(theta) is evaluated for different reconstructed sky maps which leads to the conclusion that it is safest to compute it on the cut-sky

Coarse-graining protein energetics in sequence variables

We show that cluster expansions (CE), previously used to model solid-state materials with binary or ternary configurational disorder, can be extended to the protein design problem. We present a generalized CE framework, in which properties such as energy can be unambiguously expanded in the amino-acid sequence space. The CE coarse grains over nonsequence degrees of freedom (e.g., side-chain conformations) and thereby simplifies the problem of designing proteins, or predicting the compatibility of a sequence with a given structure, by many orders of magnitude. The CE is physically transparent, and can be evaluated through linear regression on the energies of training sequences. We show, as example, that good prediction accuracy is obtained with up to pairwise interactions for a coiled-coil backbone, and that triplet interactions are important in the energetics of a more globular zinc-finger backbone.Comment: 10 pages, 3 figure

How well-proportioned are lens and prism spaces?

The CMB anisotropies in spherical 3-spaces with a non-trivial topology are analysed with a focus on lens and prism shaped fundamental cells. The conjecture is tested that well proportioned spaces lead to a suppression of large-scale anisotropies according to the observed cosmic microwave background (CMB). The focus is put on lens spaces L(p,q) which are supposed to be oddly proportioned. However, there are inhomogeneous lens spaces whose shape of the Voronoi domain depends on the position of the observer within the manifold. Such manifolds possess no fixed measure of well-proportioned and allow a predestined test of the well-proportioned conjecture. Topologies having the same Voronoi domain are shown to possess distinct CMB statistics which thus provide a counter-example to the well-proportioned conjecture. The CMB properties are analysed in terms of cyclic subgroups Z_p, and new point of view for the superior behaviour of the Poincar\'e dodecahedron is found

Structural Synthesis for GXW Specifications

We define the GXW fragment of linear temporal logic (LTL) as the basis for synthesizing embedded control software for safety-critical applications. Since GXW includes the use of a weak-until operator we are able to specify a number of diverse programmable logic control (PLC) problems, which we have compiled from industrial training sets. For GXW controller specifications, we develop a novel approach for synthesizing a set of synchronously communicating actor-based controllers. This synthesis algorithm proceeds by means of recursing over the structure of GXW specifications, and generates a set of dedicated and synchronously communicating sub-controllers according to the formula structure. In a subsequent step, 2QBF constraint solving identifies and tries to resolve potential conflicts between individual GXW specifications. This structural approach to GXW synthesis supports traceability between requirements and the generated control code as mandated by certification regimes for safety-critical software. Synthesis for GXW specifications is in PSPACE compared to 2EXPTIME-completeness of full-fledged LTL synthesis. Indeed our experimental results suggest that GXW synthesis scales well to industrial-sized control synthesis problems with 20 input and output ports and beyond.Comment: The long (including appendix) version being reviewed by CAV'16 program committee. Compared to the submitted version, one author (out of her wish) is moved to the Acknowledgement. (v2) Corrected typos. (v3) Add an additional remark over environment assumption and easy corner case

Cosmic Topology of Polyhedral Double-Action Manifolds

A special class of non-trivial topologies of the spherical space S^3 is investigated with respect to their cosmic microwave background (CMB) anisotropies. The observed correlations of the anisotropies on the CMB sky possess on large separation angles surprising low amplitudes which might be naturally be explained by models of the Universe having a multiconnected spatial space. We analysed in CQG 29(2012)215005 the CMB properties of prism double-action manifolds that are generated by a binary dihedral group D^*_p and a cyclic group Z_n up to a group order of 180. Here we extend the CMB analysis to polyhedral double-action manifolds which are generated by the three binary polyhedral groups (T^*, O^*, I^*) and a cyclic group Z_n up to a group order of 1000. There are 20 such polyhedral double-action manifolds. Some of them turn out to have even lower CMB correlations on large angles than the Poincare dodecahedron