BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

Lukas Katthän

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record
math.ACmath.COcond-mat.stat-mechmath-phmath.AGmath.MPmath.OC

Catalog footprint

Research overview

21works
7topics
4close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

21 publications

preprint2020arXiv

A unified framework of SAGE and SONC polynomials and its duality theory

We introduce and study a cone which consists of a class of generalized polynomial functions and which provides a common framework for recent non-negativity certificates of polynomials in sparse settings. Specifically, this S\mathcal{S}-cone generalizes and unifies sums of arithmetic-geometric mean exponentials (SAGE) and sums of non-negative circuit polynomials (SONC). We provide a comprehensive characterization of the dual cone of the S\mathcal{S}-cone, which even for its specializations provides novel and projection-free descriptions. As applications of this result, we give an exact characterization of the extreme rays of the S\mathcal{S}-cone and thus also of its specializations, and we provide a subclass of functions for which non-negativity coincides with membership in the S\mathcal{S}-cone. Moreover, we derive from the duality theory an approximation result of non-negative univariate polynomials and show that a SONC analogue of Putinar's Positivstellensatz does not exist even in the univariate case.

Open access
preprint2016arXiv

A Canonical module characterization of Serre's (R1)(\mathrm{R}_1)

In this short note, we give a characterization of domains satisfying Serre's condition (R1)(\mathrm{R}_1) in terms of their canonical modules. In the special case of toric rings, this generalizes a result of the second author (K. Yanagawa, Dualizing complexes of seminormal affine semigroup rings and toric face rings, J. Algebra 425 (2015).) where the normality is described in terms of the "shape" of the canonical module.

Open access
preprint2016arXiv

Algebraic properties of ideals of poset homomorphisms

Given finite posets PP and QQ, we consider a specific ideal L(P,Q)L(P,Q), whose minimal monomial generators correspond to order-preserving maps ϕ:P→Qϕ:P\rightarrow Q. We study algebraic invariants of those ideals. In particular, sharp lower and upper bounds for the Castelnuovo-Mumford regularity and the projective dimension are provided. Precise formulas are obtained for a large subclass of these ideals. Moreover, we provide complete characterizations for several algebraic properties of L(P,Q)L(P,Q), including being Buchsbaum, Cohen-Macaulay, Gorenstein and having a linear resolution. We also give a partial characterization for Golod property of L(P,Q)L(P,Q). Using those results, we derive applications for other important classes of monomial ideals, such as initial ideals of determinantal ideals and multichain ideals.

Open access
preprint2016arXiv

Betti posets and the Stanley depth

Let SS be a polynomial ring and let I⊆SI \subseteq S be a monomial ideal. In this short note, we propose the conjecture that the Betti poset of II determines the Stanley projective dimension of S/IS/I or II. Our main result is that this conjecture implies the Stanley conjecture for II, and it also implies that sdepth⁡S/I≥depth⁡S/I−1. \operatorname{sdepth} S/I \geq \operatorname{depth} S/I - 1. Recently, Duval et al. found a counterexample to the Stanley conjecture, and their counterexample satisfies sdepth⁡S/I=depth⁡S/I−1\operatorname{sdepth} S/I = \operatorname{depth} S/I - 1. So if our conjecture is true, then the conclusion is best possible.

Open access
preprint2016arXiv

The Golod property for Stanley-Reisner rings in varying characteristic

We show that the Golod property of a Stanley-Reisner ring can depend on the characteristic of the base field. More precisely, for every finite set TT of prime numbers we construct simplicial complexes ΔΔ and ΓΓ, such that K[Δ]\mathbb{K}[Δ] is Golod exactly in the characteristics in TT and K[Γ]\mathbb{K}[Γ] is Golod exactly in the characteristics not in TT. Along the way, we show that a one-dimensional simplicial complex is Golod if and only if it is chordal.

Open access
preprint2016arXiv

The Symmetric signature of cyclic quotient singularities

The symmetric signature is an invariant of local domains which was recently introduced by Brenner and the first author in an attempt to find a replacement for the FF-signature in characteristic zero. In the present note we compute the symmetric signature for two-dimensional cyclic quotient singularities, i.e. invariant subrings k[[u,v]]Gk[[u,v]]^G of rings of formal power series under the action of a cyclic group GG. Equivalently, these rings arise as the completions (at the irrelevant ideal) of two-dimensional normal toric rings. We show that for this class of rings the symmetric signature coincides with the FF-signature.

Open access
preprint2015arXiv

How to compute the Stanley depth of a module

In this paper we introduce an algorithm for computing the Stanley depth of a finitely generated multigraded module MM over the polynomial ring K[X1,…,Xn]\mathbb{K}[X_1, \ldots, X_n]. As an application, we give an example of a module whose Stanley depth is strictly greater than the depth of its syzygy module. In particular, we obtain complete answers for two open questions raised by Herzog. Moreover, we show that the question whether MM has Stanley depth at least rr can be reduced to the question whether a certain combinatorially defined polytope P\mathscr{P} contains a Zn\mathbb{Z}^n-lattice point.

Open access
preprint2015arXiv

Lcm-lattices and Stanley depth: a first computational approach

Let K\mathbb{K} be a field, and let S=K[X1,...,Xn]S=\mathbb{K}[X_1, ..., X_n] be the polynomial ring. Let II be a monomial ideal of SS with up to 5 generators. In this paper, we present a computational experiment which allows us to prove that depthSS/I=sdepthSS/I<sdepthSI\mathrm{depth}_S S/I = \mathrm{sdepth}_S S/I < \mathrm{sdepth}_S I. This shows that the Stanley conjecture is true for S/IS/I and II, if II can be generated by at most 5 monomials. The result also brings additional computational evidence for a conjecture made by Herzog.

