Special simplices and Gorenstein toric rings

Athanasiadis [Ehrhart polynomials, simplicial polytopes, magic squares and a conjecture of Stanley, J. Reine Angew. Math., to appear.] studies an effective technique to show that Gorenstein sequences coming from compressed polytopes are unimodal. In the present paper we will use such the technique to find a rich class of Gorenstein toric rings with unimodal h-vectors arising from finite graphs.     

Unimodal Gorenstein h-vectors without the Stanley–Iarrobino property

The study of the h-vectors of graded Gorenstein algebras is an important topic in combinatorial commutative algebra, which despite the large amount of literature produced during the last several years, still presents many interesting open questions. In this note, we commence a study of those unimodal Gorenstein h-vectors that do not satisfy the Stanley–Iarrobino property. Our main results, which are characteristic free, show that such h-vectors exist: 1) In socle degree e if and only if e≥6; and 2) in every codimension five or greater. The main case that remains open is that of codimension four, where no Gorenstein h-vector is known without the Stanley–Iarrobino property. We conclude by proposing the following very general conjecture: The existence of any arbitrary level h-vector is independent of the characteristic of the base field.     

<Emphasis Type="Italic">f</Emphasis>-vectors of simplicial posets that are balls

Results of R. Stanley and M. Masuda completely characterize the h-vectors of simplicial posets whose order complexes are spheres. In this paper we examine the corresponding question in the case where the order complex is a ball. Using the face rings of these posets, we develop a series of new conditions on their h-vectors. We also present new methods for constructing poset balls with specific h-vectors. Combining this work with a new result of S. Murai we are able to give a complete characterization of the h-vectors of simplicial poset balls in all even dimensions, as well as odd dimensions less than or equal to five.     

A Green’s function formulation of nonlocal finite-difference schemes for reaction-diffusion equations

Reaction-diffusion equations are commonly used in different science and engineering fields to describe spatial patterns arising from the interaction of chemical or biochemical reactions and diffusive transport mechanisms. The aim of this work is to show that a Green’s function formulation of reaction-diffusion PDEs is a suitable framework to derive FD schemes incorporating both O(h²) accuracy and nonlocal approximations in the whole domain (including boundary nodes). By doing so, the approach departs from a Green’s function formulation of the boundary-value problem to pose an approximation problem based on a domain decomposition. Within each subdomain, the corresponding integral equation is forced to have zero residual at given grid points. Different FD schemes are obtained depending on the numerical scheme used for computing the Green’s integral over each subdomain. Dirichlet and Neumann boundary conditions are considered, showing that the FD scheme based on the Green’s function formulation incorporates, in a natural way, the effects of boundary nodes in the discretization approximation.     

Extending the Newton-Kantorovich hypothesis for solving equations

The famous Newton-Kantorovich hypothesis (Kantorovich and Akilov, 1982 [3], Argyros, 2007 [2], Argyros and Hilout, 2009 [7]) has been used for a long time as a sufficient condition for the convergence of Newton’s method to a solution of an equation in connection with the Lipschitz continuity of the Fréchet-derivative of the operator involved. Here, using Lipschitz and center-Lipschitz conditions, and our new idea of recurrent functions, we show that the Newton-Kantorovich hypothesis can be weakened, under the same information. Moreover, the error bounds are tighter than the corresponding ones given by the dominating Newton-Kantorovich theorem (Argyros, 1998 [1]; [2] and [7]; Ezquerro and Hernández, 2002 [11]; [3]; Proinov 2009, 2010 [16] and [17]).Numerical examples including a nonlinear integral equation of Chandrasekhar-type (Chandrasekhar, 1960 [9]), as well as a two boundary value problem with a Green’s kernel (Argyros, 2007 [2]) are also provided in this study.     

On subdivisions of simplicial complexes: Characterizing localh-vectors

A well-known combinatorial invariant of simplicial complexes is theh-vector, which has been the subject of much combinatorial research. This paper deals withlocal h-vectors, recently defined by Stanley as a tool for studyingh-vectors of simplicial subdivisions. The face-vector of any simplicial complex can only increase when the complex is subdivided; how does theh-vector change? Motivated by this question, Stanley derived certain useful properties of localh-vectors. In this paper we use mainly geometric arguments to show that these properties characterize localh-vectors, andregular localh-vectors.     

On a conjecture by Kalai

We show that monomial ideals generated in degree two satisfy a conjecture by Eisenbud, Green and Harris. In particular, we give a partial answer to a conjecture of Kalai by proving that h-vectors of flag Cohen-Macaulay simplicial complexes are h-vectors of Cohen-Macaulay balanced simplicial complexes.     

On sign-coherence of c-vectors

