Related papers: Harbourne, Schenck and Seceleanu's Conjecture
A standard graded artinian monomial complete intersection algebra $A=\Bbbk[x_1,x_2,\ldots,x_n]/(x_1^{a_1},x_2^{a_2},\ldots,x_n^{a_n})$, with $\Bbbk$ a field of characteristic zero, has the strong Lefschetz property due to Stanley in 1980.…
P\'or and Wood conjectured that for all $k,l \ge 2$ there exists $n \ge 2$ with the following property: whenever $n$ points, no $l + 1$ of which are collinear, are chosen in the plane and each of them is assigned one of $k$ colours, then…
Let $R=K[x_1,\ldots,x_n]$ be a polynomial ring in $n$ variables over a field $K$ and $I$ be a matroidal ideal of degree $d$. Let $\astab(I)$ and $\dstab(I)$ be the smallest integers $l$ and $k$, for which $\Ass(I^l)$ and $\depth(R/I^k)$…
In this article, we study the weak and strong Lefschetz properties, and the related notion of almost revlex ideal, in the non-Artinian case, proving that several results known in the Artinian case hold also in this more general setting. We…
We prove that there exists a universal constant $r_3$ such that if $X$ is a smooth projective threefold over $\mathbb{C}$ with non-negative Kodaira dimension, then the linear system $|r K_X|$ admits a fibration that is birational to the…
We develop tools to study the problem of containment of symbolic powers $I^{(m)}$ in powers $I^r$ for a homogeneous ideal $I$ in a polynomial ring $k[{\bf P}^N]$ in $N+1$ variables over an algebraically closed field $k$. We obtain results…
Given an ideal $\mathcal{I}$ on the positive integers, a real sequence $(x_n)$ is said to be $\mathcal{I}$-statistically convergent to $\ell$ provided that $$ \textstyle \left\{n \in \mathbf{N}: \frac{1}{n}|\{k \le n: x_k \notin U\}| \ge…
We study a refinement of the quantum unique ergodicity conjecture for shrinking balls on arithmetic hyperbolic manifolds, with a focus on dimensions $ 2 $ and $ 3 $. For the Eisenstein series for the modular surface $\mathrm{PSL}_2(…
Principal symmetric ideals were recently introduced by Harada, Seceleanu, and Sega, with a focus on their homological properties. They are ideals generated by the orbit of a single polynomial under permutations of variables in a polynomial…
We prove that a sequence $h$ of non-negative integers is the Hilbert function of some Artinian Gorenstein algebra with the strong Lefschetz property if and only if it is an SI-sequence. This generalizes the result by T. Harima which…
In 2006, Kaneko and Koike defined extremal quasimodular forms and proved their existence in depth $1$ and $2$. After normalizing and restricting to the case of depth at most $4$, they conjectured a certain bound on the Fourier coefficients…
A famous conjecture of Sidorenko and Erd\H{o}s-Simonovits states that if H is a bipartite graph then the random graph with edge density p has in expectation asymptotically the minimum number of copies of H over all graphs of the same order…
Brlek and Reutenauer conjectured that any infinite word u with language closed under reversal satisfies the equality 2D(u)=\sum_{n=0}^{\infty} T(n) in which D(u) denotes the defect of u and T(n) denotes C(n+1)-C(n)+2-P(n+1)-P(n), where C…
The Eisenbud-Mazur conjecture states that given an equicharacteristic zero, regular local ring (R,\mathfrak{m}) and a prime ideal P\subset R, we have that P^{(2)}\subseteq mP. In this paper, we computationally prove that the conjecture…
For the almost complete intersection ideals $(x_1^2, \dots, x_n^2, (x_1 + \cdots + x_n)^k)$, we compute their reduced Gr\"obner basis for any term ordering, revealing a combinatorial structure linked to lattice paths, elementary symmetric…
Let $R$ be a Cohen-Macaulay local ring of dimension $d$ with infinite residue field. Let $I$ be an $R$-ideal that has analytic spread $\ell(I)=d$, $G_d$ condition and the Artin-Nagata property $AN^-_{d-2}$. We provide a formula relating the…
The conjecture of Beineke and Harary states that for any two vertices which can be separated by $k$ vertices and $l$ edges for $l\geq 1$ but neither by $k$ vertices and $l-1$ edges nor $k-1$ vertices and $l$ edges there are $k+l$…
Let $C^{2k}_r$ be the $2k$-uniform hypergraph obtained by letting $P_1,...,P_r$ be pairwise disjoint sets of size $k$ and taking as edges all sets $P_i \cup P_j$ with $i \neq j$. This can be thought of as the `$k$-expansion' of the complete…
The main achievement of this paper is to provide a structure theorem for Artinian, Gorenstein local rings with the property that the square of the maximal ideal is generated by two elements. The moduli problem for this class of local…
In the paper we prove Harbourne-Hirschowitz conjecture for quasi-homogeneous linear systems on $\mathbb P^2$ for $m=7$, 8, 9, 10, i.e. systems of curves of given degree passing through points in general position with multiplicities at least…