Showing 1–50 of 72 results for author: Wilson, S

Orbits of consistent walk in dart-transitive maps

Authors: Micael Toledo, Alejandra Ramos, Primoz Potocnik, Stephen Wilson

Abstract: In a simple graph, a shunt is a symmetry which sends an edge to an incident edge (without fixing their shared vertex). The orbit of this edge under the shunt forms a consistent cycle. The important theorem of Biggs and Conway says that in a dart-transitive graph of valence q, there are exactly q-1 orbits of consistent cycles. These ideas have become a useful tool in the area of graphs symmetries,… ▽ More In a simple graph, a shunt is a symmetry which sends an edge to an incident edge (without fixing their shared vertex). The orbit of this edge under the shunt forms a consistent cycle. The important theorem of Biggs and Conway says that in a dart-transitive graph of valence q, there are exactly q-1 orbits of consistent cycles. These ideas have become a useful tool in the area of graphs symmetries, and generalize easily to consistent walks in graphs which are not simple. These walks are not necessarily cycles, or even circuits. This paper considers these walks and their orbits in the venue of dart-transitive maps and classifies them geometrically. △ Less

Submitted 18 March, 2025; originally announced March 2025.

The connective KO-theory of the Eilenberg-MacLane space K(Z_2,2), I: the E_2 page

Authors: Donald M Davis, W Stephen Wilson

Abstract: We compute the $E_2$ page of the Adams spectral sequence converging to the connective KO-theory of the second mod 2 Eilenberg-MacLane space, $ko_*(K(Z/2,2))$. This required a careful analysis of the structure of $H^*(K(Z/2,2);Z_2)$ as a module over the subalgebra of the Steenrod algebra generated by $Sq^1$ and $Sq^2$. Complete analysis of the spectral sequence will be performed in a subsequent pap… ▽ More We compute the $E_2$ page of the Adams spectral sequence converging to the connective KO-theory of the second mod 2 Eilenberg-MacLane space, $ko_*(K(Z/2,2))$. This required a careful analysis of the structure of $H^*(K(Z/2,2);Z_2)$ as a module over the subalgebra of the Steenrod algebra generated by $Sq^1$ and $Sq^2$. Complete analysis of the spectral sequence will be performed in a subsequent paper. △ Less

Submitted 30 October, 2024; originally announced October 2024.

MSC Class: 55S10; 55T15; 55N20; 55N15

An Analysis of a 2x2 Keyfitz-Kranzer Type Balance System with Varying Generalized Chaplygin Gas

Authors: Jack Frew, Nigel Keyser, Ethan Kim, Griffin Paddock, Camden Toumbleston, Sara Wilson, Charis Tsikkou

Abstract: We consider a system of two balance laws of Keyfitz-Kranzer type with varying generalized Chaplygin gas, which exhibits negative pressure and is a product of a function of time and the inverse of a power of the density. The Chaplygin gas is a fluid designed to accommodate measurements for the early universe and late-time universal expansion while obeying the pressure-density-time relation. We prod… ▽ More We consider a system of two balance laws of Keyfitz-Kranzer type with varying generalized Chaplygin gas, which exhibits negative pressure and is a product of a function of time and the inverse of a power of the density. The Chaplygin gas is a fluid designed to accommodate measurements for the early universe and late-time universal expansion while obeying the pressure-density-time relation. We produce an explanation and description of the non-self-similar Riemann solutions, including the non-classical singular solutions. We also find that due to a direct dependence on time, a change in the regions allowing for combinations of classical and non-classical singular solutions occurs, therefore a Riemann solution can have different solutions over several time intervals. Our findings are confirmed numerically using the local Lax-Friederichs scheme. △ Less

Submitted 25 August, 2024; v1 submitted 30 July, 2024; originally announced July 2024.

Comments: 41 pages

MSC Class: 34A05; 35L45; 35L65; 35L67; 65M06; 85-10; 85A40

A proposed crank for $(k+j)$-colored partitions, with $j$ colors having distinct parts

Authors: Samuel Wilson

Abstract: In 1988, George Andrews and Frank Garvan discovered a crank for $p(n)$. In 2020, Larry Rolen, Zack Tripp, and Ian Wagner generalized the crank for p(n) in order to accommodate Ramanujan-like congruences for $k$-colored partitions. In this paper, we utilize the techniques used by Rolen, Tripp, and Wagner for crank generating functions in order to define a crank generating function for $(k + j)$-col… ▽ More In 1988, George Andrews and Frank Garvan discovered a crank for $p(n)$. In 2020, Larry Rolen, Zack Tripp, and Ian Wagner generalized the crank for p(n) in order to accommodate Ramanujan-like congruences for $k$-colored partitions. In this paper, we utilize the techniques used by Rolen, Tripp, and Wagner for crank generating functions in order to define a crank generating function for $(k + j)$-colored partitions where $j$ colors have distinct parts. We provide three infinite families of crank generating functions and conjecture a general crank generating function for such partitions. △ Less

Submitted 10 July, 2024; originally announced July 2024.

Comments: 6 pages, 1 table

MSC Class: 05A15 (Primary); 05A17 (Secondary)

Homotopy BV-algebras in Hermitian geometry

Authors: Joana Cirici, Scott O. Wilson

Abstract: We show that the de Rham complex of any almost Hermitian manifold carries a natural commutative $BV_\infty$-algebra structure satisfying the degeneration property. In the almost Kähler case, this recovers Koszul's BV-algebra, defined for any Poisson manifold. As a consequence, both the Dolbeault and the de Rham cohomologies of any compact Hermitian manifold are canonically endowed with homotopy hy… ▽ More We show that the de Rham complex of any almost Hermitian manifold carries a natural commutative $BV_\infty$-algebra structure satisfying the degeneration property. In the almost Kähler case, this recovers Koszul's BV-algebra, defined for any Poisson manifold. As a consequence, both the Dolbeault and the de Rham cohomologies of any compact Hermitian manifold are canonically endowed with homotopy hypercommutative algebra structures, also known as formal homotopy Frobenius manifolds. Similar results are developed for (almost) symplectic manifolds with Lagrangian subbundles. △ Less

Submitted 18 March, 2024; originally announced March 2024.

Comments: 18 pages

Conformally symplectic structures and the Lefschetz condition

Authors: Mehdi Lejmi, Scott O. Wilson

Abstract: This short note provides a symplectic analogue of Vaisman's theorem in complex geometry. Namely, for any compact symplectic manifold satisfying the hard Lefschetz condition in degree 1, every locally conformally symplectic structure is in fact globally conformally symplectic, whenever there is a mutually compatible almost complex structure. This short note provides a symplectic analogue of Vaisman's theorem in complex geometry. Namely, for any compact symplectic manifold satisfying the hard Lefschetz condition in degree 1, every locally conformally symplectic structure is in fact globally conformally symplectic, whenever there is a mutually compatible almost complex structure. △ Less

Submitted 5 April, 2024; v1 submitted 18 March, 2024; originally announced March 2024.

Comments: 6 pages

The cohomology of the connective spectra for {K}-theory revisited

Authors: Donald M. Davis, W. Stephen Wilson

