Combinatorial Integer Labeling Theorems on Finite Sets with Applications

Tucker’s well-known combinatorial lemma states that, for any given symmetric triangulation of the n-dimensional unit cube and for any integer labeling that assigns to each vertex of the triangulation a label from the set {±1,±2,…,±n} with the property that antipodal vertices on the boundary of the cube are assigned opposite labels, the triangulation admits a 1-dimensional simplex whose two vertices have opposite labels. In this paper, we are concerned with an arbitrary finite set D of integral vectors in the n-dimensional Euclidean space and an integer labeling that assigns to each element of D a label from the set {±1,±2,…,±n}. Using a constructive approach, we prove two combinatorial theorems of Tucker type. The theorems state that, under some mild conditions, there exists two integral vectors in D having opposite labels and being cell-connected in the sense that both belong to the set {0,1} ⁿ +q for some integral vector q. These theorems are used to show in a constructive way the existence of an integral solution to a system of nonlinear equations under certain natural conditions. An economic application is provided.     

Quantization of Pseudo-differential Operators on the Torus

Pseudo-differential and Fourier series operators on the torus \mathbbTⁿ=(\BbbR/2p\BbbZ)ⁿ{{\mathbb{T}}^{n}}=(\Bbb{R}/2\pi\Bbb{Z})^{n} are analyzed by using global representations by Fourier series instead of local representations in coordinate charts. Toroidal symbols are investigated and the correspondence between toroidal and Euclidean symbols of pseudo-differential operators is established. Periodization of operators and hyperbolic partial differential equations is discussed. Fourier series operators, which are analogues of Fourier integral operators on the torus, are introduced, and formulae for their compositions with pseudo-differential operators are derived. It is shown that pseudo-differential and Fourier series operators are bounded on L ² under certain conditions on their phases and amplitudes.     

Remarks on a surplus-sharing rule from the Mishneh Torah

Rabbi Moshe ben Maimon (1135–1204), known as Moses Maimonides, ranks among the most distinguished philosophers of the Middle Ages. He is the renowned author of the Mishneh Torah, a comprehensive code of Jewish law. Book 12 (“Book of Acquisition”), Treatise 4 (“Agents and Partners”), of the Code of Maimonides is devoted in Chapter 4 to the allocation of the surplus from funds which a partnership invests in an indivisible input. The Rabbi’s case translates into a cooperative game where all intermediate coalitions are inessential. Standard axioms for cooperative-game solutions then suggest that the surplus be shared equally by the players, which is precisely the Maimonidean ruling. We show that this outcome can be preserved in spirit under much weaker assumptions on the worth of a game’s intermediate coalitions. We present results both for the nucleolus and the Shapley value of the underlying class of games.     

Latin trades in groups defined on planar triangulations

For a finite triangulation of the plane with faces properly coloured white and black, let A_W\mathcal{A}_{W} be the abelian group constructed by labelling the vertices with commuting indeterminates and adding relations which say that the labels around each white triangle add to the identity. We show that A_W\mathcal{A}_{W} has free rank exactly two. Let A_W^*\mathcal{A}_{W}^{*} be the torsion subgroup of  A_W\mathcal{A}_{W} , and A_B^*\mathcal{A}_{B}^{*} the corresponding group for the black triangles. We show that A_W^*\mathcal{A}_{W}^{*} and A_B^*\mathcal{A}_{B}^{*} have the same order, and conjecture that they are isomorphic. For each spherical latin trade W, we show there is a unique disjoint mate B such that (W,B) is a connected and separated bitrade. The bitrade (W,B) is associated with a two-colourable planar triangulation and we show that W can be embedded in  A_W^*\mathcal{A}_{W}^{*} , thereby proving a conjecture due to Cavenagh and Drápal. The proof involves constructing a (0,1) presentation matrix whose permanent and determinant agree up to sign. The Smith normal form of this matrix determines A_W^*\mathcal{A}_{W}^{*} , so there is an efficient algorithm to construct the embedding. Contrasting with the spherical case, for each genus g≥1 we construct a latin trade which is not embeddable in any group and another that is embeddable in a cyclic group.     

Vector Interpretation of the Matrix Orthogonality on the Real Line

In this paper we study sequences of vector orthogonal polynomials. The vector orthogonality presented here provides a reinterpretation of what is known in the literature as matrix orthogonality. These systems of orthogonal polynomials satisfy three-term recurrence relations with matrix coefficients that do not obey to any type of symmetry. In this sense the vectorial reinterpretation allows us to study a non-symmetric case of the matrix orthogonality. We also prove that our systems of polynomials are indeed orthonormal with respect to a complex measure of orthogonality. Approximation problems of Hermite-Padé type are also discussed. Finally, a Markov’s type theorem is presented.     

