Shellability of the higher pinched Veronese posets

The pinched Veronese poset \({\mathcal {V}}^{\bullet }_n\) is the poset with ground set consisting of all nonnegative integer vectors of length \(n\) such that the sum of their coordinates is divisible by \(n\) with exception of the vector \((1,\ldots ,1)\) . For two vectors \(\mathbf {a}\) and \(\mathbf {b}\) in \({\mathcal {V}}^{\bullet }_n\) , we have \(\mathbf {a}\preceq \mathbf {b}\) if and only if \(\mathbf {b}- \mathbf {a}\) belongs to the ground set of \({\mathcal {V}}^{\bullet }_n\) . We show that every interval in \({\mathcal {V}}^{\bullet }_n\) is shellable for \(n \ge 4\) . In order to obtain the result, we develop a new method for showing that a poset is shellable. This method differs from classical lexicographic shellability. Shellability of intervals in \({\mathcal {V}}^{\bullet }_n\) has consequences in commutative algebra. As a corollary, we obtain a combinatorial proof of the fact that the pinched Veronese ring is Koszul for \(n \ge 4\) . (This also follows from a result by Conca, Herzog, Trung, and Valla.)     

The M-principal graph of a commutative ring

Let \(R\) be a commutative ring and \(M\) be an \(R\) -module. In this paper, we introduce the \(M\) -principal graph of \(R\) , denoted by \(M-PG(R)\) . It is the graph whose vertex set is \(R\backslash \{0\}\) , and two distinct vertices \(x\) and \(y\) are adjacent if and only if \(xM=yM\) . In the special case that \(M=R, M-PG(R)\) is denoted by \(PG(R)\) . The basic properties and possible structures of these two graphs are studied. Also, some relations between \(PG(R)\) and \(M-PG(R)\) are established.     

Additive mappings satisfying algebraic conditions in rings

Let \(R\) be any \((n+1)!\) -torsion free ring and \(F,D: R\rightarrow R\) be additive mappings satisfying \(F(x^{n+1})=(\alpha (x))^nF(x)+\sum \nolimits _{i=1}^n (\alpha (x))^{n-i}(\beta (x))^iD(x)\) for all \(x\in R\) , where \(n\) is a fixed integer and \(\alpha \) , \(\beta \) are automorphisms of \(R\) . Then, \(D\) is Jordan left \((\alpha , \beta )\) -derivation and \(F\) is generalized Jordan left \((\alpha , \beta )\) -derivation on \(R\) and if additive mappings \(F\) and \(D\) satisfying \(F(x^{n+1})=F(x)(\alpha (x))^n+\sum \nolimits _{i=1}^n (\beta (x))^iD(x)(\alpha (x))^{n-i}\) for all \(x\in R\) . Then, \(D\) is Jordan \((\alpha , \beta )\) -derivation and \(F\) is generalized Jordan \((\alpha , \beta )\) -derivation on \(R\) . At last some immediate consequences of the above theorems have been given.     

Minimum total coloring of planar graph

Graph coloring is an important tool in the study of optimization, computer science, network design, e.g., file transferring in a computer network, pattern matching, computation of Hessians matrix and so on. In this paper, we consider one important coloring, vertex coloring of a total graph, which is familiar to us by the name of “total coloring”. Total coloring is a coloring of \(V\cup {E}\) such that no two adjacent or incident elements receive the same color. In other words, total chromatic number of \(G\) is the minimum number of disjoint vertex independent sets covering a total graph of \(G\) . Here, let \(G\) be a planar graph with \(\varDelta \ge 8\) . We proved that if for every vertex \(v\in V\) , there exists two integers \(i_{v},j_{v} \in \{3,4,5,6,7,8\}\) such that \(v\) is not incident with intersecting \(i_v\) -cycles and \(j_v\) -cycles, then the vertex chromatic number of total graph of \(G\) is \(\varDelta +1\) , i.e., the total chromatic number of \(G\) is \(\varDelta +1\) .     

Degenerate coordinate rings of flag varieties and Frobenius splitting