Abstract: The stable mod 2 cohomologies of the spectra for connective real and complex K-theories are well known and easy to work with. However, the known bases are in terms of the anti-automorphism of Milnor basis elements. We offer simple bases in terms of admissible sequences of Steenrod operations that come from the Adem relations. In particular, the basis for the complex case is that you don't use any… ▽ More The stable mod 2 cohomologies of the spectra for connective real and complex K-theories are well known and easy to work with. However, the known bases are in terms of the anti-automorphism of Milnor basis elements. We offer simple bases in terms of admissible sequences of Steenrod operations that come from the Adem relations. In particular, the basis for the complex case is that you don't use any Steenrod operations in degree one or $2^n+1$, $n > 0$. △ Less

Submitted 18 April, 2024; v1 submitted 12 January, 2024; originally announced January 2024.

Comments: Feedback welcome

MSC Class: 55S10; 55R45; 55N15

Journal ref: New York Journal of Mathematics, volume 30, pages 513-520, 2024

d-Fold Partition Diamonds

Authors: Dalen Dockery, Marie Jameson, James A. Sellers, Samuel Wilson

Abstract: In this work we introduce new combinatorial objects called $d$--fold partition diamonds, which generalize both the classical partition function and the partition diamonds of Andrews, Paule and Riese, and we set $r_d(n)$ to be their counting function. We also consider the Schmidt type $d$--fold partition diamonds, which have counting function $s_d(n).$ Using partition analysis, we then find the gen… ▽ More In this work we introduce new combinatorial objects called $d$--fold partition diamonds, which generalize both the classical partition function and the partition diamonds of Andrews, Paule and Riese, and we set $r_d(n)$ to be their counting function. We also consider the Schmidt type $d$--fold partition diamonds, which have counting function $s_d(n).$ Using partition analysis, we then find the generating function for both, and connect the generating functions $\sum_{n= 0}^\infty s_d(n)q^n$ to Eulerian polynomials. This allows us to develop elementary proofs of infinitely many Ramanujan--like congruences satisfied by $s_d(n)$ for various values of $d$, including the following family: for all $d\geq 1$ and all $n\geq 0,$ $s_d(2n+1) \equiv 0 \pmod{2^d}.$ △ Less

Submitted 8 May, 2024; v1 submitted 5 July, 2023; originally announced July 2023.

Comments: 16 pages, 3 figures; v3: to appear in Discrete Mathematics

MSC Class: 11P82 (primary); 11P83 (secondary)

Transitive cornerations in maps

Authors: Primoz Potocnik, Alejandra Ramos-Rivera, Micael Toledo, Stephen Wilson

Abstract: A corner in a map is an edge-vertex-edge triple consisting of two distinct edges incident to the same vertex. A corneration is a set of corners that covers every arc of the map exactly once. Cornerations in a dart-transitive map generalize the notion of a cycle structure in a symmetric graph. In this paper, we study the cornerations (and associated structures) that are preserved by a vertex-transi… ▽ More A corner in a map is an edge-vertex-edge triple consisting of two distinct edges incident to the same vertex. A corneration is a set of corners that covers every arc of the map exactly once. Cornerations in a dart-transitive map generalize the notion of a cycle structure in a symmetric graph. In this paper, we study the cornerations (and associated structures) that are preserved by a vertex-transitive group of automorphisms of the map. △ Less

Submitted 10 May, 2023; originally announced May 2023.

Symmetries of the Woolly Hat graphs

Authors: Leah Wrenn Berman, Hiroki Koike, Elias Mochan, Alejandra Ramos-Rivera, Primoz Sparl, Stephen E. Wilson

Abstract: A graph is edge-transitive if the natural action of its automorphism group on its edge set is transitive. An automorphism of a graph is semiregular if all of the orbits of the subgroup generated by this automorphism have the same length. While the tetravalent edge-transitive graphs admitting a semiregular automorphism with only one orbit are easy to determine, those that admit a semiregular automo… ▽ More A graph is edge-transitive if the natural action of its automorphism group on its edge set is transitive. An automorphism of a graph is semiregular if all of the orbits of the subgroup generated by this automorphism have the same length. While the tetravalent edge-transitive graphs admitting a semiregular automorphism with only one orbit are easy to determine, those that admit a semiregular automorphism with two orbits took a considerable effort and were finally classified in 2012. Of the several possible different ``types'' of potential tetravalent edge-transitive graphs admitting a semiregular automorphism with three orbits, only one ``type'' has thus far received no attention. In this paper we focus on this class of graphs, which we call the Woolly Hat graphs. We prove that there are in fact no edge-transitive Woolly Hat graphs and classify the vertex-transitive ones. △ Less

Submitted 23 May, 2023; v1 submitted 2 February, 2023; originally announced February 2023.

Comments: 26 pages

MSC Class: 05C25

Journal ref: Published in The Art of Discrete and Applied Mathematics, Vol. 7 No. 2 (2024), #P2.06, 24 pp

The connective K-theory of the Eilenberg-MacLane space K(Z/p,2)

Authors: Donald M. Davis, W. Stephen Wilson

Abstract: We compute ku^*(K(Z/p,2)) and ku_*(K(Z/p,2)), the connective KU-cohomology and connective KU-homology groups of the mod-p Eilenberg-MacLane space K(Z/p,2), using the Adams spectral sequence. We obtain a striking interaction between h_0-extensions and exotic extensions. The mod-p connective KU-cohomology groups, computed elsewhere, are needed in order to establish higher differentials and exotic ex… ▽ More We compute ku^*(K(Z/p,2)) and ku_*(K(Z/p,2)), the connective KU-cohomology and connective KU-homology groups of the mod-p Eilenberg-MacLane space K(Z/p,2), using the Adams spectral sequence. We obtain a striking interaction between h_0-extensions and exotic extensions. The mod-p connective KU-cohomology groups, computed elsewhere, are needed in order to establish higher differentials and exotic extensions in the integral groups. △ Less

Submitted 20 February, 2023; v1 submitted 10 October, 2022; originally announced October 2022.

Comments: minor changes, submitted for publication

MSC Class: 55T15; 55N20; 55N15

Profinite groups with few conjugacy classes of elements of infinite order

Authors: John S. Wilson

Abstract: It is proved that every finitely generated profinite group with fewer than $2^{\aleph_0}$ conjugacy classes of elements of infinite order is finite It is proved that every finitely generated profinite group with fewer than $2^{\aleph_0}$ conjugacy classes of elements of infinite order is finite △ Less

Submitted 29 September, 2022; originally announced September 2022.

Comments: 6 pages

MSC Class: 20E18; 20E45

A ddc-type condition beyond the Kähler realm

Authors: Jonas Stelzig, Scott O. Wilson

Abstract: This paper introduces a generalization of the ddc-condition for complex manifolds. Like the dd^c-condition, it admits a diverse collection of characterizations, and is hereditary under various geometric constructions. Most notably, it is an open property with respect to small deformations. The condition is satisfied by a wide range of complex manifolds including all compact complex surfaces, and a… ▽ More This paper introduces a generalization of the ddc-condition for complex manifolds. Like the dd^c-condition, it admits a diverse collection of characterizations, and is hereditary under various geometric constructions. Most notably, it is an open property with respect to small deformations. The condition is satisfied by a wide range of complex manifolds including all compact complex surfaces, and all compact Vaisman manifolds. We show there are computable invariants of a real homotopy type which in many cases prohibit it from containing any complex manifold satisfying such ddc-type conditions in low degrees. This gives rise to numerous examples of almost complex manifolds which cannot be homotopy equivalent to any of these complex manifolds. △ Less

