Showing 1–46 of 46 results for author: Douglas, C

Extreme AutoML: Analysis of Classification, Regression, and NLP Performance

Authors: Edward Ratner, Elliot Farmer, Brandon Warner, Christopher Douglas, Amaury Lendasse

Abstract: Utilizing machine learning techniques has always required choosing hyperparameters. This is true whether one uses a classical technique such as a KNN or very modern neural networks such as Deep Learning. Though in many applications, hyperparameters are chosen by hand, automated methods have become increasingly more common. These automated methods have become collectively known as automated machine… ▽ More Utilizing machine learning techniques has always required choosing hyperparameters. This is true whether one uses a classical technique such as a KNN or very modern neural networks such as Deep Learning. Though in many applications, hyperparameters are chosen by hand, automated methods have become increasingly more common. These automated methods have become collectively known as automated machine learning, or AutoML. Several automated selection algorithms have shown similar or improved performance over state-of-the-art methods. This breakthrough has led to the development of cloud-based services like Google AutoML, which is based on Deep Learning and is widely considered to be the industry leader in AutoML services. Extreme Learning Machines (ELMs) use a fundamentally different type of neural architecture, producing better results at a significantly discounted computational cost. We benchmark the Extreme AutoML technology against Google's AutoML using several popular classification data sets from the University of California at Irvine's (UCI) repository, and several other data sets, observing significant advantages for Extreme AutoML in accuracy, Jaccard Indices, the variance of Jaccard Indices across classes (i.e. class variance) and training times. △ Less

Submitted 11 December, 2024; v1 submitted 9 December, 2024; originally announced December 2024.

Comments: 8 pages, 7 figures

ACM Class: I.2.6; I.2.7

Naive Algorithmic Collusion: When Do Bandit Learners Cooperate and When Do They Compete?

Authors: Connor Douglas, Foster Provost, Arun Sundararajan

Abstract: Algorithmic agents are used in a variety of competitive decision settings, notably in making pricing decisions in contexts that range from online retail to residential home rentals. Business managers, algorithm designers, legal scholars, and regulators alike are all starting to consider the ramifications of "algorithmic collusion." We study the emergent behavior of multi-armed bandit machine learn… ▽ More Algorithmic agents are used in a variety of competitive decision settings, notably in making pricing decisions in contexts that range from online retail to residential home rentals. Business managers, algorithm designers, legal scholars, and regulators alike are all starting to consider the ramifications of "algorithmic collusion." We study the emergent behavior of multi-armed bandit machine learning algorithms used in situations where agents are competing, but they have no information about the strategic interaction they are engaged in. Using a general-form repeated Prisoner's Dilemma game, agents engage in online learning with no prior model of game structure and no knowledge of competitors' states or actions (e.g., no observation of competing prices). We show that these context-free bandits, with no knowledge of opponents' choices or outcomes, still will consistently learn collusive behavior - what we call "naive collusion." We primarily study this system through an analytical model and examine perturbations to the model through simulations. Our findings have several notable implications for regulators. First, calls to limit algorithms from conditioning on competitors' prices are insufficient to prevent algorithmic collusion. This is a direct result of collusion arising even in the naive setting. Second, symmetry in algorithms can increase collusion potential. This highlights a new, simple mechanism for "hub-and-spoke" algorithmic collusion. A central distributor need not imbue its algorithm with supra-competitive tendencies for apparent collusion to arise; it can simply arise by using certain (common) machine learning algorithms. Finally, we highlight that collusive outcomes depend starkly on the specific algorithm being used, and we highlight market and algorithmic conditions under which it will be unknown a priori whether collusion occurs. △ Less

Submitted 25 November, 2024; originally announced November 2024.

Comments: To be published in proceedings of International Conference on Information Systems 2024

Monomial web basis for the SL(N) skein algebra of the twice punctured sphere

Authors: Tommaso Cremaschi, Daniel C. Douglas

Abstract: We give a new proof of a slightly modified version of a result of Queffelec--Rose, by constructing a linear basis for the $\mathrm{SL}(n)$ skein algebra of the twice punctured sphere for any non-zero complex number $q$, excluding finitely many roots of unity of small order. In particular, the skein algebra is a commutative polynomial algebra in $n-1$ generators, where each generator is represented… ▽ More We give a new proof of a slightly modified version of a result of Queffelec--Rose, by constructing a linear basis for the $\mathrm{SL}(n)$ skein algebra of the twice punctured sphere for any non-zero complex number $q$, excluding finitely many roots of unity of small order. In particular, the skein algebra is a commutative polynomial algebra in $n-1$ generators, where each generator is represented by an explicit $\mathrm{SL}(n)$ web, without crossings, on the surface. This includes the case $q=1$, where the skein algebra is identified with the coordinate ring of the $\mathrm{SL}(n)$ character variety of the twice punctured sphere. The proof of both the spanning and linear independence properties of the basis depends on the so-called $\mathrm{SL}(n)$ quantum trace map, due originally to Bonahon--Wong in the case $n=2$. Two consequences of our method are that the quantum trace map and the so-called splitting map embed the polynomial algebra into the Fock--Goncharov quantum higher Teichmüller space and the Lê--Sikora stated skein algebra, respectively, of the annulus. We end by discussing the relationship with Fock--Goncharov duality. △ Less

Submitted 19 December, 2024; v1 submitted 4 July, 2024; originally announced July 2024.

Comments: 41 pages, 19 figures. Version 2: Introduction updated

MSC Class: 2020: 57K31; 57M15; 14J33; 14T99

Competition between metal bonding and strain in tetragonal V$_{1-x}$M$_x$O$_2$ (M = Nb, Mo)

Authors: Jacob F. Phillips, Tyra C. Douglas, Matthew A. Davenport, Top B. Rawot Chhetri, Logan M. Whitt, Stephan Rosenkranz, Raymond Osborn, Matthew J. Krogstad, Jared M. Allred

Abstract: Though the effects of metal dopants on the electrostructural transition of rutile VO$_2$ have been studied for many decades, there is still no consensus explanation for the observed trends. A major challenge has been to separate the impact of a dopant's size from other factors such as its electronic configuration, which stems from the difficulty in directly probing the local bonding environment ar… ▽ More Though the effects of metal dopants on the electrostructural transition of rutile VO$_2$ have been studied for many decades, there is still no consensus explanation for the observed trends. A major challenge has been to separate the impact of a dopant's size from other factors such as its electronic configuration, which stems from the difficulty in directly probing the local bonding environment around a dopant atom. This work addresses the special case of larger dopant ions by combining X-ray total scattering experiments on V$_{0.83}$Mo$_{0.17}$O$_2$ and V$_{0.89}$Nb$_{0.11}$O$_2$ single crystals with multiple Monte Carlo method models to simulate local size effects in the high-temperature tetragonal phase (R). We find that sufficiently long apical metal-oxygen bonds (M$-$O$_{ap}$) induce a strain field in the neighboring chains that locally resembles the metal-metal dimer formation present in the low-temperature distorted structure of VO$_2$ (M1). The dimer mode in the M1 structure is antisymmetric along M$-$O$_{ap}$, however, while the strain-induced pseudodimer motif is symmetric. The implied direct competition between motifs is verified experimentally. This finding provides a new mechanistic parameter toward understanding the phase transition. More generally, the work highlights how local strain fields around dopants can lead to complex distortions that are ordinarily attributed to electronic origins. △ Less

Submitted 27 June, 2024; originally announced June 2024.

Comments: Article: 19 pages, 9 figures; Appendix: 4 pages, 2 figures, 3 tables

Onset of global instability in a premixed annular V-flame

Authors: Chuhan Wang, Christopher M. Douglas, Yu Guan, Chunxiao Xu, Lutz Lesshafft

