Search

We look at a new string$^h$ tangential structure first introduced by Devalapurkar and relate it to the $W_7=0$ condition of Diaconescu-Moore-Witten for type IIA string theory and M-theory. We show that a string$^h$ structure on the target space automatically satisfies the $W_7=0$ condition and we also explain when the $W_7=0$ condition gives rise to a string$^h$ structure. Devalapurkar initially constructed $MString^h$ in such a way that it orients $tmf_1(3)$, we extend Devalapurkar's orientation and show that $MString^h$ orients $tmf_1(n)$. We compute the homotopy groups of $MString^h$ in the dimensions relevant for physical applications, and apply them to anomaly cancellation applications for compactifications of type IIA string theory., Comment: 46 pages

We investigate the stability of weak symmetry-protected topological phases (SPTs) in the presence of short-range interactions, focusing on the tenfold way classification. Using Atiyah's Real $\mathit{KR}$-theory and Anderson-dualized bordism, we classify free and interacting weak phases across all Altland-Zirnbauer symmetry classes in low dimensions. Extending the free-to-interacting map of Freed-Hopkins, we mathematically compute how the behavior of free weak SPTs changes when interactions are introduced as well as predict intrinsically-interacting weak phases in certain classes. Our mathematical techniques involve T-duality and the James splitting of the torus. Our results provide a mathematical framework for understanding the persistence of weak SPTs under interactions, with potential implications for experimental and theoretical studies of these phases., Comment: 48 pages. Comments welcome!

While Large language model (LLM)-based programming assistants such as CoPilot and ChatGPT can help improve the productivity of professional software developers, they can also facilitate cheating in introductory computer programming courses. Assuming instructors have limited control over the industrial-strength models, this paper investigates the baseline performance of 5 widely used LLMs on a collection of introductory programming problems, examines adversarial perturbations to degrade their performance, and describes the results of a user study aimed at understanding the efficacy of such perturbations in hindering actual code generation for introductory programming assignments. The user study suggests that i) perturbations combinedly reduced the average correctness score by 77%, ii) the drop in correctness caused by these perturbations was affected based on their detectability.

In continuous-variable quantum computation, identifying key elements that enable a quantum computational advantage is a long-standing issue. Starting from the standard results on the necessity of Wigner negativity, we develop a comprehensive and versatile framework that not only enables the identification of a potential quantum computational advantage, but also allows to pinpoint the contribution of each quantum gate in achieving this objective. As such, it can be straightforwardly applied to current continuous-variables quantum circuits, while also constraining the tolerable amount of losses above which any potential quantum advantage can be ruled out. We use $(s)$-ordered quasiprobability distributions on phase-space to capture the non-classical features in the protocol, and focus our model entirely on the ordering parameter $s$. This allows us to highlight the resourcefulness and robustness to loss of a universal set of unitary gates comprising three distinct Gaussian gates, and a fourth one, the cubic gate, providing important insight on the role of non-Gaussianity., Comment: 16 pages, 5 figures

In this article, we answer two questions of Buchanan-McKean (arXiv:2312.08209) about bordism for manifolds with spin$^h$ structures: we establish a Smith isomorphism between the reduced spin$^h$ bordism of $\mathbb{RP}^\infty$ and pin$^{h-}$ bordism, and we provide a geometric explanation for the isomorphism $\Omega_{4k}^{\mathrm{Spin}^c} \otimes\mathbb Z[1/2] \cong \Omega_{4k}^{\mathrm{Spin}^h} \otimes\mathbb Z[1/2]$. Our proofs use the general theory of twisted spin structures and Smith homomorphisms that we developed in arXiv:2405.04649 joint with Devalapurkar, Liu, Pacheco-Tallaj, and Thorngren, specifically that the Smith homomorphism participates in a long exact sequence with explicit, computable terms., Comment: 15 pages; comments welcome!

