Counting solutions to binomial complete intersections

We study the problem of counting the total number of affine solutions of a system of n binomials in n   variables over an algebraically closed field of characteristic zero. We show that we may decide in polynomial time if that number is finite. We give a combinatorial formula for computing the total number of affine solutions (with or without multiplicity) from which we deduce that this counting problem is #P$\#P$-complete. We discuss special cases in which this formula may be computed in polynomial time; in particular, this is true for generic exponent vectors.     

Necessary and sufficient condition for uniqueness of solution to the first boundary value problem for the diffusion equation in unbounded domains

This paper introduces a notion of regularity of t=-∞$t=-\infty$ for the diffusion (or heat) equation and establishes a necessary and sufficient condition for the existence of a unique bounded solution to the first boundary value problem for the diffusion equation in a general domain Ω⊂R^N+1$\Omega \subset {\mathbb{R}}^{N+1}$ which extends up to t=-∞$t=-\infty$.     

Stable categories of higher preprojective algebras

We introduce (n+1)$(n+1)$-preprojective algebras of algebras of global dimension n$n$. We show that if an algebra is n$n$-representation-finite then its (n+1)$(n+1)$-preprojective algebra is self-injective. In this situation, we show that the stable module category of the (n+1)$(n+1)$-preprojective algebra is (n+1)$(n+1)$-Calabi–Yau, and, more precisely, it is the (n+1)$(n+1)$-Amiot cluster category of the stable n$n$-Auslander algebra of the original algebra. In particular this stable category contains an (n+1)$(n+1)$-cluster tilting object. We show that even if the (n+1)$(n+1)$-preprojective algebra is not self-injective, under certain assumptions (which are always satisfied for n∈{1,2}$n\in \{1,2\}$) the results above still hold for the stable category of Cohen–Macaulay modules.     

A variant smoothing Newton method for P0-NCP based on a new smoothing function

In this paper, we present a new one-step smoothing Newton method proposed for solving the non-linear complementarity problem with _P0$P_0$-function based on a new smoothing NCP$NCP$-function. We adopt a variant merit function. Our algorithm needs only to solve one linear system of equations and perform one line search per iteration. It shows that any accumulation point of the iteration sequence generated by our algorithm is a solution of _P0-NCP$P_0\text{-}NCP$. Furthermore, under the assumption that the solution set is non-empty and bounded, we can guarantee at least one accumulation point of the generated sequence. Numerical experiments show the feasibility and efficiency of the algorithm.     

Generalized vector variational inequalities with star-pseudomonotone and discontinuous operators

It is well known that a vector variational inequality can be a very efficient model for use in studying vector optimization problems. By using the Ky Fan fixed point theorem and the scalarization method we will prove some existence theorems for strong solutions for generalized vector variational inequalities where discontinuous and star-pseudomonotone operators are involved. Our results can be applied to the study of the existence of solutions of vector optimal problems. Some examples are given and analyzed.     

On symmetric and locally finite actions of groups on the quintic tree

In this paper, we determine all faithful, symmetric and locally finite actions of a group on the tree of valency five. As a corollary we complete the classification of the isomorphism types of vertex and edge stabilisers in a group acting symmetrically on a graph of valency five. This builds on work of Weiss and recent work of Feng, Zhou and Feng, Guo. Our approach is to classify the isomorphism types of finite, faithful amalgams of degree (5, 2).     

An approximation of the Mumford–Shah energy by a family of discrete edge-preserving functionals

We show the Γ$\Gamma$-convergence of a family of discrete functionals to the Mumford and Shah image segmentation functional. The functionals of the family are constructed by modifying the elliptic approximating functionals proposed by Ambrosio and Tortorelli. The quadratic term of the energy related to the edges of the segmentation is replaced by a nonconvex functional.     

Nonlinear maps preserving Jordan *-products

Let η$\eta$ be a non-zero scalar. In this paper, we investigate a bijective map ?$?$ between two von Neumann algebras, one of which has no central abelian projections, satisfying ?(AB+ηBA^∗)=?(A)?(B)+η?(B)?(A)^∗$?(AB+\eta B{A}^{\ast })=?\left(A\right)?\left(B\right)+\eta ?\left(B\right)?{\left(A\right)}^{\ast }$ for all A,B$A,B$ in the domain. It is showed that ?$?$ is a linear *-isomorphism if η$\eta$ is not real and ?$?$ is a sum of a linear *-isomorphism and a conjugate linear *-isomorphism if η$\eta$ is real.     

Vector analysis for Dirichlet forms and quasilinear PDE and SPDE on metric measure spaces

Starting with a regular symmetric Dirichlet form on a locally compact separable metric space X$X$, our paper studies elements of vector analysis, _Lp$L_p$-spaces of vector fields and related Sobolev spaces. These tools are then employed to obtain existence and uniqueness results for some quasilinear elliptic PDE and SPDE in variational form on X$X$ by standard methods. For many of our results locality is not assumed, but most interesting applications involve local regular Dirichlet forms on fractal spaces such as nested fractals and Sierpinski carpets.     

Self-affine sets with positive Lebesgue measure

Using techniques introduced by C. Güntürk, we prove that the attractors of a family of overlapping self-affine iterated function systems contain a neighbourhood of zero for all parameters in a certain range. This corresponds to giving conditions under which a single sequence may serve as a ‘simultaneous β$\beta$-expansion’ of different numbers in different bases.     

Periodic solutions for a Rayleigh system of p-Laplacian type

By using the generalized Borsuk theorem in coincidence degree theory, some criteria for guaranteeing the existence of ω$\omega$-periodic solutions for a Rayleigh system of p$p$-Laplacian type are derived.     

A new method for computing Moore–Penrose inverse matrices

The Moore–Penrose inverse of an arbitrary matrix (including singular and rectangular) has many applications in statistics, prediction theory, control system analysis, curve fitting and numerical analysis. In this paper, an algorithm based on the conjugate Gram–Schmidt process and the Moore–Penrose inverse of partitioned matrices is proposed for computing the pseudoinverse of an m×n$m\times n$ real matrix A$A$ with m≥n$m\ge n$ and rank r≤n$r\le n$. Numerical experiments show that the resulting pseudoinverse matrix is reasonably accurate and its computation time is significantly less than that of pseudoinverses obtained by the other methods for large sparse matrices.     

Convexity and the difference property

We show that the class of all delta-convex selfmappings of R$\mathbb{R}$ (differences of two convex functions) enjoys the difference property in the sense of N.G. de Bruijn. The Q$\mathbb{Q}$-differentiability technique has been applied as a proof tool.