Arc-disjoint in-trees in directed graphs

Given a directed graph D = (V,A) with a set of d specified vertices S = {s ₁,…, s _d } ⊆ V and a function f: S → ℕ where ℕ denotes the set of natural numbers, we present a necessary and sufficient condition such that there exist Σ _i=1 ^d f(s _i ) arc-disjoint in-trees denoted by T _i,1,T _i,2,…, for every i = 1,…,d such that T _i,1,…, are rooted at s _i and each T _i,j spans the vertices from which s _i is reachable. This generalizes the result of Edmonds [2], i.e., the necessary and sufficient condition that for a directed graph D=(V,A) with a specified vertex s∈V, there are k arc-disjoint in-trees rooted at s each of which spans V. Furthermore, we extend another characterization of packing in-trees of Edmonds [1] to the one in our case. Supported by JSPS Research Fellowships for Young Scientists. Supported by the project New Horizons in Computing, Grand-in-Aid for Scientific Research on Priority Areas, MEXT Japan.     

A generalization of Meshulam’s theorem on subsets of finite abelian groups with no 3-term arithmetic progression

Let r ₁, …, r _s be non-zero integers satisfying r ₁ + ⋯ + r _s = 0. Let G be a finite abelian group with k _i |k _i-1(2 ≤ i ≤ n), and suppose that (r _i , k ₁) = 1(1 ≤ i ≤ s). Let denote the maximal cardinality of a set which contains no non-trivial solution of r ₁ x ₁ + ⋯ + r _s x _s = 0 with . We prove that . We also apply this result to study problems in finite projective spaces.      

Rauzy tilings and bounded remainder sets on the torus

For the two-dimensional torus , we construct the Rauzy tilings d⁰ ⊃ d¹ ⊃ … ⊃ d^m ⊃ …, where each tiling d^m+1 is obtained by subdividing the tiles of d^m. The following results are proved. Any tiling d^m is invariant with respect to the torus shift S(x) = x+ mod ℤ², where ζ⁻¹ > 1 is the Pisot number satisfying the equation x³− x²−x-¹ = 0. The induced map is an exchange transformation of B^md ⊂ , where d = d⁰ and . The map S^(m) is a shift of the torus , which is affinely isomorphic to the original shift S. This means that the tilings d^m are infinitely differentiable. If Z_N(X) denotes the number of points in the orbit S¹(0), S²(0), …, S^N(0) belonging to the domain B^md, then, for all m, the remainder r_N(B^md) = Z_N(B^md) − N ζ^m satisfies the bounds −1.7 < r_N(B^md) < 0.5. Bibliography: 10 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 322, 2005, pp. 83–106.     

Maximal multilinear Calderón-Zygmund operators with non-doubling measures

Under the assumption that μ is a non-doubling measure on ℝ ^d which only satisfies some growth condition, the authors prove that the maximal multilinear Calderón-Zygmund operator is bounded from (μ) × … × (μ) into L ^p (μ) for any p ₁, … p _m ∈ (1, ∞) and p with 1/p = 1/p ₁ + … + 1/p _m , and bounded from (μ) × … × (μ) into weak- ^{L p} (μ) if there exists any p _i = 1. Furthermore, the authors establish a weighted weak-type estimate for the maximal multilinear Calderón-Zygmund operator. The second (corresponding) author is supported by Tianyuan Fund of China (No. 10626055) and National Natural Science Foundation of China (No. 10701078).     

Positive solutions and eigenvalue intervals for nonlinear systems

This paper deals with the existence of positive solutions for the nonlinear system

On the weighted elliptic problems involving multi-singular potentials and multi-critical exponents

Suppose Ω belong to R^N（N≥3） is a smooth bounded domain,ξi∈Ω,0〈ai〈√μ,μ：=（（N-1）/2）^2,0≤μi〈（√μ-ai）^2,ai〈bi〈ai＋1 and pi：=2N/N-2（1＋ai-bi）are the weighted critical Hardy-Sobolev exponents, i = 1, 2,..., k, k ≥ 2. We deal with the conditions that ensure the existence of positive solutions to the multi-singular and multi-critical elliptic problem ∑i=1^k（-div（｜x-ξi｜^-2ai△↓u）-μiu/｜x-ξi｜^2（1＋ai）-u^pi-1/｜x-ξi｜^bipi）=0with Dirichlet boundary condition, which involves the weighted Hardy inequality and the weighted Hardy-Sobolev inequality. The results depend crucially on the parameters ai, bi and #i, i -- 1, 2,..., k.     

Degree series of the 3-harmonic graphs

A λ harmonic graph G, a λ-Hgraph G for short, means that there exists a constant λ such that the equality λd（vi） = Σ（vi,vj）∈E（G） d（vj） holds for all i = 1, 2,..., ｜V（G）｜, where d（vi） denotes the degree of vertex vi. Let ni denote the number of vertices with degree i. This paper deals with the 3-Hgraphs and determines their degree series. Moreover, the 3-Hgraphs with bounded ni （1 ≤ i ≤ 7） are studied and some interesting results are obtained.     

On conditions under which the sum of self-adjoint operators with given integer spectra is a scalar operator

We describe the set of parameters γ for which there exists a decomposition of the operator γI _H in a sum of n self-adjoint operators with spectra from the sets M ₁, …, M _n, M _i = 0, 1, …, k _i, for n ≥ 4 and, in some cases, for n = 3. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 4, pp. 470–477, April, 2008.     

Typical sheaves of generalized CM-modules

Let M be a generalized Cohen-Macaulay module over a noetherian local ring (R,m). Fix a standard system x₁, …, x_d∈m with respect to M and let . We construct a coherent Cohen-Macaulay sheafK over the projective space ℙ _R/I ^d-1 whose cohomological Hilbert functions depend only on the lengths of the local cohomology modules H _m ⁱ (M), (i=0, …, d−1).     

Finite p-groups with automorphism of a special form

Research on finite solvable groups with C-closed invariant subgroups has given rise to groups structured as follows. Let p, q₁, q₂, ..., q_m be distinct primes, n_i be the exponent of p modulo q_i, and n be the exponent of p modulo . Then G = Pλ〈x〉, where P is a group and ; Z_i; here, Z_i and P/Z(P) are elementary Abelian groups of respective orders and pⁿ, |x| = r, the element x acts irreducibly on P/Z(P) and on each of the subgroups Z_i, and . We state necessary and sufficient conditions for such groups to exist. __________ Translated from Algebra i Logika, Vol. 45, No. 4, pp. 379–389, July–August, 2006.     

Conditional proof of the Boltzmann-Sinai ergodic hypothesis

We consider the system of N (≥ 2) elastically colliding hard balls of masses m ₁,…,m _N and radius r on the flat unit torus , ν≥2. We prove the so called Boltzmann-Sinai Ergodic Hypothesis, i.e. the full hyperbolicity and ergodicity of such systems for every selection (m ₁,…,m _N ;r) of the external parameters, provided that almost every singular orbit is geometrically hyperbolic (sufficient), i.e. the so called Chernov-Sinai Ansatz is true. The present proof does not use the formerly developed, rather involved algebraic techniques, instead it employs exclusively dynamical methods and tools from geometric analysis. Dedicated to Yakov G. Sinai and Domokos Szász. Research supported by the National Science Foundation, grants DMS-0457168, DMS-0800538.     

Regularity of solutions of Poisson’s equation in multiplier spaces

The most important result stated in this paper is to show that the solutions of the Poisson equation −Δu = f, where f ∈ (Ḣ¹(ℝ ^d ) → (Ḣ⁻¹(ℝ ^d )) is a complex-valued distribution on ℝ ^d , satisfy the regularity property D ^k u ∈ (Ḣ¹ → Ḣ⁻¹) for all k, |k| = 2. The regularity of this equation is well studied by Maz’ya and Verbitsky [12] in the case where f belongs to the class of positive Borel measures.      

Systems of quadratic Diophantine inequalities and the value distribution of quadratic forms

Let Q ₁,…,Q _r be quadratic forms with real coefficients. We prove that the set is dense in , provided that the system Q ₁(x) = 0,…,Q _r (x) = 0 has a nonsingular real solution and all forms in the real pencil generated by Q ₁,…,Q _r are irrational and have rank larger than 8r. Moreover, we give a quantitative version of the above assertion. As an application we study higher correlation functions of the value distribution of a positive definite irrational quadratic form. Author’s address: Institut für Statistik, Technische Universit?t Graz, A-8010 Graz, Austria     

Cyclic Just-In-Time Sequences Are Optimal

Consider the Product Rate Variation problem. Given n products 1,...,i,...,n, and n positive integer demands d ₁,..., d_i,...,d_n. Find a sequence =₁,...,_T, T = _i=1 ⁿ d _i, of the products, where product i occurs exactly d _i times that always keeps the actual production level, equal the number of product i occurrences in the prefix ₁,..., _t, t=1,...,T, and the desired production level, equal r _i t, where r _i=d_i/T, of each product i as close to each other as possible. The problem is one of the most fundamental problems in sequencing flexible just-in-time production systems. We show that if is an optimal sequence for d ₁,...,d_i,...,d_n, then concatenation ^m of m copies of is an optimal sequence for md ₁,..., md_i,...,md_n.     

Conditions for the existence of a graph with given diameter, connectivity, and ball diversity vector

Given some arbitrary integers d ≥ 2, ? ? 1 and an integer vector $ \bar \tau Given some arbitrary integers d ≥ 2, ϰ ⩾ 1 and an integer vector = (τ ₀, τ ₁, …, τ _d ) with τ ₀ ⩾ τ ₁ ⩾ … ⩾ τ _d = 1 and τ _{d − 1} ⩾ d ²ϰ + 3, the existence is proved of a graph of diameter d and connectivity ϰ whose ball diversity vector is . Moreover, the nonexistence is proved of a graph of diameter d with connectivity ϰ and ball diversity vector (τ ₀, τ ₁, …, τ _d ), where τ ₀ < (d − 1)ϰ + 2. Original Russian Text ? K.L. Rychkov, 2007, published in Diskretnyi Analiz i Issledovanie Operatsii, Ser. 1, 2007, Vol. 14, No. 4, pp. 43–56.     

Solutions to deconvolution equations using nonperiodic sampling

Explicit, compactly supported solutions, {v_i, ϕ} _i=1 ^m , to the deconvolution (or Bezout) equation

A theorem on arrangements of lines in the plane

LetA be an arrangement ofn lines in the plane. IfR ₁, …,R _r arer distinct regions ofA, andR _i is ap _i-gon (i=1, …,r) then we show that . Further we show that for allr this bound is the best possible ifn is sufficiently large. Financial support for this research was provided by the Carnegie Trust for the Universities of Scotland.     

Admissible inference rules for polymodal logicS5 n C

We study polymodal logics with n modal connectives □₁,...,□_n, each of which satisfies the axioms of S5 and, moreover, obeys the commutativity laws . The following results are proved: (1) the logic S5_nC is not locally finite; (2) the inference rule A(p₁, …, p_m)/B(p₁, …, p_m) is not admissible in , and on a one-element model ∉, there exists a valuation of variables p₁, …, p_m, such that ∉ ⊪ A. Supported by RFFR grant No. 96-01-00228. Translated fromAlgebra i Logika, Vol. 36, No. 5, pp. 483–493, September–October, 1997.     

A generalization of d’Alembert formula

In this paper we find a closed form of the solution for the factored inhomogeneous linear equation

Inverse problem for zeros of certain koebe-related functions

If w₁,…,w _N is a finite sequence of nonzero points in the unit disk, then there are distinct points λ₁,…, λ_N on the unit circle and positive numbers Μ₁,…,Μ _N such that is the zero sequence of the function 1 — . The points λ₁,…, λ_N and numbers Μ₁,…,Μ_N are unique (except for reorderings).