Realizability of words in mosaic labyrinths

In this paper we study mosaic labyrinths with the help of words generated by them in the alphabet of labels attached to arcs and vertices of a labyrinth. We consider the problem of the characterization of words generated by a labyrinth. We propose a constructive recognition criterion, it defines whether a word is generated by a labyrinth or not. We establish conditions under which a word can be generated by a unique labyrinth, by a finite number of labyrinths, or by infinitely many labyrinths.     

Well-posedness by perturbations of mixed variational inequalities in Banach spaces

In this paper, we consider an extension of the notion of well-posedness by perturbations, introduced by Zolezzi for a minimization problem, to a mixed variational inequality problem in a Banach space. We establish some metric characterizations of the well-posedness by perturbations. We also show that under suitable conditions, the well-posedness by perturbations of a mixed variational inequality problem is equivalent to the well-posedness by perturbations of a corresponding inclusion problem and a corresponding fixed point problem. Also, we derive some conditions under which the well-posedness by perturbations of a mixed variational inequality is equivalent to the existence and uniqueness of its solution.     

Proof of the Branner-Hubbard conjecture on Cantor Julia sets

By means of a nested sequence of some critical pieces constructed by Kozlovski, Shen, and van Strien, and by using a covering lemma recently proved by Kahn and Lyubich, we prove that a component of the filled-in Julia set of any polynomial is a point if and only if its forward orbit contains no periodic critical components. It follows immediately that the Julia set of a polynomial is a Cantor set if and only if each critical component of the filled-in Julia set is aperiodic. This result was a conjecture raised by Branner and Hubbard in 1992. This work was supported by the National Natural Science Foundation of China     

Schrödinger Operator Perturbed by Operators Related to Null Sets

We discuss the Schrödinger operator with positive singular perturbations given by operators which act in the space constructed by a positive measure supported by a null set. We construct examples when perturbations are given by the one-dimensional Laplacian on a segment.     

The axioms for implication in orthologic

We set up axioms characterizing logical connective implication in a logic derived by an ortholattice. It is a natural generalization of an orthoimplication algebra given by J. C. Abbott for a logic derived by an orthomodular lattice. This work is supported by the Research Project MSM 6198959214 by Czech Goverment.     

Weber problems with mixed distances and regional demand

We consider a location problem where the distribution of the existing facilities is described by a probability distribution and the transportation cost is given by a combination of transportation cost in a network and continuous distance. The motivation is that in many cases transportation cost is partly given by the cost of travel in a transportation network whereas the access to the network and the travel from the exit of the network to the new facility is given by a continuous distance.      

Variational approach to scattering of plane elastic waves by diffraction gratings

The scattering of a time‐harmonic plane elastic wave by a two‐dimensional periodic structure is studied. The grating profile is given by a Lipschitz curve on which the displacement vanishes. Using a variational formulation in a bounded periodic cell involving a nonlocal boundary operator, existence of solutions in quasiperiodic Sobolev spaces is investigated by establishing the Fredholmness of the operator generated by the corresponding sesquilinear form. Moreover, by a Rellich identity, uniqueness is proved under the assumption that the grating profile is given by a Lipschitz graph. The direct scattering problem for transmission gratings is also investigated. In this case, uniqueness is proved except for a discrete set of frequencies. Copyright © 2010 John Wiley & Sons, Ltd.     

Staircase Parameterization in Dynamical Selection

This paper deals with a variant of a dynamical selection scheme introduced by Attouch and Cominetti for ill-posed convex minimization which combines approximation with the steepest descent method by mean of a suitable parameterization of the approximation parameter as a function of the time. This variant applies to a general inclusion with a maximal monotone operator by mean of a staircase parameterization. A discrete analogue is also considered. Applications to selecting a particular zero of a maximal monotone operator or a particular fixed point of a nonexpansive mapping via regularization techniques are presented. Finally, the alternative use of well-posedness by perturbations is discussed.     

Contractible subgraphs, Thomassen’s conjecture and the dominating cycle conjecture for snarks

We show that the conjectures by Matthews and Sumner (every 4-connected claw-free graph is Hamiltonian), by Thomassen (every 4-connected line graph is Hamiltonian) and by Fleischner (every cyclically 4-edge-connected cubic graph has either a 3-edge-coloring or a dominating cycle), which are known to be equivalent, are equivalent to the statement that every snark (i.e. a cyclically 4-edge-connected cubic graph of girth at least five that is not 3-edge-colorable) has a dominating cycle.We use a refinement of the contractibility technique which was introduced by Ryjá?ek and Schelp in 2003 as a common generalization and strengthening of the reduction techniques by Catlin and Veldman and of the closure concept introduced by Ryjá?ek in 1997.     

