-
BattOpt: Optimal Facility Planning for Electric Vehicle Battery Recycling
Authors:
Matthew Brun,
Xu Andy Sun
Abstract:
The electric vehicle (EV) battery supply chain will face challenges in sourcing scarce, expensive minerals required for manufacturing and in disposing of hazardous retired batteries. Integrating recycling technology into the supply chain has the potential to alleviate these issues; however, players in the battery market must design investment plans for recycling facilities. In this paper, we propo…
▽ More
The electric vehicle (EV) battery supply chain will face challenges in sourcing scarce, expensive minerals required for manufacturing and in disposing of hazardous retired batteries. Integrating recycling technology into the supply chain has the potential to alleviate these issues; however, players in the battery market must design investment plans for recycling facilities. In this paper, we propose a two-stage stochastic optimization model for computing minimum cost recycling capacity decisions, in which retired batteries are recycled and recovered materials are used to manufacture new batteries. The model is a separable concave minimization subject to linear constraints, a class for which we design a new finitely convergent global optimization algorithm based on piecewise linear approximation that solves up to 10x faster than comparable algorithms. We propose an equivalent reformulation of the model that reduces the total number of variables by introducing integrality constraints. The reformulation can also be solved by our global algorithm with drastically reduced solve times. We detail a cut grou** strategy for Benders' decomposition in the second stage which improves convergence relative to single-cut and multi-cut implementations. To produce a set of second-stage scenarios, we design an approach for generating time-series projections for new battery demand, retired battery supply, and material costs. Analysis of the optimal solutions shows that effective investment in recycling can reduce battery manufacturing costs by 22% and reduce environmental impacts by up to 7%.
△ Less
Submitted 30 June, 2024;
originally announced July 2024.
-
The Dual Degree Cech Bifiltration
Authors:
Morten Brun
Abstract:
In topological data analysis (TDA), a longstanding challenge is to recognize underlying geometric structures in noisy data. One motivating examples is the shape of a point cloud in Euclidean space given by image. Carlsson et al. proposed a method to detect topological features in point clouds by first filtering by density and then applying persistent homology. Later more refined methods have been…
▽ More
In topological data analysis (TDA), a longstanding challenge is to recognize underlying geometric structures in noisy data. One motivating examples is the shape of a point cloud in Euclidean space given by image. Carlsson et al. proposed a method to detect topological features in point clouds by first filtering by density and then applying persistent homology. Later more refined methods have been developed, such as the degree Rips complex of Lesnick and Wright and the multicover bifiltration. In this paper we introduce the dual Degree Cech bifiltration, a Prohorov stable bicomplex of a point cloud in a metric space with the point cloud itself as vertex set. It is of the same homotopy type as the Measure Dowker bifiltration of Hellmer and Spaliński but it has a different vertex set.
The dual Degree Cech bifiltration can be constructed both in an ambient and an intrinsic way. The intrinsic dual Degree Cech bifiltration is a $(1,2)$-intereaved with the ambent dual Degree Cech bifiltration in the distance parameter. This interleaving can be used to leverage a stability result for the intrinsically defined dual Degree Cech bifiltration. This stability result recently occured in work by Hellmer and Spaliński.
△ Less
Submitted 29 June, 2024;
originally announced July 2024.
-
Core Bifiltration
Authors:
Nello Blaser,
Morten Brun,
Odin Hoff Gardaa,
Lars M. Salbu
Abstract:
The motivation of this paper is to recognize a geometric shape from a noisy sample in the form of a point cloud. Inspired by the HDBSCAN clustering algorithm, we introduce the core dissimilarity, from which we construct the core bifiltration. We also consider the alpha-core bifiltration by intersecting with Voronoi cells, giving us a filtered simplicial complex of smaller size. A major advantage o…
▽ More
The motivation of this paper is to recognize a geometric shape from a noisy sample in the form of a point cloud. Inspired by the HDBSCAN clustering algorithm, we introduce the core dissimilarity, from which we construct the core bifiltration. We also consider the alpha-core bifiltration by intersecting with Voronoi cells, giving us a filtered simplicial complex of smaller size. A major advantage of the (alpha-)core bifiltration is that, for each filtration value, it admits a good cover of balls. By the persistent nerve theorem, the nerve of this cover is homotopy equivalent to the (alpha-)core bifiltration. We show that the multicover-, core- and alpha-core bifiltrations are all interleaved, and that they enjoy similar stability properties with respect to the Prohorov distance. We have performed experiments with the core and the alpha-core bifiltrations where we have calculated their persistent homology along lines in the two-dimensional persistence parameter space.
△ Less
Submitted 30 June, 2024; v1 submitted 2 May, 2024;
originally announced May 2024.
-
Dowker Duality for Relations of Categories
Authors:
Morten Brun,
Marius Gårdsmann Fosse,
Lars M. Salbu
Abstract:
We propose a categorification of the Dowker duality theorem for relations. Dowker's theorem states that the Dowker complex of a relation $R \subseteq X \times Y$ of sets $X$ and $Y$ is homotopy equivalent to the Dowker complex of the transpose relation $R^T \subseteq Y \times X$. Given a relation $R$ of small categories $\mathcal{C}$ and $\mathcal{D}$, that is, a functor of the form…
▽ More
We propose a categorification of the Dowker duality theorem for relations. Dowker's theorem states that the Dowker complex of a relation $R \subseteq X \times Y$ of sets $X$ and $Y$ is homotopy equivalent to the Dowker complex of the transpose relation $R^T \subseteq Y \times X$. Given a relation $R$ of small categories $\mathcal{C}$ and $\mathcal{D}$, that is, a functor of the form $R \colon \mathcal{R} \to \mathcal{C} \times \mathcal{D}$, we define the bisimplicial rectangle nerve $ER$ and the Dowker nerve $DR$. The diagonal $d(ER)$ of the bisimplicial set $ER$ maps to the simplicial set $DR$ by a natural projection $d(π_R) \colon d(ER) \to DR$.
We introduce a criterion on relations of categories ensuring that the projection from the diagonal of the bisimplicial rectangle nerve to the Dowker nerve is a weak equivalence. Relations satisfying this criterion are called Dowker relations. If both the relation $R$ of categories and its transpose relation $R^T$ are Dowker relations, then the Dowker nerves $DR$ and $DR^T$ are weakly equivalent simplicial sets.
In order to justify the abstraction introduced by our categorification we give two applications. The first application is to show that Quillen's Theorem A can be considered as an instance of Dowker duality. In the second application we consider a simplicial complex $K$ with vertex set $V$ and show that the geometric realization of $K$ is naturally homotopy equivalent to the geometric realization of the simplicial set with the set of $n$-simplices given by functions $\{0,1,\dots,n\}\to V$ whose image is a simplex of $K$.
△ Less
Submitted 28 March, 2023;
originally announced March 2023.
-
The Rectangle Complex of a Relation
Authors:
Morten Brun,
Lars M. Salbu
Abstract:
We construct a simplicial complex, the rectangle complex of a relation R, and show that it is homotopy equivalent to the Dowker complex of R. This results in a short and conceptual proof of functorial versions of Dowker's Theorem used in topological data analysis.
We construct a simplicial complex, the rectangle complex of a relation R, and show that it is homotopy equivalent to the Dowker complex of R. This results in a short and conceptual proof of functorial versions of Dowker's Theorem used in topological data analysis.
△ Less
Submitted 28 September, 2022; v1 submitted 5 July, 2022;
originally announced July 2022.
-
Determining homology of an unknown space from a sample
Authors:
Morten Brun,
Belén García Pascual,
Lars M. Salbu
Abstract:
The homology of an unknown subspace of Euclidean space can be determined from the intrinsic Čech complex of a sample of points in the subspace, without reference to the ambient Euclidean space. More precisely, given a subspace $X$ of Euclidean space and a sample $A$ of points in $X$, we give conditions for the homology of $X$ to be isomorphic to a certain persistent homology group of the intrinsic…
▽ More
The homology of an unknown subspace of Euclidean space can be determined from the intrinsic Čech complex of a sample of points in the subspace, without reference to the ambient Euclidean space. More precisely, given a subspace $X$ of Euclidean space and a sample $A$ of points in $X$, we give conditions for the homology of $X$ to be isomorphic to a certain persistent homology group of the intrinsic Čech complex.
△ Less
Submitted 8 November, 2021;
originally announced November 2021.
-
The Parameterized Complexity of Finding Minimum Bounded Chains
Authors:
Nello Blaser,
Morten Brun,
Lars M. Salbu,
Erlend Raa Vågset
Abstract:
Finding the smallest $d$-chain with a specific $(d-1)$-boundary in a simplicial complex is known as the \textsc{Minimum Bounded Chain} (MBC$_d$) problem. The MBC$_d$ problem is NP-hard for all $d\geq 2$. In this paper, we prove that it is also W[1]-hard for all $d\geq 2$, if we parameterize the problem by solution size. We also give an algorithm solving the MBC$_1$ problem in polynomial time and i…
▽ More
Finding the smallest $d$-chain with a specific $(d-1)$-boundary in a simplicial complex is known as the \textsc{Minimum Bounded Chain} (MBC$_d$) problem. The MBC$_d$ problem is NP-hard for all $d\geq 2$. In this paper, we prove that it is also W[1]-hard for all $d\geq 2$, if we parameterize the problem by solution size. We also give an algorithm solving the MBC$_1$ problem in polynomial time and introduce and implemented two fixed parameter tractable (FPT) algorithms solving the MBC$_d$ problem for all $d$. The first algorithm is a generalized version of Dijkstra's algorithm and is parameterized by solution size and coface degree. The second algorithm is a dynamic programming approach based on treewidth, which has the same runtime as a lower bound we prove under the exponential time hypothesis.
△ Less
Submitted 12 August, 2021; v1 submitted 10 August, 2021;
originally announced August 2021.
-
Modeling the process of speciation using a multi-scale framework including error estimates
Authors:
Mats K. Brun,
Elyes Ahmed,
Jan Martin Nordbotten,
Nils Christian Stenseth
Abstract:
This paper concerns the modeling and numerical simulation of the process of speciation. In particular, given conditions for which one or more speciation events within an ecosystem occur, our aim is to develop the necessary modeling and simulation tools. Care is also taken to establish a solid mathematical foundation on which our modeling framework is built. This is the subject of the first half of…
▽ More
This paper concerns the modeling and numerical simulation of the process of speciation. In particular, given conditions for which one or more speciation events within an ecosystem occur, our aim is to develop the necessary modeling and simulation tools. Care is also taken to establish a solid mathematical foundation on which our modeling framework is built. This is the subject of the first half of the paper. The second half is devoted to develo** a multi-scale framework for eco-evolutionary modeling, where the relevant scales are that of species and individual/population, respectively. Hence, a system of interacting species can be described at the species level, while for branching species a population level description is necessary. Our multi-scale framework thus consists of coupling the species and population level models where speciation events are detected in advance and then resolved at the population scale until the branching is complete. Moreover, since the population level model is formulated as a PDE, we first establish the well-posedness in the time-discrete setting, and then derive the a posteriori error estimates which provides a fully computable upper bound on an energy-type error, including also for the case of general smooth distributions (which will be useful for the detection of speciation events). Several numerical tests validate our framework in practice.
△ Less
Submitted 7 October, 2021; v1 submitted 9 February, 2021;
originally announced February 2021.
-
Relative persistent homology
Authors:
Nello Blaser,
Morten Brun
Abstract:
The alpha complex efficiently computes persistent homology of a point cloud $X$ in Euclidean space when the dimension $d$ is low. Given a subset $A$ of $X$, relative persistent homology can be computed as the persistent homology of the relative Čech complex. But this is not computationally feasible for larger point clouds. The aim of this note is to present a method for efficient computation of re…
▽ More
The alpha complex efficiently computes persistent homology of a point cloud $X$ in Euclidean space when the dimension $d$ is low. Given a subset $A$ of $X$, relative persistent homology can be computed as the persistent homology of the relative Čech complex. But this is not computationally feasible for larger point clouds. The aim of this note is to present a method for efficient computation of relative persistent homology in low dimensional Euclidean space. We introduce the relative Delaunay Čech complex whose homology is the relative persistent homology. It can be constructed from the Delaunay complex of an embedding of the point clouds in $(d+1)$-dimensional Euclidean space.
△ Less
Submitted 18 November, 2019;
originally announced November 2019.
-
Sparse Nerves in Practice
Authors:
Nello Blaser,
Morten Brun
Abstract:
Topological data analysis combines machine learning with methods from algebraic topology. Persistent homology, a method to characterize topological features occurring in data at multiple scales is of particular interest. A major obstacle to the wide-spread use of persistent homology is its computational complexity. In order to be able to calculate persistent homology of large datasets, a number of…
▽ More
Topological data analysis combines machine learning with methods from algebraic topology. Persistent homology, a method to characterize topological features occurring in data at multiple scales is of particular interest. A major obstacle to the wide-spread use of persistent homology is its computational complexity. In order to be able to calculate persistent homology of large datasets, a number of approximations can be applied in order to reduce its complexity. We propose algorithms for calculation of approximate sparse nerves for classes of Dowker dissimilarities including all finite Dowker dissimilarities and Dowker dissimilarities whose homology is Cech persistent homology. All other sparsification methods and software packages that we are aware of calculate persistent homology with either an additive or a multiplicative interleaving. In dowker_homology, we allow for any non-decreasing interleaving function $α$. We analyze the computational complexity of the algorithms and present some benchmarks. For Euclidean data in dimensions larger than three, the sizes of simplicial complexes we create are in general smaller than the ones created by SimBa. Especially when calculating persistent homology in higher homology dimensions, the differences can become substantial.
△ Less
Submitted 23 April, 2019;
originally announced April 2019.
-
An iterative staggered scheme for phase field brittle fracture propagation with stabilizing parameters
Authors:
Mats Kirkesæther Brun,
Thomas Wick,
Inga Berre,
Jan Martin Nordbotten,
Florin Adrian Radu
Abstract:
This paper concerns the analysis and implementation of a novel iterative staggered scheme for quasi-static brittle fracture propagation models, where the fracture evolution is tracked by a phase field variable. The model we consider is a two-field variational inequality system, with the phase field function and the elastic displacements of the solid material as independent variables. Using a penal…
▽ More
This paper concerns the analysis and implementation of a novel iterative staggered scheme for quasi-static brittle fracture propagation models, where the fracture evolution is tracked by a phase field variable. The model we consider is a two-field variational inequality system, with the phase field function and the elastic displacements of the solid material as independent variables. Using a penalization strategy, this variational inequality system is transformed into a variational equality system, which is the formulation we take as the starting point for our algorithmic developments. The proposed scheme involves a partitioning of this model into two subproblems; phase field and mechanics, with added stabilization terms to both subproblems for improved efficiency and robustness. We analyze the convergence of the proposed scheme using a fixed point argument, and find that under a natural condition, the elastic mechanical energy remains bounded, and, if the diffusive zone around crack surfaces is sufficiently thick, monotonic convergence is achieved. Finally, the proposed scheme is validated numerically with several bench-mark problems.
△ Less
Submitted 20 March, 2019;
originally announced March 2019.
-
Monolithic and splitting based solution schemes for fully coupled quasi-static thermo-poroelasticity with nonlinear convective transport
Authors:
Mats Kirkesæther Brun,
Elyes Ahmed,
Inga Berre,
Jan Martin Nordbotten,
Florin Adrian Radu
Abstract:
This paper concerns splitting-based iterative procedures for the coupled nonlinear thermo-poroelasticity model problem. The thermo-poroelastic model problem we consider is formulated as a three-field system of PDE's, consisting of an energy balance equation, a mass balance equation and a momentum balance equation, where the primary variables are temperature, fluid pressure, and elastic displacemen…
▽ More
This paper concerns splitting-based iterative procedures for the coupled nonlinear thermo-poroelasticity model problem. The thermo-poroelastic model problem we consider is formulated as a three-field system of PDE's, consisting of an energy balance equation, a mass balance equation and a momentum balance equation, where the primary variables are temperature, fluid pressure, and elastic displacement. Due to the presence of a nonlinear convective transport term in the energy balance equation, it is convenient to have access to both the pressure and temperature gradients. Hence, we introduce these as two additional variables and extend the original three-field model to a five-field model. For the numerical solution of this five-field formulation, we compare three approaches that differ by how we treat the coupling/decoupling between the flow and/from heat and/from mechanics; these approaches have in common a simultaneous application of the fixed-stress splitting scheme on both the non-linearity and the coupling structure of the problem. More precisely, the derived procedures transform a nonlinear and fully coupled problem into a set of simpler subproblems to be solved sequentially in an iterative fashion. We provide a convergence proof for the derived algorithms, and validate our results through several numerical examples.
△ Less
Submitted 15 February, 2019;
originally announced February 2019.
-
Sparse Filtered Nerves
Authors:
Nello Blaser,
Morten Brun
Abstract:
Given a point cloud $P$ in Euclidean space and a positive parameter $t$ we can consider the $t$-neighborhood $P^{t}$ of $P$ consisting of points at distance less than $t$ to $P$. Homology of $P^{t}$ gives information about components, holes, voids etc. in $P^{t}$. The idea of persistent homology is that it may happen that we are interested in some of holes in the spaces $P^t$ that are not detected…
▽ More
Given a point cloud $P$ in Euclidean space and a positive parameter $t$ we can consider the $t$-neighborhood $P^{t}$ of $P$ consisting of points at distance less than $t$ to $P$. Homology of $P^{t}$ gives information about components, holes, voids etc. in $P^{t}$. The idea of persistent homology is that it may happen that we are interested in some of holes in the spaces $P^t$ that are not detected simultaneously in homology for a single value of $t$, but where each of these holes is detected for $t$ in a wide range.
When the dimension of the ambient Euclidean space is small, persistent homology is efficiently computed by the $α$-complex. For dimension bigger than three this becomes resource consuming. Don Sheehy discovered that there exists a filtered simplicial complex whose size depends linearly on the cardinality of $P$ and whose persistent homology is an approximation of the persistent homology of the filtered topological space $\{P^{t}\}_{t \ge 0}$. In this paper we pursue Sheehy's sparsification approach and give a more general approach to sparsification of filtered simplicial complexes computing the homology of filtered spaces of the form $\{P^{t}\}_{t \ge 0}$ and more generally to sparsification of filtered Dowker nerves. To our best knowledge, this is the first approach to sparsification of general Dowker nerves.
△ Less
Submitted 23 April, 2019; v1 submitted 4 October, 2018;
originally announced October 2018.
-
Well-posedness of the fully coupled quasi-static thermo-poro-elastic equations with nonlinear convective transport
Authors:
Mats K. Brun,
Elyes Ahmed,
Florin A. Radu,
Jan Martin Nordbotten
Abstract:
This paper is concerned with the analysis of the quasi-static thermo-poroelastic model. This model is nonlinear and includes thermal effects compared to the classical quasi-static poroelastic model (also known as Biot's model). It consists of a momentum balance equation, a mass balance equation, and an energy balance equation, fully coupled and nonlinear due to a convective transport term in the e…
▽ More
This paper is concerned with the analysis of the quasi-static thermo-poroelastic model. This model is nonlinear and includes thermal effects compared to the classical quasi-static poroelastic model (also known as Biot's model). It consists of a momentum balance equation, a mass balance equation, and an energy balance equation, fully coupled and nonlinear due to a convective transport term in the energy balance equation. The aim of this article is to investigate, in the context of mixed formulations, the existence and uniqueness of a weak solution to this model problem. The primary variables in these formulations are the fluid pressure, temperature and elastic displacement as well as the Darcy flux, heat flux and total stress. The well-posedness of a linearized formulation is addressed first through the use of a Galerkin method and suitable a priori estimates. This is used next to study the well-posedness of an iterative solution procedure for the full nonlinear problem. A convergence proof for this algorithm is then inferred by a contraction of successive difference functions of the iterates using suitable norms.
△ Less
Submitted 4 July, 2018; v1 submitted 3 July, 2018;
originally announced July 2018.
-
Sparse Dowker Nerves
Authors:
Nello Blaser,
Morten Brun
Abstract:
We propose sparse versions of filtered simplicial complexes used to compte persistent homology of point clouds and of networks. In particular we extend a slight variation of the Sparse Čech Complex of Cavanna, Jahanseir and Sheehy from point clouds in Cartesian space to point clouds in arbitrary metric spaces. Along the way we formulate interleaving in terms of strict $2$-categories, and we introd…
▽ More
We propose sparse versions of filtered simplicial complexes used to compte persistent homology of point clouds and of networks. In particular we extend a slight variation of the Sparse Čech Complex of Cavanna, Jahanseir and Sheehy from point clouds in Cartesian space to point clouds in arbitrary metric spaces. Along the way we formulate interleaving in terms of strict $2$-categories, and we introduce the concept of Dowker dissimilarities that can be considered as a common generalization of metric spaces and networks.
△ Less
Submitted 10 February, 2018;
originally announced February 2018.
-
Divisive cover
Authors:
Nello Blaser,
Morten Brun
Abstract:
The aim of this paper is to present a method for computation of persistent homology that performs well at large filtration values. To this end we introduce the concept of filtered covers. We show that the persistent homology of a bounded metric space obtained from the Čech complex is the persistent homology of the filtered nerve of the filtered Čech cover. Given a parameter $δ$ with $0 < δ\le 1$ w…
▽ More
The aim of this paper is to present a method for computation of persistent homology that performs well at large filtration values. To this end we introduce the concept of filtered covers. We show that the persistent homology of a bounded metric space obtained from the Čech complex is the persistent homology of the filtered nerve of the filtered Čech cover. Given a parameter $δ$ with $0 < δ\le 1$ we introduce the concept of a $δ$-filtered cover and show that its filtered nerve is interleaved with the Čech complex. Finally, we introduce a particular $δ$-filtered cover, the divisive cover. The special feature of the divisive cover is that it is constructed top-down. If we disregard fine scale structure and $X$ is a finite subspace of euclidean space, then we obtain a filtered simplicial complex whose size is bounded by an upper bound independent of the cardinality of $X$. The time needed to compute this filtered simplicial complex depends linearly on the cardinality of $X$.
△ Less
Submitted 28 May, 2018; v1 submitted 17 February, 2017;
originally announced February 2017.
-
Equivariant Structure on Smash Powers
Authors:
Morten Brun,
Bjørn Ian Dundas,
Martin Stolz
Abstract:
We provide foundations for dealing with the equivariant structure of "smash powers" of commutative orthogonal ring spectra. The category of commutative orthogonal ring spectra $A$ is tensored over spaces $X$, so that $A \otimes X$ is a commutative orthogonal ring spectrum. If $X$ is a discrete space, this is literally the smash power of $A$ with itself indexed over $X$, and we keep this language a…
▽ More
We provide foundations for dealing with the equivariant structure of "smash powers" of commutative orthogonal ring spectra. The category of commutative orthogonal ring spectra $A$ is tensored over spaces $X$, so that $A \otimes X$ is a commutative orthogonal ring spectrum. If $X$ is a discrete space, this is literally the smash power of $A$ with itself indexed over $X$, and we keep this language also in the nondiscrete case. In particular $A \otimes S^1$ is a model for topological Hochschild homology. We provide a framework where a generalization of the cyclotomic structure of topological Hochschild homology is visible in a categorical framework, also for more general $G$ and $X$.
Similar situations have been studied by others, e.g., in Hill, Hopkins and Ravenel's treatment of the norm construction and Brun, Carlsson, Dundas' covering homology. In the case of non-commutative $A$ and $X=S^1$, the situation is somewhat easier and has already been covered by Kro. We are motivated by applications to $G$ being a torus in order to study the iterated algebraic $K$-theory, and have to develop a categorical theory that in some ways goes beyond what has been done before.
Most of the material appeared in the last author's thesis which was defended in 2011. We apologize for the delay.
△ Less
Submitted 18 August, 2022; v1 submitted 20 April, 2016;
originally announced April 2016.
-
Transition wave in a supported heavy beam
Authors:
Michele Brun,
Alexander B. Movchan,
Leonid I. Slepyan
Abstract:
We consider a heavy, uniform, elastic beam rested on periodically distributed supports as a simplified model of a bridge. The supports are subjected to a partial destruction propagating as a failure wave along the beam. Three related models are examined and compared: (a) a uniform elastic beam on a distributed elastic foundation, (b) an elastic beam which mass is concentrated at a discrete set of…
▽ More
We consider a heavy, uniform, elastic beam rested on periodically distributed supports as a simplified model of a bridge. The supports are subjected to a partial destruction propagating as a failure wave along the beam. Three related models are examined and compared: (a) a uniform elastic beam on a distributed elastic foundation, (b) an elastic beam which mass is concentrated at a discrete set of points corresponding to the discrete set of the elastic supports and (c) a uniform elastic beam on a set of discrete elastic supports. Stiffness of the support is assumed to drop when the stress reaches a critical value. In the formulation, it is also assumed that, at the moment of the support damage, the value of the `added mass', which reflects the dynamic response of the support, is dropped too. Strong similarities in the behavior of the continuous and discrete-continuous models are detected. Three speed regimes, subsonic, intersonic and supersonic, where the failure wave is or is not accompanied by elastic waves excited by the moving jump in the support stiffness, are considered and related characteristic speeds are determined. With respect to these continuous and discrete-continuous models, the conditions are found for the failure wave to exists, to propagate uniformly or to accelerate. It is also found that such beam-related transition wave can propagate steadily only at the intersonic speeds. It is remarkable that the steady-state speed appears to decrease as the jump of the stiffness increases.
△ Less
Submitted 21 December, 2012;
originally announced December 2012.
-
Periodically fighting shake, rattle and roll
Authors:
M. Brun,
A. B. Movchan,
I. S. Jones
Abstract:
How easy is it to suppress shake, rattle and roll in a long bridge or a skyscraper? Most practical structures are designed so that long wave resonance vibrations can be avoided. However, there are recent examples, such as the Millennium Bridge in London or the Volga Bridge in Volgograd, which show that unexpected external forces may result in large scale unwanted shake and rattle. Full scale alter…
▽ More
How easy is it to suppress shake, rattle and roll in a long bridge or a skyscraper? Most practical structures are designed so that long wave resonance vibrations can be avoided. However, there are recent examples, such as the Millennium Bridge in London or the Volga Bridge in Volgograd, which show that unexpected external forces may result in large scale unwanted shake and rattle. Full scale alteration of a bridge (or a skyscraper) would not be considered as an acceptable option, unless the structure has collapsed. Can we fix this by examining a representative part of the structure only and making small lightweight changes? We will do it here and illustrate an idea linking the engineering analysis to elastic waveguides.
△ Less
Submitted 9 July, 2011;
originally announced July 2011.
-
The Auslander-Reiten translate on monomial quotient rings
Authors:
Morten Brun,
Gunnar Floystad
Abstract:
For a multidegree t in N^n, E.Miller has defined a category of positively t-determined modules over the polynomial ring S in n variables. We consider the Auslander-Reiten translate, Na_t, on the (derived) category of such modules. A monomial ideal I is positively t-determined if every generator x^a has a \leq t. We compute the multigraded cohomology- and betti spaces of Na_t^k(S/I) for every itera…
▽ More
For a multidegree t in N^n, E.Miller has defined a category of positively t-determined modules over the polynomial ring S in n variables. We consider the Auslander-Reiten translate, Na_t, on the (derived) category of such modules. A monomial ideal I is positively t-determined if every generator x^a has a \leq t. We compute the multigraded cohomology- and betti spaces of Na_t^k(S/I) for every iterate k, and also the S-module structure of these cohomology modules. This comprehensively generalizes results of Hochster and Gräbe on local cohomology of Stanley-Reisner rings.
△ Less
Submitted 10 August, 2010; v1 submitted 20 February, 2008;
originally announced February 2008.
-
Covering Homology
Authors:
Morten Brun,
Gunnar Carlsson,
Bjorn Ian Dundas
Abstract:
We introduce the notion of "covering homology" of a commutative ring spectrum with respect to certain families of coverings of topological spaces. The construction of covering homology is extracted from Bokstedt, Hsiang and Madsen's topological cyclic homology. In fact covering homology with respect to the family of orientation preserving isogenies of the circle is equal to topological cyclic ho…
▽ More
We introduce the notion of "covering homology" of a commutative ring spectrum with respect to certain families of coverings of topological spaces. The construction of covering homology is extracted from Bokstedt, Hsiang and Madsen's topological cyclic homology. In fact covering homology with respect to the family of orientation preserving isogenies of the circle is equal to topological cyclic homology.
Our basic tool for the analysis of covering homology is a cofibration sequence involving homotopy orbits and a restriction map similar to the restriction map used in Bokstedt, Hsiang and Madsen's construction of topological cyclic homology.
Covering homology with respect to families of isogenies of a torus is constructed from iterated topological Hochschild homology. It receives a trace map from iterated algebraic K-theory and the hope is that the rich structure, and the calculability of covering homology will make covering homology useful in the exploration of J. Rognes' ``red shift conjecture''.
△ Less
Submitted 8 February, 2008; v1 submitted 5 June, 2007;
originally announced June 2007.
-
On algebras associated to partially ordered sets
Authors:
Morten Brun,
Tim Roemer
Abstract:
We continue the study on sheaves of rings on finite posets. We present examples where the ring of global sections coincide with toric faces rings, quotients of a polynomial ring by a monomial ideal and algebras with straightening laws. We prove a rank-selection theorem which generalizes the well-known rank-selection theorem of Stanley-Reisner rings. Finally, we determine an explicit presentation…
▽ More
We continue the study on sheaves of rings on finite posets. We present examples where the ring of global sections coincide with toric faces rings, quotients of a polynomial ring by a monomial ideal and algebras with straightening laws. We prove a rank-selection theorem which generalizes the well-known rank-selection theorem of Stanley-Reisner rings. Finally, we determine an explicit presentation of certain global rings of sections.
△ Less
Submitted 18 July, 2005;
originally announced July 2005.
-
Cohomology of partially ordered sets and local cohomology of section rings
Authors:
Morten Brun,
Winfried Bruns,
Tim Roemer
Abstract:
We study local cohomology of rings of global sections of sheafs on the Alexandrov space of a partially ordered set. We give a criterion for a splitting of the local cohomology groups into summands determined by the cohomology of the poset and the local cohomology of the stalks. The face ring of a rational pointed fan can be considered as the ring of global sections of a flasque sheaf on the face…
▽ More
We study local cohomology of rings of global sections of sheafs on the Alexandrov space of a partially ordered set. We give a criterion for a splitting of the local cohomology groups into summands determined by the cohomology of the poset and the local cohomology of the stalks. The face ring of a rational pointed fan can be considered as the ring of global sections of a flasque sheaf on the face poset of the fan. Thus we obtain a decomposition of the local cohomology of such face rings. Since the Stanley-Reisner ring of a simplicial complex is the face ring of a rational pointed fan, our main result can be interpreted as a generalization of Hochster's decomposition of local cohomology of Stanley-Reisner rings.
△ Less
Submitted 2 March, 2006; v1 submitted 24 February, 2005;
originally announced February 2005.
-
Witt Vectors and Equivariant Ring Spectra
Authors:
Morten Brun
Abstract:
This paper establishes a connection between equivariant ring spectra and Witt vectors in the sense of Dress and Siebeneicher. Given a commutative ringspectrum T in the highly structured sense, that is, an E-infinity-ringspectrum, with action of a finite group G we construct a ringhomomorphism from the ring of G-typical Witt vectors of the zeroth homotopy group of T to the zeroth homotopy group o…
▽ More
This paper establishes a connection between equivariant ring spectra and Witt vectors in the sense of Dress and Siebeneicher. Given a commutative ringspectrum T in the highly structured sense, that is, an E-infinity-ringspectrum, with action of a finite group G we construct a ringhomomorphism from the ring of G-typical Witt vectors of the zeroth homotopy group of T to the zeroth homotopy group of the G-fixed point spectrum of T. In the particular case, where T is the periodic unitary cobordism spectrum introduced by Strickland, we show that this ringhomomorphism is injective, and we interpret this in terms of equivariant cobordism.
△ Less
Submitted 25 November, 2004;
originally announced November 2004.
-
On the Multiplicative Structure of Topological Hochschild Homology
Authors:
M. Brun,
Z. Fiedorowicz,
R. M. Vogt
Abstract:
We show that the topological Hochschild homology THH(R of an E_n-ring spectrum R is an E_{n-1}-ring spectrum. The proof is based on the fact that the tensor product of the operad Ass for monoid structures and the the little n-cubes operad is an E_{n+1}-operad, a result which is of independent interest.
We show that the topological Hochschild homology THH(R of an E_n-ring spectrum R is an E_{n-1}-ring spectrum. The proof is based on the fact that the tensor product of the operad Ass for monoid structures and the the little n-cubes operad is an E_{n+1}-operad, a result which is of independent interest.
△ Less
Submitted 19 June, 2007; v1 submitted 16 October, 2004;
originally announced October 2004.
-
Subdivisions of toric complexes
Authors:
Morten Brun,
Tim Roemer
Abstract:
We introduce toric complexes as polyhedral complexes consisting of rational cones together with a set of integral generators for each cone, and we define their associated face rings. Abstract simplicial complexes and rational fans can be considered as toric complexes, and the face ring for toric complexes extend Stanley and Reisner's face ring for abstract simplicial complexes and Stanley's face…
▽ More
We introduce toric complexes as polyhedral complexes consisting of rational cones together with a set of integral generators for each cone, and we define their associated face rings. Abstract simplicial complexes and rational fans can be considered as toric complexes, and the face ring for toric complexes extend Stanley and Reisner's face ring for abstract simplicial complexes and Stanley's face ring for rational fans. Given a toric complex with defining ideal I for the face ring we give a geometrical interpretation of the initial ideals of I with respect to weight orders in terms of subdivisions of the toric complex generalizing a theorem of Sturmfels. We apply our results to study edgewise subdivisions of abstract simplicial complexes.
△ Less
Submitted 27 September, 2004; v1 submitted 22 January, 2004;
originally announced January 2004.
-
Witt vectors and Tambara functors
Authors:
Morten Brun
Abstract:
We give, for every finite group G, a combinatorial description of the ring of G-Witt vectors on a polynomial algebra over the integers. Using this description we show that the functor, which takes a ring with trivial action of G to its ring of Witt vectors, coincides with the left adjoint of the algebraic functor from the category of G-Tambara functors to the category of rings with an action of…
▽ More
We give, for every finite group G, a combinatorial description of the ring of G-Witt vectors on a polynomial algebra over the integers. Using this description we show that the functor, which takes a ring with trivial action of G to its ring of Witt vectors, coincides with the left adjoint of the algebraic functor from the category of G-Tambara functors to the category of rings with an action of G.
△ Less
Submitted 14 May, 2003; v1 submitted 30 April, 2003;
originally announced April 2003.
-
Betti numbers of Z^n-graded modules
Authors:
Morten Brun,
Tim Roemer
Abstract:
Let S=K[X_1,...,X_n] be the polynomial ring over a field K. For bounded below Z^n-graded S-modules M and N we show that if Tor^S_p(M,N) is nonzero, then for every i between 0 and p, the dimension of the K-vector space Tor^S_i(M,N) is at least as big as the binomial coefficient (p,i). In particular, we get lower bounds for the total Betti numbers. These results are related to a conjecture of Buch…
▽ More
Let S=K[X_1,...,X_n] be the polynomial ring over a field K. For bounded below Z^n-graded S-modules M and N we show that if Tor^S_p(M,N) is nonzero, then for every i between 0 and p, the dimension of the K-vector space Tor^S_i(M,N) is at least as big as the binomial coefficient (p,i). In particular, we get lower bounds for the total Betti numbers. These results are related to a conjecture of Buchsbaum and Eisenbud.
△ Less
Submitted 27 September, 2004; v1 submitted 27 March, 2003;
originally announced March 2003.
-
Filtered Topological Cyclic Homology and relative K-theory of nilpotent ideals
Authors:
Morten Brun
Abstract:
In this paper we examine certain filtrations of topological Hochschild homology and topological cyclic homology. As an example we show how the filtration with respect to a nilpotent ideal gives rise to an analog of a theorem of Goodwillie saying that rationally relative K-theory and relative cyclic homology agree. Our variation says that the p-torsion parts agree in a range of degrees. We use it…
▽ More
In this paper we examine certain filtrations of topological Hochschild homology and topological cyclic homology. As an example we show how the filtration with respect to a nilpotent ideal gives rise to an analog of a theorem of Goodwillie saying that rationally relative K-theory and relative cyclic homology agree. Our variation says that the p-torsion parts agree in a range of degrees. We use it to compute K_i(Z/p^m) for i < p-2.
△ Less
Submitted 25 April, 2001;
originally announced April 2001.