Showing 1–40 of 40 results for author: Tanigawa, S

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.

Comments: Submitted to the IEEE Transactions on Control of Network Systems

Generic Global Rigidity in $\ell_p$-Space and the Identifiability of the $p$-Cayley-Menger Varieties

Authors: Tomohiro Sugiyama, Shin-ichi Tanigawa

Abstract: The celebrated result of Gortler-Healy-Thurston (independently, Jackson-Jordán for $d=2$) shows that the global rigidity of graphs realised in the $d$-dimensional Euclidean space is a generic property. Extending this result to the global rigidity problem in $\ell_p$-spaces remains an open problem. In this paper we affirmatively solve this problem when $d=2$ and $p$ is an even positive integer. A k… ▽ More The celebrated result of Gortler-Healy-Thurston (independently, Jackson-Jordán for $d=2$) shows that the global rigidity of graphs realised in the $d$-dimensional Euclidean space is a generic property. Extending this result to the global rigidity problem in $\ell_p$-spaces remains an open problem. In this paper we affirmatively solve this problem when $d=2$ and $p$ is an even positive integer. A key tool in our proof is a sufficient condition for the $d$-tangentially weakly non-defectiveness of projective varieties due to Bocci, Chiantini, Ottaviani, and Vannieuwenhoven. By specialising the condition to the $p$-Cayley-Menger variety, which is the $\ell_p$-analogue of the Cayley-Menger variety for Euclidean distance, we provide an $\ell_p$-extension of the generic global rigidity theory of Connelly. As a by-product of our proof, we also offer a purely graph-theoretical characterisation of the $2$-identifiability of an orthogonal projection of the $p$-Cayley-Menger variety along a coordinate axis of the ambient affine space. △ Less

Submitted 28 February, 2024; originally announced February 2024.

HAYATE: Photometric redshift estimation by hybridising machine learning with template fitting

Authors: Shingo Tanigawa, Karl Glazebrook, Colin Jacobs, Ivo Labbe, Alex K. Qin

Abstract: Machine learning photo-z methods, trained directly on spectroscopic redshifts, provide a viable alternative to traditional template fitting methods but may not generalise well on new data that deviates from that in the training set. In this work, we present a Hybrid Algorithm for WI(Y)de-range photo-z estimation with Artificial neural networks and TEmplate fitting (HAYATE), a novel photo-z method… ▽ More Machine learning photo-z methods, trained directly on spectroscopic redshifts, provide a viable alternative to traditional template fitting methods but may not generalise well on new data that deviates from that in the training set. In this work, we present a Hybrid Algorithm for WI(Y)de-range photo-z estimation with Artificial neural networks and TEmplate fitting (HAYATE), a novel photo-z method that combines template fitting and data-driven approaches and whose training loss is optimised in terms of both redshift point estimates and probability distributions. We produce artificial training data from low-redshift galaxy SEDs at z<1.3, artificially redshifted up to z=5. We test the model on data from the ZFOURGE surveys, demonstrating that HAYATE can function as a reliable emulator of EAZY for the broad redshift range beyond the region of sufficient spectroscopic completeness. The network achieves precise photo-z estimations with smaller errors ($σ_{NMAD}$) than EAZY in the initial low-z region (z<1.3), while being comparable even in the high-z extrapolated regime (1.3<z<5). Meanwhile, it provides more robust photo-z estimations than EAZY with the lower outlier rate ($η_{0.2}\lesssim 1\%$) but runs $\sim100$ times faster than the original template fitting method. We also demonstrate HAYATE offers more reliable redshift PDFs, showing a flatter distribution of Probability Integral Transform scores than EAZY. The performance is further improved using transfer learning with spec-z samples. We expect that future large surveys will benefit from our novel methodology applicable to observations over a wide redshift range. △ Less

Submitted 31 January, 2024; originally announced February 2024.

Comments: 28 pages, 12 figures, accepted for publication in MNRAS

Liouville Irregular States of Half-Integer Ranks

Authors: Ryo Hamachika, Tomoki Nakanishi, Takahiro Nishinaka, Shou Tanigawa

Abstract: We conjecture a set of differential equations that characterizes the Liouville irregular states of half-integer ranks, which extends the generalized AGT correspondence to all the $(A_1,A_\text{even})$ and $(A_1,D_\text{odd})$ types Argyres-Douglas theories. For lower half-integer ranks, our conjecture is verified by deriving it as a suitable limit of a similar set of differential equations for int… ▽ More We conjecture a set of differential equations that characterizes the Liouville irregular states of half-integer ranks, which extends the generalized AGT correspondence to all the $(A_1,A_\text{even})$ and $(A_1,D_\text{odd})$ types Argyres-Douglas theories. For lower half-integer ranks, our conjecture is verified by deriving it as a suitable limit of a similar set of differential equations for integer ranks. This limit is interpreted as the 2D counterpart of a 4D RG-flow from $(A_1,D_{2n})$ to $(A_1,D_{2n-1})$. For rank $3/2$, we solve the conjectured differential equations and find a power series expression for the irregular state $|I^{(3/2)}\rangle$. For rank $5/2$, our conjecture is consistent with the differential equations recently discovered by H. Poghosyan and R. Poghossian. △ Less

Submitted 17 February, 2024; v1 submitted 26 January, 2024; originally announced January 2024.

Comments: 25 pages; 2nd version, minor changes made

Report number: NITEP 199

Realizable Dimension of Periodic Frameworks

Authors: Ryoshun Oba, Shin-ichi Tanigawa

Abstract: Belk and Connelly introduced the realizable dimension $\textrm{rd}(G)$ of a finite graph $G$, which is the minimum nonnegative integer $d$ such that every framework $(G,p)$ in any dimension admits a framework in $\mathbb{R}^d$ with the same edge lengths. They characterized finite graphs with realizable dimension at most $1$, $2$, or $3$ in terms of forbidden minors. In this paper, we consider peri… ▽ More Belk and Connelly introduced the realizable dimension $\textrm{rd}(G)$ of a finite graph $G$, which is the minimum nonnegative integer $d$ such that every framework $(G,p)$ in any dimension admits a framework in $\mathbb{R}^d$ with the same edge lengths. They characterized finite graphs with realizable dimension at most $1$, $2$, or $3$ in terms of forbidden minors. In this paper, we consider periodic frameworks and extend the notion to $\mathbb{Z}$-symmetric graphs. We give a forbidden minor characterization of $\mathbb{Z}$-symmetric graphs with realizable dimension at most $1$ or $2$, and show that the characterization can be checked in polynomial time for given quotient $\mathbb{Z}$-labelled graphs. △ Less

