-
Pressure-stabilized fixed-stress iterative solutions of compositional poromechanics
Authors:
Ryan M. Aronson,
Nicola Castelletto,
François P. Hamon,
J. A. White,
Hamdi A. Tchelepi
Abstract:
We consider the numerical behavior of the fixed-stress splitting method for coupled poromechanics as undrained regimes are approached. We explain that pressure stability is related to the splitting error of the scheme, not the fact that the discrete saddle point matrix never appears in the fixed-stress approach. This observation reconciles previous results regarding the pressure stability of the s…
▽ More
We consider the numerical behavior of the fixed-stress splitting method for coupled poromechanics as undrained regimes are approached. We explain that pressure stability is related to the splitting error of the scheme, not the fact that the discrete saddle point matrix never appears in the fixed-stress approach. This observation reconciles previous results regarding the pressure stability of the splitting method. Using examples of compositional poromechanics with application to geological CO$_2$ sequestration, we see that solutions obtained using the fixed-stress scheme with a low order finite element-finite volume discretization which is not inherently inf-sup stable can exhibit the same pressure oscillations obtained with the corresponding fully implicit scheme. Moreover, pressure jump stabilization can effectively remove these spurious oscillations in the fixed-stress setting, while also improving the efficiency of the scheme in terms of the number of iterations required at every time step to reach convergence.
△ Less
Submitted 16 February, 2024;
originally announced February 2024.
-
Weak*-Simplicity of Convolution Algebras on Discrete Groups
Authors:
Jared T. White
Abstract:
We prove that, given a discrete group $G$, and $1 \leq p < \infty$, the algebra of $p$-convolution operators $CV_p(G)$ is weak*-simple, in the sense of having no non-trivial weak*-closed ideals, if and only if $G$ is an ICC group. This generalises the basic fact that $vN(G)$ is a factor if and only if $G$ is ICC. When $p=1$, $CV_p(G) = \ell^1(G)$. In this case we give a more detailed analysis of t…
▽ More
We prove that, given a discrete group $G$, and $1 \leq p < \infty$, the algebra of $p$-convolution operators $CV_p(G)$ is weak*-simple, in the sense of having no non-trivial weak*-closed ideals, if and only if $G$ is an ICC group. This generalises the basic fact that $vN(G)$ is a factor if and only if $G$ is ICC. When $p=1$, $CV_p(G) = \ell^1(G)$. In this case we give a more detailed analysis of the weak*-closed ideals, showing that they can be described in terms of the weak*-closed ideals of $\ell^1(FC(G))$; when $FC(G)$ is finite, this leads to a classification of the weak*-closed ideals of $\ell^1(G)$.
△ Less
Submitted 1 November, 2023; v1 submitted 27 September, 2023;
originally announced September 2023.
-
Multilevel well modeling in aggregation-based nonlinear multigrid for multiphase flow in porous media
Authors:
Chak Shing Lee,
François P. Hamon,
Nicola Castelletto,
Panayot S. Vassilevski,
Joshua A. White
Abstract:
A full approximation scheme (FAS) nonlinear multigrid solver for two-phase flow and transport problems driven by wells with multiple perforations is developed. It is an extension to our previous work on FAS solvers for diffusion and transport problems. The solver is applicable to discrete problems defined on unstructured grids as the coarsening algorithm is aggregation-based and algebraic. To cons…
▽ More
A full approximation scheme (FAS) nonlinear multigrid solver for two-phase flow and transport problems driven by wells with multiple perforations is developed. It is an extension to our previous work on FAS solvers for diffusion and transport problems. The solver is applicable to discrete problems defined on unstructured grids as the coarsening algorithm is aggregation-based and algebraic. To construct coarse basis that can better capture the radial flow near wells, coarse grids in which perforated well cells are not near the coarse-element interface are desired. This is achieved by an aggregation algorithm proposed in this paper that makes use of the location of well cells in the cell-connectivity graph. Numerical examples in which the FAS solver is compared against Newton's method on benchmark problems are given. In particular, for a refined version of the SAIGUP model, the FAS solver is at least 35% faster than Newton's method for time steps with a CFL number greater than 10.
△ Less
Submitted 31 July, 2023;
originally announced August 2023.
-
An Efficient Quadratic Interpolation Scheme for a Third-Order Cell-Centered Finite-Volume Method on Tetrahedral Grids
Authors:
Hiroaki Nishikawa,
Jeffery A. White
Abstract:
In this paper, we propose an efficient quadratic interpolation formula utilizing solution gradients computed and stored at nodes and demonstrate its application to a third-order cell-centered finite-volume discretization on tetrahedral grids. The proposed quadratic formula is constructed based on an efficient formula of computing a projected derivative. It is efficient in that it completely elimin…
▽ More
In this paper, we propose an efficient quadratic interpolation formula utilizing solution gradients computed and stored at nodes and demonstrate its application to a third-order cell-centered finite-volume discretization on tetrahedral grids. The proposed quadratic formula is constructed based on an efficient formula of computing a projected derivative. It is efficient in that it completely eliminates the need to compute and store second derivatives of solution variables or any other quantities, which are typically required in upgrading a second-order cell-centered unstructured-grid finite-volume discretization to third-order accuracy. Moreover, a high-order flux quadrature formula, as required for third-order accuracy, can also be simplified by utilizing the efficient projected-derivative formula, resulting in a numerical flux at a face centroid plus a curvature correction not involving second derivatives of the flux. Similarly, a source term can be integrated over a cell to high-order in the form of the source term evaluated at the cell centroid plus a curvature correction, again, not requiring second derivatives of the source term. The discretization is defined as an approximation to an integral form of a conservation law but the numerical solution is defined as a point value at a cell center, leading to another feature that there is no need to compute and store geometric moments for a quadratic polynomial to preserve a cell average. Third-order accuracy and improved second-order accuracy are demonstrated and investigated for simple but illustrative test cases in three dimensions.
△ Less
Submitted 1 July, 2023; v1 submitted 2 May, 2023;
originally announced May 2023.
-
Mathematical modelling of adjuvant-enhanced active ingredient leaf uptake of pesticides
Authors:
J. Delos Reyes,
T. Shardlow,
M. B. Delgado-Charro,
S. Webb,
K. A. J. White
Abstract:
The global importance of effective and affordable pesticides to optimise crop yield and to support health of our growing population cannot be understated. But to develop new products or refine existing ones in response to climate and environmental changes is both time-intensive and expensive which is why the agrochemical industry is increasingly interested in using mechanistic models as part of th…
▽ More
The global importance of effective and affordable pesticides to optimise crop yield and to support health of our growing population cannot be understated. But to develop new products or refine existing ones in response to climate and environmental changes is both time-intensive and expensive which is why the agrochemical industry is increasingly interested in using mechanistic models as part of their formulation development toolbox. In this work, we develop such a model to describe uptake of pesticide spray droplets across the leaf surface. We simplify the leaf structure by identifying the outer cuticle as the main barrier to uptake; the result is a novel, hybrid model in which two well-mixed compartments are separated by a membrane in which we describe the spatio-temporal distribution of the pesticide. This leads to a boundary value partial differential equation problem coupled to a pair of ordinary differential equation systems which we solve numerically. We also simplify the pesticide formulation into two key components: the Active Ingredient which produces the desired effect of the pesticide and an Adjuvant which is present in the formulation to facilitate effective absorption of the Active Ingredient into the leaf. This approach gives rise to concentration-dependent diffusion. We take an intuitive approach to parameter estimation using a small experimental data set and subsequently demonstrate the importance of the concentration-dependent diffusion in replicating the data. Finally, we demonstrate the need for further work to identify how the physicochemical properties of pesticides affect flow into and across the leaf surface.
△ Less
Submitted 20 October, 2022;
originally announced October 2022.
-
On Equivariant flag $f$-vectors for balanced relative simplicial complexes
Authors:
Jacob A. White
Abstract:
We study the equivariant flag $f$-vector and equivariant flag $h$-vector of a balanced relative simplicial complex with respect to a group action. When the complex satisfies Serre's condition $(S_{\ell}),$ we show that the equivariant flag $h$-vector, the equivariant $h$-vector, and the equivariant $f$-vector satisfy several inequalities.
We apply these results to the study of $P$-partitions of…
▽ More
We study the equivariant flag $f$-vector and equivariant flag $h$-vector of a balanced relative simplicial complex with respect to a group action. When the complex satisfies Serre's condition $(S_{\ell}),$ we show that the equivariant flag $h$-vector, the equivariant $h$-vector, and the equivariant $f$-vector satisfy several inequalities.
We apply these results to the study of $P$-partitions of double posets, and weak colorings of mixed graphs.
△ Less
Submitted 3 October, 2022;
originally announced October 2022.
-
On the Dales-Zelazko conjecture for Beurling algebras on discrete groups
Authors:
Jared T. White
Abstract:
Let $G$ be a group which is either virtually soluble or virtually free, and let $ω$ be a weight on $G$. We prove that, if $G$ is infinite, then there is some maximal left ideal of finite codimension in the Beurling algebra $\ell^1(G, ω)$ which fails to be (algebraically) finitely generated. This implies that a conjecture of Dales and Zelazko holds for these Banach algebras. We then go on to give e…
▽ More
Let $G$ be a group which is either virtually soluble or virtually free, and let $ω$ be a weight on $G$. We prove that, if $G$ is infinite, then there is some maximal left ideal of finite codimension in the Beurling algebra $\ell^1(G, ω)$ which fails to be (algebraically) finitely generated. This implies that a conjecture of Dales and Zelazko holds for these Banach algebras. We then go on to give examples of weighted groups for which this property fails in a strong way. For instance we describe a Beurling algebra on an infinite group in which every left ideal of finite codimension is finitely generated, and which has many such ideals in the sense of being residually finite dimensional. These examples seem to be hard cases for proving Dales and Zelazko's conjecture.
△ Less
Submitted 19 June, 2023; v1 submitted 28 June, 2022;
originally announced June 2022.
-
Chromatic Quasisymmetric Class Functions for combinatorial Hopf monoids
Authors:
Jacob A. White
Abstract:
We study the chromatic quasisymmetric class function of a linearized combinatorial Hopf monoid. Given a linearized combinatorial Hopf monoid $H$, and an $H$-structure $h$ on a set $N$, there are proper colorings of $h$, generalizing graph colorings and poset partitions. We show that the automorphism group of $h$ acts on the set of proper colorings. The chromatic quasisymmetric class function enume…
▽ More
We study the chromatic quasisymmetric class function of a linearized combinatorial Hopf monoid. Given a linearized combinatorial Hopf monoid $H$, and an $H$-structure $h$ on a set $N$, there are proper colorings of $h$, generalizing graph colorings and poset partitions. We show that the automorphism group of $h$ acts on the set of proper colorings. The chromatic quasisymmetric class function enumerates the fixed points of this action, weighting each coloring with a monomial. For the Hopf monoid of graphs this invariant generalizes Stanley's chromatic symmetric function and specializes to the orbital chromatic polynomial of Cameron and Kayibi.
We also introduce the flag quasisymmetric class function of a balanced relative simplicial complex equipped with a group action. We show that, under certain conditions, the chromatic quasisymmetric class function of $h$ is the flag quasisymmetric class function of a balanced relative simplicial complex that we call the coloring complex of $h$. We use this result to deduce various inequalities for the associated orbital polynomial invariants. We apply these results to several examples related to enumerating graph colorings, poset partitions, generic functions on matroids or generalized permutohedra, and others.
△ Less
Submitted 16 December, 2021;
originally announced December 2021.
-
An Aggregation-based Nonlinear Multigrid Solver for Two-phase Flow and Transport in Porous Media
Authors:
Chak Shing Lee,
François P. Hamon,
Nicola Castelletto,
Panayot S. Vassilevski,
Joshua A. White
Abstract:
A nonlinear multigrid solver for two-phase flow and transport in a mixed fractional-flow velocity-pressure-saturation formulation is proposed. The solver, which is under the framework of the full approximation scheme (FAS), extends our previous work on nonlinear multigrid for heterogeneous diffusion problems. The coarse spaces in the multigrid hierarchy are constructed by first aggregating degrees…
▽ More
A nonlinear multigrid solver for two-phase flow and transport in a mixed fractional-flow velocity-pressure-saturation formulation is proposed. The solver, which is under the framework of the full approximation scheme (FAS), extends our previous work on nonlinear multigrid for heterogeneous diffusion problems. The coarse spaces in the multigrid hierarchy are constructed by first aggregating degrees of freedom, and then solving some local flow problems. The mixed formulation and the choice of coarse spaces allow us to assemble the coarse problems without visiting finer levels during the solving phase, which is crucial for the scalability of multigrid methods. Specifically, a natural generalization of the upwind flux can be evaluated directly on coarse levels using the precomputed coarse flux basis vectors. The resulting solver is applicable to problems discretized on general unstructured grids. The performance of the proposed nonlinear multigrid solver in comparison with the standard single level Newton's method is demonstrated through challenging numerical examples. It is observed that the proposed solver is robust for highly nonlinear problems and clearly outperforms Newton's method in the case of high Courant-Friedrichs-Lewy (CFL) numbers.
△ Less
Submitted 15 September, 2021;
originally announced September 2021.
-
The tripartite-circle crossing number of graphs with two small partition classes
Authors:
Charles Camacho,
Silvia Fernández-Merchant,
Marija Jelić Milutinović,
Rachel Kirsch,
Linda Kleist,
Elizabeth Bailey Matson,
Jennifer White
Abstract:
A tripartite-circle drawing of a tripartite graph is a drawing in the plane, where each part of a vertex partition is placed on one of three disjoint circles, and the edges do not cross the circles. The tripartite-circle crossing number of a tripartite graph is the minimum number of edge crossings among all its tripartite-circle drawings. We determine the exact value of the tripartite-circle cross…
▽ More
A tripartite-circle drawing of a tripartite graph is a drawing in the plane, where each part of a vertex partition is placed on one of three disjoint circles, and the edges do not cross the circles. The tripartite-circle crossing number of a tripartite graph is the minimum number of edge crossings among all its tripartite-circle drawings. We determine the exact value of the tripartite-circle crossing number of $K_{a,b,n}$, where $a,b\leq 2$.
△ Less
Submitted 29 June, 2023; v1 submitted 2 August, 2021;
originally announced August 2021.
-
The ideal structure of measure algebras and asymptotic properties of group representations
Authors:
Jared T. White
Abstract:
We classify the weak*-closed maximal left ideals of the measure algebra $M(G)$ for certain Hermitian locally compact groups $G$ in terms of the irreducible representations of $G$ and their asymptotic properties. In particular, we obtain a classification for connected nilpotent Lie groups, and the Euclidean rigid motion groups. We also prove a version of this result for certain weighted measure alg…
▽ More
We classify the weak*-closed maximal left ideals of the measure algebra $M(G)$ for certain Hermitian locally compact groups $G$ in terms of the irreducible representations of $G$ and their asymptotic properties. In particular, we obtain a classification for connected nilpotent Lie groups, and the Euclidean rigid motion groups. We also prove a version of this result for certain weighted measure algebras. We apply our classification to obtain an analogue of Barnes' Theorem on integrable representations for representations vanishing at infinity. We next study the relationship between weak*-closedness and finite generation, proving that in many cases $M(G)$ has no finitely-generated maximal left ideals. We also show that the measure algebra of the 2D Euclidean rigid motion group has a weak*-closed maximal left ideal that is not generated by a projection, and investigate whether or not it has any weak*-closed left ideals which are not finitely-generated.
△ Less
Submitted 5 October, 2022; v1 submitted 14 June, 2021;
originally announced June 2021.
-
The Chromatic Quasisymmetric Class Function of a Digraph
Authors:
Jacob A White
Abstract:
We introduce a quasisymmetric class function associated with a group acting on a double poset or on a directed graph. The latter is a generalization of the chromatic quasisymmetric function of a digraph introduced by Ellzey, while the latter is a generalization of a quasisymmetric function introduced by Grinberg. We prove representation-theoretic analogues of classical and recent results, includin…
▽ More
We introduce a quasisymmetric class function associated with a group acting on a double poset or on a directed graph. The latter is a generalization of the chromatic quasisymmetric function of a digraph introduced by Ellzey, while the latter is a generalization of a quasisymmetric function introduced by Grinberg. We prove representation-theoretic analogues of classical and recent results, including $F$-positivity, and combinatorial reciprocity theorems. We also deduce results for orbital quasisymmetric functions. We also study a generalization of the notion of strongly flawless sequences.
△ Less
Submitted 4 June, 2021;
originally announced June 2021.
-
Multigrid reduction preconditioning framework for coupled processes in porous and fractured media
Authors:
Quan M. Bui,
Francois P. Hamon,
Nicola Castelletto,
Daniel Osei-Kuffuor,
Randolph R. Settgast,
Joshua A. White
Abstract:
Many subsurface engineering applications involve tight-coupling between fluid flow, solid deformation, fracturing, and similar processes. To better understand the complex interplay of different governing equations, and therefore design efficient and safe operations, numerical simulations are widely used. Given the relatively long time-scales of interest, fully-implicit time-step** schemes are of…
▽ More
Many subsurface engineering applications involve tight-coupling between fluid flow, solid deformation, fracturing, and similar processes. To better understand the complex interplay of different governing equations, and therefore design efficient and safe operations, numerical simulations are widely used. Given the relatively long time-scales of interest, fully-implicit time-step** schemes are often necessary to avoid time-step stability restrictions. A major computational bottleneck for these methods, however, is the linear solver. These systems are extremely large and ill-conditioned. Because of the wide range of processes and couplings that may be involved--e.g. formation and propagation of fractures, deformation of the solid porous medium, viscous flow of one or more fluids in the pores and fractures, complicated well sources and sinks, etc.--it is difficult to develop general-purpose but scalable linear solver frameworks. This challenge is further aggravated by the range of different discretization schemes that may be adopted, which have a direct impact on the linear system structure. To address this obstacle, we describe a flexible framework based on multigrid reduction that can produce purely algebraic preconditioners for a wide spectrum of relevant physics and discretizations. We demonstrate its broad applicability by constructing scalable preconditioners for several problems, notably: a hybrid discretization of single-phase flow, compositional multiphase flow with complex wells, and hydraulic fracturing simulations. Extension to other systems can be handled quite naturally. We demonstrate the efficiency and scalability of the resulting solvers through numerical examples of difficult, field-scale problems.
△ Less
Submitted 30 July, 2021; v1 submitted 27 January, 2021;
originally announced January 2021.
-
Upper bounds for Betti numbers from constraints on the Hilbert function
Authors:
Jay White
Abstract:
We describe an algorithm for finding sharp upper bounds for the total Betti numbers of a saturated ideal given certain constraints on its Hilbert function. This algorithm is implemented in the Macaulay2 package, MaxBettiNumbers, along with variations that produce ideals with maximal total Betti numbers.
We describe an algorithm for finding sharp upper bounds for the total Betti numbers of a saturated ideal given certain constraints on its Hilbert function. This algorithm is implemented in the Macaulay2 package, MaxBettiNumbers, along with variations that produce ideals with maximal total Betti numbers.
△ Less
Submitted 6 November, 2020;
originally announced November 2020.
-
Hybrid mimetic finite-difference and virtual element formulation for coupled poromechanics
Authors:
Andrea Borio,
François Hamon,
Nicola Castelletto,
Joshua A. White,
Randolph R. Settgast
Abstract:
We present a hybrid mimetic finite-difference and virtual element formulation for coupled single-phase poromechanics on unstructured meshes. The key advantage of the scheme is that it is convergent on complex meshes containing highly distorted cells with arbitrary shapes. We use a local pressure-jump stabilization method based on unstructured macro-elements to prevent the development of spurious p…
▽ More
We present a hybrid mimetic finite-difference and virtual element formulation for coupled single-phase poromechanics on unstructured meshes. The key advantage of the scheme is that it is convergent on complex meshes containing highly distorted cells with arbitrary shapes. We use a local pressure-jump stabilization method based on unstructured macro-elements to prevent the development of spurious pressure modes in incompressible problems approaching undrained conditions. A scalable linear solution strategy is obtained using a block-triangular preconditioner designed specifically for the saddle-point systems arising from the proposed discretization. The accuracy and efficiency of our approach are demonstrated numerically on two-dimensional benchmark problems.
△ Less
Submitted 29 October, 2020;
originally announced October 2020.
-
On algebras associated with invariant means on the subnormal subgroups of an amenable group
Authors:
Jared T. White
Abstract:
Let $G$ be an amenable group. We define and study an algebra $\mathcal{A}_{sn}(G)$, which is related to invariant means on the subnormal subgroups of $G$. For a just infinite amenable group $G$, we show that $\mathcal{A}_{sn}(G)$ is nilpotent if and only if $G$ is not a branch group, and in the case that it is nilpotent we determine the index of nilpotence. We next study…
▽ More
Let $G$ be an amenable group. We define and study an algebra $\mathcal{A}_{sn}(G)$, which is related to invariant means on the subnormal subgroups of $G$. For a just infinite amenable group $G$, we show that $\mathcal{A}_{sn}(G)$ is nilpotent if and only if $G$ is not a branch group, and in the case that it is nilpotent we determine the index of nilpotence. We next study $\operatorname{rad} \ell^1(G)^{**}$ for an amenable branch group $G$, and show that it always contains nilpotent left ideals of arbitrarily large index, as well as non-nilpotent elements. This provides infinitely many finitely-generated counterexamples to a question of Dales and Lau, first resolved by the author in a previous article, which asks whether we always have $(\operatorname{rad} \ell^1(G)^{**})^{\Box 2} = \{ 0 \}$. We further study this question by showing that $(\operatorname{rad} \ell^1(G)^{**})^{\Box 2} = \{ 0 \}$ imposes certain structural constraints on the group $G$.
△ Less
Submitted 6 September, 2021; v1 submitted 20 August, 2020;
originally announced August 2020.
-
Simulation of coupled multiphase flow and geomechanics in porous media with embedded discrete fractures
Authors:
Matteo Cusini,
Joshua A. White,
Nicola Castelletto,
Randolph R. Settgast
Abstract:
In fractured natural formations, the equations governing fluid flow and geomechanics are strongly coupled. Hydrodynamical properties depend on the mechanical configuration, and they are therefore difficult to accurately resolve using uncoupled methods. In recent years, significant research has focused on discretization strategies for these coupled systems, particularly in the presence of complicat…
▽ More
In fractured natural formations, the equations governing fluid flow and geomechanics are strongly coupled. Hydrodynamical properties depend on the mechanical configuration, and they are therefore difficult to accurately resolve using uncoupled methods. In recent years, significant research has focused on discretization strategies for these coupled systems, particularly in the presence of complicated fracture network geometries. In this work, we explore a finite-volume discretization for the multiphase flow equations coupled with a finite-element scheme for the mechanical equations. Fractures are treated as lower dimensional surfaces embedded in a background grid. Interactions are captured using the Embedded Discrete Fracture Model (EDFM) and the Embedded Finite Element Method (EFEM) for the flow and the mechanics, respectively. This non-conforming approach significantly alleviates meshing challenges. EDFM considers fractures as lower dimension finiten volumes which exchange fluxes with the rock matrix cells. The EFEM method provides, instead, a local enrichment of the finite-element space inside each matrix cell cut by a fracture element. Both the use of piecewise constant and piecewise linear enrichments are investigated. They are also compared to an Extended Finite Element (XFEM) approach. One key advantage of EFEM is the element-based nature of the enrichment, which reduces the geometric complexity of the implementation and leads to linear systems with advantageous properties. Synthetic numerical tests are presented to study the convergence and accuracy of the proposed method. It is also applied to a realistic scenario, involving a heterogeneous reservoir with a complex fracture distribution, to demonstrate its relevance for field applications.
△ Less
Submitted 6 October, 2020; v1 submitted 9 July, 2020;
originally announced July 2020.
-
On Cohen-Macaulay Hopf monoids in species
Authors:
Jacob White
Abstract:
We study Cohen-Macaulay Hopf monoids in the category of species. The goal is to apply techniques from topological combinatorics to the study of polynomial invariants arising from combinatorial Hopf algebras. Given a polynomial invariant arising from a linearized Hopf monoid, we show that under certain conditions it is the Hilbert polynomial of a relative simplicial complex. If the Hopf monoid is C…
▽ More
We study Cohen-Macaulay Hopf monoids in the category of species. The goal is to apply techniques from topological combinatorics to the study of polynomial invariants arising from combinatorial Hopf algebras. Given a polynomial invariant arising from a linearized Hopf monoid, we show that under certain conditions it is the Hilbert polynomial of a relative simplicial complex. If the Hopf monoid is Cohen-Macaulay, we give necessary and sufficient conditions for the corresponding relative simplicial complex to be relatively Cohen-Macaulay, which implies that the polynomial has a nonnegative $h$-vector. We apply our results to the weak and strong chromatic polynomials of acyclic mixed graphs, and the order polynomial of a double poset.
△ Less
Submitted 29 June, 2020;
originally announced June 2020.
-
Nonlinear multigrid based on local spectral coarsening for heterogeneous diffusion problems
Authors:
Chak Shing Lee,
François Hamon,
Nicola Castelletto,
Panayot S. Vassilevski,
Joshua White
Abstract:
This work develops a nonlinear multigrid method for diffusion problems discretized by cell-centered finite volume methods on general unstructured grids. The multigrid hierarchy is constructed algebraically using aggregation of degrees of freedom and spectral decomposition of reference linear operators associated with the aggregates. For rapid convergence, it is important that the resulting coarse…
▽ More
This work develops a nonlinear multigrid method for diffusion problems discretized by cell-centered finite volume methods on general unstructured grids. The multigrid hierarchy is constructed algebraically using aggregation of degrees of freedom and spectral decomposition of reference linear operators associated with the aggregates. For rapid convergence, it is important that the resulting coarse spaces have good approximation properties. In our approach, the approximation quality can be directly improved by including more spectral degrees of freedom in the coarsening process. Further, by exploiting local coarsening and a piecewise-constant approximation when evaluating the nonlinear component, the coarse level problems are assembled and solved without ever re-visiting the fine level, an essential element for multigrid algorithms to achieve optimal scalability. Numerical examples comparing relative performance of the proposed nonlinear multigrid solvers with standard single-level approaches -- Picard's and Newton's methods -- are presented. Results show that the proposed solver consistently outperforms the single-level methods, both in efficiency and robustness.
△ Less
Submitted 4 May, 2020;
originally announced May 2020.
-
Efficient solvers for hybridized three-field mixed finite element coupled poromechanics
Authors:
Matteo Frigo,
Nicola Castelletto,
Massimiliano Ferronato,
Joshua A. White
Abstract:
We consider a mixed hybrid finite element formulation for coupled poromechanics. A stabilization strategy based on a macro-element approach is advanced to eliminate the spurious pressure modes appearing in undrained/incompressible conditions. The efficient solution of the stabilized mixed hybrid block system is addressed by develo** a class of block triangular preconditioners based on a Schur-co…
▽ More
We consider a mixed hybrid finite element formulation for coupled poromechanics. A stabilization strategy based on a macro-element approach is advanced to eliminate the spurious pressure modes appearing in undrained/incompressible conditions. The efficient solution of the stabilized mixed hybrid block system is addressed by develo** a class of block triangular preconditioners based on a Schur-complement approximation strategy. Robustness, computational efficiency and scalability of the proposed approach are theoretically discussed and tested using challenging benchmark problems on massively parallel architectures.
△ Less
Submitted 27 July, 2020; v1 submitted 21 February, 2020;
originally announced February 2020.
-
Algebraically stabilized Lagrange multiplier method for frictional contact mechanics with hydraulically active fractures
Authors:
Andrea Franceschini,
Nicola Castelletto,
Joshua A. White,
Hamdi A. Tchelepi
Abstract:
Accurate numerical simulation of coupled fracture/fault deformation and fluid flow is crucial to the performance and safety assessment of many subsurface systems. In this work, we consider the discretization and enforcement of contact conditions at such surfaces. The bulk rock deformation is simulated using low-order continuous finite elements, while frictional contact conditions are imposed by me…
▽ More
Accurate numerical simulation of coupled fracture/fault deformation and fluid flow is crucial to the performance and safety assessment of many subsurface systems. In this work, we consider the discretization and enforcement of contact conditions at such surfaces. The bulk rock deformation is simulated using low-order continuous finite elements, while frictional contact conditions are imposed by means of a Lagrange multiplier method. We employ a cell-centered finite-volume scheme to solve the fracture fluid mass balance equation. From a modeling perspective, a convenient choice is to use a single grid for both mechanical and flow processes, with piecewise-constant interpolation of Lagrange multipliers, i.e., contact tractions and fluid pressure. Unfortunately, this combination of displacement and multiplier variables is not uniformly inf-sup stable, and therefore requires a stabilization technique. Starting from a macroelement analysis, we develop two algebraic stabilization approaches and compare them in terms of robustness and convergence rate. The proposed approaches are validated against challenging analytical two- and three-dimensional benchmarks to demonstrate accuracy and robustness. These benchmarks include both pure contact mechanics problems and well as problems with tightly-coupled fracture flow.
△ Less
Submitted 13 May, 2020; v1 submitted 29 January, 2020;
originally announced January 2020.
-
Interlacing Properties of Coefficient Polynomials in Differential Operator Representations of Real-Root Preserving Linear Transformations
Authors:
David A. Cardon,
Evan L. Sorensen,
Jason C. White
Abstract:
We study linear transformations $T \colon \mathbb{R}[x] \to \mathbb{R}[x]$ of the form $T[x^n]=P_n(x)$ where $\{P_n(x)\}$ is a real orthogonal polynomial system. Such transformations that preserve or shrink the location of the complex zeros of polynomials is a recent object of study, motivated by the Riemann Hypothesis. In particular, we are interested in linear transformations that map polynomial…
▽ More
We study linear transformations $T \colon \mathbb{R}[x] \to \mathbb{R}[x]$ of the form $T[x^n]=P_n(x)$ where $\{P_n(x)\}$ is a real orthogonal polynomial system. Such transformations that preserve or shrink the location of the complex zeros of polynomials is a recent object of study, motivated by the Riemann Hypothesis. In particular, we are interested in linear transformations that map polynomials with all real zeros to polynomials with all real zeros. It is well known that any transformation $T \colon \mathbb{C}[x] \rightarrow \mathbb{C}[x]$ has a differential operator representation $T = \sum_{k = 0}^\infty \frac{Q_k(x)}{k!} D^k$. Motivated by the work of Chasse \cite{Chasse-PhD-2011}, Forgács, and Piotrowski \cite{Forgacs-Piotrowski-Hermite-2015}, we seek to understand the behavior of the transformation $T$ by studying the roots of the $Q_k(x)$. We prove four main things. First, we show that the only case where the $Q_k(x)$ are constant and $\{P_n(x)\}$ are an orthogonal system is that when the $P_n$ form a shifted set of generalized probabilist Hermite polynomials. Second, we show that the coefficient polynomials $Q_k(x)$ have real roots when the $P_n(x)$ are the physicist Hermite polynomials or the Laguerre polynomials. Next, we show that in these cases, the roots of successive polynomials strictly interlace, a property that has not yet been studied for coefficient polynomials. We conclude by discussing the Chebyshev and Legendre polynomials, proving a conjecture of Chasse, and presenting several open problems.
△ Less
Submitted 20 December, 2021; v1 submitted 30 December, 2019;
originally announced December 2019.
-
Multi-Stage Preconditioners for Thermal-Compositional-Reactive Flow in Porous Media
Authors:
Matthias A. Cremon,
Nicola Castelletto,
Joshua A. White
Abstract:
We present a family of multi-stage preconditioners for coupled thermal-compositional-reactive reservoir simulation problems. The most common preconditioner used in industrial practice, the Constrained Pressure Residual (CPR) method, was designed for isothermal models and does not offer a specific strategy for the energy equation. For thermal simulations, inadequate treatment of the temperature unk…
▽ More
We present a family of multi-stage preconditioners for coupled thermal-compositional-reactive reservoir simulation problems. The most common preconditioner used in industrial practice, the Constrained Pressure Residual (CPR) method, was designed for isothermal models and does not offer a specific strategy for the energy equation. For thermal simulations, inadequate treatment of the temperature unknown can cause severe convergence degradation. When strong thermal diffusion is present, the energy equation exhibits significant elliptic behavior that cannot be accurately corrected by CPR's second stage. In this work, we use Schur-complement decompositions to extract a temperature subsystem and apply an Algebraic MultiGrid (AMG) approximation as an additional preconditioning stage to improve the treatment of the energy equation. We present results for several two-dimensional hot air injection problems using an extra heavy oil, including challenging reactive In-Situ Combustion (ISC) cases. We show improved performance and robustness across different thermal regimes, from advection dominated (high Peclet number) to diffusion dominated (low Peclet number). The number of linear iterations is reduced by 40-85% compared to standard CPR for both homogeneous and heterogeneous media, and the new methods exhibit almost no sensitivity to the thermal regime.
△ Less
Submitted 1 June, 2020; v1 submitted 9 December, 2019;
originally announced December 2019.
-
Medians are below joins in semimodular lattices of breadth 2
Authors:
Gábor Czédli,
Robert C. Powers,
Jeremy M. White
Abstract:
Let $L$ be a lattice of finite length and let $d$ denote the minimum path length metric on the covering graph of $L$. For any $ξ=(x_1,\dots,x_k)\in L^k$, an element $y$ belonging to $L$ is called a median of $ξ$ if the sum $d(y,x_1)+\cdots+d(y,x_k)$ is minimum. The lattice $L$ satisfies the $c_1$-median property if, for any $ξ=(x_1,\dots,x_k)\in L^k$ and for any median $y$ of $ξ$,…
▽ More
Let $L$ be a lattice of finite length and let $d$ denote the minimum path length metric on the covering graph of $L$. For any $ξ=(x_1,\dots,x_k)\in L^k$, an element $y$ belonging to $L$ is called a median of $ξ$ if the sum $d(y,x_1)+\cdots+d(y,x_k)$ is minimum. The lattice $L$ satisfies the $c_1$-median property if, for any $ξ=(x_1,\dots,x_k)\in L^k$ and for any median $y$ of $ξ$, $y\leq x_1\vee\dots\vee x_k$. Our main theorem asserts that if $L$ is an upper semimodular lattice of finite length and the breadth of $L$ is less than or equal to $2$, then $L$ satisfies the $c_1$-median property. Also, we give a construction that yields semimodular lattices, and we use a particular case of this construction to prove that our theorem is sharp in the sense that $2$ cannot be replaced by $3$.
△ Less
Submitted 5 November, 2019;
originally announced November 2019.
-
Bounding the tripartite-circle crossing number of complete tripartite graphs
Authors:
Charles Camacho,
Silvia Fernández-Merchant,
Marija Jelić Milutinović,
Rachel Kirsch,
Linda Kleist,
Elizabeth Bailey Matson,
Jennifer White
Abstract:
A tripartite-circle drawing of a tripartite graph is a drawing in the plane, where each part of a vertex partition is placed on one of three disjoint circles, and the edges do not cross the circles. We present upper and lower bounds on the minimum number of crossings in tripartite-circle drawings of $K_{m,n,p}$. In contrast to 1- and 2-circle drawings, which may attain the Harary-Hill bound, our r…
▽ More
A tripartite-circle drawing of a tripartite graph is a drawing in the plane, where each part of a vertex partition is placed on one of three disjoint circles, and the edges do not cross the circles. We present upper and lower bounds on the minimum number of crossings in tripartite-circle drawings of $K_{m,n,p}$. In contrast to 1- and 2-circle drawings, which may attain the Harary-Hill bound, our results imply that balanced restricted 3-circle drawings of the complete graph are not optimal.
△ Less
Submitted 29 June, 2023; v1 submitted 15 October, 2019;
originally announced October 2019.
-
A macroelement stabilization for multiphase poromechanics
Authors:
Julia T. Camargo,
Joshua A. White,
Ronaldo I. Borja
Abstract:
Strong coupling between geomechanical deformation and multiphase fluid flow appears in a variety of geoscience applications. A common discretization strategy for these problems is a continuous Galerkin finite element scheme for the momentum balance equations and a finite volume scheme for the mass balance equations. When applied within a fully-implicit solution strategy, however, this discretizati…
▽ More
Strong coupling between geomechanical deformation and multiphase fluid flow appears in a variety of geoscience applications. A common discretization strategy for these problems is a continuous Galerkin finite element scheme for the momentum balance equations and a finite volume scheme for the mass balance equations. When applied within a fully-implicit solution strategy, however, this discretization is not intrinsically stable. In the limit of small time steps or low permeabilities, spurious oscillations in the pressure field, i.e. checkerboarding, may be observed. Further, eigenvalues associated with the spurious modes will control the conditioning of the matrices and can dramatically degrade the convergence rate of iterative linear solvers. Here, we propose a stabilization technique in which the balance of mass equations are supplemented with stabilizing flux terms on a macroelement basis. The additional stabilization terms are dependent on a stabilization parameter. We identify an optimal value for this parameter using an analysis of the eigenvalue distribution of the macroelement Schur complement matrix. The resulting method is simple to implement and preserves the underlying sparsity pattern of the original discretization. Another appealing feature of the method is that mass is exactly conserved on macroelements, despite the addition of artificial fluxes. The efficacy of the proposed technique is demonstrated with several numerical examples.
△ Less
Submitted 18 September, 2019;
originally announced September 2019.
-
A Scalable Multigrid Reduction Framework for Multiphase Poromechanics of Heterogeneous Media
Authors:
Quan M. Bui,
Daniel Osei-Kuffuor,
Nicola Castelletto,
Joshua A. White
Abstract:
Simulation of multiphase poromechanics involves solving a multi-physics problem in which multiphase flow and transport are tightly coupled with the porous medium deformation. To capture this dynamic interplay, fully implicit methods, also known as monolithic approaches, are usually preferred. The main bottleneck of a monolithic approach is that it requires solution of large linear systems that res…
▽ More
Simulation of multiphase poromechanics involves solving a multi-physics problem in which multiphase flow and transport are tightly coupled with the porous medium deformation. To capture this dynamic interplay, fully implicit methods, also known as monolithic approaches, are usually preferred. The main bottleneck of a monolithic approach is that it requires solution of large linear systems that result from the discretization and linearization of the governing balance equations. Because such systems are non-symmetric, indefinite, and highly ill-conditioned, preconditioning is critical for fast convergence. Recently, most efforts in designing efficient preconditioners for multiphase poromechanics have been dominated by physics-based strategies. Current state-of-the-art "black-box" solvers such as algebraic multigrid (AMG) are ineffective because they cannot effectively capture the strong coupling between the mechanics and the flow sub-problems, as well as the coupling inherent in the multiphase flow and transport process. In this work, we develop an algebraic framework based on multigrid reduction (MGR) that is suited for tightly coupled systems of PDEs. Using this framework, the decoupling between the equations is done algebraically through defining appropriate interpolation and restriction operators. One can then employ existing solvers for each of the decoupled blocks or design a new solver based on knowledge of the physics. We demonstrate the applicability of our framework when used as a "black-box" solver for multiphase poromechanics. We show that the framework is flexible to accommodate a wide range of scenarios, as well as efficient and scalable for large problems.
△ Less
Submitted 11 April, 2019;
originally announced April 2019.
-
Circulant preconditioning in the volume integral equation method for silicon photonics
Authors:
Samuel P. Groth,
Athanasios G. Polimeridis,
Alexandra Tambova,
Jacob K. White
Abstract:
Recently, the volume integral equation (VIE) approach has been proposed as an efficient simulation tool for silicon photonics applications [J. Lightw. Technol. 36, 3765 (2018)]. However, for the high-frequency and strong contrast problems arising in photonics, the convergence of iterative solvers for the solution of the linear system can be extremely slow. The uniform discretization of the volume…
▽ More
Recently, the volume integral equation (VIE) approach has been proposed as an efficient simulation tool for silicon photonics applications [J. Lightw. Technol. 36, 3765 (2018)]. However, for the high-frequency and strong contrast problems arising in photonics, the convergence of iterative solvers for the solution of the linear system can be extremely slow. The uniform discretization of the volume integral operator leads to a three-level Toeplitz matrix, which is well suited to preconditioning via its circulant approximation. In this paper, we describe an effective circulant preconditioning strategy based on the multi-level circulant preconditioner of Chan and Olkin [Numer. Algorithms 6, 89 (1994)]. We show that this approach proves ideal in the canonical photonics problem of propagation within a uniform waveguide, in which the flow is unidirectional. For more complex photonics structures, such as Bragg gratings, directional couplers, and disk resonators, we generalize our preconditioning strategy via geometrical partitioning (leading to a block-diagonal circulant preconditioner) and homogenization (for inhomogeneous structures). Finally, we introduce a novel memory reduction technique enabling the preconditioner's memory footprint to remain manageable, even for extremely long structures. The range of numerical results we present demonstrates that the preconditioned VIE is fast and has great utility for the numerical exploration of prototype photonics devices.
△ Less
Submitted 19 March, 2019;
originally announced March 2019.
-
A Two-Stage Preconditioner for Multiphase Poromechanics in Reservoir Simulation
Authors:
Joshua A. White,
Nicola Castelletto,
Sergey Klevtsov,
Quan M. Bui,
Daniel Osei-Kuffuor,
Hamdi A. Tchelepi
Abstract:
Many applications involving porous media--notably reservoir engineering and geologic applications--involve tight coupling between multiphase fluid flow, transport, and poromechanical deformation. While numerical models for these processes have become commonplace in research and industry, the poor scalability of existing solution algorithms has limited the size and resolution of models that may be…
▽ More
Many applications involving porous media--notably reservoir engineering and geologic applications--involve tight coupling between multiphase fluid flow, transport, and poromechanical deformation. While numerical models for these processes have become commonplace in research and industry, the poor scalability of existing solution algorithms has limited the size and resolution of models that may be practically solved. In this work, we propose a two-stage Newton-Krylov solution algorithm to address this shortfall. The proposed solver exhibits rapid convergence, good parallel scalability, and is robust in the presence of highly heterogeneous material properties. The key to success of the solver is a block-preconditioning strategy that breaks the fully-coupled system of mass and momentum balance equations into simpler sub-problems that may be readily addressed using targeted algebraic methods. Numerical results are presented to illustrate the performance of the solver on challenging benchmark problems.
△ Less
Submitted 10 December, 2018;
originally announced December 2018.
-
Subspaces that can and cannot be the kernel of a bounded operator on a Banach space
Authors:
Niels Jakob Laustsen,
Jared T. White
Abstract:
Given a Banach space $E$, we ask which closed subspaces may be realised as the kernel of a bounded operator $E \rightarrow E$. We prove some positive results which imply in particular that when $E$ is separable every closed subspace is a kernel. Moreover, we show that there exists a Banach space $E$ which contains a closed subspace that cannot be realized as the kernel of any bounded operator on…
▽ More
Given a Banach space $E$, we ask which closed subspaces may be realised as the kernel of a bounded operator $E \rightarrow E$. We prove some positive results which imply in particular that when $E$ is separable every closed subspace is a kernel. Moreover, we show that there exists a Banach space $E$ which contains a closed subspace that cannot be realized as the kernel of any bounded operator on $E$. This implies that the Banach algebra $\mathcal{B}(E)$ of bounded operators on $E$ fails to be weak*-topologically left Noetherian. The Banach space $E$ that we use is the dual of Wark's non-separable, reflexive Banach space with few operators.
△ Less
Submitted 29 November, 2018; v1 submitted 6 November, 2018;
originally announced November 2018.
-
Left ideals of Banach algebras and dual Banach algebras
Authors:
Jared T. White
Abstract:
We investigate topologically left Noetherian Banach algebras. We show that if $G$ is a compact group, then $L^{\, 1}(G)$ is topologically left Noetherian if and only if $G$ is metrisable. We prove that, given a Banach space $E$ such that $E'$ has BAP, the algebra of compact operators $\mathcal{K}(E)$ is topologically left Noetherian if and only if $E'$ is separable; it is topologically right Noeth…
▽ More
We investigate topologically left Noetherian Banach algebras. We show that if $G$ is a compact group, then $L^{\, 1}(G)$ is topologically left Noetherian if and only if $G$ is metrisable. We prove that, given a Banach space $E$ such that $E'$ has BAP, the algebra of compact operators $\mathcal{K}(E)$ is topologically left Noetherian if and only if $E'$ is separable; it is topologically right Noetherian if and only if $E$ is separable. We then give some examples of dual Banach algebras which are topologically left Noetherian in the weak*-topology. Finally we give a unified approach to classifying the weak*-closed left ideals of certain dual Banach algebras that are also multiplier algebras, with applications to $M(G)$ for $G$ a compact group, and $\mathcal{B}(E)$ for $E$ a reflexive Banach space with AP.
△ Less
Submitted 26 February, 2019; v1 submitted 6 November, 2018;
originally announced November 2018.
-
Enhancement of chemotherapy using oncolytic virotherapy: Mathematical and optimal control analysis
Authors:
Joseph Malinzi,
Rachid Ouifki,
Amina Eladdadi,
Delfim F. M. Torres,
K. A. Jane White
Abstract:
Oncolytic virotherapy (OV) has been emerging as a promising novel cancer treatment that may be further combined with the existing therapeutic modalities to enhance their effects. To investigate how OV could enhance chemotherapy, we propose an ODE based model describing the interactions between tumour cells, the immune response, and a treatment combination with chemotherapy and oncolytic viruses. S…
▽ More
Oncolytic virotherapy (OV) has been emerging as a promising novel cancer treatment that may be further combined with the existing therapeutic modalities to enhance their effects. To investigate how OV could enhance chemotherapy, we propose an ODE based model describing the interactions between tumour cells, the immune response, and a treatment combination with chemotherapy and oncolytic viruses. Stability analysis of the model with constant chemotherapy treatment rates shows that without any form of treatment, a tumour would grow to its maximum size. It also demonstrates that chemotherapy alone is capable of clearing tumour cells provided that the drug efficacy is greater than the intrinsic tumour growth rate. Furthermore, OV alone may not be able to clear tumour cells from body tissue but would rather enhance chemotherapy if viruses with high viral potency are used. To assess the combined effect of OV and chemotherapy we use the forward sensitivity index to perform a sensitivity analysis, with respect to chemotherapy key parameters, of the virus basic reproductive number and the tumour endemic equilibrium. The results from this sensitivity analysis indicate the existence of a critical dose of chemotherapy above which no further significant reduction in the tumour population can be observed. Numerical simulations show that a successful combinational therapy of the chemotherapeutic drugs and viruses depends mostly on the virus burst size, infection rate, and the amount of drugs supplied. Optimal control analysis was performed, by means of Pontryagin's principle, to further refine predictions of the model with constant treatment rates by accounting for the treatment costs and sides effects.
△ Less
Submitted 11 July, 2018;
originally announced July 2018.
-
The Hopf monoid of Megagreedoids
Authors:
Jacob A White
Abstract:
We introduce megagreedoids, which generalize polymatroids, megamatroids, and greedoids. We define a quasisymmetric function invariant for a megagreedoid, and show that it has a positive expansion in the basis of fundamental quasisymmetric functions. Our proof involves lexicographic shellability. We also show that megagreedoids form a Hopf monoid. A running example is a megagreedoid associated to a…
▽ More
We introduce megagreedoids, which generalize polymatroids, megamatroids, and greedoids. We define a quasisymmetric function invariant for a megagreedoid, and show that it has a positive expansion in the basis of fundamental quasisymmetric functions. Our proof involves lexicographic shellability. We also show that megagreedoids form a Hopf monoid. A running example is a megagreedoid associated to a rooted connected graph, and the resulting generalization of the chromatic symmetric function.
△ Less
Submitted 12 February, 2018;
originally announced February 2018.
-
On Zero-Sector Reducing Operators
Authors:
David A. Cardon,
Tamás Forgács,
Andrzej Piotrowski,
Evan Sorensen,
Jason C. White
Abstract:
We prove a Jensen-disc type theorem for polynomials $p\in\mathbb{R}[z]$ having all their zeros in a sector of the complex plane. This result is then used to prove the existence of a collection of linear operators $T\colon\mathbb{R}[z]\to\mathbb{R}[z]$ which map polynomials with their zeros in a closed convex sector $|\arg z| \leq θ<π/2$ to polynomials with zeros in a smaller sector…
▽ More
We prove a Jensen-disc type theorem for polynomials $p\in\mathbb{R}[z]$ having all their zeros in a sector of the complex plane. This result is then used to prove the existence of a collection of linear operators $T\colon\mathbb{R}[z]\to\mathbb{R}[z]$ which map polynomials with their zeros in a closed convex sector $|\arg z| \leq θ<π/2$ to polynomials with zeros in a smaller sector $|\arg z| \leq γ<θ$. We, therefore, provide the first example of a zero-sector reducing operator.
△ Less
Submitted 7 February, 2018;
originally announced February 2018.
-
The radical of the bidual of a Beurling algebra
Authors:
Jared T. White
Abstract:
We prove that the bidual of a Beurling algebra on $\mathbb{Z}$, considered as a Banach algebra with the first Arens product, can never be semisimple. We then show that ${\rm rad\,}(\ell^{\, 1}(\oplus_{i=1}^\infty \mathbb{Z})")$ contains nilpotent elements of every index. Each of these results settles a question of Dales and Lau. Finally we show that there exists a weight $ω$ on $\mathbb{Z}$ such t…
▽ More
We prove that the bidual of a Beurling algebra on $\mathbb{Z}$, considered as a Banach algebra with the first Arens product, can never be semisimple. We then show that ${\rm rad\,}(\ell^{\, 1}(\oplus_{i=1}^\infty \mathbb{Z})")$ contains nilpotent elements of every index. Each of these results settles a question of Dales and Lau. Finally we show that there exists a weight $ω$ on $\mathbb{Z}$ such that the bidual of $\ell^{\, 1}(\mathbb{Z}, ω)$ contains a radical element which is not nilpotent.
△ Less
Submitted 17 January, 2018; v1 submitted 31 August, 2017;
originally announced August 2017.
-
Real-Root Preserving Differential Operator Representations of Orthogonal Polynomials
Authors:
David A. Cardon,
Evan L. Sorensen,
Jason C. White
Abstract:
In this paper, we study linear transformations of the form $T[x^n]=P_n(x)$ where $\{P_n(x)\}$ is an orthogonal polynomial system. Of particular interest is understanding when these operators preserve real-rootedness in polynomials. It is known that when the $P_n(x)$ are the Hermite polynomials or standard Laguerre polynomials, the transformation $T$ has this property. It is also known that the tra…
▽ More
In this paper, we study linear transformations of the form $T[x^n]=P_n(x)$ where $\{P_n(x)\}$ is an orthogonal polynomial system. Of particular interest is understanding when these operators preserve real-rootedness in polynomials. It is known that when the $P_n(x)$ are the Hermite polynomials or standard Laguerre polynomials, the transformation $T$ has this property. It is also known that the transformation $T[x^n]=H_n^α(x)$, where $H_n^α(x)$ is the $n$th generalized Hermite Polynomial with real parameter $α$, has the differential operator representation $T[x^n]=e^{-\fracα{2}D^2}x^n$. The main result of this paper is to prove that a differential operator of the form $\sum_{k=0}^\infty \frac{γ_k}{k!} D^k$ induces a system of monic orthogonal polynomials if and only if $\sum_{k=0}^\infty \frac{γ_k}{k!} D^k=γ_0e^{-\frac{ α}{2}D^2-βD}$ where $γ_0,α,β\in \mathbb{C}$ and $α,γ_0 \neq 0$. This operator will produce a shifted set of generalized Hermite polynomials when $α\in \mathbb{R}$. We also express the transformation from the standard basis to the standard Laguerre basis, $T[x^n]=L_n(x)$ as a differential operator of the form $\sum_{k=0}^\infty \frac{p_k(x)}{k!} D^k$ where the $p_k$ are polynomials, an identity that has not previously been shown.
△ Less
Submitted 17 July, 2017;
originally announced July 2017.
-
An Infinite C*-algebra with a Dense, Stably Finite *-Subalgebra
Authors:
Niels Jakob Laustsen,
Jared T. White
Abstract:
We construct a unital pre-C*-algebra $A_0$ which is stably finite, in the sense that every left invertible square matrix over $A_0$ is right invertible, while the C*-completion of $A_0$ contains a non-unitary isometry, and so it is infinite.
We construct a unital pre-C*-algebra $A_0$ which is stably finite, in the sense that every left invertible square matrix over $A_0$ is right invertible, while the C*-completion of $A_0$ contains a non-unitary isometry, and so it is infinite.
△ Less
Submitted 31 August, 2017; v1 submitted 16 May, 2017;
originally announced May 2017.
-
Finitely-Generated Left Ideals in Banach Algebras on Groups and Semigroups
Authors:
Jared T White
Abstract:
Let $G$ be a locally compact group. We prove that the augmentation ideal in $L^1(G)$ is (algebraically) finitely-generated as a left ideal if and only if $G$ is finite. We then investigate weighted versions of this result, as well as a version for semigroup algebras. Weighted measure algebras are also considered. We are motivated by a recent conjecture of Dales and Żelazko, which states that a uni…
▽ More
Let $G$ be a locally compact group. We prove that the augmentation ideal in $L^1(G)$ is (algebraically) finitely-generated as a left ideal if and only if $G$ is finite. We then investigate weighted versions of this result, as well as a version for semigroup algebras. Weighted measure algebras are also considered. We are motivated by a recent conjecture of Dales and Żelazko, which states that a unital Banach algebra in which every maximal left ideal is finitely-generated is necessarily finite-dimensional. We prove that this conjecture holds for many of the algebras considered. Finally, we use the theory that we have developed to construct some examples of commutative Banach algebras that relate to a theorem of Gleason.
△ Less
Submitted 18 December, 2016;
originally announced December 2016.
-
Coloring Complexes and Combinatorial Hopf Monoids
Authors:
Jacob White
Abstract:
We generalize the notion of a coloring complex of a graph to linearized combinatorial Hopf monoids. We determine when a linearized combinatorial Hopf monoid has such a construction, and discover some inequalities that are satisfied by the quasisymmetric function invariants associated to the combinatorial Hopf monoid. We show that the collection of all such coloring complexes forms a linearized com…
▽ More
We generalize the notion of a coloring complex of a graph to linearized combinatorial Hopf monoids. We determine when a linearized combinatorial Hopf monoid has such a construction, and discover some inequalities that are satisfied by the quasisymmetric function invariants associated to the combinatorial Hopf monoid. We show that the collection of all such coloring complexes forms a linearized combinatorial Hopf monoid, which is the terminal object in the category of combinatorial Hopf monoids with convex characters. We also study several examples of combinatorial Hopf monoids.
△ Less
Submitted 10 October, 2022; v1 submitted 12 November, 2016;
originally announced November 2016.
-
Quasisymmetric Functions from Combinatorial Hopf Monoids and Ehrhart Theory
Authors:
Jacob White
Abstract:
We investigate quasisymmetric functions coming from combinatorial Hopf monoids. We show that these invariants arise naturally in Ehrhart theory, and that some of their specializations are Hilbert functions for relative simplicial complexes. This class of complexes, called forbidden composition complexes, also forms a Hopf monoid, thus demonstrating a link between Hopf algebras, Ehrhart theory, and…
▽ More
We investigate quasisymmetric functions coming from combinatorial Hopf monoids. We show that these invariants arise naturally in Ehrhart theory, and that some of their specializations are Hilbert functions for relative simplicial complexes. This class of complexes, called forbidden composition complexes, also forms a Hopf monoid, thus demonstrating a link between Hopf algebras, Ehrhart theory, and commutative algebra. We also study various specializations of quasisymmetric functions.
△ Less
Submitted 31 March, 2016;
originally announced April 2016.
-
Parameter Insensitivity in ADMM-Preconditioned Solution of Saddle-Point Problems
Authors:
Richard Y. Zhang,
Jacob K. White
Abstract:
We consider the solution of linear saddle-point problems, using the alternating direction method-of-multipliers (ADMM) as a preconditioner for the generalized minimum residual method (GMRES). We show, using theoretical bounds and empirical results, that ADMM is made remarkably insensitive to the parameter choice with Krylov subspace acceleration. We prove that ADMM-GMRES can consistently converge,…
▽ More
We consider the solution of linear saddle-point problems, using the alternating direction method-of-multipliers (ADMM) as a preconditioner for the generalized minimum residual method (GMRES). We show, using theoretical bounds and empirical results, that ADMM is made remarkably insensitive to the parameter choice with Krylov subspace acceleration. We prove that ADMM-GMRES can consistently converge, irrespective of the exact parameter choice, to an $ε$-accurate solution of a $κ$-conditioned problem in $O(κ^{2/3}\logε^{-1})$ iterations. The accelerated method is applied to randomly generated problems, as well as the Newton direction computation for the interior-point solution of semidefinite programs in the SDPLIB test suite. The empirical results confirm this parameter insensitivity, and suggest a slightly improved iteration bound of $O(\sqrtκ\logε^{-1})$.
△ Less
Submitted 27 April, 2016; v1 submitted 5 February, 2016;
originally announced February 2016.
-
GMRES-Accelerated ADMM for Quadratic Objectives
Authors:
Richard Y. Zhang,
Jacob K. White
Abstract:
We consider the sequence acceleration problem for the alternating direction method-of-multipliers (ADMM) applied to a class of equality-constrained problems with strongly convex quadratic objectives, which frequently arise as the Newton subproblem of interior-point methods. Within this context, the ADMM update equations are linear, the iterates are confined within a Krylov subspace, and the Genera…
▽ More
We consider the sequence acceleration problem for the alternating direction method-of-multipliers (ADMM) applied to a class of equality-constrained problems with strongly convex quadratic objectives, which frequently arise as the Newton subproblem of interior-point methods. Within this context, the ADMM update equations are linear, the iterates are confined within a Krylov subspace, and the General Minimum RESidual (GMRES) algorithm is optimal in its ability to accelerate convergence. The basic ADMM method solves a $κ$-conditioned problem in $O(\sqrtκ)$ iterations. We give theoretical justification and numerical evidence that the GMRES-accelerated variant consistently solves the same problem in $O(κ^{1/4})$ iterations for an order-of-magnitude reduction in iterations, despite a worst-case bound of $O(\sqrtκ)$ iterations. The method is shown to be competitive against standard preconditioned Krylov subspace methods for saddle-point problems. The method is embedded within SeDuMi, a popular open-source solver for conic optimization written in MATLAB, and used to solve many large-scale semidefinite programs with error that decreases like $O(1/k^{2})$, instead of $O(1/k)$, where $k$ is the iteration index.
△ Less
Submitted 28 August, 2018; v1 submitted 22 January, 2016;
originally announced January 2016.
-
Upper bounds for double exponential sums along a subsequence
Authors:
Christopher J. White
Abstract:
We consider a class of double exponential sums studied in a paper of Sinai and Ulcigrai. They proved a linear bound for these sums along the sequence of denominators in the continued fraction expansion of $α$, provided $α$ is badly-approximable. We provide a proof of a result, which includes a simple proof of their theorem, and which applies for all irrational $α$.
We consider a class of double exponential sums studied in a paper of Sinai and Ulcigrai. They proved a linear bound for these sums along the sequence of denominators in the continued fraction expansion of $α$, provided $α$ is badly-approximable. We provide a proof of a result, which includes a simple proof of their theorem, and which applies for all irrational $α$.
△ Less
Submitted 27 October, 2015;
originally announced October 2015.
-
Double transitivity of Galois Groups in Schubert Calculus of Grassmannians
Authors:
Frank Sottile,
Jacob White
Abstract:
We investigate double transitivity of Galois groups in the classical Schubert calculus on Grassmannians. We show that all Schubert problems on Grassmannians of 2- and 3-planes have doubly transitive Galois groups, as do all Schubert problems involving only special Schubert conditions. We use these results to give a new proof that Schubert problems on Grassmannians of 2-planes have Galois groups th…
▽ More
We investigate double transitivity of Galois groups in the classical Schubert calculus on Grassmannians. We show that all Schubert problems on Grassmannians of 2- and 3-planes have doubly transitive Galois groups, as do all Schubert problems involving only special Schubert conditions. We use these results to give a new proof that Schubert problems on Grassmannians of 2-planes have Galois groups that contain the alternating group. We also investigate the Galois group of every Schubert problem on Gr(4,8), finding that each Galois group either contains the alternating group or is an imprimitive permutation group and therefore fails to be doubly transitive. These imprimitive examples show that our results are the best possible general results on double transitivity of Schubert problems.
△ Less
Submitted 14 December, 2014; v1 submitted 20 December, 2013;
originally announced December 2013.
-
Generalized Taylor-Duffy Method for Efficient Evaluation of Galerkin Integrals in Boundary-Element Method Computations
Authors:
M. T. Homer Reid,
Steven G. Johnson,
Jacob K. White
Abstract:
We present a generic technique, automated by computer-algebra systems and available as open-source software \cite{scuff-em}, for efficient numerical evaluation of a large family of singular and nonsingular 4-dimensional integrals over triangle-product domains, such as those arising in the boundary-element method (BEM) of computational electromagnetism. To date, practical implementation of BEM solv…
▽ More
We present a generic technique, automated by computer-algebra systems and available as open-source software \cite{scuff-em}, for efficient numerical evaluation of a large family of singular and nonsingular 4-dimensional integrals over triangle-product domains, such as those arising in the boundary-element method (BEM) of computational electromagnetism. To date, practical implementation of BEM solvers has often required the aggregation of multiple disparate integral-evaluation schemes to treat all of the distinct types of integrals needed for a given BEM formulation; in contrast, our technique allows many different types of integrals to be handled by the \emph{same} algorithm and the same code implementation. Our method is a significant generalization of the Taylor--Duffy approach \cite{Taylor2003,Duffy1982}, which was originally presented for just a single type of integrand; in addition to generalizing this technique to a broad class of integrands, we also achieve a significant improvement in its efficiency by showing how the \emph{dimension} of the final numerical integral may often be reduced by one. In particular, if $n$ is the number of common vertices between the two triangles, in many cases we can reduce the dimension of the integral from $4-n$ to $3-n$, obtaining a closed-form analytical result for $n=3$ (the common-triangle case).
△ Less
Submitted 19 July, 2014; v1 submitted 5 December, 2013;
originally announced December 2013.
-
Discrete Homology Theory for Metric Spaces
Authors:
Helene Barcelo,
Valerio Capraro,
Jacob A. White
Abstract:
In this paper we define and study a notion of discrete homology theory for metric spaces. Instead of working with simplicial homology, our chain complexes are given by Lipschitz maps from an $n$-dimensional cube to a fixed metric space. We prove that the resulting homology theory verifies a discrete analogue of the Eilenberg-Steenrod axioms, and prove a discrete analogue of the Mayer-Vietoris exac…
▽ More
In this paper we define and study a notion of discrete homology theory for metric spaces. Instead of working with simplicial homology, our chain complexes are given by Lipschitz maps from an $n$-dimensional cube to a fixed metric space. We prove that the resulting homology theory verifies a discrete analogue of the Eilenberg-Steenrod axioms, and prove a discrete analogue of the Mayer-Vietoris exact sequence. Moreover, this discrete homology theory is related to the discrete homotopy theory of a metric space through a discrete analogue of the Hurewicz theorem. We study the class of groups that can arise as discrete homology groups and, in this setting, we prove that the fundamental group of a smooth, connected, metrizable, compact manifold is isomorphic to the discrete fundamental group of a `fine enough' rectangulation of the manifold. Finally, we show that this discrete homology theory can be coarsened, leading to a new non-trivial coarse invariant of a metric space.
△ Less
Submitted 20 December, 2013; v1 submitted 17 June, 2013;
originally announced June 2013.
-
Cycles, wheels, and gears in finite planes
Authors:
Jamie Peabody,
Oscar Vega,
Jordan White
Abstract:
The existence of a primitive element of $GF(q)$ with certain properties is used to prove that all cycles that could theoretically be embedded in $AG(2,q)$ and $PG(2,q)$ can, in fact, be embedded there (i.e. these planes are `pancyclic'). We also study embeddings of wheel and gear graphs in arbitrary projective planes.
The existence of a primitive element of $GF(q)$ with certain properties is used to prove that all cycles that could theoretically be embedded in $AG(2,q)$ and $PG(2,q)$ can, in fact, be embedded there (i.e. these planes are `pancyclic'). We also study embeddings of wheel and gear graphs in arbitrary projective planes.
△ Less
Submitted 26 November, 2012;
originally announced November 2012.
-
Decision trees, monotone functions, and semimatroids
Authors:
Jacob A. White
Abstract:
We define decision trees for monotone functions on a simplicial complex. We define homology decidability of monotone functions, and show that various monotone functions related to semimatroids are homology decidable. Homology decidability is a generalization of semi-nonevasiveness, a notion due to Jonsson. The motivating example is the complex of bipartite graphs, whose Betti numbers are unknown i…
▽ More
We define decision trees for monotone functions on a simplicial complex. We define homology decidability of monotone functions, and show that various monotone functions related to semimatroids are homology decidable. Homology decidability is a generalization of semi-nonevasiveness, a notion due to Jonsson. The motivating example is the complex of bipartite graphs, whose Betti numbers are unknown in general.
We show that these monotone functions have optimum decision trees, from which we can compute relative Betti numbers of related pairs of simplicial complexes. Moreover, these relative Betti numbers are coefficients of evaluations of the Tutte polynomial, and every semimatroid collapses onto its broken circuit complex.
△ Less
Submitted 20 December, 2013; v1 submitted 27 September, 2012;
originally announced September 2012.
-
On some Hopf monoids in graphical species
Authors:
Jacob A. White
Abstract:
Combinatorial Hopf algebras arise in a variety of applications. Recently, Aguiar and Mahajan showed how many well-studied Hopf algebras are closely related to Hopf monoids in species.
In this paper, we study Hopf monoids in graphical species, giving a `graph-theoretic' analogue to the work of Aguiar and Mahajan. In particular, several examples of Hopf monoids in graphical species are detailed, m…
▽ More
Combinatorial Hopf algebras arise in a variety of applications. Recently, Aguiar and Mahajan showed how many well-studied Hopf algebras are closely related to Hopf monoids in species.
In this paper, we study Hopf monoids in graphical species, giving a `graph-theoretic' analogue to the work of Aguiar and Mahajan. In particular, several examples of Hopf monoids in graphical species are detailed, most of which are related to graph coloring, or hyperplane arrangements associated to graphs.
△ Less
Submitted 13 October, 2011;
originally announced October 2011.
-
On Multivariate Chromatic Polynomials of Hypergraphs and Hyperedge Elimination
Authors:
Jacob A White
Abstract:
In this paper, we consider multivariate hyperedge elimination polynomials and multivariate chromatic polynomials for hypergraphs. The first set of polynomials is defined in terms of a deletion-contraction-extraction recurrence, previously investigated for graphs by Averbouch, Godlin, and Makowsky. The multivariate chromatic polynomial is an equivalent polynomial defined in terms of colorings, and…
▽ More
In this paper, we consider multivariate hyperedge elimination polynomials and multivariate chromatic polynomials for hypergraphs. The first set of polynomials is defined in terms of a deletion-contraction-extraction recurrence, previously investigated for graphs by Averbouch, Godlin, and Makowsky. The multivariate chromatic polynomial is an equivalent polynomial defined in terms of colorings, and generalizes the coboundary polynomial of Crapo, and the bivariate chromatic polynomial of Dohmen, Pönitz and Tittman. We show that specializations of these new polynomials recover polynomials which enumerate hyperedge coverings, matchings, transversals, and section hypergraphs. We also prove that the polynomials can be defined in terms of Möbius inversion on the bond lattice of a hypergraph, as well as compute these polynomials for various classes of hypergraphs.
△ Less
Submitted 15 December, 2010;
originally announced December 2010.