ความซับซ้อนของการเปิดเครื่องเมทริกซ์

ให้เป็นเมทริกซ์จำนวนเต็มจตุรัสและให้เป็นจำนวนเต็มบวก ฉันสนใจความซับซ้อนของปัญหาการตัดสินใจดังต่อไปนี้:$M$$n$

รายการบนขวาของเป็นบวกหรือไม่$M^n$

โปรดทราบว่าวิธีการที่ชัดเจนของการยกกำลังสองซ้ำ (หรือการคำนวณที่ชัดเจนอื่น ๆ ) ทำให้เราต้องจัดการกับจำนวนเต็มของกำลังขยายสองเท่าคือการมีบิตจำนวนมากแทน อย่างไรก็ตามปัญหาดังกล่าวพบได้ง่ายในคลาส "PosSLP" ของ Allender และคณะ ( "ความซับซ้อนของการวิเคราะห์เชิงตัวเลข", SIAM J. Comput. 38 (5) ) และดังนั้นในระดับที่สี่ของลำดับการนับ .

1) เป็นไปได้หรือไม่ที่จะวางปัญหาการจ่ายไฟเมทริกซ์นี้ในระดับความซับซ้อนที่ต่ำกว่า?

2) ถ้าไม่เป็นไปได้ไหมว่า PosSLP-hard น่าจะเป็นไปได้ไหม

3) ฉันสนใจโดยเฉพาะอย่างยิ่งในปัญหาการจ่ายไฟเมทริกซ์สำหรับเมทริกซ์ที่มีมิติต่ำเช่นมากถึงและรวมถึงเมทริกซ์ 6x6 ความซับซ้อนอาจลดลงสำหรับเมทริกซ์เช่นนี้หรือไม่?

$k = 2,3$$\mathsf{P}$