Submitted 5 June, 2023; originally announced June 2023.

Comments: 18 pages, 3 figures

Identifiability of Points and Rigidity of Hypergraphs under Algebraic Constraints

Authors: James Cruickshank, Fatemeh Mohammadi, Anthony Nixon, Shin-ichi Tanigawa

Abstract: The identifiability problem arises naturally in a number of contexts in mathematics and computer science. Specific instances include local or global rigidity of graphs and unique completability of partially-filled tensors subject to rank conditions. The identifiability of points on secant varieties has also been a topic of much research in algebraic geometry. It is often formulated as the problem… ▽ More The identifiability problem arises naturally in a number of contexts in mathematics and computer science. Specific instances include local or global rigidity of graphs and unique completability of partially-filled tensors subject to rank conditions. The identifiability of points on secant varieties has also been a topic of much research in algebraic geometry. It is often formulated as the problem of identifying a set of points satisfying a given set of algebraic relations. A key question then is to prove sufficient conditions for relations to guarantee the identifiability of the points. This paper proposes a new general framework for capturing the identifiability problem when a set of algebraic relations has a combinatorial structure and develops tools to analyse the impact of the underlying combinatorics on the local or global identifiability of points. Our framework is built on the language of graph rigidity, where the measurements are Euclidean distances between two points, but applicable in the generality of hypergraphs with arbitrary algebraic measurements. We establish necessary and sufficient (hyper)graph theoretical conditions for identifiability by exploiting techniques from graph rigidity theory and algebraic geometry of secant varieties. In particular our work analyses combinatorially the effect of non-generic projections of secant varieties. △ Less

Submitted 23 January, 2024; v1 submitted 30 May, 2023; originally announced May 2023.

Rigidity of Symmetric Simplicial Complexes and the Lower Bound Theorem

Authors: James Cruickshank, Bill Jackson, Shinichi Tanigawa

Abstract: We show that, if $Γ$ is a point group of $\mathbb{R}^{k+1}$ of order two for some $k\geq 2$ and $\mathcal S$ is a $k$-pseudomanifold which has a free automorphism of order two, then either $\mathcal S$ has a $Γ$-symmetric infinitesimally rigid realisation in $\mathbb{R}^{k+1}$ or $k=2$ and $Γ$ is a half-turn rotation group.This verifies a conjecture made by Klee, Nevo, Novik and Zhang for the case… ▽ More We show that, if $Γ$ is a point group of $\mathbb{R}^{k+1}$ of order two for some $k\geq 2$ and $\mathcal S$ is a $k$-pseudomanifold which has a free automorphism of order two, then either $\mathcal S$ has a $Γ$-symmetric infinitesimally rigid realisation in $\mathbb{R}^{k+1}$ or $k=2$ and $Γ$ is a half-turn rotation group.This verifies a conjecture made by Klee, Nevo, Novik and Zhang for the case when $Γ$ is a point-inversion group. Our result implies that Stanley's lower bound theorem for centrally symmetric polytopes extends to pseudomanifolds with a free simplicial involution, thus verifying (the inequality part) of another conjecture of Klee, Nevo, Novik and Zheng. Both results actually apply to a much larger class of simplicial complexes, namely the circuits of the simplicial matroid. The proof of our rigidity result adapts earlier ideas of Fogelsanger to the setting of symmetric simplicial complexes. △ Less

Submitted 10 April, 2023; originally announced April 2023.

Comments: 22 pages, 2 figures

MSC Class: 52C25 (Primary); 52B05; 13F55 (Secondary)

Super Stable Tensegrities and the Colin de Verdière Number $ν$

Authors: Ryoshun Oba, Shin-ichi Tanigawa

Abstract: A super stable tensegrity introduced by Connelly in 1982 is a globally rigid discrete structure made from stiff bars or struts connected by cables with tension. In this paper we show an exact relation between the maximum dimension that a multigraph can be realized as a super stable tensegrity and Colin de Verdière number~$ν$ from spectral graph theory. As a corollary we obtain a combinatorial char… ▽ More A super stable tensegrity introduced by Connelly in 1982 is a globally rigid discrete structure made from stiff bars or struts connected by cables with tension. In this paper we show an exact relation between the maximum dimension that a multigraph can be realized as a super stable tensegrity and Colin de Verdière number~$ν$ from spectral graph theory. As a corollary we obtain a combinatorial characterization of multigraphs that can be realized as 3-dimensional super stable tensegrities. △ Less

Submitted 24 February, 2024; v1 submitted 8 December, 2022; originally announced December 2022.

Global Rigidity of Line Constrained Frameworks

Authors: James Cruickshank, Fatemeh Mohammadi, Harshit J Motwani, Anthony Nixon, Shin-ichi Tanigawa

Abstract: We consider the global rigidity problem for bar-joint frameworks where each vertex is constrained to lie on a particular line in $\mathbb R^d$. In our setting we allow multiple vertices to be constrained to the same line. Under a mild assumption on the given set of lines we give a complete combinatorial characterisation of graphs that are generically globally rigid in this setting. This gives a… ▽ More We consider the global rigidity problem for bar-joint frameworks where each vertex is constrained to lie on a particular line in $\mathbb R^d$. In our setting we allow multiple vertices to be constrained to the same line. Under a mild assumption on the given set of lines we give a complete combinatorial characterisation of graphs that are generically globally rigid in this setting. This gives a $d$-dimensional extension of the well-known combinatorial characterisation of 1-dimensional global rigidity. △ Less

Submitted 12 October, 2023; v1 submitted 19 August, 2022; originally announced August 2022.

Comments: 24 pages, 5 figures

MSC Class: 52C25 (Primary); 05C10 (Secondary)

Nearly Tight Spectral Sparsification of Directed Hypergraphs by a Simple Iterative Sampling Algorithm

Authors: Kazusato Oko, Shinsaku Sakaue, Shin-ichi Tanigawa

