BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Michiel de Bondt contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We give a short proof of a theorem of J.-E. Pin (theorem 1.1 below), which can be found in his thesis. The part of the proof which is my own (not Pin's) is a complete replacement of the same part in an earlier version of this paper.
In this paper, the results in [Singular Hessians, J. Algebra 282 (2004), no. 1, 195--204], for polynomial Hessians with determinant zero in small dimensions $r+1$, are generalized to similar results in arbitrary dimension, for polynomial Hessians with rank $r$. All of this is over a field $K$ of characteristic zero. The results in [Singular Hessians, J. Algebra 282 (2004), no. 1, 195--204] are also reproved in a different perspective. One of these results is the classification by Gordan and Noether of homogeneous polynomials in $5$ variables, for which the Hessians determinant is zero. This result is generalized to homogeneous polynomials in general, for which the Hessian rank is 4. Up to a linear transformation, such a polynomial is either contained in $K[x_1,x_2,x_3,x_4]$, or contained in $$ K[x_1,x_2,p_3(x_1,x_2)x_3+p_4(x_1,x_2)x_4+\cdots+p_n(x_1,x_2)x_n] $$ for certain $p_3,p_4,\ldots,p_n \in K[x_1,x_2]$ which are homogeneous of the same degree. Furthermore, a new result which is similar to those in [Singular Hessians, J. Algebra 282 (2004), no. 1, 195--204], is added, namely about polynomials $h \in K[x_1,x_2,x_3,x_4,x_5]$, for which the last four rows of the Hessian matrix of $t h$ are dependent. Here, $t$ is a variable, which is not one of those with respect to which the Hessian is taken. This result is generalized to arbitrary dimension as well: the Hessian rank of $t h$ is $4$ and the first row of the Hessian matrix of $t h$ is independent of the other rows.
Jedrzejewicz showed that a polynomial map over a field of characteristic zero is invertible, if and only if the corresponding endomorphism maps irreducible polynomials to irreducible polynomials. Furthermore, he showed that a polynomial map over a field of characteristic zero is a Keller map, if and only if the corresponding endomorphism maps irreducible polynomials to square-free polynomials. We show that the latter endomorphism maps other square-free polynomials to square-free polynomials as well. In connection with the above classification of invertible polynomial maps and the Jacobian Conjecture, we study irreducible properties of several types of Keller maps, to each of which the Jacobian Conjecture can be reduced. Herewith, we generalize the result of Bakalarski, that the components of cubic homogeneous Keller maps with a symmetric Jacobian matrix (over C and hence any field of characteristic zero) are irreducible. Furthermore, we show that the Jacobian Conjecture can even be reduced to any of these types with the extra condition that each affinely linear combination of the components of the polynomial map is irreducible. This is somewhat similar to reducing the planar Jacobian Conjecture to the so-called (planar) weak Jacobian Conjecture by Kaliman.
We classify all Mathieu subspaces of ${\rm Mat}_n(K)$ of codimension less than $n$, under the assumption that ${\rm char\,} K = 0$ or ${\rm char\,} K \ge n$. More precisely, we show that any proper Mathieu subspace of ${\rm Mat}_n(K)$ of codimension less than $n$ is a subspace of $\{M \in {\rm Mat}_n(K) \mid {\rm tr\,} M = 0\}$ if ${\rm char\,} K = 0$ or ${\rm char\,} K \ge n$. On the other hand, we show that every subspace of $\{M \in {\rm Mat}_n(K) \mid {\rm tr\,} M = 0\}$ of codimension less than $n$ in ${\rm Mat}_n(K)$ is a Mathieu subspace of ${\rm Mat}_n(K)$ if ${\rm char\,} K = 0$ or ${\rm char\,} K \ge n+1$.
In this paper, we generalize some of the results of [9], and add some new results. Furthermore, we take a closer look at strongly simple algebras, which are introduced in [9].
In this paper, we show that the Jacobian conjecture holds for gradient maps in dimension n <= 3 over a field K of characteristic zero. We do this by extending the following result for n <= 2 by F. Dillen to n <= 3: if f is a polynomial of degree larger than two in n <= 3 variables such that the Hessian determinant of f is constant, then after a suitable linear transformation (replacing f by f(Tx) for some T in GL_n(K)), the Hessian matrix of f becomes zero below the anti-diagonal. The result does not hold for larger n. The proof of the case det Hf in K* is based on the following result, which in turn is based on the already known case det Hf = 0: if f is a polynomial in n <= 3 variables such that det Hf <> 0, then after a suitable linear transformation, there exists a positive weight function w on the variables such that the Hessian determinant of the w-leading part of f is nonzero. This result does not hold for larger n either (even if we replace `positive' by `nontrivial' above). In the last section, we show that the Jacobian conjecture holds for gradient maps over the reals whose linear part is the identity map, by proving that such gradient maps are translations (i.e. have degree 1) if they satisfy the Keller condition. We do this by showing that this problem is the polynomial case of the main result of [Pog]. For polynomials in dimension n <= 3, we generalize this result to arbitrary fields of characteristic zero.
In 1876 in [8], the authors Paul Gordan and Max Nöther classify all homogeneous polynomials h in at most five variables for which the Hessian determinant vanishes. For that purpose, they study quasi-translations which are associated with singular Hessians. We will explain what quasi-translations are and formulate some elementary properties of them. Additionally, we classify all quasi-translations with Jacobian rank one and all so-called irreducible homogeneous quasi-translations with Jacobian rank two. The latter is an important result of [8]. Using these results, we classify all quasi-translations in dimension at most three and all homogeneous quasi-translations in dimension at most four. Furthermore, we describe the connection of quasi-translation with singular Hessians, and as an application, we will classify all polynomials in dimension two and all homogeneous polynomials in dimensions three and four whose Hessian determinant vanishes. More precisely, we will show that up to linear terms, these polynomials can be expressed in n-1 linear forms, where n is the dimension, according to an invalid theorem of Hesse. In the last section, we formulate some known results and conjectures in connection with quasi-translations and singular Hessians.
In this paper, we first show that the Jacobian Conjecture is true for non-homogeneous power linear mappings under some conditions. Secondly, we prove an equivalent statement about the Jacobian Conjecture in dimension $r\geq 1$ and give some partial results for $r=2$. Finally, for a homogeneous power linear Keller map $F=X+H$ of degree $d \ge 2$, we give the inverse polynomial map under the condition that $JH^3=0$. We shall show that ${\operatorname{deg}}(F^{-1})\leq d^k$ if $k \le 2$ and $JH^{k+1}=0$, but also give an example with $d = 2$ and $JH^4=0$ such that ${\operatorname{deg}}(F^{-1})> d^3$.
In this paper, we discuss several additional properties a power linear Keller map may have. The Structural Conjecture by Druzkowski in [Dru] asserts that two such properties are equivalent, but we show that one of this properties is stronger than the other. We even show that the property of linear triangularizability is strictly in between. Furthermore, we give some positive results for small dimensions and small Jacobian ranks.
We show that the Generalized Vanishing Conjecture $$\forall_{m \ge 1} [\Lam^m f^m = 0] \Longrightarrow \forall_{m \gg 0} [\Lam^m (g f^m) = 0]$$ for a fixed differential operator $\Lam \in k[\partial]$ follows from a special case of it, namely that the additional factor $g$ is a power of the radical polynomial $f$. Next we show that in order to prove the Generalized Vanishing Conjecture (up to some bound on the degree of $\Lam$), we may assume that $\Lam$ is a linear combination of powers of distinct partial derivatives. At last, we show that the Generalized Vanishing Conjecture holds for products of linear forms in $\partial$, in particular homogeneous differential operators $Λ\in k[\partial_1,\partial_2]$.
This article is about polynomial maps with a certain symmetry and/or antisymmetry in their Jacobians, and whether the Jacobian Conjecture is satisfied for such maps, or whether it is sufficient to prove the Jacobian Conjecture for such maps. For instance, we show that it suffices to prove the Jacobian conjecture for polynomial maps x + H over C such that JH satisfies all symmetries of the square, where H is homogeneous of arbitrary degree d >= 3.
It is known that strongly nilpotent matrices over a division ring are linearly triangularizable. We describe the structure of such matrices in terms of the strong nilpotency index. We apply our results on quasi-translation x + H such that JH has strong nilpotency index two.
We first prove that solving Mahjong Solitaire boards with peeking is NP-complete, even if one only allows isolated stacks of the forms /aab/ and /abb/. We subsequently show that layouts of isolated stacks of heights one and two can always be solved with peeking, and that doing so is in P, as well as finding an optimal algorithm for such layouts without peeking. Next, we describe a practical algorithm for solving Mahjong Solitaire boards with peeking, which is simple and fast. The algorithm uses an effective pruning criterion and a heuristic to find and prioritize critical groups. The ideas of the algorithm can also be applied to solving Shisen-Sho with peeking.
In this paper, we first show that homogeneous Keller maps are injective on lines through the origin. We subsequently formulate a generalization, which is that under some conditions, a polynomial endomorphism with $r$ homogeneous parts of positive degree does not have $r$ times the same image point on a line through the origin, in case its Jacobian determinant does not vanish anywhere on that line. As a consequence, a Keller map of degree $r$ does not take the same values on $r > 1$ collinear points, provided $r$ is a unit in the base field. Next, we show that for invertible maps $x + H$ of degree $d$, such that $\ker \jac H$ has $n-r$ independent vectors over the base field, in particular for invertible power linear maps $x + (Ax)^{*d}$ with $\rk A = r$, the degree of the inverse of $x + H$ is at most $d^r$.
We show that the Minesweeper game is PP-hard, when the object is to locate all mines with the highest probability. When the probability of locating all mines may be infinitesimal, the Minesweeper game is even PSPACE-complete. In our construction, the player can reveal a boolean circuit in polynomial time, after guessing an initial square with no surrounding mines, a guess that has 99 percent probability of success. Subsequently, the mines must be located with a maximum probability of success. Furthermore, we show that determining the solvability of a partially uncovered Minesweeper board is NP-complete with hexagonal and triangular grids as well as a square grid, extending a similar result for square grids only by R. Kaye. Actually finding the mines with a maximum probability of success is again PP-hard or PSPACE-complete respectively. Our constructions are in such a way that the number of mines can be computed in polynomial time and hence a possible mine counter does not provide additional information. The results are obtained by replacing the dyadic gates in [3] by two primitives which makes life more easy in this context.
Let $F: C^n \rightarrow C^m$ be a polynomial map with $degF=d \geq 2$. We prove that $F$ is invertible if $m = n$ and $\sum^{d-1}_{i=1} JF(α_i)$ is invertible for all $i$, which is trivially the case for invertible quadratic maps. More generally, we prove that for affine lines $L = \{β+ μγ| μ\in C\} \subseteq C^n$ ($γ\ne 0$), $F|_L$ is linearly rectifiable, if and only if $\sum^{d-1}_{i=1} JF(α_i) \cdot γ\ne 0$ for all $α_i \in L$. This appears to be the case for all affine lines $L$ when $F$ is injective and $d \le 3$. We also prove that if $m = n$ and $\sum^{n}_{i=1} JF(α_i)$ is invertible for all $α_i \in C^n$, then $F$ is a composition of an invertible linear map and an invertible polynomial map $X+H$ with linear part $X$, such that the subspace generated by $\{JH(α) | α\in C^n\}$ consists of nilpotent matrices.
The jeep problem was first solved by O. Helmer and N.J. Fine. But not much later, C.G. Phipps formulated a more general solution. He formulated a so-called convoy or caravan variant of the jeep problem and reduced the original problem to it. We shall refine the convoy idea of Phipps and subsequently view a more general jeep problem, which we solve for jeep convoys as well as for a single jeep. In the last section we solve Maddex' jeep problem.
In this paper, we give two algorithms to compute preimages of curves under polynomial endomorphisms. In particular, this gives an efficient way of computing preimages of points. Furthermore, we explain the abstract setting under which one can iteratively compute the inverse of a polynomial automorphism.
The jeep problem was first solved by O. Helmer and N.J. Fine. But not much later, C.G. Phipps formulated a more general solution. He formulated a so-called convoy or caravan variant of the jeep problem and reduced the original problem to it. The convoy idea of Phipps was refined in [3]. Here we will apply this refined idea to several variants of the jeep problem.