Searcharxiv⌕ Search

arXiv subjects

Abhiram Natarajan

Publications and source records attributed to Abhiram Natarajan.

8 recordsLinked to original sources

Khovanskii's Bezout-type Theorem for Pfaffian Functions: A Self-Contained Proof, and Applications

We present a direct and self-contained proof of Khovanskii's Bezout-type bound for the number of nondegenerate solutions of a system of Pfaffian equations. We isolate the ingredients of Khovanskii's original argument and assemble them into a proof that avoids the general theory of integral manifolds developed in his monograph. Our formulation mildly refines the classical statement: rather than depending on the ambient dimension, our bound depends on the maximum number of variables on which any function in the Pfaffian chain depends. As a consequence, we obtain a refined bound on the number of connected components of a Pfaffian set.

math.AG↗

Parameterwise Sharpness of Khovanskii's Bezout-type Bound for Pfaffian Functions

Khovanskii's theorem gives a Bezout-type upper bound for the number of isolated real solutions of a system of $n$ Pfaffian equations in $n$ variables in terms of three complexity parameters: the chain-degree $α$, the degrees $β_i$ of the Pfaffian functions, and the order $s$ of the underlying Pfaffian chain. Despite its fundamental role in Pfaffian geometry and o-minimality, little is known about the sharpness of this bound. We investigate the theorem from a parameter-by-parameter perspective. We show that its dependence on the chain-degree $α$ is asymptotically sharp by constructing, for every $α,s \in \mathbb{N}$, a Pfaffian function of format $(α,1,s)$ with at least $α^s$ nondegenerate real zeros. We also show that its dependence on the degrees $β_i$ is asymptotically sharp: for fixed $n$ and $s$, we construct Pfaffian systems having $Ω_{n,s}(β^{n+s})$ regular common zeros, matching the order of growth predicted by Khovanskii's theorem as $β\to\infty$.

math.AG↗

Partitioning Theorems for Sets of Semi-Pfaffian Sets, with Applications

We generalize the seminal polynomial partitioning theorems of Guth and Katz to a set of semi-Pfaffian sets. Specifically, given a set $Γ\subseteq \mathbb{R}^n$ of $k$-dimensional semi-Pfaffian sets, where each $γ\in Γ$ is defined by a fixed number of Pfaffian functions, and each Pfaffian function is in turn defined with respect to a Pfaffian chain $\vec{q}$ of length $r$, for any $D \ge 1$, we prove the existence of a polynomial $P \in \mathbb{R}[X_1, \ldots, X_n]$ of degree at most $D$ such that each connected component of $\mathbb{R}^n \setminus Z(P)$ intersects at most $\sim \frac{|Γ|}{D^{n - k - r}}$ elements of $Γ$. Also, under some mild conditions on $\vec{q}$, for any $D \ge 1$, we prove the existence of a Pfaffian function $P'$ of degree at most $D$ defined with respect to $\vec{q}$, such that each connected component of $\mathbb{R}^n \setminus Z(P')$ intersects at most $\sim \frac{|Γ|}{D^{n-k}}$ elements of $Γ$. To do so, given a $k$-dimensional semi-Pfaffian set $\mathcal{X} \subseteq \mathbb{R}^n$, and a polynomial $P \in \mathbb{R}[X_1, \ldots, X_n]$ of degree at most $D$, we establish a uniform bound on the number of connected components of $\mathbb{R}^n \setminus Z(P)$ that $\mathcal{X}$ intersects; that is, we prove that the number of connected components of $(\mathbb{R}^n \setminus Z(P)) \cap \mathcal{X}$ is at most $\sim D^{k+r}$. Finally as applications, we derive Pfaffian versions of Szemerédi-Trotter type theorems, and also prove bounds on the number of joints between Pfaffian curves.

math.LO↗

Gröbner Bases Native to Term-ordered Commutative Algebras, with Application to the Hodge Algebra of Minors

Motivated by better understanding the bideterminant (=product of minors) basis on the polynomial ring in $n \times m$ variables, we develop theory \& algorithms for Gröbner bases in not only algebras with straightening law (ASLs or Hodge algebras), but in any commutative algebra over a field that comes equipped with a notion of "monomial" (generalizing the standard monomials of ASLs) and a suitable term order. Rather than treating such an algebra $A$ as a quotient of a polynomial ring and then "lifting" ideals from $A$ to ideals in the polynomial ring, the theory we develop is entirely "native" to $A$ and its given notion of monomial. When applied to the case of bideterminants, this enables us to package several standard results on bideterminants in a clean way that enables new results. In particular, once the theory is set up, it lets us give an almost-trivial proof of a universal Gröbner basis (in our sense) for the ideal of $t$-minors for any $t$. We note that here it was crucial that theory be native to $A$ and its given monomial structure, as in the standard monomial structure given by bideterminants each $t$-minor is a single variable rather than a sum of $t!$ many terms (in the "ordinary monomial" structure).

