Size of Components of a Cube Coloring

Suppose a d-dimensional lattice cube of size $n^d$ n d is colored in several colors so that no face of its triangulation (subdivision of the standard partition into $n^d$ n d small cubes) is colored in $m+2$ m + 2 colors. Then one color is used at least $f(d, m) n^{d-m}$ f ( d , m ) n d ? m times.     

Principal eigenvalue of the fractional Laplacian with a large incompressible drift

We study the principal Dirichlet eigenvalue of the operator \({L_A=\Delta^{\alpha/2}+Ab(x)\cdot\nabla}\) , on a bounded C ^1,1 regular domain D. Here \({\alpha\in(1,2)}\) , \({\Delta^{\alpha/2}}\) is the fractional Laplacian, \({A\in\mathbb{R}}\) , and b is a bounded d-dimensional divergence-free vector field in the Sobolev space W ^1,2d/(d+α)(D). We prove that the eigenvalue remains bounded, as A→ + ∞, if and only if b has non-trivial first integrals in the domain of the quadratic form of \({\Delta^{\alpha/2}}\) for the Dirichlet condition.     

The Signed Edge-Domatic Number of a Graph

For a nonempty graph G = (V, E), a signed edge-domination of G is a function ${f: E(G) \to \{1,-1\}}$ such that ${\sum_{e'\in N_{G}[e]}{f(e')} \geq 1}$ for each ${e \in E(G)}$ . The signed edge-domatic number of G is the largest integer d for which there is a set {f ₁,f ₂, . . . , f _d } of signed edge-dominations of G such that ${\sum_{i=1}^{d}{f_i(e)} \leq 1}$ for every ${e \in E(G)}$ . This paper gives an original study on this concept and determines exact values for some special classes of graphs, such as paths, cycles, stars, fans, grids, and complete graphs with even order.     

Hofer geometry of a subset of a symplectic manifold

To every closed subset X of a symplectic manifold (M, ω) we associate a natural group of Hamiltonian diffeomorphisms Ham (X, ω). We equip this group with a semi-norm ${\Vert\cdot\Vert^{X, \omega}}$ , generalizing the Hofer norm. We discuss Ham (X, ω) and ${\Vert\cdot\Vert^{X, \omega}}$ if X is a symplectic or isotropic submanifold. The main result involves the relative Hofer diameter of X in M. Its first part states that for the unit sphere in ${\mathbb{R}^{2n}}$ this diameter is bounded below by ${\frac{\pi}{2}}$ , if n ≥ 2. Its second part states that for n ≥ 2 and d ≥ n there exists a compact subset X of the closed unit ball in ${\mathbb{R}^{2n}}$ , such that X has Hausdorff dimension at most d + 1 and relative Hofer diameter bounded below by π / k(n, d), where k(n, d) is an explicitly defined integer.     

Some Inverse Problems for d-Orthogonal Polynomials

This paper is devoted to the study of the generalized inverse problem of the left product of a d–dimensional vector form by a polynomial. The objective is to find the regularity conditions of the vector linear form ${\mathcal{V}}$ defined by ${\mathcal{U} = \mathcal{RV}}$ , where ${\mathcal{R}}$ is a d × d matrix polynomial. In such a case, the d–OPS {Q _n } _{n ≥ 0} corresponding to ${\mathcal{V}}$ is d–quasi– orthogonal of order l with respect to ${\mathcal{U}}$ . Secondly, we study the inverse problem: Given a d -OPS P _{n n ≥ 0} with respect to ${\mathcal{U}}$ , characterize the parameters ${\{a^{(i)}_{n}\}{^{dl}_{i=1}}}$ such that the sequence $${Q_{n+dl} = P_{n+dl} + \sum _{i=1}^{dl} a_{n+dl}^{(i)}P_{n+dl-i},\quad n\geq 0}$$ , is d–orthogonal with respect to some regular vector linear form ${\mathcal{V}}$ . As an immediate consequence, find the explicit relation between ${\mathcal{U}}$ and ${\mathcal{V}}$ .     

Some relations on the ordering of trees by minimal energies between subclasses of trees

