A characterization of Kruskal sharing rules for minimum cost spanning tree problems

In Tijs et al. (Eur J Oper Res 175:121–134, 2006) a new family of cost allocation rules is introduced in the context of cost spanning tree problems. In this paper we provide the first characterization of this family by means of population monotonicity and a property of additivity.     

Weierstrass Type Representation of Willmore Surfaces in <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

In this paper, we reformulate the Euler-Lagrange equations of Willmore surfaces in S^n as the flatness of a family of certain loop algebra-valued 1-forms. Therefore we can give the Weierstrass type representation of conformal Willmore surfaces. We also discuss the relations between conformal Willmore surfaces in S^n and minimal surfaces in constant curvature spaces S^n, R^n, H^n, and prove that some special Willmore surfaces can be derived from minimal surfaces in S^n, R^n, H^n.     

On the univalence of derivatives of functions which are univalent in angular domains

We consider functions f that are univalent in a plane angular domain of angle απ, 0 < α ≤ 2. It is proved that there exists a natural number k depending only on α such that the kth derivatives f ^(k) of these functions cannot be univalent in this angle. We find the least of the possible values of for k. As a consequence, we obtain an answer to the question posed by Kir’yatskii: if f is univalent in the half-plane, then its fourth derivative cannot be univalent in this half-plane.     

Series and product representations for some mathematical constants

We present several series and product representations for γ, π, and other mathematical constants. One of our results states that, for all real numbers μ s>0, we have

McShane’s identity,using elliptic elements

We introduce a new method to establish McShane’s Identity. Elliptic elements of order two in the Fuchsian group uniformizing the quotient of a fixed once-punctured hyperbolic torus act so as to exclude points as being highest points of geodesics. The highest points of simple closed geodesics are already given as the appropriate complement of the regions excluded by those elements of order two that factor hyperbolic elements whose axis projects to be simple. The widths of the intersection with an appropriate horocycle of the excluded regions sum to give McShane’s value of 1/2. The remaining points on the horocycle are highest points of simple open geodesics, we show that this set has zero Hausdorff dimension.      

Two-dimensional asymptotic expansions for large deviations of spherically distributed random vectors if the dominating point degenerates asymptotically

A geometric approach to asymptotic expansions for large-deviation probabilities, developed for the Gaussian law by Breitung and Richter [J. Multivariate Anal.,58, 1–20 (1996)], will be extended in the present paper to the class of spherical measures by utilizing their common geometric properties. This approach consists of rewriting the probabilities under consideration as large parameter values of the Laplace transform of a suitably defined function, expanding this function in a power series, and then applying Watson’s lemma. A geometric representation of the Laplace transform allows one to combine the global and local properties of both the underlying measure and the large-deviation domain. A special new type of difficulty is to be dealt with because the so-called dominating points of the large-deviation domain degenerate asymptotically. As is shown in Richter and Schumacher (in print), the typical statistical applications of large-deviation theory lead to such situations. In the present paper, consideration is restricted to a certain two-dimensional domain of large-deviations having asymptotically degenerating dominating points. The key assumption is a parametrized expansion for the inverse $\bar g^{ - 1} $ of the negative logarithm of the density-generating function of the two-dimensional spherical law under consideration.     

Confidence estimation for tolerance intervals

The post-data performances of normal tolerance intervals are studied. Under a robust Bayesian predictive scheme, we establish the ordering and bounds of the confidence estimators. It is found that the nominal confidence coefficient tends to be extreme yet coincides with the limiting Bayes estimators in some scenarios. A remark on the choice of beta priors is also given.     

Invariant integral and statistical equations of paraxial light beam transmission in free space

The statistical behavior of arbitrary paraxial light beams propagating in free space is investigated by using the Hermite-Gaussian expansion method and Fock’s representation. A series of equivalent Gaussian parameters for paraxial beam and the statistical equations for these parameters are presented. The optical transmission problem in quasi-far field region is studied. The so-called general Hermite-Gaussian beam is defined. Project partly supported by the National Hi-tech Inertial Confinement Fusion Committee, the Natural Science Foundation of Guangdong Province, the Postdoctoral Foundation of China and Guangdong Province.     

Criteria for testing Wall’s question

In this paper we find certain equivalent formulations of Wall’s question and derive two interesting criteria that can be used to resolve this question for particular primes.     

Bochner’s theorem and Stepanov almost periodic functions

Motivated by a renewed interest in generalizations of classical almost periodicity (originally due to Harald Bohr), we develop a theorem of Bochner within the framework of almost periodic functions in the sense of Stepanov. As a result we establish some conditions that guarantee the existence of Stepanov almost periodic solutions to differential equations with Stepanov almost periodic coefficients. Finally, we extend a now classic theorem of Favard originally stated for classical almost periodic functions to the Stepanov almost periodic case.      

Extremal problems for numerical series

In this paper, we consider extremal problems for numerical positive series. The terms of these series are pairwise products of the elements of two sequences, one of which is fixed and the other varies within a given set of sequences. We obtain exact solutions for a number of such problems. As one of the possible applications of the results obtained, we find solutions of some extremal problems related to best n-term approximations of periodic functions.     

An illustrated theory of hyperbolic virtual polytopes

The paper gives an illustrated introduction to the theory of hyperbolic virtual polytopes and related counterexamples to A.D. Alexandrov’s conjecture.      

Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant

In this paper, we generalize the method of mechanical theorem proving in curves to prove theorems about surfaces in differential geometry with a mechanical procedure. We improve the classical result on Wronskian determinant, which can be used to decide whether the elements in a partial differential field are linearly dependent over its constant field. Based on Wronskian determinant, we can describe the geometry statements in the surfaces by an algebraic language and then prove them by the characteristic set method.     

A construction of weakly inverse semigroups

Let S° be an inverse semigroup with semilattice biordered set E° of idempotents and E a weakly inverse biordered set with a subsemilattice Ep = { e ∈ E ｜ arbieary f ∈ E, S（f , e） loheain in w（e）} isomorphic to E° by θ：Ep→E°. In this paper, it is proved that if arbieary f, g ∈E, f ←→ g→→ f°θD^s° g°θand there exists a mapping φ from Ep into the symmetric weakly inverse semigroup P J（E∪ S°） satisfying six appropriate conditions, then a weakly inverse semigroup ∑ can be constructed in P J（S°）, called the weakly inverse hull of a weakly inverse system （S°, E, θ, φ） with I（∑） ≌ S°, E（∑） ∽- E. Conversely, every weakly inverse semigroup can be constructed in this way. Furthermore, a sufficient and necessary condition for two weakly inverse hulls to be isomorphic is also given.     

Oscillations of a rotating stratified fluid with its free surface excited by moving sources

Propagation of small perturbations in a weakly stratified inviscid fluid rotating at a constant angular velocity in the lower half-space is studied. The source of excitation is a plane wave traveling on the free surface of the fluid. An explicit analytical solution to the problem is constructed. Existence and uniqueness theorems are proved. The long-time wave pattern in the fluid is analyzed.     

Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties

A syntactic apparatus is introduced for the study of the algebraic properties of classes of partially ordered algebraic systems (a.k.a. partially ordered functors (pofunctors)). A Birkhoff-style order HSP theorem and a Mal’cev-style order SLP theorem are proved for partially ordered varieties and partially ordered quasivarieties, respectively, of partially ordered algebraic systems based on this syntactic apparatus. Finally, the notion of a finitely algebraizable partially-ordered quasi-variety, in the spirit of Pałasińska and Pigozzi, is introduced and some of the properties of these quasi-povarieties are explored in the categorical framework.      

Sous-groupes discrets de <Emphasis Type="Italic">PU</Emphasis>(2,1) engendrés par <Emphasis Type="Italic">n</Emphasis> réflexions complexes et Déformation

Let PU(2,1) be the group of holomorphic isometries in the hyperbolic complex plane and let G _n be a sub-group of PU(2,1) which is generated by n complex reflections with respect to complex lines in . Under certain conditions, we prove that G _n is discrete. We construct representations ρ of the fundamental group Γ _g of the compact surface Σ _g of genus g, into PU(2,1), we prove they are discrete, faithful and we compute the dimension their deformation space.      

Determinantal representations of smooth cubic surfaces

For every smooth (irreducible) cubic surface S we give an explicit construction of a representative for each of the 72 equivalence classes of determinantal representations. Equivalence classes (under GL₃ × GL₃ action by left and right multiplication) of determinantal representations are in one to one correspondence with the sets of six mutually skew lines on S and with the 72 (two-dimensional) linear systems of twisted cubic curves on S. Moreover, if a determinantal representation M corresponds to lines (a ₁,...,a ₆) then its transpose M ^t corresponds to lines (b ₁,...,b ₆) which together form a Schläfli’s double-six \(a_1\ldots a_6 \choose b_1\ldots b_6\) . We also discuss the existence of self-adjoint and definite determinantal representation for smooth real cubic surfaces. The number of these representations depends on the Segre type F _i . We show that a surface of type F _i , i = 1,2,3,4 has exactly 2(i?1) nonequivalent self-adjoint determinantal representations none of which is definite, while a surface of type F ₅ has 24 nonequivalent self-adjoint determinantal representations, 16 of which are definite.     

Probabilistic Representations of Solutions of the Forward Equations

In this paper we prove a stochastic representation for solutions of the evolution equation

Learning Electricity with NIELS: Thinking with Electrons and Thinking in Levels

Electricity is regarded as one of the most challenging topics for students of all ages. Several researchers have suggested that na?ve misconceptions about electricity stem from a deep incommensurability (Slotta and Chi 2006; Chi 2005) or incompatibility (Chi et al. 1994) between na?ve and expert knowledge structures. In this paper we argue that adopting an emergent levels-based perspective as proposed by Wilensky and Resnick (1999), allows us to reconceive commonly noted misconceptions in electricity as behavioral evidences of “slippage between levels,” i.e., these misconceptions appear when otherwise productive knowledge elements are sometimes activated inappropriately due to certain macro-level phenomenological cues only. We then introduce NIELS (NetLogo Investigations In Electromagnetism), a curriculum of emergent multi-agent-based computational models. NIELS models represent phenomena such as electric current and resistance as emergent from simple, body-syntonic interactions between electrons and other charges in a circuit. We discuss results from a pilot implementation of NIELS in an undergraduate physics course, that highlight the ability of an emergent levels-based approach to provide students with a deep, expert-like understanding of the relevant phenomena by bootstrapping, rather than discarding their existing repertoire of intuitive knowledge.