Showing 1–8 of 8 results for author: Kayser, L

Computational Complexity of Polynomial Subalgebras

Authors: Leonie Kayser

Abstract: The computational complexity of polynomial ideals and Gröbner bases has been studied since the 1980s. In recent years the related notions of polynomial subalgebras and SAGBI bases have gained more and more attention in computational algebra, with a view towards effective algorithms. We investigate the computational complexity of the subalgebra membership problem and degree bounds. In particular, w… ▽ More The computational complexity of polynomial ideals and Gröbner bases has been studied since the 1980s. In recent years the related notions of polynomial subalgebras and SAGBI bases have gained more and more attention in computational algebra, with a view towards effective algorithms. We investigate the computational complexity of the subalgebra membership problem and degree bounds. In particular, we place these problems in the complexity class EXPSPACE and prove PSPACE-completeness for homogeneous algebras. We highlight parallels and differences compared to the settings of ideals and also look at important classes of polynomials such as monomial algebras. △ Less

Submitted 7 February, 2025; originally announced February 2025.

Comments: 16 pages, comments welcome!

MSC Class: 08A30; 13P10; 14Q20 ACM Class: F.3.2; I.1.3

Logarithmic Discriminants of Hyperplane Arrangements

Authors: Leonie Kayser, Andreas Kretschmer, Simon Telen

Abstract: A recurring task in particle physics and statistics is to compute the complex critical points of a product of powers of affine-linear functions. The logarithmic discriminant characterizes exponents for which such a function has a degenerate critical point in the corresponding hyperplane arrangement complement. We study properties of this discriminant, exploiting its connection with the Hurwitz for… ▽ More A recurring task in particle physics and statistics is to compute the complex critical points of a product of powers of affine-linear functions. The logarithmic discriminant characterizes exponents for which such a function has a degenerate critical point in the corresponding hyperplane arrangement complement. We study properties of this discriminant, exploiting its connection with the Hurwitz form of a reciprocal linear space. △ Less

Submitted 6 June, 2025; v1 submitted 15 October, 2024; originally announced October 2024.

Comments: 20 pages, comments welcome!

MSC Class: 14N20; 14E22; 14N05

Journal ref: Special volume on Positive Geometry, Le Matematiche 80 (1) (2025), 325-346

Mukai lifting of self-dual points in $\mathbb{P}^6$

Authors: Barbara Betti, Leonie Kayser

Abstract: A set of $2n$ points in $\mathbb{P}^{n-1}$ is self-dual if it is invariant under the Gale transform. Motivated by Mukai's work on canonical curves, Petrakiev showed that a general self-dual set of $14$ points in $\mathbb{P}^6$ arises as the intersection of the Grassmannian ${\rm Gr}(2,6)$ in its Plücker embedding in $\mathbb{P}^{14}$ with a linear space of dimension $6$. In this paper we focus on… ▽ More A set of $2n$ points in $\mathbb{P}^{n-1}$ is self-dual if it is invariant under the Gale transform. Motivated by Mukai's work on canonical curves, Petrakiev showed that a general self-dual set of $14$ points in $\mathbb{P}^6$ arises as the intersection of the Grassmannian ${\rm Gr}(2,6)$ in its Plücker embedding in $\mathbb{P}^{14}$ with a linear space of dimension $6$. In this paper we focus on the inverse problem of recovering such a linear space associated to a general self-dual set of points. We use numerical homotopy continuation to approach the problem and implement an algorithm in Julia to solve it. Along the way we also implement the forward problem of slicing Grassmannians and use it to experimentally study the real solutions to this problem. △ Less

Submitted 4 June, 2024; originally announced June 2024.

Comments: 17 pages, 1 table, comments are welcome!

MSC Class: 13H10; 14D22; 14N05; 65H14

Hilbert Functions of Chopped Ideals

Authors: Fulvio Gesmundo, Leonie Kayser, Simon Telen

Abstract: A chopped ideal is obtained from a homogeneous ideal by considering only the generators of a fixed degree. We investigate cases in which the chopped ideal defines the same finite set of points as the original one-dimensional ideal. The complexity of computing these points from the chopped ideal is governed by the Hilbert function and regularity. We conjecture values for these invariants and prove… ▽ More A chopped ideal is obtained from a homogeneous ideal by considering only the generators of a fixed degree. We investigate cases in which the chopped ideal defines the same finite set of points as the original one-dimensional ideal. The complexity of computing these points from the chopped ideal is governed by the Hilbert function and regularity. We conjecture values for these invariants and prove them in many cases. We show that our conjecture is of practical relevance for symmetric tensor decomposition. △ Less

Submitted 2 December, 2024; v1 submitted 5 July, 2023; originally announced July 2023.

Comments: 30 pages, 2 figures, comments are welcome! v2: Fixed typos thanks to referee reports. Numbering in section 2 changed slightly. To appear in J.Algebra

MSC Class: 13D02; 13C40; 14N07; 65Y20

A remark on the Gaussian lower bound for the Neumann heat kernel of the Laplace-Beltrami operator

Authors: Mourad Choulli, Laurent Kayser

