Congruences involving Bernoulli polynomials

Let {B_n(x)} be the Bernoulli polynomials. In the paper we establish some congruences for , where p is an odd prime and x is a rational p-integer. Such congruences are concerned with the properties of p-regular functions, the congruences for and the sum , where h(d) is the class number of the quadratic field of discriminant d and p-regular functions are those functions f such that are rational p-integers and for n=1,2,3,… . We also establish many congruences for Euler numbers.     

Noncommutative plurisubharmonic polynomials part I: Global assumptions

We consider symmetric polynomials, p, in the noncommutative (nc) free variables {x₁,x₂,…,xg}. We define the nc complex hessian of p as the second directional derivative (replacing xT by y)

     

Weakly Birkhoff recurrent switching signals, almost sure and partial stability of linear switched dynamical systems

Let {A₁,…,AK}⊂Cd×d be arbitrary K matrices, where K and d both ?2. For any 0<Δ<∞, we denote by the set of all switching sequences u=(λ.,t.):N→{1,…,K}×R₊ satisfying tj−tj−1?Δ and

     

The subconstituent algebra of a bipartite distance-regular graph; thin modules with endpoint two

We consider a bipartite distance-regular graph Γ with diameter D?4, valency k?3, intersection numbers b_i,c_i, distance matrices A_i, and eigenvalues θ₀>θ₁>?>θ_D. Let X denote the vertex set of Γ and fix x∈X. Let T=T(x) denote the subalgebra of Mat_X(C) generated by , where A=A₁ and denotes the projection onto the ith subconstituent of Γ with respect to x. T is called the subconstituent algebra (or Terwilliger algebra) of Γ with respect to x. An irreducible T-module W is said to be thin whenever for 0?i?D. By the endpoint of W we mean . Assume W is thin with endpoint 2. Observe is a one-dimensional eigenspace for ; let η denote the corresponding eigenvalue. It is known where , and d=⌊D/2⌋. To describe the structure of W we distinguish four cases: (i) ; (ii) D is odd and ; (iii) D is even and ; (iv) . We investigated cases (i), (ii) in MacLean and Terwilliger [Taut distance-regular graphs and the subconstituent algebra, Discrete Math. 306 (2006) 1694-1721]. Here we investigate cases (iii), (iv) and obtain the following results. We show the dimension of W is D-1-e where e=1 in case (iii) and e=0 in case (iv). Let v denote a nonzero vector in . We show W has a basis , where E_i denotes the primitive idempotent of A associated with θ_i and where the set S is {1,2,…,d-1}∪{d+1,d+2,…,D-1} in case (iii) and {1,2,…,D-1} in case (iv). We show this basis is orthogonal (with respect to the Hermitian dot product) and we compute the square-norm of each basis vector. We show W has a basis , and we find the matrix representing A with respect to this basis. We show this basis is orthogonal and we compute the square-norm of each basis vector. We find the transition matrix relating our two bases for W.     

Spanning multi-paths in hypercubes

A set A of vertices of a hypercube is called balanced if . We prove that for every natural number n there exists a natural number π₁(n) such that for every hypercube Q with dim(Q)?π₁(n) there exists a family of pairwise vertex-disjoint paths P_i between A_i and B_i for i=1,2,…,n with if and only if {A_i,B_i∣i=1,2,…,n} is a balanced set.     

Walking in circles

Consider the unit circle S¹ with distance function d measured along the circle. We show that for every selection of 2n points x₁,…,x_n,y₁,…,y_n∈S¹ there exists i∈{1,…,n} such that . We also discuss a game theoretic interpretation of this result.     

A tripling construction for overlarge sets of KTS

An overlarge set of , denoted by , is a collection {(X?{x},B_x):x∈X}, where X is a (v+1)-set, each (X?{x},B_x) is a and {B_x:x∈X} forms a partition of all triples on X. In this paper, we give a tripling construction for overlarge sets of KTS. Our main result is that: If there exists an with a special property, then there exists an . It is obtained that there exists an for u=2²ⁿ⁻¹−1 or u=qⁿ, where prime power q≡7 (mod 12) and m≥0,n≥1.     

