Rado Numbers fora(x+y)=bz

In the case of existence the smallest numberN=Ra_kis called a Rado number if it is guaranteed that anyk-coloring of the numbers 1, 2, …, Ncontains a monochromatic solution of a given system of linear equations. We will determine Ra_k(a, b) for the equationa(x+y)=bzifb=2 andb=a+1. Also, the case of monochromatic sequences {x_n} generated bya(x_n+x_n+1)=bx_n+2 is discussed.     

On super edge-antimagic total labelings of

A graph G of order p and size q is called (a,d)-edge-antimagic total if there exists a bijective function f:V(G)E(G)→{1,2,…,p+q} such that the edge-weights w(uv)=f(u)+f(v)+f(uv), uvE(G), form an arithmetic sequence with first term a and common difference d. The graph G is said to be super (a,d)-edge-antimagic total if the vertex labels are 1,2,…,p. In this paper we study super (a,d)-edge-antimagic properties of mK_n, that is, of the graph formed by the disjoint union of m copies of K_n.     

Finite difference methods for two-point boundary value problems involving high order differential equations

We discuss the construction of finite difference schemes for the two-point nonlinear boundary value problem:y ⁽²ⁿ⁾+f(x,y)=0,y ^(2j)(a)=A _2j ,y ^(2j)(b)=B _2j ,j=0(1)n–1,n2. In the case of linear differential equations, these finite difference schemes lead to (2n+1)-diagonal linear systems. We consider in detail methods of orders two, four and six for two-point boundary value problems involving a fourth order differential equation; convergence of these methods is established and illustrated by numerical examples.     

On an alternative functional equation related to the Cauchy equation

We consider the following problem: Let (G, +) be an abelian group,B a complex Banach space,a, bB,b0,M a positive integer; find all functionsf:G B such that for every (x, y) G ×G the Cauchy differencef(x+y)–f(x)–f(y) belongs to the set {a, a+b, a+2b, ...,a+Mb}. We prove that all solutions of the above problem can be obtained by means of the injective homomorphisms fromG/H intoR/Z, whereH is a suitable proper subgroup ofG.     

The asymptotic behavior of nonoscillatory solutions of nonlinear neutral type difference equations

In this paper, the authors study the asymptotic behavior of solutions of second-order neutral type difference equations of the form

Δ²(y_n+py_n−k)+f(n,y_n−ℓ)=0,n

, n ε, and

Δ²(y_n+py_n−k)+f(n,y_n−ℓ,Δy_n−ℓ)=0,n

,n ε using some difference inequalities. We establish conditions under which all nonoscillatory solutions are asymptotic to an + b as n → ∞ with a and b ε .     

Positive periodic solutions of higher-dimensional functional difference equations with a parameter

By using Krasnoselskii's fixed point theorem and upper and lower solutions method, we find some sets of positive values λ determining that there exist positive T-periodic solutions to the higher-dimensional functional difference equations of the form where A(n)=diag[a₁(n),a₂(n),…,a_m(n)], h(n)=diag[h₁(n),h₂(n),…,h_m(n)], a_j,h_j :Z→R⁺, τ :Z→Z are T -periodic, j=1,2,…,m, T1, λ>0, x :Z→R^m, f :R₊^m→R₊^m, where R₊^m={(x₁,…,x_m)^TR^m, x_j0, j=1,2,…,m}, R⁺={xR, x>0}.     

The energy of unitary cayley graphs

A graph G of order n is called hyperenergetic if E(G)>2n-2, where E(G) denotes the energy of G. The unitary Cayley graph X_n has vertex set Z_n={0,1,2,…,n-1} and vertices a and b are adjacent, if gcd(a-b,n)=1. These graphs have integral spectrum and play an important role in modeling quantum spin networks supporting the perfect state transfer. We show that the unitary Cayley graph X_n is hyperenergetic if and only if n has at least two prime factors greater than 2 or at least three distinct prime factors. In addition, we calculate the energy of the complement of unitary Cayley graph and prove that is hyperenergetic if and only if n has at least two distinct prime factors and n≠2p, where p is a prime number. By extending this approach, for every fixed , we construct families of k hyperenergetic non-cospectral integral circulant n-vertex graphs with equal energy.     

Constrained versions of Sauer’s lemma