Submitted 24 October, 2022; v1 submitted 1 August, 2022; originally announced August 2022.

Comments: Comments welcome! v2: Section 6 on rational homotopy obstructions to ddc-type conditions added

The connective Morava K-theory of the second mod p Eilenberg-MacLane space

Authors: Donald M. Davis, Douglas C. Ravenel, W. Stephen Wilson

Abstract: We develop tools for computing the connective n-th Morava K-theory of spaces. Starting with a Universal Coefficient Theorem that computes the cohomology version from the homology version, we show that every step in the process of computing one is mirrored in the other and that this can be used to make computations. As our example, we compute the connective n-th Morava K-theory of the second mod p… ▽ More We develop tools for computing the connective n-th Morava K-theory of spaces. Starting with a Universal Coefficient Theorem that computes the cohomology version from the homology version, we show that every step in the process of computing one is mirrored in the other and that this can be used to make computations. As our example, we compute the connective n-th Morava K-theory of the second mod p Eilenberg-MacLane space. △ Less

Submitted 20 January, 2025; v1 submitted 28 June, 2022; originally announced June 2022.

Comments: major revision

MSC Class: 55N20; 55N35; 55P20; 55P43; 55Q51; 55T15; 55U20

Profinite groups with few conjugacy classes of $p$-elements

Authors: John S. Wilson

Abstract: It is proved that a profinite group $G$ has fewer than $2^{\aleph_0}$ conjugacy classes of $p$-elements for an odd prime $p$ if and only if its $p$-Sylow subgroups are finite. (Here, by a $p$-element one understands an element that either has $p$-power order or topologically generates a group isomorphic to ${\mathbb Z}_p$.) A weaker result is proved for $p=2$. It is proved that a profinite group $G$ has fewer than $2^{\aleph_0}$ conjugacy classes of $p$-elements for an odd prime $p$ if and only if its $p$-Sylow subgroups are finite. (Here, by a $p$-element one understands an element that either has $p$-power order or topologically generates a group isomorphic to ${\mathbb Z}_p$.) A weaker result is proved for $p=2$. △ Less

Submitted 29 September, 2022; v1 submitted 21 April, 2022; originally announced April 2022.

Comments: Corrected version of a paper to appear in Proc. Amer. Math. Soc. (2022), with expanded explanations

MSC Class: 20E18 (Primary) 20E45; 22C05 (Secondary)

Fast solution of Sylvester-structured systems for spatial source separation of the Cosmic Microwave Background

Authors: Dung Pham, Kirk M. Soodhalter, Simon Wilson

Abstract: Implementation of many statistical methods for large, multivariate data sets requires one to solve a linear system that, depending on the method, is of the dimension of the number of observations or each individual data vector. This is often the limiting factor in scaling the method with data size and complexity. In this paper we illustrate the use of Krylov subspace methods to address this issue… ▽ More Implementation of many statistical methods for large, multivariate data sets requires one to solve a linear system that, depending on the method, is of the dimension of the number of observations or each individual data vector. This is often the limiting factor in scaling the method with data size and complexity. In this paper we illustrate the use of Krylov subspace methods to address this issue in a statistical solution to a source separation problem in cosmology where the data size is prohibitively large for direct solution of the required system. Two distinct approaches, adapted from techniques in the literature, are described: one that uses the method of conjugate gradients directly to the Kronecker-structured problem and another that reformulates the system as a Sylvester matrix equation. We show that both approaches produce an accurate solution within an acceptable computation time and with practical memory requirements for the data size that is currently available. △ Less

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

Comments: resubmitted for publication/author order changed from last version

MSC Class: 65F10; 65F50; 65F08

On symmetric representations of $\text{SL}_2(\mathbb{Z})$

Authors: Siu-Hung Ng, Yilong Wang, Samuel Wilson

Abstract: We introduce the notions of symmetric and symmetrizable representations of $\text{SL}_2(\mathbb{Z})$. The linear representations of $\text{SL}_2(\mathbb{Z})$ arising from modular tensor categories are symmetric and have congruence kernel. Conversely, one may also reconstruct modular data from finite-dimensional symmetric, congruence representations of $\text{SL}_2(\mathbb{Z})$. By investigating a… ▽ More We introduce the notions of symmetric and symmetrizable representations of $\text{SL}_2(\mathbb{Z})$. The linear representations of $\text{SL}_2(\mathbb{Z})$ arising from modular tensor categories are symmetric and have congruence kernel. Conversely, one may also reconstruct modular data from finite-dimensional symmetric, congruence representations of $\text{SL}_2(\mathbb{Z})$. By investigating a $\mathbb{Z}/2\mathbb{Z}$-symmetry of some Weil representations at prime power levels, we prove that all finite-dimensional congruence representations of $\text{SL}_2(\mathbb{Z})$ are symmetrizable. We also provide examples of unsymmetrizable noncongruence representations of $\text{SL}_2(\mathbb{Z})$ that are subrepresentations of a symmetric one. △ Less

Submitted 29 March, 2022; originally announced March 2022.

Comments: 14 pages

Journal ref: Proceedings of the American Mathematical Society, Volume 151, Number 4, April 2023, Pages 1415--1431

Hodge-de Rham numbers of almost complex 4-manifolds

Authors: Joana Cirici, Scott O. Wilson

