On the extremal Betti numbers of the binomial edge ideal of closed graphs

We study the equality of the extremal Betti numbers of the binomial edge ideal and those of its initial ideal for a closed graph G. We prove that in some cases there is a unique extremal Betti number for and as a consequence there is a unique extremal Betti number for and these extremal Betti numbers are equal.     

Fuzzy Principles and Characterization of Trustworthiness

We show that (a) the basic principles of subdifferential calculus (various local and global fuzzy principles, multidirectional mean value theorem, extremal principle) which are shown to be equivalent for -subdifferentials are in fact equivalent for any subdifferential and (b) for -versions of -subdifferentials these principles turn out to be also equivalent to the properties of the space to be a trustworthy or a subdifferentiability space (with respect to a given subdifferential).     

Canonical divisors in weighted Bergman spaces

Canonical divisors in Bergman spaces can be found as solutions of extremal problems. We derive a formula for certain extremal functions in the weighted Bergman spaces for -1$"> and . This leads to a study of the zeros of a specific family of hypergeometric functions.     

Smooth projective varieties with extremal or next to extremal curvilinear secant subspaces

We intend to give a classification of smooth nondegenerate projective varieties admitting extremal or next to extremal curvilinear secant subspaces. Gruson, Lazarsfeld and Peskine classified all projective integral curves with extremal secant lines. On the other hand, if a locally Cohen-Macaulay variety of degree meets with a linear subspace of dimension at finite points, then as a finite scheme. A linear subspace for which the above length attains maximal possible value is called an extremal secant subspace and such for which is called a next to extremal secant subspace.

In this paper, we show that if a smooth variety of degree has extremal or next to extremal curvilinear secant subspaces, then it is either Del Pezzo or a scroll over a curve of genus . This generalizes the results of Gruson, Lazarsfeld and Peskine (1983) for curves and the work of M-A. Bertin (2002) who classified smooth higher dimensional varieties with extremal secant lines. This is also motivated and closely related to establishing an upper bound for the Castelnuovo-Mumford regularity and giving a classification of the varieties on the boundary.

     

On the Castelnuovo-Mumford regularity of connected curves

In this paper we prove that the regularity of a connected curve is bounded by its degree minus its codimension plus 1. We also investigate the structure of connected curves for which this bound is optimal. In particular, we construct connected curves of arbitrarily high degree in having maximal regularity, but no extremal secants. We also show that any connected curve in of degree at least 5 with maximal regularity and no linear components has an extremal secant.

     

Products of polynomials in uniform norms

We study inequalities connecting a product of uniform norms of polynomials with the norm of their product. This subject includes the well known Gel'fond-Mahler inequalities for the unit disk and Kneser inequality for the segment . Using tools of complex analysis and potential theory, we prove a sharp inequality for norms of products of algebraic polynomials over an arbitrary compact set of positive logarithmic capacity in the complex plane. The above classical results are contained in our theorem as special cases.

It is shown that the asymptotically extremal sequences of polynomials, for which this inequality becomes an asymptotic equality, are characterized by their asymptotically uniform zero distributions. We also relate asymptotically extremal polynomials to the classical polynomials with asymptotically minimal norms.

     

Three dimensional divisorial extremal neighborhoods

In this paper we study divisorial extremal neighborhoods such that 0 ∈ X is a cA_n type threefold terminal singularity, and Γ=f(E) is a smooth curve, where E is the f-exceptional divisor. We view a divisorial extremal neighborhood as a one parameter smoothing of certain surface singularities, and based on this we give a classification of such neighborhoods.     

Extremal Graphs for Homomorphisms II

Extremal problems for graph homomorphisms have recently become a topic of much research. Let denote the number of homomorphisms from G to H. A natural set of problems arises when we fix an image graph H and determine which graph(s) G on n vertices and m edges maximize . We prove that if H is loop‐threshold, then, for every n and m, there is a threshold graph G with n vertices and m edges that maximizes . Similarly, we show that loop‐quasi‐threshold image graphs have quasi‐threshold extremal graphs. In the case , the path on three vertices in which every vertex in looped, the authors [5] determined a set of five graphs, one of which must be extremal for . Also in this article, using similar techniques, we determine a set of extremal graphs for “the fox,” a graph formed by deleting the loop on one of the end‐vertices of . The fox is the unique connected loop‐threshold image graph on at most three vertices for which the extremal problem was not previously solved.     

Orthogonal Designs and Type II Codes over ℤ2k

Symmetric designs are used to construct binary extremal self-dual codes and Hadamard matrices and weighing matrices are used to construct extremal ternary self-dual codes. In this paper, we consider orthogonal designs and related matrices to construct self-dual codes over a larger alphabet. As an example, a number of extremal Type II codes over _2k are constructed.     

Extremal functions as divisors for kernels of Toeplitz operators