Given a finite dimensional algebra A over an algebraically closed field, we consider the c-vectors such as defined by Fu in [18] and we give a new proof of its sign-coherence. Moreover, we characterise the modules whose dimension vectors are c-vectors as bricks respecting a functorially finiteness condition.     

An upper bound for the competition numbers of graphs

A hole of a graph is an induced cycle of length at least 4. Kim (2005) [2] conjectured that the competition number k(G) is bounded by h(G)+1 for any graph G, where h(G) is the number of holes of G. In Lee et al. [3], it is proved that the conjecture is true for a graph whose holes are mutually edge-disjoint. In Li et al. (2009) [4], it is proved that the conjecture is true for a graph, all of whose holes are independent. In this paper, we prove that Kim’s conjecture is true for a graph G satisfying the following condition: for each hole C of G, there exists an edge which is contained only in C among all induced cycles of G.     

Interval conjectures for level Hilbert functions

We conjecture that the set of all Hilbert functions of (artinian) level algebras enjoys a very natural form of regularity, which we call the Interval Conjecture (IC): If, for some positive integer α, $(1,h_1,\dots ,h_i,\dots ,h_e)$ and $(1,h_1,\dots ,h_i+\alpha ,\dots ,h_e)$ are both level h-vectors, then $(1,h_1,\dots ,h_i+\beta ,\dots ,h_e)$ is also level for each integer $\beta =0,1,\dots ,\alpha$. In the Gorenstein case, i.e. when $h_e=1$, we also supply the Gorenstein Interval Conjecture (GIC), which naturally generalizes the IC, and basically states that the same property simultaneously holds for any two symmetric entries, say $h_i$ and $h_{e?i}$, of a Gorenstein h-vector.These conjectures are inspired by the research performed in this area over the last few years. A series of recent results seems to indicate that it will be nearly impossible to characterize explicitly the sets of all Gorenstein or of all level Hilbert functions. Therefore, our conjectures would at least provide the existence of a very strong — and natural — form of order in the structure of such important and complicated sets.We are still far from proving the conjectures at this point. However, we will already solve a few interesting cases, especially when it comes to the IC, in this paper. Among them, that of Gorenstein h-vectors of socle degree 4, that of level h-vectors of socle degree 2, and that of non-unimodal level h-vectors of socle degree 3 and any given codimension.     

h-Vectors of Gorenstein polytopes

We show that the Ehrhart h-vector of an integer Gorenstein polytope with a regular unimodular triangulation satisfies McMullen's g-theorem; in particular, it is unimodal. This result generalizes a recent theorem of Athanasiadis (conjectured by Stanley) for compressed polytopes. It is derived from a more general theorem on Gorenstein affine normal monoids M: one can factor K[M] (K a field) by a “long” regular sequence in such a way that the quotient is still a normal affine monoid algebra. This technique reduces all questions about the Ehrhart h-vector of P to the Ehrhart h-vector of a Gorenstein polytope Q with exactly one interior lattice point, provided each lattice point in a multiple cP, c∈N, can be written as the sum of c lattice points in P. (Up to a translation, the polytope Q belongs to the class of reflexive polytopes considered in connection with mirror symmetry.) If P has a regular unimodular triangulation, then it follows readily that the Ehrhart h-vector of P coincides with the combinatorial h-vector of the boundary complex of a simplicial polytope, and the g-theorem applies.     

On the topological lower bound for the multichromatic number

In 1976, Stahl [14] defined the m-tuple coloring of a graph G and formulated a conjecture on the multichromatic number of Kneser graphs. For m=1 this conjecture is Kneser’s conjecture, which was proved by Lovász in 1978 [10]. Here we show that Lovász’s topological lower bound given in this way cannot be used to prove Stahl’s conjecture. We obtain that the strongest index bound only gives the trivial m⋅ω(G) lower bound if m≥|V(G)|. On the other hand, the connectivity bound for Kneser graphs is constant if m is sufficiently large. These findings provide new examples of graphs showing that the gaps between the chromatic number, the index bound and the connectivity bound can be arbitrarily large.     

Pure O-Sequences and Matroid h-Vectors

We study Stanley’s long-standing conjecture that the h-vectors of matroid simplicial complexes are pure O-sequences. Our method consists of a new and more abstract approach, which shifts the focus from working on constructing suitable artinian level monomial ideals, as often done in the past, to the study of properties of pure O-sequences. We propose a conjecture on pure O-sequences and settle it in small socle degrees. This allows us to prove Stanley’s conjecture for all matroids of rank 3. At the end of the paper, using our method, we discuss a first possible approach to Stanley’s conjecture in full generality. Our technical work on pure O-sequences also uses very recent results of the third author and collaborators.     

