A Formula for the Partition Function That “Counts”

We derive a combinatorial multisum expression for the number D(n, k) of partitions of n with Durfee square of order k. An immediate corollary is therefore a combinatorial formula for p(n), the number of partitions of n. We then study D(n, k) as a quasipolynomial. We consider the natural polynomial approximation \({\tilde{D}(n, k)}\) to the quasipolynomial representation of D(n, k). Numerically, the sum \({\sum_{1\leq k \leq \sqrt{n}} \tilde{D}(n, k)}\) appears to be extremely close to the initial term of the Hardy-Ramanujan-Rademacher convergent series for p(n).     

Principally Weakly and Weakly Coherent Monoids

We shall call a monoid S principally weakly (weakly) left coherent if direct products of nonempty families of principally weakly (weakly) flat right S-acts are principally weakly (weakly) flat. Such monoids have not been studied in general. However, Bulman-Fleming and McDowell proved that a commutative monoid S is (weakly) coherent if and only if the act S ^I is weakly flat for each nonempty set I. In this article we introduce the notion of finite (principal) weak flatness for characterizing (principally) weakly left coherent monoids. Also we investigate monoids over which direct products of acts transfer an arbitrary flatness property to their components.     

On the set of elasticities in numerical monoids

In an atomic, cancellative, commutative monoid S, the elasticity of an element provides a coarse measure of its non-unique factorizations by comparing the largest and smallest values in its set of factorization lengths (called its length set). In this paper, we show that the set of length sets \({\mathcal {L}}(S)\) for any arithmetical numerical monoid S can be completely recovered from its set of elasticities R(S); therefore, R(S) is as strong a factorization invariant as \({\mathcal {L}}(S)\) in this setting. For general numerical monoids, we describe the set of elasticities as a specific collection of monotone increasing sequences with a common limit point of \(\max R(S)\).     

Characterization of some finite groups by order and length of one conjugacy class

We study the possibility of characterizing S ∈ {²D_n(2), ²D_n+1(2)} by simple conditions when 2ⁿ⁺¹ > 5 is a prime. Furthermore, we will show that Thompson’s conjecture is valid under some weak condition for these groups.     

On weakly nil-clean rings

We obtain the structure of the rings in which every element is either a sum or a difference of a nilpotent and an idempotent that commute. This extends the structure theorems of a commutative weakly nil-clean ring, of an abelian weakly nil-clean ring, and of a strongly nil-clean ring. As applications, this result is used to determine the 2-primal rings R such that the matrix ring \(\mathbb{M}_n (R)\) is weakly nil-clean, and to show that the endomorphism ring End _D (V) over a vector space V _D is weakly nil-clean if and only if it is nil-clean or dim(V) = 1 with D?= ?₃.     

The weak form of normality

A topological space is said to be paranormal if every countable discrete collection of closed sets {D _n : n < ω} can be expanded to a locally finite collection of open sets {U _n : n < ω}, i.e., D _n ? U _n and D _m ∩ U _n ≠ 0 if and only if D _m = D _n . It is proved that if F: Comp → Comp is a normal functor of degree ≥ 3 and the compact space F(X) is hereditarily paranormal, then the compact space X is metrizable.     

The Existence and Application of Strongly Idempotent Self-orthogonal Row Latin Magic Arrays

Let N = {0, 1, · · ·, n ? 1}. A strongly idempotent self-orthogonal row Latin magic array of order n (SISORLMA(n) for short) based on N is an n × n array M satisfying the following properties: (1) each row of M is a permutation of N, and at least one column is not a permutation of N; (2) the sums of the n numbers in every row and every column are the same; (3) M is orthogonal to its transpose; (4) the main diagonal and the back diagonal of M are 0, 1, · · ·, n ? 1 from left to right. In this paper, it is proved that an SISORLMA(n) exists if and only if n ? {2, 3}. As an application, it is proved that a nonelementary rational diagonally ordered magic square exists if and only if n ? {2, 3}, and a rational diagonally ordered magic square exists if and only if n ≠ 2.     

An extended class of stabilizable uncertain systems