Let [n]={1,…,n}. For a function h:[n]→{0,1}, x[n] and y{0,1} define by the width ω_h(x,y) of h at x the largest nonnegative integer a such that h(z)=y on x−a≤z≤x+a. We consider finite VC-dimension classes of functions h constrained to have a width ω_h(x_i,y_i) which is larger than N for all points in a sample or a width no larger than N over the whole domain [n]. Extending Sauer’s lemma, a tight upper bound with closed-form estimates is obtained on the cardinality of several such classes.     

Persistence, contractivity and global stability in logistic equations with piecewise constant delays

We establish sufficient conditions for the persistence and the contractivity of solutions and the global asymptotic stability for the positive equilibrium N^*=1/(a+∑_i=0^mb_i) of the following differential equation with piecewise constant arguments:

where r(t) is a nonnegative continuous function on [0,+∞), r(t)0, ∑_i=0^mb_i>0, b_i0, i=0,1,2,…,m, and a+∑_i=0^mb_i>0. These new conditions depend on a,b₀ and ∑_i=1^mb_i, and hence these are other type conditions than those given by So and Yu (Hokkaido Math. J. 24 (1995) 269–286) and others. In particular, in the case m=0 and r(t)≡r>0, we offer necessary and sufficient conditions for the persistence and contractivity of solutions. We also investigate the following differential equation with nonlinear delay terms:

where r(t) is a nonnegative continuous function on [0,+∞), r(t)0, 1−ax−g(x,x,…,x)=0 has a unique solution x^*>0 and g(x₀,x₁,…,x_m)C¹[(0,+∞)×(0,+∞)××(0,+∞)].     

Uniform packing dimension results for multiparameter stable processes

In this article, authors discuss the problem of uniform packing dimension of the image set of multiparameter stochastic processes without random uniform H(o)lder condition, and obtain the uniform packing dimension of multiparameter stable processes.If Z is a stable (N, d, α)-process and αN ≤ d, then the following holds with probability 1 Dim Z(E) = α DimE for any Borel setE ∈ B(R N),where Z(E) = {x: (E) t ∈ E, Z(t) = x}. Dim(E) denotes the packing dimension of E.     

On a generalization of a theorem of Erdős and Fuchs

Let A={a₁,a₂,…}(a₁<a₂<) be an infinite sequence of nonnegative integers, let k≥2 be a fixed integer and denote by r_k(A,n) the number of solutions of a_i1+a_i2++a_ik≤n. Montgomery and Vaughan proved that r₂(A,n)=cn+o(n^1/4) cannot hold for any constant c>0. In this paper, we extend this result to k>2.     

A Lower Bound for {a+b:aA, bB, and P(a,b)≠0}

Let A and B be two finite subsets of a field . In this paper, we provide a non-trivial lower bound for {a+b:aA, bB, and P(a,b)≠0} where P(x,y) [x,y].     

Triangle-free distance-regular graphs

Let Γ denote a distance-regular graph with diameter d≥3. By a parallelogram of length 3, we mean a 4-tuple xyzw consisting of vertices of Γ such that ∂(x,y)=∂(z,w)=1, ∂(x,z)=3, and ∂(x,w)=∂(y,w)=∂(y,z)=2, where ∂ denotes the path-length distance function. Assume that Γ has intersection numbers a ₁=0 and a ₂≠0. We prove that the following (i) and (ii) are equivalent. (i) Γ is Q-polynomial and contains no parallelograms of length 3; (ii) Γ has classical parameters (d,b,α,β) with b<−1. Furthermore, suppose that (i) and (ii) hold. We show that each of b(b+1)²(b+2)/c ₂, (b−2)(b−1)b(b+1)/(2+2b−c ₂) is an integer and that c ₂≤b(b+1). This upper bound for c ₂ is optimal, since the Hermitian forms graph Her₂(d) is a triangle-free distance-regular graph that satisfies c ₂=b(b+1). Work partially supported by the National Science Council of Taiwan, R.O.C.     

Quadratic programming and combinatorial minimum weight product problems

We present a fully polynomial time approximation scheme (FPTAS) for minimizing an objective (a ^T x + γ)(b ^T x + δ) under linear constraints A x ≤ d. Examples of such problems are combinatorial minimum weight product problems such as the following: given a graph G = (V,E) and two edge weights find an s − t path P that minimizes a(P)b(P), the product of its edge weights relative to a and b.      