Abstract: Spectral hypergraph sparsification, an attempt to extend well-known spectral graph sparsification to hypergraphs, has been extensively studied over the past few years. For undirected hypergraphs, Kapralov, Krauthgamer, Tardos, and Yoshida~(2022) have proved an $\varepsilon$-spectral sparsifier of the optimal $O^*(n)$ size, where $n$ is the number of vertices and $O^*$ suppresses the… ▽ More Spectral hypergraph sparsification, an attempt to extend well-known spectral graph sparsification to hypergraphs, has been extensively studied over the past few years. For undirected hypergraphs, Kapralov, Krauthgamer, Tardos, and Yoshida~(2022) have proved an $\varepsilon$-spectral sparsifier of the optimal $O^*(n)$ size, where $n$ is the number of vertices and $O^*$ suppresses the $\varepsilon^{-1}$ and $\log n$ factors. For directed hypergraphs, however, the optimal sparsifier size has not been known. Our main contribution is the first algorithm that constructs an $O^*(n^2)$-size $\varepsilon$-spectral sparsifier for a weighted directed hypergraph. Our result is optimal up to the $\varepsilon^{-1}$ and $\log n$ factors since there is a lower bound of $Ω(n^2)$ even for directed graphs. We also show the first non-trivial lower bound of $Ω(n^2/\varepsilon)$ for general directed hypergraphs. The basic idea of our algorithm is borrowed from the spanner-based sparsification for ordinary graphs by Koutis and Xu~(2016). Their iterative sampling approach is indeed useful for designing sparsification algorithms in various circumstances. To demonstrate this, we also present a similar iterative sampling algorithm for undirected hypergraphs that attains one of the best size bounds, enjoys parallel implementation, and can be transformed to be fault-tolerant. △ Less

Submitted 11 May, 2023; v1 submitted 5 April, 2022; originally announced April 2022.

Global Rigidity of Triangulated Manifolds

Authors: James Cruickshank, Bill Jackson, Shin-ichi Tanigawa

Abstract: We prove that if $G$ is the graph of a connected triangulated $(d-1)$-manifold, for $d\geq 3$, then $G$ is generically globally rigid in $\mathbb R^d$ if and only if it is $(d+1)$-connected and, if $d=3$, $G$ is not planar. The special case $d=3$ verifies a conjecture of Connelly. Our results actually apply to a much larger class of simplicial complexes, namely the circuits of the simplicial matro… ▽ More We prove that if $G$ is the graph of a connected triangulated $(d-1)$-manifold, for $d\geq 3$, then $G$ is generically globally rigid in $\mathbb R^d$ if and only if it is $(d+1)$-connected and, if $d=3$, $G$ is not planar. The special case $d=3$ verifies a conjecture of Connelly. Our results actually apply to a much larger class of simplicial complexes, namely the circuits of the simplicial matroid. We also give two significant applications of our main theorems. We show that that the characterisation of pseudomanifolds with extremal edge numbers given by the Lower Bound Theorem extends to circuits of the simplicial matroid. We also prove the generic case of a conjecture of Kalai concerning the reconstructability of a polytope from its space of stresses. The proofs of our main results adapt earlier ideas of Fogelsanger and Whiteley to the setting of global rigidity. In particular we verify a special case of Whiteley's vertex splitting conjecture for global rigidity. △ Less

Submitted 28 March, 2024; v1 submitted 5 April, 2022; originally announced April 2022.

Comments: Revised version subnitted to journal

MSC Class: 52C25; 05E45 (Primary) 52B05; 05C10 (Secondary)

Maximal Matroids in Weak Order Posets

Authors: Bill Jackson, Shin-ichi Tanigawa

Abstract: Let $\cX$ be a family of subsets of a finite set $E$. A matroid on $E$ is called an $\cX$-matroid if each set in $\cX$ is a circuit. We consider the problem of determining when there exists a unique maximal $\cX$-matroid in the weak order poset of all $\cX$-matroids on $E$, and characterizing its rank function when it exists. Let $\cX$ be a family of subsets of a finite set $E$. A matroid on $E$ is called an $\cX$-matroid if each set in $\cX$ is a circuit. We consider the problem of determining when there exists a unique maximal $\cX$-matroid in the weak order poset of all $\cX$-matroids on $E$, and characterizing its rank function when it exists. △ Less

Submitted 13 March, 2021; v1 submitted 19 February, 2021; originally announced February 2021.

Comments: typographical corrections, exposition improvements

An improved bound for the rigidity of linearly constrained frameworks

Authors: Bill Jackson, Anthony Nixon, Shin-Ichi Tanigawa

Abstract: We consider the problem of characterising the generic rigidity of bar-joint frameworks in $\mathbb{R}^d$ in which each vertex is constrained to lie in a given affine subspace. The special case when $d=2$ was previously solved by I. Streinu and L. Theran in 2010 and the case when each vertex is constrained to lie in an affine subspace of dimension $t$, and $d\geq t(t-1)$ was solved by Cruickshank,… ▽ More We consider the problem of characterising the generic rigidity of bar-joint frameworks in $\mathbb{R}^d$ in which each vertex is constrained to lie in a given affine subspace. The special case when $d=2$ was previously solved by I. Streinu and L. Theran in 2010 and the case when each vertex is constrained to lie in an affine subspace of dimension $t$, and $d\geq t(t-1)$ was solved by Cruickshank, Guler and the first two authors in 2019. We extend the latter result by showing that the given characterisation holds whenever $d\geq 2t$. △ Less

Submitted 2 July, 2020; v1 submitted 22 May, 2020; originally announced May 2020.

Comments: 6 pages. This version corrects an error in the proof of Theorem 3.2

MSC Class: 52C25; 05C10; 53A05

Characterizing the Universal Rigidity of Generic Tensegrities

Authors: Ryoshun Oba, Shin-ichi Tanigawa

Abstract: A tensegrity is a structure made from cables, struts and stiff bars. A $d$-dimensional tensegirty is universally rigid if it is rigid in any dimension $d'$ with $d'\geq d$. The celebrated super stability condition due to Connelly gives a sufficient condition for a tensegrity to be universally rigid. Gortler and Thurston showed that super stability characterizes universal rigidity when the point co… ▽ More A tensegrity is a structure made from cables, struts and stiff bars. A $d$-dimensional tensegirty is universally rigid if it is rigid in any dimension $d'$ with $d'\geq d$. The celebrated super stability condition due to Connelly gives a sufficient condition for a tensegrity to be universally rigid. Gortler and Thurston showed that super stability characterizes universal rigidity when the point configuration is generic and every member is a stiff bar. We extend this result in two directions. We first show that a generic universally rigid tensegrity is super stable. We then extend it to tensegrities with point group symmetry, and show that this characterization still holds as long as a tensegrity is generic modulo symmetry. Our strategy is based on the block-diagonalization technique for symmetric semidefinite programming problems, and our proof relies on the theory of real irreducible representation of finite groups. △ Less

Submitted 30 April, 2020; originally announced April 2020.

Vertex Splitting, Coincident Realisations and Global Rigidity of Braced Triangulations

Authors: James Cruickshank, Bill Jackson, Shin-ichi Tanigawa

