-
Rigidity condition for gluing two bar-joint rigid graphs embedded in $\mathbb{R}^d$
Authors:
Kyungeun Kim,
J. M. Schwarz
Abstract:
How does one determine if a collection of bars joined by freely rotating hinges cannot be deformed without changing the length of any of the bars? In other words, how does one determine if a bar-joint graph is rigid? This question has been definitively answered using combinatorial rigidity theory in two dimensions via the Geiringer-Laman Theorem. However, it has not yet been answered using combina…
▽ More
How does one determine if a collection of bars joined by freely rotating hinges cannot be deformed without changing the length of any of the bars? In other words, how does one determine if a bar-joint graph is rigid? This question has been definitively answered using combinatorial rigidity theory in two dimensions via the Geiringer-Laman Theorem. However, it has not yet been answered using combinatorial rigidity theory in higher dimensions, given known counterexamples to the trivial dimensional extension of the Geiringer-Laman Theorem. To work towards a combinatorial approach in dimensions beyond two, we present a theorem for gluing two rigid bar-joint graphs together that remain rigid. When there are no overlapping vertices between the two graphs, the theorem reduces to Tay's theorem used to identify rigidity in body-bar graphs. When there are overlapping vertices, we rely on the notion of pinned rigid graphs to identify and constrain rigid motions. This theorem provides a basis for an algorithm for recursively constructing rigid clusters that can be readily adapted for computational purposes. By leveraging Henneberg-type operations to grow a rigid (or minimally rigid) graph and treating simplices-where every vertex connects to every other vertex-as fundamental units, our approach offers a scalable solution with computational complexity comparable to traditional methods. Thus, we provide a combinatorial blueprint for algorithms in multi-dimensional rigidity theory as applied to bar-joint graphs.
△ Less
Submitted 30 September, 2024;
originally announced October 2024.
-
Boundary representation of Dirichlet forms on discrete spaces
Authors:
Matthias Keller,
Daniel Lenz,
Marcel Schmidt,
Michael Schwarz
Abstract:
We describe the set of all Dirichlet forms associated to a given infinite graph in terms of Dirichlet forms on its Royden boundary. Our approach is purely analytical and uses form methods.
We describe the set of all Dirichlet forms associated to a given infinite graph in terms of Dirichlet forms on its Royden boundary. Our approach is purely analytical and uses form methods.
△ Less
Submitted 22 November, 2017;
originally announced November 2017.
-
Anticoncentration theorems for schemes showing a quantum speedup
Authors:
Dominik Hangleiter,
Juan Bermejo-Vega,
Martin Schwarz,
Jens Eisert
Abstract:
One of the main milestones in quantum information science is to realise quantum devices that exhibit an exponential computational advantage over classical ones without being universal quantum computers, a state of affairs dubbed quantum speedup, or sometimes "quantum computational supremacy". The known schemes heavily rely on mathematical assumptions that are plausible but unproven, prominently re…
▽ More
One of the main milestones in quantum information science is to realise quantum devices that exhibit an exponential computational advantage over classical ones without being universal quantum computers, a state of affairs dubbed quantum speedup, or sometimes "quantum computational supremacy". The known schemes heavily rely on mathematical assumptions that are plausible but unproven, prominently results on anticoncentration of random prescriptions. In this work, we aim at closing the gap by proving two anticoncentration theorems and accompanying hardness results, one for circuit-based schemes, the other for quantum quench-type schemes for quantum simulations. Compared to the few other known such results, these results give rise to a number of comparably simple, physically meaningful and resource-economical schemes showing a quantum speedup in one and two spatial dimensions. At the heart of the analysis are tools of unitary designs and random circuits that allow us to conclude that universal random circuits anticoncentrate as well as an embedding of known circuit-based schemes in a 2D translation-invariant architecture.
△ Less
Submitted 15 May, 2018; v1 submitted 12 June, 2017;
originally announced June 2017.
-
Constraint percolation on hyperbolic lattices
Authors:
Jorge H. Lopez,
J. M. Schwarz
Abstract:
Hyperbolic lattices interpolate between finite-dimensional lattices and Bethe lattices and are interesting in their own right with ordinary percolation exhibiting not one, but two, phase transitions. We study four constraint percolation models---$k$-core percolation (for $k=1,2,3$) and force-balance percolation---on several tessellations of the hyperbolic plane. By comparing these four different m…
▽ More
Hyperbolic lattices interpolate between finite-dimensional lattices and Bethe lattices and are interesting in their own right with ordinary percolation exhibiting not one, but two, phase transitions. We study four constraint percolation models---$k$-core percolation (for $k=1,2,3$) and force-balance percolation---on several tessellations of the hyperbolic plane. By comparing these four different models, our numerical data suggests that all of the $k$-core models, even for $k=3$, exhibit behavior similar to ordinary percolation, while the force-balance percolation transition is discontinuous. We also provide a proof, for some hyperbolic lattices, of the existence of a critical probability that is less than unity for the force-balance model, so that we can place our interpretation of the numerical data for this model on a more rigorous footing. Finally, we discuss improved numerical methods for determining the two critical probabilities on the hyperbolic lattice for the $k$-core percolation models.
△ Less
Submitted 16 December, 2015;
originally announced December 2015.
-
Comment on: "On the consistency of solutions of the space fractional Schrödinger equation"
Authors:
E. Hawkins,
J. M. Schwarz
Abstract:
In [J. Math. Phys. 53, 042105 (2012)], Bayın claims to prove the consistency of the purported piece-wise solutions to the fractional Schrödinger equation for an infinite square well. However, his calculation uses standard contour integral techniques despite the absence of an analytic integrand. The correct calculation is presented and supports our earlier work proving that the purported piece-wise…
▽ More
In [J. Math. Phys. 53, 042105 (2012)], Bayın claims to prove the consistency of the purported piece-wise solutions to the fractional Schrödinger equation for an infinite square well. However, his calculation uses standard contour integral techniques despite the absence of an analytic integrand. The correct calculation is presented and supports our earlier work proving that the purported piece-wise solutions do not solve the fractional Schrödinger equation for an infinite square well [M. Jeng, S.-L.-Y. Xu, E. Hawkins, and J. M. Schwarz, J. Math. Phys. 51, 062102 (2010)].
△ Less
Submitted 4 October, 2012;
originally announced October 2012.
-
Analysis of a Fivefold Symmetric Superposition of Plane Waves
Authors:
Michael H. Schwarz,
Robert A. Pelcovits
Abstract:
We show that a symmetric superposition of five standing plane waves can be expressed as an infinite series of terms of decreasing wavenumber, where each term is a product of five plane waves. We show that this series converges pointwise in R^2 and uniformly in any disk domain in R^2. Using this series, we provide a heuristic argument for why the locations of the local extrema of a symmetric superp…
▽ More
We show that a symmetric superposition of five standing plane waves can be expressed as an infinite series of terms of decreasing wavenumber, where each term is a product of five plane waves. We show that this series converges pointwise in R^2 and uniformly in any disk domain in R^2. Using this series, we provide a heuristic argument for why the locations of the local extrema of a symmetric superposition of five standing plane waves can be approximated by the vertices of a Penrose tiling.
△ Less
Submitted 17 March, 2012;
originally announced March 2012.
-
On the nonlocality of the fractional Schrödinger equation
Authors:
M. Jeng,
S. -L. -Y. Xu,
E. Hawkins,
J. M. Schwarz
Abstract:
A number of papers over the past eight years have claimed to solve the fractional Schrödinger equation for systems ranging from the one-dimensional infinite square well to the Coulomb potential to one-dimensional scattering with a rectangular barrier. However, some of the claimed solutions ignore the fact that the fractional diffusion operator is inherently nonlocal, preventing the fractional Sc…
▽ More
A number of papers over the past eight years have claimed to solve the fractional Schrödinger equation for systems ranging from the one-dimensional infinite square well to the Coulomb potential to one-dimensional scattering with a rectangular barrier. However, some of the claimed solutions ignore the fact that the fractional diffusion operator is inherently nonlocal, preventing the fractional Schrödinger equation from being solved in the usual piecewise fashion. We focus on the one-dimensional infinite square well and show that the purported groundstate, which is based on a piecewise approach, is definitely not a solution of the fractional Schrödinger equation for general fractional parameters $α$. On a more positive note, we present a solution to the fractional Schrödinger equation for the one-dimensional harmonic oscillator with $α=1$.
△ Less
Submitted 8 October, 2008;
originally announced October 2008.