This paper seeks whether Alfv\'en waves (AW) can be produced in laboratory-scale liquid metal experiments, \emph{i.e.} at low-magnetic Reynolds Number ($R\!m$). AW are incompressible waves propagating along magnetic fields typically found geo and astrophysical systems. Until now, only faint linear waves have been experimentally produced in liquid metals because of the large magnetic dissipation they undergo when $R\!m\ll1$. Yet, controlling laboratory AW could emulate such far remote processes as anomalous heating in the solar corona, oscillations of the Earth inner core or turbulence in the solar wind. To answer this question, we force AW with an AC electric current in a liquid metal channel in a transverse magnetic field. We derive a wave-bearing extension of the usual low$-R\!m$ MHD approximation to identify two linear regimes: The purely diffusive regime exists when $N_\omega$, the ratio of the oscillation period to the timescale of diffusive two-dimensionalisation by the Lorentz force, is small. The propagative regime is governed by the ratio of the forcing period to the AW propagation timescale which, we call the Jameson number $J\!a$ after Jameson (1964), JFM. In this regime, AW are dissipative and dispersive as they propagate more slowly where velocity gradients are higher. Both regimes are recovered in the FLOWCUBE experiment, in excellent agreement with the model up to $J\!a \lesssim 0.85$ but near the $J\!a=1$ resonance, high amplitude waves become clearly nonlinear. Hence, in electrically driving AW, we were able to produce some of the propagative, diffusive and nonlinear processes of astro and geophysical AW., Comment: 42 pages, 19 figures

Smith homomorphisms are maps between bordism groups that change both the dimension and the tangential structure. We give a completely general account of Smith homomorphisms, unifying the many examples in the literature. We provide three definitions of Smith homomorphisms, including as maps of Thom spectra, and show they are equivalent. Using this, we identify the cofiber of the spectrum-level Smith map and extend the Smith homomorphism to a long exact sequence of bordism groups, which is a powerful computation tool. We discuss several examples of this long exact sequence, relating them to known constructions such as Wood's and Wall's sequences. Furthermore, taking Anderson duals yields a long exact sequence of invertible field theories, which has a rich physical interpretation. We developed the theory in this paper with applications in mind to symmetry breaking in quantum field theory, which we study in a companion paper., Comment: 73 pages, 3 figures. Originally posted as the mathematical sections of arXiv:2309.16749. This version features new content in sections 6 and 8

Many laboratories routinely cool samples to 10 mK, but relatively few can cool condensed matter below 1 mK. Easy access to the microkelvin range would propel fields such as quantum sensors and quantum materials. Such temperatures are achieved with adiabatic nuclear demagnetization. Existing nuclear demagnetization refrigerators (NDR) are ``single-shot'', and the recycling time is incompatible with some sub-mK experiments. Furthermore, a high cooling power is required to overcome the excess heat load of order nW on NDR pre-cooled by cryogen-free dilution refrigerators. We report the performance of an aluminum NDR designed for powerful cooling when part of a dual stage continuous NDR (CNDR). Its thermal resistance is minimized to maximize the cycling rate of the CNDR and consequently its cooling power. At the same time, its susceptibility to eddy current heating is minimized. A CNDR based on two of the aluminum NDR presented here would achieve a cooling power of approximately 40 nW at 560 $\mu$K less than six days after cooling from room temperature, with a small offset in electronic temperature that decreases as the time-dependent heat load decays.

The possibilities of combining several degrees of freedom inside a unique material have recently been highlighted in their dynamics and proposed as information carriers in quantum devices where their cross-manipulation by external parameters such as electric and magnetic fields could enhance their functionalities. An emblematic example is that of electromagnons, spin-waves dressed with electric dipoles, that are fingerprints of multiferroics. Point-like objects have also been identified, which may take the form of excited quasiparticles. This is the case for magnetic monopoles, the exotic excitations of spin ices, that have been recently proposed to carry an electric dipole although experimental evidences remain elusive. Presently, we investigate the electrical signature of a classical spin ice and a related compound that supports quantum fluctuations. Our in-depth study clearly attributes magnetoelectricity to the correlated spin ice phase distinguishing it from extrinsic and single-ion effects. Our calculations show that the proposed model conferring magnetoelectricity to monopoles is not sufficient, calling for higher order contributions.