Recently E. Feigin introduced the \(\mathbb G _a^N\) -degenerations of semisimple algebraic groups and their associated degenerate flag varieties. It has been shown by Feigin, Finkelberg, and Littelmann that the degenerate flag varieties in types \(A_n\) and \(C_n\) are Frobenius split. In this paper, we construct an associated degeneration of homogeneous coordinate rings of classical flag varieties in all types and show that these rings are Frobenius split in most types. It follows that the degenerate flag varieties of types \(A_n, C_n\) , and \(G_2\) are Frobenius split. In particular, we obtain an alternate proof of splitting in types \(A_n\) and \(C_n\) ; the case \(G_2\) was not previously known. We also give a representation-theoretic condition on PBW-graded versions of Weyl modules which is equivalent to the existence of a Frobenius splitting of the classical flag variety that maximally compatibly splits the identity.     

The Cauchy–Riemann equations in the unit ball of l^{2}

We study the local exactness of the \(\overline{\partial }\) operator in the Hilbert space \(l^2\) for a particular class of \((0,1)\) -forms \(\omega \) of the type \(\omega (z) = \sum _i z_i\omega ^i(z) d\overline{z}_i\) , \(z = (z_i)\) in \(l^2\) . We suppose each function \(\omega ^i\) of class \(C^\infty \) in the closed unit ball of \(l^2\) , of the form \(\omega ^i(z) = \sum _k \omega ^i_k\left( z^k\right) \) , where \(\mathbf N = \bigcup I_k\) is a partition of \(\mathbf N\) , \((\) card \(I_k < +\infty )\) and \(z^k\) is the projection of \(z\) on \(\mathbf C^{I_k}\) . We establish sufficient conditions for exactness of \(\omega \) related to the expansion in Fourier series of the functions \(\omega ^i_k\) .     

More differentially 6-uniform power functions

In this paper, we study the differential spectra of differentially 6-uniform functions among the family of monomials \(\big \{x\mapsto x^{2^t-1},\; 1<t<n\big \}\) defined in \(\mathbb {F}_{2^{n}}\) . We show that the functions \(x\mapsto x^{2^t-1}\) when \(t=\frac{n-1}{2},\; \frac{n+3}{2}\) with odd \(n\) have a differential spectrum similar to the one of the function \(x\mapsto x^7\) which belongs to the same family. We also study the functions \(x\mapsto x^{2^t-1}\) when \(t=\frac{kn+1}{3},\frac{(3-k)n+2}{3}\) with \(kn\equiv 2\,\mathrm{mod}\,3\) which are known to be differentially 6-uniform and show that their complete differential spectrum can be provided under an assumption related to a new formulation of the Kloosterman sum. To provide the differential spectra for these functions, a recent result of Helleseth and Kholosha regarding the number of roots of polynomials of the form \(x^{2^t+1}+x+a\) is widely used in this paper. A discussion regarding the non-linearity and the algebraic degree of the vectorial functions \(x\mapsto x^{2^t-1}\) is also proposed.     

Optimal mass transport and symmetric representations of their cost functions

We consider Monge–Kantorovich problems corresponding to general cost functions \(c(x,y)\) but with symmetry constraints on a Polish space \(X\times X\) . Such couplings naturally generate anti-symmetric Hamiltonians on \(X\times X\) that are \(c\) -convex with respect to one of the variables. In particular, if \(c\) is differentiable with respect to the first variable on an open subset \(X\) in \( \mathbb {R}^d\) , we show that for every probability measure \(\mu \) on \(X\) , there exists a symmetric probability measure \(\pi _0\) on \(X\times X\) with marginals \(\mu \) , and an anti-symmetric Hamiltonian \(H\) such that \(\nabla _2H(y, x)=\nabla _1c(x,y)\) for \( \pi _0\) -almost all \((x,y) \in X \times X.\) If \(\pi _0\) is supported on a graph \((x, Sx)\) , then \(S\) is necessarily a \(\mu \) -measure preserving involution (i.e., \(S^2=I\) ) and \(\nabla _2H(x, Sx)=\nabla _1c(Sx,x)\) for \(\mu \) -almost all \(x \in X.\) For monotone cost functions such as those given by \(c(x,y)=\langle x, u(y)\rangle \) or \(c(x,y)=-|x-u(y)|^2\) where \(u\) is a monotone operator, \(S\) is necessarily the identity yielding a classical result by Krause, namely that \(u(x)=\nabla _2H(x, x)\) where \(H\) is anti-symmetric and concave-convex.     