In this paper, an extremal function of a Banach space of analytic functions in the unit disk (not all functions vanishing at 0) is a function solving the extremal problem for functions f of norm 1. We study extremal functions of kernels of Toeplitz operators on Hardy spaces H^p, 1<p<∞. Such kernels are special cases of so-called nearly invariant subspaces with respect to the backward shift, for which Hitt proved that when p=2, extremal functions act as isometric divisors. We show that the extremal function is still a contractive divisor when p<2 and an expansive divisor when p>2 (modulo p-dependent multiplicative constants). We give examples showing that the extremal function may fail to be a contractive divisor when p>2 and also fail to be an expansive divisor when p<2. We discuss to what extent these results characterize the Toeplitz operators via invariant subspaces for the backward shift.     

Ein Masstheoretisches Marginalproblem

Let ((X_i, K_i, _i) iI) be a family of normed measure spaces. We study the extremal points of the convex set F of normed measures on the product of ((X_i, K_i): iI) with the marginal measures _i. We give a construction principle for extremal points. If _i is the Lebesgue measure on [0, 1] and I is countable, we prove by using this principle that the set of extremal points of F is weakly dense in F. Finally we give a necessary and some sufficient conditions for extremal points in the case that I={1,2} and _i is the Lebesgue measure on [0,1] for i=1,2.     

Conformal mappings onto prescribed regions via optimization techniques

Summary All well known extremal principles for conformal mappings of simply connected regionsR yield mappings onto disksD. It is shown here that given an arbitrary star shaped regionD as range a corresponding extremal principle is valid just by replacing the ordinary modulus in by a suitable positively homogeneous functional. If the star shaped regionD (bounded or not) is a convex polygon the extremal principle is equivalent to a linear (but infinite) programming problem, which can be solved approximately by passing to an ordinary (i.e. finite) linear programming problem. A numerical example whereR is a disk and the rangeD is an infinite strip is given.     

On the existence and nonexistence of extremal metrics on toric Kähler surfaces

In this paper we study the existence of extremal metrics on toric Kähler surfaces. We show that on every toric Kähler surface, there exists a Kähler class in which the surface admits an extremal metric of Calabi. We found a toric Kähler surface of 9 -fixed points which admits an unstable Kähler class and there is no extremal metric of Calabi in it. Moreover, we prove a characterization of the K-stability of toric surfaces by simple piecewise linear functions. As an application, we show that among all toric Kähler surfaces with 5 or 6 -fixed points, is the only one which allows vanishing Futaki invariant and admits extremal metrics of constant scalar curvature.     

A Note on Ultrametric Matrices

It is proved in this paper that special generalized ultrametric and special matrices are, in a sense, extremal matrices in the boundary of the set of generalized ultrametric and matrices, respectively. Moreover, we present a new class of inverse M-matrices which generalizes the class of matrices.     

Biderivations of triangular algebras

Let be a triangular algebra. A bilinear map is called a biderivation if it is a derivation with respect to both arguments. In this paper we define the concept of an extremal biderivation, and prove that under certain conditions a biderivation of a triangular algebra is a sum of an extremal and an inner biderivation. The main result is then applied to (block) upper triangular matrix algebras and nest algebras. We also consider the question when a derivation of a triangular algebra is an inner derivation.     

Intersections of graphs

The study of graph homomorphisms has a long and distinguished history, with applications in many areas of graph theory. There has been recent interest in counting homomorphisms, and in particular on the question of finding upper bounds for the number of homomorphisms from a graph G into a fixed image graph H. We introduce our techniques by proving that the lex graph has the largest number of homomorphisms into K₂ with one looped vertex (or equivalently, the largest number of independent sets) among graphs with fixed number of vertices and edges. Our main result is the solution to the extremal problem for the number of homomorphisms into P, the completely looped path of length 2 (known as the Widom–Rowlinson model in statistical physics). We show that there are extremal graphs that are threshold, give explicitly a list of five threshold graphs from which any threshold extremal graph must come, and show that each of these “potentially extremal” threshold graphs is in fact extremal for some number of edges. Copyright © 2011 Wiley Periodicals, Inc. J Graph Theory 67: 261–284, 2011     

Minimum Energy Problem on the Hypersphere

We consider the minimum energy problem on the unit sphere \(\mathbb {S}^{d-1}\) in the Euclidean space \(\mathbb {R}^{d}\), d = 3, in the presence of an external field Q, where the charges are assumed to interact according to Newtonian potential 1/r ^d-2, with r denoting the Euclidean distance. We solve the problem by finding the support of the extremal measure, and obtaining an explicit expression for the density of the extremal measure. We then apply our results to an external field generated by a point charge of positive magnitude, placed at the North Pole of the sphere, and to a quadratic external field.     

Rational double points on supersingular surfaces

We investigate configurations of rational double points with the total Milnor number on supersingular surfaces. The complete list of possible configurations is given. As an application, we also give the complete list of extremal (quasi-)elliptic fibrations on supersingular surfaces.