321 research outputs found
Hypergraph Isomorphism for Groups with Restricted Composition Factors
We consider the isomorphism problem for hypergraphs taking as input two hypergraphs over the same set of vertices V and a permutation group ? over domain V, and asking whether there is a permutation ? ? ? that proves the two hypergraphs to be isomorphic. We show that for input groups, all of whose composition factors are isomorphic to a subgroup of the symmetric group on d points, this problem can be solved in time (n+m)^O((log d)^c) for some absolute constant c where n denotes the number of vertices and m the number of hyperedges. In particular, this gives the currently fastest isomorphism test for hypergraphs in general. The previous best algorithm for the above problem due to Schweitzer and Wiebking (STOC 2019) runs in time n^O(d)m^O(1).
As an application of this result, we obtain, for example, an algorithm testing isomorphism of graphs excluding K_{3,h} as a minor in time n^O((log h)^c). In particular, this gives an isomorphism test for graphs of Euler genus at most g running in time n^O((log g)^c)
Computational complexity of reconstruction and isomorphism testing for designs and line graphs
Graphs with high symmetry or regularity are the main source for
experimentally hard instances of the notoriously difficult graph isomorphism
problem. In this paper, we study the computational complexity of isomorphism
testing for line graphs of - designs. For this class of
highly regular graphs, we obtain a worst-case running time of for bounded parameters . In a first step, our approach
makes use of the Babai--Luks algorithm to compute canonical forms of
-designs. In a second step, we show that -designs can be reconstructed
from their line graphs in polynomial-time. The first is algebraic in nature,
the second purely combinatorial. For both, profound structural knowledge in
design theory is required. Our results extend earlier complexity results about
isomorphism testing of graphs generated from Steiner triple systems and block
designs.Comment: 12 pages; to appear in: "Journal of Combinatorial Theory, Series A
Selective Categories and Linear Canonical Relations
A construction of Wehrheim and Woodward circumvents the problem that
compositions of smooth canonical relations are not always smooth, building a
category suitable for functorial quantization. To apply their construction to
more examples, we introduce a notion of highly selective category, in which
only certain morphisms and certain pairs of these morphisms are "good". We then
apply this notion to the category of linear canonical
relations and the result of our version of the WW
construction, identifying the morphisms in the latter with pairs
consisting of a linear canonical relation and a nonnegative integer. We put a
topology on this category of indexed linear canonical relations for which
composition is continuous, unlike the composition in itself.
Subsequent papers will consider this category from the viewpoint of derived
geometry and will concern quantum counterparts
- …