On Sub-determinants and the Diameter of Polyhedra

We derive a new upper bound on the diameter of a polyhedron \(P = \{x {\in } {\mathbb {R}}^n :Ax\le b\}\) , where \(A \in {\mathbb {Z}}^{m\times n}\) . The bound is polynomial in \(n\) and the largest absolute value of a sub-determinant of \(A\) , denoted by \(\Delta \) . More precisely, we show that the diameter of \(P\) is bounded by \(O(\Delta ^2 n^4\log n\Delta )\) . If \(P\) is bounded, then we show that the diameter of \(P\) is at most \(O(\Delta ^2 n^{3.5}\log n\Delta )\) . For the special case in which \(A\) is a totally unimodular matrix, the bounds are \(O(n^4\log n)\) and \(O(n^{3.5}\log n)\) respectively. This improves over the previous best bound of \(O(m^{16}n^3(\log mn)^3)\) due to Dyer and Frieze (Math Program 64:1–16, 1994).     

Neighbour-transitive codes in Johnson graphs

The Johnson graph \(J(v,k)\) has, as vertices, the \(k\) -subsets of a \(v\) -set \(\mathcal {V}\) and as edges the pairs of \(k\) -subsets with intersection of size \(k-1\) . We introduce the notion of a neighbour-transitive code in \(J(v,k)\) . This is a proper vertex subset \(\Gamma \) such that the subgroup \(G\) of graph automorphisms leaving \(\Gamma \) invariant is transitive on both the set \(\Gamma \) of ‘codewords’ and also the set of ‘neighbours’ of \(\Gamma \) , which are the non-codewords joined by an edge to some codeword. We classify all examples where the group \(G\) is a subgroup of the symmetric group \(\mathrm{Sym}\,(\mathcal {V})\) and is intransitive or imprimitive on the underlying \(v\) -set \(\mathcal {V}\) . In the remaining case where \(G\le \mathrm{Sym}\,(\mathcal {V})\) and \(G\) is primitive on \(\mathcal {V}\) , we prove that, provided distinct codewords are at distance at least \(3\) , then \(G\) is \(2\) -transitive on \(\mathcal {V}\) . We examine many of the infinite families of finite \(2\) -transitive permutation groups and construct surprisingly rich families of examples of neighbour-transitive codes. A major unresolved case remains.     

Characterization of ellipses as uniformly dense sets with respect to a family of convex bodies

Let \(K\subset \mathbb R ^N\) be a convex body containing the origin. A measurable set \(G\subset \mathbb R ^N\) with positive Lebesgue measure is said to be uniformly \(K\) -dense if, for any fixed \(r>0\) , the measure of \(G\cap (x+r K)\) is constant when \(x\) varies on the boundary of \(G\) (here, \(x+r K\) denotes a translation of a dilation of \(K\) ). We first prove that \(G\) must always be strictly convex and at least \(C^{1,1}\) -regular; also, if \(K\) is centrally symmetric, \(K\) must be strictly convex, \(C^{1,1}\) -regular and such that \(K=G-G\) up to homotheties; this implies in turn that \(G\) must be \(C^{2,1}\) -regular. Then for \(N=2\) , we prove that \(G\) is uniformly \(K\) -dense if and only if \(K\) and \(G\) are homothetic to the same ellipse. This result was already proven by Amar et al. in 2008 . However, our proof removes their regularity assumptions on \(K\) and \(G\) , and more importantly, it is susceptible to be generalized to higher dimension since, by the use of Minkowski’s inequality and an affine inequality, avoids the delicate computations of the higher-order terms in the Taylor expansion near \(r=0\) for the measure of \(G\cap (x+r\,K)\) (needed in 2008).     

A sufficient condition for zero entropy