Dynamic instability of a non-uniform beam modeled in a two-degree-of-freedom system

The behaviour of a non-uniform beam loaded by a parallel or tangential compressive force respectively is analyzed by exploiting a two-degree-of-freedom dynamic model. The same system has been analyzed previously by Lee and Reissner from a static point of view and by Neer and Baruch by a dynamic approach using a one-degree-of-freedom model. The previous analyses revealed only part of the phenomena by the present approach.Here, for the tangential force a classical flutter instability is obtained and for the parallel force only static instability is possible.     

Automation and group structures in certain economic adjustment mechanisms

It is shown that the economic adjustment mechanism developed by Hurwicz and his associates has the structure of automata. It is then shown that certain price adjustment mechanisms, having an acceptability condition, impose a group structure upon the automaton. This condition is a bilinear invariance implied by a budget constraint. Then the automaton is defined by a subgroup, depending on agents' tastes, technologies and strategies, and by the representations of the subgroup imposed by the automaton.     

On a lower bound for the extinction time of surfaces moved by mean curvature

This paper considers a generalized evolution of a compact closed (hyper)-surface moved by its mean curvature. By a comparison of a shrinking ball the surface extincts in a finite time. An estimate of the extinction time from above is given by L. C. Evans and J. Spruck. In this paper we give an estimate from blow. In fact we proved that the extinction time is estimated from below by to times the square of the volume of a set enclosed by the initial surface over the initial area of the surface. The constant two is optimal.Partly supported by the Inamori Foundation     

Substitution-closed pattern classes

The substitution closure of a pattern class is the class of all permutations obtained by repeated substitution. The principal pattern classes (those defined by a single restriction) whose substitution closure can be defined by a finite number of restrictions are classified by listing them as a set of explicit families.     

Singular Double Porosity Model

We consider the linear parabolic equation describing the transport of a contaminant in a porous media crossed by a net of infinitely thin fractures. The permeability is very high in the fractures but very low in the porous blocks. We derive the homogenized model corresponding to a net of infinitely thin fractures, by means of the singular measures technique. We assume that these singular measures are supported by hyperplanes of codimension one. We prove in a second step that this homogenized model could be obtained indistinctly either by letting the fracture thickness, in the standard double porosity model, tend to zero, or by homogenizing a model with infinitely thin fractures.     

Stress-driven local-solution approach to quasistatic brittle delamination

A unilateral contact problem between elastic bodies at small strains glued by a brittle adhesive is addressed in the quasistatic rate-independent setting. The delamination process is modeled as governed by stresses rather than by energies. This leads to a specific scaling of an approximating elastic adhesive contact problem, discretized by a semi-implicit scheme and regularized by a BV-type gradient term. An analytical zero-dimensional example motivates the model and a specific local-solution concept. Two-dimensional numerical simulations performed on an engineering benchmark problem of debonding a fiber in an elastic matrix further illustrate the validity of the model, convergence, and algorithmical efficiency even for very rigid adhesives with high elastic moduli.     

Exact solutions for a nonlinear model

In this paper we show new exact solutions for a type of generalized sine-Gordon equation which is obtained by constructing a Lagrange function for a dynamical coupled system of oscillators. We convert it into a nonlinear system by perturbing the potential energy from a point of view of an approach proposed by Fermi [1].     

树上路径过程的随机路径条件概率的强极限定理

本文研究了树上路径过程随机转移概率和状态序偶出现频率的强极限定理.通过利用若干重要不等式,获得了树上路径过程的随机路径条件概率用不等式表示的几何平均强极限定理以及树上路径过程关于状态序偶出现频率的用不等式表示的强极限定理,所得结果推广了树上马氏链及非齐次马氏链中的结果.     

Classification of Mixtures of Spatial Point Processes via Partial Bayes Factors

Motivated by the problem of minefield detection, we investigate the problem of classifying mixtures of spatial point processes. In particular we are interested in testing the hypothesis that a given dataset was generated by a Poisson process versus a mixture of a Poisson process and a hard-core Strauss process. We propose testing this hypothesis by comparing the evidence for each model by using partial Bayes factors. We use the term partial Bayes factor to describe a Bayes factor, a ratio of integrated likelihoods, based on only part of the available information, namely that information contained in a small number of functionals of the data. We applied our method to both real and simulated data, and considering the difficulty of classifying these point patterns by eye, our approach overall produced good results.     

Disjoint paths in a rectilinear grid

We give a good characterization and a good algorithm for a special case of the integral multicommodity flow problem when the graph is defined by a rectangle on a rectilinear grid. The problem was raised by engineers motivated by some basic questions of constructing printed circuit boards.