Largest cliques in connected supermagic graphs

A graph G=(V,E) is said to be magic if there exists an integer labeling f:VE[1,|VE|] such that f(x)+f(y)+f(xy) is constant for all edges xyE.Enomoto, Masuda and Nakamigawa proved that there are magic graphs of order at most 3n²+o(n²) which contain a complete graph of order n. Bounds on Sidon sets show that the order of such a graph is at least n²+o(n²). We close the gap between those two bounds by showing that, for any given connected graph H of order n, there is a connected magic graph G of order n²+o(n²) containing H as an induced subgraph. Moreover G admits a supermagic labeling f, which satisfies the additional condition f(V)=[1,|V|].     

Strong edge-magic graphs of maximum size

An edge-magic total labeling on G is a one-to-one map λ from V(G)∪E(G) onto the integers 1,2,…,|V(G)∪E(G)| with the property that, given any edge (x,y), λ(x)+λ(x,y)+λ(y)=k for some constant k. The labeling is strong if all the smallest labels are assigned to the vertices. Enomoto et al. proved that a graph admitting a strong labeling can have at most 2|V(G)|-3 edges. In this paper we study graphs of this maximum size.     

Clique Vertex Magic Cover of a Graph

Let G admit an H-edge covering and f : V èE ? {1,2,?,n+e}{f : V \cup E \to \{1,2,\ldots,n+e\}} be a bijective mapping for G then f is called H-edge magic total labeling of G if there is a positive integer constant m(f) such that each subgraph H _i , i = 1, . . . , r of G is isomorphic to H and f(H_i)=f(H)=S_{v ? V(Hi)}f(v)+S_{e ? E(Hi)} f(e)=m(f){f(H_i)=f(H)=\Sigma_{v \in V(H_i)}f(v)+\Sigma_{e \in E(H_i)} f(e)=m(f)}. In this paper we define a subgraph-vertex magic cover of a graph and give some construction of some families of graphs that admit this property. We show the construction of some C _n - vertex magic covered and clique magic covered graphs.     

Uniqueness of solutions of boundary-value problems for operator-differential equations on a finite segment and on a semiaxis

For the equationL ₀ x(t)+L ₁x(t)+...+L _n x ⁽ⁿ⁾(t)=O, whereL _k,k=0,1,...,n, are operators acting in a Banach space, we establish criteria for an arbitrary solutionx(t) to be zero provided that the following conditions are satisfied:x ^(1–1) (a)=0, 1=1, ..., p, andx ^(1–1) (b)=0, 1=1,...,q, for - <a< b< (the case of a finite segment) orx ^(1–1) (a)=0, 1=1,...,p, under the assumption that a solutionx(t) is summable on the semiaxista with its firstn derivatives.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 46, No. 3, pp. 279–292, March, 1994.This research was supported by the Ukrainian State Committee on Science and Technology.     

Consecutive magic graphs

Let G be a graph of order n and size e. A vertex-magic total labeling is an assignment of the integers 1,2,…,n+e to the vertices and the edges of G, so that at each vertex, the vertex label and the labels on the edges incident at that vertex, add to a fixed constant, called the magic number of G. Such a labeling is a-vertex consecutive magic if the set of the labels of the vertices is {a+1,a+2,…,a+n}, and is b-edge consecutive magic if the set of labels of the edges is {b+1,b+2,…,b+e}. In this paper we prove that if an a-vertex consecutive magic graph has isolated vertices then the order and the size satisfy (n-1)²+n²=(2e+1)². Moreover, we show that every tree with even order is not a-vertex consecutive magic and, if a tree of odd order is a-vertex consecutive then a=n-1. Furthermore, we show that every a-vertex consecutive magic graph has minimum degree at least two if a=0, or both and 2a?e, and the minimum degree is at least three if both and 2a?e. Finally, we state analogous results for b-edge consecutive magic graphs.     

On Rado numbers for

For all integers m3 and all natural numbers a₁,a₂,…,a_m−1, let n=R(a₁,a₂,…,a_m−1) represent the least integer such that for every 2-coloring of the set {1,2,…,n} there exists a monochromatic solution to

a₁x₁+a₂x₂++a_m−1x_m−1=x_m.