Related papers: Point-hyperplane incidence geometry and the log-ra…
In $d$-dimensional space (over any field), given a set of lines, a joint is a point passed through by $d$ lines not all lying in some hyperplane. The joints problem asks to determine the maximum number of joints formed by $L$ lines, and it…
We study hyperplane covering problems for finite grid-like structures in $\mathbb{R}^d$. We call a set $\mathcal{C}$ of points in $\mathbb{R}^2$ a conical grid if the line $y = a_i$ intersects $\mathcal{C}$ in exactly $i$ points, for some…
Motivated by work of Dragt and Abell on accelerator physics, we study the completion of symplectic jets by polynomial maps of low degrees. We use Anders\'en-Lempert Theory to prove that symplectic completions always exist, and we prove the…
Using Green's hyperplane restriction theorem, we prove that the rank of a Hermitian form on the space of holomorphic polynomials is bounded by a constant depending only on the maximum rank of the form restricted to affine manifolds. As an…
The point-plane incidence theorem states that the number of incidences between $n$ points and $m\geq n$ planes in the projective three-space over a field $F$, is $$O\left(m\sqrt{n}+ m k\right),$$ where $k$ is the maximum number of collinear…
The Euler characteristic of a very affine variety encodes the number of critical points of the likelihood equation on this variety. In this paper, we study the Euler characteristic of the complement of a hypersurface arrangement with…
We study permutation-invariant embeddings of $d$-dimensional point sets, which are defined by sorting $D$ independent one-dimensional projections of the input. Such embeddings arise in graph deep learning where outputs should be invariant…
We develop a probabilistic approach to the celebrated Jacobian conjecture, which states that any Keller map (i.e. any polynomial mapping $F\colon \mathbb{C}^n \to \mathbb{C}^n$ whose Jacobian determinant is a nonzero constant) has a…
A very popular class of models for networks posits that each node is represented by a point in a continuous latent space, and that the probability of an edge between nodes is a decreasing function of the distance between them in this latent…
This paper studies Bernstein--Sato polynomials $b_{f,0}$ for homogeneous polynomials $f$ of degree $d$ with $n$ variables. It is open to know when $-{n\over d}$ is a root of $b_{f,0}$. For essential indecomposable hyperplane arrangements,…
We study the point location problem in incremental (possibly disconnected) planar subdivisions, that is, dynamic subdivisions allowing insertions of edges and vertices only. Specifically, we present an $O(n\log n)$-space data structure for…
We study the set ${\mathcal P}_S$ consisting of all branched holomorphic projective structures on a compact Riemann surface $X$ of genus $g \geq 1$ and with a fixed branching divisor $S:= \sum_{i=1}^d n_i\cdot x_i$, where $x_i \in X$. Under…
We study the rank-three lifting problem for incidence matrices of finite projective planes through residue-level determinant constraints invisible to tropical valuations alone. In residue characteristic $\neq 3$, any rank-$\le 3$ lift of…
For each pair $(Q_i,Q_j)$ of reference points and each real number $r$ there is a unique hyperplane $h \perp Q_iQ_j$ such that $d(P,Q_i)^2 - d(P,Q_j)^2 = r$ for points $P$ in $h$. Take $n$ reference points in $d$-space and for each pair…
We propose a new representation of $k$-partite, $k$-uniform hypergraphs, that is, a hypergraph with a partition of vertices into $k$ parts such that each hyperedge contains exactly one vertex of each type; we call them $k$-hypergraphs for…
The first part of this report describes the following result that, logarithmic approximation factor for hard capacitated set cover can be achieved from Wolsey's work [9], using a simpler and more intuitive analysis. We further show in our…
Several incidence theorems of planar projective geometry are considered. It is demonstrated that generalizations of Pascal theorem due to M\"obius give rise to double cross-ratio equation and Hietarinta equation. The construction…
We study the integral points on $\mathbb P_ n\setminus D$, where $D$ is the branch locus of a projection from an hypersurface in $\mathbb P_{n+1}$ to a hyperplane $H\simeq\mathbb P_n$. In doing that we follow the approach proposed in a…
A family of $k$ point sets in $d$ dimensions is well-separated if the convex hulls of any two disjoint subfamilies can be separated by a hyperplane. Well-separation is a strong assumption that allows us to conclude that certain kinds of…
A projective rectangle is like a projective plane that has different lengths in two directions. We develop the basic theory of projective rectangles including incidence properties, projective subplanes, configuration counts, a partial…