arXiv++ Combinatorics

A planar node set $\mathcal X,$ with $\#\mathcal X=\binom{n+2}{2},$ is called $GC_n$ set if each node possesses fundamental polynomial in form of a product of $n$ linear factors. We say that a node uses a line if the line is a factor of the fundamental polynomial of the node. A line is called $k$-node line if it passes through exactly $k$-nodes of $\mathcal X.$ At most $n+1$ nodes can be collinear in any $GC_n$ set and an $(n+1)$-node line is called a maximal line. The Gasca-Maeztu conjecture (1982) states that every $GC_n$ set has a maximal line. Until now the conjecture has been proved only for the cases $n \le 5.$ Here, for a line $\ell$ we introduce and study the concept of $\ell$-lowering of the set $\mathcal X$ and define so called proper lines. We also provide refinements of several basic properties of $GC_n$ sets regarding the maximal lines, $n$-node lines, the used lines, as well as the subset of nodes that use a given line.

A planar node set $\mathcal X,$ with $|\mathcal X|=\binom{n+2}{2}$ is called $GC_n$ set if each node possesses fundamental polynomial in form of a product of $n$ linear factors. We say that a node uses a line $Ax+By+C=0$ if $Ax+By+C$ divides the fundamental polynomial of the node. A line is called $k$-node line if it passes through exactly $k$-nodes of $\mathcal X.$ At most $n+1$ nodes can be collinear in $GC_n$ sets and an $(n+1)$-node line is called maximal line. The Gasca - Maeztu conjecture (1982) states that every $GC_n$ set has a maximal line. Until now the conjecture has been proved only for the cases $n \le 5.$ Here we adjust and prove a conjecture proposed in the paper - V. Bayramyan, H. H., Adv Comput Math, 43: 607-626, 2017. Namely, by assuming that the Gasca-Maeztu conjecture is true, we prove that for any $GC_n$ set $\mathcal X$ and any $k$-node line $\ell$ the following statement holds: Either the line $\ell$ is not used at all, or it is used by exactly $\binom{s}{2}$ nodes of $\mathcal X,$ where $s$ satisfies the condition $σ:=2k-n-1\le s\le k.$ If in addition $σ\ge 3$ and $μ(\mathcal X)>3$ then the first case here is excluded, i.e., the line $\ell$ is necessarily a used line. Here $μ(\mathcal X)$ denotes the number of maximal lines of $\mathcal X.$ At the end, we bring a characterization for the usage of $k$-node lines in $GC_n$ sets when $σ=2$ and $μ(\mathcal X)>3.$

An $n$-poised node set $\mathcal X$ in the plane is called $GC_n$ set if the (bivariate) fundamental polynomial of each node is a product of n linear factors. A line is called $k$-node line if it passes through exactly $k$-nodes of $\mathcal X.$ An $(n+1)$-node line is called maximal line. The well-known conjecture of M. Gasca and J. I. Maeztu states that every $GC_n$ set has a maximal line. Untill now the conjecture has been proved only for the cases $n \le 5.$ We say that a node uses a line if the line is a factor in the node's fundamental polynomial. It is a simple and well-known fact that any maximal line $M$ is used by all $\binom{n+1}{2}$ nodes in $\mathcal X\setminus M.$ Here we consider the main result of the paper - V. Bayramyan, H. Hakopian, On a new property of n-poised and $GC_n$ sets, Adv Comput Math, 43, (2017) 607-626, stating that any $n$-node line of $GC_n$ set is used either by exactly $\binom{n}{2}$ nodes or by exactly $\binom{n-1}{2}$ nodes, provided that the Gasca-Maeztu conjecture is true. In this paper we show that this result is not correct in the case $n=3.$ Namely, we bring an example of a $GC_3$ set and a $3$-node line there which is not used at all. Fortunately, then we were able to establish that this is the only possible counterexample, i.e., the above mentioned result is true for all $n\ge 1, n\neq 3.$ We also characterize the exclusive case $n=3$ and present some new results on the maximal lines and the usage of $n$-node lines in $GC_n$ sets.