The energy of a graph is defined as the sum of the absolute values of all eigenvalues of the graph. A tree is said to be non-starlike if it has at least two vertices with degree more than 2. A caterpillar is a tree in which a removal of all pendent vertices makes a path. Let $\mathcal{T}_{n,d}$ , $\mathbb{T}_{n,p}$ be the set of all trees of order n with diameter d, p pendent vertices respectively. In this paper, we investigate the relations on the ordering of trees and non-starlike trees by minimal energies between $\mathcal{T}_{n,d}$ and $\mathbb{T}_{n,n-d+1}$ . We first show that the first two trees (non-starlike trees, resp.) with minimal energies in $\mathcal{T}_{n,d}$ and $\mathbb{T}_{n,n-d+1}$ are the same for 3≤d≤n?2 (3≤d≤n?3, resp.). Then we obtain that the trees with third-minimal energy in $\mathcal{T}_{n,d}$ and $\mathbb{T}_{n,n-d+1}$ are the same when n≥11, 3≤d≤n?2 and d≠8; and the tree with third-minimal energy in $\mathcal{T}_{n,8}$ is the caterpillar with third-minimal energy in $\mathbb{T}_{n,n-7}$ for n≥11.     

Lower large deviations for the maximal flow through a domain of {\mathbb{R}^d} in first passage percolation

We consider the standard first passage percolation model in the rescaled graph ${\mathbb{Z}^d/n}$ for d??? 2, and a domain ?? of boundary ?? in ${\mathbb{R}^d}$ . Let ??¹ and ??² be two disjoint open subsets of ??, representing the parts of ?? through which some water can enter and escape from ??. We investigate the asymptotic behaviour of the flow ${\phi_n}$ through a discrete version ?? _n of ?? between the corresponding discrete sets ${\Gamma^{1}_{n}}$ and ${\Gamma^{2}_{n}}$ . We prove that under some conditions on the regularity of the domain and on the law of the capacity of the edges, the lower large deviations of ${\phi_n/ n^{d-1}}$ below a certain constant are of surface order.     

Fast evaluation of singular BEM integrals based on tensor approximations

In this paper, we propose a method for the fast evaluation of integrals stemming from boundary element methods including discretisations of the classical single and double layer potential operators. Our method is based on the parametrisation of boundary elements in terms of a d-dimensional parameter tuple. We interpret the integral as a real-valued function f depending on d parameters and show that f is smooth in a d-dimensional box. A standard interpolation of f by polynomials leads to a d-dimensional tensor which is given by the values of f at the interpolation points. This tensor may be approximated in a low rank tensor format like the (CP) format or the ${{\mathcal {H}}}$ -Tucker format. The tensor approximation has to be done only once and allows us to evaluate interpolants in ${{\mathcal{O}}(dr(m+1))}$ operations in the (CP) format, or ${{\mathcal{O}}(dk^3+dk(m+1))}$ operations in the ${{\mathcal H}}$ -Tucker format, where m denotes the interpolation order and the ranks r, k are small integers. We demonstrate that highly accurate integral values can be obtained at very moderate costs.     

On vector bundles over surfaces and Hilbert schemes

Let X be an irreducible smooth projective surface over ${{\mathbb{C}}}$ and Hilb ^d (X) the Hilbert scheme parametrizing the zero-dimensional subschemes of X of length d. Given a vector bundle E on X, there is a naturally associated vector bundle ${{\mathcal{F}}_d(E)}$ over Hilb ^d (X). If E and V are semistable vector bundles on X such that ${{\mathcal{F}}_d(E)}$ and ${{\mathcal{F}}_d(V)}$ are isomorphic, we prove that E is isomorphic to V. A key input in the proof is provided by Biswas and Nagaraj (see [1]).     

Notes on Schneider’s stability estimates for convex sets

In 2009 Schneider obtained stability estimates in terms of the Banach–Mazur distance for several geometric inequalities for convex bodies in an n-dimensional normed space ${\mathbb{E}^n}$ . A unique feature of his approach is to express fundamental geometric quantities in terms of a single function ${\rho:\mathfrak{B} \times \mathfrak{B} \to \mathbb{R}}$ defined on the family of all convex bodies ${\mathfrak{B}}$ in ${\mathbb{E}^n}$ . In this paper we show that (the logarithm of) the symmetrized ρ gives rise to a pseudo-metric d _D on ${\mathfrak{B}}$ inducing, from our point of view, a finer topology than Banach–Mazur’s d _BM . Further, d _D induces a metric on the quotient ${\mathfrak{B}/{\rm Dil}^+}$ of ${\mathfrak{B}}$ by the relation of positive dilatation (homothety). Unlike its compact Banach–Mazur counterpart, d _D is only “boundedly compact,” in particular, complete and locally compact. The general linear group ${{\rm GL}(\mathbb{E}^n)}$ acts on ${\mathfrak{B}/{\rm Dil}^+}$ by isometries with respect to d _D , and the orbit space is naturally identified with the Banach–Mazur compactum ${\mathfrak{B}/{\rm Aff}}$ via the natural projection ${\pi:\mathfrak{B}/{\rm Dil}^+\to\mathfrak{B}/{\rm Aff}}$ , where Aff is the affine group of ${\mathbb{E}^n}$ . The metric d _D has the advantage that many geometric quantities are explicitly computable. We show that d _D provides a simpler and more fitting environment for the study of stability; in particular, all the estimates of Schneider turn out to be valid with d _BM replaced by d _D .     