math.AC↗

Distinct Distances on Pfaffian Curves

We generalize Pach and de Zeeuw's bound for distinct distances between points on two curves, from algebraic curves to Pfaffian curves. Pfaffian curves include those that can be defined by any combination of elementary functions, including exponential and logarithmic functions, rational and irrational powers, trigonometric functions and their inverses, integration, and more. The bound remains $Ω(\min\{m^{3/4}n^{3/4},m^2,n^2\})$, as obtained from the proximity technique of Solymosi and Zahl.

math.MG↗

Betti Numbers of Random Hypersurface Arrangements

We study the expected behavior of the Betti numbers of arrangements of the zeros of random (distributed according to the Kostlan distribution) polynomials in $\mathbb{R}\mathrm{P}^n$. Using a random spectral sequence, we prove an asymptotically exact estimate on the expected number of connected components in the complement of $s$ such hypersurfaces in $\mathbb{R}\mathrm{P}^n$. We also investigate the same problem in the case where the hypersurfaces are defined by random quadratic polynomials. In this case, we establish a connection between the Betti numbers of such arrangements with the expected behavior of a certain model of a randomly defined geometric graph. While our general result implies that the average zeroth Betti number of the union of random hypersurface arrangements is bounded from above by a function that grows linearly in the number of polynomials in the arrangement, using the connection with random graphs, we show an upper bound on the expected zeroth Betti number of random quadrics arrangements that is sublinear in the number of polynomials in the arrangement. This bound is a consequence of a general result on the expected number of connected components in our random graph model which could be of independent interest.

math.AG↗

Zeroes of polynomials on definable hypersurfaces: pathologies exist, but they are rare

Given a sequence $\{Z_d\}_{d\in \mathbb{N}}$ of smooth and compact hypersurfaces in $\mathbb{R}^{n-1}$, we prove that (up to extracting subsequences) there exists a regular definable hypersurface $Γ\subset \mathbb{R}\mathrm{P}^n$ such that each manifold $Z_d$ appears as a component of the zero set on $Γ$ of some polynomial of degree $d$. (This is in sharp contrast with the case when $Γ$ is algebraic, where for example the homological complexity of the zero set of a polynomial $p$ on $Γ$ is bounded by a polynomial in $\mathrm{deg}(p)$.) We call these "pathological examples". In particular, we show that for every $0 \leq k \leq n-2$ and every sequence of natural numbers $a=\{a_d\}_{d\in \mathbb{N}}$ there is a regular, compact and definable hypersurface $Γ\subset \mathbb{R}\mathrm{P}^n$, a subsequence $\{a_{d_m}\}_{m\in \mathbb{N}}$ and homogeneous polynomials $\{p_{m}\}_{m\in \mathbb{N}}$ of degree $\mathrm{deg}(p_m)=d_m$ such that: \begin{equation} \label{eq:pathintro} b_k(Γ\cap Z(p_m))\geq a_{d_m}.\end{equation} (Here $b_k$ denotes the $k$-th Betti number.) This generalizes a result of Gwoździewicz, Kurdyka and Parusiński. On the other hand, for a given definable $Γ$ we show that the Fubini-Study measure, in the gaussian space of polynomials of degree $d$, of the set $Σ_{d_m,a, Γ}$ of polynomials verifying $b_k(Γ\cap Z(p_m))\geq a_{d_m}$ is positive, but there exists a contant $c_Γ$ such that this measure can be bounded by: \begin{equation} 0<\mathbb{P}(Σ_{d_m, a, Γ})\leq \frac{c_Γ d_m^{\frac{n-1}{2}}}{a_{d_m}}. \end{equation} This shows that the set of "pathological examples" has "small" measure.

math.AG↗

Computational Complexity of Certifying Restricted Isometry Property

Given a matrix $A$ with $n$ rows, a number $k 0$ and any arbitrarily small constant $0<δ<1$, there exists some $k$ such that given a matrix $M$, it is SSE-Hard to distinguish the following two cases: - (Highly RIP) $M$ is $(k,δ)$-RIP. - (Far away from RIP) $M$ is not $(k/C, 1-δ)$-RIP. Most of the previous results on the topic of hardness of RIP certification only hold for certification when $δ=o(1)$. In practice, it is of interest to understand the complexity of certifying a matrix with $δ$ being close to $\sqrt{2}-1$, as it suffices for many real applications to have matrices with $δ= \sqrt{2}-1$. Our hardness result holds for any constant $δ$. Specifically, our result proves that even if $δ$ is indeed very small, i.e. the matrix is in fact \emph{strongly RIP}, certifying that the matrix exhibits \emph{weak RIP} itself is SSE-Hard. In order to prove the hardness result, we prove a variant of the Cheeger's Inequality for sparse vectors.

cs.CC↗