Convex 4-valent polytopes

Let {p_k}_k≥3 be a sequence of nonnegative integers which satisfies 8 + Σ_k≥3 (k-4) p_k = 0 and p₄ ≥ p₃. Then there is a convex 4-valent polytope P in E³ such that P has exactly p_k k-gons as faces. The inequality p₄ ≥ p₃ is the best possible in the sense that for c < 1 there exist sequences that are not 4-realizable that satisfy both 8 + Σ_{k ≥3} (k - 4) p_k = 0 and p₄ > cp₃. When Σ_{k ≥ 5} p_k ≠ 1, one can make the stronger statement that the sequence {p_k} is 4-reliazable if it satisfies 8 + Σ_{k ≥ 3} (k - 4) p_k = 0 and p₄ ≥ 2Σ_{k ≥ 5} p_k + max{k ¦ p_k ≠ 0}.     

On the relation between interior critical points and parameters for a class of nonlinear problems with Neumann–Robin boundary conditions

We consider boundary value problem

where   0, λ > 0 are parameters and f  C²[0, ∞) such that f(0) < 0. In this paper we study for the cases p  (0, β) and p  (β, θ) (p is the value of the solution at x = 0 and β, θ are such that f(β) = 0, , the relation between λ and the number of interior critical points of the positive solutions of the above system.     

Bounds on the number of isolates in sum graph labeling

A simple undirected graph H is called a sum graph if there is a labeling L of the vertices of H into distinct positive integers such that any two vertices u and v of H are adjacent if and only if there is a vertex w with label L(w)=L(u)+L(v). The sum number σ(G) of a graph G=(V,E) is the least integer r such that the graph H consisting of G and r isolated vertices is a sum graph. It is clear that σ(G)|E|. In this paper, we discuss general upper and lower bounds on the sum number. In particular, we prove that, over all graphs G=(V,E) with fixed |V|3 and |E|, the average of σ(G) is at least

Full-size image

. In other words, for most graphs, σ(G)Ω(|E|).     

Atoms of set systems with a fixed number of pairwise unions

For a finite set system with ground set X, we let

Full-size image

. An atom of H is a nonempty maximal subset C of X such that for all A H, either C A or C ∩ A = 0. We obtain a best possible upper bound for the number of atoms determined by a set system H with H = k and H H = u for all integers k and u. This answers a problem posed by Sós.     

First passage time for some stationary processes

For a 1-dependent stationary sequence {X_n} we first show that if u satisfies p₁=p₁(u)=P(X₁>u)0.025 and n>3 is such that 88np₁³1, then

P{max(X₁,…,X_n)u}=ν·μⁿ+O{p₁³(88n(1+124np₁³)+561)}, n>3,

where

ν=1−p₂+2p₃−3p₄+p₁²+6p₂²−6p₁p₂,μ=(1+p₁−p₂+p₃−p₄+2p₁²+3p₂²−5p₁p₂)⁻¹

with

p_k=p_k(u)=P{min(X₁,…,X_k)>u}, k1

and

|O(x)||x|.

From this result we deduce, for a stationary T-dependent process with a.s. continuous path {Y_s}, a similar, in terms of P{max_0skTY_s<u}, k=1,2 formula for P{max_0stY_su}, t>3T and apply this formula to the process Y_s=W(s+1)−W(s), s0, where {W(s)} is the Wiener process. We then obtain numerical estimations of the above probabilities.     

Universal H-colorable graphs without a given configuration

For every pair of finite connected graphs F and H, and every positive integer k, we construct a universal graph U with the following properties:

Full-size image

Particularly, this solves a problem presented in [1] and [2] regarding the chromatic number of a universal graph.     

Boundedness and asymptotic behavior of the solutions of a fuzzy difference equation

In this paper we study the existence, the uniqueness, the boundedness and the asymptotic behavior of the positive solutions of the fuzzy difference equation x_n+1=∑_i=0^kA_i/x_n−i^p_i, where k{1,2,…,}, A_i, i{0,1,…,k}, are positive fuzzy numbers, p_i, i{0,1,…,k}, are positive constants and x_i, i{−k,−k+1,…,0}, are positive fuzzy numbers.     

Number of minimum vertex cuts in transitive graphs

Let G be a k-regular vertex transitive graph with connectivity κ(G)=k and let m_k(G) be the number of vertex cuts with k vertices. Define m(n,k)=min{m_k(G): GT_n,k}, where T_n,k denotes the set of all k-regular vertex transitive graphs on n vertices with κ(G)=k. In this paper, we determine the exact values of m(n,k).     

Embeddings of the base and bundle isomorphisms

Let π_i :E_i→M, i=1,2, be oriented, smooth vector bundles of rank k over a closed, oriented n-manifold with zero sections s_i :M→E_i. Suppose that U is an open neighborhood of s₁(M) in E₁ and F :U→E₂ a smooth embedding so that π₂Fs₁ :M→M is homotopic to a diffeomorphism f. We show that if k>[(n+1)/2]+1 then E₁ and the induced bundle f^*E₂ are isomorphic as oriented bundles provided that f have degree +1; the same conclusion holds if f has degree −1 except in the case where k is even and one of the bundles does not have a nowhere-zero cross-section. For n≡0(4) and [(n+1)/2]+1<kn we give examples of nonisomorphic oriented bundles E₁ and E₂ of rank k over a homotopy n-sphere with total spaces diffeomorphic with orientation preserved, but such that E₁ and f^*E₂ are not isomorphic oriented bundles. We obtain similar results and counterexamples in the more difficult limiting case where k=[(n+1)/2]+1 and M is a homotopy n-sphere.     

Large 2P3-free graphs with bounded degree

Let ex^* (D;H) be the maximum number of edges in a connected graph with maximum degree D and no induced subgraph H; this is finite if and only if H is a disjoint union of paths. If the largest component of such an H has order m, then ex^*(D; H) = O(D²ex^*(D; P_m)). Constructively, ex^*(D;qP_m) = Θ(gD²ex^*(D;P_m)) if q>1 and m> 2(Θ(gD²) if m = 2). For H = 2P₃ (and D 8), the maximum number of edges is if D is even and

Full-size image

if D is odd, achieved by a unique extremal graph.     

Stability properties of non-negative solutions to a non-autonomous p-Laplacian equation

We study the stability of non-negative stationary solutions of

where Δ_p denotes the p-Laplacian operator defined by Δ_pz = div(z^p−2z); p > 2, Ω is a bounded domain in R^N(N  1) with smooth boundary where [0,1],h:∂Ω→R⁺ with h = 1 when  = 1, λ > 0, and g:Ω×[0,∞)→R is a continuous function. If g(x, u)/u^p−1 be strictly increasing (decreasing), we provide a simple proof to establish that every non-trivial non-negative solution is unstable (stable).     

Generalizing the Quinn–Wójs theorem on distinct multiplets of composite Fermions

The combinatorial tool of generating functions for restricted partitions is used to generalize a quantum physics theorem relating distinct multiplets of different angular momenta in the composite Fermion model of the fractional quantum Hall effect. Specifically, if g_ℓ(N,M) denotes the number of distinct multiplets of angular momentum ℓ and total angular momentum M, we prove that

where the sum is taken over all positive divisors of N and L(k)=kℓ-kN/2+3k/2-N+N/(2k)-1/2. The original Quinn–Wójs theorem results when k=1 and it appears that this generalization will be useful in further investigations of nuclear shells modeling elementary particle interactions when the particles are clustered together.     

Maximum number of edges in a critically k-connected graph

A k-connected graph G is said to be critically k-connected if G−v is not k-connected for any vV(G). We show that if n,k are integers with k4 and nk+2, and G is a critically k-connected graph of order n, then |E(G)|n(n−1)/2−p(n−k)+p²/2, where p=(n/k)+1 if n/k is an odd integer and p=n/k otherwise. We also characterize extremal graphs.     

Computational analysis of supersonic turbulent boundary layers over rough surfaces using the k–ω and the stress–ω models

The influence of surface roughness in the prediction of the mean flow and turbulent properties of a high-speed supersonic (M = 2.7, Re/m = 2 × 10⁷) turbulent boundary layer flow over a flat plate is numerically investigated. In particular, the performance of the k–ω and stress–ω turbulence models is evaluated against the available experimental data. Even though the performance of these models have been proven satisfactory in the computation of incompressible boundary layer flow over rough surfaces, their validity for high-speed compressible has not been investigated yet. It is observed from this study that, for smooth surface, both k–ω and stress–ω models perform very well in predicting the mean flow and turbulence quantities in supersonic flow. For rough surfaces, both models matched the experimental data fairly well for lower roughness heights but performed unsatisfactorily for higher roughness conditions. Overall the performance of the k–ω model is better than the stress–ω model. The stress–ω model does not show any strong advantages to make up for the extra computational cost associated with it. The predictions indicate that the ω boundary conditions at the wall in both models, especially the stress–ω model, need to be refined and reconsidered to include the geometric factor for supersonic flow over surfaces with large roughness values.     

The smallest degree sum that yields potentially kCℓ-graphic sequences

Gould et al. (Combinatorics, Graph Theory and Algorithms, Vol. 1, 1999, pp. 387–400) considered a variation of the classical Turán-type extremal problems as follows: For a given graph H, determine the smallest even integer σ(H,n) such that every n-term graphic sequence π=(d₁,d₂,…,d_n) with term sum σ(π)=d₁+d₂++d_nσ(H,n) has a realization G containing H as a subgraph. In this paper, for given integers k and ℓ, ℓ7 and 3kℓ, we completely determine the smallest even integer σ(_kC_ℓ,n) such that each n-term graphic sequence π=(d₁,d₂,…,d_n) with term sum σ(π)=d₁+d₂++d_nσ(_kC_ℓ,n) has a realization G containing a cycle of length r for each r, krℓ.     

On some integrals arising in mathematical physics

This paper presents in the first section the exact evaluation of three single integrals relating to the dielectric behavior of two-dimensional electron plasmas. In the second section we present a procedure for reducing 3d-dimensional integrals of the form: ∫∫∫dqdpdkD(q)(p+k+q)ƒ(p)[1−ƒ(p+q)]ƒ(k)[1−ƒ(k+q)], where the vectors lie in d-dimensional space and ƒ denotes the Fermi function, to tractable form. The second-order exchange integral for a d-dimensional electron gas is taken as an example and is evaluated in closed form as a function of d.     

No-hole L(2,1)-colorings

An L(2,1)-coloring of a graph G is a coloring of G's vertices with integers in {0,1,…,k} so that adjacent vertices’ colors differ by at least two and colors of distance-two vertices differ. We refer to an L(2,1)-coloring as a coloring. The span λ(G) of G is the smallest k for which G has a coloring, a span coloring is a coloring whose greatest color is λ(G), and the hole index ρ(G) of G is the minimum number of colors in {0,1,…,λ(G)} not used in a span coloring. We say that G is full-colorable if ρ(G)=0. More generally, a coloring of G is a no-hole coloring if it uses all colors between 0 and its maximum color. Both colorings and no-hole colorings were motivated by channel assignment problems. We define the no-hole span μ(G) of G as ∞ if G has no no-hole coloring; otherwise μ(G) is the minimum k for which G has a no-hole coloring using colors in {0,1,…,k}.

Let n denote the number of vertices of G, and let Δ be the maximum degree of vertices of G. Prior work shows that all non-star trees with Δ3 are full-colorable, all graphs G with n=λ(G)+1 are full-colorable, μ(G)λ(G)+ρ(G) if G is not full-colorable and nλ(G)+2, and G has a no-hole coloring if and only if nλ(G)+1. We prove two extremal results for colorings. First, for every m1 there is a G with ρ(G)=m and μ(G)=λ(G)+m. Second, for every m2 there is a connected G with λ(G)=2m, n=λ(G)+2 and ρ(G)=m.     

A chromatic partition polynomial

A polynomial in two variables is defined by C_n(x,t)=Σ_πΠnx(Gπ,x)t^|π|, where Π_n is the lattice of partitions of the set {1, 2, …, n}, G_π is a certain interval graph defined in terms of the partition gp, χ(G_π, x) is the chromatic polynomial of G_π and |π| is the number of blocks in π. It is shown that , where S(n, i) is the Stirling number of the second kind and (x)_i = x(x − 1) ··· (x − i + 1). As a special case, C_n(−1, −t) = A_n(t), where A_n(t) is the nth Eulerian polynomial. Moreover, A_n(t)=Σ_πΠna_πt^|π| where a_π is the number of acyclic orientations of G_π.     

On modules with the Kulikov property and pure semisimple modules and rings

For an R-module M let σ[M] denote the category of submodules of M-generated modules. M has the Kulikov property if submodules of pure projective modules in σ[M] are pure projective. The following is proved: Assume M is a locally noetherian module with the Kulikov property and there are only finitely many simple modules in σ[M]. Then, for every n ε , there are only finitely many indecomposable modules of length n in σ[M].

With our techniques we provide simple proofs for some results on left pure semisimple rings obtained by Prest and Zimmermann-Huisgen and Zimmermann with different methods.     

Sparse geometric graphs with small dilation

Given a set S of n points in , and an integer k such that 0k<n, we show that a geometric graph with vertex set S, at most n−1+k edges, maximum degree five, and dilation O(n/(k+1)) can be computed in time O(nlogn). For any k, we also construct planar n-point sets for which any geometric graph with n−1+k edges has dilation Ω(n/(k+1)); a slightly weaker statement holds if the points of S are required to be in convex position.