Collineation group as a subgroup of the symmetric group

Let ψ be the projectivization (i.e., the set of one-dimensional vector subspaces) of a vector space of dimension ≥ 3 over a field. Let H be a closed (in the pointwise convergence topology) subgroup of the permutation group $\mathfrak{S}_\psi $ of the set ψ. Suppose that H contains the projective group and an arbitrary self-bijection of ψ transforming a triple of collinear points to a non-collinear triple. It is well known from [Kantor W.M., McDonough T.P., On the maximality of PSL(d+1,q), d ≥ 2, J. London Math. Soc., 1974, 8(3), 426] that if ψ is finite then H contains the alternating subgroup $\mathfrak{A}_\psi $ of $\mathfrak{S}_\psi $ . We show in Theorem 3.1 that H = $\mathfrak{S}_\psi $ , if ψ is infinite.     

Linearizing Systems of Second-Order ODEs via Symmetry Generators Spanning a Simple Subalgebra

It is shown that a system of n second order ordinary differential equations that possess 2(n?1) symmetries of certain type necessarily has maximal symmetry $\frak{sl}(n+2,\mathbb{R})$ . Further, it is shown for non-linearizable systems containing a subalgebra of symmetries isomorphic to $\frak{sl}(n-1,\mathbb{R})$ the dimension of the symmetry algebra $\mathcal{L}$ is d≥n ²?1. Examples showing that the upper bound is sharp are given.     

Integration of H?lder forms and currents in snowflake spaces

For an oriented n-dimensional Lipschitz manifold M we give meaning to the integral ${\int_M f \, dg_1 \wedge \cdots \wedge dg_n}$ in case the functions ${f, g_1, \ldots, g_n}$ are merely H?lder continuous of a certain order by extending the construction of the Riemann?CStieltjes integral to higher dimensions. More generally, we show that for ${\alpha \in (\tfrac{n}{n+1},1]}$ the n-dimensional locally normal currents in a locally compact metric space (X, d) represent a subspace of the n-dimensional currents in (X, d ^?? ). On the other hand, for ${n \geq 1}$ and ${\alpha \leq \tfrac{n}{n+1}}$ the vector space of n-dimensional currents in (X, d ^?? ) is zero.     

A Triangulation of ?P 3 as Symmetric Cube of S 2

The symmetric group $\operatorname{Sym}(d)$ acts on the Cartesian product (S ²) ^d by coordinate permutation, and the quotient space $(S^{2})^{d}/\operatorname{Sym}(d)$ is homeomorphic to the complex projective space ?P ^d . We used the case d=2 of this fact to construct a 10-vertex triangulation of ?P ² earlier. In this paper, we have constructed a 124-vertex simplicial subdivision $(S^{2})^{3}_{124}$ of the 64-vertex standard cellulation $(S^{2}_{4})^{3}$ of (S ²)³, such that the $\operatorname{Sym}(3)$ -action on this cellulation naturally extends to an action on $(S^{2})^{3}_{124}$ . Further, the $\operatorname{Sym}(3)$ -action on $(S^{2})^{3}_{124}$ is ??good??, so that the quotient simplicial complex $(S^{2})^{3}_{124}/\operatorname{Sym}(3)$ is a 30-vertex triangulation $\mathbb{C}P^{3}_{30}$ of ?P ³. In other words, we have constructed a simplicial realization $(S^{2})^{3}_{124} \to\mathbb{C} P^{3}_{30}$ of the branched covering (S ²)³???P ³.     

On one sided ideals of a semiprime ring with generalized derivations

