Graphs with unavoidable subgraphs with large degrees

Let ??(n, m) denote the class of simple graphs on n vertices and m edges and let G ∈ ?? (n, m). There are many results in graph theory giving conditions under which G contains certain types of subgraphs, such as cycles of given lengths, complete graphs, etc. For example, Turan's theorem gives a sufficient condition for G to contain a K_{k + 1} in terms of the number of edges in G. In this paper we prove that, for m = αn², α > (k - 1)/2k, G contains a K_{k + 1}, each vertex of which has degree at least f(α)n and determine the best possible f(α). For m = ?n²/4? + 1 we establish that G contains cycles whose vertices have certain minimum degrees. Further, for m = αn², α > 0 we establish that G contains a subgraph H with δ(H) ≥ f(α, n) and determine the best possible value of f(α, n).     

Division with remainder in algebras with valuation

To any integral algebra with valuation an abelian group is associated, which measures how much the uniqueness of the division with remainder is violated. The analogy with the divisor class group is discussed. Examples of such groups are computed in cases of formal local rings of some cusps on an algebraic curve.     

Division with remainder in algebras with valuation

To any integral algebra with valuation an abelian group is associated, which measures how much the uniqueness of the division with remainder is violated. The analogy with the divisor class group is discussed. Examples of such groups are computed in cases of formal local rings of some cusps on an algebraic curve.     

Brownian motion with drift on spaces with varying dimension

Many properties of Brownian motion on spaces with varying dimension (BMVD in abbreviation) have been explored in Chen and Lou (2018). In this paper, we study Brownian motion with drift on spaces with varying dimension (BMVD with drift in abbreviation). Such a process can be conveniently defined by a regular Dirichlet form that is not necessarily symmetric. Through the method of Duhamel’s principle, it is established in this paper that the transition density of BMVD with drift has the same type of two-sided Gaussian bounds as that for BMVD (without drift). As a corollary, we derive Green function estimate for BMVD with drift.     

p-Laplacian problems with nonlinearities interacting with the spectrum