Open access
preprint2015arXiv

Non-normal affine monoids

We give a geometric description of the set of holes in a non-normal affine monoid QQ. The set of holes turns out to be related to the non-trivial graded components of the local cohomology of k[Q]k[Q]. From this, we see how various properties of k[Q]k[Q] like local normality and Serre's conditions (R1)(R_1) and (S2)(S_2) are encoded in the geometry of the holes. A combinatorial upper bound for the depth the monoid algebra k[Q]k[Q] is obtained and some cases where equality holds are identified. We apply this results to seminormal affine monoids.

Open access
preprint2014arXiv

The behavior of Stanley depth under polarization

Let KK be a field, R=K[X1,...,Xn]R=K[X_1, ..., X_n] be the polynomial ring and J⊊IJ \subsetneq I two monomial ideals in RR. In this paper we show that sdepth I/J−depth I/J=sdepth Ip/Jp−depth Ip/Jp\mathrm{sdepth}\ {I/J} - \mathrm{depth}\ {I/J} = \mathrm{sdepth}\ {I^p/J^p}-\mathrm{depth}\ {I^p/J^p}, where sdepth I/J\mathrm{sdepth}\ I/J denotes the Stanley depth and IpI^p denotes the polarization. This solves a conjecture by Herzog and reduces the famous Stanley conjecture (for modules of the form I/JI/J) to the squarefree case. As a consequence, the Stanley conjecture for algebras of the form R/IR/I and the well-known combinatorial conjecture that every Cohen-Macaulay simplicial complex is partitionable are equivalent.

Open access
preprint2014arXiv

The Stanley Depth in the Upper Half of the Koszul Complex

Let R=K[X1,...,Xn]R = K[X_1, ..., X_n] be a polynomial ring over some field KK. In this paper, we prove that the kk-th syzygy module of the residue class field KK of RR has Stanley depth n−1n-1 for ⌊n/2⌋≤k<n\lfloor n/2 \rfloor \leq k < n, as it had been conjectured by Bruns et. al. in 2010. In particular, this gives the Stanley depth for a whole family of modules whose graded components have dimension greater than 11. So far, the Stanley depth is known only for a few examples of this type. Our proof consists in a close analysis of a matching in the Boolean algebra.

Open access
preprint2014arXiv

Two lower bounds for the Stanley depth of monomial ideals

Let J⊊IJ\varsubsetneq I be two monomial ideals of the polynomial ring S=K[x1,…,xn]S=\mathbb{K}[x_1,\ldots,x_n]. In this paper, we provide two lower bounds for the Stanley depth of I/JI/J. On the one hand, we introduce the notion of lcm number of I/JI/J, denoted by l(I/J)l(I/J), and prove that the inequality sdepth(I/J)≥n−l(I/J)+1{\rm sdepth}(I/J)\geq n-l(I/J)+1 hold. On the other hand, we show that ${\sdepth}(I/J)\geq n-\dim L_{I/J}$, where dim⁡LI/J\dim L_{I/J} denotes the order dimension of the lcm lattice of I/JI/J. We show that II and S/IS/I satisfy Stanley's conjecture, if either the lcm number of II or the order dimension of the lcm lattice of II is small enough. Among other results, we also prove that the Stanley--Reisner ideal of a vertex decomposable simplicial complex satisfies Stanley's conjecture.

Open access
preprint2012arXiv

Decomposing Sets of Inversions

In this note we consider the question how the set of inversions of a permutation π∈Snπ\in S_n can be partitioned into two subset, such that those are itself inversion sets of permutations. This is archived by exploiting a connection to a graph theoretical result. For this we establish a correspondence between the substitution decomposition of ππ and the modular decomposition of its inversion graph. We also consider the special case of multiplicative decompositions.

Open access
preprint2012arXiv

Network representations of non-equilibrium steady states: Cycle decompositions, symmetries and dominant paths

Non-equilibrium steady states (NESS) of Markov processes give rise to non-trivial cyclic probability fluxes. Cycle decompositions of the steady state offer an effective description of such fluxes. Here, we present an iterative cycle decomposition exhibiting a natural dynamics on the space of cycles that satisfies detailed balance. Expectation values of observables can be expressed as cycle "averages", resembling the cycle representation of expectation values in dynamical systems. We illustrate our approach in terms of an analogy to a simple model of mass transit dynamics. Symmetries are reflected in our approach by a reduction of the minimal number of cycles needed in the decomposition. These features are demonstrated by discussing a variant of an asymmetric exclusion process (TASEP). Intriguingly, a continuous change of dominant flow paths in the network results in a change of the structure of cycles as well as in discontinuous jumps in cycle weights.

Open access
preprint2011arXiv

On homology spheres with few minimal non faces

Let Δbe a (d-1)-dimensional homology sphere on n vertices with m minimal non-faces. We consider the invariant α:= m - (n-d) and prove that for a given value of α, there are only finitely many homology spheres that cannot be obtained through one-point suspension and suspension from another. Moreover, we describe all homology spheres with αup to four and, as a corollary, all homology spheres with up to eight minimal non-faces. To prove these results we consider the nerve of the minimal non-faces of Δ.

Open access

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.