Abstract: We introduce and study Hodge-de Rham numbers for compact almost complex 4-manifolds, generalizing the Hodge numbers of a complex surface. The main properties of these numbers in the case of complex surfaces are extended to this more general setting, and it is shown that all Hodge-de Rham numbers for compact almost complex 4-manifolds are determined by the cohomology, except for one (the irregulari… ▽ More We introduce and study Hodge-de Rham numbers for compact almost complex 4-manifolds, generalizing the Hodge numbers of a complex surface. The main properties of these numbers in the case of complex surfaces are extended to this more general setting, and it is shown that all Hodge-de Rham numbers for compact almost complex 4-manifolds are determined by the cohomology, except for one (the irregularity). Finally, these numbers are shown to prohibit the existence of complex structures on certain manifolds, without reference to the classification of surfaces. △ Less

Submitted 18 January, 2023; v1 submitted 20 January, 2022; originally announced January 2022.

Journal ref: Expositiones Mathematicae, Volume 40, Issue 4, Pages 1244-1260, 2022

The mod-2 connected KU-homology of the Eilenberg-MacLane space K(Z/2,2)

Authors: Donald M. Davis, W. Stephen Wilson

Abstract: We compute the mod-2 connected KU-homology of the Eilenberg-MacLane space K(Z/2,2), using a novel Adams spectral sequence analysis. We compute the mod-2 connected KU-homology of the Eilenberg-MacLane space K(Z/2,2), using a novel Adams spectral sequence analysis. △ Less

Submitted 24 June, 2021; originally announced June 2021.

MSC Class: 55T15; 55P20; 55N15

Almost complex manifolds with small Nijenhuis tensor

Authors: Luis Fernandez, Tobias Shin, Scott O. Wilson

Abstract: We give several explicit examples of compact manifolds with a $1$-parameter family of almost complex structures having arbitrarily small Nijenhuis tensor in the $C^0$-norm. The $4$-dimensional examples possess no complex structure, whereas the $6$-dimensional example does not possesses a left invariant complex structure, and whether it possesses a complex structure appears to be unknown. We give several explicit examples of compact manifolds with a $1$-parameter family of almost complex structures having arbitrarily small Nijenhuis tensor in the $C^0$-norm. The $4$-dimensional examples possess no complex structure, whereas the $6$-dimensional example does not possesses a left invariant complex structure, and whether it possesses a complex structure appears to be unknown. △ Less

Submitted 13 October, 2021; v1 submitted 10 March, 2021; originally announced March 2021.

Comments: 8 pages

Stiefel-Whitney classes and immersions of orientable and Spin manifolds

Authors: Donald M. Davis, W. Stephen Wilson

Abstract: We determine a nice simple formula for the largest Euclidean space for which there is an orientable n-manifold with a nonimmersion detected by Stiefel-Whitney classes. For Spin manifolds, we prove the analogue of the upper bound and establish the complete answer for n<24 and n=33,34. Results similar to many of these were obtained some 50 years ago, but in a much less tractable form. The sharp resu… ▽ More We determine a nice simple formula for the largest Euclidean space for which there is an orientable n-manifold with a nonimmersion detected by Stiefel-Whitney classes. For Spin manifolds, we prove the analogue of the upper bound and establish the complete answer for n<24 and n=33,34. Results similar to many of these were obtained some 50 years ago, but in a much less tractable form. The sharp results for Spin manifolds require detailed calculations of ko-homology groups of mod-2 Eilenberg-MacLane spaces. △ Less

Submitted 22 March, 2021; v1 submitted 2 November, 2020; originally announced November 2020.

Comments: Some new results. Some minor corrections. Addition of coauthor

MSC Class: 57R42; 57R20; 55N22

The soluble radical and orbits of certain maps on finite groups

Authors: David Popović, John S. Wilson

Abstract: For each element $u$ in a finite group $G$ define a map $θ_u\colon G\to G$ by $θ_u(g)=[g^{-u},g]$ and set $Θ_G(u)=\{g\in G\mid θ_u^n(g)=g \hbox{ for some } n>0\}$. Then $θ_u$ induces a permutation of $Θ_G(u)$; let $β_G(u)$ be the number of orbits apart from $\{1\}$. Building on work of J.N. Bray, R.A. Wilson and the second author, we show that the index of the soluble radical of a finite group… ▽ More For each element $u$ in a finite group $G$ define a map $θ_u\colon G\to G$ by $θ_u(g)=[g^{-u},g]$ and set $Θ_G(u)=\{g\in G\mid θ_u^n(g)=g \hbox{ for some } n>0\}$. Then $θ_u$ induces a permutation of $Θ_G(u)$; let $β_G(u)$ be the number of orbits apart from $\{1\}$. Building on work of J.N. Bray, R.A. Wilson and the second author, we show that the index of the soluble radical of a finite group $G$ is bounded in terms of the values of $β_G(u)$ for $2$-elements $u$. △ Less

Submitted 6 March, 2021; v1 submitted 8 October, 2020; originally announced October 2020.

Comments: 18 pages, revised after referee's suggestions

MSC Class: 20D10; 20D05; 20F45

Almost Hermitian Identities

Authors: Joana Cirici, Scott O. Wilson

Abstract: We study the local commutation relation between the Lefschetz operator and the exterior differential on an almost complex manifold with a compatible metric. The identity that we obtain generalizes the backbone of the local Kähler identities to the setting of almost Hermitian manifolds, allowing for new global results for such manifolds. We study the local commutation relation between the Lefschetz operator and the exterior differential on an almost complex manifold with a compatible metric. The identity that we obtain generalizes the backbone of the local Kähler identities to the setting of almost Hermitian manifolds, allowing for new global results for such manifolds. △ Less

Submitted 10 August, 2020; originally announced August 2020.

Generalized Gardiner-Praeger graphs and their symmetries

Authors: Štefko Miklavič, Primož Šparl, Stephen E. Wilson

Abstract: A subgroup of the automorphism group of a graph acts {\em half-arc-transitively} on the graph if it acts transitively on the vertex-set and on the edge-set of the graph but not on the arc-set of the graph. If the full automorphism group of the graph acts half-arc-transitively, the graph is said to be {\em half-arc-transitive}. In 1994 Gardiner and Praeger introduced two families of tetravalent a… ▽ More A subgroup of the automorphism group of a graph acts {\em half-arc-transitively} on the graph if it acts transitively on the vertex-set and on the edge-set of the graph but not on the arc-set of the graph. If the full automorphism group of the graph acts half-arc-transitively, the graph is said to be {\em half-arc-transitive}. In 1994 Gardiner and Praeger introduced two families of tetravalent arc-transitive graphs, called the $C^{\pm 1}$ and the $C^{\pm \varepsilon}$ graphs, that play a prominent role in the characterization of the tetravalent graphs admitting an arc-transitive group of automorphisms with a normal elementary abelian subgroup such that the corresponding quotient graph is a cycle. All of the Gardiner-Praeger graphs are arc-transitive but admit a half-arc-transitive group of automorphisms. Quite recently, Poto\v cnik and Wilson introduced the family of CPM graphs, which are generalizations of the Gardiner-Praeger graphs. Most of these graphs are arc-transitive, but some of them are half-arc-transitive. In fact, at least up to order $1000$, each tetravalent half-arc-transitive loosely-attached graph of odd radius having vertex-stabilizers of order greater than $2$ is isomorphic to a CPM graph. In this paper we determine the automorphism group of the CPM graphs and investigate isomorphisms between them. Moreover, we determine which of these graphs are $2$-arc-transitive, which are arc-transitive but not $2$-arc-transitive, and which are half-arc-transitive. △ Less

Submitted 11 May, 2020; originally announced May 2020.

Comments: 31 pages, 5 figures

MSC Class: 20B25

Journal ref: Published in Discrete Mathematics, Vol 344, Issue 3, 2021

Base Graph -- Connection Graph: Dissection and Construction

Authors: Gabriel Verret, Primož Potočnik, Steve Wilson

Abstract: This paper presents a phenomenon which sometimes occurs in tetravalent bipartite locally dart-transitive graphs, called a Base Graph -- Connection Graph dissection. In this dissection, each white vertex is split into two vertices of valence 2 so that the connected components of the result are isomorphic. Given the Base Graph whose subdivision is isomorphic to each component, and the Connection Gra… ▽ More This paper presents a phenomenon which sometimes occurs in tetravalent bipartite locally dart-transitive graphs, called a Base Graph -- Connection Graph dissection. In this dissection, each white vertex is split into two vertices of valence 2 so that the connected components of the result are isomorphic. Given the Base Graph whose subdivision is isomorphic to each component, and the Connection Graph, which describes how the components overlap, we can, in some cases, provide a construction which can make a graph having such a decomposition. This paper investigates the general phenomenon as well as the special cases in which the connection graph has no more than one edge. △ Less

Submitted 4 April, 2020; originally announced April 2020.

Comments: 19 pages, 10 figures, to be submitted to Discrete Mathematics

Distributed Collision-Free Motion Coordination on a Sphere: A Conic Control Barrier Function Approach

Authors: Tatsuya Ibuki, Sean Wilson, Aaron D. Ames, Magnus Egerstedt

Abstract: This letter studies a distributed collision avoidance control problem for a group of rigid bodies on a sphere. A rigid body network, consisting of multiple rigid bodies constrained to a spherical surface and an interconnection topology, is first formulated. In this formulation, it is shown that motion coordination on a sphere is equivalent to attitude coordination on the 3-dimensional Special Orth… ▽ More This letter studies a distributed collision avoidance control problem for a group of rigid bodies on a sphere. A rigid body network, consisting of multiple rigid bodies constrained to a spherical surface and an interconnection topology, is first formulated. In this formulation, it is shown that motion coordination on a sphere is equivalent to attitude coordination on the 3-dimensional Special Orthogonal group. Then, an angle-based control barrier function that can handle a geodesic distance constraint on a spherical surface is presented. The proposed control barrier function is then extended to a relative motion case and applied to a collision avoidance problem for a rigid body network operating on a sphere. Each rigid body chooses its control input by solving a distributed optimization problem to achieve a nominal distributed motion coordination strategy while satisfying constraints for collision avoidance. The proposed collision-free motion coordination law is validated via simulation. △ Less

Submitted 22 June, 2020; v1 submitted 30 March, 2020; originally announced March 2020.

Journal ref: IEEE Control Systems Letters, Vol. 4, No. 4, pp. 976-981, Oct. 2020

First-order recognisability in finite and pseudofinite groups

Authors: Yves Cornulier, John S. Wilson

Abstract: It is known that there exists a first-order sentence that holds in a finite group if and only if the group is soluble. Here it is shown that the corresponding statements with 'solubility' replaced by 'nilpotence' and 'perfectness', among others, are false. These facts present difficulties for the study of pseudofinite groups. However, a very weak form of Frattini's theorem on the nilpotence of t… ▽ More It is known that there exists a first-order sentence that holds in a finite group if and only if the group is soluble. Here it is shown that the corresponding statements with 'solubility' replaced by 'nilpotence' and 'perfectness', among others, are false. These facts present difficulties for the study of pseudofinite groups. However, a very weak form of Frattini's theorem on the nilpotence of the Frattini subgroup of a finite group is proved for pseudofinite groups. △ Less

Submitted 19 February, 2020; v1 submitted 5 November, 2019; originally announced November 2019.

Comments: 18 pages (v2: Proposition 5.1 added)

MSC Class: Primary 03C60; 20A15; Secondary 03C13; 03C20; 20D10; 20D15; 20D20

Journal ref: The Journal of Symbolic Logic 85 no 2, 2020, pp. 852-867

The Omega spectrum for mod 2 KO-theory

Authors: W Stephen Wilson

Abstract: The 8-periodic theory that comes from the KO-theory of the mod 2 Moore space is the same as the real first Morava K-theory obtained from the homotopy fixed points of the Z/(2) action on the first Morava K-theory. The first Morava K-theory, K(1), is just mod 2 KU-theory. We compute the homology Hopf algebras for the spaces in this Omega spectrum. There are a lot of maps into and out of these spaces… ▽ More The 8-periodic theory that comes from the KO-theory of the mod 2 Moore space is the same as the real first Morava K-theory obtained from the homotopy fixed points of the Z/(2) action on the first Morava K-theory. The first Morava K-theory, K(1), is just mod 2 KU-theory. We compute the homology Hopf algebras for the spaces in this Omega spectrum. There are a lot of maps into and out of these spaces and the spaces for KO- theory, KU-theory and the first Morava K-theory. For every one of these 98 maps (counting suspensions) there is a spectral sequence. We describe all 98 maps and spectral sequences. 48 of these maps involve our new spaces and 56 of the spectral sequences do. In addition, the maps on homotopy are all written down. △ Less

Submitted 4 August, 2019; originally announced August 2019.

Harmonic symmetries for Hermitian manifolds

Authors: Scott O. Wilson

Abstract: Complex manifolds with compatible metric have a naturally defined subspace of harmonic differential forms that satisfy Serre, Hodge, and conjugation duality, as well as hard Lefschetz duality. This last property follows from a representation of $sl(2,\mathbb{C})$, generalizing the well known structure on the harmonic forms of compact Kähler manifolds. Some topological implications are deduced. Complex manifolds with compatible metric have a naturally defined subspace of harmonic differential forms that satisfy Serre, Hodge, and conjugation duality, as well as hard Lefschetz duality. This last property follows from a representation of $sl(2,\mathbb{C})$, generalizing the well known structure on the harmonic forms of compact Kähler manifolds. Some topological implications are deduced. △ Less

Submitted 16 January, 2020; v1 submitted 7 June, 2019; originally announced June 2019.

Comments: 7 pages, to appear in Proc. AMS

Dolbeault cohomology for almost complex manifolds

Authors: Joana Cirici, Scott O. Wilson

Abstract: This paper extends Dolbeault cohomology and its surrounding theory to arbitrary almost complex manifolds. We define a spectral sequence converging to ordinary cohomology, whose first page is the Dolbeault cohomology, and develop a harmonic theory which injects into Dolbeault cohomology. Lie-theoretic analogues of the theory are developed which yield important calculational tools for Lie groups and… ▽ More This paper extends Dolbeault cohomology and its surrounding theory to arbitrary almost complex manifolds. We define a spectral sequence converging to ordinary cohomology, whose first page is the Dolbeault cohomology, and develop a harmonic theory which injects into Dolbeault cohomology. Lie-theoretic analogues of the theory are developed which yield important calculational tools for Lie groups and nilmanifolds. Finally, we study applications to maximally non-integrable manifolds, including nearly Kähler $6$-manifolds, and show Dolbeault cohomology can be used to prohibit the existence of nearly Kähler metrics. △ Less

Submitted 5 August, 2021; v1 submitted 5 September, 2018; originally announced September 2018.

Comments: Minor corrections and updates. To appear in Advances in Mathematics

Topological and geometric aspects of almost Kähler manifolds via harmonic theory

Authors: Joana Cirici, Scott O. Wilson

Abstract: The well-known Kähler identities naturally extend to the non-integrable setting. This paper deduces several geometric and topological consequences of these extended identities for compact almost Kähler manifolds. Among these are identities of various Laplacians, generalized Hodge and Serre dualities, a generalized hard Lefschetz duality, and a Lefschetz decomposition, all on the space of $d$-harmo… ▽ More The well-known Kähler identities naturally extend to the non-integrable setting. This paper deduces several geometric and topological consequences of these extended identities for compact almost Kähler manifolds. Among these are identities of various Laplacians, generalized Hodge and Serre dualities, a generalized hard Lefschetz duality, and a Lefschetz decomposition, all on the space of $d$-harmonic forms of pure bidegree. There is also a generalization of Hodge Index Theorem for compact almost Kähler $4$-manifolds. In particular, these provide topological bounds on the dimension of the space of $d$-harmonic forms of pure bidegree, as well as several new obstructions to the existence of a symplectic form compatible with a given almost complex structure. △ Less

Submitted 21 May, 2020; v1 submitted 5 September, 2018; originally announced September 2018.

Comments: 23 pages, to appear in Selecta Mathematica

The ER(2)-cohomology of X^nCP^\infty and BU(n)

Authors: Nitu Kitchloo, Vitaly Lorman, W. Stephen Wilson

Abstract: We continue the development of the computability of the second real Johnson-Wilson theory. As ER(2) is not complex orientable, this gives some difficulty even with basic spaces. In this paper we compute the second real Johnson-Wilson theory for products of infinite complex projective spaces and for the classifying spaces for the unitary groups. We continue the development of the computability of the second real Johnson-Wilson theory. As ER(2) is not complex orientable, this gives some difficulty even with basic spaces. In this paper we compute the second real Johnson-Wilson theory for products of infinite complex projective spaces and for the classifying spaces for the unitary groups. △ Less

Submitted 14 July, 2018; originally announced July 2018.

MSC Class: 55N20; 55N91; 55P20; 55T25

The Omega spectrum for Pengelley's BoP

Authors: W. Stephen Wilson

Abstract: We compute the homology of the spaces in the Omega spectrum for $BoP$. There is no torsion in $H_*(\underline{BoP}_{\; i})$ for $i \ge 2$, and things are only slightly more complicated for $i < 2$. We find the complete homotopy type of $\underline{BoP}_{\; i}$ for $i \le 6$ and conjecture the homotopy type for $i > 6$. This completes the computation of all $H_*(\underline{MSU}_{\;*})$. We compute the homology of the spaces in the Omega spectrum for $BoP$. There is no torsion in $H_*(\underline{BoP}_{\; i})$ for $i \ge 2$, and things are only slightly more complicated for $i < 2$. We find the complete homotopy type of $\underline{BoP}_{\; i}$ for $i \le 6$ and conjecture the homotopy type for $i > 6$. This completes the computation of all $H_*(\underline{MSU}_{\;*})$. △ Less

Submitted 10 May, 2019; v1 submitted 10 July, 2018; originally announced July 2018.

Comments: Tweaks in response to the referee's report. Theorem numbers change

MSC Class: 55N10; 55N22; 55P15

Center of mass and Kähler structures

Authors: Scott O. Wilson, Mahmoud Zeinalian

Abstract: There is a sequence of positive numbers $δ_{2n}$, such that for any connected $2n$-dimensional Riemannian manifold $M$, there are two mutually exclusive possibilities: $1)$ There is a complex structure on $M$ making it into a Kähler manifold, or $2)$ For any almost complex structure $J$ compatible with the metric, at every point $p\in M$, there is a smooth loop $γ$ at $p$ such that… ▽ More There is a sequence of positive numbers $δ_{2n}$, such that for any connected $2n$-dimensional Riemannian manifold $M$, there are two mutually exclusive possibilities: $1)$ There is a complex structure on $M$ making it into a Kähler manifold, or $2)$ For any almost complex structure $J$ compatible with the metric, at every point $p\in M$, there is a smooth loop $γ$ at $p$ such that $dist(J_p, hol_γ^{-1}J_phol_γ)> δ_{2n}$. △ Less

