Related papers: Determinantal Schemes and Pure O-sequences

We conjecture that the set of all Hilbert functions of (artinian) level algebras enjoys a very natural form of regularity, which we call the {\em Interval Conjecture} (IC): If, for some positive integer $\alpha $, $(1,h_1,...,h_i,...,h_e)$…

A linear mapping upon real n-dimensional space, where the dimension n is odd, has a real eigenvalue-eigenvector pair. The corresponding statement for complex vector spaces holds true for any dimension n, but should be easy to demonstrate…

We show that equivalence of deterministic top-down tree-to-string transducers is decidable, thus solving a long standing open problem in formal language theory. We also present efficient algorithms for subclasses: polynomial time for total…

We prove that a generic homogeneous polynomial of degree $d$ is determined, up to a nonzero constant multiplicative factor, by the vector space spanned by its partial derivatives of order $k$ whenever $k\leq\frac{d}{2}-1$.

Let $\{h_1,h_2,...\}$ be a set of algebraically independent variables. We ask which vectors are extreme in the cone generated by $h_ih_j-h_{i+1}h_{j-1}$ ($i\geq j>0$) and $h_i$ ($i>0$). We call this cone the cone of log concavity. More…

We bring additional support to the conjecture saying that a rational cuspidal plane curve is either free or nearly free. This conjecture was confirmed for curves of even degree, and in this note we prove it for many odd degrees. In…

A linear system of plane curves satisfying multiplicity conditions at points in general position is called special if the dimension is larger than the expected dimension. A (-1) curve is an irreducible curve with self intersection -1 and…

Let $d \geq 3$ be a natural number. We show that for all finite, non-empty sets $A \subseteq \mathbb{R}^d$ that are not contained in a translate of a hyperplane, we have \[ |A-A| \geq (2d-2)|A| - O_d(|A|^{1- \delta}),\] where $\delta >0$ is…

We investigate the relation between codimension two smooth complete intersections in a projective space and some naturally associated graded algebras. We give some examples of log-concave polynomials and we propose two conjectures for these…

In this thesis we use the Beauville-Bogomolov decomposition to compute the LLV algebra of smooth projective complex varieties admitting a holomorphic symplectic form, generalizing known results from hyperk\"ahler and abelian varieties.…

The set of f-vectors of pure simplicial complexes is an important but little understood object in combinatorics and combinatorial commutative algebra. Unfortunately, its explicit characterization appears to be a virtually intractable…

We prove that if $V$ is a conical simple self-dual quasi-lisse vertex algebra and $M$ is an ordinary module then $\dim X_M=\dim X_V$. Hence, if moreover $X_V$ is irreducible then $X_M=X_V$. In particular, this applies to quasi-lisse simple…

Let $R$ be a standard graded algebra over a field. We investigate how the singularities of $R$ affect its $h$-vector, which is the coefficients of the numerator of its Hilbert series. The most concrete consequences of our work asserts that…

For any matroid $M$, we compute the Tutte polynomial $T_M(x,y)$ using the mixed intersection numbers of certain classes in the combinatorial Chow ring $A^\bullet(M)$ arising from hypersimplices. Using the mixed Hodge-Riemann relations, we…

Many problems can be specified by patterns of propositional formulae depending on a parameter, e.g. the specification of a circuit usually depends on the number of bits of its input. We define a logic whose formulae, called "iterated…

In this paper, we study an extension of the stable model semantics for disjunctive logic programs where each true atom in a model is associated with an algebraic expression (in terms of rule labels) that represents its justifications. As in…

In this article we consider smooth projective curves $C$ of genus two described by integral equations of the form $y^2=xh(x)$, where $h(x)\in\mathbb{Z}[x]$ is monic of degree $4$. It turns out that if $h(x)$ is reducible, then the absolute…

The goal of this paper is to explicitly detect all the arithmetic genera of arithmetically Cohen-Macaulay projective curves with a given degree $d$. It is well-known that the arithmetic genus $g$ of a curve $C$ can be easily deduced from…

A (convex) polytope $P$ is said to be $2$-level if for every direction of hyperplanes which is facet-defining for $P$, the vertices of $P$ can be covered with two hyperplanes of that direction. The study of these polytopes is motivated by…

Starting from involutive BE algebras, we redefine the orthomodular algebras, by introducing the notion of implicative-orthomodular algebras. We investigate properties of implicative-orthomodular algebras, and give characterizations of these…