Augmentation quotients for burnside rings of generalized dihedral groups

Let H be a finite abelian group of odd order, D be its generalized dihedral group, i.e., the semidirect product of C₂ acting on H by inverting elements, where C₂ is the cyclic group of order two. Let Ω (D) be the Burnside ring of D, Δ(D) be the augmentation ideal of Ω (D). Denote by Δⁿ(D) and Q_n(D) the nth power of Δ(D) and the nth consecutive quotient group Δⁿ(D)/Δⁿ⁺¹(D), respectively. This paper provides an explicit Z-basis for Δⁿ(D) and determines the isomorphism class of Q_n(D) for each positive integer n.     

On Extraction of Smooth Solutions of a Class of Almost Hypoelliptic Equations with Constant Power

A linear differential operator P(x, D) = P(x₁,... x _n , D₁,..., D _n ) = ∑_αγ_α(x)D^α with coefficients γ_α(x) defined in E ⁿ is called formally almost hypoelliptic in E ⁿ if all the derivatives D^ν_ξP(x, ξ) can be estimated by P(x, ξ), and the operator P(x, D) has uniformly constant power in Eⁿ. In the present paper, we prove that if P(x, D) is a formally almost hypoelliptic operator, then all solutions of equation P(x, D)u = 0, which together with some of their derivatives are square integrable with a specified exponential weight, are infinitely differentiable functions.     

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.     

On Lebesgue Measure of Integral Self-Affine Sets

Let A be an expanding integer n×n matrix and D be a finite subset of ? ⁿ . The self-affine set T=T(A,D) is the unique compact set satisfying the equality \(A(T)=\bigcup_{d\in D}(T+d)\). We present an effective algorithm to compute the Lebesgue measure of the self-affine set T, the measure of the intersection T∩(T+u) for u∈? ⁿ , and the measure of the intersection of self-affine sets T(A,D ₁)∩T(A,D ₂) for different sets D ₁, D ₂?? ⁿ .     

Asymptotics of the Codimensions <Emphasis Type="Italic">c</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript> in the Algebra <Emphasis Type="Italic">F</Emphasis><Superscript>(7)</Superscript>

The paper studies the additive structure of the algebra F⁽⁷⁾, i.e., a relatively free associative countably generated algebra with the identity [x₁,..., x₇] = 0 over an infinite field of characteristic ≠ 2, 3. First, the space of proper multilinear polynomials in this algebra is investigated. As an application, estimates for the codimensions c_n = dimF_n⁽⁷⁾ are obtained, where F_n⁽⁷⁾ stands for the subspace of multilinear polynomials of degree n in the algebra F⁽⁷⁾.     

Inner derivations of simple Lie pencils of rank 1

We prove that simple Lie pencils of rank 1 over an algebraically closed field P of characteristic 0 with operators of left multiplication being derivations are of the form of a sandwich algebra M ₃(U,D′), where U is the subspace of all skew-symmetric matrices in M ₃(P) and D′ is any subspace containing 〈E〉 in the space of all diagonal matrices D in M ₃(P).     

Lie algebras induced by a nonzero field derivation

Given a finite-dimensional associative commutative algebra A over a field F, we define the structure of a Lie algebra using a nonzero derivation D of A. If A is a field and charF > 3; then the corresponding algebra is simple, presenting a nonisomorphic analog of the Zassenhaus algebra W ₁(m).     

On a class of differential operators with constant coefficients

A linear differential operator P(D) = P(D ₁, …, D _n ) with constant coefficients is called almost hypoelliptic if all the derivatives D ^α P of the characteristic polynomial P(ξ ₁, …, ξ _n ) can be estimated by P. The paper proves that if P is an almost hypoelliptic operator and f is an infinitely differentiable function, square-summable with a definite exponential weight, then any square summable with the same weight solution u of the equation P(D)u = f is again an infinitely differentiable function and P(ξ) → ∞ as ξ → ∞.     