Chromatic sums of 2-edge-connected maps on the projective plane

This paper provides the chromatic sum function equations of rooted 2-edge-connected maps on the projective plane. The enumerating function equations of rooted 2-edge-connected loopless maps and rooted 2-edge-connected bipartite maps on the projective plane are derived by the chromatic sum function equation of rooted 2-edge-connected maps on the projective plane.     

Optimisation of maintenance scheduling strategies on the grid

The emerging paradigm of Grid Computing provides a powerful platform for the optimisation of complex computer models, such as those used to simulate real-world logistics and supply chain operations. This paper introduces a Grid-based optimisation framework that provides a powerful tool for the optimisation of such computationally intensive objective functions. This framework is then used in the optimisation of maintenance scheduling strategies for fleets of aero-engines, a computationally intensive problem with a high-degree of stochastic noise, achieving substantial improvements in the execution time of the algorithm.     

A Local Parabolic Monotonicity Formula on Riemannian Manifolds

In this article we establish a local parabolic almost monotonicity formula for two-phase free boundary problems on Riemannian manifolds.     

The heat kernel of the Laplacian defined on a uniform grid

We adapt a method originally developed by E.B. Davies for second order elliptic operators to obtain an upper heat kernel bound for the Laplacian defined on a uniform grid on the plane.     

Positive Cubature Formulas and Marcinkiewicz–Zygmund Inequalities on Spherical Caps

Let Π _n ^d denote the space of all spherical polynomials of degree at most n on the unit sphere $\mathbb{S}^{d}Let Π _n ^d denote the space of all spherical polynomials of degree at most n on the unit sphere \mathbbS^d\mathbb{S}^{d} of ℝ ^d+1, and let d(x,y) denote the geodesic distance arccos x⋅y between x,y ? \mathbbS^dx,y\in\mathbb{S}^{d} . Given a spherical cap