Abstract: We give a short proof of a result of Jordan and Tanigawa that a 4-connected graph which has a spanning planar triangulation as a proper subgraph is generically globally rigid in R^3. Our proof is based on a new sufficient condition for the so called vertex splitting operation to preserve generic global rigidity in R^d. We give a short proof of a result of Jordan and Tanigawa that a 4-connected graph which has a spanning planar triangulation as a proper subgraph is generically globally rigid in R^3. Our proof is based on a new sufficient condition for the so called vertex splitting operation to preserve generic global rigidity in R^d. △ Less

Submitted 21 March, 2022; v1 submitted 20 February, 2020; originally announced February 2020.

Comments: Revision to v2: new results added in collaboration with Shin-ichi Tanigawa

MSC Class: 05C10; 05C75; 52C25

Abstract 3-Rigidity and Bivariate $C_2^1$-Splines II: Combinatorial Characterization

Authors: Katie Clinch, Bill Jackson, Shin-ichi Tanigawa

Abstract: We showed in the first paper of this series that the generic $C_2^1$-cofactor matroid is the unique maximal abstract $3$-rigidity matroid. In this paper we obtain a combinatorial characterization of independence in this matroid. This solves the cofactor counterpart of the combinatorial characterization problem for the rigidity of generic 3-dimensional bar-joint frameworks. We use our characterizat… ▽ More We showed in the first paper of this series that the generic $C_2^1$-cofactor matroid is the unique maximal abstract $3$-rigidity matroid. In this paper we obtain a combinatorial characterization of independence in this matroid. This solves the cofactor counterpart of the combinatorial characterization problem for the rigidity of generic 3-dimensional bar-joint frameworks. We use our characterization to verify that the counterparts of conjectures of Dress (on the rank function) and Lovász and Yemini (which suggested a sufficient connectivity condition for rigidity) hold for this matroid. △ Less

Submitted 12 May, 2022; v1 submitted 1 November, 2019; originally announced November 2019.

Journal ref: Discrete Analysis, 2022

Abstract 3-Rigidity and Bivariate $C_2^1$-Splines I: Whiteley's Maximality Conjecture

Authors: Katie Clinch, Bill Jackson, Shin-ichi Tanigawa

Abstract: A conjecture of Graver from 1991 states that the generic $3$-dimensional rigidity matroid is the unique maximal abstract $3$-rigidity matroid with respect to the weak order on matroids. Based on a close similarity between the generic $d$-dimensional rigidity matroid and the generic $C_{d-2}^{d-1}$-cofactor matroid from approximation theory, Whiteley made an analogous conjecture in 1996 that the ge… ▽ More A conjecture of Graver from 1991 states that the generic $3$-dimensional rigidity matroid is the unique maximal abstract $3$-rigidity matroid with respect to the weak order on matroids. Based on a close similarity between the generic $d$-dimensional rigidity matroid and the generic $C_{d-2}^{d-1}$-cofactor matroid from approximation theory, Whiteley made an analogous conjecture in 1996 that the generic $C_{d-2}^{d-1}$-cofactor matroid is the unique maximal abstract $d$-rigidity matroid for all $d\geq 2$. We verify the case $d=3$ of Whiteley's conjecture in this paper. A key step in our proof is to verify a second conjecture of Whiteley that the `double V-replacement operation' preserves independence in the generic $C_2^1$-cofactor matroid. △ Less

Submitted 22 April, 2022; v1 submitted 1 November, 2019; originally announced November 2019.

Journal ref: Discrete Analysis, 2022

On Reachability Mixed Arborescence Packing

Authors: Tatsuya Matsuoka, Shin-ichi Tanigawa

Abstract: As a generalization of the Edmonds arborescence packing theorem, Kamiyama--Katoh--Takizawa (2009) gave a good characterization of directed graphs that contain arc-disjoint arborescences spanning the set of vertices reachable from each root. Fortier--Király--Léonard--Szigeti--Talon (2018) asked whether the result can be extended to mixed graphs by allowing both directed arcs and undirected edges. I… ▽ More As a generalization of the Edmonds arborescence packing theorem, Kamiyama--Katoh--Takizawa (2009) gave a good characterization of directed graphs that contain arc-disjoint arborescences spanning the set of vertices reachable from each root. Fortier--Király--Léonard--Szigeti--Talon (2018) asked whether the result can be extended to mixed graphs by allowing both directed arcs and undirected edges. In this paper, we solve this question by develo** a polynomial-time algorithm for finding a collection of edge and arc-disjoint arborescences spanning the set of vertices reachable from each root in a given mixed graph. △ Less

Submitted 22 August, 2018; originally announced August 2018.

Comments: 10 pages

MSC Class: 05C85

Size--luminosity relations and UV luminosity functions at $z=6-9$ simultaneously derived from the complete Hubble Frontier Fields data

Authors: Ryota Kawamata, Masafumi Ishigaki, Kazuhiro Shimasaku, Masamune Oguri, Masami Ouchi, Shingo Tanigawa

Abstract: We construct $z\sim6-7$, 8, and 9 faint Lyman break galaxy samples (334, 61, and 37 galaxies, respectively) with accurate size measurements with the software $\texttt{glafic}$ from the complete Hubble Frontier Fields (FF) cluster and parallel fields data. These are the largest samples hitherto and reach down to the faint ends of recently obtained deep luminosity functions. At faint magnitudes, how… ▽ More We construct $z\sim6-7$, 8, and 9 faint Lyman break galaxy samples (334, 61, and 37 galaxies, respectively) with accurate size measurements with the software $\texttt{glafic}$ from the complete Hubble Frontier Fields (FF) cluster and parallel fields data. These are the largest samples hitherto and reach down to the faint ends of recently obtained deep luminosity functions. At faint magnitudes, however, these samples are highly incomplete for galaxies with large sizes, implying that derivation of the luminosity function (LF) sensitively depends on the intrinsic size--luminosity (RL) relation. We thus conduct simultaneous maximum-likelihood estimation of LF and RL relation parameters from the observed distribution of galaxies on the RL plane with help of a completeness map as a function of size and luminosity. At $z\sim6-7$, we find that the intrinsic RL relation expressed as $r_\textrm{e} \propto L^β$ has a notably steeper slope of $β=0.46^{+0.08}_{-0.09}$ than those at lower redshifts, which in turn implies that the LF has a relatively shallow faint-end slope of $α=-1.86^{+0.17}_{-0.18}$. This steep $β$ can be reproduced by a simple analytical model in which smaller galaxies have lower specific angular momenta. The $β$ and $α$ values for the $z\sim8$ and 9 samples are consistent with those for $z\sim6-7$ but with larger errors. For all three samples there is a large, positive covariance between $β$ and $α$, implying that the simultaneous determination of these two parameters is important. We also provide new strong lens mass models of Abell S1063 and Abell 370 as well as updated mass models of Abell 2744 and MACS J0416.1$-$2403. △ Less