Submitted 17 February, 2018; originally announced February 2018.

Comments: 4 pages

Recognizing the real line

Authors: A. M. W. Glass, John S. Wilson

Abstract: Let $(Ω, \leq)$ be a totally ordered set. We prove that if Aut$(Ω,\leq)$ is transitive and satisfies the same first-order sentences as the automorphism group of the real line (in the language of groups) then $Ω$ and and the real line are isomorphic ordered sets. This improvement of a theorem of Gurevich and Holland is obtained as a consequence of a study of centralizers associated with certain tra… ▽ More Let $(Ω, \leq)$ be a totally ordered set. We prove that if Aut$(Ω,\leq)$ is transitive and satisfies the same first-order sentences as the automorphism group of the real line (in the language of groups) then $Ω$ and and the real line are isomorphic ordered sets. This improvement of a theorem of Gurevich and Holland is obtained as a consequence of a study of centralizers associated with certain transitive subgroups of Aut$(Ω,\leq)$. △ Less

Submitted 25 January, 2017; originally announced January 2017.

Comments: 13 pages. arXiv admin note: substantial text overlap with arXiv:1606.00312

MSC Class: 20B07; 06F15

Multiplicative structure on Real Johnson-Wilson theory

Authors: Nitu Kitchloo, Vitaly Lorman, W. Stephen Wilson