We give an overview of differential cohomology from the point of view of algebraic topology. This includes a survey of several different definitions of differential cohomology groups, a discussion of differential characteristic classes, an introduction to differential generalized cohomology theory, and some applications in physics., Comment: 20 pages, article for the Encyclopedia of Mathematical Physics, 2nd ed

We provide a mathematical proposal for the anomaly indicators of symmetries of (2+1)-d fermionic topological orders, and work out the consequences of our proposal in several nontrivial examples. Our proposal is an invariant of a super modular tensor category with a fermionic group action, which gives a (3+1)-d topological field theory (TFT) that we conjecture to be invertible; the anomaly indicators are partition functions of this TFT on $4$-manifolds generating the corresponding twisted spin bordism group. Our construction relies on a bosonization construction due to Gaiotto-Kapustin and Tata-Kobayashi-Bulmash-Barkeshli, together with a ``bosonization conjecture'' which we explain in detail. In the second half of the paper, we discuss several examples of our invariants relevant to condensed-matter physics. The most important example we consider is $\mathbb{Z}/4^T\times \mathbb{Z}/2^f$ time-reversal symmetry with symmetry algebra $\mathcal T^2 = (-1)^FC$, which many fermionic topological orders enjoy, including the $\mathrm{U}(1)_5$ spin Chern-Simons theory. Using newly developed tools involving the Smith long exact sequence, we calculate the cobordism group that classifies its anomaly, present the generating manifold, and calculate the partition function on the generating manifold which serves as our anomaly indicator. Our approach allows us to reproduce anomaly indicators known in the literature with simpler proofs, including $\mathbb{Z}/4^{Tf}$ time-reversal symmetry with symmetry algebra $\mathcal T^2 = (-1)^F$, and other symmetry groups in the 10-fold way involving Lie group symmetries., Comment: 82 pages, comments welcome

Tangent Cylinders (TCs) have shaped our understanding of planetary dynamos and liquid cores. The Taylor-Proudman Constraint (TPC) due to planetary rotation creates these imaginary surfaces separating polar and equatorial regions but cannot explain the flows meandering through them. Here we establish and verify experimentally that magnetic fields aligned with rotation drive flows \emph{into} TCs, linked to the flows \emph{along} TCs by a \emph{magnetic} Taylor-Proudman constraint. This constraint explains and quantifies how magnetic fields reshape rotating flows in planetary interiors and magnetorotating flows in general., Comment: 6 pages + 2 pages supplemental material, 4 figures, 48 references