Submitted 26 February, 2018; v1 submitted 19 October, 2017; originally announced October 2017.

Comments: 48 pages, 19 figures, 15 tables, accepted for publication in The Astrophysical Journal, updated version after proof corrections

Perfect Elimination Orderings for Symmetric Matrices

Authors: Monique Laurent, Shin-ichi Tanigawa

Abstract: We introduce a new class of structured symmetric matrices by extending the notion of perfect elimination ordering from graphs to weighted graphs or matrices. This offers a common framework capturing common vertex elimination orderings of monotone families of chordal graphs, Robinsonian matrices and ultrametrics. We give a structural characterization for matrices that admit perfect elimination orde… ▽ More We introduce a new class of structured symmetric matrices by extending the notion of perfect elimination ordering from graphs to weighted graphs or matrices. This offers a common framework capturing common vertex elimination orderings of monotone families of chordal graphs, Robinsonian matrices and ultrametrics. We give a structural characterization for matrices that admit perfect elimination orderings in terms of forbidden substructures generalizing chordless cycles in graphs. △ Less

Submitted 17 April, 2017; originally announced April 2017.

Comments: 16 pages, 3 figures

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.

Comments: 33 pages, 9 figures

MSC Class: 52C25

A Structural Characterization for Certifying Robinsonian Matrices

Authors: Monique Laurent, Matteo Seminaroti, Shin-ichi Tanigawa

Abstract: A symmetric matrix is Robinsonian if its rows and columns can be simultaneously reordered in such a way that entries are monotone nondecreasing in rows and columns when moving toward the diagonal. The adjacency matrix of a graph is Robinsonian precisely when the graph is a unit interval graph, so that Robinsonian matrices form a matrix analogue of the class of unit interval graphs. Here we provide… ▽ More A symmetric matrix is Robinsonian if its rows and columns can be simultaneously reordered in such a way that entries are monotone nondecreasing in rows and columns when moving toward the diagonal. The adjacency matrix of a graph is Robinsonian precisely when the graph is a unit interval graph, so that Robinsonian matrices form a matrix analogue of the class of unit interval graphs. Here we provide a structural characterization for Robinsonian matrices in terms of forbidden substructures, extending the notion of asteroidal triples to weighted graphs. This implies the known characterization of unit interval graphs and leads to an efficient algorithm for certifying that a matrix is not Robinsonian. △ Less

Submitted 3 January, 2017; originally announced January 2017.

Comments: 21 pages, 1 figure

MSC Class: 05C50; 05C75; 68R10; 68R05

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.

Comments: 38 pages, 2 figures

MSC Class: 52C25; 05B35; 05C10; 68R10

Contributions of the Cherenkov Telescope Array (CTA) to the 6th International Symposium on High-Energy Gamma-Ray Astronomy (Gamma 2016)

Authors: The CTA Consortium, :, A. Abchiche, U. Abeysekara, Ó. Abril, F. Acero, B. S. Acharya, C. Adams, G. Agnetta, F. Aharonian, A. Akhperjanian, A. Albert, M. Alcubierre, J. Alfaro, R. Alfaro, A. J. Allafort, R. Aloisio, J. -P. Amans, E. Amato, L. Ambrogi, G. Ambrosi, M. Ambrosio, J. Anderson, M. Anduze, E. O. Angüner , et al. (1387 additional authors not shown)

Abstract: List of contributions from the Cherenkov Telescope Array (CTA) Consortium presented at the 6th International Symposium on High-Energy Gamma-Ray Astronomy (Gamma 2016), July 11-15, 2016, in Heidelberg, Germany. List of contributions from the Cherenkov Telescope Array (CTA) Consortium presented at the 6th International Symposium on High-Energy Gamma-Ray Astronomy (Gamma 2016), July 11-15, 2016, in Heidelberg, Germany. △ Less

Submitted 17 October, 2016; originally announced October 2016.

Comments: Index of CTA conference proceedings for the Gamma 2016, Heidelberg, Germany

Singularity Degree of the Positive Semidefinite Matrix Completion Problem

Authors: Shin-ichi Tanigawa

Abstract: The singularity degree of a semidefinite programming problem is the smallest number of facial reduction steps to make the problem strictly feasible. We introduce two new graph parameters, called the singularity degree and the nondegenerate singularity degree, based on the singularity degree of the positive semidefinite matrix completion problem. We give a characterization of the class of graphs wh… ▽ More The singularity degree of a semidefinite programming problem is the smallest number of facial reduction steps to make the problem strictly feasible. We introduce two new graph parameters, called the singularity degree and the nondegenerate singularity degree, based on the singularity degree of the positive semidefinite matrix completion problem. We give a characterization of the class of graphs whose parameter value is equal to one for each parameter. Specifically, we show that the singularity degree of a graph is equal to one if and only if the graph is chordal, and the nondegenerate singularity degree of a graph is equal to one if and only if the graph is the clique sum of chordal graphs and $K_4$-minor free graphs. We also show that the singularity degree is bounded by two if the treewidth is bounded by two, and exhibit a family of graphs with treewidth three, whose singularity degree grows linearly in the number of vertices. △ Less

Submitted 4 November, 2016; v1 submitted 31 March, 2016; originally announced March 2016.

The Signed Positive Semidefinite Matrix Completion Problem for Odd-$K_4$ Minor Free Signed Graphs

Authors: Shin-ichi Tanigawa

Abstract: We give a signed generalization of Laurent's theorem that characterizes feasible positive semidefinite matrix completion problems in terms of metric polytopes. Based on this result, we give a characterization of the maximum rank completions of the signed positive semidefinite matrix completion problem for odd-$K_4$ minor free signed graphs. The analysis can also be used to bound the minimum rank o… ▽ More We give a signed generalization of Laurent's theorem that characterizes feasible positive semidefinite matrix completion problems in terms of metric polytopes. Based on this result, we give a characterization of the maximum rank completions of the signed positive semidefinite matrix completion problem for odd-$K_4$ minor free signed graphs. The analysis can also be used to bound the minimum rank over the completions and to characterize uniquely solvable completion problems for odd-$K_4$ minor free signed graphs. As a corollary we derive a characterization of the universal rigidity of odd-$K_4$ minor free spherical tensegrities, and also a characterization of signed graphs whose signed Colin de Verdière parameter $ν$ is bounded by two, recently shown by Arav et al. △ Less