Directed 3-cycle decompositions of complete directed graphs with quadratic leaves

Let G be a vertex-disjoint union of directed cycles in the complete directed graph D_t, let |E(G)| be the number of directed edges of G and suppose or if t=5, and if t=6. It is proved in this paper that for each positive integer t, there exist -decompositions for D_t−G if and only if .     

Spectra of certain types of polynomials and tiling of integers with translates of finite sets

We investigate Fuglede's spectral set conjecture in the special case when the set in question is a union of finitely many unit intervals in dimension 1. In this case, the conjecture can be reformulated as a statement about multiplicative properties of roots of associated with the set polynomials with (0,1) coefficients. Let be an N-term polynomial. We say that {θ₁,θ₂,…,θ_N−1} is an N-spectrum for A(x) if the θ_j are all distinct and

     

Super-stationary set, subword problem and the complexity

Let Ω⊂{0,1}^N be a nonempty closed set with N={0,1,2,…}. For N={N₀<N₁<N₂<?}⊂N and ω∈{0,1}^N, define ω[N]∈{0,1}^N by and

     

On the dimension of trees

We consider isometric embedding of trees into the infinite graph Z_m whose vertices are the m-dimensional lattice points where two vertices a=(a₁,a₂,…,a_m) and b=(b₁,b₂,…,b_m) are adjacent if and only if |a_i-b_i|?1 for 1?i?m. Linial, London, and Rabinovich have shown that this can be done with , where t is the number of leaves. In this note, we sketch a proof that .     

Toppling kings in multipartite tournaments by introducing new kings

Let and be two n-tuples of nonnegative integers. An all-4-kings n-partite tournament T(V₁,V₂,…V_n) is said to have a -property if there exists an n-partite tournament T₁(W₁,W₂,…,W_n) such that for each i∈{1,…,n}:

(1)

V_i⊆W_i;

(2)

exactly t_i 4-kings of V_i are not 4-kings in T₁;

(3)

exactly c_i 4-kings of W_i are not vertices of V_i.

We describe all pairs such that there exists an n-partite tournament having -property.     

On the geometry of generalized quadrics

Let {f₀,…,f_n;g₀,…,g_n} be a sequence of homogeneous polynomials in 2n+2 variables with no common zeros in P²ⁿ⁺¹ and suppose that the degrees of the polynomials are such that is a homogeneous polynomial. We shall refer to the hypersurface X defined by Q as a generalized quadric. In this note, we prove that generalized quadrics in for n≥1 are reduced.     

Quantization dimension for condensation systems II: The geometric mean error

Let be a family of similitudes on R¹ satisfying the strong separation condition and ν the self-similar measure associated with and a probability vector (t₁,…,tN). Let μ be the attracting measure of a condensation system associated with ν, and a probability vector (p₀,p₁,…,pN). We establish a relationship between the quantization dimension of μ and its mass distribution on cylinder sets.     

4-regular claw-free IM-extendable graphs

A graph G is induced matching extendable (shortly, IM-extendable), if every induced matching of G is included in a perfect matching of G. A graph G is claw-free, if G does not contain any induced subgraph isomorphic to K_1,3. The kth power of a graph G, denoted by G^k, is the graph with vertex set V(G) in which two vertices are adjacent if and only if the distance between them in G is at most k. In this paper, the 4-regular claw-free IM-extendable graphs are characterized. It is shown that the only 4-regular claw-free connected IM-extendable graphs are , and T_r, r?2, where T_r is the graph with 4r vertices u_i,v_i,x_i,y_i, 1?i?r, such that for each i with 1?i?r, {u_i,v_i,x_i,y_i} is a clique of T_r and . We also show that a 4-regular strongly IM-extendable graph must be claw-free. As a consequence, the only 4-regular strongly IM-extendable graphs are K₄×K₂, and .