Abstract: We investigate self-excited axisymmetric oscillations of a lean premixed methane--air V-flame in a laminar annular jet. The flame is anchored near the rim of the centrebody, forming an inverted cone, while the strongest vorticity is concentrated along the outer shear layer of the annular jet. Consequently, the reaction and vorticity dynamics are largely separated, except where they coalesce near t… ▽ More We investigate self-excited axisymmetric oscillations of a lean premixed methane--air V-flame in a laminar annular jet. The flame is anchored near the rim of the centrebody, forming an inverted cone, while the strongest vorticity is concentrated along the outer shear layer of the annular jet. Consequently, the reaction and vorticity dynamics are largely separated, except where they coalesce near the flame tip. The global eigenmodes corresponding to the linearised reacting flow equations around the steady base state are computed in an axisymmetric setting. We identify an arc branch of eigenmodes exhibiting strong oscillations at the flame tip. The associated eigenvalues are robust with respect to domain truncation and numerical discretisation, and they become destabilised as the Reynolds number increases. The frequency of the leading eigenmode is found to correspond to the Lagrangian disturbance advection time from the nozzle outlet to the flame tip. Nonlinear time-resolved simulation further reveals notable hysteresis phenomena in the subcritical regime prior to instability. Hence, even when the flame is linearly stable, perturbations of sufficient amplitude can trigger limit-cycle oscillations and higher-dimensional dynamics sustained by nonlinear feedback. A Monte Carlo simulation of passive tracers in the unsteady flame suggests a nonlinear non-local instability mechanism. Notably, linear analysis of the subcritical time-averaged limit-cycle state yields eigenvalues that do not match the nonlinear periodic oscillation frequencies, attributed to the fundamentally nonlinear dynamics of the subcritical V-flame instability, where the dichromatic, non-local interaction cannot be approximated as a simple distortion of the mean flow. △ Less

Submitted 6 September, 2024; v1 submitted 26 April, 2024; originally announced April 2024.

Journal ref: J. Fluid Mech. 998 (2024) A23

Manifold diagrams and tame tangles

Authors: Christoph Dorn, Christopher L. Douglas

Abstract: Diagrammatic notation has become a ubiquitous computational tool; early examples include Penrose's graphical notation for tensor calculus, Feynman's diagrams for perturbative quantum field theory, and Cvitanovic's birdtracks for Lie algebras. Category theory provides a robust framework in which to understand the nature of such diagrams, and Joyal and Street formalized this framework by introducing… ▽ More Diagrammatic notation has become a ubiquitous computational tool; early examples include Penrose's graphical notation for tensor calculus, Feynman's diagrams for perturbative quantum field theory, and Cvitanovic's birdtracks for Lie algebras. Category theory provides a robust framework in which to understand the nature of such diagrams, and Joyal and Street formalized this framework by introducing string diagrams, governed by the syntax of monoidal 1-categories. The notion of "manifold diagrams" generalizes string diagrams to higher dimensions, and can be interpreted in higher-categorical terms by a process of geometric dualization. The closely related notion of "tame tangles" describes a well-behaved class of embedded manifolds that can likewise be interpreted categorically. In this paper we formally introduce the notions of manifold diagrams and of tame tangles, and show that they admit a combinatorial classification, by using results from the toolbox of framed combinatorial topology. We then study the stability of tame tangles under perturbation; the local forms of perturbation stable tame tangles provide combinatorial models of differential singularities. As an illustration we describe various such combinatorial singularities in low dimensions. We conclude by observing that all smooth 4-manifolds can be presented as tame tangles, and conjecture that the same is true for smooth manifolds of any dimension. △ Less

Submitted 29 August, 2022; originally announced August 2022.

Dimers, webs, and local systems

Authors: Daniel C. Douglas, Richard Kenyon, Haolin Shi

Abstract: For a planar bipartite graph $\mathcal G$ equipped with a $\mathrm{SL}_n$-local system, we show that the determinant of the associated Kasteleyn matrix counts "$n$-multiwebs" (generalizations of $n$-webs) in $\mathcal G$, weighted by their web-traces. We use this fact to study random $n$-multiwebs in graphs on some simple surfaces. For a planar bipartite graph $\mathcal G$ equipped with a $\mathrm{SL}_n$-local system, we show that the determinant of the associated Kasteleyn matrix counts "$n$-multiwebs" (generalizations of $n$-webs) in $\mathcal G$, weighted by their web-traces. We use this fact to study random $n$-multiwebs in graphs on some simple surfaces. △ Less

Submitted 17 December, 2023; v1 submitted 10 May, 2022; originally announced May 2022.

Comments: Version 2: Same as published version

MSC Class: 82B20; 57M15

Framed combinatorial topology

Authors: Christoph Dorn, Christopher L. Douglas

Abstract: Framed combinatorial topology is a novel theory describing combinatorial phenomena arising at the intersection of stratified topology, singularity theory, and higher algebra. The theory synthesizes elements of classical combinatorial topology with a new combinatorial approach to framings. The resulting notion of framed combinatorial spaces has unexpectedly good behavior when compared to classical,… ▽ More Framed combinatorial topology is a novel theory describing combinatorial phenomena arising at the intersection of stratified topology, singularity theory, and higher algebra. The theory synthesizes elements of classical combinatorial topology with a new combinatorial approach to framings. The resulting notion of framed combinatorial spaces has unexpectedly good behavior when compared to classical, nonframed combinatorial notions of space. In discussing this behavior and its contrast with that of classical structures, we emphasize two broad themes, computability in combinatorial topology and combinatorializability of topological phenomena. The first theme of computability concerns whether certain combinatorial structures can be algorithmically recognized and classified. The second theme of combinatorializability concerns whether certain topological structures can be faithfully represented by a discrete structure. Combining these themes, we will find that in the context of framed combinatorial topology we can overcome a set of fundamental classical obstructions to the computable combinatorial representation of topological phenomena. △ Less

Submitted 29 December, 2021; originally announced December 2021.

A magnetic excitation linking quasi-1D Chevrel-type selenide and arsenide superconductors

Authors: Logan M. Whitt, Tyra C. Douglas, Songxue Chi, Keith M. Taddei, Jared M. Allred

