-
Homology of Moment Frames
Authors:
Zoe Cooperband,
Allan McRobie,
Cameron Millar,
Bernd Schulze
Abstract:
Using homological techniques we show that a pin-anchored frame that involves only moments and shears provides a conceptual bridge between the statics of moment frames and the kinematics of pin-jointed trusses. One immediate result is a long exact sequence whose alternating sum of dimensions gives a novel counting rule for self-stresses and mechanisms. This combines the Maxwell-Calladine count for…
▽ More
Using homological techniques we show that a pin-anchored frame that involves only moments and shears provides a conceptual bridge between the statics of moment frames and the kinematics of pin-jointed trusses. One immediate result is a long exact sequence whose alternating sum of dimensions gives a novel counting rule for self-stresses and mechanisms. This combines the Maxwell-Calladine count for pin-jointed trusses with the circuit rank (first Betti number) associated with self-stresses in moment frames. These relations apply to frames in 2, 3 or any dimensions. This work heralds a shift towards a deeper study of the relationships and dualities that exist between structural equilibria and kinematics.
△ Less
Submitted 10 April, 2024;
originally announced April 2024.
-
Forced Symmetric Formation Control
Authors:
Daniel Zelazo,
Shin-ichi Tanigawa,
Bernd Schulze
Abstract:
This work considers the distance constrained formation control problem with an additional constraint requiring that the formation exhibits a specified spatial symmetry. We employ recent results from the theory of symmetry-forced rigidity to construct an appropriate potential function that leads to a gradient dynamical system driving the agents to the desired formation. We show that only…
▽ More
This work considers the distance constrained formation control problem with an additional constraint requiring that the formation exhibits a specified spatial symmetry. We employ recent results from the theory of symmetry-forced rigidity to construct an appropriate potential function that leads to a gradient dynamical system driving the agents to the desired formation. We show that only $(1+1/|Γ|)n$ edges are sufficient to implement the control strategy when there are $n$ agents and the underlying symmetry group is $Γ$. This number is considerably smaller than what is typically required from classic rigidity-theory based strategies ($2n-3$ edges). We also provide an augmented control strategy that ensures the agents can converge to a formation with respect to an arbitrary centroid. Numerous numerical examples are provided to illustrate the main results.
△ Less
Submitted 5 March, 2024;
originally announced March 2024.
-
Equivariant Cosheaves and Finite Group Representations in Graphic Statics
Authors:
Zoe Cooperband,
Miguel Lopez,
Bernd Schulze
Abstract:
This work extends the theory of reciprocal diagrams in graphic statics to frameworks that are invariant under finite group actions by utilizing the homology and representation theory of cellular cosheaves, recent tools from applied algebraic topology. By introducing the structure of an equivariant cellular cosheaf, we prove that pairs of self-stresses and reciprocal diagrams of symmetric framework…
▽ More
This work extends the theory of reciprocal diagrams in graphic statics to frameworks that are invariant under finite group actions by utilizing the homology and representation theory of cellular cosheaves, recent tools from applied algebraic topology. By introducing the structure of an equivariant cellular cosheaf, we prove that pairs of self-stresses and reciprocal diagrams of symmetric frameworks are classified by the irreducible representations of the underlying group. We further derive the symmetry-aligned Euler characteristics of a finite dimensional equivariant chain complex, which for the force cosheaf yields a new formulation of the symmetry-adapted Maxwell counting rule for detecting symmetric self-stresses and kinematic degrees of freedom in frameworks. A freely available program is used to implement the relevant cosheaf homologies and illustrate the theory with examples.
△ Less
Submitted 17 January, 2024;
originally announced January 2024.
-
Rigidity of symmetric linearly constrained frameworks in the plane
Authors:
Anthony Nixon,
Bernd Schulze,
Joseph Wall
Abstract:
A bar-joint framework $(G,p)$ is the combination of a finite simple graph $G=(V,E)$ and a placement $p:V\rightarrow \mathbb{R}^d$. The framework is rigid if the only edge-length preserving continuous motions of the vertices arise from isometries of the space. Motivated by applications where boundary conditions play a significant role, one may generalise and consider linearly constrained frameworks…
▽ More
A bar-joint framework $(G,p)$ is the combination of a finite simple graph $G=(V,E)$ and a placement $p:V\rightarrow \mathbb{R}^d$. The framework is rigid if the only edge-length preserving continuous motions of the vertices arise from isometries of the space. Motivated by applications where boundary conditions play a significant role, one may generalise and consider linearly constrained frameworks where some vertices are constrained to move on fixed affine subspaces. Streinu and Theran characterised exactly which linearly constrained frameworks are generically rigid in 2-dimensional space. In this article we extend their characterisation to symmetric frameworks. In particular necessary combinatorial conditions are given for a symmetric linearly constrained framework in the plane to be isostatic (i.e. minimally infinitesimally rigid) under any finite point group symmetry. In the case of rotation symmetry groups whose order is either 2 or odd, these conditions are then shown to be sufficient under suitable genericity assumptions, giving precise combinatorial descriptions of symmetric isostatic graphs in these contexts.
△ Less
Submitted 19 December, 2023;
originally announced December 2023.
-
A differential approach to Maxwell-Cremona liftings
Authors:
Oleg Karpenkov,
Fatemeh Mohammadi,
Christian Müller,
Bernd Schulze
Abstract:
In 1864, J. C. Maxwell introduced a link between self-stressed frameworks in the plane and piecewise linear liftings to 3-space. This connection has found numerous applications in areas such as discrete geometry, control theory and structural engineering. While there are some generalisations of this theory to liftings of $d$-complexes in $d$-space, extensions for liftings of frameworks in $d$-spac…
▽ More
In 1864, J. C. Maxwell introduced a link between self-stressed frameworks in the plane and piecewise linear liftings to 3-space. This connection has found numerous applications in areas such as discrete geometry, control theory and structural engineering. While there are some generalisations of this theory to liftings of $d$-complexes in $d$-space, extensions for liftings of frameworks in $d$-space for $d\geq 3$ have been missing. In this paper, we introduce and study differential liftings on general graphs using differential forms associated with the elements of the homotopy groups of the complements to the frameworks. Such liftings play the role of integrands for the classical notion of liftings for planar frameworks. We show that these differential liftings have a natural extension to self-stressed frameworks in higher dimensions. As a result we generalise the notion of classical liftings to both graphs and multidimensional $k$-complexes in $d$-space ($k=2,\ldots, d$). Finally we discuss a natural representation of generalised liftings as real-valued functions on Grassmannians.
△ Less
Submitted 15 December, 2023;
originally announced December 2023.
-
Mobility of geometric constraint systems with extrusion symmetry
Authors:
John Owen,
Bernd Schulze
Abstract:
If we take a (bar-joint) framework, prepare an identical copy of this framework, translate it by some vector $τ$, and finally join corresponding points of the two copies, then we obtain a framework with `extrusion' symmetry in the direction of $τ$. This process may be repeated $t$ times to obtain a framework whose underlying graph has $\mathbb{Z}_2^t$ as a subgroup of its automorphism group and wh…
▽ More
If we take a (bar-joint) framework, prepare an identical copy of this framework, translate it by some vector $τ$, and finally join corresponding points of the two copies, then we obtain a framework with `extrusion' symmetry in the direction of $τ$. This process may be repeated $t$ times to obtain a framework whose underlying graph has $\mathbb{Z}_2^t$ as a subgroup of its automorphism group and which has `$t$-fold extrusion' symmetry. We show that while $t$-fold extrusion symmetry is not a point-group symmetry, the rigidity matrix of a framework with $t$-fold extrusion symmetry can still be transformed into a block-decomposed form in the analogous way as for point-group symmetric frameworks. This allows us to use Fowler-Guest-type character counts to analyse the mobility of such frameworks. We show that this entire theory also extends to the more general point-hyperplane frameworks with $t$-fold extrusion symmetry. Moreover, we show that under suitable regularity conditions the infinitesimal flexes we detect with our symmetry-adapted counts extend to finite (continuous) motions. Finally, we establish an algorithm that checks for finite motions via linearly displacing framework points along velocity vectors of infinitesimal motions.
△ Less
Submitted 25 April, 2023;
originally announced April 2023.
-
Rigidity of symmetric frameworks on the cylinder
Authors:
Anthony Nixon,
Bernd Schulze,
Joseph Wall
Abstract:
A bar-joint framework $(G,p)$ is the combination of a finite simple graph $G=(V,E)$ and a placement $p:V\rightarrow \mathbb{R}^d$. The framework is rigid if the only edge-length preserving continuous deformations of the vertices arise from isometries of the space. This article combines two recent extensions of the generic theory of rigid and flexible graphs by considering symmetric frameworks in…
▽ More
A bar-joint framework $(G,p)$ is the combination of a finite simple graph $G=(V,E)$ and a placement $p:V\rightarrow \mathbb{R}^d$. The framework is rigid if the only edge-length preserving continuous deformations of the vertices arise from isometries of the space. This article combines two recent extensions of the generic theory of rigid and flexible graphs by considering symmetric frameworks in $\mathbb{R}^3$ restricted to move on a surface. In particular necessary combinatorial conditions are given for a symmetric framework on the cylinder to be isostatic (i.e. minimally infinitesimally rigid) under any finite point group symmetry. In every case when the symmetry group is cyclic, which we prove restricts the group to being inversion, half-turn or reflection symmetry, these conditions are then shown to be sufficient under suitable genericity assumptions, giving precise combinatorial descriptions of symmetric isostatic graphs in these contexts.
△ Less
Submitted 15 December, 2023; v1 submitted 12 October, 2022;
originally announced October 2022.
-
States of self-stress in symmetric frameworks and applications
Authors:
Bernd Schulze,
Cameron Millar,
Arek Mazurek,
William Baker
Abstract:
We use the symmetry-extended Maxwell rule established by Fowler and Guest to detect states of self-stress in symmetric planar frameworks. The dimension of the space of self-stresses that are detectable in this way may be expressed in terms of the number of joints and bars that are unshifted by various symmetry operations of the framework. Therefore, this method provides an efficient tool to constr…
▽ More
We use the symmetry-extended Maxwell rule established by Fowler and Guest to detect states of self-stress in symmetric planar frameworks. The dimension of the space of self-stresses that are detectable in this way may be expressed in terms of the number of joints and bars that are unshifted by various symmetry operations of the framework. Therefore, this method provides an efficient tool to construct symmetric frameworks with many `fully-symmetric' states of self-stress, or with `anti-symmetric' states of self-stress. Maximizing the number of independent self-stresses of a planar framework, as well as understanding their symmetry properties, has important practical applications, for example in the design and construction of gridshells. We show the usefulness of our method by applying it to some practical examples.
△ Less
Submitted 14 August, 2021;
originally announced August 2021.
-
Braced triangulations and rigidity
Authors:
James Cruickshank,
Eleftherios Kastis,
Derek Kitson,
Bernd Schulze
Abstract:
We consider the problem of finding an inductive construction, based on vertex splitting, of triangulated spheres with a fixed number of additional edges (braces). We show that for any positive integer $b$ there is such an inductive construction of triangulations with $b$ braces, having finitely many base graphs. In particular we establish a bound for the maximum size of a base graph with $b$ brace…
▽ More
We consider the problem of finding an inductive construction, based on vertex splitting, of triangulated spheres with a fixed number of additional edges (braces). We show that for any positive integer $b$ there is such an inductive construction of triangulations with $b$ braces, having finitely many base graphs. In particular we establish a bound for the maximum size of a base graph with $b$ braces that is linear in $b$. In the case that $b=1$ or $2$ we determine the list of base graphs explicitly. Using these results we show that doubly braced triangulations are (generically) minimally rigid in two distinct geometric contexts arising from a hypercylinder in $\mathbb{R}^4$ and a class of mixed norms on $\mathbb{R}^3$.
△ Less
Submitted 8 July, 2021;
originally announced July 2021.
-
Symmetric contact systems of segments, pseudotriangulations and inductive constructions for corresponding surface graphs
Authors:
James Cruickshank,
Bernd Schulze
Abstract:
We characterise the quotient surface graphs arising from symmetric contact systems of line segments in the plane and also from symmetric pointed pseudotriangulations in the case where the group of symmetries is generated by a translation or a rotation of finite order. These results generalise well known results of Thomassen, in the case of line segments, and of Streinu and Haas et al., in the case…
▽ More
We characterise the quotient surface graphs arising from symmetric contact systems of line segments in the plane and also from symmetric pointed pseudotriangulations in the case where the group of symmetries is generated by a translation or a rotation of finite order. These results generalise well known results of Thomassen, in the case of line segments, and of Streinu and Haas et al., in the case of pseudotriangulations. Our main tool is a new inductive characterisation of the appropriate classes of surface graphs. We also discuss some consequences of our results in the area of geometric rigidity theory.
△ Less
Submitted 21 March, 2022; v1 submitted 18 June, 2020;
originally announced June 2020.
-
Pairing symmetries for Euclidean and spherical frameworks
Authors:
Katie Clinch,
Anthony Nixon,
Bernd Schulze,
Walter Whiteley
Abstract:
In this paper we consider the effect of symmetry on the rigidity of bar-joint frameworks, spherical frameworks and point-hyperplane frameworks in $\mathbb{R}^d$. In particular we show that, under forced or incidental symmetry, infinitesimal rigidity for spherical frameworks with vertices in $X$ on the equator and point-hyperplane frameworks with the vertices in $X$ representing hyperplanes are equ…
▽ More
In this paper we consider the effect of symmetry on the rigidity of bar-joint frameworks, spherical frameworks and point-hyperplane frameworks in $\mathbb{R}^d$. In particular we show that, under forced or incidental symmetry, infinitesimal rigidity for spherical frameworks with vertices in $X$ on the equator and point-hyperplane frameworks with the vertices in $X$ representing hyperplanes are equivalent. We then show, again under forced or incidental symmetry, that infinitesimal rigidity properties under certain symmetry groups can be paired, or clustered, under inversion on the sphere so that infinitesimal rigidity with a given group is equivalent to infinitesimal rigidity under a paired group. The fundamental basic example is that mirror symmetric rigidity is equivalent to half-turn symmetric rigidity on the 2-sphere. With these results in hand we also deduce some combinatorial consequences for the rigidity of symmetric bar-joint and point-line frameworks.
△ Less
Submitted 6 June, 2019; v1 submitted 3 June, 2019;
originally announced June 2019.
-
Introducing Multiobjective Complex Systems
Authors:
Tobias Dietz,
Kathrin Klamroth,
Konstantin Kraus,
Stefan Ruzika,
Luca E. Schäfer,
Britta Schulze,
Michael Stiglmayr,
Margaret M. Wiecek
Abstract:
This article focuses on the optimization of a complex system which is composed of several subsystems. On the one hand, these subsystems are subject to multiple objectives, local constraints as well as local variables, and they are associated with an own, subsystem-dependent decision maker. On the other hand, these subsystems are interconnected to each other by global variables or linking constrain…
▽ More
This article focuses on the optimization of a complex system which is composed of several subsystems. On the one hand, these subsystems are subject to multiple objectives, local constraints as well as local variables, and they are associated with an own, subsystem-dependent decision maker. On the other hand, these subsystems are interconnected to each other by global variables or linking constraints. Due to these interdependencies, it is in general not possible to simply optimize each subsystem individually to improve the performance of the overall system. This article introduces a formal graph-based representation of such complex systems and generalizes the classical notions of feasibility and optimality to match this complex situation. Moreover, several algorithmic approaches are suggested and analyzed.
△ Less
Submitted 15 November, 2018;
originally announced November 2018.
-
Rigidity of symmetric frameworks in normed spaces
Authors:
Derek Kitson,
Anthony Nixon,
Bernd Schulze
Abstract:
We develop a combinatorial rigidity theory for symmetric bar-joint frameworks in a general finite dimensional normed space. In the case of rotational symmetry, matroidal Maxwell-type sparsity counts are identified for a large class of $d$-dimensional normed spaces (including all $\ell^p$ spaces with $p\not=2$). Complete combinatorial characterisations are obtained for half-turn rotation in the…
▽ More
We develop a combinatorial rigidity theory for symmetric bar-joint frameworks in a general finite dimensional normed space. In the case of rotational symmetry, matroidal Maxwell-type sparsity counts are identified for a large class of $d$-dimensional normed spaces (including all $\ell^p$ spaces with $p\not=2$). Complete combinatorial characterisations are obtained for half-turn rotation in the $\ell^1$ and $\ell^\infty$-plane. As a key tool, a new Henneberg-type inductive construction is developed for the matroidal class of $(2,2,0)$-gain-tight graphs.
△ Less
Submitted 16 April, 2020; v1 submitted 13 August, 2018;
originally announced August 2018.
-
Frameworks with coordinated edge motions
Authors:
Bernd Schulze,
Hattie Serocold,
Louis Theran
Abstract:
We develop a rigidity theory for bar-joint frameworks in Euclidean $d$-space in which specified classes of edges are allowed to change length in a coordinated fashion that requires differences of lengths to be preserved within each class. Rigidity for these coordinated frameworks is a generic property, and we characterize the rigid graphs in terms of redundant rigidity in the standard $d$-dimensio…
▽ More
We develop a rigidity theory for bar-joint frameworks in Euclidean $d$-space in which specified classes of edges are allowed to change length in a coordinated fashion that requires differences of lengths to be preserved within each class. Rigidity for these coordinated frameworks is a generic property, and we characterize the rigid graphs in terms of redundant rigidity in the standard $d$-dimensional rigidity matroid. We also interpret our main results in terms of matroid unions.
△ Less
Submitted 11 June, 2022; v1 submitted 14 July, 2018;
originally announced July 2018.
-
Towards In-transit Analysis on Supercomputing Environments
Authors:
Allan Santos,
Hermano Lustosa,
Fabio Porto,
Bruno Schulze
Abstract:
The drive towards exascale computing is opening an enormous opportunity for more realistic and precise simulations of natural phenomena. The process of simulation, however, involves not only the numerical computation of predictions but also the analysis of results both to evaluate the simulation quality and interpret the simulated phenomenon. In this context, one may consider the duality between t…
▽ More
The drive towards exascale computing is opening an enormous opportunity for more realistic and precise simulations of natural phenomena. The process of simulation, however, involves not only the numerical computation of predictions but also the analysis of results both to evaluate the simulation quality and interpret the simulated phenomenon. In this context, one may consider the duality between transaction and analytical processing to be repositioned in this new context. The co-habitation of simulation computation and analysis has been named after in situ analysis, whereas the separation in different systems considered as in-transit analysis. In this paper we focus in the latter model and study the impact of transferring varying block size data from the simulation system to the analytical one. We use the Remote Direct Memory Access protocol (RDMA) that reduces the interference on performance caused by data copies and context switching. It adopts an in-memory data transfer strategy combined with TCP, using the BSD sockets API and the Linux splice(2) syscall. We present a performance evaluation with our work and traditional utilities.
△ Less
Submitted 18 May, 2018; v1 submitted 16 May, 2018;
originally announced May 2018.
-
Sufficient connectivity conditions for rigidity of symmetric frameworks
Authors:
Viktoria E. Kaszanitzky,
Bernd Schulze
Abstract:
It is a famous result of Lovasz and Yemini (1982) that 6-connected graphs are rigid in the plane. This was recently improved by Jackson and Jordan (2009) who showed that 6-mixed connectivity is also sufficient for rigidity. Here we give sufficient graph connectivity conditions for both `forced symmetric' and `incidentally symmetric' infinitesimal rigidity in the plane.
It is a famous result of Lovasz and Yemini (1982) that 6-connected graphs are rigid in the plane. This was recently improved by Jackson and Jordan (2009) who showed that 6-mixed connectivity is also sufficient for rigidity. Here we give sufficient graph connectivity conditions for both `forced symmetric' and `incidentally symmetric' infinitesimal rigidity in the plane.
△ Less
Submitted 27 April, 2018;
originally announced April 2018.
-
Sufficient conditions for the global rigidity of periodic graphs
Authors:
Viktoria E. Kaszanitzky,
Csaba Kiraly,
Bernd Schulze
Abstract:
Tanigawa (2016) showed that vertex-redundant rigidity of a graph implies its global rigidity in arbitrary dimension. We extend this result to periodic graphs under fixed lattice representations. A periodic graph is vertex-redundantly rigid if the deletion of a single vertex orbit under the periodicity results in a periodically rigid graph. Our proof is similar to the one of Tanigawa, but there are…
▽ More
Tanigawa (2016) showed that vertex-redundant rigidity of a graph implies its global rigidity in arbitrary dimension. We extend this result to periodic graphs under fixed lattice representations. A periodic graph is vertex-redundantly rigid if the deletion of a single vertex orbit under the periodicity results in a periodically rigid graph. Our proof is similar to the one of Tanigawa, but there are some added difficulties. First, it is not known whether periodic global rigidity is a generic property. This issue is resolved via a slight modification of a recent result of Kaszanitzy, Schulze and Tanigawa (2016). Secondly, while the rigidity of finite graphs in $\mathbb{R}^d$ on at most $d$ vertices obviously implies their global rigidity, it is non-trivial to prove a similar result for periodic graphs. This is accomplished by extending a result of Bezdek and Connelly (2002) on the existence of a continuous movement between two equivalent $d$-dimensional realisations of a single graph in $\mathbb{R}^{2d}$ to periodic frameworks.
As an application of our result, we give a necessary and sufficient condition for the global rigidity of generic periodic body-bar frameworks in arbitrary dimension. This provides a periodic counterpart to a result of Connelly, Jordan and Whiteley (2013) regarding the global rigidity of generic finite body-bar frameworks.
△ Less
Submitted 21 April, 2018;
originally announced April 2018.
-
Explicit Green operators for quantum mechanical Hamiltonians.~II.~ Edge type singularities of the helium atom
Authors:
Heinz-Juergen Flad,
Gohar Flad-Harutyunyan,
Bert-Wolfgang Schulze
Abstract:
We extend our approach of asymptotic parametrix construction for Hamiltonian operators from conical to edge-type singularities which is applicable to coalescence points of two particles of the helium atom and related two electron systems including the hydrogen molecule. Up to second order we have calculated the symbols of an asymptotic parametrix of the nonrelativisic Hamiltonian of the helium ato…
▽ More
We extend our approach of asymptotic parametrix construction for Hamiltonian operators from conical to edge-type singularities which is applicable to coalescence points of two particles of the helium atom and related two electron systems including the hydrogen molecule. Up to second order we have calculated the symbols of an asymptotic parametrix of the nonrelativisic Hamiltonian of the helium atom within the Born-Oppenheimer approximation and provide explicit formulas for the corresponding Green operators which encode the asymptotic behaviour of the eigenfunctons near an edge.
△ Less
Submitted 23 January, 2018;
originally announced January 2018.
-
Motions of grid-like reflection frameworks
Authors:
Derek Kitson,
Bernd Schulze
Abstract:
Combinatorial characterisations are obtained of symmetric and anti-symmetric infinitesimal rigidity for two-dimensional frameworks with reflectional symmetry in the case of norms where the unit ball is a quadrilateral and where the reflection acts freely on the vertex set. At the framework level, these characterisations are given in terms of induced monochrome subgraph decompositions, and at the g…
▽ More
Combinatorial characterisations are obtained of symmetric and anti-symmetric infinitesimal rigidity for two-dimensional frameworks with reflectional symmetry in the case of norms where the unit ball is a quadrilateral and where the reflection acts freely on the vertex set. At the framework level, these characterisations are given in terms of induced monochrome subgraph decompositions, and at the graph level they are given in terms of sparsity counts and recursive construction sequences for the corresponding signed quotient graphs.
△ Less
Submitted 26 September, 2017;
originally announced September 2017.
-
Point-hyperplane frameworks, slider joints, and rigidity preserving transformations
Authors:
Yaser Eftekhari,
Bill Jackson,
Anthony Nixon,
Bernd Schulze,
Shin-ichi Tanigawa,
Walter Whiteley
Abstract:
A one-to-one correspondence between the infinitesimal motions of bar-joint frameworks in $\mathbb{R}^d$ and those in $\mathbb{S}^d$ is a classical observation by Pogorelov, and further connections among different rigidity models in various different spaces have been extensively studied. In this paper, we shall extend this line of research to include the infinitesimal rigidity of frameworks consist…
▽ More
A one-to-one correspondence between the infinitesimal motions of bar-joint frameworks in $\mathbb{R}^d$ and those in $\mathbb{S}^d$ is a classical observation by Pogorelov, and further connections among different rigidity models in various different spaces have been extensively studied. In this paper, we shall extend this line of research to include the infinitesimal rigidity of frameworks consisting of points and hyperplanes. This enables us to understand correspondences between point-hyperplane rigidity, classical bar-joint rigidity, and scene analysis.
Among other results, we derive a combinatorial characterization of graphs that can be realized as infinitesimally rigid frameworks in the plane with a given set of points collinear. This extends a result by Jackson and Jordán, which deals with the case when three points are collinear.
△ Less
Submitted 20 March, 2017;
originally announced March 2017.
-
Global Rigidity of Periodic Graphs under Fixed-lattice Representations
Authors:
Viktoria E. Kaszanitzky,
Bernd Schulze,
Shin-ichi Tanigawa
Abstract:
In 1992, Hendrickson proved that (d+1)-connectivity and redundant rigidity are necessary conditions for a generic (non-complete) bar-joint framework to be globally rigid in $\mathbb{R}^d$. Jackson and Jordan confirmed in 2005 that these conditions are also sufficient in $\mathbb{R}^2$, giving a combinatorial characterization of graphs whose generic realizations in $\mathbb{R}^2$ are globally rigid…
▽ More
In 1992, Hendrickson proved that (d+1)-connectivity and redundant rigidity are necessary conditions for a generic (non-complete) bar-joint framework to be globally rigid in $\mathbb{R}^d$. Jackson and Jordan confirmed in 2005 that these conditions are also sufficient in $\mathbb{R}^2$, giving a combinatorial characterization of graphs whose generic realizations in $\mathbb{R}^2$ are globally rigid. In this paper, we establish analogues of these results for infinite periodic frameworks under fixed lattice representations. Our combinatorial characterization of globally rigid generic periodic frameworks in $\mathbb{R}^2$ in particular implies toroidal and cylindrical counterparts of the theorem by Jackson and Jordan.
△ Less
Submitted 14 September, 2019; v1 submitted 5 December, 2016;
originally announced December 2016.
-
A Gain Function for Architectural Decision-Making in Scientific Computing
Authors:
Mariza Ferro,
Antonio R. Mury,
Bruno Schulze
Abstract:
Scientific Computing typically requires large computational needs which have been addressed with High Performance Distributed Computing. It is essential to efficiently deploy a number of complex scientific applications, which have different characteristics, and so require distinct computational resources too. However, in many research laboratories, this high performance architecture is not dedicat…
▽ More
Scientific Computing typically requires large computational needs which have been addressed with High Performance Distributed Computing. It is essential to efficiently deploy a number of complex scientific applications, which have different characteristics, and so require distinct computational resources too. However, in many research laboratories, this high performance architecture is not dedicated. So, the architecture must be shared to execute a set of scientific applications, with so many different execution times and relative importance to research. Also, the high performance architectures have different characteristics and costs. When a new infrastructure has to be acquired to meet the needs of this scenario, the decision-making is hard and complex. In this work, we present a Gain Function as a model of an utility function, with which it is possible a decision-making with confidence. With the function is possible to evaluate the best architectural option taking into account aspects of applications and architectures, including the executions time, cost of architecture, the relative importance of each application and also the relative importance of performance and cost on the final evaluation. This paper presents the Gain Function, examples, and a real case showing their applicabilities.
△ Less
Submitted 1 February, 2016;
originally announced February 2016.
-
String-node nets and meshes
Authors:
S. C. Power,
B. Schulze
Abstract:
New classes of distance-constrained structures are introduced, namely string-node nets and meshes, a mesh being a string-node net for which the nodes are dense in the strings. Various construction schemes are given including the minimal extension of a (countable) line segment net by an arbitrary countable scaling group. A linear mesh has strings that are straight lines and nodes given by the inter…
▽ More
New classes of distance-constrained structures are introduced, namely string-node nets and meshes, a mesh being a string-node net for which the nodes are dense in the strings. Various construction schemes are given including the minimal extension of a (countable) line segment net by an arbitrary countable scaling group. A linear mesh has strings that are straight lines and nodes given by the intersection points of these lines. Classes of linear meshes, such as the regular linear meshes in R^2 and R^3, are defined and classified. Contrasting flexing and rigidity properties are obtained for some fundamental meshes in the plane with respect to noncrossing motions in the space of smooth meshes.
△ Less
Submitted 9 September, 2016; v1 submitted 18 January, 2016;
originally announced January 2016.
-
Elliptic complexes on manifolds with boundary
Authors:
B. -W. Schulze,
J. Seiler
Abstract:
We show that elliptic complexes of (pseudo)differential operators on smooth compact manifolds with boundary can always be complemented to a Fredholm problem by boundary conditions involving global pseudodifferential projections on the boundary (similarly as the spectral boundary conditions of Atiyah, Patodi and Singer for a single operator). We prove that boundary conditions without projections ca…
▽ More
We show that elliptic complexes of (pseudo)differential operators on smooth compact manifolds with boundary can always be complemented to a Fredholm problem by boundary conditions involving global pseudodifferential projections on the boundary (similarly as the spectral boundary conditions of Atiyah, Patodi and Singer for a single operator). We prove that boundary conditions without projections can be chosen if, and only if, the topological Atiyah-Bott obstruction vanishes. These results make use of a Fredholm theory for complexes of operators in algebras of generalized pseudodifferential operators of Toeplitz type which we also develop in the present paper.
△ Less
Submitted 27 April, 2020; v1 submitted 8 October, 2015;
originally announced October 2015.
-
The Affinity Effects of Parallelized Libraries in Concurrent Environments
Authors:
Fabio Licht,
Bruno Schulze,
Luis E. Bona,
Antonio R. Mury
Abstract:
The use of cloud computing grows as it appears to be an additional resource for High-Performance Parallel and Distributed Computing (HPDC), especially with respect to its use in support of scientific applications. Many studies have been devoted to determining the effect of the virtualization layer on the performance, but most of the studies conducted so far lack insight into the joint effects betw…
▽ More
The use of cloud computing grows as it appears to be an additional resource for High-Performance Parallel and Distributed Computing (HPDC), especially with respect to its use in support of scientific applications. Many studies have been devoted to determining the effect of the virtualization layer on the performance, but most of the studies conducted so far lack insight into the joint effects between application type, virtualization layer and parallelized libraries in applications. This work introduces the concept of affinity with regard to the combined effects of the virtualization layer, class of application and parallelized libraries used in these applications. Affinity is here defined as the degree of influence that one application has on other applications when running concurrently in virtual environments hosted on the same real server. The results presented here show how parallel libraries used in application implementation have a significant influence and how the combinations between these types of libraries and classes of applications could significantly influence the performance of the environment. In this context, the concept of affinity is then used to evaluate these impacts to contribute to better stability and performance in the computational environment.
△ Less
Submitted 28 January, 2015;
originally announced January 2015.
-
Rigidity of frameworks on expanding spheres
Authors:
Anthony Nixon,
Bernd Schulze,
Shin-ichi Tanigawa,
Walter Whiteley
Abstract:
A rigidity theory is developed for bar-joint frameworks in $\mathbb{R}^{d+1}$ whose vertices are constrained to lie on concentric $d$-spheres with independently variable radii. In particular, combinatorial characterisations are established for the rigidity of generic frameworks for $d=1$ with an arbitrary number of independently variable radii, and for $d=2$ with at most two variable radii. This i…
▽ More
A rigidity theory is developed for bar-joint frameworks in $\mathbb{R}^{d+1}$ whose vertices are constrained to lie on concentric $d$-spheres with independently variable radii. In particular, combinatorial characterisations are established for the rigidity of generic frameworks for $d=1$ with an arbitrary number of independently variable radii, and for $d=2$ with at most two variable radii. This includes a characterisation of the rigidity or flexibility of uniformly expanding spherical frameworks in $\mathbb{R}^{3}$. Due to the equivalence of the generic rigidity between Euclidean space and spherical space, these results interpolate between rigidity in 1D and 2D and to some extent between rigidity in 2D and 3D. Symmetry-adapted counts for the detection of symmetry-induced continuous flexibility in frameworks on spheres with variable radii are also provided.
△ Less
Submitted 11 February, 2017; v1 submitted 7 January, 2015;
originally announced January 2015.
-
Symmetric isostatic frameworks with $\ell^1$ or $\ell^\infty$ distance constraints
Authors:
Derek Kitson,
Bernd Schulze
Abstract:
Combinatorial characterisations of minimal rigidity are obtained for symmetric 2-dimensional bar-joint frameworks with either $\ell^1$ or $\ell^\infty$ distance constraints. The characterisations are expressed in terms of symmetric tree packings and the number of edges fixed by the symmetry operations. The proof uses new Henneberg-type inductive construction schemes.
Combinatorial characterisations of minimal rigidity are obtained for symmetric 2-dimensional bar-joint frameworks with either $\ell^1$ or $\ell^\infty$ distance constraints. The characterisations are expressed in terms of symmetric tree packings and the number of edges fixed by the symmetry operations. The proof uses new Henneberg-type inductive construction schemes.
△ Less
Submitted 31 March, 2016; v1 submitted 20 August, 2014;
originally announced August 2014.
-
Maxwell-Laman counts for bar-joint frameworks in normed spaces
Authors:
Derek Kitson,
Bernd Schulze
Abstract:
The rigidity matrix is a fundamental tool for studying the infinitesimal rigidity properties of Euclidean bar-joint frameworks. In this paper we generalize this tool and introduce a rigidity matrix for bar-joint frameworks in arbitrary finite dimensional real normed vector spaces. Using this new matrix, we derive necessary Maxwell-Laman-type counting conditions for a well-positioned bar-joint fram…
▽ More
The rigidity matrix is a fundamental tool for studying the infinitesimal rigidity properties of Euclidean bar-joint frameworks. In this paper we generalize this tool and introduce a rigidity matrix for bar-joint frameworks in arbitrary finite dimensional real normed vector spaces. Using this new matrix, we derive necessary Maxwell-Laman-type counting conditions for a well-positioned bar-joint framework in a real normed vector space to be infinitesimally rigid. Moreover, we derive symmetry-extended counting conditions for a bar-joint framework with a non-trivial symmetry group to be isostatic (i.e., minimally infinitesimally rigid). These conditions imply very simply stated restrictions on the number of those structural components that are fixed by the various symmetry operations of the framework. Finally, we offer some observations and conjectures regarding combinatorial characterisations of 2-dimensional symmetric, isostatic bar-joint frameworks where the unit ball is a quadrilateral.
△ Less
Submitted 4 June, 2014;
originally announced June 2014.
-
Symmetry adapted Assur decompositions
Authors:
Anthony Nixon,
Bernd Schulze,
Adnan Sljoka,
Walter Whiteley
Abstract:
Assur graphs are a tool originally developed by mechanical engineers to decompose mechanisms for simpler analysis and synthesis. Recent work has connected these graphs to strongly directed graphs, and decompositions of the pinned rigidity matrix. Many mechanisms have initial configurations which are symmetric, and other recent work has exploited the orbit matrix as a symmetry adapted form of the r…
▽ More
Assur graphs are a tool originally developed by mechanical engineers to decompose mechanisms for simpler analysis and synthesis. Recent work has connected these graphs to strongly directed graphs, and decompositions of the pinned rigidity matrix. Many mechanisms have initial configurations which are symmetric, and other recent work has exploited the orbit matrix as a symmetry adapted form of the rigidity matrix. This paper explores how the decomposition and analysis of symmetric frameworks and their symmetric motions can be supported by the new symmetry adapted tools.
△ Less
Submitted 5 April, 2014;
originally announced April 2014.
-
Linking Rigid Bodies Symmetrically
Authors:
Bernd Schulze,
Shin-ichi Tanigawa
Abstract:
The mathematical theory of rigidity of body-bar and body-hinge frameworks provides a useful tool for analyzing the rigidity and flexibility of many articulated structures appearing in engineering, robotics and biochemistry. In this paper we develop a symmetric extension of this theory which permits a rigidity analysis of body-bar and body-hinge structures with point group symmetries. The infinites…
▽ More
The mathematical theory of rigidity of body-bar and body-hinge frameworks provides a useful tool for analyzing the rigidity and flexibility of many articulated structures appearing in engineering, robotics and biochemistry. In this paper we develop a symmetric extension of this theory which permits a rigidity analysis of body-bar and body-hinge structures with point group symmetries. The infinitesimal rigidity of body-bar frameworks can naturally be formulated in the language of the exterior (or Grassmann) algebra. Using this algebraic formulation, we derive symmetry-adapted rigidity matrices to analyze the infinitesimal rigidity of body-bar frameworks with Abelian point group symmetries in an arbitrary dimension. In particular, from the patterns of these new matrices, we derive combinatorial characterizations of infinitesimally rigid body-bar frameworks which are generic with respect to a point group of the form $\mathbb{Z}/2\mathbb{Z}\times \dots \times \mathbb{Z}/2\mathbb{Z}$. Our characterizations are given in terms of packings of bases of signed-graphic matroids on quotient graphs. Finally, we also extend our methods and results to body-hinge frameworks with Abelian point group symmetries in an arbitrary dimension. As special cases of these results, we obtain combinatorial characterizations of infinitesimally rigid body-hinge frameworks with $\mathcal{C}_2$ or $\mathcal{D}_2$ symmetry - the most common symmetry groups found in proteins.
△ Less
Submitted 31 January, 2014;
originally announced February 2014.
-
Symmetry-forced rigidity of frameworks on surfaces
Authors:
Anthony Nixon,
Bernd Schulze
Abstract:
A fundamental theorem of Laman characterises when a bar-joint framework realised generically in the Euclidean plane admits a non-trivial continuous deformation of its vertices. This has recently been extended in two ways. Firstly to frameworks that are symmetric with respect to some point group but are otherwise generic, and secondly to frameworks in Euclidean 3-space that are constrained to lie o…
▽ More
A fundamental theorem of Laman characterises when a bar-joint framework realised generically in the Euclidean plane admits a non-trivial continuous deformation of its vertices. This has recently been extended in two ways. Firstly to frameworks that are symmetric with respect to some point group but are otherwise generic, and secondly to frameworks in Euclidean 3-space that are constrained to lie on 2-dimensional algebraic varieties.
We combine these two settings and consider the rigidity of symmetric frameworks realised on such surfaces. By extending the orbit matrix techniques of [32, 12], we prove necessary conditions for a framework to be symmetry-forced rigid (i.e., to have no non-trivial symmetry-preserving motion) for any group and any surface. In the cases when the surface is a sphere, a cylinder or a cone we use Henneberg-type inductive constructions on group-labeled quotient graphs to prove that these conditions are also sufficient for a number of symmetry groups, including rotation, reflection, inversion and dihedral symmetry. For the remaining groups - as well as for other types of surfaces - we provide some observations and conjectures.
△ Less
Submitted 30 July, 2015; v1 submitted 5 December, 2013;
originally announced December 2013.
-
Infinitesimal Rigidity of Symmetric Frameworks
Authors:
Bernd Schulze,
Shin-ichi Tanigawa
Abstract:
We propose new symmetry-adapted rigidity matrices to analyze the infinitesimal rigidity of arbitrary-dimensional bar-joint frameworks with Abelian point group symmetries. These matrices define new symmetry-adapted rigidity matroids on group-labeled quotient graphs. Using these new tools, we establish combinatorial characterizations of infinitesimally rigid two-dimensional bar-joint frameworks whos…
▽ More
We propose new symmetry-adapted rigidity matrices to analyze the infinitesimal rigidity of arbitrary-dimensional bar-joint frameworks with Abelian point group symmetries. These matrices define new symmetry-adapted rigidity matroids on group-labeled quotient graphs. Using these new tools, we establish combinatorial characterizations of infinitesimally rigid two-dimensional bar-joint frameworks whose joints are positioned as generic as possible subject to the symmetry constraints imposed by a reflection, a half-turn or a three-fold rotation in the plane. For bar-joint frameworks which are generic with respect to any other cyclic point group in the plane, we provide a number of necessary conditions for infinitesimal rigidity.
△ Less
Submitted 3 February, 2014; v1 submitted 29 August, 2013;
originally announced August 2013.
-
The singular functions of branching edge asymptotics
Authors:
B. -W. Schulze,
L. Tepoyan
Abstract:
We investigate the structure of branching asymptotics appearing in solutions to elliptic edge problems. The exponents in powers of the half-axis variable, logarithmic terms, and coefficients depend on the variables on the edge and may be branching.
We investigate the structure of branching asymptotics appearing in solutions to elliptic edge problems. The exponents in powers of the half-axis variable, logarithmic terms, and coefficients depend on the variables on the edge and may be branching.
△ Less
Submitted 6 February, 2012; v1 submitted 2 February, 2012;
originally announced February 2012.
-
The Mellin-Edge Quantisation for Corner Operators
Authors:
Bert-Wolfgang Schulze,
Yawei Wei
Abstract:
We establish a quantisation of corner-degenerate symbols, here called Mellin-edge quantisation, on a manifold $M$ with second order singularities. The typical ingredients come from the "most singular" stratum of $M$ which is a second order edge where the infinite transversal cone has a base $B$ that is itself a manifold with smooth edge. The resulting operator-valued amplitude functions on the sec…
▽ More
We establish a quantisation of corner-degenerate symbols, here called Mellin-edge quantisation, on a manifold $M$ with second order singularities. The typical ingredients come from the "most singular" stratum of $M$ which is a second order edge where the infinite transversal cone has a base $B$ that is itself a manifold with smooth edge. The resulting operator-valued amplitude functions on the second order edge are formulated purely in terms of Mellin symbols taking values in the edge algebra over $B.$ In this respect our result is formally analogous to a quantisation rule of a joint paper with J. Gil and J. Seiler for the simpler case of edge-degenerate symbols that corresponds to the singularity order 1. However, from the singularity order 2 on there appear new substantial difficulties for the first time, partly caused by the edge singularities of the cone over $B$ that tend to infinity.
△ Less
Submitted 31 January, 2012;
originally announced January 2012.
-
Coning, symmetry and spherical frameworks
Authors:
Bernd Schulze,
Walter Whiteley
Abstract:
In this paper, we combine separate works on (a) the transfer of infinitesimal rigidity results from an Euclidean space to the next higher dimension by coning, (b) the further transfer of these results to spherical space via associated rigidity matrices, and (c) the prediction of finite motions from symmetric infinitesimal motions at regular points of the symmetry-derived orbit rigidity matrix. Eac…
▽ More
In this paper, we combine separate works on (a) the transfer of infinitesimal rigidity results from an Euclidean space to the next higher dimension by coning, (b) the further transfer of these results to spherical space via associated rigidity matrices, and (c) the prediction of finite motions from symmetric infinitesimal motions at regular points of the symmetry-derived orbit rigidity matrix. Each of these techniques is reworked and simplified to apply across several metrics, including the Minkowskian metric $\M^{d}$ and the hyperbolic metric $\H^{d}$. This leads to a set of new results transferring infinitesimal and finite motions associated with corresponding symmetric frameworks among $\E^{d}$, cones in $E^{d+1}$, $\SS^{d}$, $\M^{d}$, and $\H^{d}$. We also consider the further extensions associated with the other Cayley-Klein geometries overlaid on the shared underlying projective geometry.
△ Less
Submitted 10 August, 2011;
originally announced August 2011.
-
Finite motions from periodic frameworks with added symmetry
Authors:
Elissa Ross,
Bernd Schulze,
Walter Whiteley
Abstract:
Recent work from authors across disciplines has made substantial contributions to counting rules (Maxwell type theorems) which predict when an infinite periodic structure would be rigid or flexible while preserving the periodic pattern, as an engineering type framework, or equivalently, as an idealized molecular framework. Other work has shown that for finite frameworks, introducing symmetry modif…
▽ More
Recent work from authors across disciplines has made substantial contributions to counting rules (Maxwell type theorems) which predict when an infinite periodic structure would be rigid or flexible while preserving the periodic pattern, as an engineering type framework, or equivalently, as an idealized molecular framework. Other work has shown that for finite frameworks, introducing symmetry modifies the previous general counts, and under some circumstances this symmetrized Maxwell type count can predict added finite flexibility in the structure.
In this paper we combine these approaches to present new Maxwell type counts for the columns and rows of a modified orbit matrix for structures that have both a periodic structure and additional symmetry within the periodic cells. In a number of cases, this count for the combined group of symmetry operations demonstrates there is added finite flexibility in what would have been rigid when realized without the symmetry. Given that many crystal structures have these added symmetries, and that their flexibility may be key to their physical and chemical properties, we present a summary of the results as a way to generate further developments of both a practical and theoretic interest.
△ Less
Submitted 4 March, 2011; v1 submitted 26 October, 2010;
originally announced October 2010.
-
Asymptotic Parametrices of Elliptic Edge Operators
Authors:
H. -J. Flad,
G. Harutyunyan,
B. -W. Schulze
Abstract:
We study operators on a singular manifold, here of conical or edge type, and develop a new general approach of representing asymptotics of solutions to elliptic equations close to the singularities. The idea is to construct so-called asymptotic parametrices with flat left -over terms. Our structures are motivated by models of particle physics with singular potentials that contribute embedded singu…
▽ More
We study operators on a singular manifold, here of conical or edge type, and develop a new general approach of representing asymptotics of solutions to elliptic equations close to the singularities. The idea is to construct so-called asymptotic parametrices with flat left -over terms. Our structures are motivated by models of particle physics with singular potentials that contribute embedded singularities in $\R^N$ of higher order, according to the number of particles.
△ Less
Submitted 1 March, 2011; v1 submitted 7 October, 2010;
originally announced October 2010.
-
The orbit rigidity matrix of a symmetric framework
Authors:
Bernd Schulze,
Walter Whiteley
Abstract:
A number of recent papers have studied when symmetry causes frameworks on a graph to become infinitesimally flexible, or stressed, and when it has no impact. A number of other recent papers have studied special classes of frameworks on generically rigid graphs which are finite mechanisms. Here we introduce a new tool, the orbit matrix, which connects these two areas and provides a matrix represent…
▽ More
A number of recent papers have studied when symmetry causes frameworks on a graph to become infinitesimally flexible, or stressed, and when it has no impact. A number of other recent papers have studied special classes of frameworks on generically rigid graphs which are finite mechanisms. Here we introduce a new tool, the orbit matrix, which connects these two areas and provides a matrix representation for fully symmetric infinitesimal flexes, and fully symmetric stresses of symmetric frameworks. The orbit matrix is a true analog of the standard rigidity matrix for general frameworks, and its analysis gives important insights into questions about the flexibility and rigidity of classes of symmetric frameworks, in all dimensions.
With this narrower focus on fully symmetric infinitesimal motions, comes the power to predict symmetry-preserving finite mechanisms - giving a simplified analysis which covers a wide range of the known mechanisms, and generalizes the classes of known mechanisms. This initial exploration of the properties of the orbit matrix also opens up a number of new questions and possible extensions of the previous results, including transfer of symmetry based results from Euclidean space to spherical, hyperbolic, and some other metrics with shared symmetry groups and underlying projective geometry.
△ Less
Submitted 4 June, 2010;
originally announced June 2010.
-
Branching Asymptotics on Manifolds with Edge
Authors:
B. -Wolfgang Schulze,
Andrea Volpato
Abstract:
We study pseudo-differential operators on a wedge with continuous and variable discrete branching asymptotics.
We study pseudo-differential operators on a wedge with continuous and variable discrete branching asymptotics.
△ Less
Submitted 2 April, 2010;
originally announced April 2010.
-
Explicit Green operators for quantum mechanical Hamiltonians. I. The hydrogen atom
Authors:
Heinz-Jürgen Flad,
Gohar Harutyunyan,
Reinhold Schneider,
Bert-Wolfgang Schulze
Abstract:
We study a new approach to determine the asymptotic behaviour of quantum many-particle systems near coalescence points of particles which interact via singular Coulomb potentials. This problem is of fundamental interest in electronic structure theory in order to establish accurate and efficient models for numerical simulations. Within our approach, coalescence points of particles are treated as em…
▽ More
We study a new approach to determine the asymptotic behaviour of quantum many-particle systems near coalescence points of particles which interact via singular Coulomb potentials. This problem is of fundamental interest in electronic structure theory in order to establish accurate and efficient models for numerical simulations. Within our approach, coalescence points of particles are treated as embedded geometric singularities in the configuration space of electrons. Based on a general singular pseudo-differential calculus, we provide a recursive scheme for the calculation of the parametrix and corresponding Green operator of a nonrelativistic Hamiltonian. In our singular calculus, the Green operator encodes all the asymptotic information of the eigenfunctions. Explicit calculations and an asymptotic representation for the Green operator of the hydrogen atom and isoelectronic ions are presented.
△ Less
Submitted 16 March, 2010;
originally announced March 2010.
-
Cone and edge calculus with discrete asymptotics
Authors:
B. -W. Schulze,
A. Volpato
Abstract:
This investigation is devoted to the program to characterise continuous and variable discrete asymptotics of solutions to elliptic equations on a manifold with edge, continued in a cicle of forthcoming expositions [15], [16]. The structure of continuous and variable discrete (in general branch- ing) asymptotics is very complex. Therefore, in order to make things more transparent we present here…
▽ More
This investigation is devoted to the program to characterise continuous and variable discrete asymptotics of solutions to elliptic equations on a manifold with edge, continued in a cicle of forthcoming expositions [15], [16]. The structure of continuous and variable discrete (in general branch- ing) asymptotics is very complex. Therefore, in order to make things more transparent we present here the approach first in the special constant di- screte case, based on meromorphic Mellin symbols.
△ Less
Submitted 19 November, 2009;
originally announced November 2009.
-
Symmetry as a sufficient condition for a finite flex
Authors:
Bernd Schulze
Abstract:
We show that if the joints of a bar and joint framework $(G,p)$ are positioned as `generically' as possible subject to given symmetry constraints and $(G,p)$ possesses a `fully-symmetric' infinitesimal flex (i.e., the velocity vectors of the infinitesimal flex remain unaltered under all symmetry operations of $(G,p)$), then $(G,p)$ also possesses a finite flex which preserves the symmetry of…
▽ More
We show that if the joints of a bar and joint framework $(G,p)$ are positioned as `generically' as possible subject to given symmetry constraints and $(G,p)$ possesses a `fully-symmetric' infinitesimal flex (i.e., the velocity vectors of the infinitesimal flex remain unaltered under all symmetry operations of $(G,p)$), then $(G,p)$ also possesses a finite flex which preserves the symmetry of $(G,p)$ throughout the path. This and other related results are obtained by symmetrizing techniques described by L. Asimov and B. Roth in their paper `The Rigidity Of Graphs' from 1978 and by using the fact that the rigidity matrix of a symmetric framework can be transformed into a block-diagonalized form by means of group representation theory. The finite flexes that can be detected with these symmetry-based methods can in general not be found with the analogous non-symmetric methods.
△ Less
Submitted 12 November, 2009;
originally announced November 2009.
-
Parameter-dependent Edge Operators
Authors:
C. -I. Martin,
B. -W. Schulze
Abstract:
We study parameter-dependent operators on a manifold with edge and construct new classes of elliptic elements in the corner calculus on an infinite cone with a singular base
We study parameter-dependent operators on a manifold with edge and construct new classes of elliptic elements in the corner calculus on an infinite cone with a singular base
△ Less
Submitted 14 August, 2009;
originally announced August 2009.
-
Symmetric versions of Laman's Theorem
Authors:
Bernd Schulze
Abstract:
Recent work has shown that if an isostatic bar and joint framework possesses non-trivial symmetries, then it must satisfy some very simply stated restrictions on the number of joints and bars that are `fixed' by various symmetry operations of the framework. For the group $C_3$ which describes 3-fold rotational symmetry in the plane, we verify the conjecture proposed in [4] that these restriction…
▽ More
Recent work has shown that if an isostatic bar and joint framework possesses non-trivial symmetries, then it must satisfy some very simply stated restrictions on the number of joints and bars that are `fixed' by various symmetry operations of the framework. For the group $C_3$ which describes 3-fold rotational symmetry in the plane, we verify the conjecture proposed in [4] that these restrictions on the number of fixed structural components, together with the Laman conditions, are also sufficient for a framework with $C_3$ symmetry to be isostatic, provided that its joints are positioned as generically as possible subject to the given symmetry constraints. In addition, we establish symmetric versions of Henneberg's Theorem and Crapo's Theorem for $C_3$ which provide alternate characterizations of `generically' isostatic graphs with $C_3$ symmetry. As shown in [19], our techniques can be extended to establish analogous results for the symmetry groups $C_2$ and $C_s$ which are generated by a half-turn and a reflection in the plane, respectively.
△ Less
Submitted 11 July, 2009;
originally announced July 2009.
-
Block-diagonalized rigidity matrices of symmetric frameworks and applications
Authors:
Bernd Schulze
Abstract:
In this paper, we give a complete self-contained proof that the rigidity matrix of a symmetric bar and joint framework (as well as its transpose) can be transformed into a block-diagonalized form using techniques from group representation theory. This theorem is basic to a number of useful and interesting results concerning the rigidity and flexibility of symmetric frameworks. As an example, we…
▽ More
In this paper, we give a complete self-contained proof that the rigidity matrix of a symmetric bar and joint framework (as well as its transpose) can be transformed into a block-diagonalized form using techniques from group representation theory. This theorem is basic to a number of useful and interesting results concerning the rigidity and flexibility of symmetric frameworks. As an example, we use this theorem to prove a generalization of the Fowler-Guest symmetry extension of Maxwell's rule which can be applied to both injective and non-injective realizations in all dimensions.
△ Less
Submitted 18 June, 2009;
originally announced June 2009.
-
The iterative Structure of Corner Operators
Authors:
B. -W. Schulze
Abstract:
We give a brief survey on some new developments on elliptic operators on manifolds with polyhedral singularities. The material essentially corresponds to a talk given by the author during the Conference "Elliptic and Hyperbolic Equations on Singular Spaces", October 27 - 31, 2008, at the MSRI, University of Berkeley.
We give a brief survey on some new developments on elliptic operators on manifolds with polyhedral singularities. The material essentially corresponds to a talk given by the author during the Conference "Elliptic and Hyperbolic Equations on Singular Spaces", October 27 - 31, 2008, at the MSRI, University of Berkeley.
△ Less
Submitted 7 May, 2009;
originally announced May 2009.
-
Edge-degenerate families of $Ψ$Do's on an infinite cylinder
Authors:
Jamil Abed,
Bert Wolfgang Schulze
Abstract:
We establish a parameter-dependent pseudo-differential calculus on an infinite cylinder, regarded as a manifold with conical exits to infinity. The parameters are involved in edge-degenerate form, and we formulate the operators in terms of operator-valued amplitude functions.
We establish a parameter-dependent pseudo-differential calculus on an infinite cylinder, regarded as a manifold with conical exits to infinity. The parameters are involved in edge-degenerate form, and we formulate the operators in terms of operator-valued amplitude functions.
△ Less
Submitted 28 January, 2009; v1 submitted 14 January, 2009;
originally announced January 2009.
-
Injective and non-injective realizations with symmetry
Authors:
Bernd Schulze
Abstract:
In this paper, we introduce a natural classification of bar and joint frameworks that possess symmetry. This classification establishes the mathematical foundation for extending a variety of results in rigidity, as well as infinitesimal or static rigidity, to frameworks that are realized with certain symmetries and whose joints may or may not be embedded injectively in the space. In particular,…
▽ More
In this paper, we introduce a natural classification of bar and joint frameworks that possess symmetry. This classification establishes the mathematical foundation for extending a variety of results in rigidity, as well as infinitesimal or static rigidity, to frameworks that are realized with certain symmetries and whose joints may or may not be embedded injectively in the space. In particular, we introduce a symmetry-adapted notion of `generic' frameworks with respect to this classification and show that `almost all' realizations in a given symmetry class are generic and all generic realizations in this class share the same infinitesimal rigidity properties. Within this classification we also clarify under what conditions group representation theory techniques can be applied to further analyze the rigidity properties of a (not necessarily injective) symmetric realization.
△ Less
Submitted 13 August, 2008;
originally announced August 2008.
-
When is a symmetric pin-jointed framework isostatic?
Authors:
Robert Connelly,
Patrick Fowler,
Simon Guest,
Bernd Schulze,
Walter Whiteley
Abstract:
Maxwell's rule from 1864 gives a necessary condition for a framework to be isostatic in 2D or in 3D. Given a framework with point group symmetry, group representation theory is exploited to provide further necessary conditions. This paper shows how, for an isostatic framework, these conditions imply very simply stated restrictions on the numbers of those structural components that are unshifted…
▽ More
Maxwell's rule from 1864 gives a necessary condition for a framework to be isostatic in 2D or in 3D. Given a framework with point group symmetry, group representation theory is exploited to provide further necessary conditions. This paper shows how, for an isostatic framework, these conditions imply very simply stated restrictions on the numbers of those structural components that are unshifted by the symmetry operations of the framework. In particular, it turns out that an isostatic framework in 2D can belong to one of only six point groups. Some conjectures and initial results are presented that would give sufficient conditions (in both 2D and 3D) for a framework that is realized generically for a given symmetry group to be an isostatic framework.
△ Less
Submitted 26 September, 2008; v1 submitted 15 March, 2008;
originally announced March 2008.
-
Operators with Corener-degenerate Symbols
Authors:
Jamil Abed,
Bert-Wolfgang Schulze
Abstract:
We establish elements of a new approch to ellipticity and parametrices within operator algebras on a manifold with higher singularities, only based on some general axiomatic requirements on parameter-dependent operators in suitable scales of spaces. The idea is to model an iterative process with new generations of parameter-dependent operator theories, together with new scales of spaces that sat…
▽ More
We establish elements of a new approch to ellipticity and parametrices within operator algebras on a manifold with higher singularities, only based on some general axiomatic requirements on parameter-dependent operators in suitable scales of spaces. The idea is to model an iterative process with new generations of parameter-dependent operator theories, together with new scales of spaces that satisfy analogous requirements as the original ones, now on a corresponding higher level.
The "full" calculus is voluminous; so we content ourselves here with some typical aspects such as symbols in terms of order reducing families, classes of relevant examples, and operators near a corner point.
△ Less
Submitted 9 February, 2008; v1 submitted 17 January, 2008;
originally announced January 2008.