Related papers: Infinite Bar-Joint Frameworks
The theory of frames normal for general connections on differentiable bundles is developed. Links with the existing theory of frames normal for covariant derivative operators (linear connections) in vector bundles are revealed. The…
Any counterexample to the two-dimensional Jacobian Conjecture gives a rational map from one projective plane to another. We use some ideas of the Minimal Model Program to study the combinatorial structure of a rational surface, that is…
introduce {\sc Planar Disjoint Paths Completion}, a completion counterpart of the Disjoint Paths problem, and study its parameterized complexity. The problem can be stated as follows: given a, not necessarily connected, plane graph $G,$ $k$…
An extension to the interface finite element with eMbedded Profile for Joint Roughness (MPJR interface finite element) is herein proposed for solving the frictional contact problem between a rigid indenter of any complex shape and an…
This paper defines a symplectic form on the infinite dimensional Fr\'echet manifold of framed curves of fixed length over a simply connected Riemannian manifold of constant curvature. The paper then considers Hamiltonian systems generated…
The famous example of the double-Watt mechanism given by Connelly and Servatius raises some problems concerning the classical definitions of higher-order flexibility and rigidity, respectively. Recently, the author was able to give a proper…
We investigate infinite distance limits in the complex structure moduli space of F-theory compactified on K3 to eight dimensions. While this is among the simplest possible arenas to test ideas about the Swampland Distance Conjecture, it is…
We develop operator renewal theory for flows and apply this to infinite ergodic theory. In particular we obtain results on mixing for a large class of infinite measure semiflows. Examples of systems covered by our results include…
We establish strong mixing for the $\mathbb Z^d$-periodic, infinite horizon, Lorentz gas flow for continuous observables with compact support. The essential feature of this natural class of observables is that their support may contain…
The following article treats about convex geometries which are lower semi-modular and join semi-distributive lattices. Firstly, it is shown that there is a class $K$ of infinite convex geometries which can be build out of finite ones by…
A configuration p in r-dimensional Euclidean space is a finite collection of points (p^1,...,p^n) that affinely span R^r. A bar framework, denoted by G(p), in R^r is a simple graph G on n vertices together with a configuration p in R^r. A…
Transports along path in fibre bundles are axiomatically introduced. Their general functional form and some their simple properties are investigated. The relationships of the transports along paths and lifting of paths are studied.
We present recent advances in harmonic analysis on infinite graphs. Our approach combines combinatorial tools with new results from the theory of unbounded Hermitian operators in Hilbert space, geometry, boundary constructions, and spectral…
We develop a word mechanism applied in knot and link diagrams for the illustration of a diagrammatic property. We also give a necessary condition for determining incompressible and pairwise incompressible surfaces, that are embedded in knot…
In this work, we propose a convenient framework for infinite-dimensional analysis (including both real and complex analysis in infinite dimensions), in which differentiation (in some weak sense) and integration operations can be easily…
Motivated by constraint-based CAD software, we develop the foundation for the rigidity theory of a very general model: the body-and-cad structure, composed of rigid bodies in 3D constrained by pairwise coincidence, angular and distance…
This work focuses on the bearing rigidity theory, namely the branch of knowledge investigating the structural properties necessary for multi-element systems to preserve the inter-units bearings when exposed to deformations. The original…
We prove a topological rigidity result for simple, thick, hyperbolic P-manifolds of dimension 2: isomorphism of the fundamental groups implies homeomorphism of the P-manifolds. An immediate application is a diagram rigidity theorem for…
The literature on concurrency theory offers a wealth of examples of characteristic-formula constructions for various behavioural relations over finite labelled transition systems and Kripke structures that are defined in terms of fixed…
Finite topological spaces are in bijective correspondence with preorders on finite sets. We undertake their study using combinatorial tools that have been developed to investigate general discrete structures. A particular emphasis will be…