The system of equations \(\frac{{dx}}{{dt}} = A\left( \cdot \right)x + B\left( \cdot \right)u\), where A(·) ∈ ?^{n × n}, B(·) ∈ ?^{n × m}, S(·) ∈ R^{n × m}, is considered. The elements of the matrices A(·), B(·), S(·) are uniformly bounded and are functionals of an arbitrary nature. It is assumed that there exist k elements \({\alpha _{{i_i}{j_l}}}\left( \cdot \right)\left( {l \in \overline {1,k} } \right)\) of fixed sign above the main diagonal of the matrix A(·), and each of them is the only significant element in its row and column. The other elements above the main diagonal are sufficiently small. It is assumed that m = n ?k, and the elements β_ij(·) of the matrix B(·) possess the property \(\left| {{\beta _{{i_s}s}}\left( \cdot \right)} \right| = {\beta _0} > 0\;at\;{i_s}\; \in \;\overline {1,n} \backslash \left\{ {{i_1}, \ldots ,{i_k}} \right\}\). The other elements of the matrix B(·) are zero. The positive definite matrix H = {h_ij} of the following form is constructed. The main diagonal is occupied by the positive numbers h_ii = h_i, \({h_{{i_l}}}_{{j_l}}\, = \,{h_{{j_l}{i_l}}}\, = \, - 0.5\sqrt {{h_{{i_l}}}_{{j_l}}} \,\operatorname{sgn} \,{\alpha _{{i_l}}}_{{j_l}}\left( \cdot \right)\). The other elements of the matrix H are zero. The analysis of the derivative of the Lyapunov function V(x) = x*H^–1x yields h_i\(\left( {i \in \overline {1,n} } \right)\) and λ_i ≤ 0 \(\left( {i \in \overline {1,n} } \right)\) such that for S(·) = H^?1ΛB(·), Λ = diag(λ₁, ..., λ_n), the system of the considered equations becomes globally exponentially stable. The control is robust with respect to the elements of the matrix A(·).     

Bounded indecomposable semigroups of non-negative matrices

A semigroup \({\mathfrak{S}}\) of non-negative n × n matrices is indecomposable if for every pair i, j ≤ n there exists \({S\in\mathfrak{S}}\) such that (S) _ij ≠ 0. We show that if there is a pair k, l such that \({\{(S)_{kl} : S\in\mathfrak{S}\}}\) is bounded then, after a simultaneous diagonal similarity, all the entries are in [0, 1]. We also provide quantitative versions of this result, as well as extensions to infinite-dimensional cases.     

Diagonal reduction algebra and the reflection equation

We describe the diagonal reduction algebra D(gl _n ) of the Lie algebra gl _n in the R-matrix formalism. As a byproduct we present two families of central elements and the braided bialgebra structure of D(gl _n ).     

Certain decompositions of matrices over Abelian rings

A ring R is (weakly) nil clean provided that every element in R is the sum of a (weak) idempotent and a nilpotent. We characterize nil and weakly nil matrix rings over abelian rings. Let R be abelian, and let n ∈ ?. We prove that M ⁿ (R) is nil clean if and only if R/J(R) is Boolean and M _n (J(R)) is nil. Furthermore, we prove that R is weakly nil clean if and only if R is periodic; R/J(R) is ?₃, B or ?₃ ⊕ B where B is a Boolean ring, and that M _n (R) is weakly nil clean if and only if M _n (R) is nil clean for all n ≥ 2.     

Characterization of the Gamma semigroup

The Gamma semigroup with parameter \(b>0\) on \(L^p(\mathbb R^+)\) is defined by

$$\begin{aligned} W_b(t)f(x)=\frac{1}{\Gamma (t)}\int _0^x(x-y)^{t-1}e^{-b(x-y)}f(y)\,dy. \end{aligned}$$

Let S denote the multiplication operator \(f(x)\rightarrow xf(x)\) with maximal domain D(S) in \(L^p(\mathbb R^+)\). The bounded operator V on \(L^p(\mathbb R^+)\) is S-Volterra if D(S) is V-invariant and \([S,V]=V^2\) on D(S). For \(1<p<\infty \), we characterize the Gamma semigroup as the unique regular semigroup \(V(\cdot )\) on \(L^p(\mathbb R^+)\) with imaginary type less than \(\pi \), such that V(1) is S-Volterra and \(V(1)u^b=Su^b\), where \(u^b(x):=e^{-bx}\).

     

Relative singularity categories with respect to gorenstein flat modules

Let R be a right coherent ring and D~b(R-Mod) the bounded derived category of left R-modules. Denote by D~b(R-Mod)_([G F,C]) the subcategory of D~b(R-Mod) consisting of all complexes with both finite Gorenstein flat dimension and cotorsion dimension and K~b(F ∩ C) the bounded homotopy category of flat cotorsion left R-modules. We prove that the quotient triangulated category D~b(R-Mod)_([G F,C])/K~b(F ∩ C) is triangle-equivalent to the stable category GF ∩ C of the Frobenius category of all Gorenstein flat and cotorsion left R-modules.     

Minimum Difference Representations of Graphs

Define a k-minimum-difference-representation (k-MDR) of a graph G to be a family of sets \({\{S(v): v\in V(G)\}}\) such that u and v are adjacent in G if and only if min{|S(u)?S(v)|, |S(v)?S(u)|} ≥ k. Define ρ _min(G) to be the smallest k for which G has a k-MDR. In this note, we show that {ρ _min(G)} is unbounded. In particular, we prove that for every k there is an n ₀ such that for n > n ₀ ‘almost all’ graphs of order n satisfy ρ _min(G) > k. As our main tool, we prove a Ramsey-type result on traces of hypergraphs.     

Principal Weak Flatness and Regularity of Diagonal Acts