Abstract: The quasi-one-dimensional Chevrel phases, A$_2$Mo$_6$Se$_6$ (A = Tl, In, K, Rb, Cs), are of interest due to their atypical electronic properties. The Tl and In analogues undergo a superconducting transition whereas the alkali metal analogues show charge gapping of another, not well understood type. We report the results of inelastic neutron scattering on polycrystalline In$_2$Mo$_6$Se$_6$ (… ▽ More The quasi-one-dimensional Chevrel phases, A$_2$Mo$_6$Se$_6$ (A = Tl, In, K, Rb, Cs), are of interest due to their atypical electronic properties. The Tl and In analogues undergo a superconducting transition whereas the alkali metal analogues show charge gapping of another, not well understood type. We report the results of inelastic neutron scattering on polycrystalline In$_2$Mo$_6$Se$_6$ ($T_c=2.85\,$K) and Rb$_2$Mo$_6$Se$_6$ (non-superconducting) samples, which reveal a column of intensity with linear dispersion from [0 0 1/2] to [0 0 1] in both compounds. The observed temperature and |$Q$| independence together suggest the presence of unconventional carriers with a spin contribution to the excitation. This is contrary to the prevailing model for these materials, which is that they are non-magnetic. The excitation has similar dispersion and $S(Q,E,T)$ behavior as one observed in the structurally related superconducting compounds A$_2$Cr$_3$As$_3$ and A$_2$Mo$_3$As$_3$ (A = K, Rb, Cs), which has been interpreted as magnetic in origin and related to Fermi surface nesting. The connection is unexpected because the calculated Fermi surface of the arsenides differs substantially from the A$_2$Mo$_6$Se$_6$ compounds, and many consider them distinct classes of materials. The new observation suggests a hidden link in the physics between both classes of superconductors, perhaps originating from their quasi-low-dimensional character. △ Less

Submitted 27 June, 2024; v1 submitted 19 October, 2021; originally announced October 2021.

Comments: Replaced with accepted article: 12 pages, 3 figures. Appendix: 4 pages, 1 figure

Journal ref: Phys. Rev. Materials 6, 124804, 2022

Computing an Optimal Pitching Strategy in a Baseball At-Bat

Authors: Connor Douglas, Everett Witt, Mia Bendy, Yevgeniy Vorobeychik

Abstract: The field of quantitative analytics has transformed the world of sports over the last decade. To date, these analytic approaches are statistical at their core, characterizing what is and what was, while using this information to drive decisions about what to do in the future. However, as we often view team sports, such as soccer, hockey, and baseball, as pairwise win-lose encounters, it seems natu… ▽ More The field of quantitative analytics has transformed the world of sports over the last decade. To date, these analytic approaches are statistical at their core, characterizing what is and what was, while using this information to drive decisions about what to do in the future. However, as we often view team sports, such as soccer, hockey, and baseball, as pairwise win-lose encounters, it seems natural to model these as zero-sum games. We propose such a model for one important class of sports encounters: a baseball at-bat, which is a matchup between a pitcher and a batter. Specifically, we propose a novel model of this encounter as a zero-sum stochastic game, in which the goal of the batter is to get on base, an outcome the pitcher aims to prevent. The value of this game is the on-base percentage (i.e., the probability that the batter gets on base). In principle, this stochastic game can be solved using classical approaches. The main technical challenges lie in predicting the distribution of pitch locations as a function of pitcher intention, predicting the distribution of outcomes if the batter decides to swing at a pitch, and characterizing the level of patience of a particular batter. We address these challenges by proposing novel pitcher and batter representations as well as a novel deep neural network architecture for outcome prediction. Our experiments using Kaggle data from the 2015 to 2018 Major League Baseball seasons demonstrate the efficacy of the proposed approach. △ Less

Submitted 8 October, 2021; originally announced October 2021.

Points of quantum $\mathrm{SL}_n$ coming from quantum snakes

Authors: Daniel C. Douglas

Abstract: We show that the quantized Fock-Goncharov monodromy matrices satisfy the relations of the quantum special linear group $\mathrm{SL}_n^q$. The proof employs a quantum version of the technology invented by Fock-Goncharov called snakes. This relationship between higher Teichmüller theory and quantum group theory is integral to the construction of a $\mathrm{SL}_n$-quantum trace map for knots in thick… ▽ More We show that the quantized Fock-Goncharov monodromy matrices satisfy the relations of the quantum special linear group $\mathrm{SL}_n^q$. The proof employs a quantum version of the technology invented by Fock-Goncharov called snakes. This relationship between higher Teichmüller theory and quantum group theory is integral to the construction of a $\mathrm{SL}_n$-quantum trace map for knots in thickened surfaces, partially developed in a companion paper (arXiv:2101.06817). △ Less

Submitted 4 February, 2025; v1 submitted 7 March, 2021; originally announced March 2021.

Comments: 47 pages (double-spaced), 21 figures. Version 3: Final version after publication

MSC Class: 2020: 57K31; 32G15; 20G42

Journal ref: Algebr. Geom. Topol. 24 (2024) 2537-2570

Quantum traces for $\mathrm{SL}_n(\mathbb{C})$: The case $n=3$

Authors: Daniel C. Douglas

Abstract: We generalize Bonahon-Wong's $\mathrm{SL}_2(\mathbb{C})$-quantum trace map to the setting of $\mathrm{SL}_3(\mathbb{C})$. More precisely, given a non-zero complex parameter $q=e^{2 πi \hbar}$, we associate to each isotopy class of framed oriented links $K$ in a thickened punctured surface $\mathfrak{S} \times (0, 1)$ a Laurent polynomial $\mathrm{Tr}_λ^q(K) = \mathrm{Tr}_λ^q(K)(X_i^q)$ in $q$-defo… ▽ More We generalize Bonahon-Wong's $\mathrm{SL}_2(\mathbb{C})$-quantum trace map to the setting of $\mathrm{SL}_3(\mathbb{C})$. More precisely, given a non-zero complex parameter $q=e^{2 πi \hbar}$, we associate to each isotopy class of framed oriented links $K$ in a thickened punctured surface $\mathfrak{S} \times (0, 1)$ a Laurent polynomial $\mathrm{Tr}_λ^q(K) = \mathrm{Tr}_λ^q(K)(X_i^q)$ in $q$-deformations $X_i^q$ of the Fock-Goncharov $\mathcal{X}$-coordinates for higher Teichmüller space. This construction depends on a choice $λ$ of ideal triangulation of the surface $\mathfrak{S}$. Along the way, we propose a definition for a $\mathrm{SL}_n(\mathbb{C})$-version of this invariant. △ Less

Submitted 8 May, 2024; v1 submitted 17 January, 2021; originally announced January 2021.

Comments: 76 pages (double-spaced), 41 figures + appended computer code; 115 pages in total. Version 4: Final version after publication

MSC Class: 2020: 57K31; 32G15; 20G42

Tropical Fock-Goncharov coordinates for $\mathrm{SL}_3$-webs on surfaces II: naturality

Authors: Daniel C. Douglas, Zhe Sun

Abstract: In a companion paper (arXiv 2011.01768), we constructed nonnegative integer coordinates $Φ_\mathscr{T}(\mathscr{W}_{3, \hat{S}}) \subset \mathbb{Z}_{\geq 0}^N$ for the collection $\mathscr{W}_{3, \hat{S}}$ of reduced $\mathrm{SL}_3$-webs on a finite-type punctured surface $\hat{S}$, depending on an ideal triangulation $\mathscr{T}$ of $\hat{S}$. We show that these coordinates are natural with resp… ▽ More In a companion paper (arXiv 2011.01768), we constructed nonnegative integer coordinates $Φ_\mathscr{T}(\mathscr{W}_{3, \hat{S}}) \subset \mathbb{Z}_{\geq 0}^N$ for the collection $\mathscr{W}_{3, \hat{S}}$ of reduced $\mathrm{SL}_3$-webs on a finite-type punctured surface $\hat{S}$, depending on an ideal triangulation $\mathscr{T}$ of $\hat{S}$. We show that these coordinates are natural with respect to the choice of triangulation, in the sense that if a different triangulation $\mathscr{T}^\prime$ is chosen, then the coordinate change map relating $Φ_\mathscr{T}(\mathscr{W}_{3, \hat{S}})$ to $Φ_{\mathscr{T}^\prime}(\mathscr{W}_{3, \hat{S}})$ is a tropical $\mathcal{A}$-coordinate cluster transformation. We can therefore view the webs $\mathscr{W}_{3, \hat{S}}$ as a concrete topological model for the Fock-Goncharov-Shen positive integer tropical points $\mathcal{A}_{\mathrm{PGL}_3, \hat{S}}^+(\mathbb{Z}^t)$. △ Less

Submitted 10 April, 2025; v1 submitted 28 December, 2020; originally announced December 2020.

Comments: 69 pages, 28 figures. Version 3: Final version after publication

MSC Class: 2020: 32G15; 57M15 (Primary); 13F60; 14J33 (Secondary)

Tropical Fock-Goncharov coordinates for $\mathrm{SL}_3$-webs on surfaces I: construction

Authors: Daniel C. Douglas, Zhe Sun

Abstract: For a finite-type surface $\mathfrak{S}$, we study a preferred basis for the commutative algebra $\mathbb{C}[\mathscr{R}_{\mathrm{SL}_3(\mathbb{C})}(\mathfrak{S})]$ of regular functions on the $\mathrm{SL}_3(\mathbb{C})$-character variety, introduced by Sikora-Westbury. These basis elements come from the trace functions associated to certain tri-valent graphs embedded in the surface… ▽ More For a finite-type surface $\mathfrak{S}$, we study a preferred basis for the commutative algebra $\mathbb{C}[\mathscr{R}_{\mathrm{SL}_3(\mathbb{C})}(\mathfrak{S})]$ of regular functions on the $\mathrm{SL}_3(\mathbb{C})$-character variety, introduced by Sikora-Westbury. These basis elements come from the trace functions associated to certain tri-valent graphs embedded in the surface $\mathfrak{S}$. We show that this basis can be naturally indexed by non-negative integer coordinates, defined by Knutson-Tao rhombus inequalities and modulo 3 congruence conditions. These coordinates are related, by the geometric theory of Fock and Goncharov, to the tropical points at infinity of the dual version of the character variety. △ Less

Submitted 6 January, 2024; v1 submitted 3 November, 2020; originally announced November 2020.

Comments: 58 pages, 58 figures. Version 3: Final version after publication

MSC Class: 2020: 57M15; 32G15

Fragile 3D Order in V$_{1-x}$Mo$_x$O$_2$

Authors: Matthew A. Davenport, Matthew J. Krogstad, Logan M. Whitt, Chaowei Hu, Tyra C. Douglas, Ni Ni, Stephan Rosenkranz, Raymond Osborn, Jared M. Allred

Abstract: The metal-to-insulator transition (MIT) in rutile VO$_2$ has proven uniquely difficult to characterize because of the complex interplay between electron correlations and atomic structure. Here we report the discovery of the sudden collapse of three-dimensional order in the low-temperature phase of V$_{1-x}$Mo$_x$O$_2$ at $x=0.17$ and the emergence of a novel frustrated two-dimensional order at… ▽ More The metal-to-insulator transition (MIT) in rutile VO$_2$ has proven uniquely difficult to characterize because of the complex interplay between electron correlations and atomic structure. Here we report the discovery of the sudden collapse of three-dimensional order in the low-temperature phase of V$_{1-x}$Mo$_x$O$_2$ at $x=0.17$ and the emergence of a novel frustrated two-dimensional order at $x=0.19$, with only a slight change in electronic properties. Single crystal diffuse x-ray scattering reveals that this transition from the 3D M1 phase to a 2D variant of the M2 phase results in long-range structural correlations along symmetry-equivalent (11L) planes of the tetragonal rutile structure, yet extremely short-range correlations transverse to these planes. These findings suggest that this two-dimensionality results from a novel form of geometric frustration that is essentially structural in origin. △ Less

Submitted 27 June, 2024; v1 submitted 27 September, 2019; originally announced September 2019.

Comments: 6 pages, 5 figures

Journal ref: Phys. Rev. Lett. 127, 125501 (2021)

Conformal nets V: dualizability

Authors: Arthur Bartels, Christopher L. Douglas, André Henriques

Abstract: We prove that finite-index conformal nets are fully dualizable objects in the 3-category of conformal nets. Therefore, assuming the cobordism hypothesis applies, there exists a local framed topological field theory whose value on the point is any finite-index conformal net. Along the way, we prove a Peter-Weyl theorem for defects between conformal nets, namely that the annular sector of a finite d… ▽ More We prove that finite-index conformal nets are fully dualizable objects in the 3-category of conformal nets. Therefore, assuming the cobordism hypothesis applies, there exists a local framed topological field theory whose value on the point is any finite-index conformal net. Along the way, we prove a Peter-Weyl theorem for defects between conformal nets, namely that the annular sector of a finite defect is the sum of every sector tensor its dual. △ Less

Submitted 8 May, 2019; originally announced May 2019.

Fusion 2-categories and a state-sum invariant for 4-manifolds

Authors: Christopher L. Douglas, David J. Reutter

Abstract: We introduce semisimple 2-categories, fusion 2-categories, and spherical fusion 2-categories. For each spherical fusion 2-category, we construct a state-sum invariant of oriented singular piecewise-linear 4-manifolds. We introduce semisimple 2-categories, fusion 2-categories, and spherical fusion 2-categories. For each spherical fusion 2-category, we construct a state-sum invariant of oriented singular piecewise-linear 4-manifolds. △ Less

Submitted 31 December, 2018; originally announced December 2018.

Why ReLU Units Sometimes Die: Analysis of Single-Unit Error Backpropagation in Neural Networks

Authors: Scott C. Douglas, Jiutian Yu

Abstract: Recently, neural networks in machine learning use rectified linear units (ReLUs) in early processing layers for better performance. Training these structures sometimes results in "dying ReLU units" with near-zero outputs. We first explore this condition via simulation using the CIFAR-10 dataset and variants of two popular convolutive neural network architectures. Our explorations show that the out… ▽ More Recently, neural networks in machine learning use rectified linear units (ReLUs) in early processing layers for better performance. Training these structures sometimes results in "dying ReLU units" with near-zero outputs. We first explore this condition via simulation using the CIFAR-10 dataset and variants of two popular convolutive neural network architectures. Our explorations show that the output activation probability Pr[y>0] is generally less than 0.5 at system convergence for layers that do not employ skip connections, and this activation probability tends to decrease as one progresses from input layer to output layer. Employing a simplified model of a single ReLU unit trained by a variant of error backpropagation, we then perform a statistical convergence analysis to explore the model's evolutionary behavior. Our analysis describes the potentially-slower convergence speeds of dying ReLU units, and this issue can occur regardless of how the weights are initialized. △ Less

Submitted 14 December, 2018; originally announced December 2018.

Comments: 5 pages, 7 figures, Proc. 52nd Asilomar Conference on Signals, Systems, and Computers, Pacific Grove, CA, October 2018

A Spectral Projection Preconditioner for Solving Ill Conditioned Linear Systems

Authors: Man-Chung Yeung, Craig C. Douglas, Long Lee

Abstract: We present a preconditioner based on spectral projection that is combined with a deflated Krylov subspace method for solving ill conditioned linear systems of equations. Our results show that the proposed algorithm requires many fewer iterations to achieve the convergence criterion for solving an ill conditioned problem than a Krylov subspace solver. In our numerical experiments, the solution obta… ▽ More We present a preconditioner based on spectral projection that is combined with a deflated Krylov subspace method for solving ill conditioned linear systems of equations. Our results show that the proposed algorithm requires many fewer iterations to achieve the convergence criterion for solving an ill conditioned problem than a Krylov subspace solver. In our numerical experiments, the solution obtained by the proposed algorithm is more accurate in terms of the norm of the distance to the exact solution of the linear system of equations. △ Less

Submitted 22 September, 2016; originally announced September 2016.

Comments: ICCS 2016 Workshop. arXiv admin note: text overlap with arXiv:1602.05211

MSC Class: 65F08; 65F10; 65F15; 65F22; 65F50

An Improved Lower Bound for $n$-Brinkhuis $k$-Triples

Authors: Michael Sollami, Craig C. Douglas, Manfred Liebmann

Abstract: Let $s_n$ be the number of words consisting of the ternary alphabet consisting of the digits 0, 1, and 2 such that no subword (or factor) is a square (a word concatenated with itself, e.g., $11$, $1212$, or $102102$). From computational evidence, $s_n$ grows exponentially at a rate of about $1.317277^n$. While known upper bounds are already relatively close to the conjectured rate, effective lower… ▽ More Let $s_n$ be the number of words consisting of the ternary alphabet consisting of the digits 0, 1, and 2 such that no subword (or factor) is a square (a word concatenated with itself, e.g., $11$, $1212$, or $102102$). From computational evidence, $s_n$ grows exponentially at a rate of about $1.317277^n$. While known upper bounds are already relatively close to the conjectured rate, effective lower bounds are much more difficult to obtain. In this paper, we construct a $54$-Brinkhuis $952$-triple, which leads to an improved lower bound on the number of $n$-letter ternary squarefree words: $952^{n/53} \approx 1.1381531^n$. △ Less

Submitted 6 June, 2016; v1 submitted 1 June, 2016; originally announced June 2016.

Comments: 21 pages

Conformal nets IV: The 3-category

Authors: Arthur Bartels, Christopher L. Douglas, André Henriques

Abstract: Conformal nets are a mathematical model for conformal field theory, and defects between conformal nets are a model for an interaction or phase transition between two conformal field theories. In the preceding paper of this series, we introduced a notion of composition, called fusion, between defects. We also described a notion of sectors between defects, modeling an interaction among or transforma… ▽ More Conformal nets are a mathematical model for conformal field theory, and defects between conformal nets are a model for an interaction or phase transition between two conformal field theories. In the preceding paper of this series, we introduced a notion of composition, called fusion, between defects. We also described a notion of sectors between defects, modeling an interaction among or transformation between phase transitions, and defined fusion composition operations for sectors. In this paper we prove that altogether the collection of conformal nets, defects, sectors, and intertwiners, equipped with the fusion of defects and fusion of sectors, forms a symmetric monoidal 3-category. This 3-category encodes the algebraic structure of the possible interactions among conformal field theories. △ Less

Submitted 15 May, 2019; v1 submitted 2 May, 2016; originally announced May 2016.

Comments: Final version

MSC Class: 81T05; 18D05

Journal ref: Algebr. Geom. Topol. 18 (2018) 897-956

On Solving Ill-Conditioned Linear Systems

Authors: Craig C. Douglas, Long Lee, Man-Chung Yeung

Abstract: This paper presents the first results to combine two theoretically sound methods (spectral projection and multigrid methods) together to attack ill-conditioned linear systems. Our preliminary results show that the proposed algorithm applied to a Krylov subspace method takes much fewer iterations for solving an ill-conditioned problem downloaded from a popular online sparse matrix collection. This paper presents the first results to combine two theoretically sound methods (spectral projection and multigrid methods) together to attack ill-conditioned linear systems. Our preliminary results show that the proposed algorithm applied to a Krylov subspace method takes much fewer iterations for solving an ill-conditioned problem downloaded from a popular online sparse matrix collection. △ Less

Submitted 16 February, 2016; originally announced February 2016.

Modular categories as representations of the 3-dimensional bordism 2-category

Authors: Bruce Bartlett, Christopher L. Douglas, Christopher J. Schommer-Pries, Jamie Vicary

Abstract: We show that once-extended anomalous 3-dimensional topological quantum field theories valued in the 2-category of k-linear categories are in canonical bijection with modular tensor categories equipped with a square root of the global dimension in each factor. We show that once-extended anomalous 3-dimensional topological quantum field theories valued in the 2-category of k-linear categories are in canonical bijection with modular tensor categories equipped with a square root of the global dimension in each factor. △ Less

Submitted 22 September, 2015; originally announced September 2015.

Comments: 71 pages

Equitable Mirrors

Authors: Casey Douglas, Emek Kose, Nora Stack, Caroline VanBlargan

Abstract: In this article we explore some finer properties of equi-areal mirrors and introduce techniques for developing new mirror surfaces that simultaneously minimize angular and areal distortion. In this article we explore some finer properties of equi-areal mirrors and introduce techniques for developing new mirror surfaces that simultaneously minimize angular and areal distortion. △ Less

Submitted 24 October, 2014; originally announced November 2014.

Comments: 10 pages, 20 figures

Extended 3-dimensional bordism as the theory of modular objects

Authors: Bruce Bartlett, Christopher L. Douglas, Christopher J. Schommer-Pries, Jamie Vicary

Abstract: A modular object in a symmetric monoidal bicategory is a Frobenius algebra object whose product and coproduct are biadjoint, equipped with a braided structure and a compatible twist, satisfying rigidity, ribbon, pivotality, and modularity conditions. We prove that the oriented 3-dimensional bordism bicategory of 1-, 2-, and 3-manifolds is the free symmetric monoidal bicategory on a single anomaly-… ▽ More A modular object in a symmetric monoidal bicategory is a Frobenius algebra object whose product and coproduct are biadjoint, equipped with a braided structure and a compatible twist, satisfying rigidity, ribbon, pivotality, and modularity conditions. We prove that the oriented 3-dimensional bordism bicategory of 1-, 2-, and 3-manifolds is the free symmetric monoidal bicategory on a single anomaly-free modular object. △ Less

Submitted 4 November, 2014; originally announced November 2014.

Comments: 64 pages

MSC Class: 57N10; 57M25; 18D05

Conformal nets II: conformal blocks

Authors: Arthur Bartels, Christopher L. Douglas, André Henriques

Abstract: Conformal nets provide a mathematical formalism for conformal field theory. Associated to a conformal net with finite index, we give a construction of the `bundle of conformal blocks', a representation of the mapping class groupoid of closed topological surfaces into the category of finite-dimensional projective Hilbert spaces. We also construct infinite-dimensional spaces of conformal blocks for… ▽ More Conformal nets provide a mathematical formalism for conformal field theory. Associated to a conformal net with finite index, we give a construction of the `bundle of conformal blocks', a representation of the mapping class groupoid of closed topological surfaces into the category of finite-dimensional projective Hilbert spaces. We also construct infinite-dimensional spaces of conformal blocks for topological surfaces with smooth boundary. We prove that the conformal blocks satisfy a factorization formula for gluing surfaces along circles, and an analogous formula for gluing surfaces along intervals. We use this interval factorization property to give a new proof of the modularity of the category of representations of a conformal net. △ Less

Submitted 19 January, 2017; v1 submitted 30 September, 2014; originally announced September 2014.

Comments: Updated to published version

MSC Class: 81T05; 46L37; 46M05 (Primary); 81T40; 46L60; 81R10 (Secondary)

Condition number estimates for matrices arising in NURBS based isogeometric discretizations of elliptic partial differential equations

Authors: Krishan P. S. Gahalaut, Satyendra K. Tomar, Craig. C. Douglas

Abstract: We derive bounds for the minimum and maximum eigenvalues and the spectral condition number of matrices for isogeometric discretizations of elliptic partial differential equations in an open, bounded, simply connected Lipschitz domain $Ω\subset \mathbb{R}^d$, $d\in\{2,3\}$. We consider refinements based on mesh size $h$ and polynomial degree $p$ with maximum regularity of spline basis functions. Fo… ▽ More We derive bounds for the minimum and maximum eigenvalues and the spectral condition number of matrices for isogeometric discretizations of elliptic partial differential equations in an open, bounded, simply connected Lipschitz domain $Ω\subset \mathbb{R}^d$, $d\in\{2,3\}$. We consider refinements based on mesh size $h$ and polynomial degree $p$ with maximum regularity of spline basis functions. For the $h$-refinement, the condition number of the stiffness matrix is bounded above by a constant times $ h^{-2}$ and the condition number of the mass matrix is uniformly bounded. For the $p$-refinement, the condition number grows exponentially and is bounded above by $p^{2d+2}4^{pd}$ and $p^{2d}4^{pd}$ for the stiffness and mass matrices, respectively. Rigorous theoretical proofs of these estimates and supporting numerical results are provided. △ Less

Submitted 26 June, 2014; originally announced June 2014.

The balanced tensor product of module categories

Authors: Christopher L. Douglas, Christopher Schommer-Pries, Noah Snyder

Abstract: The balanced tensor product M (x)_A N of two modules over an algebra A is the vector space corepresenting A-balanced bilinear maps out of the product M x N. The balanced tensor product M [x]_C N of two module categories over a monoidal linear category C is the linear category corepresenting C-balanced right-exact bilinear functors out of the product category M x N. We show that the balanced tensor… ▽ More The balanced tensor product M (x)_A N of two modules over an algebra A is the vector space corepresenting A-balanced bilinear maps out of the product M x N. The balanced tensor product M [x]_C N of two module categories over a monoidal linear category C is the linear category corepresenting C-balanced right-exact bilinear functors out of the product category M x N. We show that the balanced tensor product can be realized as a category of bimodule objects in C, provided the monoidal linear category is finite and rigid. △ Less

Submitted 10 March, 2018; v1 submitted 16 June, 2014; originally announced June 2014.

Comments: 19 pages; v3 is author-final version

MSC Class: 18D10

Journal ref: Kyoto J. Math. 59, no. 1 (2019), 167-179

Dualizable tensor categories

Authors: Christopher L. Douglas, Christopher Schommer-Pries, Noah Snyder

Abstract: We investigate the relationship between the algebra of tensor categories and the topology of framed 3-manifolds. On the one hand, tensor categories with certain algebraic properties determine topological invariants. We prove that fusion categories of nonzero global dimension are 3-dualizable, and therefore provide 3-dimensional 3-framed local field theories. We also show that all finite tensor cat… ▽ More We investigate the relationship between the algebra of tensor categories and the topology of framed 3-manifolds. On the one hand, tensor categories with certain algebraic properties determine topological invariants. We prove that fusion categories of nonzero global dimension are 3-dualizable, and therefore provide 3-dimensional 3-framed local field theories. We also show that all finite tensor categories are 2-dualizable, and yield categorified 2-dimensional 3-framed local field theories. On the other hand, topological properties of 3-framed manifolds determine algebraic equations among functors of tensor categories. We show that the 1-dimensional loop bordism, which exhibits a single full rotation, acts as the double dual autofunctor of a tensor category. We prove that the 2-dimensional belt-trick bordism, which unravels a double rotation, operates on any finite tensor category, and therefore supplies a trivialization of the quadruple dual. This approach produces a quadruple-dual theorem for suitably dualizable objects in any symmetric monoidal 3-category. There is furthermore a correspondence between algebraic structures on tensor categories and homotopy fixed point structures, which in turn provide structured field theories; we describe the expected connection between pivotal tensor categories and combed fixed point structures, and between spherical tensor categories and oriented fixed point structures. △ Less

Submitted 15 March, 2018; v1 submitted 26 December, 2013; originally announced December 2013.

Comments: Final version

MSC Class: 57R56; 18D10; 55U30; 16D90 (Primary); 57M27; 17B37; 18E10 (Secondary)

Conformal nets III: fusion of defects

Authors: Arthur Bartels, Christopher L. Douglas, André Henriques

Abstract: Conformal nets provides a mathematical model for conformal field theory. We define a notion of defect between conformal nets, formalizing the idea of an interaction between two conformal field theories. We introduce an operation of fusion of defects, and prove that the fusion of two defects is again a defect, provided the fusion occurs over a conformal net of finite index. There is a notion of sec… ▽ More Conformal nets provides a mathematical model for conformal field theory. We define a notion of defect between conformal nets, formalizing the idea of an interaction between two conformal field theories. We introduce an operation of fusion of defects, and prove that the fusion of two defects is again a defect, provided the fusion occurs over a conformal net of finite index. There is a notion of sector (or bimodule) between two defects, and operations of horizontal and vertical fusion of such sectors. Our most difficult technical result is that the horizontal fusion of the vacuum sectors of two defects is isomorphic to the vacuum sector of the fused defect. Equipped with this isomorphism, we construct the basic interchange isomorphism between the horizontal fusion of two vertical fusions and the vertical fusion of two horizontal fusions of sectors. △ Less

Submitted 15 May, 2019; v1 submitted 30 October, 2013; originally announced October 2013.

Comments: Final version

MSC Class: 81T05; 46L37; 46M05 (Primary); 81T40; 46L60; 81R10 (Secondary)

Cornered Heegaard Floer homology

Authors: Christopher L. Douglas, Robert Lipshitz, Ciprian Manolescu

Abstract: Bordered Floer homology assigns invariants to 3-manifolds with boundary, such that the Heegaard Floer homology of a closed 3-manifold, split into two pieces, can be recovered as a tensor product of the bordered invariants of the pieces. We construct cornered Floer homology invariants of 3-manifolds with codimension-2 corners, and prove that the bordered Floer homology of a 3-manifold with boundary… ▽ More Bordered Floer homology assigns invariants to 3-manifolds with boundary, such that the Heegaard Floer homology of a closed 3-manifold, split into two pieces, can be recovered as a tensor product of the bordered invariants of the pieces. We construct cornered Floer homology invariants of 3-manifolds with codimension-2 corners, and prove that the bordered Floer homology of a 3-manifold with boundary, split into two pieces with corners, can be recovered as a tensor product of the cornered invariants of the pieces. △ Less

Submitted 4 February, 2017; v1 submitted 31 August, 2013; originally announced September 2013.

Comments: Updated to published version

MSC Class: 57R58; 57R56

Conformal nets I: coordinate-free nets

Authors: Arthur Bartels, Christopher L. Douglas, André Henriques

Abstract: We describe a coordinate-free perspective on conformal nets, as functors from intervals to von Neumann algebras. We discuss an operation of fusion of intervals and observe that a conformal net takes a fused interval to the fiber product of von Neumann algebras. Though coordinate-free nets do not a priori have vacuum sectors, we show that there is a vacuum sector canonically associated to any circl… ▽ More We describe a coordinate-free perspective on conformal nets, as functors from intervals to von Neumann algebras. We discuss an operation of fusion of intervals and observe that a conformal net takes a fused interval to the fiber product of von Neumann algebras. Though coordinate-free nets do not a priori have vacuum sectors, we show that there is a vacuum sector canonically associated to any circle equipped with a conformal structure. This is the first in a series of papers constructing a 3-category of conformal nets, defects, sectors, and intertwiners. △ Less

Submitted 8 November, 2016; v1 submitted 11 February, 2013; originally announced February 2013.

Comments: Updated to published version

MSC Class: 81T05; 46L37; 46M05 (Primary); 81T40; 46L60; 81R10 (Secondary)

Journal ref: Int. Math. Res. Not. 13 (2015), 4975-5052

Internal bicategories

Authors: Christopher L. Douglas, André G. Henriques

Abstract: We define bicategories internal to 2-categories. When the ambient 2-category is symmetric monoidal categories, this provides a convenient framework for encoding the structures of a symmetric monoidal 3-category. This framework is well suited to examples arising in geometry and algebra, such as the 3-category of bordisms or the 3-category of conformal nets. We define bicategories internal to 2-categories. When the ambient 2-category is symmetric monoidal categories, this provides a convenient framework for encoding the structures of a symmetric monoidal 3-category. This framework is well suited to examples arising in geometry and algebra, such as the 3-category of bordisms or the 3-category of conformal nets. △ Less

Submitted 8 November, 2016; v1 submitted 19 June, 2012; originally announced June 2012.

Comments: Added references, removed appendices

MSC Class: 18D05; 18D10; 55U99

Dualizability and index of subfactors

Authors: Arthur Bartels, Christopher L. Douglas, André Henriques

Abstract: In this paper, we develop the theory of bimodules over von Neumann algebras, with an emphasis on categorical aspects. We clarify the relationship between dualizability and finite index. We also show that, for von Neumann algebras with finite-dimensional centers, the Haagerup L^2-space and Connes fusion are functorial with respect to homorphisms of finite index. Along the way, we describe a string… ▽ More In this paper, we develop the theory of bimodules over von Neumann algebras, with an emphasis on categorical aspects. We clarify the relationship between dualizability and finite index. We also show that, for von Neumann algebras with finite-dimensional centers, the Haagerup L^2-space and Connes fusion are functorial with respect to homorphisms of finite index. Along the way, we describe a string diagram notation for maps between bimodules that are not necessarily bilinear. △ Less

Submitted 9 July, 2014; v1 submitted 25 October, 2011; originally announced October 2011.

Comments: 36 pages. Additional references and remarks, updated terminology

MSC Class: 46L37; 46M05

Journal ref: Quantum Topology 5 (2014), 289-345

On the algebra of cornered Floer homology

Authors: Christopher L. Douglas, Ciprian Manolescu

Abstract: Bordered Floer homology associates to a parametrized oriented surface a certain differential graded algebra. We study the properties of this algebra under splittings of the surface. To the circle we associate a differential graded 2-algebra, the nilCoxeter sequential 2-algebra, and to a surface with connected boundary an algebra-module over this 2-algebra, such that a natural gluing property is sa… ▽ More Bordered Floer homology associates to a parametrized oriented surface a certain differential graded algebra. We study the properties of this algebra under splittings of the surface. To the circle we associate a differential graded 2-algebra, the nilCoxeter sequential 2-algebra, and to a surface with connected boundary an algebra-module over this 2-algebra, such that a natural gluing property is satisfied. Moreover, with a view toward the structure of a potential Floer homology theory of 3-manifolds with codimension-two corners, we present a decomposition theorem for the Floer complex of a planar grid diagram, with respect to vertical and horizontal slicing. △ Less

Submitted 12 February, 2013; v1 submitted 30 April, 2011; originally announced May 2011.

Comments: a few minor revisions

MSC Class: 57R56 (Primary) 57R58 (Secondary)

Journal ref: J. Topology 7 (2014), 1-68

Topological modular forms and conformal nets

Authors: Christopher L. Douglas, André G. Henriques

Abstract: We describe the role conformal nets, a mathematical model for conformal field theory, could play in a geometric definition of the generalized cohomology theory TMF of topological modular forms. Inspired by work of Segal and Stolz-Teichner, we speculate that bundles of boundary conditions for the net of free fermions will be the basic underlying objects representing TMF-cohomology classes. String s… ▽ More We describe the role conformal nets, a mathematical model for conformal field theory, could play in a geometric definition of the generalized cohomology theory TMF of topological modular forms. Inspired by work of Segal and Stolz-Teichner, we speculate that bundles of boundary conditions for the net of free fermions will be the basic underlying objects representing TMF-cohomology classes. String structures, which are the fundamental orientations for TMF-cohomology, can be encoded by defects between free fermions, and we construct the bundle of fermionic boundary conditions for the TMF-Euler class of a string vector bundle. We conjecture that the free fermion net exhibits an algebraic periodicity corresponding to the 576-fold cohomological periodicity of TMF; using a homotopy-theoretic invariant of invertible conformal nets, we establish a lower bound of 24 on this periodicity of the free fermions. △ Less

Submitted 21 March, 2011; originally announced March 2011.

MSC Class: 55N34; 81T40; 81T05

Journal ref: Proc. Sympos. Pure Math. 83 (2011) 341-354

Conformal nets and local field theory

Authors: Arthur Bartels, Christopher L. Douglas, André G. Henriques

Abstract: We describe a coordinate-free notion of conformal nets as a mathematical model of conformal field theory. We define defects between conformal nets and introduce composition of defects, thereby providing a notion of morphism between conformal field theories. Altogether we characterize the algebraic structure of the collection of conformal nets as a symmetric monoidal tricategory. Dualizable objects… ▽ More We describe a coordinate-free notion of conformal nets as a mathematical model of conformal field theory. We define defects between conformal nets and introduce composition of defects, thereby providing a notion of morphism between conformal field theories. Altogether we characterize the algebraic structure of the collection of conformal nets as a symmetric monoidal tricategory. Dualizable objects of this tricategory correspond to conformal-net-valued 3-dimensional local topological quantum field theories. We prove that the dualizable conformal nets are the finite sums of irreducible nets with finite μ-index. This classification provides a variety of 3-dimensional local field theories, including local field theories associated to central extensions of the loop groups of the special unitary groups. △ Less

Submitted 10 October, 2010; v1 submitted 29 December, 2009; originally announced December 2009.

Comments: 12 pages. Restricted loop group examples to the special unitary case; added references concerning finiteness for loop group nets; added examples of defects

MSC Class: 81T40; 57R56; 81T05 (Primary); 22E67; 46L60; 81R10 (Secondary)

Fusion Rings of Loop Group Representations

Authors: Christopher L. Douglas

Abstract: We compute the fusion rings of positive energy representations of the loop groups of the simple, simply connected Lie groups. We compute the fusion rings of positive energy representations of the loop groups of the simple, simply connected Lie groups. △ Less

Submitted 4 January, 2009; originally announced January 2009.

MSC Class: 81R10; 17B67; 22E67 (Primary); 19L47 (Secondary)

Journal ref: Commun. Math. Phys. 319 (2013), 395-423

Homological obstructions to string orientations

Authors: Christopher L. Douglas, André G. Henriques, Michael A. Hill

Abstract: We observe that the Poincare duality isomorphism for a string manifold is an isomorphism of modules over the subalgebra A(2) of the modulo 2 Steenrod algebra. In particular, the pattern of the operations Sq^1, Sq^2, and Sq^4 on the cohomology of a string manifold has a symmetry around the middle dimension. We characterize this kind of cohomology operation duality in term of the annihilator of th… ▽ More We observe that the Poincare duality isomorphism for a string manifold is an isomorphism of modules over the subalgebra A(2) of the modulo 2 Steenrod algebra. In particular, the pattern of the operations Sq^1, Sq^2, and Sq^4 on the cohomology of a string manifold has a symmetry around the middle dimension. We characterize this kind of cohomology operation duality in term of the annihilator of the Thom class of the negative tangent bundle, and in terms of the vanishing of top-degree cohomology operations. We also indicate how the existence of such an operation-preserving duality implies the integrality of certain polynomials in the Pontryagin classes of the manifold. △ Less

Submitted 12 October, 2008; originally announced October 2008.

MSC Class: 57R15; 55P25 (Primary) 55S05; 57T15 (Secondary)

Journal ref: Int. Math. Res. Notices 18 (2011), 4074-4088

On the Structure of the Fusion Ideal

Authors: Christopher L. Douglas

Abstract: We prove that there is a finite level-independent bound on the number of relations defining the fusion ring of positive energy representations of the loop group of a simple, simply connected Lie group. As an illustration, we compute the fusion ring of $G_2$ at all levels. We prove that there is a finite level-independent bound on the number of relations defining the fusion ring of positive energy representations of the loop group of a simple, simply connected Lie group. As an illustration, we compute the fusion ring of $G_2$ at all levels. △ Less

Submitted 10 June, 2008; originally announced June 2008.

MSC Class: 19L47; 22E67 (Primary); 19L64 (Secondary)

Journal ref: Commun. Math. Phys. 290 (2009), 335-355

Higher topological cyclic homology and the Segal conjecture for tori

Authors: Gunnar Carlsson, Christopher L. Douglas, Bjørn Ian Dundas

Abstract: We investigate higher topological cyclic homology as an approach to studying chromatic phenomena in homotopy theory. Higher topological cyclic homology is constructed from the fixed points of a version of topological Hochschild homology based on the n-dimensional torus, and we propose it as a computationally tractable cousin of n-fold iterated algebraic K-theory. The fixed points of toral topo… ▽ More We investigate higher topological cyclic homology as an approach to studying chromatic phenomena in homotopy theory. Higher topological cyclic homology is constructed from the fixed points of a version of topological Hochschild homology based on the n-dimensional torus, and we propose it as a computationally tractable cousin of n-fold iterated algebraic K-theory. The fixed points of toral topological Hochschild homology are related to one another by restriction and Frobenius operators. We introduce two additional families of operators on fixed points, the Verschiebung, indexed on self-isogenies of the n-torus, and the differentials, indexed on n-vectors. We give a detailed analysis of the relations among the restriction, Frobenius, Verschiebung, and differentials, producing a higher analog of the structure Hesselholt and Madsen described for 1-dimensional topological cyclic homology. We calculate two important pieces of higher topological cyclic homology, namely topological restriction homology and topological Frobenius homology, for the sphere spectrum. The latter computation allows us to establish the Segal conjecture for the torus, which is to say to completely compute the cohomotopy type of the classifying space of the torus. △ Less

Submitted 18 March, 2008; originally announced March 2008.

MSC Class: 55P43; 19D55 (Primary) 55P91 (Secondary)

Journal ref: Adv. Math. 226 (2011), 1823-1874

Real-Time Data Driven Wildland Fire Modeling

Authors: Jonathan D. Beezley, Soham Chakraborty, Janice L. Coen, Craig C. Douglas, Jan Mandel, Anthony Vodacek, Zhen Wang

Abstract: We are developing a wildland fire model based on semi-empirical relations that estimate the rate of spread of a surface fire and post-frontal heat release, coupled with WRF, the Weather Research and Forecasting atmospheric model. A level set method identifies the fire front. Data are assimilated using both amplitude and position corrections using a morphing ensemble Kalman filter. We will use th… ▽ More We are developing a wildland fire model based on semi-empirical relations that estimate the rate of spread of a surface fire and post-frontal heat release, coupled with WRF, the Weather Research and Forecasting atmospheric model. A level set method identifies the fire front. Data are assimilated using both amplitude and position corrections using a morphing ensemble Kalman filter. We will use thermal images of a fire for observations that will be compared to synthetic image based on the model state. △ Less

Submitted 12 February, 2008; originally announced February 2008.

Comments: 8 pages, 4 figures. ICCS 08

Journal ref: Proceedings ICCS 2008. Lecture Notes in Computer Science vol 5103 pp 46-53 2008.

Towards a Real-Time Data Driven Wildland Fire Model

Authors: Jan Mandel, Jonathan D. Beezley, Soham Chakraborty, Janice L. Coen, Craig C. Douglas, Anthony Vodacek, Zhen Wang

Abstract: A wildland fire model based on semi-empirical relations for the spread rate of a surface fire and post-frontal heat release is coupled with the Weather Research and Forecasting atmospheric model (WRF). The propagation of the fire front is implemented by a level set method. Data is assimilated by a morphing ensemble Kalman filter, which provides amplitude as well as position corrections. Thermal… ▽ More A wildland fire model based on semi-empirical relations for the spread rate of a surface fire and post-frontal heat release is coupled with the Weather Research and Forecasting atmospheric model (WRF). The propagation of the fire front is implemented by a level set method. Data is assimilated by a morphing ensemble Kalman filter, which provides amplitude as well as position corrections. Thermal images of a fire will provide the observations and will be compared to a synthetic image from the model state. △ Less

Submitted 26 January, 2008; v1 submitted 24 January, 2008; originally announced January 2008.

Comments: 5 pages, 4 figures

Report number: UCD CCM Report 265

Journal ref: IEEE International Symposium on Parallel and Distributed Processing, 2008 (IPDPS 2008), pp. 1-5

A wildland fire model with data assimilation

Authors: Jan Mandel, Lynn S. Bennethum, Jonathan D. Beezley, Janice L. Coen, Craig C. Douglas, Minjeong Kim, Anthony Vodacek

Abstract: A wildfire model is formulated based on balance equations for energy and fuel, where the fuel loss due to combustion corresponds to the fuel reaction rate. The resulting coupled partial differential equations have coefficients that can be approximated from prior measurements of wildfires. An ensemble Kalman filter technique with regularization is then used to assimilate temperatures measured at… ▽ More A wildfire model is formulated based on balance equations for energy and fuel, where the fuel loss due to combustion corresponds to the fuel reaction rate. The resulting coupled partial differential equations have coefficients that can be approximated from prior measurements of wildfires. An ensemble Kalman filter technique with regularization is then used to assimilate temperatures measured at selected points into running wildfire simulations. The assimilation technique is able to modify the simulations to track the measurements correctly even if the simulations were started with an erroneous ignition location that is quite far away from the correct one. △ Less

Submitted 15 January, 2008; v1 submitted 1 September, 2007; originally announced September 2007.

Comments: 35 pages, 12 figures; minor revision January 2008. Original version available from http://www-math.cudenver.edu/ccm/reports

Report number: University of Colorado Denver CCM Report 233 MSC Class: 65N06; 35K57; 37M05; 93B30; 60G35

Twisted Parametrized Stable Homotopy Theory

Authors: Christopher L. Douglas

Abstract: We introduce a framework, twisted parametrized stable homotopy theory, for describing semi-infinite homotopy types. A twisted parametrized spectrum is a section of a bundle whose fibre is the category of spectra. We define these bundles in terms of modules over a stack of parametrized spectra and in terms of diagrams of simplicial categories. We present a classification of bundles of categories… ▽ More We introduce a framework, twisted parametrized stable homotopy theory, for describing semi-infinite homotopy types. A twisted parametrized spectrum is a section of a bundle whose fibre is the category of spectra. We define these bundles in terms of modules over a stack of parametrized spectra and in terms of diagrams of simplicial categories. We present a classification of bundles of categories of spectra and of the associated twisted parametrized spectra. Though twisted parametrized spectra do not have global homotopy types and therefore do not have generalized homology invariants in the usual sense, they do admit generalized-homology-type invariants for certain commutative ring spectra. We describe this invariant theory and in particular note that under mild hypotheses, a twisted parametrized spectrum will have cyclically graded homology invariants and will also have K-theory and complex bordism invariants, as expected for a Floer or semi-infinite homotopy type. We discuss the association of a twist of parametrized homotopy theory to a polarized infinite-dimensional manifold and present a conjectural, explicit realization of this twist in terms of parametrized semi-infinitely indexed spectra. △ Less

Submitted 3 August, 2005; originally announced August 2005.

Comments: 46 pages, 2 figures

On the Twisted K-Homology of Simple Lie Groups

Authors: Christopher L. Douglas

Abstract: We prove that the twisted K-homology of a simply connected simple Lie group G of rank n is an exterior algebra on n-1 generators tensor a cyclic group. We give a detailed description of the order of this cyclic group in terms of the dimensions of irreducible representations of G and show that the congruences determining this cyclic order lift along the twisted index map to relations in the twist… ▽ More We prove that the twisted K-homology of a simply connected simple Lie group G of rank n is an exterior algebra on n-1 generators tensor a cyclic group. We give a detailed description of the order of this cyclic group in terms of the dimensions of irreducible representations of G and show that the congruences determining this cyclic order lift along the twisted index map to relations in the twisted Spin-c bordism group of G. △ Less

Submitted 18 March, 2008; v1 submitted 5 February, 2004; originally announced February 2004.

Comments: 38 pages, 2 figures. Added table of contents, remarks in sections 1.2 and 4.1.2

Journal ref: Topology 45 (2006), 955-988