12.07.2015 Views

Schedule-at-a-Glance

Schedule-at-a-Glance

Schedule-at-a-Glance

SHOW MORE
SHOW LESS
  • No tags were found...

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

51 PRIMA 2013 AbstractsJongyook ParkUniversity of Science and Technology of China, Chinajongyook@hanmail.netIn 2006, Bannai and Bannai classified primitive symmetricassoci<strong>at</strong>ion schemes with m 1 = 3. In their paper, thehardest case was k 1 = 3. Even though, (primitive) symmetricassoci<strong>at</strong>ion schemes with k 1 = 3 were classified byYamazaki in 1998, they avoided the use of the difficultand deep result of Yamazaki. In this talk, we generalizethe result of Bannai and Bannai.Triangul<strong>at</strong>ed c<strong>at</strong>egories from c<strong>at</strong>egories ofspecail exact squencesKeyan Song, Yuehui ZhangShanghai Jiao Tong University, Chinazyh@sjtu.edu.cnLet A be an artinian algebra over an algebraically closedfield k. Let F be the c<strong>at</strong>egory consisting of all four-termexact sequences in modA. Let C be the full subc<strong>at</strong>egory ofF consisting of all exact sequences with two middle termsprojective modules in modA. It is proved th<strong>at</strong> C is contravariantlyfinite. As applic<strong>at</strong>ions, it is proved th<strong>at</strong> C is aFrobenius c<strong>at</strong>egory and has Auslander-Reiten sequencesprovided A is an selfinjective algebra. Furthermore, it isproved th<strong>at</strong> the stable c<strong>at</strong>egory C equals to C/H as factorc<strong>at</strong>egories, where H is the set of all homotopic rel<strong>at</strong>ions,and they are both equivalent to the stable c<strong>at</strong>egory modA.An interesting result is th<strong>at</strong> these three c<strong>at</strong>egories C, C/Hand modA are equivalent as triangul<strong>at</strong>ed c<strong>at</strong>egories.Contributed Talks Group 3Discrete M<strong>at</strong>hem<strong>at</strong>icsNumerical verific<strong>at</strong>ion method for well conditionedspherical t-designsCongpei AnJinan University, Chinaandbach@163.comA set X N of N points on the unit sphere is a sphericalt-design if the average value of any polynomial of degree<strong>at</strong> most t over X N is equal to the average value of thepolynomial over the sphere. In this talk, we focus on thecomput<strong>at</strong>ional construction of spherical t-designs on theunit sphere S 2 ⊂ R 3 when N ≥ (t + 1) 2 , the dimension ofthe space P t of spherical polynomials of degree <strong>at</strong> mostt. We show how to construct well conditioned sphericaldesigns with N ≥ (t+1) 2 points by maximizing the determinantof a m<strong>at</strong>rix while s<strong>at</strong>isfying a system of nonlinearconstraints for 1 ≤ t ≤ 100. Interval methods are thenused to prove the existence of a true spherical t-designvery close to the calcul<strong>at</strong>ed points and to provide a guaranteedinterval containing the determinant. The resultingspherical designs have good geometrical properties (separ<strong>at</strong>ionand mesh norm). We discuss some open problemson the distribution of point set over the sphere.This is a joint work with X.Chen, I. H. Sloan and R. S.Womersley.Edge colouring graphs with bounded colourclassesDavid CariolaroXi’an Jiaotong-Liverpool University, Chinadavid.cariolaro@xjtlu.edu.cnAn edge colouring of a graph G is a function which assignsa colour to each edge of G in such a way th<strong>at</strong> adjacentedges receive distinct colours. The minimum number ofcolours used by an edge colouring of G is a well knownand studied graph parameter called chrom<strong>at</strong>ic index anddenoted by χ ′ (G). It was proved by Holyer in 1981 th<strong>at</strong>computing χ ′ (G) is in general NP-hard. We consider avari<strong>at</strong>ion of the edge colouring problem, which may beof interest for applic<strong>at</strong>ions. Specifically, we consider edgecolourings of G such th<strong>at</strong> no colour is assigned to morethan B edges, where B is a positive integer fixed in advance(clearly such edge colourings always exist). We callany such colouring a B-bounded edge colouring of G. Theminimum number of colours in a B-bounded edge colouringof G is a graph parameter which we denote by χ ′ B (G)and call B-bounded chrom<strong>at</strong>ic index. A B-bounded edgecolouring which uses exactly χ ′ B (G) colours is called anoptimal B-bounded edge colouring of G.It is not difficult to see th<strong>at</strong>, for every graph G,χ ′ B (G) = max{χ′ (G), ⌈ |E(G)|B ⌉.This prompts the question of whether the parameter χ ′ Band an optimal B-bounded edge colouring can be computedin polynomial time for a fixed value of B. Ourgoal in this talk will be to answer this question in theaffirm<strong>at</strong>ive. This is joint work with Romeo Rizzi [1].[1] R. Rizzi and D. Cariolaro, Polynomial time complexityof Edge Colouring Graphs with Bounded Colour Classes,Algorithmica (2013), in press, doi: 10.1007/s00453-013-9746-7.Realizing joint degree m<strong>at</strong>ricesAaron DutleUniversity of South Carolina, USAdutle@m<strong>at</strong>h.sc.eduThe Joint Degree M<strong>at</strong>rix of a graph is a m<strong>at</strong>rix whose(i, j) entry is the number of edges connecting vertices ofdegree i to vertices of degree j. A given m<strong>at</strong>rix is calledrealizable if it is the joint degree m<strong>at</strong>rix of a simple graph.As in the case of degree sequences, there is a simple set ofconditions for when a m<strong>at</strong>rix is realizable, as well as anoper<strong>at</strong>ion th<strong>at</strong> can be used to transform any realiz<strong>at</strong>ioninto any other realiz<strong>at</strong>ion. We discuss these problems,as well as the extremal question of when a joint degreem<strong>at</strong>rix is uniquely realizable.Generaliz<strong>at</strong>ion of Legendre polynomials theoryLemin GuTongji University, Chinagulemin@tongji.edu.cnIn all of n-order polynomials th<strong>at</strong> highest coefficientis 1čňLegendre polynomials are in the interval [−1, 1]with the least square error of zero polynomials, th<strong>at</strong> forP∫n(x) = x n + a(n − 1)x n−1 + ... + a1x + a0, making[P n(x)] 2 dx = min. Promotes the Legendre multinomialbasicprinciple: In all of n-order polynomials th<strong>at</strong> highestcoefficient is not 1, namely an ≠ 1,there must be a newpolynomials Gn(x) = x n + a(n − 1)x n−1 + ... + a1x + a0,making ∫ [Gn(x)] 2 dx = min. Through discussion of thesquare error minimiz<strong>at</strong>ion, leads to the new polynomialsestablishment necessity. For convenient on elabor<strong>at</strong>ionin this abstract,called it "Gn(x) polynomial" (Generaliz<strong>at</strong>ionof Legendre polynomial). First the existenceof Gn(x) polynomials issues are studied: By establishingGn(x) equ<strong>at</strong>ion the ordinary solution expressions in the

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!