Division Algebras with Left Algebraic Commutators

Let D be a division algebra with center F and K a (not necessarily central) subfield of D. An element a ∈ D is called left algebraic (resp. right algebraic) over K, if there exists a non-zero left polynomial a ₀ + a ₁ x + ? + a _n x ⁿ (resp. right polynomial a ₀ + x a ₁ + ? + x ⁿ a _n ) over K such that a ₀ + a ₁ a + ? + a _n a ⁿ = 0 (resp. a ₀ + a a ₁ + ? + a ⁿ a _n ). Bell et al. proved that every division algebra whose elements are left (right) algebraic of bounded degree over a (not necessarily central) subfield must be centrally finite. In this paper we generalize this result and prove that every division algebra whose all multiplicative commutators are left (right) algebraic of bounded degree over a (not necessarily central) subfield must be centrally finite provided that the center of division algebra is infinite. Also, we show that every division algebra whose multiplicative group of commutators is left (right) algebraic of bounded degree over a (not necessarily central) subfield must be centrally finite. Among other results we present similar result regarding additive commutators under certain conditions.     

Estimation of the depth of reversible circuits consisting of NOT,CNOT and 2-CNOT gates

The paper discusses the asymptotic depth of a reversible circuits consisting of NOT, CNOT and 2-CNOT gates. The reversible circuit depth function D(n, q) is introduced for a circuit implementing a mapping f: Z₂ⁿ → Z₂ⁿ as a function of n and the number q of additional inputs. It is proved that for the case of implementation of a permutation from A(Z₂ⁿ) with a reversible circuit having no additional inputs the depth is bounded as D(n, 0) ? 2ⁿ/(3log₂n). It is also proved that for the case of transformation f: Z₂ⁿ → Z₂ⁿ with a reversible circuit having q₀ ~ 2ⁿ additional inputs the depth is bounded as D(n,q₀) ? 3n.     

Depth of Boolean functions over an arbitrary infinite basis

Realization of Boolean functions by circuits is considered over an arbitrary infinite complete basis. The depth of a circuit is defined as the greatest number of functional elements constituting a directed path from an input of the circuit to its output. The Shannon function of the depth is defined for a positive integer n as the minimal depth D _B (n) of the circuits sufficient to realize every Boolean function on n variables over a basis B. It is shown that, for each infinite basis B, either there exists a constant β ? 1 such that D _B (n) = β for all sufficiently large n or there exist an integer constant γ ? 2 and a constant δ such that log _γ n ? D _B (n) ? log _γ n + δ for all n.     

“Twisted” rational <Emphasis Type="Italic">r</Emphasis>-matrices and the algebraic Bethe ansatz: Applications to generalized Gaudin models,Bose–Hubbard dimers,and Jaynes–Cummings–Dicke-type models

We construct quantum integrable systems associated with the Lie algebra gl(n) and non-skew-symmetric “shifted and twisted” rational r-matrices. The obtained models include Gaudin-type models with and without an external magnetic field, n-level (n?1)-mode Jaynes–Cummings–Dicke-type models in the Λ-configuration, a vector generalization of Bose–Hubbard dimers, etc. We diagonalize quantum Hamiltonians of the constructed integrable models using a nested Bethe ansatz.     

Characterization of 2-Local Derivations and Local Lie Derivations on Some Algebras

We prove that each 2-local derivation from the algebra M_n(A ) (n > 2) into its bimodule M_n(M) is a derivation, where A is a unital Banach algebra and M is a unital A -bimodule such that each Jordan derivation from A into M is an inner derivation, and that each 2-local derivation on a C*-algebra with a faithful traceable representation is a derivation. We also characterize local and 2-local Lie derivations on some algebras such as von Neumann algebras, nest algebras, the Jiang–Su algebra, and UHF algebras.     

On the Complexity and Depth of Embedded in Boolean Cube Circuits That Implement Boolean Functions

