-
Parabolic skein modules
Authors:
Jennifer Brown,
David Jordan
Abstract:
We develop skein theory for 3-manifolds in the presence of codimension-one defects, focusing especially on defects arising from parabolic induction/restriction for quantum groups. We use these defects as a model for the quantum decorated character stacks of arXiv:2102.12283, thus extending them to 3-manifolds with surface defects. As a special case we obtain knot invariants closely related to the…
▽ More
We develop skein theory for 3-manifolds in the presence of codimension-one defects, focusing especially on defects arising from parabolic induction/restriction for quantum groups. We use these defects as a model for the quantum decorated character stacks of arXiv:2102.12283, thus extending them to 3-manifolds with surface defects. As a special case we obtain knot invariants closely related to the ``quantum $A$-polynomial", and we give a concrete method for computation resembling the approach of Dimofte and collaborators based on ideal triangulations and gluing equations.
△ Less
Submitted 20 May, 2025;
originally announced May 2025.
-
The Degree Polynomial
Authors:
Jason I. Brown,
Ian C. George
Abstract:
The degree polynomial of a multigraph $G$ is given by $\sum _{v \in V(G)} x^{\mbox{deg}(v)}$. We investigate here properties of the roots of such polynomials. In addition to examining the roots for some families of graphs with few and many degrees, we provide some bounds on the moduli of the roots. We also propose a region that contains all roots for multigraphs of order $n$.
The degree polynomial of a multigraph $G$ is given by $\sum _{v \in V(G)} x^{\mbox{deg}(v)}$. We investigate here properties of the roots of such polynomials. In addition to examining the roots for some families of graphs with few and many degrees, we provide some bounds on the moduli of the roots. We also propose a region that contains all roots for multigraphs of order $n$.
△ Less
Submitted 7 May, 2025;
originally announced May 2025.
-
Algebraic structures arising from the finite condensation on linear orders
Authors:
Jennifer Brown,
Ricardo Suárez
Abstract:
The finite condensation $\sim_F$ is an equivalence relation defined on a linear order $L$ by $x \sim_F y$ if and only if the set of points lying between $x$ and $y$ is finite. We define an operation $\cdot_F$ on linear orders $L$ and $M$ by $L \cdot_F M = \operatorname{o.t.}\left((LM)/\!\sim_F\right)$; that is, $L \cdot_F M$ is the order type of the lexicographic product of $L$ and $M$ modulo the…
▽ More
The finite condensation $\sim_F$ is an equivalence relation defined on a linear order $L$ by $x \sim_F y$ if and only if the set of points lying between $x$ and $y$ is finite. We define an operation $\cdot_F$ on linear orders $L$ and $M$ by $L \cdot_F M = \operatorname{o.t.}\left((LM)/\!\sim_F\right)$; that is, $L \cdot_F M$ is the order type of the lexicographic product of $L$ and $M$ modulo the finite condensation. The infinite order types $L$ such that $L / \! \sim_F\, \cong 1$ are $ω, ω^*,$ and $ζ$ (where $ω^*$ is the reverse ordering of $ω$, and $ζ$ is the order type of $\mathbb{Z}$). We show that under the operation $\cdot_F$, the set $R=\{1, ω, ω^*, ζ\}$ forms a left rectangular band. Further, each of the ordinal elements of $R$ defines, via left or right multiplication modulo the finite condensation, a weakly order-preserving map on the class of ordinals. We study these maps' effect on the ordinals of finite degree in Cantor normal form. In particular, we examine the extent to which one of these maps, sending $α$ to the order type of $α$ modulo the finite condensation, behaves similarly to a derivative operator on the ordinals of finite degree in Cantor normal form.
△ Less
Submitted 25 May, 2025; v1 submitted 3 May, 2025;
originally announced May 2025.
-
On the Convexity of the Bernardi Integral Operator
Authors:
Johnny E. Brown
Abstract:
We prove that the Bernardi Integral Operator maps certain classes of bounded starlike functions into the class of convex functions, improving the result of Oros and Oros. We also present a general unified method for investigating various other integral operators that preserve many of the previously studied subclasses of univalent and p-valent functions.
We prove that the Bernardi Integral Operator maps certain classes of bounded starlike functions into the class of convex functions, improving the result of Oros and Oros. We also present a general unified method for investigating various other integral operators that preserve many of the previously studied subclasses of univalent and p-valent functions.
△ Less
Submitted 19 March, 2025;
originally announced March 2025.
-
Kontsevich graphs act on Nambu--Poisson brackets, V. Implementation
Authors:
Mollie S. Jagoe Brown,
Arthemy V. Kiselev
Abstract:
In this series of papers, we established that $Q^{γ_3}_{d=4}(P)$ is a coboundary in 4D (paper II arXiv:2409.12555), and we presented a series of experimental results about the (non)trivialisation of Kontsevich graph flows of Nambu--Poisson brackets on $\mathbb{R}^d$ (paper IV). This immediate sequel V. to I.--IV. is a guide to working with the package $\textsf{gcaops}$ (https://github.com/rburing/…
▽ More
In this series of papers, we established that $Q^{γ_3}_{d=4}(P)$ is a coboundary in 4D (paper II arXiv:2409.12555), and we presented a series of experimental results about the (non)trivialisation of Kontsevich graph flows of Nambu--Poisson brackets on $\mathbb{R}^d$ (paper IV). This immediate sequel V. to I.--IV. is a guide to working with the package $\textsf{gcaops}$ (https://github.com/rburing/gcaops) ($\textbf{G}$raph $\textbf{C}$omplex $\textbf{A}$ction $\textbf{O}$n $\textbf{P}$oisson $\textbf{S}$tructures) for $\textsf{SageMath}$ by Buring (2022). Specifically, we shall explain the script used in paper II (arXiv:2409.12555) and the use of it.
△ Less
Submitted 13 March, 2025;
originally announced March 2025.
-
Kontsevich graphs act on Nambu--Poisson brackets, IV. Resilience of the graph calculus in the dimensional shift $d\mapsto d+1$
Authors:
Mollie S. Jagoe Brown,
Arthemy V. Kiselev
Abstract:
We examine whether the Kontsevich flows $\dot{P}=Q^γ_d(P)$ of Nambu--Poisson structures $P$ on $\mathbb{R}^d$ are Poisson coboundaries, for $γ$ some suitable cocycle in the Kontsevich graph complex. That is, we inspect the existence of a vector field $\vec{X}^γ_d(P)$ such that $Q^γ_d(P)=[[ P,\vec{X}^γ_d(P)]]$, where $[[\cdot,\cdot]]$ is the Schouten bracket of multivector fields (the generalised L…
▽ More
We examine whether the Kontsevich flows $\dot{P}=Q^γ_d(P)$ of Nambu--Poisson structures $P$ on $\mathbb{R}^d$ are Poisson coboundaries, for $γ$ some suitable cocycle in the Kontsevich graph complex. That is, we inspect the existence of a vector field $\vec{X}^γ_d(P)$ such that $Q^γ_d(P)=[[ P,\vec{X}^γ_d(P)]]$, where $[[\cdot,\cdot]]$ is the Schouten bracket of multivector fields (the generalised Lie bracket). To tackle this class of problems in dimensions $d\geq3$, we introduced a series of simplications in paper II (arXiv:2409.12555); here, we present a series of results regarding the down-up behaviour of solutions $\vec{X}^γ_d(P)$ and vanishing micro-graphs in the course of dimension shift $d\mapsto d+1$.
△ Less
Submitted 13 March, 2025;
originally announced March 2025.
-
chebgreen: Learning and Interpolating Continuous Empirical Green's Functions from Data
Authors:
Harshwardhan Praveen,
Jacob Brown,
Christopher Earls
Abstract:
In this work, we present a mesh-independent, data-driven library, chebgreen, to mathematically model one-dimensional systems, possessing an associated control parameter, and whose governing partial differential equation is unknown. The proposed method learns an Empirical Green's Function for the associated, but hidden, boundary value problem, in the form of a Rational Neural Network from which we…
▽ More
In this work, we present a mesh-independent, data-driven library, chebgreen, to mathematically model one-dimensional systems, possessing an associated control parameter, and whose governing partial differential equation is unknown. The proposed method learns an Empirical Green's Function for the associated, but hidden, boundary value problem, in the form of a Rational Neural Network from which we subsequently construct a bivariate representation in a Chebyshev basis. We uncover the Green's function, at an unseen control parameter value, by interpolating the left and right singular functions within a suitable library, expressed as points on a manifold of Quasimatrices, while the associated singular values are interpolated with Lagrange polynomials.
△ Less
Submitted 2 May, 2025; v1 submitted 30 January, 2025;
originally announced January 2025.
-
Klingen Eisenstein series congruences and modularity
Authors:
Tobias Berger,
Jim Brown,
Krzysztof Klosin
Abstract:
We construct a mod $\ell$ congruence between a Klingen Eisenstein series (associated to a classical newform $φ$ of weight $k$) and a Siegel cusp form $f$ with irreducible Galois representation. We use this congruence to show non-vanishing of the Bloch-Kato Selmer group $H^1_f(\mathbf{Q}, \textrm{ad}^0ρ_φ(2-k)\otimes \mathbf{Q}_{\ell}/\mathbf{Z}_{\ell})$ under certain assumptions and provide an exa…
▽ More
We construct a mod $\ell$ congruence between a Klingen Eisenstein series (associated to a classical newform $φ$ of weight $k$) and a Siegel cusp form $f$ with irreducible Galois representation. We use this congruence to show non-vanishing of the Bloch-Kato Selmer group $H^1_f(\mathbf{Q}, \textrm{ad}^0ρ_φ(2-k)\otimes \mathbf{Q}_{\ell}/\mathbf{Z}_{\ell})$ under certain assumptions and provide an example. We then prove an $R=dvr$ theorem for the Fontaine-Laffaille universal deformation ring of $\overlineρ_f$ under some assumptions, in particular, that the residual Selmer group $H^1_f(\mathbf{Q}, \textrm{ad}^0\overlineρ_φ(k-2))$ is cyclic. For this we prove a result about extensions of Fontaine-Laffaille modules. We end by formulating conditions for when $H^1_f(\mathbf{Q}, \textrm{ad}^0\overlineρ_φ(k-2))$ is non-cyclic and the Eisenstein ideal is non-principal.
△ Less
Submitted 17 January, 2025;
originally announced January 2025.
-
A dynamic implicit 3D material point-to-rigid body contact approach for large deformation analysis
Authors:
Robert E. Bird,
Giuliano Pretti,
William M. Coombs,
Charles E. Augarde,
Yaseen U. Sharif,
Michael J. Brown,
Gareth Carter,
Catriona Macdonald,
Kirstin Johnson
Abstract:
Accurate and robust modelling of large deformation three dimensional contact interaction is an important area of engineering, but it is also challenging from a computational mechanics perspective. This is particularly the case when there is significant interpenetration and evolution of the contact surfaces, such as the case of a relatively rigid body interacting with a highly deformable body. The…
▽ More
Accurate and robust modelling of large deformation three dimensional contact interaction is an important area of engineering, but it is also challenging from a computational mechanics perspective. This is particularly the case when there is significant interpenetration and evolution of the contact surfaces, such as the case of a relatively rigid body interacting with a highly deformable body. The numerical challenges come from several non-linear sources: large deformation mechanics, history dependent material behaviour and slip/stick frictional contact. In this paper the Material Point Method (MPM) is adopted to represent the deformable material, combined with a discretised rigid body which provides an accurate representation of the contact surface. The three dimensional interaction between the bodies is detected though the use of domains associated with each material point. This provides a general and consistent representation of the extent of the deformable body without introducing boundary representation in the material point method. The dynamic governing equations allows the trajectory of the rigid body to evolve based on the interaction with the deformable body and the governing equations are solved within an efficient implicit framework. The performance of the method is demonstrated on a number of benchmark problems with analytical solutions. The method is also applied to the specific case of soil-structure interaction, using geotechnical centrifuge experimental data that confirms the veracity of the proposed approach.
△ Less
Submitted 2 December, 2024;
originally announced December 2024.
-
Intermediate Subalgebras of Cartan embeddings in rings and C*-algebras
Authors:
Jonathan H. Brown,
Lisa Orloff Clark,
Adam H. Fuller
Abstract:
Let $D \subseteq A$ be a quasi-Cartan pair of algebras. Then there exists a unique discrete groupoid twist $Σ\to G$ whose twisted Steinberg algebra is isomorphic to $A$ in a way that preserves $D$. In this paper, we show there is a lattice isomorphism between wide open subgroupoids of $G$ and subalgebras $C$ such that $D\subseteq C\subseteq A$ and $D \subseteq C$ is a quasi-Cartan pair. We also ch…
▽ More
Let $D \subseteq A$ be a quasi-Cartan pair of algebras. Then there exists a unique discrete groupoid twist $Σ\to G$ whose twisted Steinberg algebra is isomorphic to $A$ in a way that preserves $D$. In this paper, we show there is a lattice isomorphism between wide open subgroupoids of $G$ and subalgebras $C$ such that $D\subseteq C\subseteq A$ and $D \subseteq C$ is a quasi-Cartan pair. We also characterise which algebraic diagonal/algebraic Cartan/quasi-Cartan pairs have the property that every subalgebra $C$ with $D\subseteq C\subseteq A$ has $D \subseteq C$ a diagonal/Cartan/quasi-Cartan pair. In the diagonal case, when the coefficient ring is a field, it is all of them. Beyond that, only pairs that are close to being diagonal have this property. We then apply our techniques to C*-algebraic inclusions and give a complete characterization of which Cartan pairs $D \subseteq A$ have the property that every C*-subalgebra $C$ with $D\subseteq C\subseteq A$ has $D \subseteq C$ a Cartan pair.
△ Less
Submitted 24 November, 2024;
originally announced November 2024.
-
Kontsevich graphs act on Nambu-Poisson brackets, I. New identities for Jacobian determinants
Authors:
Arthemy V. Kiselev,
Mollie S. Jagoe Brown,
Floor Schipper
Abstract:
Nambu-determinant brackets on $R^d\ni x=(x^1,...,x^d)$, $\{f,g\}_d(x)=ρ(x) \det(\partial(f,g,a_1,...,a_{d-2})/\partial(x^1,...,x^d))$, with $a_i\in C^\infty(R^d)$ and $ρ\partial_x\in\mathfrak{X}^d(R^d)$, are a class of Poisson structures with (non)linear coefficients, e.g., polynomials of arbitrarily high degree. With good cocycles in the graph complex, Kontsevich associated universal -- for all P…
▽ More
Nambu-determinant brackets on $R^d\ni x=(x^1,...,x^d)$, $\{f,g\}_d(x)=ρ(x) \det(\partial(f,g,a_1,...,a_{d-2})/\partial(x^1,...,x^d))$, with $a_i\in C^\infty(R^d)$ and $ρ\partial_x\in\mathfrak{X}^d(R^d)$, are a class of Poisson structures with (non)linear coefficients, e.g., polynomials of arbitrarily high degree. With good cocycles in the graph complex, Kontsevich associated universal -- for all Poisson bivectors $P$ on affine $R^d_{aff}$ -- elements $\dot{P}=Q^γ(P)\in H^2_{P}(R^d_{aff})$ in the Lichnerowicz-Poisson second cohomology groups; we note that known graph cocycles $γ$ preserve the Nambu-Poisson class $\{P(ρ,a)\}$, and we express, directly from $γ$, the evolution $\dotρ$,$\dot{a}$ that induces $\dot{P}$.
Over all $d\geq2$ at once, there is no universal mechanism for the bivector cocycles $Q^γ_d$ to be trivial, $Q^γ_d=[\![P,\vec{X}^γ_d(P)]\!]$, w.r.t. vector fields defined uniformly for all dimensions $d$ by the same graph formula. While over $R^2$, the graph flows $\dot{P} = Q^{γ_i}_{2D}(P(ρ))$ for $γ\in\{γ_3,γ_5,γ_7,...\}$ are trivialized by vector fields $\vec{X}^{γ_i}_{2D}=(dx\wedge dy)^{-1}d_{dR}(Ham^{γ_i}(P))$ of peculiar shape, we detect that in $d\geq3$, the 1-vectors from 2D, now with $P(ρ,a_1,...,a_{d-2})$ inside, do not solve the problems $Q^{γ_i}_{d\geq3}=[\![P,{\vec{X}^{γ_i}_{d\geq3}}(P(ρ,a))]\!]$, yet they do yield good Ansatz where we find solutions $\vec{X}^{γ_i}_{d=3,4}(P(ρ,a))$. In the study of the step $d\mapsto d+1$, by adapting the Kontsevich graph calculus to the Nambu-Poisson class of brackets, we discover more identities for the Jacobian determinants within $P(ρ,a)$, i.e. for multivector-valued $GL(d)$-invariants on $R^d_{aff}$.
△ Less
Submitted 27 September, 2024;
originally announced September 2024.
-
Kontsevich graphs act on Nambu-Poisson brackets, III. Uniqueness aspects
Authors:
Floor Schipper,
Mollie S Jagoe Brown,
Arthemy V Kiselev
Abstract:
Kontsevich constructed a map between `good' graph cocycles $γ$ and infinitesimal deformations of Poisson bivectors on affine manifolds, that is, Poisson cocycles in the second Lichnerowicz--Poisson cohomology. For the tetrahedral graph cocycle $γ_3$ and for the class of Nambu-determinant Poisson bivectors $P$ over $\mathbb{R}^2$, $\mathbb{R}^3$ and $\mathbb{R}^4$, we know the fact of trivializatio…
▽ More
Kontsevich constructed a map between `good' graph cocycles $γ$ and infinitesimal deformations of Poisson bivectors on affine manifolds, that is, Poisson cocycles in the second Lichnerowicz--Poisson cohomology. For the tetrahedral graph cocycle $γ_3$ and for the class of Nambu-determinant Poisson bivectors $P$ over $\mathbb{R}^2$, $\mathbb{R}^3$ and $\mathbb{R}^4$, we know the fact of trivialization, $\dot{P}=[[ P, \vec{X}^{γ_3}_{\text{dim}}]]$, by using dimension-dependent vector fields $\vec{X}^{γ_3}_{\text{dim}}$ expressed by Kontsevich (micro-) graphs. We establish that these trivializing vector fields $\vec{X}^{γ_3}_{\text{dim}}$ are unique modulo Hamiltonian vector fields $\vec{X}_{H}=d_P(H)= [[ P, H]]$, where $d_P$ is the Lichnerowicz--Poisson differential and where the Hamiltonians $H$ are also represented by Kontsevich (micro-)graphs. However, we find that the choice of Kontsevich (micro-)graphs to represent the aforementioned multivectors is not unique.
△ Less
Submitted 23 November, 2024; v1 submitted 24 September, 2024;
originally announced September 2024.
-
Kontsevich graphs act on Nambu--Poisson brackets, II. The tetrahedral flow is a coboundary in 4D
Authors:
Mollie S. Jagoe Brown,
Floor Schipper,
Arthemy V. Kiselev
Abstract:
Kontsevich constructed a map from suitable cocycles in the graph complex to infinitesimal deformations of Poisson bi-vector fields. Under the deformations, the bi-vector fields remain Poisson. We ask, are these deformations trivial, meaning, do they amount to a change of coordinates along a vector field? We examine this question for the tetrahedron, the smallest nontrivial suitable graph cocycle i…
▽ More
Kontsevich constructed a map from suitable cocycles in the graph complex to infinitesimal deformations of Poisson bi-vector fields. Under the deformations, the bi-vector fields remain Poisson. We ask, are these deformations trivial, meaning, do they amount to a change of coordinates along a vector field? We examine this question for the tetrahedron, the smallest nontrivial suitable graph cocycle in the Kontsevich graph complex, and for the class of Nambu--Poisson brackets on $\mathbb{R}^d$.
Within Kontsevich's graph calculus, we use dimension-specific micro-graphs, in which each vertex represents an ingredient of the Nambu--Poisson bracket. For the tetrahedron, Kontsevich knew that the deformation is trivial for $d = 2$ (1996). In 2020, Buring and the third author found that the deformation is trivial for $d = 3$. Building on these discoveries, we now establish that the deformation is trivial for $d = 4$.
△ Less
Submitted 9 October, 2024; v1 submitted 19 September, 2024;
originally announced September 2024.
-
Group theoretic properties of Clifford multiplication on 2-torsion points on the Dirac Spinor Abelian Variety
Authors:
Jennifer Brown,
Ivona Grzegorczyk,
Ricardo Suárez
Abstract:
In this manuscript we consider a special complex torus, denoted $S_{Δ_{2k}}$ (for each $k \in \mathbb{N},\, k \geq 1$) and called the Dirac spinor torus. It is an Abelian variety of complex dimension $2^{k}$ whose covering space is the space of Dirac spinors, $Δ_{2k}$, for the Clifford algebra $Cl(\mathbb{C}^{2k})$ associated with the vector space $\mathbb{C}^{2k}$. Fixing an isomorphism…
▽ More
In this manuscript we consider a special complex torus, denoted $S_{Δ_{2k}}$ (for each $k \in \mathbb{N},\, k \geq 1$) and called the Dirac spinor torus. It is an Abelian variety of complex dimension $2^{k}$ whose covering space is the space of Dirac spinors, $Δ_{2k}$, for the Clifford algebra $Cl(\mathbb{C}^{2k})$ associated with the vector space $\mathbb{C}^{2k}$. Fixing an isomorphism $ρ:Cl(\mathbb{C}^{2k})\rightarrow End (Δ_{2k})$, we define Clifford multiplication on $S_{Δ_{2k}}$ as the actions of those endomorphisms in the image of $ρ$ that preserve the full rank lattice. We analyze the properties of that Clifford multiplication on the 2-torsion points of the Dirac spinor torus. We identify the Clifford actions with permutation maps that represent all isomorphism classes of these actions on the group of 2-torsion points. We provide a structure theorem describing these isomorphism classes of Clifford actions in a way that is independent of the choice of representatives. We conclude by extending the scope of our analysis to the group of $n$-torsion points and analyzing the fixed points and translation constants of entry-permuting maps, a broader class of actions of which the Clifford actions on the 2-torsion points of $S_{Δ_{2k}}$ is a subset.
△ Less
Submitted 10 August, 2024;
originally announced August 2024.
-
Skein Categories in Non-semisimple Settings
Authors:
Jennifer Brown,
Benjamin Haïoun
Abstract:
We introduce a version of skein categories which depends on a tensor ideal in a ribbon category, thereby extending the existing theory to the setting of non-semisimple TQFTs. We obtain modified notions of skein algebras of surfaces and skein modules of 3-cobordisms for non-semisimple ribbon categories. We prove that these skein categories built from ideals coincide with factorization homology, she…
▽ More
We introduce a version of skein categories which depends on a tensor ideal in a ribbon category, thereby extending the existing theory to the setting of non-semisimple TQFTs. We obtain modified notions of skein algebras of surfaces and skein modules of 3-cobordisms for non-semisimple ribbon categories. We prove that these skein categories built from ideals coincide with factorization homology, shedding new light on the similarities and differences between the semisimple and non-semisimple settings. As a consequence, we get a skein-theoretic description of factorization homology for a large class of balanced braided categories in Pr, precisely all those which are expected to induce an oriented categorified 3-TQFT.
△ Less
Submitted 13 June, 2024;
originally announced June 2024.
-
Finite $W$-algebra invariants via Lax type operators
Authors:
Jonathan S. Brown
Abstract:
We use variations on Lax type operators to find explicit formulas for certain elements of finite $W$-algebras. These give a complete set of generators for all finite $W$-algebras of types B,C,D for which the Dynkin grading is even.
We use variations on Lax type operators to find explicit formulas for certain elements of finite $W$-algebras. These give a complete set of generators for all finite $W$-algebras of types B,C,D for which the Dynkin grading is even.
△ Less
Submitted 11 June, 2024;
originally announced June 2024.
-
Quantum invariants arising from $U_h\mathfrak{sl}(2|1)$ are q-holonomic
Authors:
Jennifer Brown,
Nathan Geer
Abstract:
We show that the quantum invariants arising from typical representations of the quantum group $U_h\mathfrak{sl}(2|1)$ are q-holonomic. In particular, this implies the existence of an underlying field theory for which this family of invariants are partition functions.
We show that the quantum invariants arising from typical representations of the quantum group $U_h\mathfrak{sl}(2|1)$ are q-holonomic. In particular, this implies the existence of an underlying field theory for which this family of invariants are partition functions.
△ Less
Submitted 19 March, 2024;
originally announced March 2024.
-
On feasibility of extrapolation of completely monotone functions
Authors:
Henry J. Brown,
Yury Grabovsky
Abstract:
The feasibility of extrapolation of completely monotone functions can be quantified by examining the worst case scenario, whereby a pair of completely monotone functions agree on a given interval to a given relative precision, but differ as much as it is theoretically possible at a given point. We show that extrapolation is impossible to the left of the interval, while the maximal discrepancy to t…
▽ More
The feasibility of extrapolation of completely monotone functions can be quantified by examining the worst case scenario, whereby a pair of completely monotone functions agree on a given interval to a given relative precision, but differ as much as it is theoretically possible at a given point. We show that extrapolation is impossible to the left of the interval, while the maximal discrepancy to the right exhibits a power law typical for extrapolation of similar classes of complex analytic functions. The power law exponent is derived explicitly, and shows a precipitous drop immediately beyond the right end-point, with a subsequent decay to zero inversely proportional to the distance from the interval. The local extrapolation problem, where the worst discrepancy from a given completely monotone function is sought, is also analyzed. In this case explicit and easily verifiable optimality conditions are derived, enabling us to solve the problem exactly for a single decaying exponential. In the general case, our approach leads to a natural algorithm for computing solutions to the local extrapolation problem numerically. The methods developed in this paper can easily be adapted to other classes of analytic functions represented as integral transforms of positive measures with analytic kernels.
△ Less
Submitted 31 January, 2024; v1 submitted 26 January, 2024;
originally announced January 2024.
-
Stable numerics for finite-strain elasticity
Authors:
Rezgar Shakeri,
Leila Ghaffari,
Jeremy L. Thompson,
Jed Brown
Abstract:
A backward stable numerical calculation of a function with condition number $κ$ will have a relative accuracy of $κε_{\text{machine}}$. Standard formulations and software implementations of finite-strain elastic materials models make use of the deformation gradient $\boldsymbol F = I + \partial \boldsymbol u/\partial \boldsymbol X$ and Cauchy-Green tensors. These formulations are not numerically s…
▽ More
A backward stable numerical calculation of a function with condition number $κ$ will have a relative accuracy of $κε_{\text{machine}}$. Standard formulations and software implementations of finite-strain elastic materials models make use of the deformation gradient $\boldsymbol F = I + \partial \boldsymbol u/\partial \boldsymbol X$ and Cauchy-Green tensors. These formulations are not numerically stable, leading to loss of several digits of accuracy when used in the small strain regime, and often precluding the use of single precision floating point arithmetic. We trace the source of this instability to specific points of numerical cancellation, interpretable as ill-conditioned steps. We show how to compute various strain measures in a stable way and how to transform common constitutive models to their stable representations, formulated in either initial or current configuration. The stable formulations all provide accuracy of order $ε_{\text{machine}}$. In many cases, the stable formulations have elegant representations in terms of appropriate strain measures and offer geometric intuition that is lacking in their standard representation. We show that algorithmic differentiation can stably compute stresses so long as the strain energy is expressed stably, and give principles for stable computation that can be applied to inelastic materials.
△ Less
Submitted 8 July, 2024; v1 submitted 23 January, 2024;
originally announced January 2024.
-
Non-Clifford and parallelizable fault-tolerant logical gates on constant and almost-constant rate homological quantum LDPC codes via higher symmetries
Authors:
Guanyu Zhu,
Shehryar Sikander,
Elia Portnoy,
Andrew W. Cross,
Benjamin J. Brown
Abstract:
We study parallel fault-tolerant quantum computing for families of homological quantum low-density parity-check (LDPC) codes defined on 3-manifolds with constant or almost-constant encoding rate. We derive generic formula for a transversal $T$ gate of color codes on general 3-manifolds, which acts as collective non-Clifford logical CCZ gates on any triplet of logical qubits with their logical-$X$…
▽ More
We study parallel fault-tolerant quantum computing for families of homological quantum low-density parity-check (LDPC) codes defined on 3-manifolds with constant or almost-constant encoding rate. We derive generic formula for a transversal $T$ gate of color codes on general 3-manifolds, which acts as collective non-Clifford logical CCZ gates on any triplet of logical qubits with their logical-$X$ membranes having a $\mathbb{Z}_2$ triple intersection at a single point. The triple intersection number is a topological invariant, which also arises in the path integral of the emergent higher symmetry operator in a topological quantum field theory: the $\mathbb{Z}_2^3$ gauge theory. Moreover, the transversal $S$ gate of the color code corresponds to a higher-form symmetry supported on a codimension-1 submanifold, giving rise to exponentially many addressable and parallelizable logical CZ gates. We have developed a generic formalism to compute the triple intersection invariants for 3-manifolds and also study the scaling of the Betti number and systoles with volume for various 3-manifolds, which translates to the encoding rate and distance. We further develop three types of LDPC codes supporting such logical gates: (1) A quasi-hyperbolic code from the product of 2D hyperbolic surface and a circle, with almost-constant rate $k/n=O(1/\log(n))$ and $O(\log(n))$ distance; (2) A homological fibre bundle code with $O(1/\log^{\frac{1}{2}}(n))$ rate and $O(\log^{\frac{1}{2}}(n))$ distance; (3) A specific family of 3D hyperbolic codes: the Torelli mapping torus code, constructed from mapping tori of a pseudo-Anosov element in the Torelli subgroup, which has constant rate while the distance scaling is currently unknown. We then show a generic constant-overhead scheme for applying a parallelizable universal gate set with the aid of logical-$X$ measurements.
△ Less
Submitted 23 October, 2024; v1 submitted 25 October, 2023;
originally announced October 2023.
-
Nontraditional models of $Γ$-Cartan pairs
Authors:
Jonathan H. Brown,
Elizabeth Gillaspy
Abstract:
This paper explores the tension between multiple models and rigidity for groupoid $C^*$-algebras. We begin by identifying $Γ$-Cartan subalgebras $D$ inside twisted groupoid $C^*$-algebras $C^*_r(G, ω)$, using similar techniques to those developed in [DGN$^+$20]. When $D \not= C_0(G^{(0)})$, [BFPR21, Theorem 4.19] then gives another groupoid $H$, and a twist $Σ$ over $H$, so that…
▽ More
This paper explores the tension between multiple models and rigidity for groupoid $C^*$-algebras. We begin by identifying $Γ$-Cartan subalgebras $D$ inside twisted groupoid $C^*$-algebras $C^*_r(G, ω)$, using similar techniques to those developed in [DGN$^+$20]. When $D \not= C_0(G^{(0)})$, [BFPR21, Theorem 4.19] then gives another groupoid $H$, and a twist $Σ$ over $H$, so that $D \cong C_0(H^{(0)})$ and $C^*_r(G, ω) \cong C^*_r(H; Σ)$. However, there is a close relationship between $G$ and $H$. In addition to showing how to construct $H$ and $Σ$ in terms of $G$ and $ω$, we also show how to reconstruct $G$ from $H$ if we assume the 2-cocycle $ω$ is trivial. This latter construction involves a new type of twisting datum, which may be of independent interest.
△ Less
Submitted 12 September, 2023;
originally announced September 2023.
-
The local bisection hypothesis for twisted groupoid C*-algebras
Authors:
Becky Armstrong,
Jonathan H. Brown,
Lisa Orloff Clark,
Kristin Courtney,
Ying-Fen Lin,
Kathryn McCormick,
Jacqui Ramagge
Abstract:
In this note, we present criteria that are equivalent to a locally compact Hausdorff groupoid $G$ being effective. One of these conditions is that $G$ satisfies the "C*-algebraic local bisection hypothesis"; that is, that every normaliser in the reduced twisted groupoid C*-algebra is supported on an open bisection. The semigroup of normalisers plays a fundamental role in our proof, as does the sem…
▽ More
In this note, we present criteria that are equivalent to a locally compact Hausdorff groupoid $G$ being effective. One of these conditions is that $G$ satisfies the "C*-algebraic local bisection hypothesis"; that is, that every normaliser in the reduced twisted groupoid C*-algebra is supported on an open bisection. The semigroup of normalisers plays a fundamental role in our proof, as does the semigroup of normalisers in cyclic group C*-algebras.
△ Less
Submitted 23 October, 2023; v1 submitted 25 July, 2023;
originally announced July 2023.
-
Towards Stability of Autoregressive Neural Operators
Authors:
Michael McCabe,
Peter Harrington,
Shashank Subramanian,
Jed Brown
Abstract:
Neural operators have proven to be a promising approach for modeling spatiotemporal systems in the physical sciences. However, training these models for large systems can be quite challenging as they incur significant computational and memory expense -- these systems are often forced to rely on autoregressive time-stepping of the neural network to predict future temporal states. While this is effe…
▽ More
Neural operators have proven to be a promising approach for modeling spatiotemporal systems in the physical sciences. However, training these models for large systems can be quite challenging as they incur significant computational and memory expense -- these systems are often forced to rely on autoregressive time-stepping of the neural network to predict future temporal states. While this is effective in managing costs, it can lead to uncontrolled error growth over time and eventual instability. We analyze the sources of this autoregressive error growth using prototypical neural operator models for physical systems and explore ways to mitigate it. We introduce architectural and application-specific improvements that allow for careful control of instability-inducing operations within these models without inflating the compute/memory expense. We present results on several scientific systems that include Navier-Stokes fluid flow, rotating shallow water, and a high-resolution global weather forecasting system. We demonstrate that applying our design principles to neural operators leads to significantly lower errors for long-term forecasts as well as longer time horizons without qualitative signs of divergence compared to the original models for these systems. We open-source our \href{https://github.com/mikemccabe210/stabilizing_neural_operators}{code} for reproducibility.
△ Less
Submitted 10 December, 2023; v1 submitted 18 June, 2023;
originally announced June 2023.
-
On the Split Reliability of Graphs
Authors:
Jason I. Brown,
Isaac McMullin
Abstract:
A common model of robustness of a graph against random failures has all vertices operational, but the edges independently operational with probability $p$. One can ask for the probability that all vertices can communicate ({\em all-terminal reliability}) or that two specific vertices (or {\em terminals}) can communicate with each other ({\em two-terminal reliability}). A relatively new measure is…
▽ More
A common model of robustness of a graph against random failures has all vertices operational, but the edges independently operational with probability $p$. One can ask for the probability that all vertices can communicate ({\em all-terminal reliability}) or that two specific vertices (or {\em terminals}) can communicate with each other ({\em two-terminal reliability}). A relatively new measure is {\em split reliability}, where for two fixed vertices $s$ and $t$, we consider the probability that every vertex communicates with one of $s$ or $t$, but not both. In this paper, we explore the existence for fixed numbers $n \geq 2$ and $m \geq n-1$ of an {\em optimal} connected $(n,m)$-graph $G_{n,m}$ for split reliability, that is, a connected graph with $n$ vertices and $m$ edges for which for any other such graph $H$, the split reliability of $G_{n,m}$ is at least as large as that of $H$, for {\em all} values of $p \in [0,1]$. Unlike the similar problems for all-terminal and two-terminal reliability, where only partial results are known, we completely solve the issue for split reliability, where we show that there is an optimal $(n,m)$-graph for split reliability if and only if $n\leq 3$, $m=n-1$, or $n=m=4$.
△ Less
Submitted 6 June, 2023;
originally announced June 2023.
-
Regular ideals, ideal intersections, and quotients
Authors:
Jonathan H. Brown,
Adam H. Fuller,
David R. Pitts,
Sarah A. Reznikoff
Abstract:
Let $B \subseteq A$ be an inclusion of C$^*$-algebras. We study the relationship between the regular ideals of $B$ and regular ideals of $A$. We show that if $B \subseteq A$ is a regular C$^*$-inclusion and there is a faithful invariant conditional expectation from $A$ onto $B$, then there is an isomorphism between the lattice of regular ideals of $A$ and invariant regular ideals of $B$. We study…
▽ More
Let $B \subseteq A$ be an inclusion of C$^*$-algebras. We study the relationship between the regular ideals of $B$ and regular ideals of $A$. We show that if $B \subseteq A$ is a regular C$^*$-inclusion and there is a faithful invariant conditional expectation from $A$ onto $B$, then there is an isomorphism between the lattice of regular ideals of $A$ and invariant regular ideals of $B$. We study properties of inclusions preserved under quotients by regular ideals. This includes showing that if $D \subseteq A$ is a Cartan inclusion and $J$ is a regular ideal in $A$, then $D/(J\cap D)$ is a Cartan subalgebra of $A/J$. We provide a description of regular ideals in reduced crossed products $A \rtimes_r Γ$.
△ Less
Submitted 29 November, 2023; v1 submitted 21 August, 2022;
originally announced August 2022.
-
A Model of Fluid-Structure and Biochemical Interactions for Applications to Subclinical Leaflet Thrombosis
Authors:
Aaron Barrett,
Jordan A. Brown,
Margaret Anne Smith,
Andrew Woodward,
John P. Vavalle,
Arash Kheradvar,
Boyce E. Griffith,
Aaron L. Fogelson
Abstract:
Subclinical leaflet thrombosis (SLT) is a potentially serious complication of aortic valve replacement with a bioprosthetic valve in which blood clots form on the replacement valve. SLT is associated with increased risk of transient ischemic attacks and strokes and can progress to clinical leaflet thrombosis. SLT following aortic valve replacement also may be related to subsequent structural valve…
▽ More
Subclinical leaflet thrombosis (SLT) is a potentially serious complication of aortic valve replacement with a bioprosthetic valve in which blood clots form on the replacement valve. SLT is associated with increased risk of transient ischemic attacks and strokes and can progress to clinical leaflet thrombosis. SLT following aortic valve replacement also may be related to subsequent structural valve deterioration, which can impair the durability of the valve replacement. Because of the difficulty in clinical imaging of SLT, models are needed to determine the mechanisms of SLT and could eventually predict which patients will develop SLT. To this end, we develop methods to simulate leaflet thrombosis that combine fluid-structure interaction and a simplified thrombosis model that allows for deposition along the moving leaflets. Additionally, this model can be adapted to model deposition or absorption along other moving boundaries. We present convergence results and quantify the model's ability to realize changes in valve opening and pressures. These new approaches are an important advancement in our tools for modeling thrombosis in which they incorporate both adhesion to the surface of the moving leaflets and feedback to the fluid-structure interaction.
△ Less
Submitted 7 February, 2023; v1 submitted 3 May, 2022;
originally announced May 2022.
-
Performance Portable Solid Mechanics via Matrix-Free $p$-Multigrid
Authors:
Jed Brown,
Valeria Barra,
Natalie Beams,
Leila Ghaffari,
Matthew Knepley,
William Moses,
Rezgar Shakeri,
Karen Stengel,
Jeremy L. Thompson,
Junchao Zhang
Abstract:
Finite element analysis of solid mechanics is a foundational tool of modern engineering, with low-order finite element methods and assembled sparse matrices representing the industry standard for implicit analysis. We use performance models and numerical experiments to demonstrate that high-order methods greatly reduce the costs to reach engineering tolerances while enabling effective use of GPUs;…
▽ More
Finite element analysis of solid mechanics is a foundational tool of modern engineering, with low-order finite element methods and assembled sparse matrices representing the industry standard for implicit analysis. We use performance models and numerical experiments to demonstrate that high-order methods greatly reduce the costs to reach engineering tolerances while enabling effective use of GPUs; these data structures also offer up to 2x benefit for linear elements. We demonstrate the reliability, efficiency, and scalability of matrix-free $p$-multigrid methods with algebraic multigrid coarse solvers through large deformation hyperelastic simulations of multiscale structures. We investigate accuracy, cost, and execution time on multi-node CPU and GPU systems for moderate to large models (millions to billions of degrees of freedom) using AMD MI250X (OLCF Crusher), NVIDIA A100 (NERSC Perlmutter), and V100 (LLNL Lassen and OLCF Summit), resulting in order of magnitude efficiency improvements over a broad range of model properties and scales. We discuss efficient matrix-free representation of Jacobians and demonstrate how automatic differentiation enables rapid development of nonlinear material models without impacting debuggability and workflows targeting GPUs. The methods are broadly applicable and amenable to common workflows, presented here via open source libraries that encapsulate all GPU-specific aspects and are accessible to both new and legacy code, allowing application code to be GPU-oblivious without compromising end-to-end performance on GPUs.
△ Less
Submitted 23 May, 2022; v1 submitted 4 April, 2022;
originally announced April 2022.
-
GPU Algorithms for Efficient Exascale Discretizations
Authors:
Ahmad Abdelfattah,
Valeria Barra,
Natalie Beams,
Ryan Bleile,
Jed Brown,
Jean-Sylvain Camier,
Robert Carson,
Noel Chalmers,
Veselin Dobrev,
Yohann Dudouit,
Paul Fischer,
Ali Karakus,
Stefan Kerkemeier,
Tzanio Kolev,
Yu-Hsiang Lan,
Elia Merzari,
Misun Min,
Malachi Phillips,
Thilina Rathnayake,
Robert Rieben,
Thomas Stitt,
Ananias Tomboulides,
Stanimire Tomov,
Vladimir Tomov,
Arturo Vargas
, et al. (2 additional authors not shown)
Abstract:
In this paper we describe the research and development activities in the Center for Efficient Exascale Discretization within the US Exascale Computing Project, targeting state-of-the-art high-order finite-element algorithms for high-order applications on GPU-accelerated platforms. We discuss the GPU developments in several components of the CEED software stack, including the libCEED, MAGMA, MFEM,…
▽ More
In this paper we describe the research and development activities in the Center for Efficient Exascale Discretization within the US Exascale Computing Project, targeting state-of-the-art high-order finite-element algorithms for high-order applications on GPU-accelerated platforms. We discuss the GPU developments in several components of the CEED software stack, including the libCEED, MAGMA, MFEM, libParanumal, and Nek projects. We report performance and capability improvements in several CEED-enabled applications on both NVIDIA and AMD GPU systems.
△ Less
Submitted 10 September, 2021;
originally announced September 2021.
-
Efficient Exascale Discretizations: High-Order Finite Element Methods
Authors:
Tzanio Kolev,
Paul Fischer,
Misun Min,
Jack Dongarra,
Jed Brown,
Veselin Dobrev,
Tim Warburton,
Stanimire Tomov,
Mark S. Shephard,
Ahmad Abdelfattah,
Valeria Barra,
Natalie Beams,
Jean-Sylvain Camier,
Noel Chalmers,
Yohann Dudouit,
Ali Karakus,
Ian Karlin,
Stefan Kerkemeier,
Yu-Hsiang Lan,
David Medina,
Elia Merzari,
Aleksandr Obabko,
Will Pazner,
Thilina Rathnayake,
Cameron W. Smith
, et al. (5 additional authors not shown)
Abstract:
Efficient exploitation of exascale architectures requires rethinking of the numerical algorithms used in many large-scale applications. These architectures favor algorithms that expose ultra fine-grain parallelism and maximize the ratio of floating point operations to energy intensive data movement. One of the few viable approaches to achieve high efficiency in the area of PDE discretizations on u…
▽ More
Efficient exploitation of exascale architectures requires rethinking of the numerical algorithms used in many large-scale applications. These architectures favor algorithms that expose ultra fine-grain parallelism and maximize the ratio of floating point operations to energy intensive data movement. One of the few viable approaches to achieve high efficiency in the area of PDE discretizations on unstructured grids is to use matrix-free/partially-assembled high-order finite element methods, since these methods can increase the accuracy and/or lower the computational time due to reduced data motion. In this paper we provide an overview of the research and development activities in the Center for Efficient Exascale Discretizations (CEED), a co-design center in the Exascale Computing Project that is focused on the development of next-generation discretization software and algorithms to enable a wide range of finite element applications to run efficiently on future hardware. CEED is a research partnership involving more than 30 computational scientists from two US national labs and five universities, including members of the Nek5000, MFEM, MAGMA and PETSc projects. We discuss the CEED co-design activities based on targeted benchmarks, miniapps and discretization libraries and our work on performance optimizations for large-scale GPU architectures. We also provide a broad overview of research and development activities in areas such as unstructured adaptive mesh refinement algorithms, matrix-free linear solvers, high-order data visualization, and list examples of collaborations with several ECP and external applications.
△ Less
Submitted 10 September, 2021;
originally announced September 2021.
-
Local Fourier analysis of Balancing Domain Decomposition by Constraints algorithms
Authors:
Jed Brown,
Yunhui He,
Scott MacLachlan
Abstract:
Local Fourier analysis is a commonly used tool for the analysis of multigrid and other multilevel algorithms, providing both insight into observed convergence rates and predictive analysis of the performance of many algorithms. In this paper, for the first time, we adapt local Fourier analysis to examine variants of two- and three-level balancing domain decomposition by constraints (BDDC) algorith…
▽ More
Local Fourier analysis is a commonly used tool for the analysis of multigrid and other multilevel algorithms, providing both insight into observed convergence rates and predictive analysis of the performance of many algorithms. In this paper, for the first time, we adapt local Fourier analysis to examine variants of two- and three-level balancing domain decomposition by constraints (BDDC) algorithms, to better understand the eigenvalue distributions and condition number bounds on these preconditioned operators. This adaptation is based on a modified choice of basis for the space of Fourier harmonics that greatly simplifies the application of local Fourier analysis in this setting. The local Fourier analysis is validated by considering the two dimensional Laplacian and predicting the condition numbers of the preconditioned operators with different sizes of subdomains. Several variants are analyzed, showing the two- and three-level performance of the "lumped" variant can be greatly improved when used in multiplicative combination with a weighted diagonal scaling preconditioner, with weight optimized through the use of LFA.
△ Less
Submitted 4 August, 2021;
originally announced August 2021.
-
Local Fourier Analysis of P-Multigrid for High-Order Finite Element Operators
Authors:
Jeremy L. Thompson,
Jed Brown,
Yunhui He
Abstract:
Multigrid methods are popular for solving linear systems derived from discretizing PDEs. Local Fourier Analysis (LFA) is a technique for investigating and tuning multigrid methods. P-multigrid is popular for high-order or spectral finite element methods, especially on unstructured meshes. In this paper, we introduce LFAToolkit.jl, a new Julia package for LFA of high-order finite element methods. L…
▽ More
Multigrid methods are popular for solving linear systems derived from discretizing PDEs. Local Fourier Analysis (LFA) is a technique for investigating and tuning multigrid methods. P-multigrid is popular for high-order or spectral finite element methods, especially on unstructured meshes. In this paper, we introduce LFAToolkit.jl, a new Julia package for LFA of high-order finite element methods. LFAToolkit.jl analyzes preconditioning techniques for arbitrary systems of second order PDEs and supports mixed finite element methods. Specifically, we develop LFA of p-multigrid with arbitrary second-order PDEs using high-order finite element discretizations and examine the performance of Jacobi and Chebyshev smoothing for two-grid schemes with aggressive p-coarsening. A natural extension of this LFA framework is the analysis of h-multigrid for finite element discretizations or finite difference discretizations that can be represented in the language of finite elements. With this extension, we can replicate previous work on the LFA of h-multigrid for arbitrary order discretizations using a convenient and extensible abstraction. Examples in one, two, and three dimensions are presented to validate our LFA of p-multigrid for the Laplacian and linear elasticity.
△ Less
Submitted 18 January, 2023; v1 submitted 3 August, 2021;
originally announced August 2021.
-
Counting Divisions of a $2\times n$ Rectangular Grid
Authors:
Jacob Brown
Abstract:
Consider a $2\times n$ rectangular grid composed of $1\times 1$ squares. Cutting only along the edges between squares, how many ways are there to divide the board into $k$ pieces? Building off the work of Durham and Richmond, who found the closed-form solutions for the number of divisions into 2 and 3 pieces, we prove a recursive relationship that counts the number of divisions of the board into…
▽ More
Consider a $2\times n$ rectangular grid composed of $1\times 1$ squares. Cutting only along the edges between squares, how many ways are there to divide the board into $k$ pieces? Building off the work of Durham and Richmond, who found the closed-form solutions for the number of divisions into 2 and 3 pieces, we prove a recursive relationship that counts the number of divisions of the board into $k$ pieces. Using this recursion, we obtain closed-form solutions for the number of divisions for $k=4$ and $k=5$ using fitting techniques on data generated from the recursion. Furthermore, we show that the closed-form solution for any fixed $k$ must be a polynomial on $n$ with degree $2k-2$.
△ Less
Submitted 21 July, 2021; v1 submitted 28 June, 2021;
originally announced June 2021.
-
Maximal Intervals of Decrease and Inflection Points for Node Reliability
Authors:
Jason Brown
Abstract:
The \textit{node reliability} of a graph $G$ is the probability that at least one node is operational and that the operational nodes can all communicate in the subgraph that they induce, given that the edges are perfectly reliable but each node operates independently with probability $p\in[0,1]$. We show that unlike many other notions of graph reliability, the number of maximal intervals of decrea…
▽ More
The \textit{node reliability} of a graph $G$ is the probability that at least one node is operational and that the operational nodes can all communicate in the subgraph that they induce, given that the edges are perfectly reliable but each node operates independently with probability $p\in[0,1]$. We show that unlike many other notions of graph reliability, the number of maximal intervals of decrease in $[0,1]$ is unbounded, and that there can be arbitrarily many inflection points in the interval as well.
△ Less
Submitted 25 March, 2021;
originally announced March 2021.
-
On the Real Roots of Domination Polynomials
Authors:
Iain Beaton,
Jason I. Brown
Abstract:
A dominating set $S$ of a graph $G$ of order $n$ is a subset of the vertices of $G$ such that every vertex is either in $S$ or adjacent to a vertex of $S$. The domination polynomial is defined by $D(G,x) = \sum d_k x^k$ where $d_k$ is the number of dominating sets in $G$ with cardinality $k$. In this paper we show that the closure of the real roots of domination polynomials is $(-\infty,0]$.
A dominating set $S$ of a graph $G$ of order $n$ is a subset of the vertices of $G$ such that every vertex is either in $S$ or adjacent to a vertex of $S$. The domination polynomial is defined by $D(G,x) = \sum d_k x^k$ where $d_k$ is the number of dominating sets in $G$ with cardinality $k$. In this paper we show that the closure of the real roots of domination polynomials is $(-\infty,0]$.
△ Less
Submitted 30 December, 2020;
originally announced December 2020.
-
On the Unimodality of Domination Polynomials
Authors:
Iain Beaton,
Jason I. Brown
Abstract:
A polynomial is said to be unimodal if its coefficients are non-decreasing and then non-increasing. The domination polynomial of a graph $G$ is the generating function of the number of domination sets of each cardinality in $G$, and its coefficients have been conjectured to be unimodal. In this paper we will show the domination polynomial of paths, cycles and complete multipartite graphs are unimo…
▽ More
A polynomial is said to be unimodal if its coefficients are non-decreasing and then non-increasing. The domination polynomial of a graph $G$ is the generating function of the number of domination sets of each cardinality in $G$, and its coefficients have been conjectured to be unimodal. In this paper we will show the domination polynomial of paths, cycles and complete multipartite graphs are unimodal, and that the domination polynomial of almost every graph is unimodal with mode $ \lceil \frac{n}{2}\rceil $.
△ Less
Submitted 21 December, 2020;
originally announced December 2020.
-
Boundary topological entanglement entropy in two and three dimensions
Authors:
Jacob C. Bridgeman,
Benjamin J. Brown,
Samuel J. Elman
Abstract:
The topological entanglement entropy is used to measure long-range quantum correlations in the ground state of topological phases. Here we obtain closed form expressions for topological entropy of (2+1)- and (3+1)-dimensional loop gas models, both in the bulk and at their boundaries, in terms of the data of their input fusion categories and algebra objects. Central to the formulation of our result…
▽ More
The topological entanglement entropy is used to measure long-range quantum correlations in the ground state of topological phases. Here we obtain closed form expressions for topological entropy of (2+1)- and (3+1)-dimensional loop gas models, both in the bulk and at their boundaries, in terms of the data of their input fusion categories and algebra objects. Central to the formulation of our results are generalized $\mathcal{S}$-matrices. We conjecture a general property of these $\mathcal{S}$-matrices, with proofs provided in many special cases. This includes constructive proofs for categories up to rank 5.
△ Less
Submitted 5 August, 2021; v1 submitted 9 December, 2020;
originally announced December 2020.
-
Acyclic polynomials of graphs
Authors:
Caroline Barton,
Jason I. Brown,
David A. Pike
Abstract:
For each nonnegative integer $i$, let $a_i$ be the number of $i$-subsets of $V(G)$ that induce an acyclic subgraph of a given graph $G$. We define $A(G,x) = \sum_{i \geq 0} a_i x^i$ (the generating function for $a_i$) to be the acyclic polynomial for $G$. After presenting some properties of these polynomials, we investigate the nature and location of their roots.
For each nonnegative integer $i$, let $a_i$ be the number of $i$-subsets of $V(G)$ that induce an acyclic subgraph of a given graph $G$. We define $A(G,x) = \sum_{i \geq 0} a_i x^i$ (the generating function for $a_i$) to be the acyclic polynomial for $G$. After presenting some properties of these polynomials, we investigate the nature and location of their roots.
△ Less
Submitted 9 January, 2022; v1 submitted 3 November, 2020;
originally announced November 2020.
-
The Average Order of Dominating Sets of a Graph
Authors:
Iain Beaton,
Jason I. Brown
Abstract:
This papers focuses on the average order of dominating sets of a graph. We find the extremal graphs for the maximum and minimum value over all graphs on $n$ vertices, while for trees we prove that the star minimizes the average order of dominating sets. We prove the average order of dominating sets in graphs without isolated vertices is at most $3n/4$, but provide evidence that the actual upper bo…
▽ More
This papers focuses on the average order of dominating sets of a graph. We find the extremal graphs for the maximum and minimum value over all graphs on $n$ vertices, while for trees we prove that the star minimizes the average order of dominating sets. We prove the average order of dominating sets in graphs without isolated vertices is at most $3n/4$, but provide evidence that the actual upper bound is $2n/3$. Finally, we show that the normalized average, while dense in $[1/2,1]$, tends to $\frac{1}{2}$ for almost all graphs.
△ Less
Submitted 14 August, 2020;
originally announced August 2020.
-
Extension to the Beraha-Kahane-Weiss Theorem with Applications
Authors:
Jason Brown,
Peter T. Otto
Abstract:
The beautiful Beraha-Kahane-Weiss theorem has found many applications within graph theory, allowing for the determination of the limits of root of graph polynomials in settings as vast as chromatic polynomials, network reliability, and generating polynomials related to independence and domination. Here we extend the class of functions to which the BKW theorem can be applied, and provide some appli…
▽ More
The beautiful Beraha-Kahane-Weiss theorem has found many applications within graph theory, allowing for the determination of the limits of root of graph polynomials in settings as vast as chromatic polynomials, network reliability, and generating polynomials related to independence and domination. Here we extend the class of functions to which the BKW theorem can be applied, and provide some applications in combinatorics.
△ Less
Submitted 4 August, 2020;
originally announced August 2020.
-
Multigrid for Bundle Adjustment
Authors:
Tristan Konolige,
Jed Brown
Abstract:
Bundle adjustment is an important global optimization step in many structure from motion pipelines. Performance is dependent on the speed of the linear solver used to compute steps towards the optimum. For large problems, the current state of the art scales superlinearly with the number of cameras in the problem. We investigate the conditioning of global bundle adjustment problems as the number of…
▽ More
Bundle adjustment is an important global optimization step in many structure from motion pipelines. Performance is dependent on the speed of the linear solver used to compute steps towards the optimum. For large problems, the current state of the art scales superlinearly with the number of cameras in the problem. We investigate the conditioning of global bundle adjustment problems as the number of images increases in different regimes and fundamental consequences in terms of superlinear scaling of the current state of the art methods. We present an unsmoothed aggregation multigrid preconditioner that accurately represents the global modes that underlie poor scaling of existing methods and demonstrate solves of up to 13 times faster than the state of the art on large, challenging problem sets.
△ Less
Submitted 3 July, 2020;
originally announced July 2020.
-
Roots of Two-Terminal Reliability
Authors:
Jason Brown,
Corey D. C. DeGagne
Abstract:
Assume that the vertices of a graph $G$ are always operational, but the edges of $G$ are operational independently with probability $p \in[0,1]$. For fixed vertices $s$ and $t$, the \emph{two-terminal reliability} of $G$ is the probability that the operational subgraph contains an $(s,t)$-path, while the \emph{all-terminal reliability} of $G$ is the probability that the operational subgraph contai…
▽ More
Assume that the vertices of a graph $G$ are always operational, but the edges of $G$ are operational independently with probability $p \in[0,1]$. For fixed vertices $s$ and $t$, the \emph{two-terminal reliability} of $G$ is the probability that the operational subgraph contains an $(s,t)$-path, while the \emph{all-terminal reliability} of $G$ is the probability that the operational subgraph contains a spanning tree. Both reliabilities are polynomials in $p$, and have very similar behaviour in many respects. However, unlike all-terminal reliability, little is known about the roots of two-reliability polynomials. In a variety of ways, we shall show that the nature and location of the roots of two-terminal reliability polynomials have significantly different properties than those held by roots of the all-terminal reliability.
△ Less
Submitted 17 June, 2020;
originally announced June 2020.
-
Regular ideals of graph algebras
Authors:
Jonathan H. Brown,
Adam H. Fuller,
David R. Pitts,
Sarah A. Reznikoff
Abstract:
Let $C^*(E)$ be the graph C$^*$-algebra of a row-finite graph $E$. We give a complete description of the vertex sets of the gauge-invariant regular ideals of $C^*(E)$. It is shown that when $E$ satisfies Condition (L) the regular ideals $C^*(E)$ are a class of gauge-invariant ideals which preserve Condition (L) under quotients. That is, we show that if $E$ satisfies Condition (L) then a regular id…
▽ More
Let $C^*(E)$ be the graph C$^*$-algebra of a row-finite graph $E$. We give a complete description of the vertex sets of the gauge-invariant regular ideals of $C^*(E)$. It is shown that when $E$ satisfies Condition (L) the regular ideals $C^*(E)$ are a class of gauge-invariant ideals which preserve Condition (L) under quotients. That is, we show that if $E$ satisfies Condition (L) then a regular ideal $J \unlhd C^*(E)$ is necessarily gauge-invariant. Further, if $J \unlhd C^*(E)$ is a regular ideal, it is shown that $C^*(E)/J \simeq C^*(F)$ where $F$ satisfies Condition (L).
△ Less
Submitted 30 May, 2020;
originally announced June 2020.
-
The ADO Invariants are a q-Holonomic Family
Authors:
Jennifer Brown,
Tudor Dimofte,
Stavros Garoufalidis,
Nathan Geer
Abstract:
We investigate the $q$-holonomic properties of a class of link invariants based on quantum group representations with vanishing quantum dimensions, motivated by the search for the invariants' realization in physics. Some of the best known invariants of this type, constructed from `typical' representations of the unrolled quantum group $\mathcal U^H_{ζ_{2r}}(\mathfrak{sl}_2)$ at a $2r$-th root of u…
▽ More
We investigate the $q$-holonomic properties of a class of link invariants based on quantum group representations with vanishing quantum dimensions, motivated by the search for the invariants' realization in physics. Some of the best known invariants of this type, constructed from `typical' representations of the unrolled quantum group $\mathcal U^H_{ζ_{2r}}(\mathfrak{sl}_2)$ at a $2r$-th root of unity, were introduced by Akutsu-Deguchi-Ohtsuki (ADO). We prove that the ADO invariants for $r\geq 2$ are a $q$-holonomic family, implying in particular that they satisfy recursion relations that are independent of $r$. In the case of a knot, we prove that the $q$-holonomic recursion ideal of the ADO invariants is contained in the recursion ideal of the colored Jones polynomials, the subject of the celebrated AJ Conjecture. (Combined with a recent result of S. Willetts, this establishes an isomorphism of the ADO and Jones recursion ideals. Our results also confirm a recent physically-motivated conjecture of Gukov-Hsin-Nakajima-Park-Pei-Sopenko.)
△ Less
Submitted 17 May, 2020;
originally announced May 2020.
-
A note on purely imaginary independence roots
Authors:
Ben Cameron,
Jason I. Brown
Abstract:
The independence polynomial of a graph is the generating polynomial for the number of independent sets of each cardinality and its roots are called independence roots. We investigate here purely imaginary independence roots. We show that there are infinitely many connected graphs with purely imaginary independence roots and that every graph is a subgraph of such a graph. We also classify every rat…
▽ More
The independence polynomial of a graph is the generating polynomial for the number of independent sets of each cardinality and its roots are called independence roots. We investigate here purely imaginary independence roots. We show that there are infinitely many connected graphs with purely imaginary independence roots and that every graph is a subgraph of such a graph. We also classify every rational purely imaginary number that is an independence root.
△ Less
Submitted 27 March, 2020; v1 submitted 23 January, 2020;
originally announced January 2020.
-
Tuning Multigrid Methods with Robust Optimization
Authors:
Jed Brown,
Yunhui He,
Scott MacLachlan,
Matt Menickelly,
Stefan M. Wild
Abstract:
Local Fourier analysis is a useful tool for predicting and analyzing the performance of many efficient algorithms for the solution of discretized PDEs, such as multigrid and domain decomposition methods. The crucial aspect of local Fourier analysis is that it can be used to minimize an estimate of the spectral radius of a stationary iteration, or the condition number of a preconditioned system, in…
▽ More
Local Fourier analysis is a useful tool for predicting and analyzing the performance of many efficient algorithms for the solution of discretized PDEs, such as multigrid and domain decomposition methods. The crucial aspect of local Fourier analysis is that it can be used to minimize an estimate of the spectral radius of a stationary iteration, or the condition number of a preconditioned system, in terms of a symbol representation of the algorithm. In practice, this is a "minimax" problem, minimizing with respect to solver parameters the appropriate measure of work, which involves maximizing over the Fourier frequency. Often, several algorithmic parameters may be determined by local Fourier analysis in order to obtain efficient algorithms. Analytical solutions to minimax problems are rarely possible beyond simple problems; the status quo in local Fourier analysis involves grid sampling, which is prohibitively expensive in high dimensions. In this paper, we propose and explore optimization algorithms to solve these problems efficiently. Several examples, with known and unknown analytical solutions, are presented to show the effectiveness of these approaches.
△ Less
Submitted 27 July, 2020; v1 submitted 3 January, 2020;
originally announced January 2020.
-
Intermediate C*-algebras of Cartan Embeddings
Authors:
Jonathan H. Brown,
Ruy Exel,
Adam H. Fuller,
David R. Pitts,
Sarah A. Reznikoff
Abstract:
Let $A$ be a C$^*$-algebra and let $D$ be a Cartan subalgebra of $A$. We study the following question: if $B$ is a C$^*$-algebra such that $D \subseteq B \subseteq A$, is $D$ a Cartan subalgebra of $B$? We give a positive answer in two cases: the case when there is a faithful conditional expectation from $A$ onto $B$, and the case when $A$ is nuclear and $D$ is a C$^*$-diagonal of $A$. In both cas…
▽ More
Let $A$ be a C$^*$-algebra and let $D$ be a Cartan subalgebra of $A$. We study the following question: if $B$ is a C$^*$-algebra such that $D \subseteq B \subseteq A$, is $D$ a Cartan subalgebra of $B$? We give a positive answer in two cases: the case when there is a faithful conditional expectation from $A$ onto $B$, and the case when $A$ is nuclear and $D$ is a C$^*$-diagonal of $A$. In both cases there is a one-to-one correspondence between the intermediate C$^*$-algebras $B$, and a class of open subgroupoids of the groupoid $G$, where $Σ\rightarrow G$ is the twist associated with the embedding $D \subseteq A$.
△ Less
Submitted 9 December, 2019; v1 submitted 8 December, 2019;
originally announced December 2019.
-
Graded C*-algebras and twisted groupoid C*-algebras
Authors:
Jonathan Brown,
Adam Fuller,
David Pitts,
Sarah Reznikoff
Abstract:
Let $C^*$-algebra that is acted upon by a compact abelian group. We show that if the fixed-point algebra of the action contains a Cartan subalgebra $D$ satisfying an appropriate regularity condition, then $A$ is the reduced $C^*$-algebra of a groupoid twist. We further show that the embedding $D \hookrightarrow A$ is uniquely determined by the twist. These results generalize Renault's results on C…
▽ More
Let $C^*$-algebra that is acted upon by a compact abelian group. We show that if the fixed-point algebra of the action contains a Cartan subalgebra $D$ satisfying an appropriate regularity condition, then $A$ is the reduced $C^*$-algebra of a groupoid twist. We further show that the embedding $D \hookrightarrow A$ is uniquely determined by the twist. These results generalize Renault's results on Cartan subalgebras of $C^*$-algebras.
△ Less
Submitted 10 September, 2019;
originally announced September 2019.
-
Nonlinear Pose Filters on the Special Euclidean Group SE(3) with Guaranteed Transient and Steady-state Performance
Authors:
Hashim A. Hashim,
Lyndon J. Brown,
Kenneth McIsaac
Abstract:
Two novel nonlinear pose (i.e, attitude and position) filters developed directly on the Special Euclidean Group SE(3)able to guarantee prescribed characteristics of transient and steady-state performance are proposed. The position error and normalized Euclidean distance of attitude error are trapped to arbitrarily start within a given large set and converge systematically and asymptotically to the…
▽ More
Two novel nonlinear pose (i.e, attitude and position) filters developed directly on the Special Euclidean Group SE(3)able to guarantee prescribed characteristics of transient and steady-state performance are proposed. The position error and normalized Euclidean distance of attitude error are trapped to arbitrarily start within a given large set and converge systematically and asymptotically to the origin from almost any initial condition. The transient error is guaranteed not to exceed a prescribed value while the steady-state error is bounded by a predefined small value. The first pose filter operates based on a set of vectorial measurements coupled with a group of velocity vectors and requires preliminary pose reconstruction. The second filter, on the contrary, is able to perform its function using a set of vectorial measurements and a group of velocity vectors directly. Both proposed filters provide reasonable pose estimates with superior convergence properties while being able to use measurements obtained from low-cost inertial measurement, landmark measurement, and velocity measurement units. Simulation results demonstrate effectiveness and robustness of the proposed filters considering large error in initialization and high level of uncertainties in velocity vectors as well as in the set of vector measurements. Attitude, position, pose estimation, nonlinear observer, estimate, special orthogonal group, special Euclidean group, SO(3), SE(3), prescribed performance function, transient, steady-state error, transformed error, Landmark, feature measurement, PPF, IMU, Lie algebra, Lie group, projection, Gyroscope, Inertial measurement units, rigid body, micro electromechanical systems, sensor, IMUs, MEMS, Roll, Pitch, Yaw, UAVs, QUAV, SVD, Fixed, Moving, Vehicles, Robot, Robotic System, Spacecraft, submarine, Underwater vehicle.
△ Less
Submitted 14 April, 2021; v1 submitted 7 June, 2019;
originally announced June 2019.
-
All Terminal Reliability Roots of Smallest Modulus
Authors:
Jason I. Brown,
Corey D. C. DeGagné
Abstract:
Given a connected graph $G$ whose vertices are perfectly reliable and whose edges each fail independently with probability $q\in[0,1],$ the \textit{(all-terminal) reliability} of $G$ is the probability that the resulting subgraph of operational edges contains a spanning tree (this probability is always a polynomial in $q$). The location of the roots of reliability polynomials has been well studied…
▽ More
Given a connected graph $G$ whose vertices are perfectly reliable and whose edges each fail independently with probability $q\in[0,1],$ the \textit{(all-terminal) reliability} of $G$ is the probability that the resulting subgraph of operational edges contains a spanning tree (this probability is always a polynomial in $q$). The location of the roots of reliability polynomials has been well studied, with particular interest in finding those with the largest moduli. In this paper, we will discuss a related problem -- among all reliability polynomials of graphs on $n$ vertices, which has a root of smallest modulus? We prove that, provided $n \geq 3$, the roots of smallest moduli occur precisely for the cycle graph $C_n$, and the root is unique.
△ Less
Submitted 5 June, 2019;
originally announced June 2019.
-
Optimal Domination Polynomials
Authors:
I. Beaton,
J. I. Brown,
D. Cox
Abstract:
Let $G$ be a graph on $n$ vertices and $m$ edges and $D(G,x)$ the domination polynomial of $G$. In this paper we completely characterize the values of $n$ and $m$ for which optimal graphs exist for domination polynomials. We also show that there does not always exist least optimal graphs for the domination polynomial. Applications to network reliability are highlighted.
Let $G$ be a graph on $n$ vertices and $m$ edges and $D(G,x)$ the domination polynomial of $G$. In this paper we completely characterize the values of $n$ and $m$ for which optimal graphs exist for domination polynomials. We also show that there does not always exist least optimal graphs for the domination polynomial. Applications to network reliability are highlighted.
△ Less
Submitted 12 April, 2019;
originally announced April 2019.