The aim of this paper is investigating the existence and the multiplicity of weak solutions of the quasilinear elliptic problem $$\left\{\begin{array}{ll}-\Delta_p u\ =\ g(x, u) \quad {\rm in} \quad \Omega,\\ u=0 \qquad \qquad \qquad {\rm on}\quad \partial\Omega,\end{array}\right.$$ where ${1 < p < + \infty, \Delta_p u = {\rm div}(|\nabla {u}|^{p-2}\nabla {u})}$ , Ω is an open bounded domain of ${\mathbb{R}^N (N \geq 3)}$ with smooth boundary ?Ω and the nonlinearity g behaves as u ^p?1 at infinity. The main tools of the proof are some abstract critical point theorems in Bartolo et al. (Nonlinear Anal. 7: 981–1012, 1983), but extended to Banach spaces, and two sequences of quasi–eigenvalues for the p–Laplacian operator as in Candela and Palmieri (Calc. Var. 34: 495–530, 2009), Li and Zhou (J. Lond. Math. Soc. 65: 123–138, 2002).     

Categories with families and first-order logic with dependent sorts

First-order logic with dependent sorts, such as Makkai's first-order logic with dependent sorts (FOLDS), or Aczel's and Belo's dependently typed (intuitionistic) first-order logic (DFOL), may be regarded as logic enriched dependent type theories. Categories with families (cwfs) is an established semantical structure for dependent type theories, such as Martin-Löf type theory. We introduce in this article a notion of hyperdoctrine over a cwf, and show how FOLDS and DFOL fit in this semantical framework. A soundness and completeness theorem is proved for DFOL. The semantics is functorial in the sense of Lawvere, and uses a dependent version of the Lindenbaum-Tarski algebra for a DFOL theory. Agreement with standard first-order semantics is established. Applications of DFOL to constructive mathematics and categorical foundations are given. A key feature is a local propositions-as-types principle.     

Equations with Random Gaussian Operators with Unbounded Mean Value

We consider an equation in a Hilbert space with a random operator represented as a sum of a deterministic, closed, densely defined operator and a Gaussian strong random operator. We represent a solution of an equation with random right-hand side in terms of stochastic derivatives of solutions of an equation with deterministic right-hand side. We consider applications of this representation to the anticipating Cauchy problem for a stochastic partial differential equation.     

Characterization of integral operators with semi-separable kernels with symmetries

We characterize integral operators with semi-separable kernels in a certain class that have different symmetries. We treat the selfadjoint case, the positive case, the J-unitary case, the positive real case, the dissipative case and the contractive case.     

Problem with Critical Sobolev Exponent and with Weight

The authors consider the problem: -div(p▽u) = uq-1 λu, u > 0 inΩ, u = 0 on (?)Ω, whereΩis a bounded domain in Rn, n≥3, p :Ω→R is a given positive weight such that p∈H1 (Ω)∩C(Ω),λis a real constant and q = 2n/n-2, and study the effect of the behavior of p near its minima and the impact of the geometry of domain on the existence of solutions for the above problem.     

桥本甲状腺炎合并甲状腺癌的危险因素回归分析

目的 探讨桥本甲状腺炎（HT）合并甲状腺癌的危险因素。方法 采用回顾性病例对照研究,选取59 例HT 合并甲状腺癌患者为病例组,按照1∶2比例选取118 例HT 合并甲状腺良性结节或单纯HT 患者为对照组,对相关因素进行单因素和多因素logistic 回归分析。结果 单因素分析显示甲状腺疾病家族史、碘摄入情况、辐射接触史、甲状腺自身抗体和合并单发结节为HT 合并甲状腺癌的影响因素。经多因素分析家族史、高碘摄入、辐射接触史为HT 合并甲状腺癌的危险因素,其OR 值（95%CI）分别为2.141（1.664~2.755）、2.479（1.895~2.936）和4.596（3.693~4.997）。结论 HT 合并甲状腺癌发病机制有待于进一步研究,应针对危险因素(家族史、碘摄入情况、辐射接触史)采取措施进行早防早治。     

Queueing systems with inventory management with random lead times and with backordering

We investigate M/M/1/∞-systems with inventory management, continuous review, exponentially distributed lead times and backordering. We compute performance measures and derive optimality conditions under different order policies. For performance measures, which are not explicitly at hand, we present an approximation scheme for all possible parameter combinations. Although we cannot completely determine analytically the steady state probabilities for the system we are able to derive functional relations between interesting probabilities and show surprising insensitivity properties of several performance measures. For the approximations we develop an algorithm adapted to the system structure which suggests easy adaption to other systems.Work supported by Deutscher Akademischer Austauschdienst and KBN, Poland, Project D/02/32206.     

Insider Models with Finite Utility in Markets with Jumps

In this article we consider, under a Lévy process model for the stock price, the utility optimization problem for an insider agent whose additional information is the final price of the stock blurred with an additional independent noise which vanishes as the final time approaches. Our main interest is establishing conditions under which the utility of the insider is finite. Mathematically, the problem entails the study of a “progressive” enlargement of filtration with respect to random measures. We study the jump structure of the process which leads to the conclusion that in most cases the utility of the insider is finite and his optimal portfolio is bounded. This can be explained financially by the high risks involved in models with jumps.     

Operators with Singular Trace Conditions on a Manifold with Edges

We establish a new calculus of pseudodifferential operators on a manifold with smooth edges and study ellipticity with extra trace and potential conditions (as well as Green operators) at the edge. In contrast to the known scenario with conditions of that kind in integral form we admit in this paper ‘singular’ trace and Green operators. In contrast to standard conditions in the theory of elliptic boundary value problems (like Dirichlet or Neumann conditions) our singular trace conditions, in general, do not act on functions that are smooth up to the boundary, but admit a more general asymptotic structure. Their action is now associated with the Laurent coefficients of the meromorphic Mellin transforms of functions with respect to the half-axis variable, the distance to the edge.     

Pricing with markups in industries with increasing marginal costs

We study a game that models a market in which heterogeneous producers of perfect substitutes make pricing decisions in a first stage, followed by consumers that select a producer that sells at lowest price. As opposed to Cournot or Bertrand competition, producers select prices using a supply function that maps prices to production levels. Solutions of this type of models are normally referred to as supply function equilibria. We consider a market where producers’ convex costs functions are proportional to each other, depending on the efficiency of each particular producer. We provide necessary and sufficient conditions for the existence of an equilibrium that uses simple supply functions that replicate the cost structure. We then specialize the model to monomial cost functions with exponent \(q>0\) , which allows us to reinterpret the simple supply functions as a markup applied to the production cost. We prove that an equilibrium for the markups exists if and only if the number of producers in the market is strictly larger than \(1+q\) , and if an equilibrium exists, it is unique. The main result for monomials is that the equilibrium nearly minimizes the total production cost when the market is competitive. The result holds because when there is enough competition, markups are bounded, thus preventing prices to be significantly distorted from costs. Focusing on the case of linear unit-cost functions on the production quantities, we characterize the equilibrium accurately and refine the previous result to establish an almost tight bound on the worst-case inefficiency of equilibria. Finally, we derive explicitly the producers’ best response for series-parallel networks with linear unit-cost functions, extending our previous result to more general topologies. We prove that a unique equilibrium exists if and only if the network that captures the market structure is 3-edge-connected. For non-series-parallel markets, we provide an example that does not admit an equilibrium on markups.     

Algebras with dimension

We study the notions of independence and dimension as introduced in [2]. These are significantly different from the standard notions as reviewed in [4]. However, from quite a few points of view they deserve careful analysis. Our work was motivated by certain typical constructions in automaton theory.Presented by I. Rosenberg.This work was supported by the Natural Science and Engineering Research Council of Canada, Grant OGP0000243. Preliminary accounts of this research were given at a conference on universal algebra, held at Jindrichuv Hradec, 1979, and at the East European Category Seminar, held at Pridela, 1987.     

Shape functional optimization with restrictions boosted with machine learning techniques

Shape optimization is a widely used technique in the design phase of a product. Current ongoing improvement policies require a product to fulfill a series of conditions from the perspective of mechanical resistance, fatigue, natural frequency, impact resistance, etc. All these conditions are translated into equality or inequality restrictions which must be satisfied during the optimization process that is necessary in order to determine the optimal shape. This article describes a new method for shape optimization that considers any regular shape as a possible shape, thereby improving on traditional methods limited to straight profiles or profiles established a priori. Our focus is based on using functional techniques and this approach is, based on representing the shape of the object by means of functions belonging to a finite-dimension functional space. In order to resolve this problem, the article proposes an optimization method that uses machine learning techniques for functional data in order to represent the perimeter of the set of feasible functions and to speed up the process of evaluating the restrictions in each iteration of the algorithm. The results demonstrate that the functional approach produces better results in the shape optimization process and that speeding up the algorithm using machine learning techniques ensures that this approach does not negatively affect design process response times.     

Einstein-maxwell equations compatible with certain killing vectors with light velocity

Summary In this paper, we study the basic system consisting of the Einstein's field equations and the Maxwell equations for the non-null electromagnetic field. A new differential geometric approach has been presented to obtain the necessary and sufficient conditions for the compatibility of the field equations with certain Killing vectors with light velocity. Finally, with respect to this new approach, we examine some geometric changes in the compatibility condition of the basic system with the continuity equation. Entrata in Redazione il 22 novembre 1977. This research was supported by the National Research Council of Canada.     

Stokeswaves with vorticity

The existence of periodic waves propagating downstream on the surface of a two-dimensional infinitely deep body of water under the force of gravity is established for a general class of vorticities. When reformulated as an elliptic boundary value problem in a fixed semi-infinite cylinder with a parameter, the operator describing the problem is nonlinear and non-Fredholm. A global connected set of nontrivial solutions is obtained via singular theory of bifurcation. The proof combines a generalized degree theory, global bifurcation theory, and Whyburn’s lemma in topology with the Schauder theory for elliptic problems and the maximum principle.     

Bases with individual brackets and bases with individual rearrangements

Examples of bases with individual brackets and bases with individual rearrangements are given, for which one cannot select the samen _i or , respectively, for allx X.Translated from Teoriya Funktsii, Funktsional'nyi Analiz i Ikh Prilozheniya, No. 49, pp. 43–51, 1988.In conclusion, I would like to seize this opportunity to express my gratitude to V. P. Fonf and to other participants of the Kharkov Seminar on the Geometry of Normed Spaces for their interest in this paper.     

Semi-orthogonal spline-wavelets with derivatives and the algorithm with splitting

This paper deals with the use of a scalar product with derivatives for constructing semi-orthogonal spline-wavelets. The reduction of supports of such wavelets in comparison with the classical semi-orthogonal wavelets is shown. For splines of the third degree, the algorithm of wavelet-transformation in the formof the solution to a three-diagonal systemof linear equations with strict diagonal prevalence has been obtained. The results of numerical experiments on the calculation of derivatives of a discretely given function are presented.