The space fractional diffusion equation with Feller’s operator

This paper investigates the space fractional diffusion equation with fractional Feller’s operator. The Green’s function is obtained by using Fourier transform, and the analytical solutions of some space fractional diffusion equations with initial (or initial and boundary) condition are obtained in terms of Green’s function. In addition, numerical simulations are discussed. The results indicate that the effect range of skewness parameter θ has more effect on probability density than that of parameter α. The results also explain the property of the skewness and long tail in the asymmetry diffusion process.     

Optimal weighted estimates of the flows in exterior domains

In this paper, we prove some decay properties of global solutions for the Navier-Stokes equations in an exterior domain Ω⊂Rⁿ, n=2,3.When a domain has a boundary, the pressure term is troublesome since we do not have enough information on the pressure near the boundary. To overcome this difficulty, by multiplying a special form of test functions, we obtain an integral equation. He-Xin (2000) [12] first introduced this method and then Bae-Jin (2006, 2007) [1] and [13] modified their method to obtain better decay rates. Also, Bae-Roh (2009) [11] improved Bae-Jin’s results. Unfortunately, their results were not optimal, because there exists an unpleasant positive small δ in their rates.In this paper, we obtain the following optimal rate without δ,

     

Squarefree P-modules and the cd-index

In this paper, we introduce a new algebraic concept, which we call squarefree P-modules. This concept is inspired from Karu's proof of the non-negativity of the cd-indices of Gorenstein* posets, and supplies a way to study cd-indices from the viewpoint of commutative algebra. Indeed, by using the theory of squarefree P-modules, we give several new algebraic and combinatorial results on CW-posets. First, we define an analogue of the cd-index for any CW-poset and prove its non-negativity when a CW-poset is Cohen–Macaulay. This result proves that the h-vector of the barycentric subdivision of a Cohen–Macaulay regular CW-complex is unimodal. Second, we prove that the Stanley–Reisner ring of the barycentric subdivision of an odd dimensional Cohen–Macaulay polyhedral complex has the weak Lefschetz property. Third, we obtain sharp upper bounds of the cd-indices of Gorenstein* posets for a fixed rank generating function.     

Gal’s conjecture for nestohedra corresponding to complete bipartite graphs

Convex polytopes have interested mathematicians since very ancient times. At present, they occupy a central place in convex geometry, combinatorics, and toric topology and demonstrate the harmony and beauty of mathematics. This paper considers the problem of describing the f-vectors of simple flag polytopes, that is, simple polytopes in which any set of pairwise intersecting facets has nonempty intersection. We show that for each nestohedron corresponding to a connected building set, the h-polynomial is a descent-generating function for some class of permutations; we also prove Gal’s conjecture on the nonnegativity of γ-vectors of flag polytopes for nestohedra constructed over complete bipartite graphs.     

Almost sure exponential stability of backward Euler-Maruyama discretizations for hybrid stochastic differential equations

This is a continuation of the first author’s earlier paper [1] jointly with Pang and Deng, in which the authors established some sufficient conditions under which the Euler-Maruyama (EM) method can reproduce the almost sure exponential stability of the test hybrid SDEs. The key condition imposed in [1] is the global Lipschitz condition. However, we will show in this paper that without this global Lipschitz condition the EM method may not preserve the almost sure exponential stability. We will then show that the backward EM method can capture the almost sure exponential stability for a certain class of highly nonlinear hybrid SDEs.     

Coxeter cones and their h-vectors

Coxeter cones are formed by intersecting the nonnegative sides of a collection of root hyperplanes in some root system. They are shellable subcomplexes of the Coxeter complex, and their h-vectors record the distribution of descents among their chambers. We identify a natural class of “graded” Coxeter cones with the property that their h-vectors are symmetric and unimodal, thereby generalizing recent theorems of Reiner-Welker and Brändén about the Eulerian polynomials of graded partially ordered sets.     

A generalization of the Auslander transpose and the generalized Gorenstein dimension

Let R be a left and right Noetherian ring and C a semidualizing R-bimodule. We introduce a transpose Tr _c M of an R-module M with respect to C which unifies the Auslander transpose and Huang’s transpose, see Z.Y.Huang, On a generalization of the Auslander-Bridger transpose, Comm. Algebra 27 (1999), 5791–5812, in the two-sided Noetherian setting, and use Tr _c M to develop further the generalized Gorenstein dimension with respect to C. Especially, we generalize the Auslander-Bridger formula to the generalized Gorenstein dimension case. These results extend the corresponding ones on the Gorenstein dimension obtained by Auslander in M. Auslander, M. Bridger, Stable Module Theory, Mem. Amer. Math. Soc. vol. 94, Amer. Math. Soc., Providence, RI, 1969.