Submitted 1 April, 2016; v1 submitted 28 March, 2016; originally announced March 2016.

Development of the photomultiplier tube readout system for the first Large-Sized Telescope of the Cherenkov Telescope Array

Authors: Shu Masuda, Yusuke Konno, Juan Abel Barrio, Oscar Blanch Bigas, Carlos Delgado, Lluís Freixas Coromina, Shuichi Gunji, Daniela Hadasch, Kenichiro Hatanaka, Masahiro Ikeno, Jose Maria Illa Laguna, Yusuke Inome, Kazuma Ishio, Hideaki Katagiri, Hidetoshi Kubo, Gustavo Martínez, Daniel Mazin, Daisuke Nakajima, Takeshi Nakamori, Hideyuki Ohoka, Riccardo Paoletti, Stefan Ritt, Andrea Rugliancich, Takayuki Saito, Karl-Heinz Sulanke , et al. (9 additional authors not shown)

Abstract: The Cherenkov Telescope Array (CTA) is the next generation ground-based very high energy gamma-ray observatory. The Large-Sized Telescope (LST) of CTA targets 20 GeV -- 1 TeV gamma rays and has 1855 photomultiplier tubes (PMTs) installed in the focal plane camera. With the 23 m mirror dish, the night sky background (NSB) rate amounts to several hundreds MHz per pixel. In order to record clean imag… ▽ More The Cherenkov Telescope Array (CTA) is the next generation ground-based very high energy gamma-ray observatory. The Large-Sized Telescope (LST) of CTA targets 20 GeV -- 1 TeV gamma rays and has 1855 photomultiplier tubes (PMTs) installed in the focal plane camera. With the 23 m mirror dish, the night sky background (NSB) rate amounts to several hundreds MHz per pixel. In order to record clean images of gamma-ray showers with minimal NSB contamination, a fast sampling of the signal waveform is required so that the signal integration time can be as short as the Cherenkov light flash duration (a few ns). We have developed a readout board which samples waveforms of seven PMTs per board at a GHz rate. Since a GHz FADC has a high power consumption, leading to large heat dissipation, we adopted the analog memory ASIC "DRS4". The sampler has 1024 capacitors per channel and can sample the waveform at a GHz rate. Four channels of a chip are cascaded to obtain deeper sampling depth with 4096 capacitors. After a trigger is generated in a mezzanine on the board, the waveform stored in the capacitor array is subsequently digitized with a low speed (33 MHz) ADC and transferred via the FPGA-based Gigabit Ethernet to a data acquisition system. Both a low power consumption (2.64 W per channel) and high speed sampling with a bandwidth of $>$300 MHz have been achieved. In addition, in order to increase the dynamic range of the readout we adopted a two gain system achieving from 0.2 up to 2000 photoelectrons in total. We finalized the board design for the first LST and proceeded to mass production. Performance of produced boards are being checked with a series of quality control (QC) tests. We report the readout board specifications and QC results. △ Less

Submitted 1 September, 2015; originally announced September 2015.

Comments: In Proceedings of the 34th International Cosmic Ray Conference (ICRC2015), The Hague, The Netherlands. All CTA contributions at arXiv:1508.05894

Count Matroids of Group-Labeled Graphs

Authors: Rintaro Ikeshita, Shin-ichi Tanigawa

Abstract: A graph $G=(V,E)$ is called $(k,\ell)$-sparse if $|F|\leq k|V(F)|-\ell$ for any nonempty $F\subseteq E$, where $V(F)$ denotes the set of vertices incident to $F$. It is known that the family of the edge sets of $(k,\ell)$-sparse subgraphs forms the family of independent sets of a matroid, called the $(k,\ell)$-count matroid of $G$. In this paper we shall investigate lifts of the $(k,\ell)$-count m… ▽ More A graph $G=(V,E)$ is called $(k,\ell)$-sparse if $|F|\leq k|V(F)|-\ell$ for any nonempty $F\subseteq E$, where $V(F)$ denotes the set of vertices incident to $F$. It is known that the family of the edge sets of $(k,\ell)$-sparse subgraphs forms the family of independent sets of a matroid, called the $(k,\ell)$-count matroid of $G$. In this paper we shall investigate lifts of the $(k,\ell)$-count matroid by using group labelings on the edge set. By introducing a new notion called near-balancedness, we shall identify a new class of matroids, where the independence condition is described as a count condition of the form $|F|\leq k|V(F)|-\ell +α_ψ(F)$ for some function $α_ψ$ determined by a given group labeling $ψ$ on $E$. △ Less

Submitted 29 June, 2016; v1 submitted 5 July, 2015; originally announced July 2015.

MSC Class: 05B35

Improved Approximation Algorithms for k-Submodular Function Maximization

Authors: Satoru Iwata, Shin-ichi Tanigawa, Yuichi Yoshida

Abstract: This paper presents a polynomial-time $1/2$-approximation algorithm for maximizing nonnegative $k$-submodular functions. This improves upon the previous $\max\{1/3, 1/(1+a)\}$-approximation by Ward and Živný~(SODA'14), where $a=\max\{1, \sqrt{(k-1)/4}\}$. We also show that for monotone $k$-submodular functions there is a polynomial-time $k/(2k-1)$-approximation algorithm while for any… ▽ More This paper presents a polynomial-time $1/2$-approximation algorithm for maximizing nonnegative $k$-submodular functions. This improves upon the previous $\max\{1/3, 1/(1+a)\}$-approximation by Ward and Živný~(SODA'14), where $a=\max\{1, \sqrt{(k-1)/4}\}$. We also show that for monotone $k$-submodular functions there is a polynomial-time $k/(2k-1)$-approximation algorithm while for any $\varepsilon>0$ a $((k+1)/2k+\varepsilon)$-approximation algorithm for maximizing monotone $k$-submodular functions would require exponentially many queries. In particular, our hardness result implies that our algorithms are asymptotically tight. We also extend the approach to provide constant factor approximation algorithms for maximizing skew-bisubmodular functions, which were recently introduced as generalizations of bisubmodular functions. △ Less

Submitted 25 February, 2015; originally announced February 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.

Comments: 22 pages, 2 figures, updated references

MSC Class: 52C25; 05B35; 05C10; 70B15

Sufficient Conditions for the Global Rigidity of Graphs

Authors: Shin-ichi Tanigawa

