[논문 리뷰] The number of real roots of a bivariate polynomial on a line

Martín Avendaño|ArXiv.org|2007. 02. 28.

Coding theory and cryptography참고 문헌 10인용 수 4

한 줄 요약

이 논문은 실수 선 $y = ax + b$ 위에 제한된 $t$개의 비영항을 가진 이변수 다항식에 대해 실근의 수에 대한 지수함수적일 수 없는 상한 $6t - 4$를 확립한다. 이는 제약 조건이 식별적으로 0이 되지 않는 한 실근의 수가 이에 이르지 못함을 증명하며, 중복근을 세더라도 0과 $-b/a$는 각각 한 번만 세는 것으로 간주한다. 이 결과는 실수 계수를 가진 흐린 이변수 다항식에서 선형 인수로의 나눗셈을 다항시간 내에 테스트할 수 있는 알고리즘을 가능하게 한다.

ABSTRACT

We prove that a bivariate polynomial f with exactly t non-zero terms, restricted to a real line {y=ax+b}, either has at most 6t-4 zeroes or vanishes over the whole line. As a consequence, we derive an alternative algorithm to decide whether a linear polynomial divides a bivariate polynomial (with exactly t non-zero terms) over a real number field K within [ log(H(f)H(a)H(b)) [K:Q}] log(deg(f)) t]^{O(1)} bit operations.

연구 동기 및 목표

• 제한된 실수 직선 위에서 흐린 이변수 다항식의 실근 수에 대한 지수함수적일 수 없는 상한을 확립하는 것.
• 다변수 환경으로의 데카르트의 부호변화 법칙 일반화의 부족을 해결하는 것.
• 선형 인수로의 나눗셈 테스트를 위한 대체 알고리즘을 제공하는 것.
• 간격 정리에 의존하는 것 대신 단변수 특수화를 사용함으로써 기존 알고리즘을 개선하는 것.

제안 방법

• 비영항이 $t$ 개인 이변수 다항식 $f \in \mathbb{R}[x,y]$ 를 직선 $y = ax + b$ 에 제한하여 단변수 다항식 $g(x) = f(x, ax + b)$ 를 유도한다.
• 계수 벡터의 부호 변화 $V(f)$ 를 통한 데카르트의 부호변화 법칙의 변종을 사용하여 실근 수를 상한한다.
• 단변수 다항식에 대해 $V((x+1)f) \leq V(f)$ 를 증명함으로써, 이는 부호 변화 수에 대한 귀납적 제어를 가능하게 하는 핵심 보조정리이다.
• 부호 변화를 제어하면서 항의 수를 줄이는 변환을 통해 상한을 반복적으로 적용한다.
• 이 상한을 사용하여, $g(x)$ 가 $6t - 4$ 개를 초과하는 실근을 가진다면 반드시 식별적으로 0이 되어야 한다는 것을 보인다.
• 작은 홀수 $n$ 에 대해 $f(x, x^n)$ 을 평가하고 인수 포함 여부를 확인함으로써 $y - ax - b$ 로의 나눗셈 여부를 테스트하는 알고리즘을 구성한다.

실험 결과

연구 질문

• RQ1 비영항이 $t$ 개인 이변수 다항식이 실수 직선에 제한되었을 때 실근의 최대 수는 얼마인가?
• RQ2 이러한 제한된 다항식의 실근 수에 대해 지수함수적일 수 없는 상한을 확립할 수 있는가?
• RQ3 간격 정리에 의존하지 않고도 흐린 이변수 다항식이 선형 인수로 나누어지는지 효율적으로 테스트할 수 있는 알고리즘이 있는가?
• RQ4 계수 벡터의 부호 변화의 구조를 이용하여 다변수 제한 상황에서 근의 수를 상한화할 수 있는가?

주요 결과

• 비영항이 $t$ 개인 이변수 다항식 $f \in \mathbb{R}[x,y]$ 가 직선 $y = ax + b$ 에 제한되었을 때, 식별적으로 0이 되지 않는 한 실근의 수는 최대 $6t - 4$ 개이다.
• $6t - 4$ 상한은 지수함수적이지 않으며, 0과 $-b/a$의 근을 중복근으로 세더라도 적용 가능하다.
• 이 결과는 흐린 이변수 다항식의 실근 수를 상한화하는 데 있어 기존의 코반스키 타입 지수함수적 상한에 의존하지 않는 새로운, 간단한 방법을 제공한다.
• 다항식 $f$ 가 선형 다항식 $y - ax - b$ 로 나누어지는지 테스트하는 알고리즘을 구성하였으며, 이는 $[\log(H(f)H(a)H(b))[K:\mathbb{Q}] oneq \log(\deg(f))t]^{O(1)}$ 비트 연산 내에서 수행된다.
• 이 알고리즘은 간격 정리를 피하고, 작은 홀수 $n$ 에 대해 단변수 특수화 $f(x, x^n)$ 를 사용한다. 이는 실근 상한에 의해 정당화되며, 정확성이 보장된다.
• 만약 어떤 $n \leq 12t - 5$ 에 대해 $f(x, x^n) \neq 0$ 이면 $f$ 는 $y - ax - b$ 로 나누어지지 않으며, 이 테스트는 $6t - 3$ 번의 검사 후 완료된다.