The three tachyon-free non-supersymmetric string theories in ten dimensions provide a handle on quantum gravity away from the supersymmetric lamppost. However, they have not been shown to be fully consistent; although local anomalies cancel due to versions of the Green-Schwarz mechanism, there could be global anomalies, not cancelled by the Green-Schwarz mechanism, that could become fatal pathologies. We compute the twisted string bordism groups that control these anomalies via the Adams spectral sequence, showing that they vanish completely in two out of three cases (Sugimoto and $SO(16)^2$) and showing a partial vanishing also in the third (Sagnotti 0'B model). We also compute lower-dimensional bordism groups of the non-supersymmetric string theories, which are of interest to the classification of branes in these theories via the Cobordism Conjecture. We propose a worldvolume content based on anomaly inflow for the $SO(16)^2$ NS5-brane, and discuss subtleties related to the torsion part of the Bianchi identity. As a byproduct of our techniques and analysis, we also reprove that the outer $\mathbb{Z}_2$ automorphism swapping the two $E_8$ factors in the supersymmetric heterotic string is also non-anomalous., Comment: 67 pages + references, 10 figures, 1 table v3: correction added

We study defects in symmetry breaking phases, such as domain walls, vortices, and hedgehogs. In particular, we focus on the localized gapless excitations which sometimes occur at the cores of these objects. These are topologically protected by an 't Hooft anomaly. We classify different symmetry breaking phases in terms of the anomalies of these defects, and relate them to the anomaly of the broken symmetry by an anomaly-matching formula. We also derive the obstruction to the existence of a symmetry breaking phase with a local defect. We obtain these results using a long exact sequence of groups of invertible field theories, which we call the "symmetry breaking long exact sequence" (SBLES). The mathematical backbone of the SBLES is studied in a companion paper. Our work further develops the theory of higher Berry phase and its bulk-boundary correspondence, and serves as a new computational tool for classifying symmetry protected topological phases., Comment: 31 pages, 4 figures. The mathematical sections have been removed and now appear in 2405.04649

The last several years have been trying for students, communities, and schools. As states and local educational agencies work to meet the significant health and educational needs of students, and address the vast racial and socioeconomic inequities that have been heightened by the pandemic, the federal role in education is critical. Because the Elementary and Secondary Education Act (ESEA) remains the government's most consequential mechanism to promote equity in public education, the upcoming reauthorization of the law's latest version, the Every Student Succeeds Act (ESSA), presents an opportunity to re-envision this federal role in promoting access to quality educational opportunities. In this brief, the authors describe an equitable, evidence-based, and ecological civil rights framework to guide the redesign of ESSA. It places students, staff, school systems, and cross-sector collaboration at the center of ESEA and considers the complexity of racial, socioeconomic, and other inequities along with the strengths nested within communities.

Bug localization techniques for Just-in-Time (JIT) compilers are based on analyzing the execution behaviors of the target JIT compiler on a set of test programs generated for this purpose; characteristics of these test inputs can significantly impact the accuracy of bug localization. However, current approaches for automatic test program generation do not work well for bug localization in JIT compilers. This paper proposes a novel technique for automatic test program generation for JIT compiler bug localization that is based on two key insights: (1) the generated test programs should contain both passing inputs (which do not trigger the bug) and failing inputs (which trigger the bug); and (2) the passing inputs should be as similar as possible to the initial seed input, while the failing programs should be as different as possible from it. We use a structural analysis of the seed program to determine which parts of the code should be mutated for each of the passing and failing cases. Experiments using a prototype implementation indicate that test inputs generated using our approach result in significantly improved bug localization results than existing approaches.

When $R$ is one of the spectra $\mathit{ku}$, $\mathit{ko}$, $\mathit{tmf}$, $\mathit{MTSpin}^c$, $\mathit{MTSpin}$, or $\mathit{MTString}$, there is a standard approach to computing twisted $R$-homology groups of a space $X$ with the Adams spectral sequence, by using a change-of-rings isomorphism to simplify the $E_2$-page. This approach requires the assumption that the twist comes from a vector bundle, i.e. the twist map $X\to B\mathrm{GL}_1(R)$ factors through $B\mathrm{O}$. We show this assumption is unnecessary by working with Baker-Lazarev's Adams spectral sequence of $R$-modules and computing its $E_2$-page for a large class of twists of these spectra. We then work through two example computations motivated by anomaly cancellation for supergravity theories., Comment: 41 pages, comments welcome

In the presence of a nonzero B-field, the symmetries of the $\mathrm E_8\times \mathrm E_8$ heterotic string form a 2-group, or a categorified group, as do the symmetries of the CHL string. We express the bordism groups of the corresponding tangential structures as twisted string bordism groups, then compute them through dimension 11 modulo a few unresolved ambiguities. Then, we use these bordism groups to study anomalies and defects for these two string theories., Comment: 64 pages. Comments welcome!

In this work we investigate the Swampland Cobordism Conjecture in the context of type IIB string theory geometries with non-trivial duality bundle. Quite remarkably, we find that many non-trivial bordism classes with duality bundles in Mp$(2,\mathbb{Z})$, a double cover of SL$(2,\mathbb{Z})$ related to fermions, correspond to asymptotic boundaries of well-known supersymmetric F-theory backgrounds. These include $[p,q]$-7-branes, non-Higgsable clusters, S-folds, as well as various lower-dimensional generalizations. These string theoretic objects break the global symmetries associated to the non-trivial bordism groups, providing a strong test of the Cobordism Conjecture. Further including worldsheet orientation reversal promotes the duality group to the Pin$^+$ cover of GL$(2,\mathbb{Z})$. The corresponding bordism groups require a new non-supersymmetric "reflection 7-brane" and its compactifications to ensure the absence of global symmetries, thus providing an interesting prediction of the Cobordism Conjecture for non-supersymmetric type IIB backgrounds. A major component of the present work is the explicit derivation of the involved bordism groups as well as their generators, which correspond to asymptotic boundaries of explicit string theory backgrounds. The main tool is the Adams spectral sequence, to which we provide a detailed introduction. We anticipate that the same techniques can be applied in a wide variety of settings., Comment: 143 pages + appendices + references, 35 Figures, 16 Tables, 1 Map to the Lands of IIBordia

Missing data is a common problem in medical research, and is commonly addressed using multiple imputation. Although traditional imputation methods allow for valid statistical inference when data are missing at random (MAR), their implementation is problematic when the presence of missingness depends on unobserved variables, i.e. the data are missing not at random (MNAR). Unfortunately, this MNAR situation is rather common, in observational studies, registries and other sources of real-world data. While several imputation methods have been proposed for addressing individual studies when data are MNAR, their application and validity in large datasets with multilevel structure remains unclear. We therefore explored the consequence of MNAR data in hierarchical data in-depth, and proposed a novel multilevel imputation method for common missing patterns in clustered datasets. This method is based on the principles of Heckman selection models and adopts a two-stage meta-analysis approach to impute binary and continuous variables that may be outcomes or predictors and that are systematically or sporadically missing. After evaluating the proposed imputation model in simulated scenarios, we illustrate it use in a cross-sectional community survey to estimate the prevalence of malaria parasitemia in children aged 2-10 years in five subregions in Uganda., Comment: 18 pages, 7 figures

We perform a bordism computation to show that the $E_{7(7)}(\mathbb{R})$ U-duality symmetry of 4d $\mathcal N = 8$ supergravity could have an anomaly invisible to perturbative methods; then we show that this anomaly is trivial. We compute the relevant bordism group using the Adams and Atiyah-Hirzebruch spectral sequences, and we show the anomaly vanishes by computing $\eta$-invariants on the Wu manifold, which generates the bordism group., Comment: 29 pages, 4 figures

In recent years, there has been a growing interest in the prediction of individualized treatment effects. While there is a rapidly growing literature on the development of such models, there is little literature on the evaluation of their performance. In this paper, we aim to facilitate the validation of prediction models for individualized treatment effects. The estimands of interest are defined as based on the potential outcomes framework, which facilitates a comparison of existing and novel measures. In particular, we examine existing measures of measures of discrimination for benefit (variations of the c-for-benefit), and propose model-based extensions to the treatment effect setting for discrimination and calibration metrics that have a strong basis in outcome risk prediction. The main focus is on randomized trial data with binary endpoints and on models that provide individualized treatment effect predictions and potential outcome predictions. We use simulated data to provide insight into the characteristics of the examined discrimination and calibration statistics under consideration, and further illustrate all methods in a trial of acute ischemic stroke treatment. The results show that the proposed model-based statistics had the best characteristics in terms of bias and accuracy. While resampling methods adjusted for the optimism of performance estimates in the development data, they had a high variance across replications that limited their accuracy. Therefore, individualized treatment effect models are best validated in independent data. To aid implementation, a software implementation of the proposed methods was made available in R.

In this paper we elaborate on the nature and challenges for the magnet systems of a muon collider as presently considered within the scope of the International Muon Collider Collaboration (IMCC). We outline the structure of the work proposed over the coming period of five years to study and demonstrate relevant magnet technology. The proposal, which is part of the overall work planned to establish feasibility of a muon collider, is in direct response to the recent recommendations received from the Laboratories Directors Group (LDG). The plan is to profit from joint activities, within the scope of the IMCC and beyond, implemented through direct and EU-funded contributions., Comment: contribution to Snowmass 2021

The American voters have spoken, and the country will inaugurate a Biden-Harris Administration in January. In his first speech as President-Elect on November 7, 2020, Joe Biden said that, "the battle to achieve racial justice and root out systemic racism in this country" was a pillar of the Biden-Harris transition plan. This important goal will, however, face significant challenges. In this policy memo, the authors review key educational civil rights rollbacks under Trump and offer six concrete suggestions for steps that the new administration can and should take to move forward in this crucial area.

The Virasoro groups are a family of central extensions of $\mathrm{Diff}^+(S^1)$, the group of orientation-preserving diffeomorphisms of $S^1$, by the circle group $\mathbb T$. We give a novel, geometric construction of these central extensions using "off-diagonal" differential lifts of the first Pontryagin class, thus affirmatively answering a question of Freed-Hopkins., Comment: 26 pages

A common problem in the analysis of multiple data sources, including individual participant data meta-analysis (IPD-MA), is the misclassification of binary variables. Misclassification may lead to biased estimates of model parameters, even when the misclassification is entirely random. We aimed to develop statistical methods that facilitate unbiased estimation of adjusted and unadjusted exposure-outcome associations and between-study heterogeneity in IPD-MA, where the extent and nature of exposure misclassification may vary across studies. We present Bayesian methods that allow misclassification of binary exposure variables to depend on study- and participant-level characteristics. In an example of the differential diagnosis of dengue using two variables, where the gold standard measurement for the exposure variable was unavailable for some studies which only measured a surrogate prone to misclassification, our methods yielded more accurate estimates than analyses naive with regard to misclassification or based on gold standard measurements alone. In a simulation study, the evaluated misclassification model yielded valid estimates of the exposure-outcome association, and was more accurate than analyses restricted to gold standard measurements. Our proposed framework can appropriately account for the presence of binary exposure misclassification in IPD-MA. It requires that some studies supply IPD for the surrogate and gold standard exposure and misclassification is exchangeable across studies conditional on observed covariates (and outcome). The proposed methods are most beneficial when few large studies that measured the gold standard are available, and when misclassification is frequent.

This chapter addresses important steps during the quality assurance and control of RWD, with particular emphasis on the identification and handling of missing values. A gentle introduction is provided on common statistical and machine learning methods for imputation. We discuss the main strengths and weaknesses of each method, and compare their performance in a literature review. We motivate why the imputation of RWD may require additional efforts to avoid bias, and highlight recent advances that account for informative missingness and repeated observations. Finally, we introduce alternative methods to address incomplete data without the need for imputation., Comment: This is a preprint of a book chapter for Springer

We give an overview of differential cohomology from a modern, homotopy-theoretic perspective in terms of sheaves on manifolds. Although modern techniques are used, we base our discussion in the classical precursors to this modern approach, such as Chern-Weil theory and differential characters, and include the necessary background to increase accessibility. Special treatment is given to differential characteristic classes, including a differential lift of the first Pontryagin class. Multiple applications, including to configuration spaces, invertible field theories, and conformal immersions, are also discussed. This book is based on talks given at MIT's Juvitop seminar jointly with UT Austin in the Fall of 2019., Comment: Comments very welcome! Edited by: A. Amabel, A. Debray, P. Haine. Talks by: A. Amabel, D. Chua, A. Debray, S. Devalapurkar, D. Freed, P. Haine, M. Hopkins, G. Parker, C. Reid, and A. Zhang. v2. Added Chapter 13 on classifying spaces for G-bundles. Improved notation. Corrected numerous typos and made a number of minor additions. v1. 232 pages

Type IIB supergravity enjoys a discrete non-Abelian duality group, which has potential quantum anomalies. In this paper we explicitly compute these, and present the bordism group that controls them, modulo some physically motivated assumptions. Quite surprisingly, we find that they do not vanish, which naively would signal an inconsistency of F-theory. Remarkably, a subtle modification of the standard 10d Chern-Simons term cancels these anomalies, a fact which relies on the ***specific*** field content of type IIB supergravity. We also discover other ways to cancel this anomaly, via a topological analog of the Green-Schwarz mechanism. These alternative type IIB theories have the same low energy supergravity limit as ordinary type IIB, but a different spectrum of extended objects. They could either be part of the Swampland, or connect to the standard theory via domain walls., Comment: 40 pages + appendices, 4 figures, 331776 bordism classes. v2: Added references, expanded discussion on quadratic refinement

Randomized trials typically estimate average relative treatment effects, but decisions on the benefit of a treatment are possibly better informed by more individualized predictions of the absolute treatment effect. In case of a binary outcome, these predictions of absolute individualized treatment effect require knowledge of the individual's risk without treatment and incorporation of a possibly differential treatment effect (i.e. varying with patient characteristics). In this paper we lay out the causal structure of individualized treatment effect in terms of potential outcomes and describe the required assumptions that underlie a causal interpretation of its prediction. Subsequently, we describe regression models and model estimation techniques that can be used to move from average to more individualized treatment effect predictions. We focus mainly on logistic regression-based methods that are both well-known and naturally provide the required probabilistic estimates. We incorporate key components from both causal inference and prediction research to arrive at individualized treatment effect predictions. While the separate components are well known, their successful amalgamation is very much an ongoing field of research. We cut the problem down to its essentials in the setting of a randomized trial, discuss the importance of a clear definition of the estimand of interest, provide insight into the required assumptions, and give guidance with respect to modeling and estimation options. Simulated data illustrates the potential of different modeling options across scenarios that vary both average treatment effect and treatment effect heterogeneity. Two applied examples illustrate individualized treatment effect prediction in randomized trial data., Comment: 27 pages, 5 figures, 1 ancillary file

Kreck's modified surgery theory reduces the classification of closed, connected 4-manifolds, up to connect sum with some number of copies of $S^2\times S^2$, to a series of bordism questions. We implement this in the case of unorientable 4-manifolds M and show that for some choices of fundamental groups, the computations simplify considerably. We use this to solve some cases in which $\pi_1(M)$ is finite of order 2 mod 4: under an assumption on cohomology, there are nine stable diffeomorphism classes for which M is pin$^+$, one stable diffeomorphism class for which M is pin$^-$, and four stable diffeomorphism classes for which M is neither. We also determine the corresponding stable homeomorphism classes., Comment: 10 pages. Comments welcome! v2: fixed an error in an important lemma

Freed-Hopkins give a mathematical ansatz for classifying gapped invertible phases of matter with a spatial symmetry in terms of Borel-equivariant generalized homology. We propose a slight generalization of this ansatz to account for cases where the symmetry type mixes nontrivially with the spatial symmetry, such as crystalline phases with spin-1/2 fermions. From this ansatz, we prove as a theorem a "fermionic crystalline equivalence principle," as predicted in the physics literature. Using this and the Adams spectral sequence, we compute classifications of some classes of phases with a point group symmetry; in cases where these phases have been studied by other methods, our results agree with the literature., Comment: 88 pages. Comments welcome! v2: fixed a few incorrect calculations