Abstract: We prove that the Real Johnson-Wilson theories ER(n) are homotopy associative and commutative ring spectra up to phantom maps. We further show that ER(n) represents an associatively and commutatively multiplicative cohomology theory on the category of (possibly non-compact) spaces. We prove that the Real Johnson-Wilson theories ER(n) are homotopy associative and commutative ring spectra up to phantom maps. We further show that ER(n) represents an associatively and commutatively multiplicative cohomology theory on the category of (possibly non-compact) spaces. △ Less

Submitted 29 August, 2017; v1 submitted 1 January, 2017; originally announced January 2017.

Comments: 16 pages, version 2. Added a new section revisiting $ER(n)$-orientations of vector bundles and minor improvements to exposition. To appear in Proceedings of the Mid-Atlantic Topology Conference

MSC Class: 55P91; 55N22; 55N91

Results Concerning Almost Complex Structures on the Six-Sphere

Authors: Scott O. Wilson

Abstract: For the standard metric on the six-dimensional sphere, with Levi-Civita connection $\nabla$, we show there is no almost complex structure $J$ such that $\nabla_X J$ and $\nabla_{JX} J$ commute for every $X$, nor is there any integrable $J$ such that $\nabla_{JX} J = J \nabla_X J$ for every $X$. The latter statement generalizes a previously known result on the non-existence of integrable orthogonal… ▽ More For the standard metric on the six-dimensional sphere, with Levi-Civita connection $\nabla$, we show there is no almost complex structure $J$ such that $\nabla_X J$ and $\nabla_{JX} J$ commute for every $X$, nor is there any integrable $J$ such that $\nabla_{JX} J = J \nabla_X J$ for every $X$. The latter statement generalizes a previously known result on the non-existence of integrable orthogonal almost complex structures on the six-sphere. Both statements have refined versions, expressed as intrinsic first order differential inequalities depending only on $J$ and the metric. The new techniques employed include an almost-complex analogue of the Gauss map, defined for any almost complex manifold in Euclidean space. △ Less

Submitted 17 April, 2018; v1 submitted 30 October, 2016; originally announced October 2016.

MSC Class: 53C15; 32Q60; 53A07

Journal ref: SIGMA 14 (2018), 034, 21 pages

Connectedness of the dart digraph and the squared-dart digraph

Authors: Primož Potočnik, Steve Wilson

Abstract: In this note we revisit the dart graph and the squared dart digraph constructions and prove that they yield strongly connected digraphs when applied to connected graphs of minimum valence at least 3. In this note we revisit the dart graph and the squared dart digraph constructions and prove that they yield strongly connected digraphs when applied to connected graphs of minimum valence at least 3. △ Less

Submitted 29 August, 2016; originally announced August 2016.

Comments: 4 pages, no pictures

MSC Class: 05C25

Recipes for Edge-Transitive Tetravalent Graphs

Authors: Steve Wilson, Primož Potočnik

Abstract: This paper is to accompany the Census of Edge-Transitive Tetravalent Graphs, available at jan.ucc.nau.edu/~swilson/C4FullSite/index.html, which is a collection of all known edge-transitive graphs of valence 4 up to 512 vertices. The Census contains information for each graph. This information includes parameters such as group order, diameter, girth etc., all known constructions, relations to other… ▽ More This paper is to accompany the Census of Edge-Transitive Tetravalent Graphs, available at jan.ucc.nau.edu/~swilson/C4FullSite/index.html, which is a collection of all known edge-transitive graphs of valence 4 up to 512 vertices. The Census contains information for each graph. This information includes parameters such as group order, diameter, girth etc., all known constructions, relations to other graphs in the Census and intersting substructures such as colorings, cycle structures, and dissections. We try to present most graphs as members of one or more parameterized families, and one purpose of this paper is to gather together, here in one place, descriptions of each of these families, to show how each is constructed, what the history of each is and how one family is related to another. We also discuss in this paper the theory and techniques behind computer searches leading to many entries in the Census. △ Less