Let R be a ring with center Z(R). An additive mapping ${F : R \longrightarrow R}$ is said to be a generalized derivation on R if there exists a derivation ${d : R \longrightarrow R}$ such that F(xy) = F(x)y + xd(y), for all ${x, y \in R}$ (the map d is called the derivation associated with F). Let R be a semiprime ring and U be a nonzero left ideal of R. In the present note we prove that if R admits a generalized derivation F, d is the derivation associated with F such that d(U) ≠ (0) then R contains some nonzero central ideal, if one of the following conditions holds: (1) R is 2-torsion free and ${F(xy) \in Z(R)}$ , for all ${x, y \in U}$ , unless F(U)U = UF(U) = Ud(U) = (0); (2) ${F(xy) \mp yx \in Z(R)}$ , for all ${x,y \in U}$ ; (3) ${F(xy) \mp [x,y] \in Z(R)}$ , for all ${x,y \in U}$ ; (4) F ≠ 0 and F([x,y]) = 0, for all ${x, y \in U}$ , unless Ud(U) = (0); (5) F ≠ 0 and ${F([x, y]) \in Z(R)}$ , for all ${x, y \in U}$ , unless either d(Z(R))U = (0) or Ud(U) = (0)n.     

Tridiagonal pairs and the quantum affine algebra {\boldmath U_q({\widehat {sl}}_2)}

Let ${\mathbb K}$ denote an algebraically closed field and let q denote a nonzero scalar in ${\mathbb K}$ that is not a root of unity. Let V denote a vector space over ${\mathbb K}$ with finite positive dimension and let A,A* denote a tridiagonal pair on V. Let θ₀, θ₁,…, θ _d (resp. θ*₀, θ*₁,…, θ* _d ) denote a standard ordering of the eigenvalues of A (resp. A*). We assume there exist nonzero scalars a, a* in ${\mathbb K}$ such that θ _i = aq ^2i?d and θ* _i = a*q ^d?2i for 0 ≤ i ≤ d. We display two irreducible ${\boldmath U_q({\widehat {sl}}_2)}$ -module structures on V and discuss how these are related to the actions of A and A*.     

A Congruence Connecting Latin Rectangles and Partial Orthomorphisms

A partial orthomorphism of ${\mathbb{Z}_{n}}$ is an injective map ${\sigma : S \rightarrow \mathbb{Z}_{n}}$ such that ${S \subseteq \mathbb{Z}_{n}}$ and ??(i)?Ci ? ??(j)? j (mod n) for distinct ${i, j \in S}$ . We say ?? has deficit d if ${|S| = n - d}$ . Let ??(n, d) be the number of partial orthomorphisms of ${\mathbb{Z}_{n}}$ of deficit d. Let ??(n, d) be the number of partial orthomorphisms ?? of ${\mathbb{Z}_n}$ of deficit d such that ??(i) ? {0, i} for all ${i \in S}$ . Then ??(n, d) =???(n, d)n ²/d ² when ${1\,\leqslant\,d < n}$ . Let R _{k, n} be the number of reduced k ×?n Latin rectangles. We show that $$R_{k, n} \equiv \chi (p, n - p)\frac{(n - p)!(n - p - 1)!^{2}}{(n - k)!}R_{k-p,\,n-p}\,\,\,\,(\rm {mod}\,p)$$ when p is a prime and ${n\,\geqslant\,k\,\geqslant\,p + 1}$ . In particular, this enables us to calculate some previously unknown congruences for R _{n, n} . We also develop techniques for computing ??(n, d) exactly. We show that for each a there exists??? _a such that, on each congruence class modulo??? _a , ??(n, n-a) is determined by a polynomial of degree 2a in n. We give these polynomials for ${1\,\leqslant\,a\,\leqslant 6}$ , and find an asymptotic formula for ??(n, n-a) as n ?? ??, for arbitrary fixed a.     

On d-arc-dominated Oriented Graphs

We consider only digraphs that are oriented graphs, meaning orientations of simple finite graphs. An oriented graph D = (V, A) with minimum outdegree d is called d-arc-dominated if for every arc \({(x, y) \in A}\) there is a vertex \({u \in V}\) with outdegree d such that both \({(u, x) \in A}\) and \({(u, y) \in A}\) hold. In this paper, we show that for any integer d ≥ 3 the girth of a d-arc-dominated oriented graph is less than or equal to d. Moreover, for every integer t with 3 ≤ t ≤ d there is a d-arc-dominated oriented graph with girth t. We also give a characterization for oriented graphs with both minimum outdegree and girth d to be d-arc-dominated and classify all d-arc-dominated d-circular oriented graphs with girth d.