A class of circuits of functional elements over the standard basis of the conjunction, disjunction, and negation elements is considered. For each circuit Σ in this class, its depth D(Σ) and dimension R(Σ) equal to the minimum dimension of the Boolean cube allowing isomorphic embedding Σ are defined. It is established that for n = 1, 2,… and an arbitrary Boolean function f of n variables there exists a circuit Σ_f for implementing this function such that R(Σ_f) ? n ? log₂ log₂n + O(1) and D(Σ_f) ? 2n ? 2 log₂ log₂n + O(1). It is proved that for n = 1, 2,… almost all functions of n variables allow implementation by circuits of the considered type, whose depth and dimension differ from the minimum values of these parameters (for all equivalent circuits) by no more than a constant and asymptotically no more than by a factor of 2, respectively.     

Density of characters of bounded <Emphasis Type="Italic">p</Emphasis>-adic analytic functions in the topological dual

Let K be an ultrametric complete algebraically closed field, let D be a disk {x ∈ K ‖x| < R} (with R in the set of absolute values of K) and let A be the Banach algebra of bounded analytic functions in D. The vector space generated by the set of characters of A is dense in the topological dual of A if and only if K is not spherically complete. Let H(D) be the Banach algebra of analytic elements in D. The vector space generated by the set of characters of H(D) is never dense in the topological dual of H(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.     

Categorical resolutions of a class of derived categories

We clarify the relation between the subcategory D_(hf)~b(A) of homological finite objects in D~b(A)and the subcategory K~b(P) of perfect complexes in D~b(A), by giving two classes of abelian categories A with enough projective objects such that D_(hf)~b(A) = K~b(P), and finding an example such that D_(hf)~b(A)≠K~b(P). We realize the bounded derived category D~b(A) as a Verdier quotient of the relative derived category D_C~b(A), where C is an arbitrary resolving contravariantly finite subcategory of A. Using this relative derived categories, we get categorical resolutions of a class of bounded derived categories of module categories of infinite global dimension.We prove that if an Artin algebra A of infinite global dimension has a module T with inj.dimT ∞ such that ~⊥T is finite, then D~b(modA) admits a categorical resolution; and that for a CM(Cohen-Macaulay)-finite Gorenstein algebra, such a categorical resolution is weakly crepant.     

Completeness of Some Commutative Subalgebras Associated with Nijenhuis Operators on Lie Algebras

We prove the completeness of commutative subalgebras in S(gl(n)) constructed from the Sokolov–Odesskii Lie pencil with generic parameters.     

Distance domination of generalized de Bruijn and Kautz digraphs

Let G = (V,A) be a digraph and k ≥ 1 an integer. For u, v ∈ V, we say that the vertex u distance k-dominate v if the distance from u to v at most k. A set D of vertices in G is a distance k-dominating set if each vertex of V D is distance k-dominated by some vertex of D. The distance k-domination number of G, denoted by γ _k (G), is the minimum cardinality of a distance k-dominating set of G. Generalized de Bruijn digraphs G _B (n, d) and generalized Kautz digraphs G _K (n, d) are good candidates for interconnection networks. Denote Δ _k := (∑ _j=0 ^k d ^j )^?1. F. Tian and J. Xu showed that ?nΔ _k ? γ _k (G _B (n, d)) ≤?n/d ^k? and ?nΔ _k ? ≤ γ _k (G _K (n, d)) ≤ ?n/d ^k ?. In this paper, we prove that every generalized de Bruijn digraph G _B (n, d) has the distance k-domination number ?nΔ _k ? or ?nΔ _k ?+1, and the distance k-domination number of every generalized Kautz digraph G _K (n, d) bounded above by ?n/(d ^k?1+d ^k )?. Additionally, we present various sufficient conditions for γ _k (G _B (n, d)) = ?nΔ _k ? and γ _k (G _K (n, d)) = ?nΔ _k ?.