Submitted 14 August, 2016; originally announced August 2016.

Comments: 31 pages, 16 figures

MSC Class: 05C25

The first-order theory of $\ell$-permutation groups

Authors: A. M. W. Glass, John S. Wilson

Abstract: Let $(Ω, \leq)$ be a totally ordered set. We prove that if $\Aut(Ω,\leq)$ is transitive and satisfies the same first-order sentences as $\Aut(\RR,\leq)$ (in the language of lattice-ordered groups) then $Ω$ and $\RR$ are isomorphic ordered sets. This improvement of a theorem of Gurevich and Holland is obtained as one of many consequences of a study of centralizers and coloured chains associated wit… ▽ More Let $(Ω, \leq)$ be a totally ordered set. We prove that if $\Aut(Ω,\leq)$ is transitive and satisfies the same first-order sentences as $\Aut(\RR,\leq)$ (in the language of lattice-ordered groups) then $Ω$ and $\RR$ are isomorphic ordered sets. This improvement of a theorem of Gurevich and Holland is obtained as one of many consequences of a study of centralizers and coloured chains associated with certain transitive subgroups of $\Aut(Ω,\leq)$. △ Less

Submitted 1 June, 2016; originally announced June 2016.

Comments: 23 pages, 0 figures

The $ER(2)$-cohomology of $B\mathbb{Z}/(2^q)$ and $\mathbb{C}P^n$

Authors: Nitu Kitchloo, Vitaly Lorman, W. Stephen Wilson

Abstract: The $ER(2)$-cohomology of $B\mathbb{Z}/(2^q)$ and $\mathbb{C}P^n$ are computed along with the Atiyah-Hirzebruch spectral sequence for $ER(2)^*(\mathbb{C}P^\infty)$. This, along with other papers in this series, gives us the $ER(2)$-cohomology of all Eilenberg-MacLane spaces. Since $ER(2)$ is $TMF_0(3)$ after a suitable completion, these computations also take care of that theory. The $ER(2)$-cohomology of $B\mathbb{Z}/(2^q)$ and $\mathbb{C}P^n$ are computed along with the Atiyah-Hirzebruch spectral sequence for $ER(2)^*(\mathbb{C}P^\infty)$. This, along with other papers in this series, gives us the $ER(2)$-cohomology of all Eilenberg-MacLane spaces. Since $ER(2)$ is $TMF_0(3)$ after a suitable completion, these computations also take care of that theory. △ Less

Submitted 15 February, 2017; v1 submitted 24 May, 2016; originally announced May 2016.

Comments: 25 pages, version 2: minor changes to exposition, a few diagrams added. Comments welcome!

MSC Class: 55P91; 55N22; 55N91

Landweber flat real pairs and ER(n)-cohomology

Authors: Nitu Kitchloo, Vitaly Lorman, W. Stephen Wilson

Abstract: We take advantage of the internal algebraic structure of the Bockstein spectral sequence converging to ER(n)^*(pt) to prove that for spaces Z that are part of Landweber flat real pairs with respect to E(n), the cohomology ring ER(n)^*(Z) can be obtained from E(n)^*(Z) by base change. In particular, our results allow us to compute the Real Johnson-Wilson cohomology of the Eilenberg-MacLane spaces Z… ▽ More We take advantage of the internal algebraic structure of the Bockstein spectral sequence converging to ER(n)^*(pt) to prove that for spaces Z that are part of Landweber flat real pairs with respect to E(n), the cohomology ring ER(n)^*(Z) can be obtained from E(n)^*(Z) by base change. In particular, our results allow us to compute the Real Johnson-Wilson cohomology of the Eilenberg-MacLane spaces Z = K(Z, 2m+1), K(Z/2^q, 2m), K(Z/2, m) for all natural numbers $m$ and $q$, as well as connective covers of BO: BO, BSO, BSpin, and BO<8> (the last for n<3 only). △ Less

Submitted 28 October, 2017; v1 submitted 22 March, 2016; originally announced March 2016.

Comments: 21 pages; version 3 (final version): several minor corrections

MSC Class: 55P91; 55N22; 55N91

Journal ref: Advances in Mathematics, Volume 322; p. 60-82 (2017)

The Separated Box Product of Two Digraphs

Authors: Primož Potočnik, Stephen Wilson

Abstract: A new product construction of graphs and digraphs, based on the standard box product of graphs and called the separated box product, is presented, and several of its properties are discussed. Questions about the symmetries of the product and their relations to symmetries of the factor graphs are considered. An application of this construction to the case of tetravalent edge-transitive graphs is di… ▽ More A new product construction of graphs and digraphs, based on the standard box product of graphs and called the separated box product, is presented, and several of its properties are discussed. Questions about the symmetries of the product and their relations to symmetries of the factor graphs are considered. An application of this construction to the case of tetravalent edge-transitive graphs is discussed in detail. △ Less

Submitted 2 November, 2015; originally announced November 2015.

Confinement Control of Double Integrators using Partially Periodic Leader Trajectories

Authors: Karthik Elamvazhuthi, Sean Wilson, Spring Berman

Abstract: We consider a multi-agent confinement control problem in which a single leader has a purely repulsive effect on follower agents with double-integrator dynamics. By decomposing the leader's control inputs into periodic and aperiodic components, we show that the leader can be driven so as to guarantee confinement of the followers about a time-dependent trajectory in the plane. We use tools from aver… ▽ More We consider a multi-agent confinement control problem in which a single leader has a purely repulsive effect on follower agents with double-integrator dynamics. By decomposing the leader's control inputs into periodic and aperiodic components, we show that the leader can be driven so as to guarantee confinement of the followers about a time-dependent trajectory in the plane. We use tools from averaging theory and an input-to-state stability type argument to derive conditions on the model parameters that guarantee confinement of the followers about the trajectory. For the case of a single follower, we show that if the follower starts at the origin, then the error in trajectory tracking can be made arbitrarily small depending on the frequency of the periodic control components and the rate of change of the trajectory. We validate our approach using simulations and experiments with a small mobile robot. △ Less

Submitted 24 March, 2016; v1 submitted 1 October, 2015; originally announced October 2015.

Comments: To appear in the Proceedings of the 2016 American Control Conference (Minor corrections and additional comments on the case with consensus type inter-follower interaction)

Differential K-theory as equivalence classes of maps to Grassmannians and unitary groups

Authors: Thomas Tradler, Scott O. Wilson, Mahmoud Zeinalian

Abstract: We construct a model of differential K-theory, using the geometrically defined Chern forms, whose cocycles are certain equivalence classes of maps into the Grassmannians and unitary groups. In particular, we produce the circle-integration maps for these models using classical homotopy-theoretic constructions, by incorporating certain differential forms which reconcile the incompatibility between t… ▽ More We construct a model of differential K-theory, using the geometrically defined Chern forms, whose cocycles are certain equivalence classes of maps into the Grassmannians and unitary groups. In particular, we produce the circle-integration maps for these models using classical homotopy-theoretic constructions, by incorporating certain differential forms which reconcile the incompatibility between these even and odd Chern forms. By the uniqueness theorem of Bunke and Schick, this model agrees with the spectrum-based models in the literature whose abstract Chern cocycles are compatible with the delooping maps on the nose. △ Less

