Representability of matroids by c-arrangements is undecidable

نویسندگان

چکیده

For a natural number c, c-arrangement is an arrangement of dimension c subspaces satisfying the following condition: sum any subset has multiple c. Matroids arising as normalized rank functions c-arrangements are also known multilinear matroids. We prove that it algorithmically undecidable whether there exists such given matroid representation, or equivalently multilinear. It follows certain problems on network coding and secret sharing schemes undecidable. In proof, we encode group presentations in frame matroids three which call generalized Dowling geometries: construction inspired by geometries finite groups von Staudt construction. The idea to construct reduction from uniform word problem for representability condition gives rise some difficulties their resolution main part paper.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Undecidable Problems on Representability as Binary Relations

We establish the undecidability of representability and of finite representability as algebras of binary relations in a wide range of signatures. In particular, representability and finite representability are undecidable for Boolean monoids and lattice ordered monoids, while representability is undecidable for Jónsson’s relation algebra. We also establish a number of undecidability results for...

متن کامل

A short proof of non-GF(5)-representability of matroids

Tutte proved that a matroid is binary if and only if it does not contain a U2;4-minor. This provides a short proof for non-GF(2)-representability in that we can verify that a given minor is isomorphic to U2;4 in just a few rank evaluations. Using excluded-minor characterizations, short proofs can also be given of non-representablity over GF(3) and over GF(4). For GF(5), it is not even known whe...

متن کامل

Certifying non-representability of matroids over prime fields

It is proved that, for a prime number p, showing that an n-element matroid is not representable over GF (p) requires only O(n) rank evaluations.

متن کامل

Tropical Hyperplane Arrangements and Oriented Matroids

We study the combinatorial properties of a tropical hyperplane arrangement. We define tropical oriented matroids, and prove that they share many of the properties of ordinary oriented matroids. We show that a tropical oriented matroid determines a subdivision of a product of two simplices, and conjecture that this correspondence is a bijection.

متن کامل

On O*-Representability and C*-Representability of ∗-algebras.

Characterization of the *-subalgebras in the algebra of bounded operators acting on Hilbert space is presented. Sufficient conditions for the existence of a faithful representation in pre-Hilbert space of a *-algebra in terms of its Groebner basis are given. These conditions are generalization of the unshrinkability of monomial *-algebras introduced by C. Lance and P. Tapper. The applications t...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Israel Journal of Mathematics

سال: 2022

ISSN: ['1565-8511', '0021-2172']

DOI: https://doi.org/10.1007/s11856-022-2345-z