Partitions involving D.H. Lehmer numbers

Let n ≥ 2 be a fixed integer, let q and c be two integers with q > n and (n, q) = (c, q) = 1. For every positive integer a which is coprime with q we denote by [`(a)]<sub>c</sub>{\overline{a}_{c}} the unique integer satisfying 1 ￡ [`(a)]_c ￡ q{1\leq\overline{a}_{c} \leq{q}} and a[`(a)]_c o c(mod q){a\overline{a}_{c} \equiv{c}({\rm mod}\, q)}. Put

Vertex-Distinguishing Edge Colorings of Graphs with Degree Sum Conditions

An edge coloring is called vertex-distinguishing if every two distinct vertices are incident to different sets of colored edges. The minimum number of colors required for a vertex-distinguishing proper edge coloring of a simple graph G is denoted by c￠_vd(G){\chi'_{vd}(G)}. It is proved that c￠_vd(G) ￡ D(G)+5{\chi'_{vd}(G)\leq\Delta(G)+5} if G is a connected graph of order n ≥ 3 and s₂(G) 3 \frac2n3{\sigma_{2}(G)\geq\frac{2n}{3}}, where σ ₂(G) denotes the minimum degree sum of two nonadjacent vertices in G.     

When is the Uvarov transformation positive definite?

Let L\cal{L} be a positive definite bilinear functional, then the Uvarov transformation of L\cal{L} is given by  U(p,q) = L(p,q) + m p(a)[`(q)](a<sup>-1</sup>) +[`(m)] p([`(a)]<sup>-1</sup>)\,\mathcal{U}(p,q) = \mathcal{L}(p,q) + m\,p(\alpha)\overline{q}(\alpha^{-1}) + \overline{m}\,p(\overline{\alpha}^{-1}) [`(q)]([`(a)])\overline{q}(\overline{\alpha}) where $|\alpha| > 1, m \in \mathbb{C}$|\alpha| > 1, m \in \mathbb{C}. In this paper we analyze conditions on m for U\cal{U} to be positive definite in the linear space of polynomials of degree less than or equal to n. In particular, we show that m has to lie inside a circle in the complex plane defined by α, n and the moments associated with L\cal{L}. We also give an upper bound for the radius of this circle that depends only on α and n. This and other conditions on m are visualized for some examples.     

Harmonicity of functions satisfying a weak form of the mean value property