B(e,a)={x ? \mathbbSd:d(x,e) ￡ a}    (e ? \mathbbSd, a ? (0,p) is bounded awayfrom p),B(e,\alpha)=\big\{x\in\mathbb{S}^{d}:d(x,e)\leq\alpha\big\}\quad \bigl(e\in\mathbb{S}^{d},\ \alpha\in(0,\pi)\ \mbox{is bounded awayfrom}\ \pi\bigr),      11. A Generalized Radon Transform on the Plane      Zhongkai Li  Futao Song 《Constructive Approximation》2011,33(1):93-123 A new generalized Radon transform R α, β on the plane for functions even in each variable is defined which has natural connections with the bivariate Hankel transform, the generalized biaxially symmetric potential operator Δ α, β , and the Jacobi polynomials Pk(b, a)(t)P_{k}^{(\beta,\,\alpha)}(t). The transform R α, β and its dual Ra, b*R_{\alpha,\,\beta}^{\ast} are studied in a systematic way, and in particular, the generalized Fuglede formula and some inversion formulas for R α, β for functions in La, bp(\mathbbR2+)L_{\alpha,\,\beta}^{p}(\mathbb{R}^{2}_{+}) are obtained in terms of the bivariate Hankel–Riesz potential. Moreover, the transform R α, β is used to represent the solutions of the partial differential equations Lu:=?j=1majDa, bju=fLu:=\sum_{j=1}^{m}a_{j}\Delta_{\alpha,\,\beta}^{j}u=f with constant coefficients a j and the Cauchy problem for the generalized wave equation associated with the operator Δ α, β . Another application is that, by an invariant property of R α, β , a new product formula for the Jacobi polynomials of the type Pk(b, a)(s)C2ka+b+1(t)=còòPk(b, a)P_{k}^{(\beta,\,\alpha)}(s)C_{2k}^{\alpha+\beta+1}(t)=c\int\!\!\int P_{k}^{(\beta,\,\alpha)} is obtained.      12. Boxicity of Circular Arc Graphs      Diptendu Bhowmick  L. Sunil Chandran 《Graphs and Combinatorics》2011,27(6):769-783 A k-dimensional box is a Cartesian product R 1 × · · · × R k where each R i is a closed interval on the real line. The boxicity of a graph G, denoted as box(G), is the minimum integer k such that G can be represented as the intersection graph of a collection of k-dimensional boxes. That is, two vertices are adjacent if and only if their corresponding boxes intersect. A circular arc graph is a graph that can be represented as the intersection graph of arcs on a circle. We show that if G is a circular arc graph which admits a circular arc representation in which no arc has length at least p(\fraca-1a){\pi(\frac{\alpha-1}{\alpha})} for some a ? \mathbbN 3 2{\alpha\in\mathbb{N}_{\geq 2}}, then box(G) ≤ α (Here the arcs are considered with respect to a unit circle). From this result we show that if G has maximum degree D < ?\fracn(a-1)2a?{\Delta < \lfloor{\frac{n(\alpha-1)}{2\alpha}}\rfloor} for some a ? \mathbbN 3 2{\alpha \in \mathbb{N}_{\geq 2}}, then box(G) ≤ α. We also demonstrate a graph having box(G) > α but with D = n\frac(a-1)2a+ \fracn2a(a+1)+(a+2){\Delta=n\frac{(\alpha-1)}{2\alpha}+ \frac{n}{2\alpha(\alpha+1)}+(\alpha+2)}. For a proper circular arc graph G, we show that if D < ?\fracn(a-1)a?{\Delta < \lfloor{\frac{n(\alpha-1)}{\alpha}}\rfloor} for some a ? \mathbbN 3 2{\alpha\in \mathbb{N}_{\geq 2}}, then box(G) ≤ α. Let r be the cardinality of the minimum overlap set, i.e. the minimum number of arcs passing through any point on the circle, with respect to some circular arc representation of G. We show that for any circular arc graph G, box(G) ≤ r + 1 and this bound is tight. We show that if G admits a circular arc representation in which no family of k ≤ 3 arcs covers the circle, then box(G) ≤ 3 and if G admits a circular arc representation in which no family of k ≤ 4 arcs covers the circle, then box(G) ≤ 2. We also show that both these bounds are tight.      13. Generalized uncertainty inequalities      Alessio Martini 《Mathematische Zeitschrift》2010,265(4):831-848 The Heisenberg–Pauli–Weyl (HPW) uncertainty inequality on \mathbbRn{\mathbb{R}^n} says that || f ||2 ￡ Ca,b|| |x|a f||2\fracba+b|| (-D)b/2f||2\fracaa+b.\| f \|_2 \leq C_{\alpha,\beta}\| |x|^\alpha f\|_2^\frac{\beta}{\alpha+\beta}\| (-\Delta)^{\beta/2}f\|_2^\frac{\alpha}{\alpha+\beta}.      14. Arithmetic mean of differences of Dedekind sums      Emre Alkan  Maosheng Xiong  Alexandru Zaharescu 《Monatshefte für Mathematik》2007,342(1):175-187 Recently, Girstmair and Schoissengeier studied the asymptotic behavior of the arithmetic mean of Dedekind sums \frac1j(N) ? 0 ￡ m < Ngcd(m,N)=1 |S(m,N)|\frac{1}{\varphi(N)} \sum_{\mathop{\mathop{ 0 \le m< N}}\limits_{\gcd(m,N)=1}} \vert S(m,N)\vert , as N → ∞. In this paper we consider the arithmetic mean of weighted differences of Dedekind sums in the form Ah(Q)=\frac1?\fracaq ? FQh(\fracaq) ×?\fracaq ? FQh(\fracaq) |s(a￠,q￠)-s(a,q)|A_{h}(Q)=\frac{1}{\sum_{\frac{a}{q} \in {\cal F}_{Q}}h\left(\frac{a}{q}\right)} \times \sum_{\frac{a}{q} \in {\cal F}_{\!Q}}h\left(\frac{a}{q}\right) \vert s(a^{\prime},q^{\prime})-s(a,q)\vert , where h:[0,1] ? \Bbb Ch:[0,1] \rightarrow {\Bbb C} is a continuous function with ò01 h(t)  d t 1 0\int_0^1 h(t) \, {\rm d} t \ne 0 , \fracaq{\frac{a}{q}} runs over FQ{\cal F}_{\!Q} , the set of Farey fractions of order Q in the unit interval [0,1] and \fracaq < \fraca￠q￠{\frac{a}{q}}<\frac{a^{\prime}}{q^{\prime}} are consecutive elements of FQ{\cal F}_{\!Q} . We show that the limit lim Q→∞ A h (Q) exists and is independent of h.      15. New separation axioms in generalized topological spaces      M. S. Sarsak 《Acta Mathematica Hungarica》2011,132(3):244-252 We introduce and study new separation axioms in generalized topological spaces, namely, m-T\frac14\mu\mbox{-}T_{\frac{1}{4}}, m-T\frac38\mu \mbox{-}T_{\frac{3}{8}} and m-T\frac12\mu\mbox{-}T_{\frac{1}{2}}. m-T\frac14\mu\mbox{-}T_{\frac{1}{4}} spaces are strictly placed between μ-T 0 spaces and m-T\frac38\mu\mbox{-}T_{\frac{3}{8}}, m-T\frac38\mu\mbox{-}T_{\frac{3}{8}} spaces are strictly placed between m-T\frac14\mu\mbox{-}T_{\frac{1}{4}} spaces and m-T\frac12\mu \mbox{-}T_{\frac{1}{2}} spaces, and m-T\frac12\mu\mbox{-}T_{\frac{1}{2}} spaces are strictly placed between m-T\frac38\mu\mbox{-}T_{\frac{3}{8}} spaces and μ-T 1 spaces.      16. Bi-Parametric Potentials, Relevant Function Spaces and Wavelet-Like Transforms      Ilham A. Aliev 《Integral Equations and Operator Theory》2009,65(2):151-167 We introduce new potential type operators Jab = (E+(-D)b/2)-a/bJ^{\alpha}_{\beta} = (E+(-\Delta)^{\beta/2})^{-\alpha/\beta}, (α > 0, β > 0), and bi-parametric scale of function spaces Hab, p(\mathbbRn)H^{\alpha}_{\beta , p}({\mathbb{R}}^n) associated with Jαβ. These potentials generalize the classical Bessel potentials (for β = 2), and Flett potentials (for β = 1). A characterization of the spaces Hab, p(\mathbbRn)H^{\alpha}_{\beta, p}({\mathbb{R}}^n) is given with the aid of a special wavelet–like transform associated with a β-semigroup, which generalizes the well-known Gauss-Weierstrass semigroup (for β = 2) and the Poisson one (for β = 1).      17. The Ground State and the Long-Time Evolution in the CMC Einstein Flow      Martin Reiris 《Annales Henri Poincare》2010,10(8):1559-1604 Let (g, K)(k) be a CMC (vacuum) Einstein flow over a compact three-manifold Σ with non-positive Yamabe invariant (Y(Σ)). As noted by Fischer and Moncrief, the reduced volume ${\mathcal{V}(k)=\left(\frac{-k}{3}\right)^{3}{\rm Vol}_{g(k)}(\Sigma)}Let (g, K)(k) be a CMC (vacuum) Einstein flow over a compact three-manifold Σ with non-positive Yamabe invariant (Y(Σ)). As noted by Fischer and Moncrief, the reduced volume V(k)=(\frac-k3)3Volg(k)(S){\mathcal{V}(k)=\left(\frac{-k}{3}\right)^{3}{\rm Vol}_{g(k)}(\Sigma)} is monotonically decreasing in the expanding direction and bounded below by Vinf=(\frac-16Y(S))\frac32{\mathcal{V}_{\rm \inf}=\left(\frac{-1}{6}Y(\Sigma)\right)^{\frac{3}{2}}}. Inspired by this fact we define the ground state of the manifold Σ as “the limit” of any sequence of CMC states {(g i , K i )} satisfying: (i) k i  = −3, (ii) Viˉ Vinf{\mathcal{V}_{i}\downarrow \mathcal{V}_{\rm inf}}, (iii) Q 0((g i , K i )) ≤ Λ, where Q 0 is the Bel–Robinson energy and Λ is any arbitrary positive constant. We prove that (as a geometric state) the ground state is equivalent to the Thurston geometrization of Σ. Ground states classify naturally into three types. We provide examples for each class, including a new ground state (the Double Cusp) that we analyze in detail. Finally, consider a long time and cosmologically normalized flow ([(g)\tilde],[(K)\tilde])(s)=((\frac-k3)2g,(\frac-k3)K){(\tilde{g},\tilde{K})(\sigma)=\left(\left(\frac{-k}{3}\right)^{2}g,\left(\frac{-k}{3}\right)K\right)}, where s = -ln(-k) ? [a,￥){\sigma=-\ln (-k)\in [a,\infty)}. We prove that if [(E1)\tilde]=E1(([(g)\tilde],[(K)\tilde])) ￡ L{\tilde{\mathcal{E}_{1}}=\mathcal{E}_{1}((\tilde{g},\tilde{K}))\leq \Lambda} (where E1=Q0+Q1{\mathcal{E}_{1}=Q_{0}+Q_{1}}, is the sum of the zero and first order Bel–Robinson energies) the flow ([(g)\tilde],[(K)\tilde])(s){(\tilde{g},\tilde{K})(\sigma)} persistently geometrizes the three-manifold Σ and the geometrization is the ground state if Vˉ Vinf{\mathcal{V}\downarrow \mathcal{V}_{\rm inf}}.      18. Minimal rotational hypersurfaces in Minkowski (<Emphasis Type="Italic">α</Emphasis>, <Emphasis Type="Italic">β</Emphasis>)-space      Ningwei?CuiEmail author  Yi-Bing?Shen 《Geometriae Dedicata》2011,151(1):27-39 In Finsler geometry, minimal surfaces with respect to the Busemann-Hausdorff measure and the Holmes-Thompson measure are called BH-minimal and HT-minimal surfaces, respectively. In this paper, we give the explicit expressions of BH-minimal and HT-minimal rotational hypersurfaces generated by plane curves rotating around the axis in the direction of [(b)\tilde]\sharp{\tilde{\beta}^{\sharp}} in Minkowski (α, β)-space (\mathbbVn+1,[(Fb)\tilde]){(\mathbb{V}^{n+1},\tilde{F_b})} , where \mathbbVn+1{\mathbb{V}^{n+1}} is an (n+1)-dimensional real vector space, [(Fb)\tilde]=[(a)\tilde]f([(b)\tilde]/[(a)\tilde]), [(a)\tilde]{\tilde{F_b}=\tilde{\alpha}\phi(\tilde{\beta}/\tilde{\alpha}), \tilde{\alpha}} is the Euclidean metric, [(b)\tilde]{\tilde{\beta}} is a one form of constant length b:=||[(b)\tilde]||[(a)\tilde], [(b)\tilde]\sharp{b:=\|\tilde{\beta}\|_{\tilde{\alpha}}, \tilde{\beta}^{\sharp}} is the dual vector of [(b)\tilde]{\tilde{\beta}} with respect to [(a)\tilde]{\tilde{\alpha}} . As an application, we first give the explicit expressions of the forward complete BH-minimal rotational surfaces generated around the axis in the direction of [(b)\tilde]\sharp{\tilde{\beta}^{\sharp}} in Minkowski Randers 3-space (\mathbbV3,[(a)\tilde]+[(b)\tilde]){(\mathbb{V}^{3},\tilde{\alpha}+\tilde{\beta})} .      19. On a paper of Hasse concerning the Eisenstein reciprocity law      S. V. Vostokov  M. A. Ivanov  G. K. Pak 《Journal of Mathematical Sciences》2009,161(4):525-529 In the present paper, necessary and sufficient conditions are given for the equality of the power rezidue symbols ( \fracaa )n {\left( {\frac{\alpha }{a}} \right)_n} and ( \fracaa )n {\left( {\frac{\alpha }{a}} \right)_n} in the cyclotomic field ℚ(ζ n ), 2 ∤ n, for a ∈ ℤ, (a, n) = 1. This result is a generalization of the classical Eisenstein reciprocity law and its continuation in a Hasse’s paper. Bibliography: 3 titles.      20. A remark on global existence of solutions of shadow systems      Tuoc Van Phan 《Zeitschrift für Angewandte Mathematik und Physik (ZAMP)》2012,4(1):395-400 Let Ω be an open, bounded domain in \mathbbRn  (n ? \mathbbN){\mathbb{R}^n\;(n \in \mathbb{N})} with smooth boundary ∂Ω. Let p, q, r, d 1, τ be positive real numbers and s be a non-negative number which satisfies 0 < \fracp-1r < \fracqs+1{0 < \frac{p-1}{r} < \frac{q}{s+1}}. We consider the shadow system of the well-known Gierer–Meinhardt system: $ \left \{ {l@{\quad}l} \displaystyle{u_t = d_1\Delta u - u + \frac{u^p}{\xi^q}}, & \quad {\rm in}\;\Omega \times (0,T), \\ \displaystyle{\tau \xi_t = -\xi + \frac{1}{|\Omega|} \int\nolimits_\Omega\frac{u^r}{\xi^s} {\rm d}x}, & \quad {\rm in}\;(0,T), \\ \displaystyle{\frac{\partial u}{\partial \nu} =0}, & \quad {\rm on}\;\partial \Omega \times (0,T), \\ \displaystyle{\xi(0) = \xi_0 >0 , \quad u(\cdot,0) = u_0(\cdot)} \geq 0 & \quad {\rm in}\;\Omega. \right. $ \left \{ \begin{array}{l@{\quad}l} \displaystyle{u_t = d_1\Delta u - u + \frac{u^p}{\xi^q}}, & \quad {\rm in}\;\Omega \times (0,T), \\ \displaystyle{\tau \xi_t = -\xi + \frac{1}{|\Omega|} \int\nolimits_\Omega\frac{u^r}{\xi^s} {\rm d}x}, & \quad {\rm in}\;(0,T), \\ \displaystyle{\frac{\partial u}{\partial \nu} =0}, & \quad {\rm on}\;\partial \Omega \times (0,T), \\ \displaystyle{\xi(0) = \xi_0 >0 , \quad u(\cdot,0) = u_0(\cdot)} \geq 0 & \quad {\rm in}\;\Omega. \end{array} \right.      设为首页 | 免责声明 | 关于勤云 | 加入收藏 Copyright©北京勤云科技发展有限公司  京ICP备09084417号

A Generalized Radon Transform on the Plane

A new generalized Radon transform R _α, β on the plane for functions even in each variable is defined which has natural connections with the bivariate Hankel transform, the generalized biaxially symmetric potential operator Δ _α, β , and the Jacobi polynomials P_k^(b, a)(t)P_{k}^{(\beta,\,\alpha)}(t). The transform R _α, β and its dual R_a, b^*R_{\alpha,\,\beta}^{\ast} are studied in a systematic way, and in particular, the generalized Fuglede formula and some inversion formulas for R _α, β for functions in L_a, b^p(\mathbbR²₊)L_{\alpha,\,\beta}^{p}(\mathbb{R}^{2}_{+}) are obtained in terms of the bivariate Hankel–Riesz potential. Moreover, the transform R _α, β is used to represent the solutions of the partial differential equations Lu:=?_j=1^ma_jD_a, b^ju=fLu:=\sum_{j=1}^{m}a_{j}\Delta_{\alpha,\,\beta}^{j}u=f with constant coefficients a _j and the Cauchy problem for the generalized wave equation associated with the operator Δ _α, β . Another application is that, by an invariant property of R _α, β , a new product formula for the Jacobi polynomials of the type P_k^(b, a)(s)C_2k^a+b+1(t)=còòP_k^(b, a)P_{k}^{(\beta,\,\alpha)}(s)C_{2k}^{\alpha+\beta+1}(t)=c\int\!\!\int P_{k}^{(\beta,\,\alpha)} is obtained.     

Boxicity of Circular Arc Graphs

A k-dimensional box is a Cartesian product R ₁ × · · · × R _k where each R _i is a closed interval on the real line. The boxicity of a graph G, denoted as box(G), is the minimum integer k such that G can be represented as the intersection graph of a collection of k-dimensional boxes. That is, two vertices are adjacent if and only if their corresponding boxes intersect. A circular arc graph is a graph that can be represented as the intersection graph of arcs on a circle. We show that if G is a circular arc graph which admits a circular arc representation in which no arc has length at least p(\fraca-1a){\pi(\frac{\alpha-1}{\alpha})} for some a ? \mathbbN _{3 2}{\alpha\in\mathbb{N}_{\geq 2}}, then box(G) ≤ α (Here the arcs are considered with respect to a unit circle). From this result we show that if G has maximum degree D < ?\fracn(a-1)2a?{\Delta < \lfloor{\frac{n(\alpha-1)}{2\alpha}}\rfloor} for some a ? \mathbbN _{3 2}{\alpha \in \mathbb{N}_{\geq 2}}, then box(G) ≤ α. We also demonstrate a graph having box(G) > α but with D = n\frac(a-1)2a+ \fracn2a(a+1)+(a+2){\Delta=n\frac{(\alpha-1)}{2\alpha}+ \frac{n}{2\alpha(\alpha+1)}+(\alpha+2)}. For a proper circular arc graph G, we show that if D < ?\fracn(a-1)a?{\Delta < \lfloor{\frac{n(\alpha-1)}{\alpha}}\rfloor} for some a ? \mathbbN _{3 2}{\alpha\in \mathbb{N}_{\geq 2}}, then box(G) ≤ α. Let r be the cardinality of the minimum overlap set, i.e. the minimum number of arcs passing through any point on the circle, with respect to some circular arc representation of G. We show that for any circular arc graph G, box(G) ≤ r + 1 and this bound is tight. We show that if G admits a circular arc representation in which no family of k ≤ 3 arcs covers the circle, then box(G) ≤ 3 and if G admits a circular arc representation in which no family of k ≤ 4 arcs covers the circle, then box(G) ≤ 2. We also show that both these bounds are tight.     

Generalized uncertainty inequalities

The Heisenberg–Pauli–Weyl (HPW) uncertainty inequality on \mathbbRⁿ{\mathbb{R}^n} says that

Arithmetic mean of differences of Dedekind sums

Recently, Girstmair and Schoissengeier studied the asymptotic behavior of the arithmetic mean of Dedekind sums \frac1j(N) ? _{0 ￡ m < Ngcd(m,N)=1} |S(m,N)|\frac{1}{\varphi(N)} \sum_{\mathop{\mathop{ 0 \le m< N}}\limits_{\gcd(m,N)=1}} \vert S(m,N)\vert , as N → ∞. In this paper we consider the arithmetic mean of weighted differences of Dedekind sums in the form A_h(Q)=\frac1?_{\fracaq ? FQ}h(\fracaq) ×?_{\fracaq ? FQ}h(\fracaq) |s(a^￠,q^￠)-s(a,q)|A_{h}(Q)=\frac{1}{\sum_{\frac{a}{q} \in {\cal F}_{Q}}h\left(\frac{a}{q}\right)} \times \sum_{\frac{a}{q} \in {\cal F}_{\!Q}}h\left(\frac{a}{q}\right) \vert s(a^{\prime},q^{\prime})-s(a,q)\vert , where h:[0,1] ? \Bbb Ch:[0,1] \rightarrow {\Bbb C} is a continuous function with ò₀¹ h(t)  d t 1 0\int_0^1 h(t) \, {\rm d} t \ne 0 , \fracaq{\frac{a}{q}} runs over F_Q{\cal F}_{\!Q} , the set of Farey fractions of order Q in the unit interval [0,1] and \fracaq < \fraca^￠q^￠{\frac{a}{q}}<\frac{a^{\prime}}{q^{\prime}} are consecutive elements of F_Q{\cal F}_{\!Q} . We show that the limit lim _Q→∞ A _h (Q) exists and is independent of h.     

New separation axioms in generalized topological spaces

We introduce and study new separation axioms in generalized topological spaces, namely, m-T_\frac14\mu\mbox{-}T_{\frac{1}{4}}, m-T_\frac38\mu \mbox{-}T_{\frac{3}{8}} and m-T_\frac12\mu\mbox{-}T_{\frac{1}{2}}. m-T_\frac14\mu\mbox{-}T_{\frac{1}{4}} spaces are strictly placed between μ-T ₀ spaces and m-T_\frac38\mu\mbox{-}T_{\frac{3}{8}}, m-T_\frac38\mu\mbox{-}T_{\frac{3}{8}} spaces are strictly placed between m-T_\frac14\mu\mbox{-}T_{\frac{1}{4}} spaces and m-T_\frac12\mu \mbox{-}T_{\frac{1}{2}} spaces, and m-T_\frac12\mu\mbox{-}T_{\frac{1}{2}} spaces are strictly placed between m-T_\frac38\mu\mbox{-}T_{\frac{3}{8}} spaces and μ-T ₁ spaces.     

Bi-Parametric Potentials, Relevant Function Spaces and Wavelet-Like Transforms

We introduce new potential type operators J^a_b = (E+(-D)^b/2)^-a/bJ^{\alpha}_{\beta} = (E+(-\Delta)^{\beta/2})^{-\alpha/\beta}, (α > 0, β > 0), and bi-parametric scale of function spaces H^a_{b, p}(\mathbbRⁿ)H^{\alpha}_{\beta , p}({\mathbb{R}}^n) associated with J^α_β. These potentials generalize the classical Bessel potentials (for β = 2), and Flett potentials (for β = 1). A characterization of the spaces H^a_{b, p}(\mathbbRⁿ)H^{\alpha}_{\beta, p}({\mathbb{R}}^n) is given with the aid of a special wavelet–like transform associated with a β-semigroup, which generalizes the well-known Gauss-Weierstrass semigroup (for β = 2) and the Poisson one (for β = 1).     

The Ground State and the Long-Time Evolution in the CMC Einstein Flow

Let (g, K)(k) be a CMC (vacuum) Einstein flow over a compact three-manifold Σ with non-positive Yamabe invariant (Y(Σ)). As noted by Fischer and Moncrief, the reduced volume ${\mathcal{V}(k)=\left(\frac{-k}{3}\right)^{3}{\rm Vol}_{g(k)}(\Sigma)}Let (g, K)(k) be a CMC (vacuum) Einstein flow over a compact three-manifold Σ with non-positive Yamabe invariant (Y(Σ)). As noted by Fischer and Moncrief, the reduced volume V(k)=(\frac-k3)³Vol_g(k)(S){\mathcal{V}(k)=\left(\frac{-k}{3}\right)^{3}{\rm Vol}_{g(k)}(\Sigma)} is monotonically decreasing in the expanding direction and bounded below by V_inf=(\frac-16Y(S))^\frac32{\mathcal{V}_{\rm \inf}=\left(\frac{-1}{6}Y(\Sigma)\right)^{\frac{3}{2}}}. Inspired by this fact we define the ground state of the manifold Σ as “the limit” of any sequence of CMC states {(g _i , K _i )} satisfying: (i) k _i  = −3, (ii) V_iˉ V_inf{\mathcal{V}_{i}\downarrow \mathcal{V}_{\rm inf}}, (iii) Q ₀((g _i , K _i )) ≤ Λ, where Q ₀ is the Bel–Robinson energy and Λ is any arbitrary positive constant. We prove that (as a geometric state) the ground state is equivalent to the Thurston geometrization of Σ. Ground states classify naturally into three types. We provide examples for each class, including a new ground state (the Double Cusp) that we analyze in detail. Finally, consider a long time and cosmologically normalized flow ([(g)\tilde],[(K)\tilde])(s)=((\frac-k3)²g,(\frac-k3)K){(\tilde{g},\tilde{K})(\sigma)=\left(\left(\frac{-k}{3}\right)^{2}g,\left(\frac{-k}{3}\right)K\right)}, where s = -ln(-k) ? [a,￥){\sigma=-\ln (-k)\in [a,\infty)}. We prove that if [(E₁)\tilde]=E₁(([(g)\tilde],[(K)\tilde])) ￡ L{\tilde{\mathcal{E}_{1}}=\mathcal{E}_{1}((\tilde{g},\tilde{K}))\leq \Lambda} (where E₁=Q₀+Q₁{\mathcal{E}_{1}=Q_{0}+Q_{1}}, is the sum of the zero and first order Bel–Robinson energies) the flow ([(g)\tilde],[(K)\tilde])(s){(\tilde{g},\tilde{K})(\sigma)} persistently geometrizes the three-manifold Σ and the geometrization is the ground state if Vˉ V_inf{\mathcal{V}\downarrow \mathcal{V}_{\rm inf}}.     

Minimal rotational hypersurfaces in Minkowski (<Emphasis Type="Italic">α</Emphasis>, <Emphasis Type="Italic">β</Emphasis>)-space

In Finsler geometry, minimal surfaces with respect to the Busemann-Hausdorff measure and the Holmes-Thompson measure are called BH-minimal and HT-minimal surfaces, respectively. In this paper, we give the explicit expressions of BH-minimal and HT-minimal rotational hypersurfaces generated by plane curves rotating around the axis in the direction of [(b)\tilde]^\sharp{\tilde{\beta}^{\sharp}} in Minkowski (α, β)-space (\mathbbVⁿ⁺¹,[(F_b)\tilde]){(\mathbb{V}^{n+1},\tilde{F_b})} , where \mathbbVⁿ⁺¹{\mathbb{V}^{n+1}} is an (n+1)-dimensional real vector space, [(F_b)\tilde]=[(a)\tilde]f([(b)\tilde]/[(a)\tilde]), [(a)\tilde]{\tilde{F_b}=\tilde{\alpha}\phi(\tilde{\beta}/\tilde{\alpha}), \tilde{\alpha}} is the Euclidean metric, [(b)\tilde]{\tilde{\beta}} is a one form of constant length b:=||[(b)\tilde]||_[(a)\tilde], [(b)\tilde]^\sharp{b:=\|\tilde{\beta}\|_{\tilde{\alpha}}, \tilde{\beta}^{\sharp}} is the dual vector of [(b)\tilde]{\tilde{\beta}} with respect to [(a)\tilde]{\tilde{\alpha}} . As an application, we first give the explicit expressions of the forward complete BH-minimal rotational surfaces generated around the axis in the direction of [(b)\tilde]^\sharp{\tilde{\beta}^{\sharp}} in Minkowski Randers 3-space (\mathbbV³,[(a)\tilde]+[(b)\tilde]){(\mathbb{V}^{3},\tilde{\alpha}+\tilde{\beta})} .     

On a paper of Hasse concerning the Eisenstein reciprocity law

In the present paper, necessary and sufficient conditions are given for the equality of the power rezidue symbols ( \fracaa )_n {\left( {\frac{\alpha }{a}} \right)_n} and ( \fracaa )_n {\left( {\frac{\alpha }{a}} \right)_n} in the cyclotomic field ℚ(ζ _n ), 2 ∤ n, for a ∈ ℤ, (a, n) = 1. This result is a generalization of the classical Eisenstein reciprocity law and its continuation in a Hasse’s paper. Bibliography: 3 titles.     

A remark on global existence of solutions of shadow systems

Let Ω be an open, bounded domain in \mathbbRⁿ  (n ? \mathbbN){\mathbb{R}^n\;(n \in \mathbb{N})} with smooth boundary ∂Ω. Let p, q, r, d ₁, τ be positive real numbers and s be a non-negative number which satisfies 0 < \fracp-1r < \fracqs+1{0 < \frac{p-1}{r} < \frac{q}{s+1}}. We consider the shadow system of the well-known Gierer–Meinhardt system: