A note on the total number of cycles of even and odd permutations

We prove bijectively that the total number of cycles of all even permutations of [n]={1,2,…,n} and the total number of cycles of all odd permutations of [n] differ by (−1)ⁿ(n−2)!, which was stated as an open problem by Miklós Bóna. We also prove bijectively the following more general identity:

     

The maximal-inversion statistic and pattern-avoiding permutations

We define a new combinatorial statistic, maximal-inversion, on a permutation. We remark that the number M(n,k) of permutations in S_n with k maximal-inversions is the signless Stirling number c(n,n−k) of the first kind. A permutation π in S_n is uniquely determined by its maximal-inversion set . We prove it by making an algorithm for retrieving the permutation from its maximal-inversion set. Also, we remark on how the algorithm can be used directly to determine whether a given set is the maximal-inversion set of a permutation. As an application of the algorithm, we characterize the maximal-inversion set for pattern-avoiding permutations. Then we give some enumerative results concerning permutations with forbidden patterns.     

On the prime power factorization of n!

In this paper, we prove two results. The first theorem uses a paper of Kim (J. Number Theory 74 (1999) 307) to show that for fixed primes p₁,…,p_k, and for fixed integers m₁,…,m_k, with , the numbers (e_p1(n),…,e_pk(n)) are uniformly distributed modulo (m₁,…,m_k), where e_p(n) is the order of the prime p in the factorization of n!. That implies one of Sander's conjectures from Sander (J. Number Theory 90 (2001) 316) for any set of odd primes. Berend (J. Number Theory 64 (1997) 13) asks to find the fastest growing function f(x) so that for large x and any given finite sequence , there exists n<x such that the congruences hold for all i?f(x). Here, p_i is the ith prime number. In our second result, we are able to show that f(x) can be taken to be at least , with some absolute constant c₁, provided that only the first odd prime numbers are involved.     

The asymptotic number of spanning trees in circulant graphs

Let T(G) be the number of spanning trees in graph G. In this note, we explore the asymptotics of T(G) when G is a circulant graph with given jumps.The circulant graph is the 2k-regular graph with n vertices labeled 0,1,2,…,n−1, where node i has the 2k neighbors i±s₁,i±s₂,…,i±s_k where all the operations are . We give a closed formula for the asymptotic limit as a function of s₁,s₂,…,s_k. We then extend this by permitting some of the jumps to be linear functions of n, i.e., letting s_i, d_i and e_i be arbitrary integers, and examining

     

Weak and strong convergence theorems for finite families of asymptotically nonexpansive mappings in Banach spaces

Let E be a real uniformly convex Banach space whose dual space E^∗ satisfies the Kadec-Klee property, K be a closed convex nonempty subset of E. Let be asymptotically nonexpansive mappings of K into E with sequences (respectively) satisfying kin→1 as n→∞, i=1,2,…,m, and . For arbitrary ?∈(0,1), let be a sequence in [?,1−?], for each i∈{1,2,…,m} (respectively). Let {xn} be a sequence generated for m?2 by

     

Beta-expansion and continued fraction expansion

For any real number β>1, let ε(1,β)=(ε₁(1),ε₂(1),…,εn(1),…) be the infinite β-expansion of 1. Define . Let x∈[0,1) be an irrational number. We denote by kn(x) the exact number of partial quotients in the continued fraction expansion of x given by the first n digits in the β-expansion of x. If is bounded, we obtain that for all x∈[0,1)?Q,

     

The t-median function on graphs

A median of a sequence π=x₁,x₂,…,x_k of elements of a finite metric space (X,d) is an element x for which is minimum. The function M with domain the set of all finite sequences on X and defined by M(π)={x:x is a median of π} is called the median function on X, and is one of the most studied consensus functions. Based on previous characterizations of median sets M(π), a generalization of the median function is introduced and studied on various graphs and ordered sets. In addition, new results are presented for median graphs.     

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.     

Non-simultaneous blow-up of n components for nonlinear parabolic systems

This paper deals with non-simultaneous and simultaneous blow-up for radially symmetric solution (u₁,u₂,…,un) to heat equations coupled via nonlinear boundary (i=1,2,…,n). It is proved that there exist suitable initial data such that ui(i∈{1,2,…,n}) blows up alone if and only if qi+1<pi. All of the classifications on the existence of only two components blowing up simultaneously are obtained. We find that different positions (different values of k, i, n) of ui−k and ui leads to quite different blow-up rates. It is interesting that different initial data lead to different blow-up phenomena even with the same requirements on exponent parameters. We also propose that ui−k,ui−k+1,…,ui blow up simultaneously while the other ones remain bounded in different exponent regions. Moreover, the blow-up rates and blow-up sets are obtained.     

Approximation of common fixed points for finite families of nonself asymptotically nonexpansive mappings in Banach spaces

Let E be a real uniformly convex Banach space, K be a closed convex nonempty subset of E which is also a nonexpansive retract with retraction P. Let be asymptotically nonexpansive mappings of K into E with sequences (respectively) satisfying kin→1 as n→∞, i=1,2,…,m, and . Let be a sequence in [?,1−?],?∈(0,1), for each i∈{1,2,…,m} (respectively). Let {xn} be a sequence generated for m?2 by

     

Davenport constant with weights and some related questions, II

Let G be a finite abelian group of order n and let A⊆Z be non-empty. Generalizing a well-known constant, we define the Davenport constant of G with weight A, denoted by DA(G), to be the least natural number k such that for any sequence (x₁,…,xk) with xi∈G, there exists a non-empty subsequence (xj₁,…,xjl) and a₁,…,al∈A such that . Similarly, for any such set A, EA(G) is defined to be the least t∈N such that for all sequences (x₁,…,xt) with xi∈G, there exist indices j₁,…,jn∈N,1?j₁<?<jn?t, and ?₁,…,?n∈A with . In the present paper, we establish a relation between the constants DA(G) and EA(G) under certain conditions. Our definitions are compatible with the previous generalizations for the particular group G=Z/nZ and the relation we establish had been conjectured in that particular case.     

An Erd?s-Ko-Rado theorem for partial permutations

Let [n] denote the set of positive integers {1,2,…,n}. An r-partial permutation of [n] is a pair (A,f) where A⊆[n], |A|=r and f:A→[n] is an injective map. A set A of r-partial permutations is intersecting if for any (A,f), (B,g)∈A, there exists x∈A∩B such that f(x)=g(x). We prove that for any intersecting family A of r-partial permutations, we have .It seems rather hard to characterize the case of equality. For 8?r?n-3, we show that equality holds if and only if there exist x₀ and ε₀ such that A consists of all (A,f) for which x₀∈A and f(x₀)=ε₀.     

Log-concavity and LC-positivity

A triangle {a(n,k)}_0?k?n of nonnegative numbers is LC-positive if for each r, the sequence of polynomials is q-log-concave. It is double LC-positive if both triangles {a(n,k)} and {a(n,n−k)} are LC-positive. We show that if {a(n,k)} is LC-positive then the log-concavity of the sequence {xk} implies that of the sequence {zn} defined by , and if {a(n,k)} is double LC-positive then the log-concavity of sequences {xk} and {yk} implies that of the sequence {zn} defined by . Examples of double LC-positive triangles include the constant triangle and the Pascal triangle. We also give a generalization of a result of Liggett that is used to prove a conjecture of Pemantle on characteristics of negative dependence.     

Monotonicity of zeros of Laguerre polynomials

Denote by x_nk(α), k=1,…,n, the zeros of the Laguerre polynomial . We establish monotonicity with respect to the parameter α of certain functions involving x_nk(α). As a consequence we obtain sharp upper bounds for the largest zero of .     

An effective iterative method for computing real and complex roots of systems of nonlinear equations

A simple and flexible iterative method is proposed to determine the real or complex roots of any system of nonlinear equations F(x)=0. The idea is based on passing defined functions G_j(x_j),j=1,…,n tangent to F_i(x_j),i,j=1,…,n at an arbitrary starting point. Choosing G_j(x_j) in the form of or or any other reversible function compatible to F_i(x_j), where k is obtained for the best correlation with the function F_i(x_j), gives an added freedom, which in contrast with all existing methods, accelerates the convergence.The method that was first proposed for computing the roots of any single function is now adopted for a system of nonlinear equations. This method is compared to some classical and famous methods such as Newton’s method and Newton-Simpson’s method. The results show the effectiveness and robustness of this new method.