Let W ì \Bbb Rⁿ\Omega \subset {\Bbb R}^n be a smooth domain and let u ? C⁰(W).u \in C^0(\Omega ). A classical result of potential theory states that¶¶-ò_{Sr([`(x)])</sub> u(x)ds(x)=u([`(x)])-\kern-5mm\int\limits _{S_{r}(\bar x)} u(x)d\sigma (x)=u(\bar x)¶¶for every [`(x)] ? W\bar x\in \Omega and r > 0r>0 if and only if¶¶Du=0 in W.\Delta u=0 \hbox { in } \Omega.¶¶Here -ò<sub>Sr([`(x)])} u(x)ds(x)-\kern-5mm\int\limits _{S_{r}(\bar x)} u(x)d\sigma (x) denotes the average of u on the sphere S_r([`(x)])S_r(\bar x) of center [`(x)]\bar x and radius r. Our main result, which is a "localized" version of the above result, states:¶¶Theorem. Let u ? W^2,1(W)u\in W^{2,1}(\Omega ) and let x ? Wx\in \Omega be a Lebesgue point of Du\Delta u such that¶¶-ò_Sr([`(x)]) u d s- a = o(r²)-\kern-5mm\int\limits _{S_{r}(\bar x)} u d \sigma - \alpha =o(r^2)¶¶for some a ? \Bbb R\alpha \in \Bbb R and all sufficiently small r > 0.r>0. Then¶¶Du(x)=0.\Delta u(x)=0.     

Purity for overconvergence

Let X \hookrightarrow[`(X)]{X \hookrightarrow \overline{X}} be an open immersion of smooth varieties over a field of characteristic p > 0 such that the complement is a simple normal crossing divisor and [`(Z)] í Z í [`(X)]{\overline{Z}\subseteq Z \subseteq \overline{X}} closed subschemes of codimension at least 2. In this paper, we prove that the canonical restriction functor between the categories of overconvergent F-isocrystals F-Isoc<sup>f</sup>(X,[`(X)]) ? F-Isoc^f(X\Z,[`(X)]\[`(Z)]){F-{\rm Isoc}^\dagger(X,\overline{X}) \longrightarrow F-{\rm Isoc}^\dagger(X{\setminus}Z, \overline{X}{\setminus}\overline{Z})} is an equivalence of categories. We also give an application of our result to the equivalence of certain categories.     

Color Chain of a Graph

For a simple connected undirected graph G, c(G), c_f(G), Y_f(G), f(G), ?G(G){\chi(G), \chi_f(G), \Psi_f(G), \phi(G), \partial \Gamma (G)} and Ψ(G) denote respectively the chromatic number, fall chromatic number (assuming that it exists for G), fall achromatic number, b-chromatic number, partial Grundy number and achromatic number of G. It is shown in Dunbar et al. (J Combin Math & Combin Comput 33:257–273, 2000) that for any graph G for which fall coloring exists, c(G) ￡ c_f(G) ￡ Y_f (G) ￡ f(G) ￡ ?G(G) ￡ Y(G){\chi (G)\leq \chi_f(G) \leq \Psi_f (G) \leq \phi(G) \leq \partial \Gamma (G)\leq \Psi (G)} . In this paper, we exhibit an infinite family of graphs G with a strictly increasing color chain: c(G) < c_f(G) < Y_f (G) < f(G) < ?G(G) < Y(G){\chi (G) < \chi_f(G) < \Psi_f (G) < \phi(G) < \partial \Gamma (G) < \Psi (G)} . The existence of such a chain was raised by Dunbar et al.     

Projective Freeness of Algebras of Real Symmetric Functions

Let \mathbb Dⁿ:={z=(z₁,?, z_n) ? \mathbb Cⁿ:|z_j| < 1,   j=1,?, n}{\mathbb {D}^n:=\{z=(z_1,\ldots, z_n)\in \mathbb {C}^n:|z_j| < 1, \;j=1,\ldots, n\}}, and let [`(\mathbbD)]ⁿ{\overline{\mathbb{D}}^n} denote its closure in \mathbb Cⁿ{\mathbb {C}^n}. Consider the ring

On the equation of generalized bisymmetry with outer functions injective in each argument

Summary. It is shown that provided F and G are injective in every argument, the functional equation of generalized m ×n m \times n bisymmetry (m,n 3 2) (m,n \ge 2) ,¶¶ G(F₁(x₁₁, \hdots , x_1n),\hdots , F_m(x_m1,\hdots, x_mn)) G(F_1(x_{11}, \hdots , x_{1n}),\hdots , F_m(x_{m1},\hdots, x_{mn})) ¶ = F(G₁(x₁₁,\hdots , x_m1),\hdots , G_n(x_1n,\hdots , x_mn)) = F(G_1(x_{11},\hdots , x_{m1}),\hdots , G_n(x_{1n},\hdots , x_{mn})) ¶may be reduced to ¶¶ G([`(F)]<sub>1</sub>(u<sub>11</sub>, \hdots , u<sub>1n</sub>),\hdots ,[`(F)]_m(u_m1,\hdots, u_mn)) G(\overline{F}_1(u_{11}, \hdots , u_{1n}),\hdots , \overline{F}_m(u_{m1},\hdots, u_{mn})) ¶ = F([`(G)]<sub>1</sub>(u<sub>11</sub>,\hdots , u<sub>m1</sub>),\hdots ,[`(G)]_n(u_1n,\hdots , u_mn)) = F(\overline{G}_1(u_{11},\hdots , u_{m1}),\hdots ,\overline{G}_n(u_{1n},\hdots , u_{mn})) ¶where¶¶ F_i(x_i1,\hdots , x_in) = [`(F)]<sub>i</sub> (j<sub>i1</sub>(x<sub>i1</sub>),\hdots , j<sub>in</sub>(x<sub>in</sub>)), G<sub>j</sub>(x<sub>1j</sub>, \hdots , x<sub>mj</sub>) = [`(G)]_j(j_1j (x_1j),\hdots, j_mj(x_mj)) F_i(x_{i1},\hdots , x_{in}) = \overline{F}_i (\varphi_{i1}(x_{i1}),\hdots , \varphi_{in}(x_{in})), G_j(x_{1j}, \hdots , x_{mj}) = \overline{G}_j(\varphi_{1j} (x_{1j}),\hdots, \varphi_{mj}(x_{mj})) ,¶¶j_ij < /FORMULA > are surjections and < FORMULA > \varphi_{ij} are surjections and \overline{F}_i, \overline{G}_j < /FORMULA > are injective in every argument for all < FORMULA > are injective in every argument for all 1\le i \le m,\ 1\le j\le n $. The result is also shown to hold for a wider class of functional equations.     

Extending the Torelli map to toroidal compactifications of Siegel space

It has been known since the 1970s that the Torelli map M  _g →A  _g , associating to a smooth curve its Jacobian, extends to a regular map from the Deligne–Mumford compactification [`(\operatorname M)]<sub>g</sub>\overline {\operatorname {M}}_{g} to the 2nd Voronoi compactification [`(\operatorname A)]_g^vor\overline {\operatorname {A}}_{g}^{\mathrm {vor}}. We prove that the extended Torelli map to the perfect cone (1st Voronoi) compactification [`(\operatorname A)]<sub>g</sub><sup>perf</sup>\overline {\operatorname {A}}_{g}^{\mathrm {perf}} is also regular, and moreover [`(\operatorname A)]_g^vor\overline {\operatorname {A}}_{g}^{\mathrm {vor}} and [`(\operatorname A)]<sub>g</sub><sup>perf</sup>\overline {\operatorname {A}}_{g}^{\mathrm {perf}} share a common Zariski open neighborhood of the image of [`(\operatorname M)]_g\overline {\operatorname {M}}_{g}. We also show that the map to the Igusa monoidal transform (central cone compactification) is not regular for g≥9; this disproves a 1973 conjecture of Namikawa.     

On the rational cohomology of moduli spaces of curves with level structures

We investigate low degree rational cohomology groups of smooth compactifications of moduli spaces of curves with level structures. In particular, we determine H^k([`(S)]<sub>g</sub>, \mathbb Q){H^k\left({\bar S}_{g}, {\mathbb Q}\right)} for g ≥ 2 and k ≤ 3, where [`(S)]_g{{\bar S}_{g}} denotes the moduli space of spin curves of genus g.     

Compactified Picard stacks over $${\overline{\mathcal M}_g}$$

We study algebraic (Artin) stacks over [`(M)]<sub>g</sub>{\overline{\mathcal M}_{g}} giving a functorial way of compactifying the relative degree d Picard variety for families of stable curves. We also describe for every d the locus of genus g stable curves over which we get Deligne–Mumford stacks strongly representable over[`(M)]_g{\overline{\mathcal M}_{g}} .     

Koszulness,Krull dimension,and other properties of graph-related algebras

The algebra of basic covers of a graph G, denoted by [`(A)](G)\bar{A}(G), was introduced by Herzog as a suitable quotient of the vertex cover algebra. In this paper we compute the Krull dimension of [`(A)](G)\bar{A}(G) in terms of the combinatorics of G. As a consequence, we get new upper bounds on the arithmetical rank of monomial ideals of pure codimension 2. Furthermore, we show that if the graph is bipartite, then [`(A)](G)\bar{A}(G) is a homogeneous algebra with straightening laws, and thus it is Koszul. Finally, we characterize the Cohen–Macaulay property and the Castelnuovo–Mumford regularity of the edge ideal of a certain class of graphs.     

<Emphasis Type="Italic">v</Emphasis>-Adic maximal extensions,spectral norms and absolute Galois groups

Let (K, v) be a perfect rank one valued field and let ([`(K<sub>v</sub>)],[`(v)]){(\overline{K_{v}},\overline{v})} be the canonical valued field obtained from (K, v) by the unique extension of the valuation [(v)\tilde]{\widetilde{v}} of K _v , the completion of K relative to v, to a fixed algebraic closure [`(K<sub>v</sub>)]{\overline{K_{v}}} of K <sub>v</sub> . Let [`(K)]{\overline{K}} be the algebraic closure of K in [`(K<sub>v</sub>)]{\overline {K_{v}}}. An algebraic extension L of K, L ì [`(K)]{L\subset\overline{K}}, is said to be a v-adic maximal extension, if [`(v)] | <sub>L</sub>{\overline{v}\mid_{L}} is the only extension of v to L and L is maximal with this property. In this paper we describe some basic properties of such extensions and we consider them in connection with the v-adic spectral norm on [`(K)]{\overline{K}} and with the absolute Galois groups Gal([`(K)]/K){(\overline{K}/K)} and Gal([`(K_v)] /K_v){(\overline{K_{v}} /K_{v})}. Some other auxiliary results are given, which may be useful for other purposes.     

Delsarte Set Graphs with Small c 2

Let Γ be a Delsarte set graph with an intersection number c ₂ (i.e., a distance-regular graph with a set ${\mathcal{C}}Let Γ be a Delsarte set graph with an intersection number c ₂ (i.e., a distance-regular graph with a set C{\mathcal{C}} of Delsarte cliques such that each edge lies in a positive constant number n_C{n_{\mathcal{C}}} of Delsarte cliques in C{\mathcal{C}}). We showed in Bang et al. (J Combin 28:501–506, 2007) that if ψ ₁ > 1 then c ₂ ≥ 2 ψ ₁ where y₁:=|G₁(x)?C |{\psi_1:=|\Gamma_1(x)\cap C |} for x ? V(G){x\in V(\Gamma)} and C a Delsarte clique satisfying d(x, C) = 1. In this paper, we classify Γ with the case c ₂ = 2ψ ₁ > 2. As a consequence of this result, we show that if c ₂ ≤ 5 and ψ ₁ > 1 then Γ is either a Johnson graph or a folded Johnson graph [`(J)](4s,2s){\overline{J}(4s,2s)} with s ≥ 3.     

An Upper Bound for the Total Domination Subdivision Number of a Graph

A set S of vertices of a graph G = (V, E) without isolated vertex is a total dominating set if every vertex of V(G) is adjacent to some vertex in S. The total domination number γ _t (G) is the minimum cardinality of a total dominating set of G. The total domination subdivision number sd_gt(G){{\rm sd}_{\gamma_t}(G)} is the minimum number of edges that must be subdivided (each edge in G can be subdivided at most once) in order to increase the total domination number. In this paper, we prove that sd_gt(G) ￡ 2g_t(G)-1{{\rm sd}_{\gamma_t}(G)\leq 2\gamma_t(G)-1} for every simple connected graph G of order n ≥ 3.     

The Number of Independent Sets in a Graph with Small Maximum Degree

Let ind(G) be the number of independent sets in a graph G. We show that if G has maximum degree at most 5 then

On an asymptotically autonomous system with Tikhonov type regularizing term

We study the asymptotic behaviour of the trajectories of the second order equation ${\ddot{x}(t)+\gamma \dot{x}(t)+\nabla\phi(x(t))+\varepsilon(t)x(t)=g(t)}We study the asymptotic behaviour of the trajectories of the second order equation [(x)\ddot](t)+g[(x)\dot](t)+?f(x(t))+e(t)x(t)=g(t){\ddot{x}(t)+\gamma \dot{x}(t)+\nabla\phi(x(t))+\varepsilon(t)x(t)=g(t)} , where γ > 0, g ? L¹([0,+￥[;H){g \in L^1([0,+\infty[;H)}, Φ is a C ² convex function and e{\varepsilon} is a positive nonincreasing function.     

Averaging of directional derivatives in vertices of nonobtuse regular triangulations

For a shape-regular triangulation ${\mathcal{T}_h}For a shape-regular triangulation _h{\mathcal{T}_h} without obtuse angles of a bounded polygonal domain W ì ?²{\Omega\subset\Re^2} , let L_h{\mathcal L_h} be the space of continuous functions linear on the triangles from T_h{\mathcal{T}_h} and Π _h the interpolation operator from C([`(W)]){C(\overline\Omega)} to L<sub>h</sub>{\mathcal L_h} . This paper is devoted to the following classical problem: Find a second-order approximation of the derivative ?u/?z(a){\partial u/\partial z(a)} in a direction z of a function u ? C<sup>3</sup>([`(W)]){u\in C^3(\overline\Omega)} in a vertex a in the form of a linear combination of the constant directional derivatives ?P_h(u)/?z{\partial \Pi_h(u)/\partial z} on the triangles surrounding a. An effective procedure for such an approximation is presented, its error is proved to be of the size O(h ²), an operator W_h: L_h?L_h×L_h{\mbox{W}_h: \mathcal L_h\longrightarrow\mathcal L_h\times\mathcal L_h} relating a second-order approximation W _h [Π _h (u)] of ?u{\nabla u} to every u ? C³([`(W)]){u\in C^3(\overline\Omega)} is constructed and shown to be a so-called recovery operator. The accuracy of the presented approximation is compared with the accuracies of the local approximations by other known techniques numerically.     

Classification of the centers, of their cyclicity and isochronicity for two classes of generalized quintic polynomial differential systems

In this paper we classify the centers localized at the origin of coordinates, the cyclicity of their Hopf bifurcation and their isochronicity for the polynomial differential systems in \mathbbR²{\mathbb{R}^2} of degree d that in complex notation z = x + i y can be written as