Abstract: We adapt in the present note the perturbation method introduced in [3] to get a Gaussian lower bound for the Neumann heat kernel of the Laplace-Beltrami operator on an open subset of a compact Riemannian manifold. We adapt in the present note the perturbation method introduced in [3] to get a Gaussian lower bound for the Neumann heat kernel of the Laplace-Beltrami operator on an open subset of a compact Riemannian manifold. △ Less

Submitted 23 September, 2015; v1 submitted 16 March, 2015; originally announced March 2015.

Observations on gaussian upper bounds for Neumann heat kernels

Authors: Mourad Choulli, Laurent Kayser, El Maati Ouhabaz

Abstract: Given a domain $Ω$ of a complete Riemannian manifold $\mathcal{M}$ and define $\mathcal{A}$ to be the Laplacian with Neumann boundary condition on $Ω$. We prove that, under appropriate conditions, the corresponding heat kernel satisfies the Gaussian upper bound… ▽ More Given a domain $Ω$ of a complete Riemannian manifold $\mathcal{M}$ and define $\mathcal{A}$ to be the Laplacian with Neumann boundary condition on $Ω$. We prove that, under appropriate conditions, the corresponding heat kernel satisfies the Gaussian upper bound $$ h(t,x,y)\leq \frac{C}{\left[V\_Ω(x,\sqrt{t})V\_Ω(y,\sqrt{t})\right]^{1/2}}\left( 1+\frac{d^2(x,y)}{4t}\right)^δe^{-\frac{d^2(x,y)}{4t}},\;\; t\textgreater{}0,\; x,y\in Ω. $$ Here $d$ is the geodesic distance on $\mathcal{M}$, $V\_Ω(x,r)$ is the Riemannian volume of $B(x,r)\cap Ω$, where $B(x,r)$ is the geodesic ball of center $x$ and radius $r$, and $δ$ is a constant related to the doubling property of $Ω$. As a consequence we obtain analyticity of the semigroup $e^{-t {\mathcal A}}$ on $L^p(Ω)$ for all $p \in [1, \infty)$ as well as a spectral multiplier result. △ Less

Submitted 24 February, 2015; originally announced February 2015.

Journal ref: Bulletin of the Australian Mathematical Society 92 (2015) 429-439

Heat trace asymptotics and compactness of isospectral potentials for the Dirichlet Laplacian

Authors: Mourad Choulli, Laurent Kayser, Yavar Kian, Eric Soccorsi

Abstract: Let $Ω$ be a $C^\infty$-smooth bounded domain of $\mathbb{R}^n$, $n \geq 1$, and let the matrix ${\bf a} \in C^\infty (\overlineΩ;\R^{n^2})$ be symmetric and uniformly elliptic. We consider the $L^2(Ω)$-realization $A$ of the operator $-\mydiv ( {\bf a} \nabla \cdot)$ with Dirichlet boundary conditions. We perturb $A$ by some real valued potential $V \in C_0^\infty (Ω)$ and note $A_V=A+V$. We comp… ▽ More Let $Ω$ be a $C^\infty$-smooth bounded domain of $\mathbb{R}^n$, $n \geq 1$, and let the matrix ${\bf a} \in C^\infty (\overlineΩ;\R^{n^2})$ be symmetric and uniformly elliptic. We consider the $L^2(Ω)$-realization $A$ of the operator $-\mydiv ( {\bf a} \nabla \cdot)$ with Dirichlet boundary conditions. We perturb $A$ by some real valued potential $V \in C_0^\infty (Ω)$ and note $A_V=A+V$. We compute the asymptotic expansion of $\mbox{tr}\left( e^{-t A_V}-e^{-t A}\right)$ as $t \downarrow 0$ for any matrix ${\bf a}$ whose coefficients are homogeneous of degree $0$. In the particular case where $A$ is the Dirichlet Laplacian in $Ω$, that is when ${\bf a}$ is the identity of $\R^{n^2}$, we make the four main terms appearing in the asymptotic expansion formula explicit and prove that $L^\infty$-bounded sets of isospectral potentials of $A$ are $H^s$-compact for $s <2$. △ Less

Submitted 11 December, 2013; originally announced December 2013.

Gaussian lower bound for the Neumann Green function of ageneral parabolic operator

Authors: Mourad Choulli, Laurent Kayser

Abstract: Based on the fact that the Neumann Green function can be constructed as a perturbation of the fundamental solution by a single-layer potential, we establish gaussian two-sided bounds for the Neumann Green function for a general parabolic operator. We build our analysis on classical tools coming from the construction of a fundamental solution of a general parabolic operator by means of the so-calle… ▽ More Based on the fact that the Neumann Green function can be constructed as a perturbation of the fundamental solution by a single-layer potential, we establish gaussian two-sided bounds for the Neumann Green function for a general parabolic operator. We build our analysis on classical tools coming from the construction of a fundamental solution of a general parabolic operator by means of the so-called parametrix method. At the same time we provide a simple proof for the gaussian two-sided bounds for the fundamental solution. We also indicate how our method can be adapted to get a gaussian lower bound for the Neumann heat kernel of a compact Riemannian manifold with boundary having non negative Ricci curvature. △ Less

Submitted 7 January, 2015; v1 submitted 14 January, 2013; originally announced January 2013.