Source author record

Michiel de Bondt

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

19works
9topics
4close collaborators

Published work

19 publications

preprint2022arXiv

Polynomial Hessians with small rank

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+1r+1, are generalized to similar results in arbitrary dimension, for polynomial Hessians with rank rr. All of this is over a field KK 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 55 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[x1,x2,x3,x4]K[x_1,x_2,x_3,x_4], or contained in K[x1,x2,p3(x1,x2)x3+p4(x1,x2)x4+⋯+pn(x1,x2)xn] 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 p3,p4,…,pn∈K[x1,x2]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∈K[x1,x2,x3,x4,x5]h \in K[x_1,x_2,x_3,x_4,x_5], for which the last four rows of the Hessian matrix of tht h are dependent. Here, tt 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 tht h is 44 and the first row of the Hessian matrix of tht h is independent of the other rows.

preprint2016arXiv

Irreducibility properties of Keller maps

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.

preprint2016arXiv

Mathieu subspaces of codimension less than n of Mat_n(K)

We classify all Mathieu subspaces of Matn(K){\rm Mat}_n(K) of codimension less than nn, under the assumption that char K=0{\rm char\,} K = 0 or char K≥n{\rm char\,} K \ge n. More precisely, we show that any proper Mathieu subspace of Matn(K){\rm Mat}_n(K) of codimension less than nn is a subspace of {M∈Matn(K)∣tr M=0}\{M \in {\rm Mat}_n(K) \mid {\rm tr\,} M = 0\} if char K=0{\rm char\,} K = 0 or char K≥n{\rm char\,} K \ge n. On the other hand, we show that every subspace of {M∈Matn(K)∣tr M=0}\{M \in {\rm Mat}_n(K) \mid {\rm tr\,} M = 0\} of codimension less than nn in Matn(K){\rm Mat}_n(K) is a Mathieu subspace of Matn(K){\rm Mat}_n(K) if char K=0{\rm char\,} K = 0 or char K≥n+1{\rm char\,} K \ge n+1.

preprint2015arXiv

Polynomials with constant Hessian determinants in dimension three

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.

preprint2015arXiv

Quasi-translations and singular Hessians

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.

preprint2014arXiv

Some Remarks on the Jacobian Conjecture and Dru{ż}kowski mappings

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≥1r\geq 1 and give some partial results for r=2r=2. Finally, for a homogeneous power linear Keller map F=X+HF=X+H of degree d≥2d \ge 2, we give the inverse polynomial map under the condition that JH3=0JH^3=0. We shall show that deg⁡(F−1)≤dk{\operatorname{deg}}(F^{-1})\leq d^k if k≤2k \le 2 and JHk+1=0JH^{k+1}=0, but also give an example with d=2d = 2 and JH4=0JH^4=0 such that deg⁡(F−1)>d3{\operatorname{deg}}(F^{-1})> d^3.

preprint2014arXiv

Triangularization properties of power linear maps and the Structural Conjecture

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.

preprint2013arXiv

A few remarks on the Generalized Vanishing Conjecture

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 gg is a power of the radical polynomial ff. 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 Λ∈k[∂1,∂2]Λ\in k[\partial_1,\partial_2].

preprint2012arXiv

Solving Mahjong Solitaire boards with peeking

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.

preprint2012arXiv

Some remarks on the Jacobian conjecture and polynomial endomorphisms

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 rr homogeneous parts of positive degree does not have rr 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 rr does not take the same values on r>1r > 1 collinear points, provided rr is a unit in the base field. Next, we show that for invertible maps x+Hx + H of degree dd, such that $\ker \jac H$ has n−rn-r independent vectors over the base field, in particular for invertible power linear maps x+(Ax)∗dx + (Ax)^{*d} with $\rk A = r$, the degree of the inverse of x+Hx + H is at most drd^r.

preprint2012arXiv

The computational complexity of Minesweeper

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.

preprint2011arXiv

Polynomial maps with invertible sums of Jacobian matrices and of directional Derivatives

Let F:Cn→CmF: C^n \rightarrow C^m be a polynomial map with degF=d≥2degF=d \geq 2. We prove that FF is invertible if m=nm = n and ∑i=1d−1JF(αi)\sum^{d-1}_{i=1} JF(α_i) is invertible for all ii, which is trivially the case for invertible quadratic maps. More generally, we prove that for affine lines L={β+μγ∣μ∈C}⊆CnL = \{β+ μγ| μ\in C\} \subseteq C^n (γ≠0γ\ne 0), F∣LF|_L is linearly rectifiable, if and only if ∑i=1d−1JF(αi)⋅γ≠0\sum^{d-1}_{i=1} JF(α_i) \cdot γ\ne 0 for all αi∈Lα_i \in L. This appears to be the case for all affine lines LL when FF is injective and d≤3d \le 3. We also prove that if m=nm = n and ∑i=1nJF(αi)\sum^{n}_{i=1} JF(α_i) is invertible for all αi∈Cnα_i \in C^n, then FF is a composition of an invertible linear map and an invertible polynomial map X+HX+H with linear part XX, such that the subspace generated by {JH(α)∣α∈Cn}\{JH(α) | α\in C^n\} consists of nilpotent matrices.

preprint2010arXiv

An ode to Phipps' jeep convoys

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.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.