We prove that a diffeomorphism \(f\) defined on a compact manifold has zero topological entropy if there are \(d\in {\mathbb {N}}\) and \(K>0\) such that \(\Vert Dg^{n_x}(x)\Vert \le Kn^d_x\) for every diffeomorphism \(g\) that is \(C^1\) close to \(f\) and every periodic point \(x\) of least period \(n_x\) of \(g\) .     

On extensions of completely simple semigroups by groups

An example of an extension of a completely simple semigroup \(U\) by a group \(H\) is given which cannot be embedded into the wreath product of \(U\) by \(H\) . On the other hand, every central extension of \(U\) by \(H\) is shown to be embeddable in the wreath product of \(U\) by \(H\) , and any extension of \(U\) by \(H\) is proved to be embeddable in a semidirect product of a completely simple semigroup \(V\) by \(H\) where the maximal subgroups of \(V\) are direct powers of those of \(U\) .     

Nonlinear Schrödinger equations near an infinite well potential

The paper deals with standing wave solutions of the dimensionless nonlinear Schrödinger equation where the potential \(V_\lambda :\mathbb {R}^N\rightarrow \mathbb {R}\) is close to an infinite well potential \(V_\infty :\mathbb {R}^N\rightarrow \mathbb {R}\) , i. e. \(V_\infty =\infty \) on an exterior domain \(\mathbb {R}^N\setminus \Omega \) , \(V_\infty |_\Omega \in L^\infty (\Omega )\) , and \(V_\lambda \rightarrow V_\infty \) as \(\lambda \rightarrow \infty \) in a sense to be made precise. The nonlinearity may be of Gross–Pitaevskii type. A standing wave solution of \((NLS_\lambda )\) with \(\lambda =\infty \) vanishes on \(\mathbb {R}^N\setminus \Omega \) and satisfies Dirichlet boundary conditions, hence it solves We investigate when a standing wave solution \(\Phi _\infty \) of the infinite well potential \((NLS_\infty )\) gives rise to nearby solutions \(\Phi _\lambda \) of the finite well potential \((NLS_\lambda )\) with \(\lambda \gg 1\) large. Considering \((NLS_\infty )\) as a singular limit of \((NLS_\lambda )\) we prove a kind of singular continuation type results.     

Low Complexity Methods For Discretizing Manifolds Via Riesz Energy Minimization

Let \(A\) be a compact \(d\) -rectifiable set embedded in Euclidean space \({\mathbb R}^p, d\le p\) . For a given continuous distribution \(\sigma (x)\) with respect to a \(d\) -dimensional Hausdorff measure on \(A\) , our earlier results provided a method for generating \(N\) -point configurations on \(A\) that have an asymptotic distribution \(\sigma (x)\) as \(N\rightarrow \infty \) ; moreover, such configurations are “quasi-uniform” in the sense that the ratio of the covering radius to the separation distance is bounded independently of \(N\) . The method is based upon minimizing the energy of \(N\) particles constrained to \(A\) interacting via a weighted power-law potential \(w(x,y)|x-y|^{-s}\) , where \(s>d\) is a fixed parameter and \(w(x,y)=\left( \sigma (x)\sigma (y)\right) ^{-({s}/{2d})}\) . Here we show that one can generate points on \(A\) with the aforementioned properties keeping in the energy sums only those pairs of points that are located at a distance of at most \(r_N=C_N N^{-1/d}\) from each other, with \(C_N\) being a positive sequence tending to infinity arbitrarily slowly. To do this, we minimize the energy with respect to a varying truncated weight \(v_N(x,y)=\Phi (|x-y|/r_N)\cdot w(x,y)\) , where \(\Phi :(0,\infty )\rightarrow [0,\infty )\) is a bounded function with \(\Phi (t)=0, t\ge 1\) , and \(\lim _{t\rightarrow 0^+}\Phi (t)=1\) . Under appropriate assumptions, this reduces the complexity of generating \(N\) -point “low energy” discretizations to order \(N C_N^d\) computations.     

Construction of relative difference sets and Hadamard groups

