McKay箭图与覆盖空间

本文研究在自然扩张和嵌入下特殊线性群和一般线性群的有限子群的McKay 箭图间的关系. 我们证明在特定条件下, 一般线性群GL(m;C) 的有限子群G的McKay 箭图是其正规子群G∩SL(m;C)的McKay 箭图的正则覆盖, 而当把G 嵌入SL(m+1;C) 时, 新的McKay 箭图由在原来的McKay 箭图的每一顶点加上一个由其Nakayama 平移到其自身的箭向得到. 作为例子, 我们指出如何用这些方法得到一些有趣的McKay 箭图.     

由箭图构造的对偶Hopf代数和量子群

在文献[3]和[6]中,Hopf箭图的路代数上的Hopf代数结构和覆盖箭图的路余代数上的Hopf代数结构分别被给出.该文通过一个箭图是Hopf箭图当且仅当它是箭图覆盖这一结论,来讨论同一箭图上给出的这两种Hopf代数结构之间的对偶关系(见定理3和定理4).作为应用,作者先得到关于定向圈的路代数的商上的Hopf代数结构的一些性质,然后证明了Sweedler的4维-Hopf代数小仅是拟三角的而且是余拟三角的.最后,作者刻画了Schurian覆盖箭图的路代数上的Hopf代数的分次自同构群.     

项链李代数的同构与同构群

研究了一些特殊箭图的同构,这些特殊箭图包括垂直叠加的箭图和水平叠加的箭图. 跟以前的研究方法相比, 文中的研究方法是不同的和新颖的, 即利用指标数组把复杂的李运算转换为多重指标集的运算.     

平移箭图Z△/(τ~p)的邻接矩阵

本文刻划了周期为p的稳定平移箭图Z△/(τp)的邻接矩阵,并给出了由星形箭图△所决定的平移箭图Z△/(τp)的邻接矩阵的具体形式.     

平移箭图ZΔ／（τ^p）的邻接矩阵

本文刻划了周期为P的稳定平移箭图ZΔ／（τ^p）的邻接矩阵，并给出了由星形箭图△所决定的平移箭图ZΔ／（τ^p）的邻接矩阵的具体形式．     

McKay箭图与m-Cartan矩阵谨将本文献给刘绍学教授80华诞

引入m-Cartan矩阵,并指出与Euclid图的Cartan矩阵的二次型的某些性质可以推广到McKay箭图的m-Cartan矩阵.还刻画了特殊线性群有限Abel子群的McKay箭图.     

箭线网络图的唯一性特征和最优箭线图判定

提出箭线网络图由完全工序关系唯一确定、最优箭线图实工序子图唯一确定等结论和由相交紧前工序集直和分解得出的基准箭线图作最优箭线图和判定最优箭线图的概念和方法.     

Hopf箭图与Hopf代数

本文研究了简单无向Hopf箭图的图论性质以及路代数与路余代数的关系.利用简单无向Hopf箭图与简单图的关系.证明了路代数是路余代数的对偶的直和部分.     

McKay箭图与m-Cartan矩阵

引入m-Cartan矩阵,并指出与Euclid图的Cartan矩阵的二次型的某些性质可以推广到McKay箭图的m—Cartan矩阵．还刻画了特殊线性群有限Abel子群的McKay箭图．     

对偶扩张代数的Frobenius态射和固定点代数

设A是由箭图Q和关系I所确定的代数,D(A)是代数A的对偶扩张代数, 对应的箭图Q*和关系I*由Q和I决定．本文证明:带关系箭图(Q*,I*)的自同构由带关系箭图(Q,I)的自同构决定;D(A)的Frobenius态射由A的Frobenius态射完全决定;代数D(A)的固定点代数同构于相应的代数A的固定点代数与A°P的固定点代数的张量积,特别地,当Q为单的箭图时,代数D(A)的固定点代数同构于代数A的固定点代数的对偶扩张代数．     

Optimal control of nonlinear evolution inclusions

In this paper, we study the optimal control of nonlinear evolution inclusions. First, we prove the existence of admissible trajectories and then we show that the set that they form is relatively sequentially compact and in certain cases sequentially compact in an appropriate function space. Then, with the help of a convexity hypothesis and using Cesari's approach, we solve a general Lagrange optimal control problem. After that, we drop the convexity hypothesis and pass to the relaxed system, for which we prove the existence of optimal controls, we show that it has a value equal to that of the original one, and also we prove that the original trajectories are dense in an appropriate topology to the relaxed ones. Finally, we present an example of a nonlinear parabolic optimal control that illustrates the applicability of our results.This research was supported by NSF Grant No. DMS-88-02688.     

Exploring an unknown graph

We wish to explore all edges of an unknown directed, strongly connected graph. At each point, we have a map of all nodes and edges we have visited, we can recognize these nodes and edges if we see them again, and we know how many unexplored edges emanate from each node we have visited, but we cannot tell where each leads until we traverse it. We wish to minimize the ratio of the total number of edges traversed divided by the optimum number of traversals, had we known the graph. For Eulerian graphs, this ratio cannot be better than two, and two is achievable by a simple algorithm. In contrast, the ratio is unbounded when the deficiency of the graph (the number of edges that have to be added to make it Eulerian) is unbounded. Our main result is an algorithm that achieves a bounded ratio when the deficiency is bounded. © 1999 John Wiley & Sons, Inc. J Graph Theory 32: 265–297, 1999     