Abstract: We investigate how to find generic and globally rigid realizations of graphs in $\mathbb{R}^d$ based on elementary geometric observations. Our arguments lead to new proofs of a combinatorial characterization of the global rigidity of graphs in $\mathbb{R}^2$ by Jackson and Jordán and that of body-bar graphs in $\mathbb{R}^d$ recently shown by Connelly, Jordán, and Whiteley. We also extend the 1-ex… ▽ More We investigate how to find generic and globally rigid realizations of graphs in $\mathbb{R}^d$ based on elementary geometric observations. Our arguments lead to new proofs of a combinatorial characterization of the global rigidity of graphs in $\mathbb{R}^2$ by Jackson and Jordán and that of body-bar graphs in $\mathbb{R}^d$ recently shown by Connelly, Jordán, and Whiteley. We also extend the 1-extension theorem and Connelly's composition theorem, which are main tools for generating globally rigid graphs in $\mathbb{R}^d$. In particular we show that any vertex-redundantly rigid graph in $\mathbb{R}^d$ is globally rigid in $\mathbb{R}^d$, where a graph $G=(V,E)$ is called vertex-redundantly rigid if $G-v$ is rigid for any $v\in V$. △ Less

Submitted 10 August, 2014; v1 submitted 14 March, 2014; originally announced March 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.

Comments: arXiv:1308.6380 version 1 was split into two papers. The version 2 of arXiv:1308.6380 consists of Sections 1 - 6 of the version 1. This paper is based on the second part of the version 1 (Sections 7 and 8)

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.

Comments: The version 1 was split into two papers, and this version 2 consists of Sections 1 - 6 of the first version. The second part of the version 1 (Sections 7 and 8) is given in arXiv:1402.0039

Matroids of Gain Graphs in Applied Discrete Geometry

Authors: Shin-ichi Tanigawa

Abstract: A G-gain graph is a graph whose oriented edges are labeled invertibly from a group G. Zaslavsky proposed two matroids of G-gain graphs, called frame matroids and lift matroids, and investigated linear representations of them. Each matroid has a canonical representation over a field F if G is isomorphic to a subgroup of F^{\times} in the case of frame matroids or G is isomorphic to an additive subg… ▽ More A G-gain graph is a graph whose oriented edges are labeled invertibly from a group G. Zaslavsky proposed two matroids of G-gain graphs, called frame matroids and lift matroids, and investigated linear representations of them. Each matroid has a canonical representation over a field F if G is isomorphic to a subgroup of F^{\times} in the case of frame matroids or G is isomorphic to an additive subgroup of F in the case of lift matroids. The canonical representation of the frame matroid of a complete graph is also known as a Dowling geometry, as it was first introduced by Dowling for finite groups. In this paper, we extend these matroids in two ways. The first one is extending the rank function of each matroid, based on submodular functions over G. The resulting rank function generalizes that of the union of frame matroids or lift matroids. Another one is extending the canonical linear representation of the union of d copies of a frame matroid or a lift matroid, based on linear representations of G on a d-dimensional vector space. We show that linear matroids of the latter extension are indeed special cases of the first extensions, as in the relation between Dowling geometries and frame matroids. We also discuss an attempt to unify the extension of frame matroids and that of lift matroids. This work is motivated from recent research on the combinatorial rigidity of symmetric graphs. As special cases, we give several new results on this topic, including combinatorial characterizations of the symmetry-forced rigidity of generic body-bar frameworks with point group symmetries or crystallographic symmetries and the symmetric parallel redrawability of generic bar-joint frameworks with point group symmetries or crystallographic symmetries. △ Less

Submitted 9 November, 2012; v1 submitted 16 July, 2012; originally announced July 2012.

Periodic body-and-bar frameworks

Authors: Ciprian S. Borcea, Ileana Streinu, Shin-ichi Tanigawa

Abstract: Abstractions of crystalline materials known as periodic body-and-bar frameworks are made of rigid bodies connected by fixed-length bars and subject to the action of a group of translations. In this paper, we give a Maxwell-Laman characterization for generic minimally rigid periodic body-and-bar frameworks. As a consequence we obtain efficient polynomial time algorithms for their recognition based… ▽ More Abstractions of crystalline materials known as periodic body-and-bar frameworks are made of rigid bodies connected by fixed-length bars and subject to the action of a group of translations. In this paper, we give a Maxwell-Laman characterization for generic minimally rigid periodic body-and-bar frameworks. As a consequence we obtain efficient polynomial time algorithms for their recognition based on matroid partition and pebble games. △ Less

Submitted 20 October, 2011; originally announced October 2011.

Rooted-tree Decompositions with Matroid Constraints and the Infinitesimal Rigidity of Frameworks with Boundaries

Authors: Naoki Katoh, Shin-ichi Tanigawa

Abstract: As an extension of a classical tree-partition problem, we consider decompositions of graphs into edge-disjoint (rooted-)trees with an additional matroid constraint. Specifically, suppose we are given a graph $G=(V,E)$, a multiset $R=\{r1,..., r_t\}$ of vertices in $V$, and a matroid ${\cal M}$ on $R$. We prove a necessary and sufficient condition for $G$ to be decomposed into $t$ edge-disjoint sub… ▽ More As an extension of a classical tree-partition problem, we consider decompositions of graphs into edge-disjoint (rooted-)trees with an additional matroid constraint. Specifically, suppose we are given a graph $G=(V,E)$, a multiset $R=\{r1,..., r_t\}$ of vertices in $V$, and a matroid ${\cal M}$ on $R$. We prove a necessary and sufficient condition for $G$ to be decomposed into $t$ edge-disjoint subgraphs $G_1=(V_1,T_1),..., G_t=(V_t,T_t)$ such that (i) for each $i$, $G_i$ is a tree with $r_i\in V_i$, and (ii) for each $v\in V$, the multiset $\{r_i\in R\mid v\in V_i\}$ is a base of ${\cal M}$. If ${\cal M}$ is a free matroid, this is a decomposition into $t$ edge-disjoint spanning trees; thus, our result is a proper extension of Nash-Williams' tree-partition theorem. Such a matroid constraint is motivated by combinatorial rigidity theory. As a direct application of our decomposition theorem, we present characterizations of the infinitesimal rigidity of frameworks with non-generic "boundary", which extend classical Laman's theorem for generic 2-rigidity of bar-joint frameworks and Tay's theorem for generic $d$-rigidity of body-bar frameworks. △ Less

Submitted 4 September, 2011; originally announced September 2011.

Constant-Time Algorithms for Sparsity Matroids

Authors: Hiro Ito, Shin-ichi Tanigawa, Yuichi Yoshida