Submitted 7 July, 2015; originally announced July 2015.

Comments: 44 pages

Improved Monte Carlo Variance Reduction for Space and Energy Self-Shielding

Authors: S. C. Wilson, R. N. Slaybaugh

Abstract: Continued demand for accurate and computationally efficient transport methods to solve optically thick, fixed-source transport problems has inspired research on variance-reduction (VR) techniques for Monte Carlo (MC). Methods that use deterministic results to create VR maps for MC constitute a dominant branch of this research, with Forward Weighted-Consistent Adjoint Driven Importance Sampling (FW… ▽ More Continued demand for accurate and computationally efficient transport methods to solve optically thick, fixed-source transport problems has inspired research on variance-reduction (VR) techniques for Monte Carlo (MC). Methods that use deterministic results to create VR maps for MC constitute a dominant branch of this research, with Forward Weighted-Consistent Adjoint Driven Importance Sampling (FW-CADIS) being a particularly successful example. However, locations in which energy and spatial self-shielding are combined, such as thin plates embedded in concrete, challenge FW-CADIS. In these cases the deterministic flux cannot appropriately capture transport behavior, and the associated VR parameters result in high variance in and following the plate. This work presents a new method that improves performance in transport calculations that contain regions of combined space and energy self-shielding without significant impact on the solution quality in other parts of the problem. This method is based on FW-CADIS and applies a Resonance Factor correction to the adjoint source. The impact of the Resonance Factor method is investigated in this work through an example problem. It is clear that this new method dramatically improves performance in terms of lowering the maximum 95% confidence interval relative error and reducing the compute time. Based on this work, we recommend that the Resonance Factor method be used when the accuracy of the solution in the presence of combined space and energy self-shielding is important. △ Less

Submitted 16 February, 2015; originally announced February 2015.

Comments: 20 pages, 22 figures, 7 tables

Journal ref: Nuclear Science and Engineering, 179, 22--41 (2015)

The Morava K-theory of BO(q) and MO(q)

Authors: Nitu Kitchloo, W. Stephen Wilson

Abstract: We give an easy proof that the Morava K-theories for BO(q) and MO(q) are in even degrees. Although this is a known result, it had followed from a difficult proof that BP^*(BO(q)) was Landweber flat. Landweber flatness follows from the even Morava K-theory. We go further and compute an explicit description of K(n)_*(BO(q)) and K(n)_*(MO(q)) and reconcile it with the purely algebraic construct from… ▽ More We give an easy proof that the Morava K-theories for BO(q) and MO(q) are in even degrees. Although this is a known result, it had followed from a difficult proof that BP^*(BO(q)) was Landweber flat. Landweber flatness follows from the even Morava K-theory. We go further and compute an explicit description of K(n)_*(BO(q)) and K(n)_*(MO(q)) and reconcile it with the purely algebraic construct from Landweber flatness. △ Less

Submitted 4 September, 2014; originally announced September 2014.

MSC Class: 55N20

Journal ref: Algebr. Geom. Topol. 15 (2015) 3049-3058

The ER(n)-cohomology of BO(q), and real Johnson-Wilson orientations for vector bundles

Authors: Nitu Kitchloo, W. Stephen Wilson

Abstract: Using the Bockstein spectral sequence developed previously by the authors, we compute the ring ER(n)^*(BO(q)) explicitly. We then use this calculation to show that the ring spectrum MO[2^{n+1}] is ER(n)-orientable (but not ER(n+1)-orientable), where MO[2^{n+1}] is defined as the Thom spectrum for the self map of BO given by multiplication by 2^{n+1}. Using the Bockstein spectral sequence developed previously by the authors, we compute the ring ER(n)^*(BO(q)) explicitly. We then use this calculation to show that the ring spectrum MO[2^{n+1}] is ER(n)-orientable (but not ER(n+1)-orientable), where MO[2^{n+1}] is defined as the Thom spectrum for the self map of BO given by multiplication by 2^{n+1}. △ Less

Submitted 3 September, 2014; originally announced September 2014.

MSC Class: 55P91; 55N22

Many triangulated odd-spheres

Authors: Eran Nevo, Francisco Santos, Stedman Wilson

Abstract: It is known that the $(2k-1)$-sphere has at most $2^{O(n^k \log n)}$ combinatorially distinct triangulations with $n$ vertices, for every $k\ge 2$. Here we construct at least $2^{Ω(n^k)}$ such triangulations, improving on the previous constructions which gave $2^{Ω(n^{k-1})}$ in the general case (Kalai) and $2^{Ω(n^{5/4})}$ for $k=2$ (Pfeifle-Ziegler). We also construct… ▽ More It is known that the $(2k-1)$-sphere has at most $2^{O(n^k \log n)}$ combinatorially distinct triangulations with $n$ vertices, for every $k\ge 2$. Here we construct at least $2^{Ω(n^k)}$ such triangulations, improving on the previous constructions which gave $2^{Ω(n^{k-1})}$ in the general case (Kalai) and $2^{Ω(n^{5/4})}$ for $k=2$ (Pfeifle-Ziegler). We also construct $2^{Ω\left(n^{k-1+\frac{1}{k}}\right)}$ geodesic (a.k.a. star-convex) $n$-vertex triangualtions of the $(2k-1)$-sphere. As a step for this (in the case $k=2$) we construct $n$-vertex $4$-polytopes containing $Ω(n^{3/2})$ facets that are not simplices, or with $Ω(n^{3/2})$ edges of degree three. △ Less

Submitted 15 August, 2014; originally announced August 2014.

Comments: This paper extends and subsumes arXiv:1311.1641, by two of the authors

MSC Class: 57Q15 (Primary); 52B70 (Secondary)

Journal ref: Math. Annalen 364:3 (2016), 737-762

Residual nilpotence and ordering in one-relator groups and knot groups

Authors: I. M. Chiswell, A. M. W. Glass, John S. Wilson

Abstract: Let $G=< x,t\mid w>$ be a one-relator group, where $w$ is a word in $x,t$. If $w$ is a product of conjugates of $x$ then, associated with $w$, there is a polynomial $A_w(X)$ over the integers, which in the case when $G$ is a knot group, is the Alexander polynomial of the knot. We prove, subject to certain restrictions on $w$, that if all roots of $A_w(X)$ are real and positive then $G$ is bi-order… ▽ More Let $G=< x,t\mid w>$ be a one-relator group, where $w$ is a word in $x,t$. If $w$ is a product of conjugates of $x$ then, associated with $w$, there is a polynomial $A_w(X)$ over the integers, which in the case when $G$ is a knot group, is the Alexander polynomial of the knot. We prove, subject to certain restrictions on $w$, that if all roots of $A_w(X)$ are real and positive then $G$ is bi-orderable, and that if $G$ is bi-orderable then at least one root is real and positive. This sheds light on the bi-orderability of certain knot groups and on a question of Clay and Rolfsen. One of the results relies on an extension of work of G. Baumslag on adjunction of roots to groups, and this may have independent interest. △ Less

Submitted 2 November, 2014; v1 submitted 5 May, 2014; originally announced May 2014.

Comments: Minor changes, references added

Journal ref: Math. Proc. Camb. Phil. Soc. 158 (2015) 275-288