Well-posedness and blow-up for a modified two-component Camassa–Holm equation

In this article, we consider a newly modified two-component Camassa–Holm equation. First, we establish the local well-posedness result, then we present a precise blow-up scenario. Afterwards, we derive a new conservation law, by which and the precise blow-up scenario we prove three blow-up results and a blow-up rate estimate result.     

On intermediate inquisitive and dependence logics: An algebraic study

This article provides an algebraic study of intermediate inquisitive and dependence logics. While these logics are usually investigated using team semantics, here we introduce an alternative algebraic semantics and we prove it is complete for all intermediate inquisitive and dependence logics. To this end, we define inquisitive and dependence algebras and we investigate their model-theoretic properties. We then focus on finite, core-generated, well-connected inquisitive and dependence algebras: we show they witness the validity of formulas true in inquisitive algebras, and of formulas true in well-connected dependence algebras. Finally, we obtain representation theorems for finite, core-generated, well-connected, inquisitive and dependence algebras and we prove some results connecting team and algebraic semantics.     

Asymptotic behaviour of a closed‐loop thermosyphon with linear friction and viscoelastic binary fluid

Viscoelastic fluids represent a major challenge both from an engineering and from a mathematical point of view. Recently, we have shown that viscoelasticity induces chaos in closed‐loop thermosyphons even when we consider binary fluids, this is, when we consider a solute in the fluid, as water and antifreezes, for example. In this work, we consider a linear friction law, and we show that in this case with the addition of a solute to the fluid we can prove, under some conditions, chaotic asymptotic behavior for suitable geometry of the circuit and heat flux or ambient temperature functions.     

信用传染违约Aalen加性风险模型

本文考虑了基于加性风险模型的信用风险违约预报模型,不但考虑了宏观因素和公司个体因素,并且通过引入行业因素来刻画公司间可能存在的不同于宏观因素的信用传染效应,由此克服了以往模型对违约相关性的低估.本文在参数加性风险模型下给出极大似然估计及渐近性,提出两种估计方法并比较二者表现,得到最优权估计更加有效.同时本文还考虑了半参数的风险模型,并基于鞅的估计方程得到其估计及渐近性,均得到不错的结果.     

Hereditary atomicity in integral domains

If every subring of an integral domain is atomic, we say that the latter is hereditarily atomic. In this paper, we study hereditarily atomic domains. First, we characterize when certain direct limits of Dedekind domains are Dedekind domains in terms of atomic overrings. Then we use this characterization to determine the fields that are hereditarily atomic. On the other hand, we investigate hereditary atomicity in the context of rings of polynomials and rings of Laurent polynomials, characterizing the fields and rings whose rings of polynomials and rings of Laurent polynomials, respectively, are hereditarily atomic. As a result, we obtain two classes of hereditarily atomic domains that cannot be embedded into any hereditarily atomic field. By contrast, we show that rings of power series are never hereditarily atomic. Finally, we make some progress on the still open question of whether every subring of a hereditarily atomic domain satisfies ACCP.     

The value of foresight

Suppose you have one unit of stock, currently worth 1, which you must sell before time $T$. The Optional Sampling Theorem tells us that whatever stopping time we choose to sell, the expected discounted value we get when we sell will be 1. Suppose however that we are able to see $a$ units of time into the future, and base our stopping rule on that; we should be able to do better than expected value 1. But how much better can we do? And how would we exploit the additional information? The optimal solution to this problem will never be found, but in this paper we establish remarkably close bounds on the value of the problem, and we derive a fairly simple exercise rule that manages to extract most of the value of foresight.     

Classification of quintic eutactic forms

From the classical Voronoi algorithm, we derive an algorithm to classify quadratic positive definite forms by their minimal vectors; we define some new invariants for a class, for which several conjectures are proposed. Applying the algorithm to dimension 5 we obtain the table of the 136 classes in this dimension, we enumerate the 118 eutactic quintic forms, and we verify the Ash formula.

     

Nonlinear elliptic differential equations with multivalued nonlinearities

In this paper we study nonlinear elliptic boundary value problems with monotone and nonmonotone multivalued nonlinearities. First we consider the case of monotone nonlinearities. In the first result we assume that the multivalued nonlinearity is defined on all ℝ. Assuming the existence of an upper and of a lower solution, we prove the existence of a solution between them. Also for a special version of the problem, we prove the existence of extremal solutions in the order interval formed by the upper and lower solutions. Then we drop the requirement that the monotone nonlinearity is defined on all of ℝ. This case is important because it covers variational inequalities. Using the theory of operators of monotone type we show that the problem has a solution. Finally in the last part we consider an eigenvalue problem with a nonmonotone multivalued nonlinearity. Using the critical point theory for nonsmooth locally Lipschitz functionals we prove the existence of at least two nontrivial solutions (multiplicity theorem).