Abstract: A graph $G=(V,E)$ is called $(k,\ell)$-full if $G$ contains a subgraph $H=(V,F)$ of $k|V|-\ell$ edges such that, for any non-empty $F' \subseteq F$, $|F'| \leq k|V(F')| - \ell$ holds. Here, $V(F')$ denotes the set of vertices incident to $F'$. It is known that the family of edge sets of $(k,\ell)$-full graphs forms a family of matroid, known as the sparsity matroid of $G$. In this paper, we give a… ▽ More A graph $G=(V,E)$ is called $(k,\ell)$-full if $G$ contains a subgraph $H=(V,F)$ of $k|V|-\ell$ edges such that, for any non-empty $F' \subseteq F$, $|F'| \leq k|V(F')| - \ell$ holds. Here, $V(F')$ denotes the set of vertices incident to $F'$. It is known that the family of edge sets of $(k,\ell)$-full graphs forms a family of matroid, known as the sparsity matroid of $G$. In this paper, we give a constant-time approximation algorithm for the rank of the sparsity matroid of a degree-bounded undirected graph. This leads to a constant-time tester for $(k,\ell)$-fullness in the bounded-degree model, (i.e., we can decide with high probability whether an input graph satisfies a property $P$ or far from $P$). Depending on the values of $k$ and $\ell$, it can test various properties of a graph such as connectivity, rigidity, and how many spanning trees can be packed. Based on this result, we also propose a constant-time tester for $(k,\ell)$-edge-connected-orientability in the bounded-degree model, where an undirected graph $G$ is called $(k,\ell)$-edge-connected-orientable if there exists an orientation $\vec{G}$ of $G$ with a vertex $r \in V$ such that $\vec{G}$ contains $k$ arc-disjoint dipaths from $r$ to each vertex $v \in V$ and $\ell$ arc-disjoint dipaths from each vertex $v \in V$ to $r$. A tester is called a one-sided error tester for $P$ if it always accepts a graph satisfying $P$. We show, for $k \geq 2$ and (proper) $\ell \geq 0$, any one-sided error tester for $(k,\ell)$-fullness and $(k,\ell)$-edge-connected-orientability requires $Ω(n)$ queries. △ Less

Submitted 13 March, 2011; originally announced March 2011.

Generic Rigidity Matroids with Dilworth Truncations

Authors: Shin-ichi Tanigawa

Abstract: We prove that the linear matroid that defines generic rigidity of $d$-dimensional body-rod-bar frameworks (i.e., structures consisting of disjoint bodies and rods mutually linked by bars) can be obtained from the union of ${d+1 \choose 2}$ graphic matroids by applying variants of Dilworth truncation $n_r$ times, where $n_r$ denotes the number of rods. This leads to an alternative proof of Tay's co… ▽ More We prove that the linear matroid that defines generic rigidity of $d$-dimensional body-rod-bar frameworks (i.e., structures consisting of disjoint bodies and rods mutually linked by bars) can be obtained from the union of ${d+1 \choose 2}$ graphic matroids by applying variants of Dilworth truncation $n_r$ times, where $n_r$ denotes the number of rods. This leads to an alternative proof of Tay's combinatorial characterizations of generic rigidity of rod-bar frameworks and that of identified body-hinge frameworks. △ Less

Submitted 25 April, 2012; v1 submitted 27 October, 2010; originally announced October 2010.

A Proof of the Molecular Conjecture

Authors: Naoki Katoh, Shin-ichi Tanigawa

Abstract: A $d$-dimensional body-and-hinge framework is a structure consisting of rigid bodies connected by hinges in $d$-dimensional space. The generic infinitesimal rigidity of a body-and-hinge framework has been characterized in terms of the underlying multigraph independently by Tay and Whiteley as follows: A multigraph $G$ can be realized as an infinitesimally rigid body-and-hinge framework by mappin… ▽ More A $d$-dimensional body-and-hinge framework is a structure consisting of rigid bodies connected by hinges in $d$-dimensional space. The generic infinitesimal rigidity of a body-and-hinge framework has been characterized in terms of the underlying multigraph independently by Tay and Whiteley as follows: A multigraph $G$ can be realized as an infinitesimally rigid body-and-hinge framework by map** each vertex to a body and each edge to a hinge if and only if ({d+1 \choose 2}-1)G$ contains ${d+1\choose 2}$ edge-disjoint spanning trees, where $({d+1 \choose 2}-1)G$ is the graph obtained from $G$ by replacing each edge by $({d+1\choose 2}-1)$ parallel edges. In 1984 they jointly posed a question about whether their combinatorial characterization can be further applied to a nongeneric case. Specifically, they conjectured that $G$ can be realized as an infinitesimally rigid body-and-hinge framework if and only if $G$ can be realized as that with the additional ``hinge-coplanar'' property, i.e., all the hinges incident to each body are contained in a common hyperplane. This conjecture is called the Molecular Conjecture due to the equivalence between the infinitesimal rigidity of ``hinge-coplanar'' body-and-hinge frameworks and that of bar-and-joint frameworks derived from molecules in 3-dimension. In 2-dimensional case this conjecture has been proved by Jackson and Jord{á}n in 2006. In this paper we prove this long standing conjecture affirmatively for general dimension. △ Less

Submitted 12 July, 2009; v1 submitted 2 February, 2009; originally announced February 2009.

Enumerating Constrained Non-crossing Minimally Rigid Frameworks

Authors: David Avis, Naoki Katoh, Makoto Ohsaki, Ileana Streinu, Shin-ichi Tanigawa

Abstract: In this paper we present an algorithm for enumerating without repetitions all the non-crossing generically minimally rigid bar-and-joint frameworks under edge constraints (also called constrained non-crossing Laman frameworks) on a given generic set of $n$ points. Our algorithm is based on the reverse search paradigm of Avis and Fukuda. It generates each output graph in $O(n^4)$ time and O(n) sp… ▽ More In this paper we present an algorithm for enumerating without repetitions all the non-crossing generically minimally rigid bar-and-joint frameworks under edge constraints (also called constrained non-crossing Laman frameworks) on a given generic set of $n$ points. Our algorithm is based on the reverse search paradigm of Avis and Fukuda. It generates each output graph in $O(n^4)$ time and O(n) space, or, slightly different implementation, in $O(n^3)$ time and $O(n^2)$ space. In particular, we obtain that the set of all the constrained non-crossing Laman frameworks on a given point set is connected by flips which restore the Laman property. △ Less

Submitted 6 November, 2006; v1 submitted 3 August, 2006; originally announced August 2006.

Comments: 14 pages, 3 figures

MSC Class: 68W01