‘There exist normal \((2m,2,2m,m)\) relative difference sets and thus Hadamard groups of order \(4m\) for all \(m\) of the form $$\begin{aligned} m= x2^{a+t+u+w+\delta -\epsilon +1}6^b 9^c 10^d 22^e 26^f \prod _{i=1}^s p_i^{4a_i} \prod _{i=1}^t q_i^2 \prod _{i=1}^u \left( (r_i+1)/2)r_i^{v_i}\right) \prod _{i=1}^w s_i \end{aligned}$$ under the following conditions: \(a,b,c,d,e,f,s,t,u,w\) are nonnegative integers, \(a_1,\ldots ,a_r\) and \(v_1,\ldots ,v_u\) are positive integers, \(p_1,\ldots ,p_s\) are odd primes, \(q_1,\ldots ,q_t\) and \(r_1,\ldots ,r_u\) are prime powers with \(q_i\equiv 1\ (\mathrm{mod}\ 4)\) and \(r_i\equiv 1\ (\mathrm{mod}\ 4)\) for all \(i, s_1,\ldots ,s_w\) are integers with \(1\le s_i \le 33\) or \(s_i\in \{39,43\}\) for all \(i, x\) is a positive integer such that \(2x-1\) or \(4x-1\) is a prime power. Moreover, \(\delta =1\) if \(x>1\) and \(c+s>0, \delta =0\) otherwise, \(\epsilon =1\) if \(x=1, c+s=0\) , and \(t+u+w>0, \epsilon =0\) otherwise. We also obtain some necessary conditions for the existence of \((2m,2,2m,m)\) relative difference sets in partial semidirect products of \(\mathbb{Z }_4\) with abelian groups, and provide a table cases for which \(m\le 100\) and the existence of such relative difference sets is open.     

Truncated Quillen complexes of p-groups

Let \(p\) be an odd prime and let \(P\) be a \(p\) -group. We examine the order complex of the poset of elementary abelian subgroups of \(P\) having order at least \(p^2\) . Bouc and Thévenaz showed that this complex has the homotopy type of a wedge of spheres. We show that, for each nonnegative integer \(l\) , the number of spheres of dimension \(l\) in this wedge is controlled by the number of extraspecial subgroups \(X\) of \(P\) having order \(p^{2l+3}\) and satisfying \(\Omega _1(C_P(X))=Z(X)\) . We go on to provide a negative answer to a question raised by Bouc and Thévenaz concerning restrictions on the homology groups of the given complex.     

K-Groups of a C^{*}-Algebra Generated by a Single Operator

In this paper, we compute \(K\) -groups \(\{K_{n}(C^{*}(x))\}_{n=0}^{\infty }\) of the \(C^{*}\) -subalgebra \(C^{*}(x)\) of \(B(H),\) generated by a single operator \(x,\) where \(H\) is a separable infinite dimensional Hilbert space, and \(B(H)\) is the operator algebra consisting of all (bounded linear) operators on \(H.\) These computations not only provide nice examples in \(K\) -theory, but also characterize-and-classify projections in a \(C^{*}\) -algebra generated by a single operator. The main result of this paper shows that: the \(K\) -groups of \(C^{*}(x)\) are completely characterized by those of \(C^{*}(q),\) where \(q\) is the positive-operator part of \(x\) in the polar decomposition of \(x.\)      

Existence of the generalized Fučík spectrum for nonhomogeneous elliptic operators

By variational methods and Morse theory, we prove the existence of uncountably many \((\alpha ,\beta )\in \mathbb R ^2\) for which the equation \(-\mathrm{div}\, A(x, \nabla u)=\alpha u_+^{p-1} -\beta u_-^{p-1}\) in \(\Omega \) , has a sign changing solution under the Neumann boundary condition, where a map \(A\) from \(\overline{\Omega }\times \mathbb R ^N\) to \(\mathbb R ^N\) satisfying certain regularity conditions. As a special case, the above equation contains the \(p\) -Laplace equation. However, the operator \(A\) is not supposed to be \((p-1)\) -homogeneous in the second variable. In particular, it is shown that generally the Fu?ík spectrum of the operator \(-\mathrm{div}\, A(x, \nabla u)\) on \(W^{1,p}(\Omega )\) contains some open unbounded subset of \(\mathbb R ^2\) .