For a monoid S, the set S × S equipped with the componentwise right S-action is called the diagonal act of S and is denoted by D(S). A monoid S is a left PP (left PSF) monoid if every principal left ideal of S is projective (strongly flat). We shall call a monoid S left P(P) if all principal left ideals of S satisfy condition (P). We shall call a monoid S weakly left P(P) monoid if the equalities as = bs, xb = yb in S imply the existence of r ∈ S such that xar = yar, rs = s. In this article, we prove that a monoid S is left PSF if and only if S is (weakly) left P(P) and D(S) is principally weakly flat. We provide examples showing that the implications left PSF ? left P(P) ? weakly left P(P) are strict. Finally, we investigate regularity of diagonal acts D(S), and we prove that for a right PP monoid S the diagonal act D(S) is regular if and only if every finite product of regular acts is regular. Furthermore, we prove that for a full transformation monoid S = 𝒯 _X , D(S) is regular.     

Graphs with small diameter determined by their <Emphasis Type="Italic">D</Emphasis>-spectra

Let G be a connected graph with vertex set V(G) = {v₁, v₂,..., v _n }. The distance matrix D(G) = (d _ij )_n×n is the matrix indexed by the vertices of G, where d _ij denotes the distance between the vertices v _i and v _j . Suppose that λ₁(D) ≥ λ₂(D) ≥... ≥ λ _n (D) are the distance spectrum of G. The graph G is said to be determined by its D-spectrum if with respect to the distance matrix D(G), any graph having the same spectrum as G is isomorphic to G. We give the distance characteristic polynomial of some graphs with small diameter, and also prove that these graphs are determined by their D-spectra.     

The Paranormality of Products and Their Subsets

A topological space is called paranormal if any countable discrete system of closed sets {D_n:n = 1, 2, 3,...} can be expanded to a locally finite system of open sets {U_n:n = 1, 2, 3,...}, i.e., D_n is contained in U_n for all n, and D_m ∩ U_n≠ Ø if and only if D_m = D_n. It is proved that if X is a countably compact space whose cube is hereditarily paranormal, then X is metrizable.     

Submanifolds with parallel normalized mean curvature vector in a unit sphere

Let M ⁿ be an n-dimensional closed submanifold of a sphere with parallel normalized mean curvature vector. Denote by S and H the squared norm of the second fundamental form and the mean curvature of M ⁿ , respectively. Assume that the fundamental group \({\pi_{1}(M^{n})}\) of M ⁿ is infinite and \({S\, \leqslant\, S(H)=n+\frac{n^{3}H^{2}}{2(n-1)}-\frac{n(n-2)H}{2(n-1)}\sqrt{n^{2}H^{2}+4(n-1)}}\), then S is constant, S = S(H), and M ⁿ is isometric to a Clifford torus \({S^{1}(\sqrt{1-r^{2}})\times S^{n-1}(r)}\) with \({r^{2}\leqslant \frac{n-1}{n}}\).     

Sums of Fourier coefficients of cusp forms of level <Emphasis Type="Italic">D</Emphasis> twisted by exponential functions

Let g be a holomorphic or Maass Hecke newform of level D and nebentypus χD, and let a _g (n) be its n-th Fourier coefficient. We consider the sum \({S_1} = \sum {_{X < n \leqslant 2X}{a_g}\left( n \right)e\left( {\alpha {n^\beta }} \right)}\) and prove that S ₁ has an asymptotic formula when β = 1/2 and α is close to \(\pm 2\sqrt {q/D}\) for positive integer q ≤ X/4 and X sufficiently large. And when 0 < β < 1 and α, β fail to meet the above condition, we obtain upper bounds of S ₁. We also consider the sum \({S_2} = \sum {_{n > 0}{a_g}\left( n \right)e\left( {\alpha {n^\beta }} \right)\phi \left( {n/X} \right)}\) with ø(x) ∈ C _c ^∞ (0,+∞) and prove that S ₂ has better upper bounds than S ₁ at some special α and β.     

Construction of Carleman formulas by using mixed problems with parameter-dependent boundary conditions

Let D be an open connected subset of the complex plane C with sufficiently smooth boundary ?D. Perturbing the Cauchy problem for the Cauchy–Riemann system ??u = f in D with boundary data on a closed subset S ? ?D, we obtain a family of mixed problems of the Zaremba-type for the Laplace equation depending on a small parameter ε ∈ (0, 1] in the boundary condition. Despite the fact that the mixed problems include noncoercive boundary conditions on ?D\S, each of them has a unique solution in some appropriate Hilbert space H ⁺(D) densely embedded in the Lebesgue space L ₂(?D) and the Sobolev–Slobodetski? space H ^1/2?δ(D) for every δ > 0. The corresponding family of the solutions {u _ε} converges to a solution to the Cauchy problem in H ⁺(D) (if the latter exists). Moreover, the existence of a solution to the Cauchy problem in H ⁺(D) is equivalent to boundedness of the family {u _ε} in this space. Thus, we propose solvability conditions for the Cauchy problem and an effective method of constructing a solution in the form of Carleman-type formulas.